/*
 * Copyright 2022 GlobalFoundries PDK Authors
 *
 * Licensed under the Apache License, Version 2.0 (the "License");
 * you may not use this file except in compliance with the License.
 * You may obtain a copy of the License at
 *
 *      http://www.apache.org/licenses/LICENSE-2.0
 *
 * Unless required by applicable law or agreed to in writing, software
 * distributed under the License is distributed on an "AS IS" BASIS,
 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 * See the License for the specific language governing permissions and
 * limitations under the License.
 */

  cell(gf180mcu_fd_sc_mcu7t5v0__xnor3_1) {
    area : 52.684800 ;

    leakage_power() {
      related_pg_pin : "VDD" ;
      when : "!A1&!A2&!A3" ;
      value : "2.706534e-05" ;
    }

    leakage_power() {
      related_pg_pin : "VDD" ;
      when : "!A1&!A2&A3" ;
      value : "2.72889e-05" ;
    }

    leakage_power() {
      related_pg_pin : "VDD" ;
      when : "!A1&A2&!A3" ;
      value : "2.65032e-05" ;
    }

    leakage_power() {
      related_pg_pin : "VDD" ;
      when : "!A1&A2&A3" ;
      value : "2.799036e-05" ;
    }

    leakage_power() {
      related_pg_pin : "VDD" ;
      when : "A1&!A2&!A3" ;
      value : "3.178602e-05" ;
    }

    leakage_power() {
      related_pg_pin : "VDD" ;
      when : "A1&!A2&A3" ;
      value : "3.327318e-05" ;
    }

    leakage_power() {
      related_pg_pin : "VDD" ;
      when : "A1&A2&!A3" ;
      value : "2.123496e-05" ;
    }

    leakage_power() {
      related_pg_pin : "VDD" ;
      when : "A1&A2&A3" ;
      value : "2.146014e-05" ;
    }

    leakage_power() {
      related_pg_pin : "VDD" ;
      value : "3.327318e-05" ;
    }

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

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

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

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

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

    pin(ZN) {
      direction : output ;
      function : "(!(A1^A2^A3))" ;
      max_capacitance : 0.06662 ;
      max_transition : 21 ;
      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.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001453, 0.003043, 0.006079, 0.01081, 0.01744, 0.02618, 0.03718, 0.05061, 0.06662");
          values("0.0298, 0.02981, 0.02983, 0.02986, 0.0299, 0.02993, 0.02996, 0.02999, 0.03001, 0.03002",\
                 "0.02986, 0.02986, 0.02988, 0.02991, 0.02995, 0.02998, 0.03002, 0.03004, 0.03006, 0.03008",\
                 "0.02987, 0.02987, 0.02989, 0.02992, 0.02996, 0.03, 0.03003, 0.03005, 0.03007, 0.03009",\
                 "0.02976, 0.02976, 0.02978, 0.02982, 0.02986, 0.0299, 0.02993, 0.02995, 0.02997, 0.02999",\
                 "0.02965, 0.02965, 0.02968, 0.02971, 0.02974, 0.02978, 0.02981, 0.02984, 0.02986, 0.02986",\
                 "0.02954, 0.02954, 0.02956, 0.02959, 0.02963, 0.02967, 0.0297, 0.02973, 0.02974, 0.02975",\
                 "0.02942, 0.02943, 0.02945, 0.02949, 0.02952, 0.02956, 0.02959, 0.02961, 0.02962, 0.0296",\
                 "0.02931, 0.02931, 0.02933, 0.02937, 0.02941, 0.02944, 0.02946, 0.02947, 0.02944, 0.02926",\
                 "0.02907, 0.02908, 0.0291, 0.02913, 0.02916, 0.02918, 0.02916, 0.02901, 0.02855, 0.02783",\
                 "0.02777, 0.02776, 0.02776, 0.02772, 0.02754, 0.0269, 0.02611, 0.0255, 0.02503, 0.02465");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001453, 0.003043, 0.006079, 0.01081, 0.01744, 0.02618, 0.03718, 0.05061, 0.06662");
          values("0.01225, 0.01226, 0.01231, 0.01238, 0.01248, 0.01258, 0.0127, 0.01389, 0.02249, 0.04246",\
                 "0.01219, 0.0122, 0.01225, 0.01232, 0.01241, 0.01251, 0.01265, 0.01388, 0.02278, 0.04284",\
                 "0.0121, 0.01211, 0.01215, 0.01222, 0.01231, 0.01241, 0.01257, 0.01409, 0.02402, 0.04411",\
                 "0.01204, 0.01206, 0.0121, 0.01217, 0.01228, 0.01236, 0.01257, 0.01482, 0.02688, 0.04645",\
                 "0.01199, 0.01201, 0.01205, 0.01212, 0.0122, 0.01232, 0.01269, 0.01674, 0.03153, 0.04915",\
                 "0.01191, 0.01192, 0.01197, 0.01204, 0.01215, 0.01225, 0.01333, 0.0213, 0.03706, 0.0508",\
                 "0.01181, 0.01183, 0.01187, 0.01194, 0.01203, 0.01247, 0.01666, 0.02865, 0.04021, 0.04907",\
                 "0.01172, 0.01174, 0.01178, 0.01184, 0.01217, 0.01566, 0.02375, 0.0309, 0.03636, 0.04045",\
                 "0.01132, 0.01125, 0.01107, 0.01161, 0.01348, 0.01553, 0.01725, 0.01855, 0.01952, 0.02022",\
                 "-0.01106, -0.01106, -0.01106, -0.01106, -0.01106, -0.01106, -0.01106, -0.01106, -0.01106, -0.01106");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001453, 0.003043, 0.006079, 0.01081, 0.01744, 0.02618, 0.03718, 0.05061, 0.06662");
          values("0.0347, 0.03471, 0.03474, 0.03476, 0.03479, 0.03479, 0.03478, 0.03476, 0.03473, 0.03471",\
                 "0.03464, 0.03464, 0.03467, 0.0347, 0.03473, 0.03473, 0.03472, 0.0347, 0.03467, 0.03465",\
                 "0.03454, 0.03455, 0.03457, 0.0346, 0.03463, 0.03463, 0.03462, 0.03461, 0.03459, 0.03455",\
                 "0.03449, 0.0345, 0.03452, 0.03455, 0.03457, 0.03458, 0.03458, 0.03455, 0.03452, 0.0345",\
                 "0.03444, 0.03444, 0.03447, 0.0345, 0.03453, 0.03453, 0.03452, 0.0345, 0.03447, 0.03445",\
                 "0.03436, 0.03436, 0.03439, 0.03442, 0.03445, 0.03445, 0.03444, 0.03441, 0.03439, 0.03436",\
                 "0.03425, 0.03426, 0.03429, 0.03432, 0.03434, 0.03435, 0.03434, 0.03432, 0.03429, 0.03423",\
                 "0.03417, 0.03418, 0.0342, 0.03423, 0.03426, 0.03427, 0.03425, 0.03419, 0.034, 0.03354",\
                 "0.03394, 0.03393, 0.03394, 0.03388, 0.03353, 0.03283, 0.03221, 0.03175, 0.03139, 0.03114",\
                 "0.008035, 0.008036, 0.008032, 0.008029, 0.008024, 0.00802, 0.008018, 0.008016, 0.008013, 0.008011");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001453, 0.003043, 0.006079, 0.01081, 0.01744, 0.02618, 0.03718, 0.05061, 0.06662");
          values("0.04269, 0.04269, 0.0427, 0.0427, 0.04272, 0.04276, 0.04275, 0.04275, 0.04283, 0.04378",\
                 "0.04274, 0.04274, 0.04274, 0.04275, 0.04277, 0.04283, 0.0428, 0.04284, 0.04294, 0.04402",\
                 "0.04275, 0.04275, 0.04276, 0.04277, 0.04278, 0.04281, 0.04285, 0.04284, 0.04298, 0.04439",\
                 "0.04265, 0.04264, 0.04266, 0.04266, 0.04269, 0.04272, 0.04275, 0.04275, 0.0429, 0.04516",\
                 "0.04254, 0.04254, 0.04253, 0.04254, 0.04257, 0.04258, 0.04259, 0.04265, 0.04306, 0.04733",\
                 "0.04242, 0.04242, 0.04242, 0.04245, 0.04245, 0.04248, 0.04253, 0.0426, 0.04393, 0.05296",\
                 "0.04231, 0.04231, 0.04231, 0.04233, 0.04233, 0.04236, 0.04238, 0.0429, 0.04783, 0.06494",\
                 "0.04218, 0.04219, 0.04219, 0.04219, 0.04221, 0.04224, 0.04254, 0.04644, 0.0606, 0.07826",\
                 "0.04197, 0.04196, 0.04198, 0.042, 0.04203, 0.04283, 0.04889, 0.06017, 0.06995, 0.07762",\
                 "0.04056, 0.04044, 0.04024, 0.04076, 0.0422, 0.04376, 0.04501, 0.04608, 0.04698, 0.04771");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001453, 0.003043, 0.006079, 0.01081, 0.01744, 0.02618, 0.03718, 0.05061, 0.06662");
          values("0.02816, 0.02816, 0.02819, 0.02821, 0.02826, 0.02829, 0.02832, 0.02834, 0.02836, 0.02838",\
                 "0.02818, 0.02819, 0.02821, 0.02824, 0.02827, 0.02831, 0.02834, 0.02837, 0.02838, 0.0284",\
                 "0.02808, 0.02808, 0.0281, 0.02813, 0.02817, 0.02821, 0.02824, 0.02826, 0.02828, 0.0283",\
                 "0.02794, 0.02795, 0.02797, 0.028, 0.02804, 0.02808, 0.02811, 0.02813, 0.02815, 0.02816",\
                 "0.02783, 0.02783, 0.02786, 0.02789, 0.02792, 0.02796, 0.02799, 0.02802, 0.02803, 0.02805",\
                 "0.02774, 0.02774, 0.02776, 0.02779, 0.02782, 0.02786, 0.02789, 0.02791, 0.02793, 0.02794",\
                 "0.02765, 0.02765, 0.02767, 0.02769, 0.02773, 0.02776, 0.02779, 0.02781, 0.02782, 0.02776",\
                 "0.02748, 0.02749, 0.02751, 0.02753, 0.02755, 0.02758, 0.02758, 0.02752, 0.02724, 0.02663",\
                 "0.02549, 0.02548, 0.02546, 0.02535, 0.0249, 0.02409, 0.02342, 0.02291, 0.0225, 0.02213",\
                 "0.007543, 0.007549, 0.007569, 0.007603, 0.007647, 0.007693, 0.007739, 0.007783, 0.007819, 0.007851");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001453, 0.003043, 0.006079, 0.01081, 0.01744, 0.02618, 0.03718, 0.05061, 0.06662");
          values("0.01593, 0.01594, 0.01599, 0.01609, 0.01619, 0.01631, 0.01641, 0.01675, 0.02022, 0.03563",\
                 "0.01592, 0.01594, 0.016, 0.01609, 0.0162, 0.01631, 0.01641, 0.01677, 0.0204, 0.03608",\
                 "0.01592, 0.01593, 0.01599, 0.01608, 0.01619, 0.01629, 0.0164, 0.01683, 0.02098, 0.03758",\
                 "0.01587, 0.01588, 0.01594, 0.01601, 0.01611, 0.01621, 0.01633, 0.01693, 0.02236, 0.04055",\
                 "0.01577, 0.01578, 0.01583, 0.01589, 0.01598, 0.01609, 0.01621, 0.01724, 0.02512, 0.04499",\
                 "0.01567, 0.01568, 0.01572, 0.01578, 0.01586, 0.01596, 0.01616, 0.01831, 0.03012, 0.04984",\
                 "0.01559, 0.01559, 0.01564, 0.01569, 0.01577, 0.01585, 0.01636, 0.0215, 0.03705, 0.05353",\
                 "0.01552, 0.01553, 0.01555, 0.0156, 0.01568, 0.01584, 0.01796, 0.02847, 0.04276, 0.05415",\
                 "0.01547, 0.01548, 0.0155, 0.01553, 0.01561, 0.01686, 0.02421, 0.03468, 0.04299, 0.04929",\
                 "0.01558, 0.01558, 0.0156, 0.01569, 0.01722, 0.02221, 0.02716, 0.03106, 0.034, 0.03618");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001453, 0.003043, 0.006079, 0.01081, 0.01744, 0.02618, 0.03718, 0.05061, 0.06662");
          values("0.01954, 0.01954, 0.01957, 0.0196, 0.01962, 0.01964, 0.01963, 0.01961, 0.01958, 0.01956",\
                 "0.01953, 0.01954, 0.01957, 0.0196, 0.01964, 0.01965, 0.01964, 0.01962, 0.01959, 0.01957",\
                 "0.01952, 0.01953, 0.01955, 0.01959, 0.01962, 0.01963, 0.01962, 0.0196, 0.01957, 0.01955",\
                 "0.01948, 0.01949, 0.01952, 0.01955, 0.01958, 0.01959, 0.01959, 0.01957, 0.01954, 0.01951",\
                 "0.01939, 0.0194, 0.01943, 0.01946, 0.01949, 0.0195, 0.0195, 0.01948, 0.01946, 0.01943",\
                 "0.0193, 0.0193, 0.01932, 0.01936, 0.0194, 0.01942, 0.01942, 0.01941, 0.01938, 0.01936",\
                 "0.01921, 0.01923, 0.01925, 0.01928, 0.01931, 0.01933, 0.01934, 0.01933, 0.01931, 0.01929",\
                 "0.01913, 0.01914, 0.01917, 0.0192, 0.01923, 0.01927, 0.01927, 0.01927, 0.01925, 0.01922",\
                 "0.01908, 0.01908, 0.0191, 0.01914, 0.01918, 0.01921, 0.01922, 0.01922, 0.01919, 0.01903",\
                 "0.01919, 0.0192, 0.01922, 0.01926, 0.0193, 0.01932, 0.01924, 0.01886, 0.01825, 0.01773");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001453, 0.003043, 0.006079, 0.01081, 0.01744, 0.02618, 0.03718, 0.05061, 0.06662");
          values("0.04103, 0.04103, 0.04103, 0.04103, 0.04106, 0.04108, 0.04109, 0.04112, 0.04117, 0.04181",\
                 "0.04104, 0.04104, 0.04105, 0.04107, 0.04108, 0.04109, 0.04111, 0.04114, 0.04119, 0.04183",\
                 "0.04094, 0.04094, 0.04094, 0.04096, 0.04098, 0.041, 0.041, 0.04104, 0.04104, 0.04197",\
                 "0.04081, 0.04082, 0.04082, 0.04082, 0.04085, 0.04086, 0.04087, 0.04089, 0.04103, 0.04254",\
                 "0.04069, 0.0407, 0.0407, 0.04071, 0.04073, 0.04074, 0.04075, 0.04077, 0.04117, 0.04444",\
                 "0.0406, 0.04061, 0.04062, 0.04062, 0.04064, 0.04066, 0.04066, 0.04079, 0.04223, 0.05161",\
                 "0.0405, 0.04051, 0.04051, 0.04052, 0.04054, 0.04056, 0.04065, 0.04177, 0.05024, 0.06959",\
                 "0.04036, 0.04036, 0.04037, 0.04038, 0.04041, 0.04068, 0.04425, 0.0558, 0.06816, 0.07804",\
                 "0.03628, 0.03613, 0.036, 0.03637, 0.03704, 0.03769, 0.03835, 0.03895, 0.03943, 0.03985",\
                 "0.007256, 0.007255, 0.007254, 0.007255, 0.007254, 0.007255, 0.007255, 0.007257, 0.007256, 0.007256");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001453, 0.003043, 0.006079, 0.01081, 0.01744, 0.02618, 0.03718, 0.05061, 0.06662");
          values("0.02861, 0.02861, 0.02863, 0.02867, 0.0287, 0.02874, 0.02877, 0.02879, 0.02881, 0.02882",\
                 "0.02864, 0.02864, 0.02867, 0.02869, 0.02874, 0.02877, 0.0288, 0.02882, 0.02884, 0.02886",\
                 "0.02863, 0.02863, 0.02865, 0.02868, 0.02872, 0.02876, 0.02879, 0.02881, 0.02883, 0.02885",\
                 "0.02854, 0.02854, 0.02856, 0.0286, 0.02863, 0.02867, 0.0287, 0.02873, 0.02874, 0.02876",\
                 "0.02844, 0.02844, 0.02846, 0.0285, 0.02853, 0.02857, 0.0286, 0.02862, 0.02864, 0.02865",\
                 "0.02835, 0.02835, 0.02838, 0.02841, 0.02845, 0.02848, 0.02851, 0.02854, 0.02855, 0.02856",\
                 "0.02825, 0.02826, 0.02828, 0.02831, 0.02835, 0.02839, 0.02842, 0.02844, 0.02845, 0.02843",\
                 "0.02817, 0.02818, 0.0282, 0.02823, 0.02827, 0.02831, 0.02833, 0.02834, 0.02832, 0.02817",\
                 "0.02802, 0.02802, 0.02804, 0.02807, 0.02811, 0.02813, 0.02812, 0.02801, 0.02762, 0.02692",\
                 "0.02708, 0.02708, 0.02708, 0.02707, 0.02695, 0.02651, 0.02569, 0.02502, 0.0245, 0.0241");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001453, 0.003043, 0.006079, 0.01081, 0.01744, 0.02618, 0.03718, 0.05061, 0.06662");
          values("0.01096, 0.01097, 0.01102, 0.0111, 0.01118, 0.01127, 0.0114, 0.01252, 0.02087, 0.04076",\
                 "0.01087, 0.01089, 0.01093, 0.011, 0.01109, 0.01119, 0.01133, 0.01248, 0.02107, 0.041",\
                 "0.01074, 0.01076, 0.0108, 0.01087, 0.01099, 0.01106, 0.01121, 0.01262, 0.02213, 0.04225",\
                 "0.01067, 0.01068, 0.01073, 0.01079, 0.01088, 0.01098, 0.01118, 0.01326, 0.02487, 0.04463",\
                 "0.01062, 0.01063, 0.01067, 0.01074, 0.01083, 0.01097, 0.01129, 0.01513, 0.02965, 0.04755",\
                 "0.01054, 0.01055, 0.0106, 0.01067, 0.01076, 0.01087, 0.01192, 0.01975, 0.03554, 0.04941",\
                 "0.01045, 0.01046, 0.01051, 0.01058, 0.01067, 0.01108, 0.01541, 0.0274, 0.03885, 0.04762",\
                 "0.01036, 0.01037, 0.01041, 0.01048, 0.01089, 0.01466, 0.02256, 0.02932, 0.03446, 0.03831",\
                 "0.009604, 0.009463, 0.009186, 0.009763, 0.01124, 0.01282, 0.01412, 0.01511, 0.01583, 0.01637",\
                 "-0.01339, -0.01339, -0.01339, -0.01339, -0.01339, -0.01339, -0.01339, -0.01339, -0.01339, -0.01339");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001453, 0.003043, 0.006079, 0.01081, 0.01744, 0.02618, 0.03718, 0.05061, 0.06662");
          values("0.03408, 0.03409, 0.03411, 0.03414, 0.03417, 0.03417, 0.03416, 0.03414, 0.03411, 0.03408",\
                 "0.034, 0.03401, 0.03403, 0.03406, 0.03408, 0.03409, 0.03408, 0.03405, 0.03403, 0.034",\
                 "0.03386, 0.03387, 0.03389, 0.03393, 0.03395, 0.03395, 0.03394, 0.03392, 0.03389, 0.03387",\
                 "0.03378, 0.03379, 0.03382, 0.03385, 0.03388, 0.03388, 0.03387, 0.03385, 0.03383, 0.0338",\
                 "0.03373, 0.03373, 0.03376, 0.03379, 0.03382, 0.03383, 0.03382, 0.03379, 0.03377, 0.03373",\
                 "0.03365, 0.03367, 0.03369, 0.03372, 0.03375, 0.03375, 0.03373, 0.03371, 0.03369, 0.03366",\
                 "0.03357, 0.03358, 0.03361, 0.03363, 0.03365, 0.03366, 0.03365, 0.03362, 0.03359, 0.03353",\
                 "0.03348, 0.03349, 0.03351, 0.03354, 0.03356, 0.03357, 0.03356, 0.03349, 0.03326, 0.03276",\
                 "0.03304, 0.03304, 0.03297, 0.03266, 0.03199, 0.03136, 0.0309, 0.03053, 0.03028, 0.03008",\
                 "0.006356, 0.006356, 0.006356, 0.006355, 0.006354, 0.006353, 0.006352, 0.006351, 0.00635, 0.006349");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001453, 0.003043, 0.006079, 0.01081, 0.01744, 0.02618, 0.03718, 0.05061, 0.06662");
          values("0.04154, 0.04155, 0.04155, 0.04156, 0.04157, 0.04159, 0.04165, 0.04163, 0.04174, 0.04263",\
                 "0.04158, 0.04158, 0.04159, 0.04159, 0.04161, 0.04163, 0.04164, 0.04168, 0.04174, 0.04273",\
                 "0.04156, 0.04156, 0.04157, 0.04158, 0.0416, 0.04163, 0.04167, 0.04166, 0.04173, 0.043",\
                 "0.04147, 0.04146, 0.04148, 0.04149, 0.04151, 0.04153, 0.04157, 0.04153, 0.0417, 0.0437",\
                 "0.04137, 0.04138, 0.04139, 0.04138, 0.04141, 0.04144, 0.04143, 0.04148, 0.04183, 0.04564",\
                 "0.04128, 0.04128, 0.04128, 0.0413, 0.04132, 0.04133, 0.04134, 0.04143, 0.04258, 0.05071",\
                 "0.04119, 0.04119, 0.04119, 0.04121, 0.04122, 0.04123, 0.04125, 0.04168, 0.04593, 0.06215",\
                 "0.04109, 0.04109, 0.0411, 0.04111, 0.04114, 0.04115, 0.04138, 0.04461, 0.05797, 0.07629",\
                 "0.04095, 0.04094, 0.04096, 0.04098, 0.041, 0.04156, 0.04664, 0.05828, 0.06903, 0.0775",\
                 "0.04022, 0.04017, 0.04006, 0.04064, 0.04257, 0.04485, 0.04673, 0.0482, 0.04942, 0.05041");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001453, 0.003043, 0.006079, 0.01081, 0.01744, 0.02618, 0.03718, 0.05061, 0.06662");
          values("0.02911, 0.02912, 0.02914, 0.02916, 0.02921, 0.02924, 0.02927, 0.0293, 0.02932, 0.02934",\
                 "0.02903, 0.02904, 0.02906, 0.02909, 0.02913, 0.02917, 0.0292, 0.02923, 0.02924, 0.02926",\
                 "0.02896, 0.02897, 0.02899, 0.02902, 0.02906, 0.0291, 0.02913, 0.02915, 0.02917, 0.02919",\
                 "0.02888, 0.02889, 0.02891, 0.02894, 0.02898, 0.02901, 0.02905, 0.02907, 0.0291, 0.02911",\
                 "0.02881, 0.02881, 0.02883, 0.02886, 0.0289, 0.02894, 0.02897, 0.02899, 0.02901, 0.02903",\
                 "0.02873, 0.02874, 0.02876, 0.02878, 0.02882, 0.02886, 0.02889, 0.02891, 0.02893, 0.02894",\
                 "0.02864, 0.02865, 0.02866, 0.02869, 0.02873, 0.02876, 0.02879, 0.02881, 0.02881, 0.02874",\
                 "0.02845, 0.02846, 0.02848, 0.0285, 0.02852, 0.02854, 0.02854, 0.02845, 0.0281, 0.02743",\
                 "0.02592, 0.02591, 0.02586, 0.02563, 0.02494, 0.02418, 0.02359, 0.02314, 0.02275, 0.02237",\
                 "0.007493, 0.007499, 0.007517, 0.007545, 0.007583, 0.007626, 0.007668, 0.007706, 0.007741, 0.007769");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001453, 0.003043, 0.006079, 0.01081, 0.01744, 0.02618, 0.03718, 0.05061, 0.06662");
          values("0.01642, 0.01643, 0.01649, 0.01657, 0.01669, 0.0168, 0.0169, 0.01723, 0.02075, 0.03622",\
                 "0.01642, 0.01644, 0.0165, 0.01659, 0.0167, 0.01681, 0.01691, 0.01727, 0.02094, 0.03667",\
                 "0.01644, 0.01645, 0.01651, 0.01659, 0.0167, 0.01681, 0.01692, 0.01735, 0.02155, 0.0382",\
                 "0.01641, 0.01643, 0.01648, 0.01655, 0.01666, 0.01677, 0.01688, 0.01747, 0.02285, 0.041",\
                 "0.01634, 0.01636, 0.0164, 0.01647, 0.01657, 0.01667, 0.0168, 0.01779, 0.02547, 0.04518",\
                 "0.01626, 0.01628, 0.01631, 0.01637, 0.01647, 0.01655, 0.01676, 0.01877, 0.03017, 0.05001",\
                 "0.01619, 0.0162, 0.01623, 0.01629, 0.01636, 0.01646, 0.01692, 0.02165, 0.03694, 0.05387",\
                 "0.01611, 0.01612, 0.01615, 0.0162, 0.01628, 0.01644, 0.01828, 0.02827, 0.043, 0.05489",\
                 "0.01606, 0.01608, 0.0161, 0.01614, 0.01622, 0.01724, 0.02408, 0.03505, 0.04392, 0.05065",\
                 "0.01617, 0.01617, 0.01619, 0.01626, 0.01752, 0.02259, 0.02813, 0.03251, 0.03581, 0.03827");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001453, 0.003043, 0.006079, 0.01081, 0.01744, 0.02618, 0.03718, 0.05061, 0.06662");
          values("0.01991, 0.01992, 0.01994, 0.01998, 0.02, 0.02002, 0.02001, 0.01999, 0.01996, 0.01994",\
                 "0.01993, 0.01994, 0.01996, 0.02, 0.02002, 0.02004, 0.02003, 0.02, 0.01999, 0.01996",\
                 "0.01994, 0.01995, 0.01996, 0.02001, 0.02003, 0.02004, 0.02004, 0.02002, 0.01999, 0.01997",\
                 "0.01991, 0.01992, 0.01994, 0.01998, 0.02, 0.02002, 0.02001, 0.01999, 0.01996, 0.01994",\
                 "0.01984, 0.01985, 0.01988, 0.01992, 0.01994, 0.01996, 0.01995, 0.01994, 0.01991, 0.01988",\
                 "0.01977, 0.01977, 0.0198, 0.01983, 0.01985, 0.01988, 0.01988, 0.01987, 0.01984, 0.01982",\
                 "0.01969, 0.01969, 0.01972, 0.01976, 0.01979, 0.01981, 0.01981, 0.0198, 0.01978, 0.01976",\
                 "0.01962, 0.01963, 0.01965, 0.01969, 0.01972, 0.01975, 0.01975, 0.01975, 0.01973, 0.0197",\
                 "0.01956, 0.01957, 0.0196, 0.01963, 0.01967, 0.0197, 0.01971, 0.01971, 0.01967, 0.01954",\
                 "0.01966, 0.01967, 0.0197, 0.01974, 0.01977, 0.0198, 0.01976, 0.01948, 0.01891, 0.01835");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001453, 0.003043, 0.006079, 0.01081, 0.01744, 0.02618, 0.03718, 0.05061, 0.06662");
          values("0.04188, 0.04189, 0.04189, 0.04191, 0.04193, 0.04194, 0.04196, 0.04199, 0.04205, 0.0428",\
                 "0.04182, 0.04181, 0.04182, 0.04184, 0.04185, 0.04187, 0.04192, 0.04192, 0.04199, 0.04272",\
                 "0.04174, 0.04174, 0.04175, 0.04175, 0.04179, 0.0418, 0.04179, 0.04185, 0.04192, 0.04299",\
                 "0.04166, 0.04166, 0.04166, 0.04168, 0.04171, 0.04173, 0.04176, 0.04177, 0.04189, 0.04367",\
                 "0.04158, 0.04159, 0.04159, 0.0416, 0.04162, 0.04162, 0.04164, 0.0417, 0.04211, 0.04602",\
                 "0.0415, 0.0415, 0.04152, 0.04152, 0.04153, 0.04156, 0.0416, 0.04171, 0.04343, 0.05404",\
                 "0.04141, 0.04141, 0.04142, 0.04143, 0.04145, 0.04146, 0.04159, 0.04307, 0.05269, 0.07221",\
                 "0.04125, 0.04125, 0.04125, 0.04126, 0.04129, 0.04171, 0.04635, 0.05805, 0.06931, 0.0782",\
                 "0.03389, 0.03384, 0.03386, 0.03401, 0.03428, 0.03465, 0.03503, 0.03535, 0.03564, 0.03586",\
                 "0.007108, 0.007108, 0.007108, 0.007109, 0.007108, 0.007109, 0.007109, 0.007109, 0.007108, 0.007109");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001453, 0.003043, 0.006079, 0.01081, 0.01744, 0.02618, 0.03718, 0.05061, 0.06662");
          values("0.0004469, 0.0004485, 0.0004476, 0.0004459, 0.0004444, 0.0004427, 0.0004411, 0.0004423, 0.000442, 0.0004402",\
                 "0.0004432, 0.0004443, 0.0004589, 0.0004548, 0.0004696, 0.0004675, 0.000476, 0.0004757, 0.0004797, 0.0004776",\
                 "0.0003772, 0.0003908, 0.0004249, 0.0004586, 0.0004876, 0.0005084, 0.0005224, 0.0005353, 0.0005395, 0.0005413",\
                 "0.0002277, 0.0002476, 0.0003004, 0.0003655, 0.0004267, 0.000477, 0.0005085, 0.0005326, 0.0005506, 0.0005612",\
                 "6.616e-05, 8.595e-05, 0.0001489, 0.0002355, 0.0003211, 0.0003938, 0.000449, 0.0004913, 0.0005204, 0.0005419",\
                 "-6.191e-05, -4.349e-05, 1.53e-05, 0.0001026, 0.000199, 0.0002915, 0.0003657, 0.0004223, 0.0004682, 0.0005007",\
                 "-0.0001516, -0.0001343, -8.829e-05, -7.998e-06, 8.496e-05, 0.0001816, 0.0002706, 0.0003431, 0.0004001, 0.0004457",\
                 "-0.0002212, -0.0002075, -0.0001673, -9.971e-05, -9.727e-06, 8.368e-05, 0.0001762, 0.0002573, 0.0003262, 0.0003794",\
                 "-0.0002673, -0.0002565, -0.0002194, -0.0001644, -8.536e-05, 2.039e-06, 8.999e-05, 0.0001733, 0.0002367, 0.000212",\
                 "1.573e-05, 2.577e-05, 5.513e-05, 0.0001029, 0.0001692, 0.0002456, 0.0002731, -2.345e-05, -0.0005557, -0.0009879");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001453, 0.003043, 0.006079, 0.01081, 0.01744, 0.02618, 0.03718, 0.05061, 0.06662");
          values("0.01495, 0.01496, 0.01497, 0.01499, 0.01501, 0.01502, 0.01505, 0.01519, 0.01723, 0.02915",\
                 "0.01483, 0.01485, 0.0149, 0.01496, 0.01501, 0.01506, 0.01511, 0.01527, 0.01744, 0.02966",\
                 "0.01451, 0.01454, 0.01462, 0.01472, 0.01484, 0.01493, 0.01503, 0.01526, 0.01782, 0.03122",\
                 "0.01427, 0.01429, 0.01435, 0.01446, 0.01458, 0.01471, 0.01483, 0.0152, 0.01874, 0.03432",\
                 "0.01414, 0.01415, 0.0142, 0.01427, 0.01438, 0.0145, 0.01463, 0.01528, 0.02095, 0.03938",\
                 "0.01408, 0.01408, 0.01412, 0.01417, 0.01425, 0.01436, 0.01451, 0.01603, 0.02593, 0.04604",\
                 "0.01402, 0.01403, 0.01406, 0.01411, 0.01417, 0.01426, 0.01471, 0.01939, 0.03468, 0.05168",\
                 "0.01399, 0.014, 0.01403, 0.01406, 0.01413, 0.01435, 0.01729, 0.02877, 0.04189, 0.05207",\
                 "0.01398, 0.01398, 0.014, 0.01403, 0.01441, 0.01826, 0.02606, 0.03268, 0.03776, 0.04157",\
                 "0.01246, 0.01224, 0.01192, 0.01244, 0.01364, 0.01491, 0.01594, 0.01675, 0.01735, 0.01778");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001453, 0.003043, 0.006079, 0.01081, 0.01744, 0.02618, 0.03718, 0.05061, 0.06662");
          values("0.02306, 0.02303, 0.02294, 0.02278, 0.02257, 0.02236, 0.02218, 0.02201, 0.02188, 0.02177",\
                 "0.02303, 0.02301, 0.02291, 0.02276, 0.02255, 0.02233, 0.02214, 0.02197, 0.02183, 0.02172",\
                 "0.02301, 0.02298, 0.02291, 0.02279, 0.0226, 0.0224, 0.02219, 0.02202, 0.02186, 0.02173",\
                 "0.02292, 0.02289, 0.02284, 0.02275, 0.02261, 0.02244, 0.02227, 0.02209, 0.02194, 0.02179",\
                 "0.02275, 0.02274, 0.02271, 0.02264, 0.02255, 0.02244, 0.0223, 0.02215, 0.02202, 0.02188",\
                 "0.02256, 0.02255, 0.02254, 0.02251, 0.02245, 0.02237, 0.02227, 0.02217, 0.02206, 0.02194",\
                 "0.02238, 0.02238, 0.02237, 0.02236, 0.02233, 0.02228, 0.02222, 0.02214, 0.02204, 0.02194",\
                 "0.02222, 0.02222, 0.02222, 0.02222, 0.0222, 0.02217, 0.02212, 0.02206, 0.02197, 0.02182",\
                 "0.02197, 0.02197, 0.02198, 0.02197, 0.02196, 0.02192, 0.02185, 0.02162, 0.02106, 0.02026",\
                 "0.01533, 0.01523, 0.01497, 0.01465, 0.01433, 0.01405, 0.01381, 0.01361, 0.01345, 0.01331");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001453, 0.003043, 0.006079, 0.01081, 0.01744, 0.02618, 0.03718, 0.05061, 0.06662");
          values("0.01823, 0.01822, 0.01818, 0.01808, 0.01794, 0.01775, 0.0176, 0.01742, 0.01731, 0.01726",\
                 "0.01824, 0.01823, 0.0182, 0.01812, 0.018, 0.01781, 0.01766, 0.01746, 0.01737, 0.01729",\
                 "0.01808, 0.01807, 0.01805, 0.01797, 0.01789, 0.01775, 0.01761, 0.01745, 0.01736, 0.01722",\
                 "0.01751, 0.01752, 0.01751, 0.01749, 0.01748, 0.01742, 0.01733, 0.01729, 0.01716, 0.01721",\
                 "0.01714, 0.01714, 0.01715, 0.01716, 0.01716, 0.01718, 0.01718, 0.01714, 0.01711, 0.01729",\
                 "0.01686, 0.01687, 0.01687, 0.0169, 0.01693, 0.01693, 0.01698, 0.01694, 0.01699, 0.01739",\
                 "0.01665, 0.01666, 0.01665, 0.01668, 0.0167, 0.01676, 0.01678, 0.01678, 0.01693, 0.01838",\
                 "0.0165, 0.0165, 0.01651, 0.01651, 0.01651, 0.01654, 0.01659, 0.01671, 0.01732, 0.02286",\
                 "0.01637, 0.01636, 0.01637, 0.01639, 0.01638, 0.0164, 0.01641, 0.01691, 0.02171, 0.03853",\
                 "0.01667, 0.01668, 0.01669, 0.01669, 0.01672, 0.0168, 0.01779, 0.02534, 0.04084, 0.0551");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001453, 0.003043, 0.006079, 0.01081, 0.01744, 0.02618, 0.03718, 0.05061, 0.06662");
          values("0.02306, 0.02303, 0.02294, 0.02278, 0.02257, 0.02236, 0.02217, 0.02201, 0.02188, 0.02177",\
                 "0.02303, 0.02301, 0.02291, 0.02276, 0.02255, 0.02234, 0.02214, 0.02197, 0.02183, 0.02172",\
                 "0.02301, 0.02299, 0.02292, 0.02279, 0.0226, 0.0224, 0.02219, 0.02201, 0.02186, 0.02173",\
                 "0.02291, 0.0229, 0.02284, 0.02275, 0.02261, 0.02244, 0.02227, 0.0221, 0.02194, 0.02179",\
                 "0.02275, 0.02274, 0.02271, 0.02265, 0.02255, 0.02243, 0.0223, 0.02215, 0.02202, 0.02188",\
                 "0.02256, 0.02255, 0.02254, 0.0225, 0.02244, 0.02237, 0.02228, 0.02216, 0.02206, 0.02194",\
                 "0.02238, 0.02238, 0.02237, 0.02236, 0.02233, 0.02228, 0.02221, 0.02214, 0.02205, 0.02194",\
                 "0.02222, 0.02222, 0.02222, 0.02222, 0.02219, 0.02217, 0.02212, 0.02206, 0.02198, 0.02182",\
                 "0.02198, 0.02197, 0.02198, 0.02197, 0.02196, 0.02193, 0.02184, 0.02162, 0.02106, 0.02026",\
                 "0.01533, 0.01523, 0.01497, 0.01465, 0.01433, 0.01405, 0.01381, 0.01362, 0.01345, 0.01332");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001453, 0.003043, 0.006079, 0.01081, 0.01744, 0.02618, 0.03718, 0.05061, 0.06662");
          values("0.01823, 0.01821, 0.01817, 0.01808, 0.01794, 0.01775, 0.01758, 0.0174, 0.01728, 0.01714",\
                 "0.01824, 0.01823, 0.0182, 0.01812, 0.018, 0.01781, 0.01767, 0.01746, 0.01738, 0.01723",\
                 "0.01808, 0.01807, 0.01805, 0.01799, 0.01789, 0.01775, 0.01761, 0.01745, 0.01736, 0.01722",\
                 "0.01751, 0.0175, 0.01752, 0.01749, 0.01748, 0.01742, 0.01734, 0.01728, 0.01722, 0.01721",\
                 "0.01714, 0.01715, 0.01715, 0.01716, 0.01716, 0.01717, 0.01717, 0.01714, 0.01712, 0.01728",\
                 "0.01686, 0.01687, 0.01687, 0.01689, 0.01693, 0.01696, 0.01694, 0.017, 0.01696, 0.01736",\
                 "0.01665, 0.01666, 0.01665, 0.01668, 0.0167, 0.01675, 0.01676, 0.01678, 0.01693, 0.01837",\
                 "0.0165, 0.0165, 0.01651, 0.01651, 0.0165, 0.01654, 0.01659, 0.01671, 0.01736, 0.02295",\
                 "0.01637, 0.01636, 0.01637, 0.01638, 0.01638, 0.01643, 0.01641, 0.01691, 0.02171, 0.03853",\
                 "0.01667, 0.01668, 0.01669, 0.01668, 0.01672, 0.0168, 0.01779, 0.02543, 0.04085, 0.05511");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001453, 0.003043, 0.006079, 0.01081, 0.01744, 0.02618, 0.03718, 0.05061, 0.06662");
          values("0.0004461, 0.0004438, 0.0004469, 0.0004452, 0.0004438, 0.0004427, 0.0004411, 0.0004424, 0.0004433, 0.0004403",\
                 "0.0004426, 0.0004438, 0.0004583, 0.000449, 0.000471, 0.0004673, 0.000476, 0.0004751, 0.0004797, 0.0004778",\
                 "0.000377, 0.0003905, 0.0004211, 0.0004585, 0.0004853, 0.0005067, 0.0005218, 0.0005345, 0.0005418, 0.0005442",\
                 "0.000228, 0.0002476, 0.0003003, 0.0003665, 0.000425, 0.0004749, 0.0005103, 0.000533, 0.0005506, 0.0005619",\
                 "6.921e-05, 8.898e-05, 0.0001464, 0.000234, 0.0003224, 0.0003938, 0.0004489, 0.0004908, 0.0005215, 0.0005421",\
                 "-5.807e-05, -4.241e-05, 1.702e-05, 0.0001022, 0.0001985, 0.0002908, 0.0003677, 0.0004225, 0.0004674, 0.0004995",\
                 "-0.0001513, -0.0001354, -9.05e-05, -1.054e-05, 8.39e-05, 0.000182, 0.0002713, 0.0003444, 0.0004009, 0.0004445",\
                 "-0.0002179, -0.0002066, -0.000168, -9.584e-05, -1.179e-05, 8.21e-05, 0.0001762, 0.0002567, 0.0003254, 0.0003792",\
                 "-0.000267, -0.0002564, -0.0002237, -0.0001643, -8.705e-05, 2.177e-06, 9.163e-05, 0.0001735, 0.0002372, 0.0002134",\
                 "1.686e-05, 2.199e-05, 5.291e-05, 0.0001048, 0.0001706, 0.0002484, 0.0002731, -1.901e-05, -0.0005538, -0.0009864");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001453, 0.003043, 0.006079, 0.01081, 0.01744, 0.02618, 0.03718, 0.05061, 0.06662");
          values("0.01496, 0.01496, 0.01497, 0.01499, 0.01501, 0.01503, 0.01505, 0.01519, 0.01723, 0.02916",\
                 "0.01484, 0.01485, 0.0149, 0.01496, 0.01502, 0.01506, 0.01511, 0.01527, 0.01742, 0.02968",\
                 "0.01452, 0.01454, 0.01462, 0.01472, 0.01484, 0.01494, 0.01502, 0.01525, 0.01782, 0.03122",\
                 "0.01427, 0.01429, 0.01435, 0.01445, 0.01458, 0.0147, 0.01484, 0.0152, 0.01876, 0.0343",\
                 "0.01414, 0.01416, 0.0142, 0.01427, 0.01438, 0.0145, 0.01464, 0.01526, 0.02096, 0.03941",\
                 "0.01408, 0.01409, 0.01412, 0.01417, 0.01426, 0.01435, 0.01452, 0.01602, 0.02591, 0.04604",\
                 "0.01402, 0.01403, 0.01406, 0.01411, 0.01418, 0.01426, 0.01471, 0.01939, 0.03468, 0.05168",\
                 "0.01399, 0.014, 0.01403, 0.01407, 0.01412, 0.01435, 0.0173, 0.02877, 0.04188, 0.05207",\
                 "0.01398, 0.01398, 0.01399, 0.01403, 0.0144, 0.01825, 0.02605, 0.03269, 0.03776, 0.04157",\
                 "0.01245, 0.01223, 0.0119, 0.01244, 0.01364, 0.01491, 0.01596, 0.01675, 0.01734, 0.01778");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001453, 0.003043, 0.006079, 0.01081, 0.01744, 0.02618, 0.03718, 0.05061, 0.06662");
          values("6.558, 6.602, 6.747, 6.995, 7.335, 7.755, 8.253, 8.832, 9.501, 10.27",\
                 "6.639, 6.684, 6.829, 7.078, 7.417, 7.837, 8.334, 8.914, 9.582, 10.35",\
                 "6.871, 6.915, 7.061, 7.308, 7.648, 8.069, 8.566, 9.145, 9.814, 10.58",\
                 "7.244, 7.288, 7.433, 7.681, 8.02, 8.441, 8.939, 9.518, 10.19, 10.95",\
                 "7.674, 7.718, 7.863, 8.112, 8.451, 8.872, 9.369, 9.949, 10.62, 11.39",\
                 "8.14, 8.184, 8.329, 8.578, 8.916, 9.337, 9.835, 10.41, 11.08, 11.85",\
                 "8.627, 8.673, 8.817, 9.065, 9.405, 9.825, 10.32, 10.9, 11.57, 12.34",\
                 "9.131, 9.174, 9.32, 9.569, 9.909, 10.33, 10.83, 11.41, 12.08, 12.84",\
                 "9.65, 9.694, 9.84, 10.09, 10.43, 10.85, 11.35, 11.92, 12.59, 13.36",\
                 "10.17, 10.22, 10.36, 10.61, 10.95, 11.37, 11.87, 12.45, 13.12, 13.88");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001453, 0.003043, 0.006079, 0.01081, 0.01744, 0.02618, 0.03718, 0.05061, 0.06662");
          values("6.485, 6.567, 6.856, 7.406, 8.26, 9.453, 11.02, 12.99, 15.39, 18.25",\
                 "6.537, 6.619, 6.909, 7.458, 8.312, 9.506, 11.07, 13.04, 15.44, 18.3",\
                 "6.766, 6.849, 7.138, 7.688, 8.542, 9.736, 11.3, 13.27, 15.67, 18.53",\
                 "7.231, 7.313, 7.602, 8.152, 9.006, 10.2, 11.77, 13.74, 16.14, 18.99",\
                 "7.938, 8.02, 8.309, 8.86, 9.714, 10.91, 12.47, 14.44, 16.84, 19.71",\
                 "8.919, 9.001, 9.291, 9.841, 10.69, 11.89, 13.45, 15.42, 17.83, 20.68",\
                 "10.2, 10.28, 10.57, 11.12, 11.98, 13.17, 14.74, 16.71, 19.11, 21.97",\
                 "11.79, 11.87, 12.16, 12.71, 13.57, 14.76, 16.33, 18.3, 20.7, 23.56",\
                 "13.65, 13.73, 14.02, 14.57, 15.42, 16.62, 18.18, 20.15, 22.56, 25.42",\
                 "15.74, 15.83, 16.12, 16.67, 17.52, 18.71, 20.28, 22.25, 24.65, 27.51");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001453, 0.003043, 0.006079, 0.01081, 0.01744, 0.02618, 0.03718, 0.05061, 0.06662");
          values("1.144, 1.186, 1.328, 1.574, 1.928, 2.394, 2.992, 3.746, 4.676, 5.815",\
                 "1.146, 1.186, 1.327, 1.576, 1.928, 2.396, 2.993, 3.746, 4.674, 5.814",\
                 "1.144, 1.187, 1.326, 1.575, 1.927, 2.396, 2.992, 3.746, 4.676, 5.809",\
                 "1.145, 1.188, 1.328, 1.575, 1.928, 2.396, 2.992, 3.746, 4.676, 5.812",\
                 "1.146, 1.188, 1.327, 1.575, 1.928, 2.394, 2.992, 3.744, 4.674, 5.808",\
                 "1.146, 1.188, 1.326, 1.576, 1.928, 2.396, 2.992, 3.746, 4.676, 5.812",\
                 "1.144, 1.188, 1.328, 1.574, 1.926, 2.396, 2.992, 3.744, 4.676, 5.812",\
                 "1.144, 1.188, 1.328, 1.576, 1.932, 2.396, 2.998, 3.748, 4.68, 5.816",\
                 "1.146, 1.188, 1.328, 1.574, 1.928, 2.396, 2.992, 3.744, 4.676, 5.812",\
                 "1.142, 1.186, 1.328, 1.574, 1.926, 2.394, 2.994, 3.746, 4.674, 5.814");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001453, 0.003043, 0.006079, 0.01081, 0.01744, 0.02618, 0.03718, 0.05061, 0.06662");
          values("1.803, 1.937, 2.399, 3.287, 4.669, 6.619, 9.163, 12.39, 16.31, 20.99",\
                 "1.803, 1.937, 2.399, 3.287, 4.673, 6.615, 9.164, 12.38, 16.32, 21.03",\
                 "1.803, 1.938, 2.4, 3.291, 4.674, 6.61, 9.167, 12.39, 16.31, 21",\
                 "1.803, 1.935, 2.4, 3.286, 4.675, 6.61, 9.166, 12.38, 16.32, 20.99",\
                 "1.805, 1.936, 2.401, 3.287, 4.67, 6.608, 9.166, 12.38, 16.32, 20.99",\
                 "1.804, 1.938, 2.402, 3.288, 4.676, 6.61, 9.166, 12.38, 16.31, 21",\
                 "1.804, 1.934, 2.4, 3.286, 4.67, 6.618, 9.164, 12.39, 16.31, 20.99",\
                 "1.804, 1.934, 2.4, 3.286, 4.672, 6.618, 9.166, 12.38, 16.31, 20.99",\
                 "1.802, 1.938, 2.4, 3.29, 4.67, 6.61, 9.164, 12.38, 16.31, 20.99",\
                 "1.804, 1.936, 2.402, 3.288, 4.67, 6.61, 9.162, 12.39, 16.32, 20.99");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001453, 0.003043, 0.006079, 0.01081, 0.01744, 0.02618, 0.03718, 0.05061, 0.06662");
          values("3.646, 3.671, 3.756, 3.91, 4.141, 4.454, 4.86, 5.366, 5.983, 6.718",\
                 "3.7, 3.726, 3.811, 3.966, 4.197, 4.51, 4.915, 5.422, 6.038, 6.773",\
                 "3.899, 3.923, 4.009, 4.164, 4.395, 4.708, 5.113, 5.619, 6.236, 6.971",\
                 "4.276, 4.301, 4.386, 4.542, 4.773, 5.086, 5.491, 5.997, 6.614, 7.349",\
                 "4.858, 4.883, 4.968, 5.123, 5.354, 5.668, 6.073, 6.579, 7.196, 7.93",\
                 "5.587, 5.612, 5.697, 5.853, 6.084, 6.397, 6.802, 7.31, 7.926, 8.661",\
                 "6.373, 6.399, 6.484, 6.64, 6.869, 7.184, 7.59, 8.096, 8.712, 9.447",\
                 "7.193, 7.218, 7.303, 7.458, 7.689, 8.004, 8.41, 8.916, 9.533, 10.27",\
                 "8.044, 8.07, 8.154, 8.31, 8.541, 8.856, 9.261, 9.768, 10.39, 11.12",\
                 "8.915, 8.94, 9.026, 9.181, 9.413, 9.727, 10.13, 10.64, 11.26, 11.99");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001453, 0.003043, 0.006079, 0.01081, 0.01744, 0.02618, 0.03718, 0.05061, 0.06662");
          values("7.153, 7.194, 7.333, 7.594, 7.997, 8.558, 9.293, 10.22, 11.34, 12.68",\
                 "7.228, 7.268, 7.407, 7.669, 8.072, 8.633, 9.367, 10.29, 11.41, 12.75",\
                 "7.46, 7.5, 7.639, 7.902, 8.304, 8.865, 9.599, 10.52, 11.65, 12.98",\
                 "7.928, 7.968, 8.107, 8.369, 8.773, 9.333, 10.07, 10.99, 12.11, 13.45",\
                 "8.685, 8.725, 8.864, 9.126, 9.527, 10.09, 10.82, 11.75, 12.87, 14.21",\
                 "9.766, 9.805, 9.945, 10.21, 10.61, 11.17, 11.9, 12.83, 13.95, 15.29",\
                 "11.2, 11.24, 11.38, 11.64, 12.04, 12.6, 13.34, 14.26, 15.38, 16.72",\
                 "13.01, 13.05, 13.19, 13.45, 13.85, 14.41, 15.15, 16.07, 17.19, 18.53",\
                 "15.2, 15.24, 15.38, 15.64, 16.04, 16.6, 17.34, 18.26, 19.39, 20.72",\
                 "17.72, 17.76, 17.9, 18.16, 18.56, 19.12, 19.86, 20.78, 21.91, 23.24");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001453, 0.003043, 0.006079, 0.01081, 0.01744, 0.02618, 0.03718, 0.05061, 0.06662");
          values("0.577, 0.6098, 0.7254, 0.9444, 1.288, 1.775, 2.425, 3.256, 4.275, 5.496",\
                 "0.5766, 0.6096, 0.7254, 0.9446, 1.287, 1.775, 2.426, 3.255, 4.277, 5.493",\
                 "0.5766, 0.609, 0.7254, 0.9454, 1.288, 1.776, 2.426, 3.255, 4.278, 5.495",\
                 "0.5764, 0.6094, 0.7256, 0.9452, 1.288, 1.775, 2.424, 3.254, 4.278, 5.495",\
                 "0.5772, 0.6096, 0.7256, 0.945, 1.287, 1.776, 2.426, 3.254, 4.279, 5.498",\
                 "0.577, 0.61, 0.725, 0.945, 1.29, 1.774, 2.425, 3.254, 4.274, 5.494",\
                 "0.58, 0.614, 0.726, 0.946, 1.29, 1.774, 2.426, 3.254, 4.276, 5.494",\
                 "0.58, 0.612, 0.728, 0.946, 1.29, 1.776, 2.424, 3.254, 4.272, 5.49",\
                 "0.58, 0.612, 0.726, 0.948, 1.29, 1.776, 2.426, 3.258, 4.276, 5.49",\
                 "0.58, 0.614, 0.728, 0.948, 1.29, 1.774, 2.428, 3.256, 4.274, 5.494");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001453, 0.003043, 0.006079, 0.01081, 0.01744, 0.02618, 0.03718, 0.05061, 0.06662");
          values("1.048, 1.109, 1.33, 1.749, 2.411, 3.34, 4.564, 6.107, 7.989, 10.23",\
                 "1.048, 1.108, 1.33, 1.75, 2.411, 3.341, 4.563, 6.107, 7.99, 10.23",\
                 "1.047, 1.108, 1.329, 1.75, 2.412, 3.339, 4.564, 6.106, 7.986, 10.23",\
                 "1.047, 1.111, 1.328, 1.751, 2.411, 3.34, 4.564, 6.104, 7.986, 10.23",\
                 "1.048, 1.112, 1.33, 1.752, 2.41, 3.34, 4.564, 6.108, 7.99, 10.23",\
                 "1.048, 1.112, 1.33, 1.75, 2.408, 3.34, 4.564, 6.108, 7.99, 10.23",\
                 "1.046, 1.11, 1.332, 1.752, 2.412, 3.342, 4.564, 6.108, 7.988, 10.23",\
                 "1.048, 1.112, 1.33, 1.748, 2.412, 3.34, 4.564, 6.108, 7.986, 10.23",\
                 "1.046, 1.11, 1.33, 1.752, 2.41, 3.338, 4.564, 6.108, 7.99, 10.23",\
                 "1.05, 1.112, 1.332, 1.752, 2.41, 3.338, 4.562, 6.102, 7.986, 10.23");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001453, 0.003043, 0.006079, 0.01081, 0.01744, 0.02618, 0.03718, 0.05061, 0.06662");
          values("6.558, 6.602, 6.747, 6.995, 7.335, 7.755, 8.253, 8.832, 9.501, 10.27",\
                 "6.639, 6.684, 6.829, 7.078, 7.417, 7.837, 8.334, 8.914, 9.582, 10.35",\
                 "6.871, 6.915, 7.061, 7.308, 7.648, 8.069, 8.566, 9.145, 9.814, 10.58",\
                 "7.244, 7.288, 7.433, 7.681, 8.02, 8.441, 8.939, 9.518, 10.19, 10.95",\
                 "7.674, 7.718, 7.863, 8.112, 8.451, 8.872, 9.369, 9.949, 10.62, 11.39",\
                 "8.14, 8.184, 8.329, 8.578, 8.916, 9.337, 9.835, 10.41, 11.08, 11.85",\
                 "8.627, 8.673, 8.817, 9.065, 9.405, 9.825, 10.32, 10.9, 11.57, 12.34",\
                 "9.131, 9.174, 9.32, 9.569, 9.909, 10.33, 10.83, 11.41, 12.08, 12.84",\
                 "9.65, 9.694, 9.84, 10.09, 10.43, 10.85, 11.35, 11.92, 12.59, 13.36",\
                 "10.17, 10.22, 10.36, 10.61, 10.95, 11.37, 11.87, 12.45, 13.12, 13.88");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001453, 0.003043, 0.006079, 0.01081, 0.01744, 0.02618, 0.03718, 0.05061, 0.06662");
          values("6.485, 6.567, 6.856, 7.406, 8.26, 9.453, 11.02, 12.99, 15.39, 18.25",\
                 "6.537, 6.619, 6.909, 7.458, 8.312, 9.506, 11.07, 13.04, 15.44, 18.3",\
                 "6.766, 6.849, 7.138, 7.688, 8.542, 9.736, 11.3, 13.27, 15.67, 18.53",\
                 "7.231, 7.313, 7.602, 8.152, 9.006, 10.2, 11.77, 13.74, 16.14, 18.99",\
                 "7.938, 8.02, 8.309, 8.86, 9.714, 10.91, 12.47, 14.44, 16.84, 19.71",\
                 "8.919, 9.001, 9.291, 9.841, 10.69, 11.89, 13.45, 15.42, 17.83, 20.68",\
                 "10.2, 10.28, 10.57, 11.12, 11.98, 13.17, 14.74, 16.71, 19.11, 21.97",\
                 "11.79, 11.87, 12.16, 12.71, 13.57, 14.76, 16.33, 18.3, 20.7, 23.56",\
                 "13.65, 13.73, 14.02, 14.57, 15.42, 16.62, 18.18, 20.15, 22.56, 25.42",\
                 "15.74, 15.83, 16.12, 16.67, 17.52, 18.71, 20.28, 22.25, 24.65, 27.51");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001453, 0.003043, 0.006079, 0.01081, 0.01744, 0.02618, 0.03718, 0.05061, 0.06662");
          values("1.144, 1.186, 1.328, 1.574, 1.928, 2.394, 2.992, 3.746, 4.676, 5.815",\
                 "1.146, 1.186, 1.327, 1.576, 1.928, 2.396, 2.993, 3.746, 4.674, 5.814",\
                 "1.144, 1.187, 1.326, 1.575, 1.927, 2.396, 2.992, 3.746, 4.676, 5.809",\
                 "1.145, 1.188, 1.328, 1.575, 1.928, 2.396, 2.992, 3.746, 4.676, 5.812",\
                 "1.146, 1.188, 1.327, 1.575, 1.928, 2.394, 2.992, 3.744, 4.674, 5.808",\
                 "1.146, 1.188, 1.326, 1.576, 1.928, 2.396, 2.992, 3.746, 4.676, 5.812",\
                 "1.144, 1.188, 1.328, 1.574, 1.926, 2.396, 2.992, 3.744, 4.676, 5.812",\
                 "1.144, 1.188, 1.328, 1.576, 1.932, 2.396, 2.998, 3.748, 4.68, 5.816",\
                 "1.146, 1.188, 1.328, 1.574, 1.928, 2.396, 2.992, 3.744, 4.676, 5.812",\
                 "1.142, 1.186, 1.328, 1.574, 1.926, 2.394, 2.994, 3.746, 4.674, 5.814");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001453, 0.003043, 0.006079, 0.01081, 0.01744, 0.02618, 0.03718, 0.05061, 0.06662");
          values("1.803, 1.937, 2.399, 3.287, 4.669, 6.619, 9.163, 12.39, 16.31, 20.99",\
                 "1.803, 1.937, 2.399, 3.287, 4.673, 6.615, 9.164, 12.38, 16.32, 21.03",\
                 "1.803, 1.938, 2.4, 3.291, 4.674, 6.61, 9.167, 12.39, 16.31, 21",\
                 "1.803, 1.935, 2.4, 3.286, 4.675, 6.61, 9.166, 12.38, 16.32, 20.99",\
                 "1.805, 1.936, 2.401, 3.287, 4.67, 6.608, 9.166, 12.38, 16.32, 20.99",\
                 "1.804, 1.938, 2.402, 3.288, 4.676, 6.61, 9.166, 12.38, 16.31, 21",\
                 "1.804, 1.934, 2.4, 3.286, 4.67, 6.618, 9.164, 12.39, 16.31, 20.99",\
                 "1.804, 1.934, 2.4, 3.286, 4.672, 6.618, 9.166, 12.38, 16.31, 20.99",\
                 "1.802, 1.938, 2.4, 3.29, 4.67, 6.61, 9.164, 12.38, 16.31, 20.99",\
                 "1.804, 1.936, 2.402, 3.288, 4.67, 6.61, 9.162, 12.39, 16.32, 20.99");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001453, 0.003043, 0.006079, 0.01081, 0.01744, 0.02618, 0.03718, 0.05061, 0.06662");
          values("7.097, 7.122, 7.206, 7.362, 7.593, 7.906, 8.31, 8.817, 9.434, 10.17",\
                 "7.149, 7.174, 7.259, 7.413, 7.644, 7.957, 8.362, 8.869, 9.485, 10.22",\
                 "7.38, 7.404, 7.49, 7.645, 7.876, 8.188, 8.593, 9.1, 9.717, 10.45",\
                 "7.843, 7.868, 7.953, 8.108, 8.339, 8.652, 9.057, 9.563, 10.18, 10.91",\
                 "8.55, 8.575, 8.661, 8.816, 9.047, 9.359, 9.764, 10.27, 10.89, 11.62",\
                 "9.531, 9.556, 9.642, 9.796, 10.03, 10.34, 10.74, 11.25, 11.87, 12.6",\
                 "10.81, 10.84, 10.92, 11.08, 11.31, 11.62, 12.03, 12.53, 13.15, 13.89",\
                 "12.4, 12.43, 12.51, 12.67, 12.9, 13.21, 13.62, 14.12, 14.74, 15.48",\
                 "14.26, 14.29, 14.37, 14.53, 14.76, 15.07, 15.48, 15.98, 16.6, 17.34",\
                 "16.36, 16.39, 16.47, 16.62, 16.86, 17.17, 17.57, 18.08, 18.7, 19.43");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001453, 0.003043, 0.006079, 0.01081, 0.01744, 0.02618, 0.03718, 0.05061, 0.06662");
          values("8.067, 8.107, 8.246, 8.508, 8.911, 9.472, 10.21, 11.13, 12.25, 13.59",\
                 "8.148, 8.188, 8.328, 8.589, 8.992, 9.554, 10.29, 11.21, 12.33, 13.67",\
                 "8.38, 8.42, 8.56, 8.821, 9.224, 9.784, 10.52, 11.44, 12.57, 13.9",\
                 "8.753, 8.793, 8.933, 9.194, 9.596, 10.16, 10.89, 11.81, 12.94, 14.27",\
                 "9.184, 9.224, 9.363, 9.625, 10.03, 10.59, 11.32, 12.25, 13.37, 14.71",\
                 "9.65, 9.69, 9.829, 10.09, 10.49, 11.05, 11.79, 12.71, 13.83, 15.17",\
                 "10.14, 10.18, 10.32, 10.58, 10.98, 11.54, 12.28, 13.2, 14.32, 15.66",\
                 "10.64, 10.68, 10.82, 11.08, 11.49, 12.05, 12.78, 13.7, 14.83, 16.16",\
                 "11.16, 11.2, 11.34, 11.6, 12.01, 12.57, 13.3, 14.22, 15.34, 16.68",\
                 "11.68, 11.72, 11.86, 12.12, 12.53, 13.09, 13.82, 14.75, 15.87, 17.21");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001453, 0.003043, 0.006079, 0.01081, 0.01744, 0.02618, 0.03718, 0.05061, 0.06662");
          values("0.5764, 0.609, 0.7256, 0.9438, 1.287, 1.776, 2.427, 3.255, 4.28, 5.494",\
                 "0.5764, 0.6098, 0.7252, 0.9442, 1.29, 1.776, 2.427, 3.253, 4.279, 5.5",\
                 "0.5766, 0.6094, 0.726, 0.9448, 1.288, 1.776, 2.426, 3.257, 4.28, 5.497",\
                 "0.5764, 0.6096, 0.7258, 0.9446, 1.288, 1.777, 2.428, 3.256, 4.278, 5.5",\
                 "0.578, 0.61, 0.726, 0.944, 1.288, 1.776, 2.426, 3.256, 4.274, 5.496",\
                 "0.576, 0.61, 0.724, 0.944, 1.288, 1.778, 2.428, 3.254, 4.278, 5.496",\
                 "0.576, 0.61, 0.726, 0.946, 1.288, 1.776, 2.428, 3.256, 4.278, 5.5",\
                 "0.578, 0.61, 0.726, 0.946, 1.286, 1.776, 2.426, 3.254, 4.278, 5.498",\
                 "0.576, 0.61, 0.728, 0.944, 1.29, 1.774, 2.426, 3.258, 4.278, 5.496",\
                 "0.578, 0.612, 0.724, 0.944, 1.288, 1.776, 2.424, 3.254, 4.274, 5.5");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001453, 0.003043, 0.006079, 0.01081, 0.01744, 0.02618, 0.03718, 0.05061, 0.06662");
          values("1.047, 1.109, 1.328, 1.749, 2.41, 3.339, 4.561, 6.109, 7.986, 10.23",\
                 "1.047, 1.109, 1.329, 1.75, 2.409, 3.338, 4.564, 6.105, 7.988, 10.23",\
                 "1.047, 1.109, 1.329, 1.75, 2.408, 3.338, 4.563, 6.106, 7.99, 10.23",\
                 "1.047, 1.109, 1.329, 1.75, 2.409, 3.34, 4.566, 6.108, 7.986, 10.23",\
                 "1.046, 1.11, 1.328, 1.75, 2.41, 3.34, 4.564, 6.108, 7.986, 10.23",\
                 "1.046, 1.11, 1.33, 1.748, 2.41, 3.338, 4.566, 6.108, 7.988, 10.23",\
                 "1.046, 1.11, 1.33, 1.748, 2.41, 3.34, 4.562, 6.108, 7.99, 10.23",\
                 "1.048, 1.11, 1.328, 1.75, 2.41, 3.338, 4.564, 6.106, 7.99, 10.23",\
                 "1.048, 1.108, 1.328, 1.748, 2.408, 3.338, 4.56, 6.104, 7.99, 10.23",\
                 "1.046, 1.112, 1.33, 1.752, 2.41, 3.338, 4.562, 6.102, 7.988, 10.22");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001453, 0.003043, 0.006079, 0.01081, 0.01744, 0.02618, 0.03718, 0.05061, 0.06662");
          values("5.643, 5.687, 5.831, 6.079, 6.417, 6.836, 7.332, 7.91, 8.578, 9.345",\
                 "5.718, 5.762, 5.905, 6.153, 6.491, 6.91, 7.407, 7.984, 8.652, 9.42",\
                 "5.95, 5.993, 6.136, 6.385, 6.722, 7.142, 7.638, 8.216, 8.884, 9.652",\
                 "6.416, 6.461, 6.607, 6.854, 7.191, 7.61, 8.107, 8.684, 9.352, 10.12",\
                 "7.173, 7.217, 7.361, 7.609, 7.947, 8.366, 8.863, 9.44, 10.11, 10.88",\
                 "8.254, 8.298, 8.442, 8.689, 9.028, 9.446, 9.943, 10.52, 11.19, 11.96",\
                 "9.688, 9.73, 9.876, 10.12, 10.46, 10.88, 11.38, 11.95, 12.62, 13.39",\
                 "11.5, 11.54, 11.69, 11.93, 12.27, 12.69, 13.19, 13.77, 14.43, 15.2",\
                 "13.69, 13.74, 13.88, 14.13, 14.47, 14.89, 15.39, 15.97, 16.64, 17.41",\
                 "16.22, 16.27, 16.42, 16.67, 17.02, 17.45, 17.95, 18.53, 19.2, 19.97");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001453, 0.003043, 0.006079, 0.01081, 0.01744, 0.02618, 0.03718, 0.05061, 0.06662");
          values("2.997, 3.081, 3.372, 3.925, 4.782, 5.978, 7.545, 9.516, 11.92, 14.78",\
                 "3.052, 3.135, 3.427, 3.981, 4.837, 6.033, 7.601, 9.57, 11.97, 14.83",\
                 "3.25, 3.334, 3.625, 4.179, 5.035, 6.231, 7.798, 9.77, 12.17, 15.02",\
                 "3.627, 3.711, 4.001, 4.553, 5.408, 6.603, 8.17, 10.14, 12.54, 15.4",\
                 "4.207, 4.29, 4.58, 5.13, 5.984, 7.178, 8.745, 10.72, 13.12, 15.98",\
                 "4.932, 5.014, 5.304, 5.854, 6.707, 7.9, 9.467, 11.44, 13.84, 16.71",\
                 "5.708, 5.791, 6.081, 6.631, 7.483, 8.676, 10.24, 12.21, 14.62, 17.47",\
                 "6.518, 6.602, 6.893, 7.442, 8.295, 9.487, 11.05, 13.02, 15.42, 18.28",\
                 "7.357, 7.441, 7.732, 8.282, 9.134, 10.33, 11.89, 13.86, 16.26, 19.13",\
                 "8.215, 8.299, 8.591, 9.141, 9.993, 11.18, 12.75, 14.72, 17.12, 19.98");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001453, 0.003043, 0.006079, 0.01081, 0.01744, 0.02618, 0.03718, 0.05061, 0.06662");
          values("1.14, 1.182, 1.322, 1.569, 1.92, 2.387, 2.985, 3.739, 4.667, 5.806",\
                 "1.14, 1.182, 1.32, 1.569, 1.922, 2.388, 2.986, 3.738, 4.668, 5.808",\
                 "1.137, 1.182, 1.322, 1.569, 1.923, 2.386, 2.983, 3.735, 4.666, 5.806",\
                 "1.139, 1.182, 1.322, 1.569, 1.922, 2.386, 2.985, 3.737, 4.668, 5.807",\
                 "1.138, 1.182, 1.32, 1.569, 1.921, 2.388, 2.984, 3.738, 4.668, 5.806",\
                 "1.142, 1.182, 1.322, 1.568, 1.922, 2.386, 2.986, 3.74, 4.67, 5.808",\
                 "1.14, 1.182, 1.324, 1.57, 1.922, 2.39, 2.986, 3.74, 4.672, 5.808",\
                 "1.142, 1.182, 1.324, 1.572, 1.924, 2.392, 2.986, 3.738, 4.666, 5.808",\
                 "1.158, 1.202, 1.34, 1.584, 1.936, 2.396, 2.994, 3.746, 4.67, 5.808",\
                 "1.208, 1.246, 1.384, 1.628, 1.972, 2.432, 3.022, 3.764, 4.688, 5.818");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001453, 0.003043, 0.006079, 0.01081, 0.01744, 0.02618, 0.03718, 0.05061, 0.06662");
          values("1.823, 1.951, 2.41, 3.297, 4.672, 6.613, 9.165, 12.38, 16.31, 21",\
                 "1.821, 1.952, 2.41, 3.292, 4.678, 6.611, 9.17, 12.39, 16.32, 21",\
                 "1.824, 1.951, 2.41, 3.292, 4.672, 6.611, 9.165, 12.38, 16.31, 21",\
                 "1.822, 1.951, 2.414, 3.294, 4.673, 6.614, 9.167, 12.38, 16.32, 21",\
                 "1.821, 1.953, 2.41, 3.295, 4.676, 6.613, 9.165, 12.38, 16.32, 21",\
                 "1.825, 1.956, 2.415, 3.293, 4.672, 6.612, 9.166, 12.39, 16.31, 21",\
                 "1.836, 1.964, 2.422, 3.298, 4.68, 6.622, 9.166, 12.38, 16.31, 21",\
                 "1.844, 1.974, 2.428, 3.302, 4.68, 6.616, 9.168, 12.38, 16.32, 20.99",\
                 "1.86, 1.986, 2.436, 3.31, 4.68, 6.622, 9.172, 12.39, 16.32, 20.99",\
                 "1.874, 2.004, 2.45, 3.32, 4.684, 6.622, 9.176, 12.39, 16.32, 21");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001453, 0.003043, 0.006079, 0.01081, 0.01744, 0.02618, 0.03718, 0.05061, 0.06662");
          values("5.643, 5.687, 5.831, 6.079, 6.417, 6.836, 7.332, 7.91, 8.578, 9.345",\
                 "5.718, 5.762, 5.905, 6.153, 6.491, 6.91, 7.407, 7.984, 8.652, 9.42",\
                 "5.95, 5.993, 6.136, 6.385, 6.722, 7.142, 7.638, 8.216, 8.884, 9.652",\
                 "6.416, 6.461, 6.607, 6.854, 7.191, 7.61, 8.107, 8.684, 9.352, 10.12",\
                 "7.173, 7.217, 7.361, 7.609, 7.947, 8.366, 8.863, 9.44, 10.11, 10.88",\
                 "8.254, 8.298, 8.442, 8.689, 9.028, 9.446, 9.943, 10.52, 11.19, 11.96",\
                 "9.688, 9.73, 9.876, 10.12, 10.46, 10.88, 11.38, 11.95, 12.62, 13.39",\
                 "11.5, 11.54, 11.69, 11.93, 12.27, 12.69, 13.19, 13.77, 14.43, 15.2",\
                 "13.69, 13.74, 13.88, 14.13, 14.47, 14.89, 15.39, 15.97, 16.64, 17.41",\
                 "16.22, 16.27, 16.42, 16.67, 17.02, 17.45, 17.95, 18.53, 19.2, 19.97");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001453, 0.003043, 0.006079, 0.01081, 0.01744, 0.02618, 0.03718, 0.05061, 0.06662");
          values("2.997, 3.081, 3.372, 3.925, 4.782, 5.978, 7.545, 9.516, 11.92, 14.78",\
                 "3.052, 3.135, 3.427, 3.981, 4.837, 6.033, 7.601, 9.57, 11.97, 14.83",\
                 "3.25, 3.334, 3.625, 4.179, 5.035, 6.231, 7.798, 9.77, 12.17, 15.02",\
                 "3.627, 3.711, 4.001, 4.553, 5.408, 6.603, 8.17, 10.14, 12.54, 15.4",\
                 "4.207, 4.29, 4.58, 5.13, 5.984, 7.178, 8.745, 10.72, 13.12, 15.98",\
                 "4.932, 5.014, 5.304, 5.854, 6.707, 7.9, 9.467, 11.44, 13.84, 16.71",\
                 "5.708, 5.791, 6.081, 6.631, 7.483, 8.676, 10.24, 12.21, 14.62, 17.47",\
                 "6.518, 6.602, 6.893, 7.442, 8.295, 9.487, 11.05, 13.02, 15.42, 18.28",\
                 "7.357, 7.441, 7.732, 8.282, 9.134, 10.33, 11.89, 13.86, 16.26, 19.13",\
                 "8.215, 8.299, 8.591, 9.141, 9.993, 11.18, 12.75, 14.72, 17.12, 19.98");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001453, 0.003043, 0.006079, 0.01081, 0.01744, 0.02618, 0.03718, 0.05061, 0.06662");
          values("1.14, 1.182, 1.322, 1.569, 1.92, 2.387, 2.985, 3.739, 4.667, 5.806",\
                 "1.14, 1.182, 1.32, 1.569, 1.922, 2.388, 2.986, 3.738, 4.668, 5.808",\
                 "1.137, 1.182, 1.322, 1.569, 1.923, 2.386, 2.983, 3.735, 4.666, 5.806",\
                 "1.139, 1.182, 1.322, 1.569, 1.922, 2.386, 2.985, 3.737, 4.668, 5.807",\
                 "1.138, 1.182, 1.32, 1.569, 1.921, 2.388, 2.984, 3.738, 4.668, 5.806",\
                 "1.142, 1.182, 1.322, 1.568, 1.922, 2.386, 2.986, 3.74, 4.67, 5.808",\
                 "1.14, 1.182, 1.324, 1.57, 1.922, 2.39, 2.986, 3.74, 4.672, 5.808",\
                 "1.142, 1.182, 1.324, 1.572, 1.924, 2.392, 2.986, 3.738, 4.666, 5.808",\
                 "1.158, 1.202, 1.34, 1.584, 1.936, 2.396, 2.994, 3.746, 4.67, 5.808",\
                 "1.208, 1.246, 1.384, 1.628, 1.972, 2.432, 3.022, 3.764, 4.688, 5.818");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001453, 0.003043, 0.006079, 0.01081, 0.01744, 0.02618, 0.03718, 0.05061, 0.06662");
          values("1.823, 1.951, 2.41, 3.297, 4.672, 6.613, 9.165, 12.38, 16.31, 21",\
                 "1.821, 1.952, 2.41, 3.292, 4.678, 6.611, 9.17, 12.39, 16.32, 21",\
                 "1.824, 1.951, 2.41, 3.292, 4.672, 6.611, 9.165, 12.38, 16.31, 21",\
                 "1.822, 1.951, 2.414, 3.294, 4.673, 6.614, 9.167, 12.38, 16.32, 21",\
                 "1.821, 1.953, 2.41, 3.295, 4.676, 6.613, 9.165, 12.38, 16.32, 21",\
                 "1.825, 1.956, 2.415, 3.293, 4.672, 6.612, 9.166, 12.39, 16.31, 21",\
                 "1.836, 1.964, 2.422, 3.298, 4.68, 6.622, 9.166, 12.38, 16.31, 21",\
                 "1.844, 1.974, 2.428, 3.302, 4.68, 6.616, 9.168, 12.38, 16.32, 20.99",\
                 "1.86, 1.986, 2.436, 3.31, 4.68, 6.622, 9.172, 12.39, 16.32, 20.99",\
                 "1.874, 2.004, 2.45, 3.32, 4.684, 6.622, 9.176, 12.39, 16.32, 21");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001453, 0.003043, 0.006079, 0.01081, 0.01744, 0.02618, 0.03718, 0.05061, 0.06662");
          values("6.354, 6.398, 6.542, 6.79, 7.128, 7.547, 8.043, 8.621, 9.289, 10.06",\
                 "6.424, 6.468, 6.612, 6.86, 7.197, 7.616, 8.113, 8.691, 9.358, 10.13",\
                 "6.64, 6.684, 6.829, 7.076, 7.414, 7.833, 8.33, 8.907, 9.575, 10.34",\
                 "7.008, 7.052, 7.196, 7.443, 7.782, 8.2, 8.697, 9.275, 9.943, 10.71",\
                 "7.432, 7.476, 7.619, 7.866, 8.206, 8.624, 9.121, 9.699, 10.36, 11.13",\
                 "7.889, 7.933, 8.077, 8.325, 8.662, 9.081, 9.578, 10.16, 10.82, 11.59",\
                 "8.365, 8.409, 8.554, 8.802, 9.139, 9.558, 10.05, 10.63, 11.3, 12.07",\
                 "8.867, 8.91, 9.055, 9.301, 9.639, 10.06, 10.55, 11.13, 11.8, 12.57",\
                 "9.377, 9.423, 9.565, 9.813, 10.15, 10.57, 11.06, 11.64, 12.31, 13.08",\
                 "9.887, 9.931, 10.07, 10.32, 10.66, 11.08, 11.57, 12.15, 12.82, 13.59");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001453, 0.003043, 0.006079, 0.01081, 0.01744, 0.02618, 0.03718, 0.05061, 0.06662");
          values("6.34, 6.423, 6.711, 7.262, 8.116, 9.309, 10.88, 12.85, 15.25, 18.11",\
                 "6.369, 6.452, 6.741, 7.291, 8.145, 9.339, 10.91, 12.88, 15.28, 18.14",\
                 "6.564, 6.646, 6.935, 7.486, 8.339, 9.533, 11.1, 13.07, 15.47, 18.33",\
                 "7.023, 7.106, 7.395, 7.945, 8.799, 9.993, 11.56, 13.53, 15.93, 18.79",\
                 "7.777, 7.859, 8.148, 8.698, 9.552, 10.75, 12.31, 14.28, 16.68, 19.54",\
                 "8.846, 8.929, 9.218, 9.768, 10.62, 11.82, 13.38, 15.35, 17.76, 20.61",\
                 "10.26, 10.34, 10.63, 11.18, 12.04, 13.23, 14.8, 16.77, 19.17, 22.03",\
                 "12.02, 12.1, 12.39, 12.94, 13.8, 14.99, 16.56, 18.53, 20.93, 23.79",\
                 "14.07, 14.15, 14.44, 14.99, 15.85, 17.04, 18.61, 20.58, 22.98, 25.84",\
                 "16.34, 16.42, 16.71, 17.26, 18.12, 19.31, 20.87, 22.84, 25.25, 28.11");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001453, 0.003043, 0.006079, 0.01081, 0.01744, 0.02618, 0.03718, 0.05061, 0.06662");
          values("1.138, 1.18, 1.322, 1.567, 1.921, 2.389, 2.985, 3.738, 4.667, 5.808",\
                 "1.14, 1.182, 1.32, 1.569, 1.919, 2.387, 2.987, 3.736, 4.671, 5.804",\
                 "1.14, 1.181, 1.321, 1.568, 1.921, 2.389, 2.987, 3.737, 4.672, 5.808",\
                 "1.139, 1.181, 1.322, 1.568, 1.922, 2.387, 2.985, 3.738, 4.671, 5.808",\
                 "1.14, 1.182, 1.323, 1.568, 1.92, 2.388, 2.984, 3.736, 4.668, 5.806",\
                 "1.138, 1.182, 1.322, 1.57, 1.922, 2.386, 2.984, 3.738, 4.668, 5.808",\
                 "1.138, 1.182, 1.322, 1.568, 1.918, 2.388, 2.988, 3.738, 4.666, 5.804",\
                 "1.138, 1.178, 1.32, 1.566, 1.918, 2.384, 2.986, 3.736, 4.668, 5.806",\
                 "1.138, 1.178, 1.32, 1.566, 1.916, 2.384, 2.98, 3.73, 4.664, 5.796",\
                 "1.138, 1.18, 1.322, 1.568, 1.92, 2.386, 2.982, 3.732, 4.666, 5.798");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001453, 0.003043, 0.006079, 0.01081, 0.01744, 0.02618, 0.03718, 0.05061, 0.06662");
          values("1.803, 1.935, 2.4, 3.293, 4.669, 6.611, 9.165, 12.38, 16.33, 20.99",\
                 "1.803, 1.935, 2.399, 3.287, 4.673, 6.614, 9.167, 12.38, 16.32, 20.99",\
                 "1.803, 1.935, 2.4, 3.288, 4.675, 6.611, 9.164, 12.39, 16.31, 21.02",\
                 "1.803, 1.936, 2.399, 3.287, 4.672, 6.61, 9.168, 12.38, 16.31, 20.99",\
                 "1.803, 1.935, 2.4, 3.287, 4.67, 6.62, 9.166, 12.39, 16.31, 20.99",\
                 "1.802, 1.936, 2.402, 3.286, 4.674, 6.61, 9.164, 12.38, 16.31, 20.99",\
                 "1.802, 1.938, 2.4, 3.288, 4.67, 6.61, 9.164, 12.39, 16.31, 20.99",\
                 "1.802, 1.936, 2.4, 3.288, 4.674, 6.608, 9.166, 12.38, 16.31, 21",\
                 "1.804, 1.938, 2.398, 3.286, 4.67, 6.614, 9.164, 12.38, 16.33, 21",\
                 "1.804, 1.936, 2.4, 3.294, 4.672, 6.614, 9.166, 12.38, 16.31, 21");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001453, 0.003043, 0.006079, 0.01081, 0.01744, 0.02618, 0.03718, 0.05061, 0.06662");
          values("3.674, 3.699, 3.784, 3.939, 4.17, 4.484, 4.889, 5.395, 6.012, 6.747",\
                 "3.737, 3.762, 3.847, 4.002, 4.233, 4.546, 4.951, 5.457, 6.074, 6.81",\
                 "3.917, 3.942, 4.026, 4.182, 4.413, 4.725, 5.131, 5.638, 6.255, 6.99",\
                 "4.245, 4.27, 4.355, 4.51, 4.741, 5.054, 5.46, 5.965, 6.582, 7.317",\
                 "4.745, 4.77, 4.855, 5.01, 5.241, 5.555, 5.96, 6.466, 7.083, 7.818",\
                 "5.389, 5.413, 5.498, 5.654, 5.884, 6.198, 6.603, 7.111, 7.727, 8.462",\
                 "6.112, 6.137, 6.221, 6.378, 6.609, 6.923, 7.327, 7.834, 8.452, 9.187",\
                 "6.892, 6.917, 7.001, 7.157, 7.388, 7.703, 8.107, 8.615, 9.233, 9.968",\
                 "7.716, 7.741, 7.827, 7.983, 8.214, 8.528, 8.933, 9.441, 10.06, 10.79",\
                 "8.576, 8.601, 8.687, 8.842, 9.074, 9.388, 9.794, 10.3, 10.92, 11.65");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001453, 0.003043, 0.006079, 0.01081, 0.01744, 0.02618, 0.03718, 0.05061, 0.06662");
          values("7.446, 7.486, 7.626, 7.887, 8.29, 8.852, 9.586, 10.51, 11.63, 12.97",\
                 "7.498, 7.538, 7.677, 7.939, 8.341, 8.903, 9.638, 10.56, 11.68, 13.02",\
                 "7.738, 7.778, 7.918, 8.179, 8.583, 9.144, 9.877, 10.8, 11.92, 13.26",\
                 "8.22, 8.26, 8.4, 8.661, 9.065, 9.626, 10.36, 11.28, 12.4, 13.74",\
                 "8.988, 9.027, 9.167, 9.429, 9.831, 10.39, 11.13, 12.05, 13.17, 14.51",\
                 "10.07, 10.11, 10.25, 10.51, 10.92, 11.48, 12.21, 13.14, 14.26, 15.6",\
                 "11.51, 11.55, 11.69, 11.95, 12.35, 12.92, 13.65, 14.57, 15.7, 17.03",\
                 "13.32, 13.36, 13.5, 13.77, 14.17, 14.73, 15.46, 16.39, 17.51, 18.85",\
                 "15.52, 15.56, 15.7, 15.96, 16.37, 16.93, 17.66, 18.59, 19.71, 21.05",\
                 "18.07, 18.11, 18.25, 18.51, 18.92, 19.48, 20.21, 21.14, 22.26, 23.6");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001453, 0.003043, 0.006079, 0.01081, 0.01744, 0.02618, 0.03718, 0.05061, 0.06662");
          values("0.5768, 0.6096, 0.726, 0.9454, 1.288, 1.774, 2.424, 3.255, 4.277, 5.493",\
                 "0.5768, 0.6094, 0.7256, 0.945, 1.287, 1.774, 2.426, 3.258, 4.276, 5.497",\
                 "0.576, 0.61, 0.7264, 0.9452, 1.288, 1.776, 2.427, 3.254, 4.278, 5.495",\
                 "0.5768, 0.6094, 0.7262, 0.9454, 1.287, 1.775, 2.427, 3.257, 4.276, 5.496",\
                 "0.5776, 0.6094, 0.7258, 0.9448, 1.288, 1.775, 2.426, 3.253, 4.277, 5.493",\
                 "0.5768, 0.6094, 0.7258, 0.9444, 1.287, 1.775, 2.425, 3.254, 4.275, 5.496",\
                 "0.576, 0.612, 0.726, 0.948, 1.29, 1.774, 2.426, 3.256, 4.28, 5.5",\
                 "0.578, 0.612, 0.728, 0.944, 1.288, 1.776, 2.428, 3.252, 4.276, 5.492",\
                 "0.58, 0.612, 0.728, 0.946, 1.288, 1.776, 2.424, 3.256, 4.274, 5.494",\
                 "0.582, 0.612, 0.73, 0.948, 1.288, 1.776, 2.428, 3.254, 4.276, 5.492");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001453, 0.003043, 0.006079, 0.01081, 0.01744, 0.02618, 0.03718, 0.05061, 0.06662");
          values("1.05, 1.11, 1.328, 1.749, 2.409, 3.34, 4.563, 6.105, 7.988, 10.23",\
                 "1.049, 1.11, 1.33, 1.75, 2.411, 3.338, 4.563, 6.108, 7.991, 10.23",\
                 "1.046, 1.109, 1.329, 1.75, 2.41, 3.338, 4.565, 6.105, 7.988, 10.23",\
                 "1.046, 1.111, 1.329, 1.75, 2.409, 3.34, 4.562, 6.106, 7.99, 10.23",\
                 "1.046, 1.112, 1.33, 1.75, 2.41, 3.338, 4.564, 6.108, 7.988, 10.23",\
                 "1.05, 1.108, 1.33, 1.752, 2.408, 3.34, 4.566, 6.108, 7.986, 10.23",\
                 "1.05, 1.112, 1.33, 1.75, 2.41, 3.34, 4.564, 6.108, 7.99, 10.23",\
                 "1.046, 1.112, 1.328, 1.752, 2.41, 3.338, 4.56, 6.106, 7.984, 10.23",\
                 "1.05, 1.112, 1.33, 1.748, 2.412, 3.34, 4.566, 6.106, 7.988, 10.23",\
                 "1.048, 1.11, 1.33, 1.75, 2.408, 3.34, 4.564, 6.104, 7.984, 10.23");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001453, 0.003043, 0.006079, 0.01081, 0.01744, 0.02618, 0.03718, 0.05061, 0.06662");
          values("6.354, 6.398, 6.542, 6.79, 7.128, 7.547, 8.043, 8.621, 9.289, 10.06",\
                 "6.424, 6.468, 6.612, 6.86, 7.197, 7.616, 8.113, 8.691, 9.358, 10.13",\
                 "6.64, 6.684, 6.829, 7.076, 7.414, 7.833, 8.33, 8.907, 9.575, 10.34",\
                 "7.008, 7.052, 7.196, 7.443, 7.782, 8.2, 8.697, 9.275, 9.943, 10.71",\
                 "7.432, 7.476, 7.619, 7.866, 8.206, 8.624, 9.121, 9.699, 10.36, 11.13",\
                 "7.889, 7.933, 8.077, 8.325, 8.662, 9.081, 9.578, 10.16, 10.82, 11.59",\
                 "8.365, 8.409, 8.554, 8.802, 9.139, 9.558, 10.05, 10.63, 11.3, 12.07",\
                 "8.867, 8.91, 9.055, 9.301, 9.639, 10.06, 10.55, 11.13, 11.8, 12.57",\
                 "9.377, 9.423, 9.565, 9.813, 10.15, 10.57, 11.06, 11.64, 12.31, 13.08",\
                 "9.887, 9.931, 10.07, 10.32, 10.66, 11.08, 11.57, 12.15, 12.82, 13.59");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001453, 0.003043, 0.006079, 0.01081, 0.01744, 0.02618, 0.03718, 0.05061, 0.06662");
          values("6.34, 6.423, 6.711, 7.262, 8.116, 9.309, 10.88, 12.85, 15.25, 18.11",\
                 "6.369, 6.452, 6.741, 7.291, 8.145, 9.339, 10.91, 12.88, 15.28, 18.14",\
                 "6.564, 6.646, 6.935, 7.486, 8.339, 9.533, 11.1, 13.07, 15.47, 18.33",\
                 "7.023, 7.106, 7.395, 7.945, 8.799, 9.993, 11.56, 13.53, 15.93, 18.79",\
                 "7.777, 7.859, 8.148, 8.698, 9.552, 10.75, 12.31, 14.28, 16.68, 19.54",\
                 "8.846, 8.929, 9.218, 9.768, 10.62, 11.82, 13.38, 15.35, 17.76, 20.61",\
                 "10.26, 10.34, 10.63, 11.18, 12.04, 13.23, 14.8, 16.77, 19.17, 22.03",\
                 "12.02, 12.1, 12.39, 12.94, 13.8, 14.99, 16.56, 18.53, 20.93, 23.79",\
                 "14.07, 14.15, 14.44, 14.99, 15.85, 17.04, 18.61, 20.58, 22.98, 25.84",\
                 "16.34, 16.42, 16.71, 17.26, 18.12, 19.31, 20.87, 22.84, 25.25, 28.11");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001453, 0.003043, 0.006079, 0.01081, 0.01744, 0.02618, 0.03718, 0.05061, 0.06662");
          values("1.138, 1.18, 1.322, 1.567, 1.921, 2.389, 2.985, 3.738, 4.667, 5.808",\
                 "1.14, 1.182, 1.32, 1.569, 1.919, 2.387, 2.987, 3.736, 4.671, 5.804",\
                 "1.14, 1.181, 1.321, 1.568, 1.921, 2.389, 2.987, 3.737, 4.672, 5.808",\
                 "1.139, 1.181, 1.322, 1.568, 1.922, 2.387, 2.985, 3.738, 4.671, 5.808",\
                 "1.14, 1.182, 1.323, 1.568, 1.92, 2.388, 2.984, 3.736, 4.668, 5.806",\
                 "1.138, 1.182, 1.322, 1.57, 1.922, 2.386, 2.984, 3.738, 4.668, 5.808",\
                 "1.138, 1.182, 1.322, 1.568, 1.918, 2.388, 2.988, 3.738, 4.666, 5.804",\
                 "1.138, 1.178, 1.32, 1.566, 1.918, 2.384, 2.986, 3.736, 4.668, 5.806",\
                 "1.138, 1.178, 1.32, 1.566, 1.916, 2.384, 2.98, 3.73, 4.664, 5.796",\
                 "1.138, 1.18, 1.322, 1.568, 1.92, 2.386, 2.982, 3.732, 4.666, 5.798");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001453, 0.003043, 0.006079, 0.01081, 0.01744, 0.02618, 0.03718, 0.05061, 0.06662");
          values("1.803, 1.935, 2.4, 3.293, 4.669, 6.611, 9.165, 12.38, 16.33, 20.99",\
                 "1.803, 1.935, 2.399, 3.287, 4.673, 6.614, 9.167, 12.38, 16.32, 20.99",\
                 "1.803, 1.935, 2.4, 3.288, 4.675, 6.611, 9.164, 12.39, 16.31, 21.02",\
                 "1.803, 1.936, 2.399, 3.287, 4.672, 6.61, 9.168, 12.38, 16.31, 20.99",\
                 "1.803, 1.935, 2.4, 3.287, 4.67, 6.62, 9.166, 12.39, 16.31, 20.99",\
                 "1.802, 1.936, 2.402, 3.286, 4.674, 6.61, 9.164, 12.38, 16.31, 20.99",\
                 "1.802, 1.938, 2.4, 3.288, 4.67, 6.61, 9.164, 12.39, 16.31, 20.99",\
                 "1.802, 1.936, 2.4, 3.288, 4.674, 6.608, 9.166, 12.38, 16.31, 21",\
                 "1.804, 1.938, 2.398, 3.286, 4.67, 6.614, 9.164, 12.38, 16.33, 21",\
                 "1.804, 1.936, 2.4, 3.294, 4.672, 6.614, 9.166, 12.38, 16.31, 21");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001453, 0.003043, 0.006079, 0.01081, 0.01744, 0.02618, 0.03718, 0.05061, 0.06662");
          values("6.952, 6.977, 7.062, 7.217, 7.448, 7.761, 8.166, 8.672, 9.289, 10.02",\
                 "6.982, 7.008, 7.092, 7.247, 7.477, 7.791, 8.196, 8.702, 9.319, 10.05",\
                 "7.176, 7.201, 7.286, 7.441, 7.671, 7.985, 8.39, 8.896, 9.513, 10.25",\
                 "7.636, 7.661, 7.747, 7.901, 8.132, 8.445, 8.849, 9.357, 9.973, 10.71",\
                 "8.389, 8.414, 8.499, 8.654, 8.886, 9.198, 9.603, 10.11, 10.73, 11.46",\
                 "9.46, 9.484, 9.569, 9.724, 9.955, 10.27, 10.67, 11.18, 11.8, 12.53",\
                 "10.87, 10.9, 10.98, 11.14, 11.37, 11.68, 12.09, 12.59, 13.21, 13.95",\
                 "12.63, 12.66, 12.74, 12.9, 13.13, 13.44, 13.85, 14.35, 14.97, 15.71",\
                 "14.68, 14.71, 14.79, 14.95, 15.18, 15.49, 15.9, 16.41, 17.02, 17.76",\
                 "16.96, 16.98, 17.07, 17.22, 17.45, 17.76, 18.17, 18.68, 19.29, 20.03");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001453, 0.003043, 0.006079, 0.01081, 0.01744, 0.02618, 0.03718, 0.05061, 0.06662");
          values("7.864, 7.904, 8.043, 8.305, 8.708, 9.27, 10, 10.93, 12.05, 13.39",\
                 "7.934, 7.974, 8.113, 8.375, 8.778, 9.339, 10.07, 11, 12.12, 13.46",\
                 "8.151, 8.191, 8.33, 8.592, 8.995, 9.555, 10.29, 11.21, 12.34, 13.67",\
                 "8.518, 8.559, 8.698, 8.961, 9.362, 9.923, 10.66, 11.58, 12.7, 14.04",\
                 "8.942, 8.983, 9.122, 9.383, 9.787, 10.35, 11.08, 12, 13.13, 14.46",\
                 "9.4, 9.441, 9.58, 9.841, 10.24, 10.8, 11.54, 12.46, 13.58, 14.92",\
                 "9.877, 9.917, 10.06, 10.32, 10.72, 11.28, 12.02, 12.94, 14.06, 15.4",\
                 "10.38, 10.42, 10.56, 10.82, 11.22, 11.78, 12.52, 13.44, 14.56, 15.9",\
                 "10.89, 10.93, 11.07, 11.33, 11.73, 12.3, 13.03, 13.95, 15.07, 16.41",\
                 "11.4, 11.44, 11.58, 11.84, 12.24, 12.8, 13.54, 14.46, 15.58, 16.92");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001453, 0.003043, 0.006079, 0.01081, 0.01744, 0.02618, 0.03718, 0.05061, 0.06662");
          values("0.5764, 0.6086, 0.7244, 0.944, 1.289, 1.776, 2.427, 3.255, 4.28, 5.5",\
                 "0.5756, 0.6092, 0.7254, 0.945, 1.288, 1.776, 2.426, 3.258, 4.278, 5.497",\
                 "0.5762, 0.6088, 0.7248, 0.9438, 1.288, 1.776, 2.427, 3.256, 4.28, 5.5",\
                 "0.5762, 0.6088, 0.7248, 0.9452, 1.287, 1.776, 2.428, 3.256, 4.276, 5.502",\
                 "0.576, 0.61, 0.724, 0.944, 1.288, 1.776, 2.428, 3.254, 4.278, 5.496",\
                 "0.576, 0.608, 0.726, 0.944, 1.29, 1.776, 2.428, 3.256, 4.276, 5.496",\
                 "0.578, 0.61, 0.726, 0.944, 1.288, 1.778, 2.426, 3.258, 4.278, 5.496",\
                 "0.576, 0.61, 0.726, 0.946, 1.29, 1.776, 2.426, 3.258, 4.28, 5.496",\
                 "0.576, 0.608, 0.726, 0.944, 1.288, 1.776, 2.428, 3.254, 4.276, 5.498",\
                 "0.576, 0.608, 0.726, 0.944, 1.288, 1.776, 2.424, 3.256, 4.278, 5.496");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001453, 0.003043, 0.006079, 0.01081, 0.01744, 0.02618, 0.03718, 0.05061, 0.06662");
          values("1.049, 1.11, 1.328, 1.75, 2.409, 3.338, 4.567, 6.104, 7.986, 10.23",\
                 "1.046, 1.109, 1.329, 1.749, 2.409, 3.34, 4.564, 6.106, 7.99, 10.23",\
                 "1.048, 1.112, 1.33, 1.75, 2.409, 3.34, 4.566, 6.108, 7.988, 10.23",\
                 "1.047, 1.111, 1.329, 1.751, 2.409, 3.34, 4.566, 6.108, 7.984, 10.23",\
                 "1.046, 1.11, 1.328, 1.75, 2.41, 3.338, 4.562, 6.106, 7.988, 10.23",\
                 "1.048, 1.11, 1.33, 1.752, 2.41, 3.34, 4.564, 6.106, 7.99, 10.23",\
                 "1.048, 1.108, 1.33, 1.75, 2.41, 3.342, 4.564, 6.106, 7.992, 10.23",\
                 "1.048, 1.112, 1.33, 1.75, 2.412, 3.34, 4.562, 6.108, 7.992, 10.23",\
                 "1.046, 1.11, 1.33, 1.752, 2.41, 3.34, 4.564, 6.102, 7.984, 10.23",\
                 "1.048, 1.108, 1.33, 1.748, 2.408, 3.34, 4.564, 6.108, 7.986, 10.22");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001453, 0.003043, 0.006079, 0.01081, 0.01744, 0.02618, 0.03718, 0.05061, 0.06662");
          values("5.936, 5.981, 6.126, 6.375, 6.714, 7.134, 7.632, 8.211, 8.88, 9.648",\
                 "5.988, 6.033, 6.178, 6.426, 6.765, 7.186, 7.683, 8.263, 8.931, 9.7",\
                 "6.228, 6.272, 6.418, 6.667, 7.006, 7.426, 7.924, 8.503, 9.172, 9.94",\
                 "6.711, 6.755, 6.9, 7.149, 7.487, 7.908, 8.406, 8.986, 9.655, 10.42",\
                 "7.477, 7.521, 7.667, 7.915, 8.256, 8.675, 9.173, 9.752, 10.42, 11.19",\
                 "8.564, 8.608, 8.753, 9.002, 9.341, 9.76, 10.26, 10.84, 11.51, 12.27",\
                 "9.999, 10.04, 10.19, 10.44, 10.78, 11.2, 11.69, 12.27, 12.94, 13.71",\
                 "11.81, 11.86, 12, 12.25, 12.59, 13.01, 13.51, 14.09, 14.76, 15.53",\
                 "14.02, 14.06, 14.21, 14.46, 14.8, 15.22, 15.72, 16.3, 16.97, 17.74",\
                 "16.58, 16.62, 16.77, 17.03, 17.37, 17.79, 18.3, 18.88, 19.55, 20.32");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001453, 0.003043, 0.006079, 0.01081, 0.01744, 0.02618, 0.03718, 0.05061, 0.06662");
          values("3.026, 3.11, 3.401, 3.955, 4.811, 6.007, 7.574, 9.543, 11.95, 14.8",\
                 "3.088, 3.171, 3.463, 4.017, 4.873, 6.069, 7.637, 9.605, 12.01, 14.87",\
                 "3.268, 3.352, 3.643, 4.196, 5.053, 6.249, 7.816, 9.784, 12.19, 15.05",\
                 "3.596, 3.68, 3.971, 4.523, 5.378, 6.574, 8.141, 10.11, 12.52, 15.37",\
                 "4.096, 4.178, 4.468, 5.019, 5.875, 7.069, 8.638, 10.61, 13.01, 15.88",\
                 "4.731, 4.814, 5.103, 5.654, 6.507, 7.702, 9.269, 11.24, 13.64, 16.51",\
                 "5.442, 5.524, 5.814, 6.366, 7.218, 8.411, 9.978, 11.95, 14.36, 17.22",\
                 "6.212, 6.295, 6.586, 7.136, 7.987, 9.18, 10.75, 12.72, 15.12, 17.98",\
                 "7.025, 7.109, 7.401, 7.951, 8.803, 9.995, 11.56, 13.53, 15.93, 18.79",\
                 "7.872, 7.956, 8.25, 8.799, 9.651, 10.84, 12.41, 14.38, 16.78, 19.64");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001453, 0.003043, 0.006079, 0.01081, 0.01744, 0.02618, 0.03718, 0.05061, 0.06662");
          values("1.145, 1.186, 1.328, 1.576, 1.926, 2.395, 2.991, 3.745, 4.674, 5.813",\
                 "1.146, 1.189, 1.327, 1.576, 1.929, 2.396, 2.995, 3.747, 4.679, 5.813",\
                 "1.144, 1.186, 1.329, 1.576, 1.927, 2.395, 2.992, 3.745, 4.679, 5.813",\
                 "1.146, 1.189, 1.327, 1.575, 1.927, 2.395, 2.991, 3.745, 4.677, 5.812",\
                 "1.145, 1.188, 1.329, 1.576, 1.926, 2.396, 2.992, 3.746, 4.678, 5.814",\
                 "1.146, 1.188, 1.328, 1.578, 1.928, 2.394, 2.996, 3.742, 4.678, 5.814",\
                 "1.146, 1.19, 1.33, 1.576, 1.932, 2.396, 2.994, 3.746, 4.674, 5.812",\
                 "1.148, 1.192, 1.332, 1.578, 1.932, 2.396, 2.996, 3.744, 4.674, 5.812",\
                 "1.16, 1.202, 1.342, 1.588, 1.938, 2.404, 3, 3.754, 4.682, 5.812",\
                 "1.192, 1.234, 1.376, 1.618, 1.968, 2.428, 3.02, 3.768, 4.692, 5.818");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001453, 0.003043, 0.006079, 0.01081, 0.01744, 0.02618, 0.03718, 0.05061, 0.06662");
          values("1.82, 1.952, 2.414, 3.293, 4.679, 6.611, 9.166, 12.39, 16.31, 21",\
                 "1.821, 1.953, 2.413, 3.295, 4.672, 6.614, 9.166, 12.39, 16.31, 20.99",\
                 "1.82, 1.952, 2.41, 3.295, 4.676, 6.614, 9.166, 12.39, 16.32, 21",\
                 "1.82, 1.953, 2.414, 3.293, 4.673, 6.614, 9.165, 12.39, 16.31, 21",\
                 "1.822, 1.951, 2.411, 3.292, 4.674, 6.614, 9.169, 12.38, 16.32, 20.99",\
                 "1.826, 1.957, 2.415, 3.293, 4.673, 6.614, 9.166, 12.39, 16.32, 21",\
                 "1.835, 1.966, 2.42, 3.298, 4.678, 6.614, 9.164, 12.39, 16.31, 21",\
                 "1.844, 1.974, 2.426, 3.302, 4.676, 6.614, 9.174, 12.38, 16.31, 20.99",\
                 "1.858, 1.984, 2.436, 3.308, 4.68, 6.62, 9.17, 12.39, 16.31, 20.99",\
                 "1.87, 1.998, 2.448, 3.318, 4.688, 6.62, 9.17, 12.39, 16.31, 21");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001453, 0.003043, 0.006079, 0.01081, 0.01744, 0.02618, 0.03718, 0.05061, 0.06662");
          values("5.936, 5.981, 6.126, 6.375, 6.714, 7.134, 7.632, 8.211, 8.88, 9.648",\
                 "5.988, 6.033, 6.178, 6.426, 6.765, 7.186, 7.683, 8.263, 8.931, 9.7",\
                 "6.228, 6.272, 6.418, 6.667, 7.006, 7.426, 7.924, 8.503, 9.172, 9.94",\
                 "6.711, 6.755, 6.9, 7.149, 7.487, 7.908, 8.406, 8.986, 9.655, 10.42",\
                 "7.477, 7.521, 7.667, 7.915, 8.256, 8.675, 9.173, 9.752, 10.42, 11.19",\
                 "8.564, 8.608, 8.753, 9.002, 9.341, 9.76, 10.26, 10.84, 11.51, 12.27",\
                 "9.999, 10.04, 10.19, 10.44, 10.78, 11.2, 11.69, 12.27, 12.94, 13.71",\
                 "11.81, 11.86, 12, 12.25, 12.59, 13.01, 13.51, 14.09, 14.76, 15.53",\
                 "14.02, 14.06, 14.21, 14.46, 14.8, 15.22, 15.72, 16.3, 16.97, 17.74",\
                 "16.58, 16.62, 16.77, 17.03, 17.37, 17.79, 18.3, 18.88, 19.55, 20.32");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001453, 0.003043, 0.006079, 0.01081, 0.01744, 0.02618, 0.03718, 0.05061, 0.06662");
          values("3.026, 3.11, 3.401, 3.955, 4.811, 6.007, 7.574, 9.543, 11.95, 14.8",\
                 "3.088, 3.171, 3.463, 4.017, 4.873, 6.069, 7.637, 9.605, 12.01, 14.87",\
                 "3.268, 3.352, 3.643, 4.196, 5.053, 6.249, 7.816, 9.784, 12.19, 15.05",\
                 "3.596, 3.68, 3.971, 4.523, 5.378, 6.574, 8.141, 10.11, 12.52, 15.37",\
                 "4.096, 4.178, 4.468, 5.019, 5.875, 7.069, 8.638, 10.61, 13.01, 15.88",\
                 "4.731, 4.814, 5.103, 5.654, 6.507, 7.702, 9.269, 11.24, 13.64, 16.51",\
                 "5.442, 5.524, 5.814, 6.366, 7.218, 8.411, 9.978, 11.95, 14.36, 17.22",\
                 "6.212, 6.295, 6.586, 7.136, 7.987, 9.18, 10.75, 12.72, 15.12, 17.98",\
                 "7.025, 7.109, 7.401, 7.951, 8.803, 9.995, 11.56, 13.53, 15.93, 18.79",\
                 "7.872, 7.956, 8.25, 8.799, 9.651, 10.84, 12.41, 14.38, 16.78, 19.64");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001453, 0.003043, 0.006079, 0.01081, 0.01744, 0.02618, 0.03718, 0.05061, 0.06662");
          values("1.145, 1.186, 1.328, 1.576, 1.926, 2.395, 2.991, 3.745, 4.674, 5.813",\
                 "1.146, 1.189, 1.327, 1.576, 1.929, 2.396, 2.995, 3.747, 4.679, 5.813",\
                 "1.144, 1.186, 1.329, 1.576, 1.927, 2.395, 2.992, 3.745, 4.679, 5.813",\
                 "1.146, 1.189, 1.327, 1.575, 1.927, 2.395, 2.991, 3.745, 4.677, 5.812",\
                 "1.145, 1.188, 1.329, 1.576, 1.926, 2.396, 2.992, 3.746, 4.678, 5.814",\
                 "1.146, 1.188, 1.328, 1.578, 1.928, 2.394, 2.996, 3.742, 4.678, 5.814",\
                 "1.146, 1.19, 1.33, 1.576, 1.932, 2.396, 2.994, 3.746, 4.674, 5.812",\
                 "1.148, 1.192, 1.332, 1.578, 1.932, 2.396, 2.996, 3.744, 4.674, 5.812",\
                 "1.16, 1.202, 1.342, 1.588, 1.938, 2.404, 3, 3.754, 4.682, 5.812",\
                 "1.192, 1.234, 1.376, 1.618, 1.968, 2.428, 3.02, 3.768, 4.692, 5.818");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001453, 0.003043, 0.006079, 0.01081, 0.01744, 0.02618, 0.03718, 0.05061, 0.06662");
          values("1.82, 1.952, 2.414, 3.293, 4.679, 6.611, 9.166, 12.39, 16.31, 21",\
                 "1.821, 1.953, 2.413, 3.295, 4.672, 6.614, 9.166, 12.39, 16.31, 20.99",\
                 "1.82, 1.952, 2.41, 3.295, 4.676, 6.614, 9.166, 12.39, 16.32, 21",\
                 "1.82, 1.953, 2.414, 3.293, 4.673, 6.614, 9.165, 12.39, 16.31, 21",\
                 "1.822, 1.951, 2.411, 3.292, 4.674, 6.614, 9.169, 12.38, 16.32, 20.99",\
                 "1.826, 1.957, 2.415, 3.293, 4.673, 6.614, 9.166, 12.39, 16.32, 21",\
                 "1.835, 1.966, 2.42, 3.298, 4.678, 6.614, 9.164, 12.39, 16.31, 21",\
                 "1.844, 1.974, 2.426, 3.302, 4.676, 6.614, 9.174, 12.38, 16.31, 20.99",\
                 "1.858, 1.984, 2.436, 3.308, 4.68, 6.62, 9.17, 12.39, 16.31, 20.99",\
                 "1.87, 1.998, 2.448, 3.318, 4.688, 6.62, 9.17, 12.39, 16.31, 21");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001453, 0.003043, 0.006079, 0.01081, 0.01744, 0.02618, 0.03718, 0.05061, 0.06662");
          values("0.3401, 0.3606, 0.4328, 0.5712, 0.7877, 1.092, 1.493, 1.999, 2.616, 3.352",\
                 "0.4028, 0.4234, 0.4961, 0.6353, 0.8522, 1.157, 1.559, 2.064, 2.682, 3.417",\
                 "0.6286, 0.6496, 0.7233, 0.8634, 1.082, 1.387, 1.789, 2.296, 2.913, 3.649",\
                 "1.015, 1.043, 1.136, 1.29, 1.511, 1.817, 2.219, 2.726, 3.344, 4.081",\
                 "1.475, 1.514, 1.644, 1.858, 2.143, 2.48, 2.888, 3.394, 4.011, 4.747",\
                 "1.998, 2.051, 2.221, 2.503, 2.873, 3.308, 3.793, 4.327, 4.949, 5.684",\
                 "2.584, 2.651, 2.865, 3.223, 3.685, 4.227, 4.826, 5.474, 6.163, 6.917",\
                 "3.228, 3.31, 3.576, 4.012, 4.578, 5.232, 5.956, 6.73, 7.552, 8.414",\
                 "3.929, 4.028, 4.351, 4.871, 5.547, 6.324, 7.178, 8.085, 9.053, 10.06",\
                 "4.681, 4.8, 5.18, 5.797, 6.588, 7.499, 8.492, 9.55, 10.66, 11.82");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001453, 0.003043, 0.006079, 0.01081, 0.01744, 0.02618, 0.03718, 0.05061, 0.06662");
          values("1.336, 1.418, 1.702, 2.245, 3.088, 4.271, 5.827, 7.793, 10.19, 13.04",\
                 "1.388, 1.471, 1.761, 2.309, 3.157, 4.346, 5.902, 7.869, 10.26, 13.11",\
                 "1.604, 1.688, 1.981, 2.536, 3.393, 4.586, 6.15, 8.12, 10.53, 13.37",\
                 "2.08, 2.163, 2.455, 3.008, 3.868, 5.064, 6.634, 8.603, 11.01, 13.88",\
                 "2.858, 2.941, 3.229, 3.78, 4.635, 5.833, 7.407, 9.384, 11.78, 14.65",\
                 "3.939, 4.026, 4.328, 4.881, 5.733, 6.928, 8.494, 10.47, 12.88, 15.75",\
                 "5.236, 5.347, 5.712, 6.322, 7.191, 8.382, 9.949, 11.92, 14.33, 17.19",\
                 "6.727, 6.862, 7.304, 8.035, 9.003, 10.22, 11.79, 13.75, 16.16, 19.02",\
                 "8.413, 8.573, 9.095, 9.965, 11.1, 12.44, 14.04, 16, 18.41, 21.26",\
                 "10.3, 10.49, 11.1, 12.11, 13.43, 14.97, 16.68, 18.69, 21.09, 23.95");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001453, 0.003043, 0.006079, 0.01081, 0.01744, 0.02618, 0.03718, 0.05061, 0.06662");
          values("0.469, 0.5053, 0.6258, 0.8602, 1.225, 1.736, 2.407, 3.25, 4.271, 5.495",\
                 "0.4712, 0.5063, 0.6275, 0.8615, 1.227, 1.735, 2.405, 3.249, 4.272, 5.493",\
                 "0.4762, 0.5089, 0.6302, 0.8636, 1.227, 1.737, 2.406, 3.246, 4.272, 5.491",\
                 "0.6466, 0.6738, 0.757, 0.929, 1.243, 1.736, 2.404, 3.249, 4.272, 5.494",\
                 "0.9194, 0.9514, 1.06, 1.245, 1.497, 1.867, 2.44, 3.252, 4.272, 5.494",\
                 "1.235, 1.276, 1.409, 1.637, 1.945, 2.32, 2.771, 3.412, 4.321, 5.504",\
                 "1.594, 1.642, 1.803, 2.076, 2.44, 2.884, 3.392, 3.959, 4.692, 5.682",\
                 "1.996, 2.051, 2.24, 2.56, 2.992, 3.512, 4.092, 4.742, 5.452, 6.28",\
                 "2.44, 2.51, 2.724, 3.09, 3.59, 4.178, 4.85, 5.588, 6.388, 7.25",\
                 "2.952, 3.028, 3.268, 3.686, 4.238, 4.912, 5.666, 6.49, 7.39, 8.35");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001453, 0.003043, 0.006079, 0.01081, 0.01744, 0.02618, 0.03718, 0.05061, 0.06662");
          values("1.798, 1.931, 2.396, 3.283, 4.668, 6.61, 9.164, 12.38, 16.31, 20.99",\
                 "1.797, 1.93, 2.395, 3.285, 4.667, 6.608, 9.164, 12.38, 16.31, 21",\
                 "1.798, 1.93, 2.395, 3.283, 4.667, 6.61, 9.164, 12.38, 16.31, 21",\
                 "1.8, 1.93, 2.395, 3.283, 4.666, 6.611, 9.164, 12.38, 16.31, 21",\
                 "1.818, 1.944, 2.399, 3.282, 4.666, 6.607, 9.162, 12.38, 16.31, 20.98",\
                 "2.069, 2.166, 2.53, 3.319, 4.673, 6.614, 9.165, 12.38, 16.31, 20.99",\
                 "2.562, 2.656, 2.961, 3.598, 4.76, 6.622, 9.164, 12.38, 16.31, 21",\
                 "3.128, 3.238, 3.592, 4.19, 5.158, 6.762, 9.194, 12.38, 16.31, 20.99",\
                 "3.74, 3.866, 4.274, 4.96, 5.882, 7.252, 9.372, 12.43, 16.31, 20.99",\
                 "4.41, 4.546, 5.006, 5.782, 6.82, 8.098, 9.948, 12.65, 16.37, 20.99");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001453, 0.003043, 0.006079, 0.01081, 0.01744, 0.02618, 0.03718, 0.05061, 0.06662");
          values("0.34, 0.3606, 0.4328, 0.5712, 0.7876, 1.092, 1.493, 1.999, 2.616, 3.352",\
                 "0.4028, 0.4234, 0.4961, 0.6353, 0.8522, 1.157, 1.559, 2.064, 2.682, 3.417",\
                 "0.6286, 0.6496, 0.7232, 0.8633, 1.082, 1.387, 1.789, 2.295, 2.913, 3.649",\
                 "1.015, 1.043, 1.135, 1.29, 1.511, 1.817, 2.22, 2.726, 3.344, 4.081",\
                 "1.475, 1.514, 1.643, 1.859, 2.142, 2.48, 2.888, 3.393, 4.011, 4.747",\
                 "1.999, 2.051, 2.221, 2.504, 2.873, 3.306, 3.793, 4.326, 4.948, 5.683",\
                 "2.583, 2.651, 2.867, 3.223, 3.685, 4.227, 4.826, 5.474, 6.162, 6.917",\
                 "3.227, 3.31, 3.576, 4.013, 4.578, 5.232, 5.955, 6.731, 7.552, 8.415",\
                 "3.929, 4.028, 4.348, 4.871, 5.547, 6.324, 7.177, 8.091, 9.051, 10.06",\
                 "4.68, 4.795, 5.178, 5.799, 6.589, 7.497, 8.493, 9.55, 10.65, 11.82");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001453, 0.003043, 0.006079, 0.01081, 0.01744, 0.02618, 0.03718, 0.05061, 0.06662");
          values("1.335, 1.417, 1.701, 2.244, 3.088, 4.272, 5.827, 7.79, 10.19, 13.04",\
                 "1.388, 1.471, 1.76, 2.309, 3.157, 4.345, 5.904, 7.865, 10.27, 13.12",\
                 "1.604, 1.688, 1.982, 2.536, 3.393, 4.588, 6.154, 8.126, 10.52, 13.39",\
                 "2.08, 2.164, 2.455, 3.008, 3.868, 5.065, 6.636, 8.609, 11.02, 13.88",\
                 "2.859, 2.941, 3.23, 3.78, 4.636, 5.834, 7.403, 9.373, 11.79, 14.65",\
                 "3.94, 4.028, 4.328, 4.882, 5.735, 6.929, 8.497, 10.47, 12.89, 15.73",\
                 "5.238, 5.349, 5.714, 6.322, 7.192, 8.383, 9.949, 11.92, 14.32, 17.2",\
                 "6.727, 6.862, 7.296, 8.037, 9.003, 10.22, 11.79, 13.76, 16.16, 19.02",\
                 "8.414, 8.573, 9.098, 9.965, 11.1, 12.44, 14.04, 16.01, 18.41, 21.26",\
                 "10.3, 10.49, 11.1, 12.11, 13.43, 14.97, 16.68, 18.69, 21.09, 23.95");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001453, 0.003043, 0.006079, 0.01081, 0.01744, 0.02618, 0.03718, 0.05061, 0.06662");
          values("0.4688, 0.5044, 0.6256, 0.8616, 1.224, 1.736, 2.407, 3.249, 4.274, 5.496",\
                 "0.471, 0.5062, 0.6273, 0.862, 1.226, 1.738, 2.405, 3.245, 4.275, 5.493",\
                 "0.476, 0.5087, 0.6304, 0.8636, 1.228, 1.736, 2.405, 3.245, 4.272, 5.494",\
                 "0.6466, 0.6734, 0.7566, 0.9298, 1.243, 1.736, 2.404, 3.247, 4.275, 5.491",\
                 "0.9202, 0.9518, 1.062, 1.245, 1.496, 1.867, 2.438, 3.25, 4.274, 5.493",\
                 "1.235, 1.275, 1.412, 1.636, 1.943, 2.318, 2.771, 3.412, 4.321, 5.506",\
                 "1.591, 1.642, 1.803, 2.079, 2.443, 2.884, 3.392, 3.96, 4.69, 5.678",\
                 "1.993, 2.049, 2.243, 2.562, 2.992, 3.506, 4.1, 4.744, 5.452, 6.278",\
                 "2.448, 2.508, 2.728, 3.094, 3.588, 4.182, 4.85, 5.586, 6.388, 7.254",\
                 "2.952, 3.026, 3.264, 3.672, 4.238, 4.904, 5.666, 6.498, 7.39, 8.354");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001453, 0.003043, 0.006079, 0.01081, 0.01744, 0.02618, 0.03718, 0.05061, 0.06662");
          values("1.801, 1.934, 2.399, 3.289, 4.672, 6.615, 9.169, 12.39, 16.31, 20.99",\
                 "1.802, 1.934, 2.399, 3.289, 4.67, 6.615, 9.168, 12.39, 16.31, 20.99",\
                 "1.802, 1.934, 2.399, 3.288, 4.671, 6.613, 9.168, 12.38, 16.32, 20.99",\
                 "1.799, 1.934, 2.399, 3.287, 4.671, 6.611, 9.168, 12.39, 16.32, 21",\
                 "1.822, 1.947, 2.405, 3.286, 4.671, 6.615, 9.168, 12.39, 16.31, 21.01",\
                 "2.071, 2.167, 2.531, 3.325, 4.674, 6.612, 9.167, 12.39, 16.31, 21",\
                 "2.565, 2.657, 2.961, 3.6, 4.768, 6.624, 9.168, 12.39, 16.32, 21",\
                 "3.128, 3.236, 3.592, 4.194, 5.16, 6.766, 9.198, 12.38, 16.31, 21",\
                 "3.748, 3.868, 4.274, 4.96, 5.884, 7.256, 9.374, 12.43, 16.31, 20.99",\
                 "4.412, 4.55, 5.03, 5.776, 6.822, 8.102, 9.934, 12.65, 16.38, 21");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001453, 0.003043, 0.006079, 0.01081, 0.01744, 0.02618, 0.03718, 0.05061, 0.06662");
          values("0.3401, 0.3606, 0.4328, 0.5712, 0.7877, 1.092, 1.493, 1.999, 2.616, 3.352",\
                 "0.4028, 0.4234, 0.4961, 0.6353, 0.8522, 1.157, 1.559, 2.064, 2.682, 3.417",\
                 "0.6286, 0.6496, 0.7233, 0.8634, 1.082, 1.387, 1.789, 2.296, 2.913, 3.649",\
                 "1.015, 1.043, 1.136, 1.29, 1.511, 1.817, 2.219, 2.726, 3.344, 4.081",\
                 "1.475, 1.514, 1.644, 1.858, 2.143, 2.48, 2.888, 3.394, 4.011, 4.747",\
                 "1.998, 2.051, 2.221, 2.503, 2.873, 3.308, 3.793, 4.327, 4.949, 5.684",\
                 "2.584, 2.651, 2.865, 3.223, 3.685, 4.227, 4.826, 5.474, 6.163, 6.917",\
                 "3.228, 3.31, 3.576, 4.012, 4.578, 5.232, 5.956, 6.73, 7.552, 8.414",\
                 "3.929, 4.028, 4.351, 4.871, 5.547, 6.324, 7.178, 8.085, 9.053, 10.06",\
                 "4.681, 4.8, 5.18, 5.797, 6.588, 7.499, 8.492, 9.55, 10.66, 11.82");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001453, 0.003043, 0.006079, 0.01081, 0.01744, 0.02618, 0.03718, 0.05061, 0.06662");
          values("1.335, 1.417, 1.701, 2.244, 3.088, 4.272, 5.827, 7.79, 10.19, 13.04",\
                 "1.388, 1.471, 1.76, 2.309, 3.157, 4.345, 5.904, 7.865, 10.27, 13.12",\
                 "1.604, 1.688, 1.982, 2.536, 3.393, 4.588, 6.154, 8.126, 10.52, 13.39",\
                 "2.08, 2.164, 2.455, 3.008, 3.868, 5.065, 6.636, 8.609, 11.02, 13.88",\
                 "2.859, 2.941, 3.23, 3.78, 4.636, 5.834, 7.403, 9.373, 11.79, 14.65",\
                 "3.94, 4.028, 4.328, 4.882, 5.735, 6.929, 8.497, 10.47, 12.89, 15.73",\
                 "5.238, 5.349, 5.714, 6.322, 7.192, 8.383, 9.949, 11.92, 14.32, 17.2",\
                 "6.727, 6.862, 7.296, 8.037, 9.003, 10.22, 11.79, 13.76, 16.16, 19.02",\
                 "8.414, 8.573, 9.098, 9.965, 11.1, 12.44, 14.04, 16.01, 18.41, 21.26",\
                 "10.3, 10.49, 11.1, 12.11, 13.43, 14.97, 16.68, 18.69, 21.09, 23.95");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001453, 0.003043, 0.006079, 0.01081, 0.01744, 0.02618, 0.03718, 0.05061, 0.06662");
          values("0.4688, 0.5044, 0.6256, 0.8616, 1.224, 1.736, 2.407, 3.249, 4.274, 5.496",\
                 "0.471, 0.5062, 0.6273, 0.862, 1.226, 1.738, 2.405, 3.245, 4.275, 5.493",\
                 "0.476, 0.5087, 0.6304, 0.8636, 1.228, 1.736, 2.405, 3.245, 4.272, 5.494",\
                 "0.6466, 0.6734, 0.7566, 0.9298, 1.243, 1.736, 2.404, 3.247, 4.275, 5.491",\
                 "0.9202, 0.9518, 1.062, 1.245, 1.496, 1.867, 2.438, 3.25, 4.274, 5.493",\
                 "1.235, 1.275, 1.412, 1.636, 1.943, 2.318, 2.771, 3.412, 4.321, 5.506",\
                 "1.591, 1.642, 1.803, 2.079, 2.443, 2.884, 3.392, 3.96, 4.69, 5.678",\
                 "1.993, 2.049, 2.243, 2.562, 2.992, 3.506, 4.1, 4.744, 5.452, 6.278",\
                 "2.448, 2.508, 2.728, 3.094, 3.588, 4.182, 4.85, 5.586, 6.388, 7.254",\
                 "2.952, 3.026, 3.264, 3.672, 4.238, 4.904, 5.666, 6.498, 7.39, 8.354");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001453, 0.003043, 0.006079, 0.01081, 0.01744, 0.02618, 0.03718, 0.05061, 0.06662");
          values("1.801, 1.934, 2.399, 3.289, 4.672, 6.615, 9.169, 12.39, 16.31, 20.99",\
                 "1.802, 1.934, 2.399, 3.289, 4.67, 6.615, 9.168, 12.39, 16.31, 20.99",\
                 "1.802, 1.934, 2.399, 3.288, 4.671, 6.613, 9.168, 12.38, 16.32, 20.99",\
                 "1.799, 1.934, 2.399, 3.287, 4.671, 6.611, 9.168, 12.39, 16.32, 21",\
                 "1.822, 1.947, 2.405, 3.286, 4.671, 6.615, 9.168, 12.39, 16.31, 21.01",\
                 "2.071, 2.167, 2.531, 3.325, 4.674, 6.612, 9.167, 12.39, 16.31, 21",\
                 "2.565, 2.657, 2.961, 3.6, 4.768, 6.624, 9.168, 12.39, 16.32, 21",\
                 "3.128, 3.236, 3.592, 4.194, 5.16, 6.766, 9.198, 12.38, 16.31, 21",\
                 "3.748, 3.868, 4.274, 4.96, 5.884, 7.256, 9.374, 12.43, 16.31, 20.99",\
                 "4.412, 4.55, 5.03, 5.776, 6.822, 8.102, 9.934, 12.65, 16.38, 21");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001453, 0.003043, 0.006079, 0.01081, 0.01744, 0.02618, 0.03718, 0.05061, 0.06662");
          values("2.253, 2.277, 2.36, 2.512, 2.74, 3.053, 3.459, 3.968, 4.588, 5.327",\
                 "2.325, 2.349, 2.432, 2.584, 2.813, 3.125, 3.531, 4.04, 4.66, 5.398",\
                 "2.599, 2.623, 2.707, 2.86, 3.088, 3.401, 3.807, 4.316, 4.935, 5.673",\
                 "3.129, 3.154, 3.238, 3.392, 3.622, 3.937, 4.343, 4.851, 5.471, 6.208",\
                 "3.962, 3.987, 4.072, 4.227, 4.46, 4.775, 5.184, 5.693, 6.313, 7.051",\
                 "5.133, 5.158, 5.244, 5.401, 5.634, 5.952, 6.362, 6.873, 7.494, 8.233",\
                 "6.626, 6.651, 6.738, 6.897, 7.133, 7.454, 7.865, 8.379, 9.001, 9.739",\
                 "8.364, 8.391, 8.482, 8.646, 8.887, 9.212, 9.626, 10.14, 10.76, 11.5",\
                 "10.32, 10.35, 10.44, 10.61, 10.86, 11.19, 11.6, 12.12, 12.75, 13.49",\
                 "12.49, 12.52, 12.62, 12.8, 13.05, 13.38, 13.81, 14.33, 14.95, 15.7");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001453, 0.003043, 0.006079, 0.01081, 0.01744, 0.02618, 0.03718, 0.05061, 0.06662");
          values("1.968, 2.007, 2.142, 2.394, 2.785, 3.332, 4.052, 4.962, 6.076, 7.406",\
                 "2.031, 2.071, 2.205, 2.459, 2.851, 3.398, 4.118, 5.028, 6.142, 7.472",\
                 "2.2, 2.239, 2.374, 2.629, 3.023, 3.572, 4.295, 5.206, 6.32, 7.65",\
                 "2.491, 2.53, 2.667, 2.925, 3.324, 3.879, 4.606, 5.521, 6.637, 7.969",\
                 "2.939, 2.978, 3.116, 3.376, 3.776, 4.334, 5.065, 5.983, 7.102, 8.436",\
                 "3.474, 3.514, 3.652, 3.913, 4.314, 4.874, 5.607, 6.527, 7.648, 8.984",\
                 "4.073, 4.113, 4.252, 4.514, 4.915, 5.473, 6.202, 7.124, 8.248, 9.584",\
                 "4.71, 4.751, 4.891, 5.154, 5.556, 6.114, 6.845, 7.763, 8.883, 10.22",\
                 "5.376, 5.415, 5.557, 5.822, 6.224, 6.784, 7.517, 8.435, 9.555, 10.89",\
                 "6.06, 6.101, 6.244, 6.509, 6.915, 7.475, 8.208, 9.127, 10.25, 11.59");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001453, 0.003043, 0.006079, 0.01081, 0.01744, 0.02618, 0.03718, 0.05061, 0.06662");
          values("0.6244, 0.6574, 0.7798, 1.007, 1.361, 1.858, 2.519, 3.356, 4.38, 5.604",\
                 "0.6248, 0.6582, 0.7794, 1.006, 1.361, 1.857, 2.515, 3.355, 4.381, 5.603",\
                 "0.6232, 0.6568, 0.7778, 1.005, 1.359, 1.855, 2.515, 3.356, 4.377, 5.605",\
                 "0.6238, 0.657, 0.7782, 1.004, 1.36, 1.856, 2.515, 3.356, 4.377, 5.605",\
                 "0.6234, 0.6594, 0.7774, 1.006, 1.36, 1.858, 2.517, 3.353, 4.38, 5.604",\
                 "0.627, 0.6618, 0.7826, 1.009, 1.361, 1.858, 2.519, 3.358, 4.383, 5.606",\
                 "0.638, 0.674, 0.79, 1.018, 1.368, 1.866, 2.524, 3.36, 4.38, 5.604",\
                 "0.664, 0.698, 0.814, 1.04, 1.388, 1.876, 2.532, 3.362, 4.388, 5.604",\
                 "0.698, 0.73, 0.848, 1.068, 1.412, 1.894, 2.544, 3.37, 4.39, 5.606",\
                 "0.744, 0.778, 0.892, 1.106, 1.444, 1.922, 2.56, 3.382, 4.398, 5.61");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001453, 0.003043, 0.006079, 0.01081, 0.01744, 0.02618, 0.03718, 0.05061, 0.06662");
          values("1.057, 1.118, 1.34, 1.763, 2.421, 3.35, 4.573, 6.111, 7.992, 10.23",\
                 "1.057, 1.119, 1.339, 1.764, 2.422, 3.35, 4.571, 6.111, 7.99, 10.24",\
                 "1.058, 1.12, 1.339, 1.763, 2.424, 3.351, 4.571, 6.11, 7.992, 10.23",\
                 "1.059, 1.123, 1.341, 1.763, 2.422, 3.351, 4.572, 6.113, 7.993, 10.24",\
                 "1.061, 1.122, 1.343, 1.763, 2.422, 3.35, 4.573, 6.11, 7.993, 10.23",\
                 "1.055, 1.118, 1.333, 1.754, 2.413, 3.345, 4.57, 6.114, 7.992, 10.23",\
                 "1.072, 1.134, 1.348, 1.762, 2.409, 3.328, 4.549, 6.098, 7.986, 10.23",\
                 "1.088, 1.15, 1.366, 1.776, 2.418, 3.336, 4.548, 6.08, 7.962, 10.21",\
                 "1.11, 1.166, 1.38, 1.788, 2.432, 3.346, 4.556, 6.086, 7.958, 10.2",\
                 "1.13, 1.188, 1.398, 1.802, 2.442, 3.352, 4.566, 6.094, 7.964, 10.2");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001453, 0.003043, 0.006079, 0.01081, 0.01744, 0.02618, 0.03718, 0.05061, 0.06662");
          values("2.253, 2.277, 2.36, 2.512, 2.74, 3.053, 3.459, 3.968, 4.588, 5.327",\
                 "2.325, 2.349, 2.432, 2.584, 2.812, 3.125, 3.531, 4.04, 4.66, 5.398",\
                 "2.599, 2.623, 2.707, 2.859, 3.089, 3.401, 3.807, 4.316, 4.935, 5.673",\
                 "3.129, 3.154, 3.238, 3.392, 3.622, 3.936, 4.343, 4.851, 5.471, 6.208",\
                 "3.963, 3.987, 4.072, 4.227, 4.459, 4.775, 5.183, 5.693, 6.313, 7.05",\
                 "5.133, 5.158, 5.244, 5.4, 5.634, 5.952, 6.362, 6.873, 7.494, 8.233",\
                 "6.626, 6.651, 6.738, 6.897, 7.133, 7.454, 7.866, 8.377, 9.001, 9.739",\
                 "8.364, 8.392, 8.482, 8.645, 8.887, 9.211, 9.626, 10.14, 10.76, 11.5",\
                 "10.32, 10.35, 10.44, 10.61, 10.86, 11.19, 11.6, 12.12, 12.75, 13.49",\
                 "12.49, 12.52, 12.62, 12.8, 13.05, 13.38, 13.81, 14.33, 14.95, 15.7");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001453, 0.003043, 0.006079, 0.01081, 0.01744, 0.02618, 0.03718, 0.05061, 0.06662");
          values("1.969, 2.007, 2.141, 2.394, 2.785, 3.332, 4.052, 4.962, 6.076, 7.406",\
                 "2.031, 2.071, 2.205, 2.459, 2.851, 3.398, 4.118, 5.028, 6.142, 7.472",\
                 "2.199, 2.239, 2.374, 2.629, 3.023, 3.572, 4.295, 5.206, 6.32, 7.65",\
                 "2.491, 2.53, 2.667, 2.925, 3.323, 3.879, 4.606, 5.52, 6.637, 7.969",\
                 "2.939, 2.978, 3.116, 3.376, 3.776, 4.334, 5.064, 5.983, 7.102, 8.436",\
                 "3.474, 3.514, 3.652, 3.912, 4.314, 4.874, 5.607, 6.527, 7.649, 8.984",\
                 "4.073, 4.113, 4.252, 4.514, 4.915, 5.471, 6.202, 7.124, 8.248, 9.584",\
                 "4.71, 4.75, 4.891, 5.154, 5.556, 6.114, 6.845, 7.763, 8.883, 10.22",\
                 "5.376, 5.415, 5.557, 5.821, 6.224, 6.784, 7.517, 8.435, 9.555, 10.89",\
                 "6.06, 6.101, 6.243, 6.509, 6.915, 7.475, 8.208, 9.127, 10.25, 11.59");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001453, 0.003043, 0.006079, 0.01081, 0.01744, 0.02618, 0.03718, 0.05061, 0.06662");
          values("0.6242, 0.6574, 0.7796, 1.007, 1.361, 1.858, 2.516, 3.352, 4.38, 5.604",\
                 "0.6246, 0.658, 0.7794, 1.006, 1.361, 1.858, 2.518, 3.354, 4.381, 5.603",\
                 "0.6236, 0.6572, 0.7782, 1.005, 1.358, 1.856, 2.516, 3.355, 4.377, 5.605",\
                 "0.623, 0.6574, 0.7786, 1.006, 1.36, 1.857, 2.515, 3.355, 4.379, 5.604",\
                 "0.625, 0.6592, 0.7772, 1.005, 1.36, 1.857, 2.517, 3.353, 4.379, 5.606",\
                 "0.6268, 0.6608, 0.78, 1.01, 1.36, 1.858, 2.521, 3.358, 4.383, 5.602",\
                 "0.636, 0.67, 0.792, 1.02, 1.368, 1.866, 2.524, 3.36, 4.382, 5.602",\
                 "0.664, 0.696, 0.814, 1.04, 1.386, 1.878, 2.532, 3.362, 4.388, 5.604",\
                 "0.698, 0.732, 0.848, 1.068, 1.41, 1.896, 2.542, 3.37, 4.39, 5.608",\
                 "0.744, 0.778, 0.892, 1.108, 1.444, 1.92, 2.56, 3.38, 4.398, 5.61");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001453, 0.003043, 0.006079, 0.01081, 0.01744, 0.02618, 0.03718, 0.05061, 0.06662");
          values("1.057, 1.121, 1.341, 1.764, 2.422, 3.351, 4.571, 6.111, 7.988, 10.23",\
                 "1.056, 1.119, 1.339, 1.764, 2.422, 3.351, 4.573, 6.111, 7.991, 10.23",\
                 "1.058, 1.119, 1.339, 1.763, 2.422, 3.351, 4.571, 6.11, 7.992, 10.23",\
                 "1.058, 1.122, 1.342, 1.764, 2.423, 3.351, 4.571, 6.111, 7.992, 10.24",\
                 "1.061, 1.124, 1.343, 1.764, 2.422, 3.349, 4.573, 6.11, 7.993, 10.23",\
                 "1.055, 1.117, 1.335, 1.754, 2.414, 3.347, 4.568, 6.11, 7.992, 10.23",\
                 "1.072, 1.133, 1.348, 1.761, 2.409, 3.327, 4.552, 6.098, 7.986, 10.23",\
                 "1.088, 1.15, 1.366, 1.772, 2.418, 3.336, 4.546, 6.08, 7.962, 10.21",\
                 "1.11, 1.168, 1.38, 1.788, 2.432, 3.344, 4.556, 6.086, 7.956, 10.2",\
                 "1.13, 1.188, 1.398, 1.8, 2.442, 3.352, 4.566, 6.096, 7.964, 10.2");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001453, 0.003043, 0.006079, 0.01081, 0.01744, 0.02618, 0.03718, 0.05061, 0.06662");
          values("2.253, 2.277, 2.36, 2.512, 2.74, 3.053, 3.459, 3.968, 4.588, 5.327",\
                 "2.325, 2.349, 2.432, 2.584, 2.813, 3.125, 3.531, 4.04, 4.66, 5.398",\
                 "2.599, 2.623, 2.707, 2.86, 3.088, 3.401, 3.807, 4.316, 4.935, 5.673",\
                 "3.129, 3.154, 3.238, 3.392, 3.622, 3.937, 4.343, 4.851, 5.471, 6.208",\
                 "3.962, 3.987, 4.072, 4.227, 4.46, 4.775, 5.184, 5.693, 6.313, 7.051",\
                 "5.133, 5.158, 5.244, 5.401, 5.634, 5.952, 6.362, 6.873, 7.494, 8.233",\
                 "6.626, 6.651, 6.738, 6.897, 7.133, 7.454, 7.865, 8.379, 9.001, 9.739",\
                 "8.364, 8.391, 8.482, 8.646, 8.887, 9.212, 9.626, 10.14, 10.76, 11.5",\
                 "10.32, 10.35, 10.44, 10.61, 10.86, 11.19, 11.6, 12.12, 12.75, 13.49",\
                 "12.49, 12.52, 12.62, 12.8, 13.05, 13.38, 13.81, 14.33, 14.95, 15.7");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001453, 0.003043, 0.006079, 0.01081, 0.01744, 0.02618, 0.03718, 0.05061, 0.06662");
          values("1.969, 2.007, 2.141, 2.394, 2.785, 3.332, 4.052, 4.962, 6.076, 7.406",\
                 "2.031, 2.071, 2.205, 2.459, 2.851, 3.398, 4.118, 5.028, 6.142, 7.472",\
                 "2.199, 2.239, 2.374, 2.629, 3.023, 3.572, 4.295, 5.206, 6.32, 7.65",\
                 "2.491, 2.53, 2.667, 2.925, 3.323, 3.879, 4.606, 5.52, 6.637, 7.969",\
                 "2.939, 2.978, 3.116, 3.376, 3.776, 4.334, 5.064, 5.983, 7.102, 8.436",\
                 "3.474, 3.514, 3.652, 3.912, 4.314, 4.874, 5.607, 6.527, 7.649, 8.984",\
                 "4.073, 4.113, 4.252, 4.514, 4.915, 5.471, 6.202, 7.124, 8.248, 9.584",\
                 "4.71, 4.75, 4.891, 5.154, 5.556, 6.114, 6.845, 7.763, 8.883, 10.22",\
                 "5.376, 5.415, 5.557, 5.821, 6.224, 6.784, 7.517, 8.435, 9.555, 10.89",\
                 "6.06, 6.101, 6.243, 6.509, 6.915, 7.475, 8.208, 9.127, 10.25, 11.59");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001453, 0.003043, 0.006079, 0.01081, 0.01744, 0.02618, 0.03718, 0.05061, 0.06662");
          values("0.6242, 0.6574, 0.7796, 1.007, 1.361, 1.858, 2.516, 3.352, 4.38, 5.604",\
                 "0.6246, 0.658, 0.7794, 1.006, 1.361, 1.858, 2.518, 3.354, 4.381, 5.603",\
                 "0.6236, 0.6572, 0.7782, 1.005, 1.358, 1.856, 2.516, 3.355, 4.377, 5.605",\
                 "0.623, 0.6574, 0.7786, 1.006, 1.36, 1.857, 2.515, 3.355, 4.379, 5.604",\
                 "0.625, 0.6592, 0.7772, 1.005, 1.36, 1.857, 2.517, 3.353, 4.379, 5.606",\
                 "0.6268, 0.6608, 0.78, 1.01, 1.36, 1.858, 2.521, 3.358, 4.383, 5.602",\
                 "0.636, 0.67, 0.792, 1.02, 1.368, 1.866, 2.524, 3.36, 4.382, 5.602",\
                 "0.664, 0.696, 0.814, 1.04, 1.386, 1.878, 2.532, 3.362, 4.388, 5.604",\
                 "0.698, 0.732, 0.848, 1.068, 1.41, 1.896, 2.542, 3.37, 4.39, 5.608",\
                 "0.744, 0.778, 0.892, 1.108, 1.444, 1.92, 2.56, 3.38, 4.398, 5.61");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001453, 0.003043, 0.006079, 0.01081, 0.01744, 0.02618, 0.03718, 0.05061, 0.06662");
          values("1.057, 1.121, 1.341, 1.764, 2.422, 3.351, 4.571, 6.111, 7.988, 10.23",\
                 "1.056, 1.119, 1.339, 1.764, 2.422, 3.351, 4.573, 6.111, 7.991, 10.23",\
                 "1.058, 1.119, 1.339, 1.763, 2.422, 3.351, 4.571, 6.11, 7.992, 10.23",\
                 "1.058, 1.122, 1.342, 1.764, 2.423, 3.351, 4.571, 6.111, 7.992, 10.24",\
                 "1.061, 1.124, 1.343, 1.764, 2.422, 3.349, 4.573, 6.11, 7.993, 10.23",\
                 "1.055, 1.117, 1.335, 1.754, 2.414, 3.347, 4.568, 6.11, 7.992, 10.23",\
                 "1.072, 1.133, 1.348, 1.761, 2.409, 3.327, 4.552, 6.098, 7.986, 10.23",\
                 "1.088, 1.15, 1.366, 1.772, 2.418, 3.336, 4.546, 6.08, 7.962, 10.21",\
                 "1.11, 1.168, 1.38, 1.788, 2.432, 3.344, 4.556, 6.086, 7.956, 10.2",\
                 "1.13, 1.188, 1.398, 1.8, 2.442, 3.352, 4.566, 6.096, 7.964, 10.2");
        }
      }
    }
  }