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

  cell(gf180mcu_fd_sc_mcu7t5v0__xnor3_4) {
    area : 70.246400 ;

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

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

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

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

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

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

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

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

    leakage_power() {
      related_pg_pin : "VDD" ;
      value : "5.8491e-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.004283 ;
      direction : input ;
      driver_waveform_rise : driver_waveform_default_rise ;
      driver_waveform_fall : driver_waveform_default_fall ;
      input_voltage : default ;
      max_transition : 12 ;
      related_ground_pin : VSS ;
      related_power_pin : VDD ;
    }

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

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

    pin(ZN) {
      direction : output ;
      function : "(!(A1^A2^A3))" ;
      max_capacitance : 0.8259 ;
      max_transition : 12 ;
      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.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.006694, 0.02668, 0.06484, 0.1243, 0.2077, 0.3175, 0.4558, 0.6247, 0.8259");
          values("0.09839, 0.09837, 0.09865, 0.09931, 0.1, 0.1005, 0.1009, 0.1012, 0.1014, 0.1015",\
                 "0.09843, 0.09839, 0.09864, 0.09931, 0.1, 0.1006, 0.1009, 0.1012, 0.1014, 0.1015",\
                 "0.09835, 0.09832, 0.09859, 0.09922, 0.09992, 0.1005, 0.1008, 0.1011, 0.1013, 0.1014",\
                 "0.09815, 0.09812, 0.09838, 0.09903, 0.09972, 0.1003, 0.1007, 0.1009, 0.1011, 0.1012",\
                 "0.09801, 0.09797, 0.09828, 0.09888, 0.09957, 0.1001, 0.1005, 0.1008, 0.101, 0.1011",\
                 "0.09797, 0.09792, 0.09819, 0.09882, 0.09952, 0.1001, 0.1005, 0.1007, 0.1009, 0.101",\
                 "0.09801, 0.098, 0.09826, 0.0989, 0.09958, 0.1001, 0.1005, 0.1008, 0.101, 0.1011",\
                 "0.09818, 0.09811, 0.09838, 0.09905, 0.09974, 0.1003, 0.1007, 0.1009, 0.1011, 0.1013",\
                 "0.09844, 0.09838, 0.09868, 0.09934, 0.1, 0.1006, 0.101, 0.1012, 0.1014, 0.1015",\
                 "0.09887, 0.09884, 0.09907, 0.0997, 0.1004, 0.101, 0.1014, 0.1016, 0.1018, 0.1019");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.006694, 0.02668, 0.06484, 0.1243, 0.2077, 0.3175, 0.4558, 0.6247, 0.8259");
          values("0.09071, 0.09089, 0.09146, 0.09228, 0.09335, 0.09426, 0.09512, 0.09636, 0.1025, 0.1522",\
                 "0.09061, 0.09077, 0.09135, 0.09208, 0.09324, 0.09414, 0.09479, 0.09596, 0.1028, 0.1533",\
                 "0.09042, 0.09062, 0.09117, 0.09192, 0.09299, 0.09392, 0.09472, 0.09591, 0.1032, 0.1573",\
                 "0.09029, 0.09051, 0.09102, 0.09176, 0.09282, 0.09365, 0.09442, 0.09568, 0.1049, 0.1668",\
                 "0.09019, 0.09039, 0.09091, 0.09169, 0.09264, 0.09358, 0.09456, 0.09592, 0.1082, 0.1849",\
                 "0.09014, 0.09035, 0.09091, 0.09165, 0.09277, 0.09352, 0.09433, 0.09635, 0.1145, 0.2158",\
                 "0.0902, 0.09036, 0.09092, 0.0917, 0.09275, 0.09365, 0.09455, 0.09782, 0.1275, 0.2699",\
                 "0.09034, 0.09051, 0.09099, 0.09178, 0.09277, 0.09381, 0.09471, 0.1017, 0.1568, 0.3605",\
                 "0.09063, 0.09076, 0.09125, 0.09214, 0.09304, 0.09416, 0.09572, 0.1137, 0.2241, 0.5001",\
                 "0.091, 0.09122, 0.0917, 0.09257, 0.09335, 0.09489, 0.1005, 0.1577, 0.3617, 0.6642");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.006694, 0.02668, 0.06484, 0.1243, 0.2077, 0.3175, 0.4558, 0.6247, 0.8259");
          values("0.08658, 0.0865, 0.0867, 0.08722, 0.08789, 0.08844, 0.08886, 0.08915, 0.08934, 0.08949",\
                 "0.08647, 0.08636, 0.08655, 0.08711, 0.08776, 0.08832, 0.08873, 0.08903, 0.08923, 0.08938",\
                 "0.08628, 0.08618, 0.0864, 0.08693, 0.08759, 0.08814, 0.08855, 0.08885, 0.08905, 0.08919",\
                 "0.08615, 0.08607, 0.08623, 0.08681, 0.08745, 0.08801, 0.08843, 0.08873, 0.08893, 0.08907",\
                 "0.08607, 0.08598, 0.08614, 0.08671, 0.08737, 0.08793, 0.08834, 0.08865, 0.08884, 0.08897",\
                 "0.086, 0.08591, 0.08611, 0.08665, 0.0873, 0.08786, 0.08828, 0.08858, 0.08878, 0.08892",\
                 "0.08602, 0.08595, 0.08612, 0.08667, 0.08732, 0.08788, 0.0883, 0.0886, 0.0888, 0.08894",\
                 "0.08619, 0.08606, 0.08624, 0.08678, 0.08746, 0.08803, 0.08844, 0.08873, 0.08894, 0.08907",\
                 "0.08644, 0.08637, 0.08654, 0.08711, 0.08775, 0.08832, 0.08874, 0.08901, 0.08921, 0.08934",\
                 "0.08691, 0.08681, 0.08696, 0.08753, 0.08817, 0.08874, 0.08916, 0.08945, 0.08963, 0.08966");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.006694, 0.02668, 0.06484, 0.1243, 0.2077, 0.3175, 0.4558, 0.6247, 0.8259");
          values("0.07926, 0.0794, 0.07981, 0.08034, 0.08121, 0.08238, 0.08305, 0.08409, 0.09087, 0.1355",\
                 "0.07928, 0.0794, 0.0798, 0.08041, 0.08132, 0.08238, 0.08318, 0.08436, 0.09074, 0.1369",\
                 "0.07927, 0.07935, 0.07974, 0.08034, 0.08123, 0.08229, 0.08294, 0.08465, 0.09082, 0.1413",\
                 "0.07904, 0.07914, 0.07951, 0.08009, 0.08087, 0.08203, 0.08287, 0.08444, 0.09189, 0.1495",\
                 "0.07885, 0.07907, 0.0794, 0.07998, 0.08081, 0.08184, 0.08264, 0.08417, 0.09407, 0.1621",\
                 "0.0789, 0.07901, 0.07941, 0.08001, 0.08087, 0.08194, 0.08268, 0.08477, 0.09797, 0.1819",\
                 "0.07893, 0.07902, 0.07941, 0.08005, 0.08087, 0.08189, 0.08289, 0.08468, 0.1058, 0.2117",\
                 "0.0791, 0.07919, 0.0795, 0.08036, 0.08117, 0.08218, 0.08312, 0.0864, 0.1168, 0.2594",\
                 "0.07934, 0.07941, 0.0798, 0.0803, 0.08115, 0.08248, 0.08329, 0.08916, 0.1392, 0.332",\
                 "0.07984, 0.07993, 0.08031, 0.08088, 0.0815, 0.08214, 0.08429, 0.09765, 0.1853, 0.4385");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.006694, 0.02668, 0.06484, 0.1243, 0.2077, 0.3175, 0.4558, 0.6247, 0.8259");
          values("0.09487, 0.09484, 0.09514, 0.09581, 0.09648, 0.09701, 0.0974, 0.09767, 0.09786, 0.09798",\
                 "0.09488, 0.09483, 0.09511, 0.09578, 0.09644, 0.09699, 0.09738, 0.09765, 0.09784, 0.09797",\
                 "0.09471, 0.09465, 0.09495, 0.09558, 0.09627, 0.09682, 0.09721, 0.09748, 0.09766, 0.09779",\
                 "0.0945, 0.09449, 0.09474, 0.09537, 0.09607, 0.09662, 0.09701, 0.0973, 0.09748, 0.0976",\
                 "0.0944, 0.09435, 0.09465, 0.09528, 0.09597, 0.09652, 0.09691, 0.0972, 0.09737, 0.0975",\
                 "0.09444, 0.09438, 0.09467, 0.09529, 0.09598, 0.09654, 0.09693, 0.0972, 0.09738, 0.09751",\
                 "0.09455, 0.0945, 0.09484, 0.09543, 0.09612, 0.09667, 0.09706, 0.09733, 0.09751, 0.09764",\
                 "0.09479, 0.09474, 0.09505, 0.09569, 0.09638, 0.09693, 0.09732, 0.09759, 0.09778, 0.09789",\
                 "0.09514, 0.0951, 0.0954, 0.09605, 0.09674, 0.09731, 0.0977, 0.09797, 0.09814, 0.09822",\
                 "0.09565, 0.09561, 0.09594, 0.09652, 0.09722, 0.0978, 0.09817, 0.09843, 0.09856, 0.0983");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.006694, 0.02668, 0.06484, 0.1243, 0.2077, 0.3175, 0.4558, 0.6247, 0.8259");
          values("0.07065, 0.07086, 0.07135, 0.07208, 0.07309, 0.07397, 0.07497, 0.07595, 0.07974, 0.1136",\
                 "0.07067, 0.07082, 0.07138, 0.07212, 0.07326, 0.07396, 0.07495, 0.0761, 0.07997, 0.1139",\
                 "0.07061, 0.07082, 0.07133, 0.07215, 0.07324, 0.07412, 0.07488, 0.07605, 0.08032, 0.1172",\
                 "0.07056, 0.07077, 0.07129, 0.0721, 0.07306, 0.07408, 0.07488, 0.0761, 0.08104, 0.1237",\
                 "0.07053, 0.07073, 0.07125, 0.07199, 0.07304, 0.07399, 0.07485, 0.07607, 0.08287, 0.1336",\
                 "0.0705, 0.07065, 0.07123, 0.07203, 0.07302, 0.07399, 0.07465, 0.07617, 0.08598, 0.152",\
                 "0.07058, 0.07072, 0.0713, 0.07199, 0.07291, 0.0739, 0.07483, 0.07648, 0.0913, 0.1806",\
                 "0.07066, 0.07085, 0.07138, 0.07208, 0.07331, 0.07406, 0.0748, 0.07724, 0.1031, 0.2286",\
                 "0.07092, 0.0711, 0.07153, 0.07235, 0.0732, 0.07455, 0.07539, 0.0802, 0.124, 0.3023",\
                 "0.07119, 0.07137, 0.07191, 0.07257, 0.07372, 0.07397, 0.07609, 0.08831, 0.1696, 0.4159");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.006694, 0.02668, 0.06484, 0.1243, 0.2077, 0.3175, 0.4558, 0.6247, 0.8259");
          values("0.06652, 0.06643, 0.06658, 0.0671, 0.06776, 0.06833, 0.06874, 0.06905, 0.06925, 0.0694",\
                 "0.0665, 0.06641, 0.06656, 0.06709, 0.06775, 0.06832, 0.06874, 0.06903, 0.06924, 0.06938",\
                 "0.06646, 0.06639, 0.06654, 0.06707, 0.06773, 0.0683, 0.06871, 0.06901, 0.06921, 0.06936",\
                 "0.06639, 0.06631, 0.06646, 0.06699, 0.06764, 0.06821, 0.06862, 0.06892, 0.06913, 0.06927",\
                 "0.06629, 0.06621, 0.06637, 0.06689, 0.06753, 0.06811, 0.06853, 0.06882, 0.06903, 0.06917",\
                 "0.0662, 0.06611, 0.06627, 0.06679, 0.06745, 0.06803, 0.06845, 0.06875, 0.06896, 0.06911",\
                 "0.06626, 0.06618, 0.06635, 0.06683, 0.06746, 0.06803, 0.06846, 0.06876, 0.06898, 0.06913",\
                 "0.06637, 0.06624, 0.0664, 0.0669, 0.06756, 0.06811, 0.06854, 0.06884, 0.06906, 0.06921",\
                 "0.06661, 0.06647, 0.06659, 0.06706, 0.0677, 0.06828, 0.06871, 0.06903, 0.06925, 0.06939",\
                 "0.06693, 0.06683, 0.06696, 0.06741, 0.06803, 0.06858, 0.06902, 0.06933, 0.06955, 0.0697");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.006694, 0.02668, 0.06484, 0.1243, 0.2077, 0.3175, 0.4558, 0.6247, 0.8259");
          values("0.07581, 0.07596, 0.07634, 0.07692, 0.07786, 0.07886, 0.07982, 0.08061, 0.0853, 0.1241",\
                 "0.07589, 0.07593, 0.07634, 0.0769, 0.07777, 0.07904, 0.07981, 0.08085, 0.0857, 0.124",\
                 "0.07574, 0.07574, 0.07619, 0.07675, 0.07762, 0.07875, 0.07945, 0.08112, 0.08611, 0.1288",\
                 "0.0755, 0.07559, 0.07604, 0.07654, 0.07742, 0.07847, 0.07943, 0.08024, 0.08695, 0.1351",\
                 "0.07545, 0.07548, 0.076, 0.07654, 0.07735, 0.07841, 0.07932, 0.08091, 0.08927, 0.1501",\
                 "0.07538, 0.07545, 0.07591, 0.0765, 0.07739, 0.07845, 0.07926, 0.08048, 0.09442, 0.1769",\
                 "0.07551, 0.07551, 0.07595, 0.07654, 0.07744, 0.07848, 0.0794, 0.08177, 0.1064, 0.229",\
                 "0.07568, 0.07571, 0.0761, 0.07665, 0.07751, 0.07852, 0.07951, 0.08545, 0.1345, 0.3249",\
                 "0.07592, 0.07606, 0.07632, 0.07702, 0.07782, 0.07885, 0.08026, 0.09832, 0.2067, 0.4818",\
                 "0.07638, 0.0765, 0.07675, 0.07735, 0.07809, 0.07949, 0.08604, 0.1508, 0.3642, 0.6629");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.006694, 0.02668, 0.06484, 0.1243, 0.2077, 0.3175, 0.4558, 0.6247, 0.8259");
          values("0.09608, 0.09604, 0.09632, 0.09697, 0.09767, 0.09821, 0.0986, 0.09887, 0.09905, 0.09918",\
                 "0.09612, 0.0961, 0.09637, 0.09699, 0.09771, 0.09825, 0.09864, 0.0989, 0.09909, 0.09921",\
                 "0.09604, 0.09604, 0.09631, 0.09695, 0.09764, 0.0982, 0.09858, 0.09886, 0.09904, 0.09916",\
                 "0.09594, 0.09591, 0.0962, 0.09681, 0.0975, 0.09805, 0.09844, 0.09872, 0.09891, 0.09903",\
                 "0.0959, 0.09586, 0.0961, 0.09675, 0.09744, 0.098, 0.09839, 0.09867, 0.09884, 0.09898",\
                 "0.09589, 0.09584, 0.09615, 0.09676, 0.09745, 0.09799, 0.09837, 0.09866, 0.09884, 0.09897",\
                 "0.09597, 0.09592, 0.09621, 0.09685, 0.09755, 0.09809, 0.09848, 0.09875, 0.09894, 0.09906",\
                 "0.09617, 0.09612, 0.09641, 0.09704, 0.09773, 0.0983, 0.09869, 0.09895, 0.09913, 0.09925",\
                 "0.09643, 0.09641, 0.0967, 0.09733, 0.09805, 0.09858, 0.09898, 0.09923, 0.09942, 0.09953",\
                 "0.09688, 0.09685, 0.09711, 0.09772, 0.09843, 0.09898, 0.09936, 0.09963, 0.09983, 0.09992");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.006694, 0.02668, 0.06484, 0.1243, 0.2077, 0.3175, 0.4558, 0.6247, 0.8259");
          values("0.08971, 0.08991, 0.09041, 0.09123, 0.09239, 0.0933, 0.09405, 0.09507, 0.1013, 0.1502",\
                 "0.08952, 0.08969, 0.09038, 0.09107, 0.09206, 0.09292, 0.09394, 0.09518, 0.1014, 0.1505",\
                 "0.08935, 0.08947, 0.09006, 0.0908, 0.09185, 0.09285, 0.09345, 0.09479, 0.102, 0.1542",\
                 "0.08921, 0.08941, 0.08989, 0.09069, 0.09181, 0.09258, 0.09331, 0.09443, 0.1036, 0.1636",\
                 "0.08919, 0.08941, 0.08988, 0.09065, 0.0917, 0.09271, 0.09327, 0.09494, 0.107, 0.1826",\
                 "0.08928, 0.08948, 0.08998, 0.09083, 0.09183, 0.09264, 0.0936, 0.09566, 0.1137, 0.2185",\
                 "0.08943, 0.08965, 0.09015, 0.09099, 0.09186, 0.09287, 0.09365, 0.09701, 0.1292, 0.2785",\
                 "0.08976, 0.0899, 0.09043, 0.09126, 0.09219, 0.09321, 0.09432, 0.1024, 0.1642, 0.3815",\
                 "0.09001, 0.09023, 0.09074, 0.09155, 0.09258, 0.09363, 0.09546, 0.1183, 0.2429, 0.5314",\
                 "0.09054, 0.0907, 0.0913, 0.092, 0.09293, 0.0942, 0.1022, 0.1753, 0.399, 0.6921");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.006694, 0.02668, 0.06484, 0.1243, 0.2077, 0.3175, 0.4558, 0.6247, 0.8259");
          values("0.08558, 0.08549, 0.0857, 0.08622, 0.08688, 0.08744, 0.08785, 0.08815, 0.08835, 0.08849",\
                 "0.0854, 0.08531, 0.08553, 0.08605, 0.08671, 0.08727, 0.08768, 0.08797, 0.08817, 0.08832",\
                 "0.08517, 0.08509, 0.08528, 0.08582, 0.08648, 0.08704, 0.08745, 0.08774, 0.08794, 0.08809",\
                 "0.08508, 0.08499, 0.08518, 0.08571, 0.08639, 0.08693, 0.08736, 0.08765, 0.08785, 0.088",\
                 "0.08508, 0.08499, 0.08515, 0.08572, 0.08638, 0.08694, 0.08735, 0.08765, 0.08785, 0.08799",\
                 "0.08515, 0.08508, 0.08526, 0.0858, 0.08645, 0.08701, 0.08742, 0.08772, 0.08792, 0.08806",\
                 "0.08532, 0.08525, 0.08544, 0.08596, 0.08662, 0.08718, 0.08759, 0.08789, 0.08809, 0.08823",\
                 "0.08557, 0.08549, 0.08568, 0.08623, 0.08689, 0.08745, 0.08786, 0.08815, 0.08835, 0.08848",\
                 "0.08592, 0.08584, 0.08598, 0.08655, 0.08721, 0.08778, 0.08819, 0.08849, 0.08869, 0.0888",\
                 "0.08638, 0.08627, 0.08646, 0.08701, 0.08765, 0.08824, 0.08865, 0.08893, 0.0891, 0.08907");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.006694, 0.02668, 0.06484, 0.1243, 0.2077, 0.3175, 0.4558, 0.6247, 0.8259");
          values("0.07712, 0.07715, 0.07755, 0.07811, 0.07898, 0.08008, 0.0808, 0.08215, 0.08771, 0.1307",\
                 "0.07715, 0.07722, 0.07761, 0.0782, 0.07903, 0.08017, 0.08086, 0.08201, 0.08793, 0.1328",\
                 "0.07701, 0.07726, 0.07757, 0.07808, 0.07905, 0.08011, 0.08082, 0.0824, 0.08855, 0.1368",\
                 "0.07694, 0.077, 0.07748, 0.07804, 0.07896, 0.07993, 0.08064, 0.08163, 0.08967, 0.1434",\
                 "0.0769, 0.07701, 0.07734, 0.07795, 0.07889, 0.07986, 0.08053, 0.08171, 0.09158, 0.1555",\
                 "0.07696, 0.07695, 0.0775, 0.07799, 0.07891, 0.07988, 0.08073, 0.08242, 0.09598, 0.1748",\
                 "0.07695, 0.07702, 0.07746, 0.07811, 0.07896, 0.08, 0.08081, 0.08295, 0.101, 0.2024",\
                 "0.07714, 0.07724, 0.0776, 0.07842, 0.07927, 0.08022, 0.08115, 0.08384, 0.1124, 0.2478",\
                 "0.07748, 0.07755, 0.07798, 0.07862, 0.07936, 0.08065, 0.08158, 0.08694, 0.1332, 0.3174",\
                 "0.07789, 0.07799, 0.07834, 0.07899, 0.07977, 0.08036, 0.08243, 0.09445, 0.1756, 0.4201");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.006694, 0.02668, 0.06484, 0.1243, 0.2077, 0.3175, 0.4558, 0.6247, 0.8259");
          values("0.09656, 0.09651, 0.09684, 0.09745, 0.09814, 0.09868, 0.09907, 0.09934, 0.09952, 0.09965",\
                 "0.09646, 0.09643, 0.0967, 0.09735, 0.09804, 0.0986, 0.09898, 0.09925, 0.09943, 0.09956",\
                 "0.09635, 0.09631, 0.09657, 0.09724, 0.09792, 0.09849, 0.09887, 0.09914, 0.09932, 0.09944",\
                 "0.09626, 0.09622, 0.09648, 0.09711, 0.09782, 0.09836, 0.09875, 0.09903, 0.09922, 0.09934",\
                 "0.0962, 0.09617, 0.09643, 0.09709, 0.0978, 0.09834, 0.0987, 0.09897, 0.09916, 0.09929",\
                 "0.09624, 0.09623, 0.09649, 0.09712, 0.0978, 0.09835, 0.09874, 0.09901, 0.09919, 0.09933",\
                 "0.09636, 0.09633, 0.09661, 0.09726, 0.09794, 0.09849, 0.09888, 0.09916, 0.09934, 0.09946",\
                 "0.09662, 0.09658, 0.09689, 0.09752, 0.0982, 0.09875, 0.09914, 0.0994, 0.09959, 0.0997",\
                 "0.09701, 0.09697, 0.09726, 0.09788, 0.09856, 0.09911, 0.0995, 0.09976, 0.09994, 0.1",\
                 "0.09746, 0.0974, 0.09773, 0.09836, 0.09902, 0.0996, 0.09998, 0.1002, 0.1003, 0.09996");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.006694, 0.02668, 0.06484, 0.1243, 0.2077, 0.3175, 0.4558, 0.6247, 0.8259");
          values("0.07135, 0.07149, 0.07207, 0.07277, 0.07391, 0.07482, 0.0755, 0.07639, 0.08046, 0.1143",\
                 "0.07134, 0.07151, 0.07203, 0.07284, 0.0738, 0.07473, 0.0755, 0.07673, 0.08069, 0.115",\
                 "0.07137, 0.07151, 0.07209, 0.0728, 0.07382, 0.07489, 0.07573, 0.07639, 0.08177, 0.1186",\
                 "0.07129, 0.0715, 0.07201, 0.07284, 0.07387, 0.07475, 0.07557, 0.07679, 0.08176, 0.1231",\
                 "0.07125, 0.07144, 0.07201, 0.07277, 0.07387, 0.07484, 0.07559, 0.07674, 0.08332, 0.1337",\
                 "0.0712, 0.07138, 0.07188, 0.07271, 0.07371, 0.07461, 0.0753, 0.07642, 0.08707, 0.1514",\
                 "0.07121, 0.07138, 0.07199, 0.07266, 0.07362, 0.07468, 0.07561, 0.07679, 0.09132, 0.1777",\
                 "0.07126, 0.07145, 0.07195, 0.07271, 0.07392, 0.07468, 0.07538, 0.07775, 0.1021, 0.2225",\
                 "0.07142, 0.07153, 0.07213, 0.0728, 0.07387, 0.07515, 0.07624, 0.08019, 0.1213, 0.2926",\
                 "0.0717, 0.07183, 0.07236, 0.07304, 0.07398, 0.07443, 0.07614, 0.08773, 0.1635, 0.4021");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.006694, 0.02668, 0.06484, 0.1243, 0.2077, 0.3175, 0.4558, 0.6247, 0.8259");
          values("0.06716, 0.0671, 0.06723, 0.06776, 0.06842, 0.06898, 0.0694, 0.0697, 0.0699, 0.07005",\
                 "0.06718, 0.0671, 0.06725, 0.06777, 0.06844, 0.06901, 0.06942, 0.06972, 0.06992, 0.07007",\
                 "0.0672, 0.06711, 0.06727, 0.06779, 0.06845, 0.06902, 0.06944, 0.06973, 0.06993, 0.07008",\
                 "0.06711, 0.06705, 0.06722, 0.06774, 0.06839, 0.06896, 0.06937, 0.06967, 0.06987, 0.07002",\
                 "0.06705, 0.06697, 0.06713, 0.06765, 0.0683, 0.06887, 0.06929, 0.06959, 0.06979, 0.06993",\
                 "0.06695, 0.06685, 0.067, 0.06754, 0.0682, 0.06876, 0.06919, 0.06948, 0.06969, 0.06984",\
                 "0.06695, 0.06684, 0.06696, 0.0675, 0.06817, 0.06874, 0.06917, 0.06946, 0.06967, 0.06982",\
                 "0.06699, 0.06689, 0.067, 0.06751, 0.06818, 0.06876, 0.06918, 0.06946, 0.06968, 0.06984",\
                 "0.06712, 0.06703, 0.06715, 0.06764, 0.06829, 0.06885, 0.0693, 0.0696, 0.06982, 0.06997",\
                 "0.06737, 0.06729, 0.06741, 0.0679, 0.06851, 0.06908, 0.06951, 0.06982, 0.07004, 0.07019");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.006694, 0.02668, 0.06484, 0.1243, 0.2077, 0.3175, 0.4558, 0.6247, 0.8259");
          values("0.07748, 0.07753, 0.07789, 0.07844, 0.0793, 0.08039, 0.08112, 0.08216, 0.08751, 0.1279",\
                 "0.07737, 0.07744, 0.07783, 0.07848, 0.0793, 0.0803, 0.08107, 0.0821, 0.0872, 0.1288",\
                 "0.07722, 0.07731, 0.07776, 0.07828, 0.07924, 0.08019, 0.08096, 0.08259, 0.08818, 0.1323",\
                 "0.07715, 0.07726, 0.07756, 0.07817, 0.07901, 0.08007, 0.0808, 0.08222, 0.08983, 0.14",\
                 "0.07707, 0.07718, 0.07763, 0.07817, 0.07895, 0.08003, 0.08072, 0.08206, 0.09179, 0.1559",\
                 "0.0771, 0.07717, 0.07752, 0.07816, 0.07901, 0.08014, 0.08089, 0.08247, 0.09737, 0.1864",\
                 "0.0772, 0.07727, 0.07768, 0.07828, 0.07919, 0.08014, 0.08091, 0.08419, 0.1097, 0.2408",\
                 "0.07739, 0.07745, 0.07781, 0.07839, 0.07933, 0.08036, 0.0812, 0.08829, 0.1418, 0.3412",\
                 "0.07768, 0.07776, 0.07805, 0.07864, 0.07944, 0.08057, 0.08219, 0.1028, 0.2209, 0.5036",\
                 "0.07813, 0.0782, 0.07845, 0.07895, 0.07991, 0.08102, 0.08936, 0.164, 0.3885, 0.6806");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.006694, 0.02668, 0.06484, 0.1243, 0.2077, 0.3175, 0.4558, 0.6247, 0.8259");
          values("0.06885, 0.06878, 0.06897, 0.06948, 0.07012, 0.07067, 0.07108, 0.07136, 0.07157, 0.07172",\
                 "0.06887, 0.06878, 0.06898, 0.06954, 0.07017, 0.07073, 0.07113, 0.07141, 0.07161, 0.07176",\
                 "0.06873, 0.06865, 0.06886, 0.06939, 0.07004, 0.07058, 0.07099, 0.07128, 0.07148, 0.07163",\
                 "0.06838, 0.06829, 0.06845, 0.06903, 0.06966, 0.07022, 0.07061, 0.07092, 0.07112, 0.07127",\
                 "0.06801, 0.06794, 0.06812, 0.06868, 0.06935, 0.06991, 0.07032, 0.0706, 0.0708, 0.07094",\
                 "0.06776, 0.0677, 0.06791, 0.06851, 0.06917, 0.06973, 0.07014, 0.07042, 0.07061, 0.07075",\
                 "0.06764, 0.06759, 0.06781, 0.06844, 0.06911, 0.06967, 0.07007, 0.07035, 0.07055, 0.07069",\
                 "0.06771, 0.06765, 0.0679, 0.06851, 0.0692, 0.06974, 0.07014, 0.07042, 0.0706, 0.07075",\
                 "0.06789, 0.06786, 0.06811, 0.06872, 0.0694, 0.06995, 0.07034, 0.07064, 0.07083, 0.07095",\
                 "0.06824, 0.06817, 0.06844, 0.06905, 0.06975, 0.07028, 0.07068, 0.07097, 0.07116, 0.07128");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.006694, 0.02668, 0.06484, 0.1243, 0.2077, 0.3175, 0.4558, 0.6247, 0.8259");
          values("0.07299, 0.07328, 0.07371, 0.07454, 0.07555, 0.07652, 0.07732, 0.07838, 0.08134, 0.1097",\
                 "0.0729, 0.07305, 0.07363, 0.07445, 0.07552, 0.07623, 0.07727, 0.0782, 0.08116, 0.11",\
                 "0.07276, 0.07288, 0.07349, 0.07418, 0.07534, 0.07605, 0.07705, 0.07807, 0.08129, 0.112",\
                 "0.07257, 0.07273, 0.07338, 0.07407, 0.07503, 0.07611, 0.07687, 0.07807, 0.08197, 0.1177",\
                 "0.07238, 0.07251, 0.07312, 0.07384, 0.07489, 0.07582, 0.07655, 0.07764, 0.08331, 0.1268",\
                 "0.072, 0.07217, 0.07277, 0.07351, 0.0746, 0.07551, 0.07632, 0.07749, 0.08558, 0.144",\
                 "0.0718, 0.07199, 0.07257, 0.07326, 0.07419, 0.07512, 0.07598, 0.07735, 0.09255, 0.1775",\
                 "0.07176, 0.07201, 0.07244, 0.0733, 0.07413, 0.07523, 0.076, 0.07866, 0.1055, 0.2375",\
                 "0.07194, 0.0721, 0.07257, 0.07308, 0.07438, 0.07559, 0.07599, 0.08302, 0.1394, 0.3457",\
                 "0.07228, 0.07248, 0.07283, 0.07355, 0.07422, 0.07519, 0.07768, 0.09988, 0.2263, 0.5143");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.006694, 0.02668, 0.06484, 0.1243, 0.2077, 0.3175, 0.4558, 0.6247, 0.8259");
          values("0.06345, 0.06341, 0.06374, 0.06438, 0.06506, 0.06561, 0.066, 0.06626, 0.06644, 0.06657",\
                 "0.06346, 0.06347, 0.06375, 0.06438, 0.06508, 0.06563, 0.06601, 0.06627, 0.06645, 0.06658",\
                 "0.06309, 0.06309, 0.06336, 0.06401, 0.06471, 0.06526, 0.06565, 0.06591, 0.06609, 0.06622",\
                 "0.06269, 0.06264, 0.06291, 0.06354, 0.06424, 0.06479, 0.06518, 0.06545, 0.06564, 0.06577",\
                 "0.06233, 0.06228, 0.06258, 0.06312, 0.06379, 0.06436, 0.06478, 0.06507, 0.06528, 0.06543",\
                 "0.06234, 0.06224, 0.06237, 0.06283, 0.06345, 0.06402, 0.06447, 0.0648, 0.06504, 0.06521",\
                 "0.06284, 0.06266, 0.06258, 0.06284, 0.06335, 0.06388, 0.06434, 0.06471, 0.06497, 0.06516",\
                 "0.06366, 0.0633, 0.063, 0.0631, 0.06348, 0.06395, 0.06439, 0.06475, 0.06502, 0.06523",\
                 "0.06469, 0.06423, 0.06365, 0.06365, 0.06386, 0.0642, 0.06465, 0.06498, 0.06523, 0.06545",\
                 "0.06604, 0.06537, 0.06451, 0.06428, 0.06437, 0.06468, 0.06502, 0.06535, 0.06564, 0.06583");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.006694, 0.02668, 0.06484, 0.1243, 0.2077, 0.3175, 0.4558, 0.6247, 0.8259");
          values("0.04344, 0.04363, 0.04425, 0.04532, 0.04639, 0.04754, 0.04816, 0.04914, 0.05111, 0.06818",\
                 "0.04344, 0.04366, 0.04421, 0.04531, 0.04637, 0.04745, 0.04813, 0.04907, 0.05093, 0.06794",\
                 "0.04342, 0.04359, 0.04429, 0.0452, 0.0463, 0.04736, 0.04814, 0.04914, 0.05119, 0.06938",\
                 "0.04317, 0.04348, 0.04389, 0.04484, 0.04598, 0.04693, 0.04777, 0.04844, 0.05097, 0.07279",\
                 "0.043, 0.04318, 0.04355, 0.04428, 0.04538, 0.04635, 0.04719, 0.04815, 0.05146, 0.07843",\
                 "0.04292, 0.043, 0.04334, 0.04403, 0.04483, 0.04594, 0.04665, 0.04796, 0.0524, 0.08696",\
                 "0.04305, 0.04307, 0.04331, 0.04379, 0.04466, 0.04549, 0.04616, 0.04753, 0.05432, 0.1041",\
                 "0.04343, 0.04342, 0.04348, 0.04385, 0.04434, 0.04569, 0.04649, 0.04763, 0.0592, 0.1328",\
                 "0.04393, 0.0438, 0.04387, 0.04397, 0.04445, 0.04495, 0.04671, 0.04904, 0.06983, 0.1833",\
                 "0.04469, 0.04452, 0.04445, 0.04459, 0.04477, 0.04504, 0.04624, 0.05234, 0.09606, 0.2725");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.006694, 0.02668, 0.06484, 0.1243, 0.2077, 0.3175, 0.4558, 0.6247, 0.8259");
          values("0.06345, 0.06341, 0.06374, 0.06438, 0.06506, 0.06561, 0.066, 0.06626, 0.06644, 0.06657",\
                 "0.06343, 0.06347, 0.06375, 0.06438, 0.06507, 0.06562, 0.06601, 0.06627, 0.06645, 0.06658",\
                 "0.06309, 0.06309, 0.06336, 0.06401, 0.06471, 0.06526, 0.06565, 0.06591, 0.06609, 0.06622",\
                 "0.06268, 0.06265, 0.0629, 0.06354, 0.06424, 0.06479, 0.06518, 0.06546, 0.06564, 0.06578",\
                 "0.06234, 0.06228, 0.06255, 0.06313, 0.06379, 0.06436, 0.06477, 0.06507, 0.06528, 0.06543",\
                 "0.06232, 0.06225, 0.06239, 0.06284, 0.06346, 0.06402, 0.06447, 0.0648, 0.06505, 0.06521",\
                 "0.06284, 0.06263, 0.06254, 0.06285, 0.0634, 0.06388, 0.06435, 0.0647, 0.06497, 0.06516",\
                 "0.06366, 0.0633, 0.063, 0.06311, 0.06349, 0.06397, 0.0644, 0.06475, 0.06502, 0.06523",\
                 "0.06469, 0.06423, 0.06365, 0.06366, 0.06386, 0.06425, 0.06465, 0.06497, 0.06523, 0.06545",\
                 "0.06604, 0.06537, 0.06451, 0.06425, 0.06437, 0.06468, 0.06502, 0.06536, 0.06564, 0.06583");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.006694, 0.02668, 0.06484, 0.1243, 0.2077, 0.3175, 0.4558, 0.6247, 0.8259");
          values("0.04349, 0.04363, 0.04425, 0.04532, 0.04639, 0.04754, 0.0482, 0.04916, 0.05111, 0.06771",\
                 "0.04344, 0.04366, 0.04421, 0.04531, 0.04637, 0.04745, 0.04813, 0.04907, 0.05093, 0.06794",\
                 "0.04342, 0.04359, 0.04418, 0.04523, 0.0463, 0.04736, 0.04831, 0.04902, 0.05083, 0.06938",\
                 "0.04323, 0.04348, 0.04389, 0.04487, 0.04598, 0.04693, 0.04768, 0.04848, 0.05115, 0.07279",\
                 "0.043, 0.04316, 0.04364, 0.04433, 0.04542, 0.04632, 0.04728, 0.04884, 0.05164, 0.07831",\
                 "0.04292, 0.043, 0.04334, 0.04405, 0.04483, 0.04594, 0.04665, 0.04796, 0.0524, 0.08732",\
                 "0.04306, 0.04308, 0.0433, 0.04369, 0.0447, 0.04549, 0.04638, 0.0474, 0.05432, 0.104",\
                 "0.04342, 0.04339, 0.04358, 0.0437, 0.04434, 0.0459, 0.04658, 0.04781, 0.05938, 0.1326",\
                 "0.04393, 0.04379, 0.04391, 0.0441, 0.04423, 0.04497, 0.04651, 0.04897, 0.06983, 0.1835",\
                 "0.04469, 0.04452, 0.04452, 0.04459, 0.04477, 0.04536, 0.04602, 0.05224, 0.09606, 0.2725");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.006694, 0.02668, 0.06484, 0.1243, 0.2077, 0.3175, 0.4558, 0.6247, 0.8259");
          values("0.06887, 0.06879, 0.06895, 0.06949, 0.07011, 0.07067, 0.07107, 0.07136, 0.07156, 0.07171",\
                 "0.06889, 0.06878, 0.06898, 0.06953, 0.07015, 0.07072, 0.07111, 0.0714, 0.07161, 0.07175",\
                 "0.06874, 0.06865, 0.06886, 0.06939, 0.07004, 0.07058, 0.07099, 0.07128, 0.07147, 0.07162",\
                 "0.06838, 0.06831, 0.06846, 0.06902, 0.06965, 0.07021, 0.0706, 0.0709, 0.0711, 0.07125",\
                 "0.06801, 0.06792, 0.06814, 0.06868, 0.06934, 0.0699, 0.07031, 0.07059, 0.07079, 0.07094",\
                 "0.06779, 0.06772, 0.06792, 0.06848, 0.06916, 0.06971, 0.07012, 0.0704, 0.0706, 0.07074",\
                 "0.06763, 0.06759, 0.06782, 0.06841, 0.06912, 0.06966, 0.07007, 0.07035, 0.07053, 0.07067",\
                 "0.06773, 0.06767, 0.0679, 0.06848, 0.06918, 0.06973, 0.07013, 0.07041, 0.07059, 0.07073",\
                 "0.0679, 0.06787, 0.06813, 0.06872, 0.06936, 0.06992, 0.07033, 0.07062, 0.07082, 0.07095",\
                 "0.06824, 0.06817, 0.06846, 0.06903, 0.06972, 0.07028, 0.07067, 0.07094, 0.07114, 0.07128");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.006694, 0.02668, 0.06484, 0.1243, 0.2077, 0.3175, 0.4558, 0.6247, 0.8259");
          values("0.07303, 0.07316, 0.07369, 0.07452, 0.07555, 0.07652, 0.07731, 0.07847, 0.08152, 0.1097",\
                 "0.0729, 0.07309, 0.07368, 0.07442, 0.07554, 0.07638, 0.07724, 0.07829, 0.08116, 0.1102",\
                 "0.07276, 0.07291, 0.07344, 0.07416, 0.07525, 0.0762, 0.07706, 0.07813, 0.0813, 0.112",\
                 "0.07255, 0.07274, 0.07328, 0.07402, 0.07518, 0.07613, 0.07686, 0.07797, 0.08237, 0.1172",\
                 "0.07238, 0.07251, 0.07309, 0.07382, 0.07487, 0.07586, 0.07655, 0.0775, 0.08313, 0.127",\
                 "0.07205, 0.07219, 0.07272, 0.07357, 0.07458, 0.0755, 0.07628, 0.07729, 0.0854, 0.1442",\
                 "0.07181, 0.07197, 0.07257, 0.07328, 0.07426, 0.0751, 0.07616, 0.07721, 0.09138, 0.1775",\
                 "0.07175, 0.07192, 0.0725, 0.07332, 0.07415, 0.07508, 0.07591, 0.07845, 0.1065, 0.2389",\
                 "0.07195, 0.07212, 0.07249, 0.07325, 0.07437, 0.0755, 0.07613, 0.08342, 0.1396, 0.3453",\
                 "0.07229, 0.07246, 0.07303, 0.07344, 0.07437, 0.0755, 0.07788, 0.09999, 0.2255, 0.5141");
        }
      }

      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.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.006694, 0.02668, 0.06484, 0.1243, 0.2077, 0.3175, 0.4558, 0.6247, 0.8259");
          values("5.225, 5.308, 5.515, 5.79, 6.112, 6.485, 6.921, 7.432, 8.034, 8.738",\
                 "5.259, 5.342, 5.55, 5.824, 6.147, 6.52, 6.956, 7.467, 8.068, 8.772",\
                 "5.355, 5.437, 5.646, 5.921, 6.242, 6.617, 7.052, 7.563, 8.164, 8.869",\
                 "5.485, 5.567, 5.775, 6.05, 6.372, 6.746, 7.181, 7.692, 8.293, 8.997",\
                 "5.595, 5.678, 5.885, 6.161, 6.483, 6.857, 7.292, 7.803, 8.404, 9.109",\
                 "5.676, 5.759, 5.966, 6.241, 6.564, 6.937, 7.373, 7.884, 8.485, 9.19",\
                 "5.724, 5.807, 6.014, 6.289, 6.611, 6.985, 7.42, 7.931, 8.533, 9.237",\
                 "5.719, 5.802, 6.01, 6.284, 6.606, 6.979, 7.415, 7.926, 8.528, 9.233",\
                 "5.663, 5.745, 5.952, 6.228, 6.55, 6.923, 7.359, 7.87, 8.47, 9.176",\
                 "5.553, 5.636, 5.844, 6.118, 6.44, 6.814, 7.249, 7.76, 8.361, 9.066");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.006694, 0.02668, 0.06484, 0.1243, 0.2077, 0.3175, 0.4558, 0.6247, 0.8259");
          values("4.883, 4.95, 5.144, 5.474, 5.976, 6.677, 7.596, 8.752, 10.16, 11.84",\
                 "4.902, 4.969, 5.164, 5.494, 5.996, 6.696, 7.616, 8.771, 10.18, 11.86",\
                 "4.993, 5.06, 5.254, 5.584, 6.087, 6.787, 7.706, 8.862, 10.27, 11.95",\
                 "5.17, 5.237, 5.432, 5.761, 6.263, 6.964, 7.883, 9.038, 10.45, 12.13",\
                 "5.439, 5.507, 5.701, 6.031, 6.533, 7.233, 8.152, 9.308, 10.72, 12.4",\
                 "5.809, 5.876, 6.07, 6.401, 6.903, 7.603, 8.522, 9.678, 11.09, 12.77",\
                 "6.258, 6.325, 6.519, 6.849, 7.351, 8.052, 8.97, 10.13, 11.54, 13.22",\
                 "6.766, 6.834, 7.028, 7.358, 7.86, 8.561, 9.479, 10.64, 12.05, 13.73",\
                 "7.343, 7.41, 7.604, 7.934, 8.436, 9.137, 10.05, 11.21, 12.62, 14.3",\
                 "7.99, 8.058, 8.252, 8.583, 9.084, 9.784, 10.7, 11.86, 13.27, 14.95");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.006694, 0.02668, 0.06484, 0.1243, 0.2077, 0.3175, 0.4558, 0.6247, 0.8259");
          values("0.4466, 0.5062, 0.6646, 0.9056, 1.236, 1.674, 2.253, 3.008, 3.954, 5.102",\
                 "0.4464, 0.5062, 0.664, 0.9048, 1.235, 1.674, 2.255, 3.008, 3.95, 5.107",\
                 "0.4464, 0.5066, 0.6648, 0.9046, 1.235, 1.676, 2.255, 3.005, 3.954, 5.108",\
                 "0.4464, 0.5064, 0.6642, 0.9056, 1.236, 1.676, 2.255, 3.008, 3.954, 5.107",\
                 "0.4468, 0.5062, 0.6644, 0.9058, 1.235, 1.676, 2.255, 3.006, 3.954, 5.105",\
                 "0.4462, 0.5066, 0.6642, 0.9056, 1.235, 1.674, 2.255, 3.004, 3.954, 5.106",\
                 "0.447, 0.5068, 0.6642, 0.905, 1.237, 1.676, 2.256, 3.007, 3.952, 5.108",\
                 "0.4468, 0.5062, 0.6648, 0.904, 1.236, 1.674, 2.256, 3.008, 3.952, 5.11",\
                 "0.448, 0.506, 0.664, 0.906, 1.236, 1.674, 2.254, 3.004, 3.948, 5.108",\
                 "0.448, 0.508, 0.664, 0.906, 1.234, 1.676, 2.254, 3.006, 3.948, 5.102");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.006694, 0.02668, 0.06484, 0.1243, 0.2077, 0.3175, 0.4558, 0.6247, 0.8259");
          values("0.2872, 0.355, 0.6032, 1.123, 1.965, 3.157, 4.726, 6.702, 9.124, 12",\
                 "0.2864, 0.3552, 0.603, 1.122, 1.965, 3.158, 4.726, 6.706, 9.111, 12",\
                 "0.2878, 0.3548, 0.603, 1.122, 1.966, 3.157, 4.726, 6.7, 9.124, 12",\
                 "0.2868, 0.3546, 0.603, 1.122, 1.964, 3.156, 4.726, 6.706, 9.112, 12",\
                 "0.2868, 0.355, 0.6036, 1.123, 1.965, 3.157, 4.726, 6.707, 9.117, 12",\
                 "0.2864, 0.3544, 0.6036, 1.121, 1.965, 3.158, 4.727, 6.706, 9.116, 12",\
                 "0.2862, 0.3548, 0.6036, 1.121, 1.966, 3.156, 4.726, 6.7, 9.124, 12",\
                 "0.286, 0.354, 0.604, 1.122, 1.962, 3.156, 4.726, 6.706, 9.122, 12",\
                 "0.288, 0.354, 0.604, 1.122, 1.964, 3.158, 4.726, 6.696, 9.124, 12.01",\
                 "0.286, 0.356, 0.602, 1.12, 1.964, 3.156, 4.724, 6.698, 9.126, 11.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.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.006694, 0.02668, 0.06484, 0.1243, 0.2077, 0.3175, 0.4558, 0.6247, 0.8259");
          values("2.55, 2.634, 2.846, 3.124, 3.45, 3.826, 4.263, 4.776, 5.379, 6.084",\
                 "2.574, 2.659, 2.87, 3.148, 3.473, 3.85, 4.287, 4.8, 5.403, 6.108",\
                 "2.659, 2.744, 2.956, 3.233, 3.558, 3.935, 4.373, 4.885, 5.488, 6.194",\
                 "2.821, 2.905, 3.116, 3.394, 3.72, 4.096, 4.534, 5.047, 5.649, 6.355",\
                 "3.046, 3.13, 3.342, 3.62, 3.945, 4.321, 4.759, 5.272, 5.875, 6.58",\
                 "3.269, 3.354, 3.565, 3.843, 4.169, 4.545, 4.983, 5.495, 6.098, 6.804",\
                 "3.459, 3.544, 3.756, 4.034, 4.359, 4.735, 5.173, 5.686, 6.288, 6.994",\
                 "3.609, 3.693, 3.905, 4.183, 4.509, 4.886, 5.324, 5.837, 6.439, 7.145",\
                 "3.711, 3.796, 4.008, 4.286, 4.611, 4.988, 5.426, 5.939, 6.542, 7.247",\
                 "3.764, 3.849, 4.061, 4.339, 4.665, 5.042, 5.48, 5.993, 6.595, 7.301");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.006694, 0.02668, 0.06484, 0.1243, 0.2077, 0.3175, 0.4558, 0.6247, 0.8259");
          values("3.807, 3.892, 4.123, 4.48, 4.991, 5.694, 6.614, 7.77, 9.18, 10.86",\
                 "3.839, 3.924, 4.155, 4.512, 5.023, 5.725, 6.645, 7.801, 9.212, 10.89",\
                 "3.929, 4.014, 4.245, 4.602, 5.113, 5.816, 6.736, 7.892, 9.302, 10.98",\
                 "4.119, 4.204, 4.435, 4.792, 5.303, 6.005, 6.925, 8.081, 9.492, 11.17",\
                 "4.44, 4.524, 4.755, 5.113, 5.624, 6.326, 7.245, 8.402, 9.812, 11.49",\
                 "4.908, 4.993, 5.224, 5.581, 6.092, 6.795, 7.714, 8.87, 10.28, 11.96",\
                 "5.537, 5.621, 5.852, 6.209, 6.72, 7.422, 8.342, 9.498, 10.91, 12.59",\
                 "6.316, 6.401, 6.632, 6.99, 7.5, 8.203, 9.123, 10.28, 11.69, 13.37",\
                 "7.196, 7.282, 7.514, 7.872, 8.384, 9.086, 10.01, 11.16, 12.57, 14.25",\
                 "8.133, 8.22, 8.455, 8.815, 9.327, 10.03, 10.95, 12.1, 13.51, 15.2");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.006694, 0.02668, 0.06484, 0.1243, 0.2077, 0.3175, 0.4558, 0.6247, 0.8259");
          values("0.4594, 0.5192, 0.677, 0.9176, 1.248, 1.686, 2.265, 3.017, 3.961, 5.109",\
                 "0.4594, 0.5192, 0.6768, 0.9176, 1.248, 1.69, 2.266, 3.012, 3.955, 5.111",\
                 "0.4596, 0.519, 0.677, 0.9174, 1.248, 1.689, 2.267, 3.017, 3.961, 5.109",\
                 "0.4594, 0.5198, 0.6774, 0.9174, 1.249, 1.689, 2.266, 3.016, 3.961, 5.114",\
                 "0.4594, 0.519, 0.6774, 0.918, 1.249, 1.69, 2.267, 3.016, 3.961, 5.113",\
                 "0.4596, 0.5188, 0.6764, 0.9178, 1.248, 1.688, 2.267, 3.016, 3.961, 5.114",\
                 "0.4608, 0.5202, 0.6776, 0.9184, 1.248, 1.688, 2.267, 3.016, 3.959, 5.11",\
                 "0.4608, 0.5204, 0.6782, 0.9188, 1.248, 1.686, 2.266, 3.013, 3.956, 5.113",\
                 "0.461, 0.5206, 0.679, 0.9188, 1.249, 1.688, 2.266, 3.014, 3.954, 5.108",\
                 "0.462, 0.522, 0.68, 0.918, 1.248, 1.69, 2.268, 3.016, 3.956, 5.11");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.006694, 0.02668, 0.06484, 0.1243, 0.2077, 0.3175, 0.4558, 0.6247, 0.8259");
          values("0.373, 0.4514, 0.7016, 1.191, 2.001, 3.182, 4.751, 6.718, 9.131, 12.02",\
                 "0.3736, 0.4504, 0.7018, 1.191, 2.003, 3.182, 4.751, 6.726, 9.142, 12.01",\
                 "0.3742, 0.4506, 0.703, 1.191, 2.003, 3.183, 4.748, 6.724, 9.141, 12.01",\
                 "0.3748, 0.4506, 0.7008, 1.192, 2.003, 3.182, 4.751, 6.719, 9.141, 12.01",\
                 "0.374, 0.4512, 0.7044, 1.19, 2, 3.182, 4.751, 6.724, 9.135, 12.01",\
                 "0.3736, 0.4508, 0.701, 1.191, 2.001, 3.18, 4.749, 6.724, 9.133, 12.02",\
                 "0.3746, 0.4508, 0.7012, 1.191, 2.002, 3.183, 4.75, 6.718, 9.134, 12.02",\
                 "0.376, 0.454, 0.704, 1.192, 2.002, 3.182, 4.746, 6.726, 9.142, 12.01",\
                 "0.38, 0.456, 0.71, 1.192, 2.002, 3.182, 4.75, 6.718, 9.136, 12.01",\
                 "0.386, 0.466, 0.714, 1.196, 2.004, 3.178, 4.746, 6.724, 9.142, 12.01");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.006694, 0.02668, 0.06484, 0.1243, 0.2077, 0.3175, 0.4558, 0.6247, 0.8259");
          values("5.225, 5.308, 5.515, 5.79, 6.112, 6.485, 6.921, 7.432, 8.034, 8.738",\
                 "5.259, 5.342, 5.55, 5.824, 6.147, 6.52, 6.956, 7.467, 8.068, 8.772",\
                 "5.355, 5.437, 5.646, 5.921, 6.242, 6.617, 7.052, 7.563, 8.164, 8.869",\
                 "5.485, 5.567, 5.775, 6.05, 6.372, 6.746, 7.181, 7.692, 8.293, 8.997",\
                 "5.595, 5.678, 5.885, 6.161, 6.483, 6.857, 7.292, 7.803, 8.404, 9.109",\
                 "5.676, 5.759, 5.966, 6.241, 6.564, 6.937, 7.373, 7.884, 8.485, 9.19",\
                 "5.724, 5.807, 6.014, 6.289, 6.611, 6.985, 7.42, 7.931, 8.533, 9.237",\
                 "5.719, 5.802, 6.01, 6.284, 6.606, 6.979, 7.415, 7.926, 8.528, 9.233",\
                 "5.663, 5.745, 5.952, 6.228, 6.55, 6.923, 7.359, 7.87, 8.47, 9.176",\
                 "5.553, 5.636, 5.844, 6.118, 6.44, 6.814, 7.249, 7.76, 8.361, 9.066");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.006694, 0.02668, 0.06484, 0.1243, 0.2077, 0.3175, 0.4558, 0.6247, 0.8259");
          values("3.807, 3.892, 4.123, 4.48, 4.991, 5.694, 6.614, 7.77, 9.18, 10.86",\
                 "3.839, 3.924, 4.155, 4.512, 5.023, 5.725, 6.645, 7.801, 9.212, 10.89",\
                 "3.929, 4.014, 4.245, 4.602, 5.113, 5.816, 6.736, 7.892, 9.302, 10.98",\
                 "4.119, 4.204, 4.435, 4.792, 5.303, 6.005, 6.925, 8.081, 9.492, 11.17",\
                 "4.44, 4.524, 4.755, 5.113, 5.624, 6.326, 7.245, 8.402, 9.812, 11.49",\
                 "4.908, 4.993, 5.224, 5.581, 6.092, 6.795, 7.714, 8.87, 10.28, 11.96",\
                 "5.537, 5.621, 5.852, 6.209, 6.72, 7.422, 8.342, 9.498, 10.91, 12.59",\
                 "6.316, 6.401, 6.632, 6.99, 7.5, 8.203, 9.123, 10.28, 11.69, 13.37",\
                 "7.196, 7.282, 7.514, 7.872, 8.384, 9.086, 10.01, 11.16, 12.57, 14.25",\
                 "8.133, 8.22, 8.455, 8.815, 9.327, 10.03, 10.95, 12.1, 13.51, 15.2");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.006694, 0.02668, 0.06484, 0.1243, 0.2077, 0.3175, 0.4558, 0.6247, 0.8259");
          values("0.4594, 0.5192, 0.677, 0.9176, 1.248, 1.686, 2.265, 3.017, 3.961, 5.109",\
                 "0.4594, 0.5192, 0.6768, 0.9176, 1.248, 1.69, 2.266, 3.012, 3.955, 5.111",\
                 "0.4596, 0.519, 0.677, 0.9174, 1.248, 1.689, 2.267, 3.017, 3.961, 5.109",\
                 "0.4594, 0.5198, 0.6774, 0.9174, 1.249, 1.689, 2.266, 3.016, 3.961, 5.114",\
                 "0.4594, 0.519, 0.6774, 0.918, 1.249, 1.69, 2.267, 3.016, 3.961, 5.113",\
                 "0.4596, 0.5188, 0.6764, 0.9178, 1.248, 1.688, 2.267, 3.016, 3.961, 5.114",\
                 "0.4608, 0.5202, 0.6776, 0.9184, 1.248, 1.688, 2.267, 3.016, 3.959, 5.11",\
                 "0.4608, 0.5204, 0.6782, 0.9188, 1.248, 1.686, 2.266, 3.013, 3.956, 5.113",\
                 "0.461, 0.5206, 0.679, 0.9188, 1.249, 1.688, 2.266, 3.014, 3.954, 5.108",\
                 "0.462, 0.522, 0.68, 0.918, 1.248, 1.69, 2.268, 3.016, 3.956, 5.11");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.006694, 0.02668, 0.06484, 0.1243, 0.2077, 0.3175, 0.4558, 0.6247, 0.8259");
          values("0.373, 0.4514, 0.7016, 1.191, 2.001, 3.182, 4.751, 6.718, 9.131, 12.02",\
                 "0.3736, 0.4504, 0.7018, 1.191, 2.003, 3.182, 4.751, 6.726, 9.142, 12.01",\
                 "0.3742, 0.4506, 0.703, 1.191, 2.003, 3.183, 4.748, 6.724, 9.141, 12.01",\
                 "0.3748, 0.4506, 0.7008, 1.192, 2.003, 3.182, 4.751, 6.719, 9.141, 12.01",\
                 "0.374, 0.4512, 0.7044, 1.19, 2, 3.182, 4.751, 6.724, 9.135, 12.01",\
                 "0.3736, 0.4508, 0.701, 1.191, 2.001, 3.18, 4.749, 6.724, 9.133, 12.02",\
                 "0.3746, 0.4508, 0.7012, 1.191, 2.002, 3.183, 4.75, 6.718, 9.134, 12.02",\
                 "0.376, 0.454, 0.704, 1.192, 2.002, 3.182, 4.746, 6.726, 9.142, 12.01",\
                 "0.38, 0.456, 0.71, 1.192, 2.002, 3.182, 4.75, 6.718, 9.136, 12.01",\
                 "0.386, 0.466, 0.714, 1.196, 2.004, 3.178, 4.746, 6.724, 9.142, 12.01");
        }
      }

      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.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.006694, 0.02668, 0.06484, 0.1243, 0.2077, 0.3175, 0.4558, 0.6247, 0.8259");
          values("3.997, 4.082, 4.293, 4.571, 4.896, 5.272, 5.71, 6.222, 6.825, 7.53",\
                 "4.017, 4.101, 4.313, 4.591, 4.915, 5.292, 5.729, 6.242, 6.844, 7.55",\
                 "4.108, 4.192, 4.404, 4.681, 5.006, 5.383, 5.82, 6.333, 6.935, 7.641",\
                 "4.285, 4.369, 4.581, 4.858, 5.183, 5.559, 5.997, 6.509, 7.112, 7.817",\
                 "4.554, 4.638, 4.85, 5.128, 5.453, 5.829, 6.267, 6.779, 7.382, 8.087",\
                 "4.924, 5.008, 5.219, 5.497, 5.821, 6.198, 6.635, 7.148, 7.751, 8.456",\
                 "5.373, 5.457, 5.668, 5.946, 6.271, 6.646, 7.085, 7.597, 8.2, 8.905",\
                 "5.881, 5.966, 6.176, 6.454, 6.78, 7.155, 7.593, 8.106, 8.708, 9.414",\
                 "6.457, 6.541, 6.751, 7.029, 7.355, 7.731, 8.168, 8.681, 9.283, 9.989",\
                 "7.104, 7.188, 7.399, 7.677, 8.003, 8.379, 8.817, 9.329, 9.932, 10.64");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.006694, 0.02668, 0.06484, 0.1243, 0.2077, 0.3175, 0.4558, 0.6247, 0.8259");
          values("4.471, 4.555, 4.787, 5.144, 5.655, 6.357, 7.278, 8.434, 9.844, 11.52",\
                 "4.504, 4.59, 4.821, 5.179, 5.69, 6.392, 7.311, 8.468, 9.878, 11.56",\
                 "4.602, 4.687, 4.918, 5.276, 5.787, 6.489, 7.409, 8.565, 9.976, 11.66",\
                 "4.732, 4.817, 5.049, 5.407, 5.917, 6.62, 7.54, 8.696, 10.11, 11.79",\
                 "4.844, 4.929, 5.16, 5.518, 6.029, 6.731, 7.651, 8.807, 10.22, 11.9",\
                 "4.925, 5.01, 5.241, 5.599, 6.11, 6.812, 7.732, 8.888, 10.3, 11.98",\
                 "4.968, 5.053, 5.284, 5.641, 6.152, 6.854, 7.774, 8.93, 10.34, 12.02",\
                 "4.962, 5.047, 5.278, 5.635, 6.146, 6.849, 7.768, 8.924, 10.34, 12.02",\
                 "4.904, 4.989, 5.22, 5.578, 6.089, 6.791, 7.71, 8.867, 10.28, 11.96",\
                 "4.795, 4.879, 5.111, 5.468, 5.979, 6.681, 7.602, 8.758, 10.17, 11.85");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.006694, 0.02668, 0.06484, 0.1243, 0.2077, 0.3175, 0.4558, 0.6247, 0.8259");
          values("0.458, 0.5178, 0.6766, 0.9166, 1.247, 1.685, 2.264, 3.016, 3.961, 5.109",\
                 "0.459, 0.5188, 0.6756, 0.917, 1.248, 1.685, 2.262, 3.012, 3.957, 5.116",\
                 "0.459, 0.5186, 0.676, 0.9166, 1.248, 1.685, 2.262, 3.015, 3.96, 5.113",\
                 "0.459, 0.5186, 0.6754, 0.9168, 1.246, 1.685, 2.262, 3.012, 3.96, 5.113",\
                 "0.4578, 0.5188, 0.676, 0.9158, 1.248, 1.685, 2.265, 3.016, 3.96, 5.111",\
                 "0.459, 0.5184, 0.6766, 0.9164, 1.248, 1.685, 2.265, 3.012, 3.954, 5.112",\
                 "0.4586, 0.5184, 0.676, 0.9172, 1.247, 1.687, 2.265, 3.015, 3.96, 5.112",\
                 "0.4586, 0.519, 0.6756, 0.916, 1.248, 1.688, 2.266, 3.016, 3.96, 5.116",\
                 "0.458, 0.518, 0.676, 0.916, 1.244, 1.686, 2.266, 3.014, 3.956, 5.116",\
                 "0.46, 0.518, 0.676, 0.918, 1.248, 1.686, 2.264, 3.012, 3.954, 5.114");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.006694, 0.02668, 0.06484, 0.1243, 0.2077, 0.3175, 0.4558, 0.6247, 0.8259");
          values("0.3744, 0.4516, 0.7024, 1.191, 2.002, 3.182, 4.747, 6.718, 9.135, 12.02",\
                 "0.3742, 0.4518, 0.7032, 1.19, 2.002, 3.179, 4.747, 6.726, 9.139, 12.02",\
                 "0.376, 0.4518, 0.703, 1.19, 2.002, 3.183, 4.75, 6.722, 9.138, 12.02",\
                 "0.3742, 0.4522, 0.703, 1.191, 2, 3.183, 4.75, 6.723, 9.138, 12.01",\
                 "0.3742, 0.452, 0.7024, 1.191, 2.003, 3.182, 4.748, 6.726, 9.141, 12.01",\
                 "0.3748, 0.452, 0.7028, 1.193, 2.002, 3.183, 4.75, 6.721, 9.14, 12.01",\
                 "0.3748, 0.4518, 0.7018, 1.193, 2.001, 3.182, 4.75, 6.72, 9.13, 12.02",\
                 "0.3738, 0.4512, 0.702, 1.191, 2.002, 3.178, 4.748, 6.726, 9.142, 12.02",\
                 "0.374, 0.452, 0.702, 1.19, 2.002, 3.178, 4.744, 6.718, 9.13, 12.02",\
                 "0.374, 0.452, 0.702, 1.192, 2, 3.182, 4.74, 6.718, 9.13, 12.02");
        }
      }

      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.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.006694, 0.02668, 0.06484, 0.1243, 0.2077, 0.3175, 0.4558, 0.6247, 0.8259");
          values("4.57, 4.654, 4.861, 5.136, 5.459, 5.832, 6.267, 6.779, 7.38, 8.085",\
                 "4.602, 4.684, 4.893, 5.167, 5.489, 5.863, 6.299, 6.809, 7.411, 8.115",\
                 "4.691, 4.774, 4.982, 5.256, 5.578, 5.952, 6.387, 6.898, 7.5, 8.204",\
                 "4.881, 4.963, 5.172, 5.446, 5.768, 6.142, 6.578, 7.088, 7.69, 8.394",\
                 "5.202, 5.284, 5.492, 5.767, 6.089, 6.463, 6.899, 7.409, 8.011, 8.715",\
                 "5.672, 5.754, 5.962, 6.237, 6.559, 6.933, 7.369, 7.88, 8.481, 9.186",\
                 "6.297, 6.38, 6.588, 6.862, 7.184, 7.558, 7.994, 8.505, 9.106, 9.81",\
                 "7.046, 7.128, 7.337, 7.611, 7.933, 8.307, 8.742, 9.253, 9.855, 10.56",\
                 "7.86, 7.943, 8.151, 8.425, 8.747, 9.121, 9.557, 10.07, 10.67, 11.37",\
                 "8.72, 8.803, 9.011, 9.286, 9.608, 9.981, 10.42, 10.93, 11.53, 12.23");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.006694, 0.02668, 0.06484, 0.1243, 0.2077, 0.3175, 0.4558, 0.6247, 0.8259");
          values("3.435, 3.502, 3.696, 4.026, 4.528, 5.229, 6.148, 7.304, 8.715, 10.4",\
                 "3.459, 3.527, 3.721, 4.05, 4.553, 5.253, 6.171, 7.328, 8.738, 10.42",\
                 "3.545, 3.612, 3.806, 4.136, 4.638, 5.339, 6.257, 7.414, 8.823, 10.5",\
                 "3.707, 3.774, 3.968, 4.298, 4.8, 5.501, 6.419, 7.576, 8.986, 10.67",\
                 "3.933, 4, 4.195, 4.525, 5.027, 5.727, 6.646, 7.802, 9.213, 10.89",\
                 "4.16, 4.228, 4.421, 4.751, 5.253, 5.953, 6.872, 8.028, 9.439, 11.12",\
                 "4.354, 4.422, 4.616, 4.946, 5.449, 6.149, 7.067, 8.224, 9.634, 11.32",\
                 "4.51, 4.577, 4.771, 5.101, 5.603, 6.303, 7.222, 8.379, 9.789, 11.47",\
                 "4.618, 4.685, 4.879, 5.21, 5.712, 6.412, 7.33, 8.486, 9.897, 11.58",\
                 "4.678, 4.745, 4.939, 5.269, 5.771, 6.471, 7.391, 8.546, 9.957, 11.64");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.006694, 0.02668, 0.06484, 0.1243, 0.2077, 0.3175, 0.4558, 0.6247, 0.8259");
          values("0.4466, 0.5066, 0.6648, 0.9046, 1.235, 1.674, 2.255, 3.006, 3.953, 5.109",\
                 "0.4464, 0.5064, 0.6644, 0.9054, 1.235, 1.676, 2.255, 3.008, 3.954, 5.107",\
                 "0.447, 0.5058, 0.664, 0.9058, 1.237, 1.675, 2.254, 3.006, 3.951, 5.107",\
                 "0.4466, 0.5064, 0.665, 0.905, 1.235, 1.675, 2.254, 3.008, 3.951, 5.108",\
                 "0.4464, 0.5058, 0.6642, 0.905, 1.235, 1.675, 2.255, 3.008, 3.953, 5.105",\
                 "0.4468, 0.5066, 0.6646, 0.9046, 1.236, 1.675, 2.254, 3.008, 3.953, 5.103",\
                 "0.4468, 0.5068, 0.665, 0.9058, 1.237, 1.676, 2.254, 3.006, 3.95, 5.108",\
                 "0.446, 0.506, 0.666, 0.906, 1.234, 1.676, 2.254, 3.002, 3.954, 5.11",\
                 "0.448, 0.506, 0.664, 0.906, 1.234, 1.678, 2.254, 3.008, 3.952, 5.106",\
                 "0.446, 0.506, 0.666, 0.904, 1.236, 1.676, 2.252, 3.004, 3.954, 5.108");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.006694, 0.02668, 0.06484, 0.1243, 0.2077, 0.3175, 0.4558, 0.6247, 0.8259");
          values("0.286, 0.3542, 0.6032, 1.122, 1.965, 3.156, 4.726, 6.701, 9.123, 12.01",\
                 "0.2866, 0.355, 0.604, 1.121, 1.965, 3.155, 4.726, 6.701, 9.124, 12",\
                 "0.2872, 0.355, 0.6028, 1.122, 1.965, 3.157, 4.726, 6.701, 9.116, 12",\
                 "0.2868, 0.3546, 0.6026, 1.122, 1.964, 3.157, 4.726, 6.701, 9.124, 12.01",\
                 "0.2868, 0.3546, 0.6034, 1.12, 1.964, 3.156, 4.726, 6.702, 9.125, 12.01",\
                 "0.2868, 0.3544, 0.6036, 1.122, 1.965, 3.156, 4.726, 6.707, 9.117, 12",\
                 "0.287, 0.355, 0.6036, 1.122, 1.964, 3.156, 4.727, 6.701, 9.126, 12.01",\
                 "0.2862, 0.3548, 0.6034, 1.122, 1.963, 3.153, 4.72, 6.704, 9.122, 12.01",\
                 "0.2866, 0.356, 0.602, 1.122, 1.964, 3.15, 4.718, 6.702, 9.116, 12.01",\
                 "0.286, 0.356, 0.604, 1.12, 1.964, 3.156, 4.72, 6.694, 9.106, 12");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.006694, 0.02668, 0.06484, 0.1243, 0.2077, 0.3175, 0.4558, 0.6247, 0.8259");
          values("4.57, 4.654, 4.861, 5.136, 5.459, 5.832, 6.267, 6.779, 7.38, 8.085",\
                 "4.602, 4.684, 4.893, 5.167, 5.489, 5.863, 6.299, 6.809, 7.411, 8.115",\
                 "4.691, 4.774, 4.982, 5.256, 5.578, 5.952, 6.387, 6.898, 7.5, 8.204",\
                 "4.881, 4.963, 5.172, 5.446, 5.768, 6.142, 6.578, 7.088, 7.69, 8.394",\
                 "5.202, 5.284, 5.492, 5.767, 6.089, 6.463, 6.899, 7.409, 8.011, 8.715",\
                 "5.672, 5.754, 5.962, 6.237, 6.559, 6.933, 7.369, 7.88, 8.481, 9.186",\
                 "6.297, 6.38, 6.588, 6.862, 7.184, 7.558, 7.994, 8.505, 9.106, 9.81",\
                 "7.046, 7.128, 7.337, 7.611, 7.933, 8.307, 8.742, 9.253, 9.855, 10.56",\
                 "7.86, 7.943, 8.151, 8.425, 8.747, 9.121, 9.557, 10.07, 10.67, 11.37",\
                 "8.72, 8.803, 9.011, 9.286, 9.608, 9.981, 10.42, 10.93, 11.53, 12.23");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.006694, 0.02668, 0.06484, 0.1243, 0.2077, 0.3175, 0.4558, 0.6247, 0.8259");
          values("4.471, 4.555, 4.787, 5.144, 5.655, 6.357, 7.278, 8.434, 9.844, 11.52",\
                 "4.504, 4.59, 4.821, 5.179, 5.69, 6.392, 7.311, 8.468, 9.878, 11.56",\
                 "4.602, 4.687, 4.918, 5.276, 5.787, 6.489, 7.409, 8.565, 9.976, 11.66",\
                 "4.732, 4.817, 5.049, 5.407, 5.917, 6.62, 7.54, 8.696, 10.11, 11.79",\
                 "4.844, 4.929, 5.16, 5.518, 6.029, 6.731, 7.651, 8.807, 10.22, 11.9",\
                 "4.925, 5.01, 5.241, 5.599, 6.11, 6.812, 7.732, 8.888, 10.3, 11.98",\
                 "4.968, 5.053, 5.284, 5.641, 6.152, 6.854, 7.774, 8.93, 10.34, 12.02",\
                 "4.962, 5.047, 5.278, 5.635, 6.146, 6.849, 7.768, 8.924, 10.34, 12.02",\
                 "4.904, 4.989, 5.22, 5.578, 6.089, 6.791, 7.71, 8.867, 10.28, 11.96",\
                 "4.795, 4.879, 5.111, 5.468, 5.979, 6.681, 7.602, 8.758, 10.17, 11.85");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.006694, 0.02668, 0.06484, 0.1243, 0.2077, 0.3175, 0.4558, 0.6247, 0.8259");
          values("0.458, 0.5178, 0.6766, 0.9166, 1.247, 1.685, 2.264, 3.016, 3.961, 5.109",\
                 "0.459, 0.5188, 0.6756, 0.917, 1.248, 1.685, 2.262, 3.012, 3.957, 5.116",\
                 "0.459, 0.5186, 0.676, 0.9166, 1.248, 1.685, 2.262, 3.015, 3.96, 5.113",\
                 "0.459, 0.5186, 0.6754, 0.9168, 1.246, 1.685, 2.262, 3.012, 3.96, 5.113",\
                 "0.4578, 0.5188, 0.676, 0.9158, 1.248, 1.685, 2.265, 3.016, 3.96, 5.111",\
                 "0.459, 0.5184, 0.6766, 0.9164, 1.248, 1.685, 2.265, 3.012, 3.954, 5.112",\
                 "0.4586, 0.5184, 0.676, 0.9172, 1.247, 1.687, 2.265, 3.015, 3.96, 5.112",\
                 "0.4586, 0.519, 0.6756, 0.916, 1.248, 1.688, 2.266, 3.016, 3.96, 5.116",\
                 "0.458, 0.518, 0.676, 0.916, 1.244, 1.686, 2.266, 3.014, 3.956, 5.116",\
                 "0.46, 0.518, 0.676, 0.918, 1.248, 1.686, 2.264, 3.012, 3.954, 5.114");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.006694, 0.02668, 0.06484, 0.1243, 0.2077, 0.3175, 0.4558, 0.6247, 0.8259");
          values("0.3744, 0.4516, 0.7024, 1.191, 2.002, 3.182, 4.747, 6.718, 9.135, 12.02",\
                 "0.3742, 0.4518, 0.7032, 1.19, 2.002, 3.179, 4.747, 6.726, 9.139, 12.02",\
                 "0.376, 0.4518, 0.703, 1.19, 2.002, 3.183, 4.75, 6.722, 9.138, 12.02",\
                 "0.3742, 0.4522, 0.703, 1.191, 2, 3.183, 4.75, 6.723, 9.138, 12.01",\
                 "0.3742, 0.452, 0.7024, 1.191, 2.003, 3.182, 4.748, 6.726, 9.141, 12.01",\
                 "0.3748, 0.452, 0.7028, 1.193, 2.002, 3.183, 4.75, 6.721, 9.14, 12.01",\
                 "0.3748, 0.4518, 0.7018, 1.193, 2.001, 3.182, 4.75, 6.72, 9.13, 12.02",\
                 "0.3738, 0.4512, 0.702, 1.191, 2.002, 3.178, 4.748, 6.726, 9.142, 12.02",\
                 "0.374, 0.452, 0.702, 1.19, 2.002, 3.178, 4.744, 6.718, 9.13, 12.02",\
                 "0.374, 0.452, 0.702, 1.192, 2, 3.182, 4.74, 6.718, 9.13, 12.02");
        }
      }

      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.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.006694, 0.02668, 0.06484, 0.1243, 0.2077, 0.3175, 0.4558, 0.6247, 0.8259");
          values("5.055, 5.138, 5.347, 5.621, 5.943, 6.316, 6.752, 7.263, 7.865, 8.569",\
                 "5.085, 5.168, 5.376, 5.651, 5.973, 6.346, 6.782, 7.293, 7.895, 8.599",\
                 "5.177, 5.26, 5.468, 5.743, 6.065, 6.438, 6.874, 7.385, 7.986, 8.691",\
                 "5.306, 5.388, 5.596, 5.871, 6.193, 6.567, 7.002, 7.513, 8.114, 8.819",\
                 "5.413, 5.496, 5.704, 5.979, 6.3, 6.673, 7.109, 7.62, 8.222, 8.926",\
                 "5.486, 5.569, 5.777, 6.052, 6.374, 6.748, 7.183, 7.695, 8.295, 9",\
                 "5.521, 5.604, 5.812, 6.087, 6.409, 6.783, 7.219, 7.729, 8.33, 9.035",\
                 "5.51, 5.592, 5.801, 6.075, 6.398, 6.771, 7.206, 7.717, 8.319, 9.023",\
                 "5.444, 5.526, 5.734, 6.01, 6.332, 6.706, 7.141, 7.652, 8.253, 8.958",\
                 "5.321, 5.404, 5.612, 5.887, 6.209, 6.582, 7.018, 7.529, 8.131, 8.835");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.006694, 0.02668, 0.06484, 0.1243, 0.2077, 0.3175, 0.4558, 0.6247, 0.8259");
          values("4.788, 4.856, 5.049, 5.38, 5.882, 6.583, 7.502, 8.658, 10.07, 11.75",\
                 "4.799, 4.867, 5.061, 5.391, 5.893, 6.593, 7.512, 8.669, 10.08, 11.76",\
                 "4.877, 4.944, 5.138, 5.468, 5.97, 6.671, 7.59, 8.745, 10.16, 11.84",\
                 "5.075, 5.143, 5.336, 5.667, 6.169, 6.869, 7.788, 8.944, 10.35, 12.03",\
                 "5.41, 5.478, 5.671, 6.001, 6.503, 7.204, 8.123, 9.28, 10.69, 12.37",\
                 "5.883, 5.95, 6.144, 6.474, 6.976, 7.676, 8.595, 9.752, 11.16, 12.84",\
                 "6.46, 6.528, 6.722, 7.053, 7.554, 8.255, 9.174, 10.33, 11.74, 13.42",\
                 "7.094, 7.161, 7.355, 7.685, 8.188, 8.888, 9.806, 10.96, 12.37, 14.05",\
                 "7.779, 7.846, 8.041, 8.372, 8.874, 9.574, 10.49, 11.65, 13.06, 14.74",\
                 "8.524, 8.591, 8.786, 9.116, 9.617, 10.32, 11.24, 12.39, 13.8, 15.49");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.006694, 0.02668, 0.06484, 0.1243, 0.2077, 0.3175, 0.4558, 0.6247, 0.8259");
          values("0.4464, 0.5064, 0.6646, 0.9046, 1.236, 1.675, 2.254, 3.008, 3.954, 5.103",\
                 "0.4466, 0.5064, 0.665, 0.906, 1.235, 1.674, 2.255, 3.007, 3.95, 5.107",\
                 "0.4464, 0.5066, 0.6644, 0.9046, 1.237, 1.674, 2.255, 3.006, 3.954, 5.104",\
                 "0.4468, 0.5058, 0.6646, 0.9056, 1.236, 1.676, 2.253, 3.007, 3.954, 5.104",\
                 "0.447, 0.5068, 0.6648, 0.9044, 1.238, 1.675, 2.254, 3.007, 3.949, 5.108",\
                 "0.447, 0.506, 0.6644, 0.9058, 1.235, 1.676, 2.253, 3.006, 3.95, 5.104",\
                 "0.4466, 0.506, 0.665, 0.906, 1.236, 1.676, 2.254, 3.007, 3.952, 5.108",\
                 "0.447, 0.507, 0.6644, 0.905, 1.234, 1.676, 2.256, 3.006, 3.952, 5.108",\
                 "0.446, 0.506, 0.664, 0.904, 1.236, 1.674, 2.256, 3.006, 3.95, 5.11",\
                 "0.446, 0.506, 0.664, 0.906, 1.236, 1.676, 2.258, 3.004, 3.95, 5.104");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.006694, 0.02668, 0.06484, 0.1243, 0.2077, 0.3175, 0.4558, 0.6247, 0.8259");
          values("0.2864, 0.3546, 0.6028, 1.123, 1.965, 3.158, 4.727, 6.705, 9.12, 11.99",\
                 "0.2868, 0.3556, 0.6036, 1.121, 1.964, 3.156, 4.726, 6.702, 9.124, 12",\
                 "0.287, 0.355, 0.6036, 1.122, 1.964, 3.157, 4.726, 6.705, 9.113, 12",\
                 "0.2864, 0.3544, 0.6028, 1.123, 1.965, 3.158, 4.726, 6.707, 9.115, 12",\
                 "0.2868, 0.3548, 0.6038, 1.122, 1.966, 3.156, 4.726, 6.699, 9.116, 11.99",\
                 "0.2864, 0.3544, 0.603, 1.121, 1.965, 3.157, 4.727, 6.703, 9.124, 12.01",\
                 "0.2868, 0.3548, 0.603, 1.121, 1.964, 3.156, 4.726, 6.706, 9.112, 12",\
                 "0.288, 0.356, 0.602, 1.12, 1.966, 3.158, 4.726, 6.698, 9.124, 12.01",\
                 "0.286, 0.354, 0.602, 1.122, 1.966, 3.158, 4.728, 6.704, 9.124, 11.99",\
                 "0.286, 0.356, 0.604, 1.12, 1.966, 3.154, 4.722, 6.704, 9.122, 11.99");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.006694, 0.02668, 0.06484, 0.1243, 0.2077, 0.3175, 0.4558, 0.6247, 0.8259");
          values("2.573, 2.658, 2.869, 3.147, 3.472, 3.849, 4.287, 4.799, 5.402, 6.108",\
                 "2.6, 2.685, 2.896, 3.173, 3.499, 3.875, 4.313, 4.826, 5.429, 6.134",\
                 "2.672, 2.756, 2.968, 3.246, 3.571, 3.947, 4.385, 4.898, 5.5, 6.206",\
                 "2.797, 2.881, 3.093, 3.37, 3.696, 4.072, 4.51, 5.023, 5.625, 6.331",\
                 "2.971, 3.055, 3.267, 3.545, 3.87, 4.246, 4.684, 5.197, 5.8, 6.505",\
                 "3.153, 3.237, 3.449, 3.727, 4.052, 4.428, 4.866, 5.378, 5.981, 6.686",\
                 "3.314, 3.398, 3.61, 3.888, 4.213, 4.59, 5.027, 5.541, 6.143, 6.849",\
                 "3.442, 3.527, 3.739, 4.016, 4.342, 4.719, 5.157, 5.669, 6.272, 6.977",\
                 "3.529, 3.613, 3.825, 4.103, 4.429, 4.805, 5.243, 5.756, 6.359, 7.064",\
                 "3.567, 3.652, 3.864, 4.141, 4.468, 4.844, 5.282, 5.796, 6.398, 7.104");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.006694, 0.02668, 0.06484, 0.1243, 0.2077, 0.3175, 0.4558, 0.6247, 0.8259");
          values("4.029, 4.114, 4.345, 4.703, 5.214, 5.916, 6.836, 7.992, 9.403, 11.08",\
                 "4.049, 4.134, 4.365, 4.723, 5.234, 5.936, 6.856, 8.013, 9.423, 11.1",\
                 "4.148, 4.233, 4.464, 4.822, 5.333, 6.035, 6.955, 8.111, 9.522, 11.2",\
                 "4.35, 4.434, 4.665, 5.023, 5.534, 6.236, 7.156, 8.312, 9.723, 11.4",\
                 "4.676, 4.762, 4.993, 5.35, 5.862, 6.564, 7.484, 8.64, 10.05, 11.73",\
                 "5.149, 5.234, 5.465, 5.823, 6.333, 7.036, 7.956, 9.112, 10.52, 12.2",\
                 "5.779, 5.864, 6.094, 6.452, 6.964, 7.666, 8.586, 9.742, 11.15, 12.83",\
                 "6.569, 6.654, 6.885, 7.243, 7.754, 8.456, 9.376, 10.53, 11.94, 13.62",\
                 "7.477, 7.563, 7.796, 8.154, 8.664, 9.367, 10.29, 11.44, 12.85, 14.53",\
                 "8.451, 8.539, 8.774, 9.133, 9.645, 10.35, 11.27, 12.42, 13.83, 15.51");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.006694, 0.02668, 0.06484, 0.1243, 0.2077, 0.3175, 0.4558, 0.6247, 0.8259");
          values("0.4594, 0.5194, 0.6768, 0.917, 1.247, 1.686, 2.265, 3.017, 3.958, 5.115",\
                 "0.4594, 0.5192, 0.677, 0.9174, 1.248, 1.689, 2.267, 3.016, 3.961, 5.109",\
                 "0.4596, 0.519, 0.6774, 0.9172, 1.248, 1.69, 2.267, 3.017, 3.961, 5.112",\
                 "0.4598, 0.5192, 0.6772, 0.9172, 1.249, 1.689, 2.263, 3.016, 3.961, 5.114",\
                 "0.4594, 0.519, 0.6772, 0.9174, 1.249, 1.689, 2.266, 3.016, 3.961, 5.114",\
                 "0.4596, 0.519, 0.6768, 0.917, 1.249, 1.69, 2.267, 3.015, 3.958, 5.113",\
                 "0.46, 0.52, 0.6772, 0.918, 1.247, 1.687, 2.267, 3.016, 3.957, 5.109",\
                 "0.4604, 0.5198, 0.6776, 0.9192, 1.248, 1.686, 2.264, 3.011, 3.96, 5.112",\
                 "0.4606, 0.5208, 0.6782, 0.919, 1.25, 1.685, 2.268, 3.014, 3.954, 5.108",\
                 "0.462, 0.522, 0.678, 0.92, 1.248, 1.686, 2.266, 3.014, 3.958, 5.112");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.006694, 0.02668, 0.06484, 0.1243, 0.2077, 0.3175, 0.4558, 0.6247, 0.8259");
          values("0.375, 0.4522, 0.703, 1.192, 2.003, 3.183, 4.748, 6.725, 9.142, 12.01",\
                 "0.376, 0.4516, 0.703, 1.191, 2, 3.182, 4.75, 6.722, 9.138, 12.02",\
                 "0.375, 0.4518, 0.7028, 1.192, 2.002, 3.182, 4.75, 6.72, 9.141, 12.02",\
                 "0.3744, 0.4526, 0.7026, 1.193, 2.003, 3.182, 4.746, 6.726, 9.131, 12.01",\
                 "0.374, 0.4522, 0.703, 1.193, 2.003, 3.183, 4.747, 6.725, 9.139, 12.02",\
                 "0.375, 0.452, 0.7036, 1.191, 2.001, 3.183, 4.746, 6.719, 9.142, 12.02",\
                 "0.376, 0.452, 0.703, 1.191, 2.003, 3.182, 4.746, 6.724, 9.136, 12.02",\
                 "0.376, 0.452, 0.704, 1.192, 2.004, 3.184, 4.748, 6.724, 9.14, 12.02",\
                 "0.38, 0.456, 0.706, 1.194, 2.004, 3.184, 4.75, 6.724, 9.14, 12.01",\
                 "0.388, 0.464, 0.712, 1.198, 2.006, 3.178, 4.748, 6.728, 9.138, 12");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.006694, 0.02668, 0.06484, 0.1243, 0.2077, 0.3175, 0.4558, 0.6247, 0.8259");
          values("5.055, 5.138, 5.347, 5.621, 5.943, 6.316, 6.752, 7.263, 7.865, 8.569",\
                 "5.085, 5.168, 5.376, 5.651, 5.973, 6.346, 6.782, 7.293, 7.895, 8.599",\
                 "5.177, 5.26, 5.468, 5.743, 6.065, 6.438, 6.874, 7.385, 7.986, 8.691",\
                 "5.306, 5.388, 5.596, 5.871, 6.193, 6.567, 7.002, 7.513, 8.114, 8.819",\
                 "5.413, 5.496, 5.704, 5.979, 6.3, 6.673, 7.109, 7.62, 8.222, 8.926",\
                 "5.486, 5.569, 5.777, 6.052, 6.374, 6.748, 7.183, 7.695, 8.295, 9",\
                 "5.521, 5.604, 5.812, 6.087, 6.409, 6.783, 7.219, 7.729, 8.33, 9.035",\
                 "5.51, 5.592, 5.801, 6.075, 6.398, 6.771, 7.206, 7.717, 8.319, 9.023",\
                 "5.444, 5.526, 5.734, 6.01, 6.332, 6.706, 7.141, 7.652, 8.253, 8.958",\
                 "5.321, 5.404, 5.612, 5.887, 6.209, 6.582, 7.018, 7.529, 8.131, 8.835");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.006694, 0.02668, 0.06484, 0.1243, 0.2077, 0.3175, 0.4558, 0.6247, 0.8259");
          values("4.029, 4.114, 4.345, 4.703, 5.214, 5.916, 6.836, 7.992, 9.403, 11.08",\
                 "4.049, 4.134, 4.365, 4.723, 5.234, 5.936, 6.856, 8.013, 9.423, 11.1",\
                 "4.148, 4.233, 4.464, 4.822, 5.333, 6.035, 6.955, 8.111, 9.522, 11.2",\
                 "4.35, 4.434, 4.665, 5.023, 5.534, 6.236, 7.156, 8.312, 9.723, 11.4",\
                 "4.676, 4.762, 4.993, 5.35, 5.862, 6.564, 7.484, 8.64, 10.05, 11.73",\
                 "5.149, 5.234, 5.465, 5.823, 6.333, 7.036, 7.956, 9.112, 10.52, 12.2",\
                 "5.779, 5.864, 6.094, 6.452, 6.964, 7.666, 8.586, 9.742, 11.15, 12.83",\
                 "6.569, 6.654, 6.885, 7.243, 7.754, 8.456, 9.376, 10.53, 11.94, 13.62",\
                 "7.477, 7.563, 7.796, 8.154, 8.664, 9.367, 10.29, 11.44, 12.85, 14.53",\
                 "8.451, 8.539, 8.774, 9.133, 9.645, 10.35, 11.27, 12.42, 13.83, 15.51");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.006694, 0.02668, 0.06484, 0.1243, 0.2077, 0.3175, 0.4558, 0.6247, 0.8259");
          values("0.4594, 0.5194, 0.6768, 0.917, 1.247, 1.686, 2.265, 3.017, 3.958, 5.115",\
                 "0.4594, 0.5192, 0.677, 0.9174, 1.248, 1.689, 2.267, 3.016, 3.961, 5.109",\
                 "0.4596, 0.519, 0.6774, 0.9172, 1.248, 1.69, 2.267, 3.017, 3.961, 5.112",\
                 "0.4598, 0.5192, 0.6772, 0.9172, 1.249, 1.689, 2.263, 3.016, 3.961, 5.114",\
                 "0.4594, 0.519, 0.6772, 0.9174, 1.249, 1.689, 2.266, 3.016, 3.961, 5.114",\
                 "0.4596, 0.519, 0.6768, 0.917, 1.249, 1.69, 2.267, 3.015, 3.958, 5.113",\
                 "0.46, 0.52, 0.6772, 0.918, 1.247, 1.687, 2.267, 3.016, 3.957, 5.109",\
                 "0.4604, 0.5198, 0.6776, 0.9192, 1.248, 1.686, 2.264, 3.011, 3.96, 5.112",\
                 "0.4606, 0.5208, 0.6782, 0.919, 1.25, 1.685, 2.268, 3.014, 3.954, 5.108",\
                 "0.462, 0.522, 0.678, 0.92, 1.248, 1.686, 2.266, 3.014, 3.958, 5.112");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.006694, 0.02668, 0.06484, 0.1243, 0.2077, 0.3175, 0.4558, 0.6247, 0.8259");
          values("0.375, 0.4522, 0.703, 1.192, 2.003, 3.183, 4.748, 6.725, 9.142, 12.01",\
                 "0.376, 0.4516, 0.703, 1.191, 2, 3.182, 4.75, 6.722, 9.138, 12.02",\
                 "0.375, 0.4518, 0.7028, 1.192, 2.002, 3.182, 4.75, 6.72, 9.141, 12.02",\
                 "0.3744, 0.4526, 0.7026, 1.193, 2.003, 3.182, 4.746, 6.726, 9.131, 12.01",\
                 "0.374, 0.4522, 0.703, 1.193, 2.003, 3.183, 4.747, 6.725, 9.139, 12.02",\
                 "0.375, 0.452, 0.7036, 1.191, 2.001, 3.183, 4.746, 6.719, 9.142, 12.02",\
                 "0.376, 0.452, 0.703, 1.191, 2.003, 3.182, 4.746, 6.724, 9.136, 12.02",\
                 "0.376, 0.452, 0.704, 1.192, 2.004, 3.184, 4.748, 6.724, 9.14, 12.02",\
                 "0.38, 0.456, 0.706, 1.194, 2.004, 3.184, 4.75, 6.724, 9.14, 12.01",\
                 "0.388, 0.464, 0.712, 1.198, 2.006, 3.178, 4.748, 6.728, 9.138, 12");
        }
      }

      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.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.006694, 0.02668, 0.06484, 0.1243, 0.2077, 0.3175, 0.4558, 0.6247, 0.8259");
          values("3.903, 3.988, 4.199, 4.477, 4.802, 5.178, 5.616, 6.128, 6.731, 7.436",\
                 "3.914, 3.998, 4.21, 4.488, 4.812, 5.189, 5.626, 6.139, 6.741, 7.447",\
                 "3.992, 4.076, 4.287, 4.565, 4.89, 5.266, 5.704, 6.216, 6.819, 7.524",\
                 "4.19, 4.274, 4.485, 4.764, 5.089, 5.465, 5.902, 6.415, 7.017, 7.723",\
                 "4.525, 4.609, 4.82, 5.098, 5.423, 5.799, 6.237, 6.749, 7.352, 8.057",\
                 "4.997, 5.082, 5.293, 5.571, 5.896, 6.272, 6.71, 7.222, 7.825, 8.531",\
                 "5.576, 5.66, 5.871, 6.148, 6.474, 6.85, 7.288, 7.8, 8.403, 9.108",\
                 "6.208, 6.292, 6.503, 6.781, 7.106, 7.482, 7.92, 8.433, 9.035, 9.741",\
                 "6.894, 6.978, 7.189, 7.467, 7.792, 8.169, 8.606, 9.119, 9.721, 10.43",\
                 "7.637, 7.722, 7.932, 8.211, 8.536, 8.912, 9.349, 9.862, 10.46, 11.17");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.006694, 0.02668, 0.06484, 0.1243, 0.2077, 0.3175, 0.4558, 0.6247, 0.8259");
          values("4.292, 4.377, 4.608, 4.965, 5.476, 6.179, 7.098, 8.255, 9.665, 11.35",\
                 "4.322, 4.407, 4.638, 4.995, 5.506, 6.209, 7.129, 8.285, 9.695, 11.38",\
                 "4.415, 4.5, 4.731, 5.088, 5.599, 6.301, 7.221, 8.378, 9.788, 11.47",\
                 "4.543, 4.628, 4.86, 5.216, 5.727, 6.43, 7.349, 8.505, 9.916, 11.6",\
                 "4.651, 4.735, 4.966, 5.323, 5.834, 6.537, 7.457, 8.612, 10.02, 11.7",\
                 "4.724, 4.809, 5.04, 5.397, 5.908, 6.61, 7.53, 8.687, 10.1, 11.78",\
                 "4.757, 4.842, 5.072, 5.43, 5.94, 6.643, 7.563, 8.719, 10.13, 11.81",\
                 "4.746, 4.831, 5.062, 5.419, 5.929, 6.632, 7.552, 8.708, 10.12, 11.8",\
                 "4.679, 4.764, 4.996, 5.353, 5.864, 6.566, 7.485, 8.642, 10.05, 11.73",\
                 "4.558, 4.642, 4.873, 5.231, 5.742, 6.444, 7.364, 8.52, 9.93, 11.61");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.006694, 0.02668, 0.06484, 0.1243, 0.2077, 0.3175, 0.4558, 0.6247, 0.8259");
          values("0.4586, 0.5186, 0.6762, 0.9166, 1.248, 1.685, 2.262, 3.015, 3.96, 5.113",\
                 "0.4588, 0.5184, 0.6758, 0.9168, 1.248, 1.687, 2.265, 3.016, 3.961, 5.111",\
                 "0.4592, 0.5178, 0.6756, 0.917, 1.248, 1.688, 2.265, 3.012, 3.957, 5.116",\
                 "0.459, 0.5186, 0.6764, 0.9164, 1.247, 1.688, 2.264, 3.015, 3.96, 5.115",\
                 "0.459, 0.5186, 0.6762, 0.9168, 1.248, 1.685, 2.265, 3.012, 3.955, 5.116",\
                 "0.459, 0.5186, 0.6758, 0.9158, 1.248, 1.685, 2.262, 3.012, 3.956, 5.112",\
                 "0.4586, 0.5186, 0.6766, 0.9172, 1.247, 1.687, 2.265, 3.012, 3.956, 5.112",\
                 "0.458, 0.52, 0.676, 0.916, 1.248, 1.688, 2.266, 3.016, 3.96, 5.116",\
                 "0.458, 0.52, 0.676, 0.918, 1.25, 1.684, 2.266, 3.016, 3.96, 5.114",\
                 "0.46, 0.518, 0.676, 0.916, 1.248, 1.684, 2.264, 3.014, 3.956, 5.114");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.006694, 0.02668, 0.06484, 0.1243, 0.2077, 0.3175, 0.4558, 0.6247, 0.8259");
          values("0.3734, 0.4506, 0.7018, 1.191, 2.003, 3.183, 4.747, 6.726, 9.141, 12.01",\
                 "0.374, 0.4514, 0.701, 1.19, 2.001, 3.183, 4.748, 6.725, 9.14, 12.01",\
                 "0.3728, 0.4516, 0.7018, 1.191, 2.002, 3.18, 4.748, 6.723, 9.14, 12.01",\
                 "0.3732, 0.4506, 0.7014, 1.19, 2.001, 3.179, 4.749, 6.724, 9.135, 12.02",\
                 "0.3732, 0.4512, 0.7018, 1.191, 2.002, 3.183, 4.749, 6.724, 9.135, 12.02",\
                 "0.3746, 0.4506, 0.7046, 1.19, 2.002, 3.182, 4.747, 6.726, 9.131, 12.01",\
                 "0.3734, 0.4504, 0.702, 1.192, 2.002, 3.183, 4.746, 6.725, 9.142, 12.01",\
                 "0.3732, 0.4508, 0.7006, 1.192, 1.999, 3.18, 4.75, 6.722, 9.134, 12.02",\
                 "0.374, 0.452, 0.702, 1.19, 2, 3.176, 4.742, 6.724, 9.14, 12.02",\
                 "0.374, 0.452, 0.7, 1.19, 2.004, 3.182, 4.742, 6.718, 9.134, 12.02");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.006694, 0.02668, 0.06484, 0.1243, 0.2077, 0.3175, 0.4558, 0.6247, 0.8259");
          values("4.78, 4.863, 5.071, 5.345, 5.667, 6.041, 6.477, 6.988, 7.589, 8.293",\
                 "4.8, 4.882, 5.09, 5.365, 5.687, 6.061, 6.496, 7.007, 7.609, 8.314",\
                 "4.898, 4.98, 5.188, 5.463, 5.786, 6.159, 6.595, 7.106, 7.707, 8.411",\
                 "5.099, 5.182, 5.39, 5.664, 5.987, 6.36, 6.796, 7.307, 7.908, 8.613",\
                 "5.427, 5.509, 5.717, 5.992, 6.315, 6.688, 7.123, 7.635, 8.236, 8.94",\
                 "5.9, 5.983, 6.191, 6.465, 6.787, 7.161, 7.597, 8.108, 8.709, 9.413",\
                 "6.529, 6.611, 6.82, 7.094, 7.416, 7.79, 8.225, 8.736, 9.337, 10.04",\
                 "7.298, 7.381, 7.589, 7.864, 8.186, 8.56, 8.994, 9.506, 10.11, 10.81",\
                 "8.148, 8.231, 8.439, 8.713, 9.036, 9.409, 9.845, 10.36, 10.96, 11.66",\
                 "9.048, 9.131, 9.339, 9.612, 9.935, 10.31, 10.74, 11.25, 11.86, 12.56");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.006694, 0.02668, 0.06484, 0.1243, 0.2077, 0.3175, 0.4558, 0.6247, 0.8259");
          values("3.459, 3.526, 3.72, 4.05, 4.552, 5.252, 6.171, 7.327, 8.738, 10.42",\
                 "3.485, 3.553, 3.747, 4.077, 4.578, 5.279, 6.198, 7.354, 8.764, 10.45",\
                 "3.557, 3.624, 3.818, 4.148, 4.65, 5.351, 6.27, 7.426, 8.837, 10.52",\
                 "3.682, 3.75, 3.943, 4.274, 4.776, 5.476, 6.394, 7.551, 8.961, 10.64",\
                 "3.857, 3.925, 4.119, 4.449, 4.951, 5.651, 6.57, 7.726, 9.136, 10.82",\
                 "4.041, 4.109, 4.302, 4.632, 5.135, 5.835, 6.754, 7.91, 9.321, 11",\
                 "4.205, 4.272, 4.467, 4.797, 5.298, 5.999, 6.917, 8.074, 9.485, 11.17",\
                 "4.338, 4.405, 4.599, 4.929, 5.43, 6.13, 7.05, 8.206, 9.616, 11.3",\
                 "4.428, 4.495, 4.689, 5.02, 5.521, 6.222, 7.139, 8.295, 9.705, 11.39",\
                 "4.472, 4.539, 4.733, 5.063, 5.563, 6.264, 7.183, 8.34, 9.75, 11.43");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.006694, 0.02668, 0.06484, 0.1243, 0.2077, 0.3175, 0.4558, 0.6247, 0.8259");
          values("0.4466, 0.506, 0.6646, 0.9058, 1.238, 1.676, 2.255, 3.008, 3.953, 5.109",\
                 "0.4462, 0.5062, 0.664, 0.906, 1.236, 1.675, 2.256, 3.008, 3.953, 5.109",\
                 "0.4466, 0.5062, 0.664, 0.9058, 1.235, 1.674, 2.255, 3.008, 3.952, 5.106",\
                 "0.4462, 0.5064, 0.6642, 0.9056, 1.235, 1.675, 2.255, 3.004, 3.953, 5.107",\
                 "0.4462, 0.5066, 0.6642, 0.9058, 1.235, 1.674, 2.255, 3.005, 3.949, 5.108",\
                 "0.4464, 0.507, 0.6646, 0.9056, 1.235, 1.675, 2.255, 3.003, 3.949, 5.103",\
                 "0.4468, 0.5064, 0.665, 0.9054, 1.238, 1.674, 2.256, 3.008, 3.952, 5.104",\
                 "0.446, 0.506, 0.664, 0.906, 1.234, 1.674, 2.254, 3.004, 3.952, 5.11",\
                 "0.446, 0.506, 0.664, 0.906, 1.236, 1.678, 2.258, 3.008, 3.95, 5.11",\
                 "0.446, 0.506, 0.664, 0.906, 1.236, 1.676, 2.254, 3.006, 3.952, 5.108");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.006694, 0.02668, 0.06484, 0.1243, 0.2077, 0.3175, 0.4558, 0.6247, 0.8259");
          values("0.2868, 0.3544, 0.6036, 1.122, 1.965, 3.158, 4.726, 6.707, 9.113, 12",\
                 "0.287, 0.3546, 0.603, 1.121, 1.964, 3.157, 4.726, 6.706, 9.116, 12",\
                 "0.287, 0.3544, 0.6042, 1.121, 1.964, 3.157, 4.725, 6.703, 9.122, 12.01",\
                 "0.2864, 0.3546, 0.6026, 1.122, 1.965, 3.158, 4.726, 6.702, 9.124, 12",\
                 "0.2868, 0.3548, 0.6044, 1.122, 1.965, 3.158, 4.727, 6.705, 9.12, 11.99",\
                 "0.2868, 0.3544, 0.6026, 1.121, 1.965, 3.153, 4.722, 6.702, 9.123, 12.01",\
                 "0.286, 0.3562, 0.6036, 1.123, 1.964, 3.157, 4.727, 6.696, 9.124, 12",\
                 "0.2866, 0.3548, 0.6038, 1.12, 1.964, 3.155, 4.725, 6.706, 9.12, 12.01",\
                 "0.2874, 0.3556, 0.6028, 1.122, 1.964, 3.152, 4.72, 6.7, 9.112, 12",\
                 "0.286, 0.356, 0.602, 1.122, 1.964, 3.154, 4.724, 6.696, 9.106, 11.98");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.006694, 0.02668, 0.06484, 0.1243, 0.2077, 0.3175, 0.4558, 0.6247, 0.8259");
          values("4.78, 4.863, 5.071, 5.345, 5.667, 6.041, 6.477, 6.988, 7.589, 8.293",\
                 "4.8, 4.882, 5.09, 5.365, 5.687, 6.061, 6.496, 7.007, 7.609, 8.314",\
                 "4.898, 4.98, 5.188, 5.463, 5.786, 6.159, 6.595, 7.106, 7.707, 8.411",\
                 "5.099, 5.182, 5.39, 5.664, 5.987, 6.36, 6.796, 7.307, 7.908, 8.613",\
                 "5.427, 5.509, 5.717, 5.992, 6.315, 6.688, 7.123, 7.635, 8.236, 8.94",\
                 "5.9, 5.983, 6.191, 6.465, 6.787, 7.161, 7.597, 8.108, 8.709, 9.413",\
                 "6.529, 6.611, 6.82, 7.094, 7.416, 7.79, 8.225, 8.736, 9.337, 10.04",\
                 "7.298, 7.381, 7.589, 7.864, 8.186, 8.56, 8.994, 9.506, 10.11, 10.81",\
                 "8.148, 8.231, 8.439, 8.713, 9.036, 9.409, 9.845, 10.36, 10.96, 11.66",\
                 "9.048, 9.131, 9.339, 9.612, 9.935, 10.31, 10.74, 11.25, 11.86, 12.56");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.006694, 0.02668, 0.06484, 0.1243, 0.2077, 0.3175, 0.4558, 0.6247, 0.8259");
          values("4.292, 4.377, 4.608, 4.965, 5.476, 6.179, 7.098, 8.255, 9.665, 11.35",\
                 "4.322, 4.407, 4.638, 4.995, 5.506, 6.209, 7.129, 8.285, 9.695, 11.38",\
                 "4.415, 4.5, 4.731, 5.088, 5.599, 6.301, 7.221, 8.378, 9.788, 11.47",\
                 "4.543, 4.628, 4.86, 5.216, 5.727, 6.43, 7.349, 8.505, 9.916, 11.6",\
                 "4.651, 4.735, 4.966, 5.323, 5.834, 6.537, 7.457, 8.612, 10.02, 11.7",\
                 "4.724, 4.809, 5.04, 5.397, 5.908, 6.61, 7.53, 8.687, 10.1, 11.78",\
                 "4.757, 4.842, 5.072, 5.43, 5.94, 6.643, 7.563, 8.719, 10.13, 11.81",\
                 "4.746, 4.831, 5.062, 5.419, 5.929, 6.632, 7.552, 8.708, 10.12, 11.8",\
                 "4.679, 4.764, 4.996, 5.353, 5.864, 6.566, 7.485, 8.642, 10.05, 11.73",\
                 "4.558, 4.642, 4.873, 5.231, 5.742, 6.444, 7.364, 8.52, 9.93, 11.61");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.006694, 0.02668, 0.06484, 0.1243, 0.2077, 0.3175, 0.4558, 0.6247, 0.8259");
          values("0.4586, 0.5186, 0.6762, 0.9166, 1.248, 1.685, 2.262, 3.015, 3.96, 5.113",\
                 "0.4588, 0.5184, 0.6758, 0.9168, 1.248, 1.687, 2.265, 3.016, 3.961, 5.111",\
                 "0.4592, 0.5178, 0.6756, 0.917, 1.248, 1.688, 2.265, 3.012, 3.957, 5.116",\
                 "0.459, 0.5186, 0.6764, 0.9164, 1.247, 1.688, 2.264, 3.015, 3.96, 5.115",\
                 "0.459, 0.5186, 0.6762, 0.9168, 1.248, 1.685, 2.265, 3.012, 3.955, 5.116",\
                 "0.459, 0.5186, 0.6758, 0.9158, 1.248, 1.685, 2.262, 3.012, 3.956, 5.112",\
                 "0.4586, 0.5186, 0.6766, 0.9172, 1.247, 1.687, 2.265, 3.012, 3.956, 5.112",\
                 "0.458, 0.52, 0.676, 0.916, 1.248, 1.688, 2.266, 3.016, 3.96, 5.116",\
                 "0.458, 0.52, 0.676, 0.918, 1.25, 1.684, 2.266, 3.016, 3.96, 5.114",\
                 "0.46, 0.518, 0.676, 0.916, 1.248, 1.684, 2.264, 3.014, 3.956, 5.114");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.006694, 0.02668, 0.06484, 0.1243, 0.2077, 0.3175, 0.4558, 0.6247, 0.8259");
          values("0.3734, 0.4506, 0.7018, 1.191, 2.003, 3.183, 4.747, 6.726, 9.141, 12.01",\
                 "0.374, 0.4514, 0.701, 1.19, 2.001, 3.183, 4.748, 6.725, 9.14, 12.01",\
                 "0.3728, 0.4516, 0.7018, 1.191, 2.002, 3.18, 4.748, 6.723, 9.14, 12.01",\
                 "0.3732, 0.4506, 0.7014, 1.19, 2.001, 3.179, 4.749, 6.724, 9.135, 12.02",\
                 "0.3732, 0.4512, 0.7018, 1.191, 2.002, 3.183, 4.749, 6.724, 9.135, 12.02",\
                 "0.3746, 0.4506, 0.7046, 1.19, 2.002, 3.182, 4.747, 6.726, 9.131, 12.01",\
                 "0.3734, 0.4504, 0.702, 1.192, 2.002, 3.183, 4.746, 6.725, 9.142, 12.01",\
                 "0.3732, 0.4508, 0.7006, 1.192, 1.999, 3.18, 4.75, 6.722, 9.134, 12.02",\
                 "0.374, 0.452, 0.702, 1.19, 2, 3.176, 4.742, 6.724, 9.14, 12.02",\
                 "0.374, 0.452, 0.7, 1.19, 2.004, 3.182, 4.742, 6.718, 9.134, 12.02");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.006694, 0.02668, 0.06484, 0.1243, 0.2077, 0.3175, 0.4558, 0.6247, 0.8259");
          values("2.18, 2.264, 2.475, 2.753, 3.078, 3.454, 3.891, 4.404, 5.006, 5.711",\
                 "2.211, 2.296, 2.507, 2.784, 3.109, 3.485, 3.922, 4.435, 5.037, 5.743",\
                 "2.307, 2.391, 2.602, 2.88, 3.204, 3.581, 4.018, 4.531, 5.133, 5.839",\
                 "2.457, 2.541, 2.753, 3.029, 3.355, 3.731, 4.168, 4.681, 5.283, 5.989",\
                 "2.598, 2.683, 2.894, 3.172, 3.497, 3.872, 4.31, 4.823, 5.425, 6.131",\
                 "2.71, 2.794, 3.005, 3.283, 3.608, 3.984, 4.421, 4.934, 5.536, 6.242",\
                 "2.784, 2.867, 3.078, 3.354, 3.679, 4.056, 4.494, 5.007, 5.61, 6.315",\
                 "2.812, 2.896, 3.107, 3.383, 3.708, 4.084, 4.521, 5.033, 5.636, 6.341",\
                 "2.793, 2.877, 3.086, 3.364, 3.688, 4.064, 4.501, 5.013, 5.616, 6.321",\
                 "2.72, 2.804, 3.013, 3.29, 3.615, 3.99, 4.427, 4.94, 5.542, 6.248");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.006694, 0.02668, 0.06484, 0.1243, 0.2077, 0.3175, 0.4558, 0.6247, 0.8259");
          values("2.777, 2.845, 3.039, 3.369, 3.871, 4.572, 5.49, 6.647, 8.057, 9.738",\
                 "2.8, 2.867, 3.062, 3.392, 3.894, 4.594, 5.513, 6.669, 8.079, 9.761",\
                 "2.891, 2.958, 3.152, 3.482, 3.984, 4.685, 5.603, 6.76, 8.17, 9.852",\
                 "3.062, 3.13, 3.324, 3.654, 4.156, 4.856, 5.775, 6.932, 8.342, 10.02",\
                 "3.329, 3.396, 3.59, 3.921, 4.423, 5.123, 6.042, 7.198, 8.608, 10.29",\
                 "3.702, 3.77, 3.964, 4.294, 4.796, 5.497, 6.415, 7.571, 8.981, 10.66",\
                 "4.179, 4.246, 4.442, 4.772, 5.273, 5.974, 6.893, 8.048, 9.46, 11.14",\
                 "4.728, 4.797, 4.992, 5.323, 5.825, 6.525, 7.444, 8.6, 10.01, 11.69",\
                 "5.344, 5.414, 5.611, 5.941, 6.443, 7.143, 8.062, 9.218, 10.63, 12.31",\
                 "6.032, 6.103, 6.301, 6.633, 7.133, 7.833, 8.751, 9.908, 11.32, 13");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.006694, 0.02668, 0.06484, 0.1243, 0.2077, 0.3175, 0.4558, 0.6247, 0.8259");
          values("0.4584, 0.5182, 0.676, 0.9166, 1.247, 1.687, 2.264, 3.012, 3.955, 5.114",\
                 "0.4588, 0.518, 0.6762, 0.917, 1.247, 1.687, 2.266, 3.016, 3.961, 5.108",\
                 "0.4586, 0.518, 0.6764, 0.916, 1.248, 1.688, 2.264, 3.012, 3.958, 5.109",\
                 "0.4582, 0.5182, 0.6756, 0.9166, 1.247, 1.685, 2.262, 3.016, 3.961, 5.116",\
                 "0.4584, 0.5176, 0.6754, 0.9166, 1.247, 1.688, 2.264, 3.014, 3.96, 5.114",\
                 "0.4554, 0.5156, 0.6746, 0.916, 1.247, 1.687, 2.266, 3.015, 3.957, 5.116",\
                 "0.452, 0.5126, 0.671, 0.9132, 1.244, 1.683, 2.267, 3.015, 3.957, 5.116",\
                 "0.4518, 0.5124, 0.6716, 0.912, 1.243, 1.684, 2.263, 3.013, 3.957, 5.119",\
                 "0.4518, 0.5124, 0.6712, 0.9124, 1.244, 1.684, 2.262, 3.014, 3.956, 5.106",\
                 "0.4508, 0.512, 0.67, 0.912, 1.244, 1.684, 2.26, 3.014, 3.958, 5.108");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.006694, 0.02668, 0.06484, 0.1243, 0.2077, 0.3175, 0.4558, 0.6247, 0.8259");
          values("0.2872, 0.356, 0.6034, 1.123, 1.965, 3.157, 4.726, 6.701, 9.125, 12.01",\
                 "0.2872, 0.3546, 0.6036, 1.123, 1.965, 3.156, 4.727, 6.705, 9.12, 11.99",\
                 "0.287, 0.3552, 0.604, 1.121, 1.965, 3.156, 4.726, 6.701, 9.125, 12",\
                 "0.2876, 0.355, 0.6034, 1.122, 1.963, 3.158, 4.727, 6.703, 9.124, 12.01",\
                 "0.287, 0.3546, 0.6036, 1.122, 1.964, 3.158, 4.726, 6.706, 9.113, 12",\
                 "0.2876, 0.3558, 0.6042, 1.121, 1.965, 3.157, 4.727, 6.705, 9.12, 11.99",\
                 "0.29, 0.3584, 0.605, 1.123, 1.966, 3.155, 4.727, 6.705, 9.124, 11.99",\
                 "0.295, 0.3628, 0.6072, 1.124, 1.962, 3.158, 4.726, 6.706, 9.12, 12",\
                 "0.302, 0.368, 0.612, 1.126, 1.964, 3.156, 4.72, 6.706, 9.12, 12",\
                 "0.308, 0.374, 0.616, 1.126, 1.964, 3.156, 4.718, 6.696, 9.108, 12");
        }
      }

      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.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.006694, 0.02668, 0.06484, 0.1243, 0.2077, 0.3175, 0.4558, 0.6247, 0.8259");
          values("2.187, 2.272, 2.483, 2.761, 3.085, 3.462, 3.9, 4.412, 5.015, 5.721",\
                 "2.218, 2.303, 2.514, 2.791, 3.117, 3.493, 3.931, 4.444, 5.046, 5.752",\
                 "2.314, 2.399, 2.61, 2.888, 3.213, 3.589, 4.027, 4.54, 5.143, 5.848",\
                 "2.465, 2.55, 2.761, 3.038, 3.364, 3.741, 4.178, 4.691, 5.294, 5.999",\
                 "2.607, 2.692, 2.904, 3.181, 3.506, 3.883, 4.32, 4.833, 5.436, 6.141",\
                 "2.72, 2.804, 3.015, 3.293, 3.619, 3.995, 4.433, 4.946, 5.548, 6.254",\
                 "2.793, 2.876, 3.087, 3.365, 3.69, 4.066, 4.505, 5.017, 5.62, 6.326",\
                 "2.822, 2.905, 3.116, 3.393, 3.717, 4.094, 4.532, 5.045, 5.647, 6.353",\
                 "2.802, 2.886, 3.096, 3.372, 3.698, 4.074, 4.51, 5.024, 5.626, 6.332",\
                 "2.728, 2.812, 3.022, 3.299, 3.624, 4, 4.437, 4.95, 5.552, 6.257");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.006694, 0.02668, 0.06484, 0.1243, 0.2077, 0.3175, 0.4558, 0.6247, 0.8259");
          values("2.78, 2.847, 3.041, 3.371, 3.873, 4.574, 5.492, 6.649, 8.059, 9.741",\
                 "2.803, 2.87, 3.064, 3.394, 3.896, 4.596, 5.515, 6.672, 8.082, 9.764",\
                 "2.894, 2.961, 3.155, 3.485, 3.987, 4.687, 5.606, 6.763, 8.173, 9.855",\
                 "3.065, 3.132, 3.327, 3.657, 4.159, 4.859, 5.778, 6.934, 8.344, 10.02",\
                 "3.331, 3.398, 3.592, 3.922, 4.424, 5.124, 6.043, 7.199, 8.609, 10.29",\
                 "3.703, 3.771, 3.964, 4.295, 4.797, 5.497, 6.416, 7.571, 8.982, 10.66",\
                 "4.179, 4.246, 4.442, 4.772, 5.274, 5.974, 6.893, 8.049, 9.459, 11.14",\
                 "4.728, 4.797, 4.993, 5.324, 5.825, 6.525, 7.445, 8.601, 10.01, 11.69",\
                 "5.344, 5.414, 5.611, 5.942, 6.443, 7.143, 8.063, 9.218, 10.63, 12.31",\
                 "6.032, 6.103, 6.301, 6.632, 7.134, 7.834, 8.753, 9.908, 11.32, 13");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.006694, 0.02668, 0.06484, 0.1243, 0.2077, 0.3175, 0.4558, 0.6247, 0.8259");
          values("0.4592, 0.5192, 0.677, 0.918, 1.249, 1.69, 2.267, 3.017, 3.961, 5.113",\
                 "0.4598, 0.5192, 0.6772, 0.9182, 1.249, 1.689, 2.266, 3.017, 3.961, 5.11",\
                 "0.4594, 0.5192, 0.6772, 0.9178, 1.248, 1.689, 2.267, 3.017, 3.959, 5.116",\
                 "0.4592, 0.5194, 0.677, 0.9178, 1.249, 1.689, 2.265, 3.017, 3.961, 5.109",\
                 "0.4596, 0.5192, 0.6766, 0.9168, 1.249, 1.688, 2.267, 3.015, 3.956, 5.115",\
                 "0.4568, 0.5168, 0.676, 0.9172, 1.248, 1.688, 2.267, 3.013, 3.958, 5.11",\
                 "0.4532, 0.5132, 0.6724, 0.915, 1.246, 1.686, 2.266, 3.018, 3.959, 5.113",\
                 "0.4524, 0.5142, 0.6718, 0.9132, 1.244, 1.683, 2.263, 3.016, 3.959, 5.117",\
                 "0.4528, 0.5126, 0.6722, 0.9132, 1.245, 1.686, 2.262, 3.016, 3.958, 5.11",\
                 "0.4514, 0.5124, 0.672, 0.912, 1.246, 1.686, 2.262, 3.014, 3.958, 5.108");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.006694, 0.02668, 0.06484, 0.1243, 0.2077, 0.3175, 0.4558, 0.6247, 0.8259");
          values("0.2868, 0.3548, 0.6028, 1.121, 1.965, 3.157, 4.725, 6.702, 9.124, 12.01",\
                 "0.2868, 0.3546, 0.6042, 1.121, 1.965, 3.157, 4.726, 6.701, 9.125, 12.01",\
                 "0.287, 0.3548, 0.6028, 1.121, 1.964, 3.156, 4.726, 6.702, 9.124, 12",\
                 "0.2868, 0.3548, 0.6034, 1.122, 1.965, 3.157, 4.726, 6.706, 9.117, 12",\
                 "0.2868, 0.3548, 0.6032, 1.122, 1.964, 3.156, 4.726, 6.706, 9.119, 12",\
                 "0.2874, 0.3548, 0.6034, 1.123, 1.965, 3.157, 4.726, 6.706, 9.123, 12",\
                 "0.289, 0.3582, 0.6048, 1.122, 1.966, 3.155, 4.724, 6.7, 9.122, 11.99",\
                 "0.2952, 0.3622, 0.6064, 1.124, 1.963, 3.155, 4.72, 6.702, 9.124, 12.01",\
                 "0.302, 0.368, 0.612, 1.124, 1.964, 3.152, 4.722, 6.7, 9.122, 12",\
                 "0.308, 0.374, 0.616, 1.126, 1.966, 3.154, 4.718, 6.696, 9.118, 12");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.006694, 0.02668, 0.06484, 0.1243, 0.2077, 0.3175, 0.4558, 0.6247, 0.8259");
          values("2.187, 2.272, 2.483, 2.761, 3.085, 3.462, 3.9, 4.412, 5.015, 5.721",\
                 "2.218, 2.303, 2.514, 2.791, 3.117, 3.493, 3.931, 4.444, 5.046, 5.752",\
                 "2.314, 2.399, 2.61, 2.888, 3.213, 3.589, 4.027, 4.54, 5.143, 5.848",\
                 "2.465, 2.55, 2.761, 3.038, 3.364, 3.741, 4.178, 4.691, 5.294, 5.999",\
                 "2.607, 2.692, 2.904, 3.181, 3.506, 3.883, 4.32, 4.833, 5.436, 6.141",\
                 "2.72, 2.804, 3.015, 3.293, 3.619, 3.995, 4.433, 4.946, 5.548, 6.254",\
                 "2.793, 2.876, 3.087, 3.365, 3.69, 4.066, 4.505, 5.017, 5.62, 6.326",\
                 "2.822, 2.905, 3.116, 3.393, 3.717, 4.094, 4.532, 5.045, 5.647, 6.353",\
                 "2.802, 2.886, 3.096, 3.372, 3.698, 4.074, 4.51, 5.024, 5.626, 6.332",\
                 "2.728, 2.812, 3.022, 3.299, 3.624, 4, 4.437, 4.95, 5.552, 6.257");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.006694, 0.02668, 0.06484, 0.1243, 0.2077, 0.3175, 0.4558, 0.6247, 0.8259");
          values("2.78, 2.847, 3.041, 3.371, 3.873, 4.574, 5.492, 6.649, 8.059, 9.741",\
                 "2.803, 2.87, 3.064, 3.394, 3.896, 4.596, 5.515, 6.672, 8.082, 9.764",\
                 "2.894, 2.961, 3.155, 3.485, 3.987, 4.687, 5.606, 6.763, 8.173, 9.855",\
                 "3.065, 3.132, 3.327, 3.657, 4.159, 4.859, 5.778, 6.934, 8.344, 10.02",\
                 "3.331, 3.398, 3.592, 3.922, 4.424, 5.124, 6.043, 7.199, 8.609, 10.29",\
                 "3.703, 3.771, 3.964, 4.295, 4.797, 5.497, 6.416, 7.571, 8.982, 10.66",\
                 "4.179, 4.246, 4.442, 4.772, 5.274, 5.974, 6.893, 8.049, 9.459, 11.14",\
                 "4.728, 4.797, 4.993, 5.324, 5.825, 6.525, 7.445, 8.601, 10.01, 11.69",\
                 "5.344, 5.414, 5.611, 5.942, 6.443, 7.143, 8.063, 9.218, 10.63, 12.31",\
                 "6.032, 6.103, 6.301, 6.632, 7.134, 7.834, 8.753, 9.908, 11.32, 13");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.006694, 0.02668, 0.06484, 0.1243, 0.2077, 0.3175, 0.4558, 0.6247, 0.8259");
          values("0.4584, 0.5182, 0.676, 0.9166, 1.247, 1.687, 2.264, 3.012, 3.955, 5.114",\
                 "0.4588, 0.518, 0.6762, 0.917, 1.247, 1.687, 2.266, 3.016, 3.961, 5.108",\
                 "0.4586, 0.518, 0.6764, 0.916, 1.248, 1.688, 2.264, 3.012, 3.958, 5.109",\
                 "0.4582, 0.5182, 0.6756, 0.9166, 1.247, 1.685, 2.262, 3.016, 3.961, 5.116",\
                 "0.4584, 0.5176, 0.6754, 0.9166, 1.247, 1.688, 2.264, 3.014, 3.96, 5.114",\
                 "0.4554, 0.5156, 0.6746, 0.916, 1.247, 1.687, 2.266, 3.015, 3.957, 5.116",\
                 "0.452, 0.5126, 0.671, 0.9132, 1.244, 1.683, 2.267, 3.015, 3.957, 5.116",\
                 "0.4518, 0.5124, 0.6716, 0.912, 1.243, 1.684, 2.263, 3.013, 3.957, 5.119",\
                 "0.4518, 0.5124, 0.6712, 0.9124, 1.244, 1.684, 2.262, 3.014, 3.956, 5.106",\
                 "0.4508, 0.512, 0.67, 0.912, 1.244, 1.684, 2.26, 3.014, 3.958, 5.108");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.006694, 0.02668, 0.06484, 0.1243, 0.2077, 0.3175, 0.4558, 0.6247, 0.8259");
          values("0.2868, 0.3548, 0.6028, 1.121, 1.965, 3.157, 4.725, 6.702, 9.124, 12.01",\
                 "0.2868, 0.3546, 0.6042, 1.121, 1.965, 3.157, 4.726, 6.701, 9.125, 12.01",\
                 "0.287, 0.3548, 0.6028, 1.121, 1.964, 3.156, 4.726, 6.702, 9.124, 12",\
                 "0.2868, 0.3548, 0.6034, 1.122, 1.965, 3.157, 4.726, 6.706, 9.117, 12",\
                 "0.2868, 0.3548, 0.6032, 1.122, 1.964, 3.156, 4.726, 6.706, 9.119, 12",\
                 "0.2874, 0.3548, 0.6034, 1.123, 1.965, 3.157, 4.726, 6.706, 9.123, 12",\
                 "0.289, 0.3582, 0.6048, 1.122, 1.966, 3.155, 4.724, 6.7, 9.122, 11.99",\
                 "0.2952, 0.3622, 0.6064, 1.124, 1.963, 3.155, 4.72, 6.702, 9.124, 12.01",\
                 "0.302, 0.368, 0.612, 1.124, 1.964, 3.152, 4.722, 6.7, 9.122, 12",\
                 "0.308, 0.374, 0.616, 1.126, 1.966, 3.154, 4.718, 6.696, 9.118, 12");
        }
      }

      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.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.006694, 0.02668, 0.06484, 0.1243, 0.2077, 0.3175, 0.4558, 0.6247, 0.8259");
          values("1.648, 1.731, 1.939, 2.213, 2.536, 2.91, 3.346, 3.858, 4.459, 5.164",\
                 "1.679, 1.762, 1.971, 2.246, 2.568, 2.942, 3.378, 3.889, 4.491, 5.195",\
                 "1.778, 1.861, 2.07, 2.345, 2.667, 3.041, 3.477, 3.988, 4.59, 5.294",\
                 "1.98, 2.063, 2.271, 2.546, 2.869, 3.242, 3.678, 4.189, 4.791, 5.496",\
                 "2.31, 2.393, 2.601, 2.875, 3.198, 3.572, 4.008, 4.519, 5.121, 5.825",\
                 "2.784, 2.867, 3.075, 3.35, 3.672, 4.047, 4.483, 4.994, 5.596, 6.301",\
                 "3.374, 3.462, 3.678, 3.958, 4.285, 4.661, 5.097, 5.61, 6.211, 6.916",\
                 "4.006, 4.103, 4.341, 4.639, 4.978, 5.362, 5.804, 6.318, 6.92, 7.625",\
                 "4.668, 4.774, 5.034, 5.355, 5.71, 6.108, 6.558, 7.079, 7.684, 8.39",\
                 "5.363, 5.476, 5.758, 6.107, 6.483, 6.893, 7.352, 7.877, 8.487, 9.196");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.006694, 0.02668, 0.06484, 0.1243, 0.2077, 0.3175, 0.4558, 0.6247, 0.8259");
          values("0.8965, 0.9734, 1.19, 1.538, 2.046, 2.748, 3.668, 4.825, 6.235, 7.915",\
                 "0.9238, 1, 1.217, 1.565, 2.073, 2.775, 3.695, 4.851, 6.26, 7.941",\
                 "1.019, 1.096, 1.312, 1.66, 2.169, 2.87, 3.79, 4.947, 6.356, 8.035",\
                 "1.2, 1.277, 1.492, 1.84, 2.348, 3.05, 3.969, 5.127, 6.537, 8.216",\
                 "1.464, 1.542, 1.759, 2.107, 2.615, 3.317, 4.237, 5.394, 6.804, 8.483",\
                 "1.737, 1.821, 2.047, 2.4, 2.909, 3.611, 4.531, 5.687, 7.099, 8.78",\
                 "1.995, 2.085, 2.323, 2.683, 3.193, 3.897, 4.816, 5.972, 7.384, 9.066",\
                 "2.226, 2.325, 2.578, 2.946, 3.459, 4.161, 5.083, 6.239, 7.649, 9.33",\
                 "2.429, 2.537, 2.808, 3.186, 3.702, 4.404, 5.323, 6.482, 7.893, 9.572",\
                 "2.596, 2.714, 3.005, 3.398, 3.917, 4.62, 5.54, 6.695, 8.107, 9.79");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.006694, 0.02668, 0.06484, 0.1243, 0.2077, 0.3175, 0.4558, 0.6247, 0.8259");
          values("0.4472, 0.5074, 0.666, 0.9074, 1.238, 1.678, 2.256, 3.008, 3.954, 5.106",\
                 "0.4476, 0.5074, 0.6654, 0.906, 1.237, 1.678, 2.258, 3.008, 3.949, 5.11",\
                 "0.4476, 0.5078, 0.6658, 0.9074, 1.238, 1.678, 2.257, 3.007, 3.954, 5.109",\
                 "0.4478, 0.5076, 0.6656, 0.9072, 1.237, 1.678, 2.256, 3.008, 3.952, 5.11",\
                 "0.4468, 0.5086, 0.6656, 0.906, 1.238, 1.678, 2.258, 3.006, 3.954, 5.109",\
                 "0.4504, 0.5094, 0.6674, 0.909, 1.239, 1.679, 2.257, 3.006, 3.955, 5.11",\
                 "0.4948, 0.5528, 0.6994, 0.929, 1.252, 1.686, 2.264, 3.012, 3.955, 5.112",\
                 "0.5638, 0.6268, 0.7792, 0.995, 1.304, 1.726, 2.289, 3.029, 3.965, 5.11",\
                 "0.6332, 0.702, 0.868, 1.082, 1.378, 1.786, 2.338, 3.066, 3.988, 5.13",\
                 "0.704, 0.78, 0.958, 1.178, 1.46, 1.854, 2.394, 3.106, 4.02, 5.152");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.006694, 0.02668, 0.06484, 0.1243, 0.2077, 0.3175, 0.4558, 0.6247, 0.8259");
          values("0.3243, 0.4018, 0.6602, 1.165, 1.991, 3.178, 4.746, 6.732, 9.148, 12.03",\
                 "0.3248, 0.4019, 0.661, 1.164, 1.991, 3.178, 4.748, 6.733, 9.15, 12.03",\
                 "0.325, 0.402, 0.6618, 1.165, 1.991, 3.176, 4.749, 6.73, 9.151, 12.03",\
                 "0.3244, 0.403, 0.6626, 1.166, 1.989, 3.178, 4.751, 6.723, 9.135, 12.03",\
                 "0.3372, 0.412, 0.6672, 1.166, 1.991, 3.178, 4.744, 6.725, 9.15, 12.03",\
                 "0.3736, 0.4466, 0.6934, 1.182, 1.996, 3.178, 4.745, 6.734, 9.148, 12.03",\
                 "0.4192, 0.4912, 0.7258, 1.202, 2.008, 3.183, 4.742, 6.729, 9.148, 12.02",\
                 "0.4724, 0.544, 0.768, 1.227, 2.019, 3.193, 4.75, 6.73, 9.132, 12.04",\
                 "0.5268, 0.6026, 0.8206, 1.258, 2.035, 3.195, 4.757, 6.728, 9.146, 12.02",\
                 "0.5834, 0.6674, 0.8818, 1.296, 2.052, 3.204, 4.764, 6.734, 9.144, 12.02");
        }
      }

      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.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.006694, 0.02668, 0.06484, 0.1243, 0.2077, 0.3175, 0.4558, 0.6247, 0.8259");
          values("1.648, 1.731, 1.939, 2.213, 2.536, 2.91, 3.346, 3.858, 4.459, 5.164",\
                 "1.679, 1.762, 1.971, 2.246, 2.568, 2.942, 3.378, 3.889, 4.491, 5.195",\
                 "1.778, 1.861, 2.07, 2.345, 2.667, 3.041, 3.477, 3.988, 4.59, 5.294",\
                 "1.979, 2.062, 2.271, 2.546, 2.868, 3.242, 3.678, 4.19, 4.791, 5.496",\
                 "2.31, 2.393, 2.601, 2.876, 3.198, 3.572, 4.008, 4.519, 5.121, 5.825",\
                 "2.784, 2.867, 3.075, 3.35, 3.673, 4.047, 4.483, 4.994, 5.596, 6.301",\
                 "3.374, 3.462, 3.679, 3.958, 4.285, 4.661, 5.097, 5.609, 6.211, 6.916",\
                 "4.005, 4.103, 4.341, 4.639, 4.978, 5.362, 5.804, 6.318, 6.92, 7.625",\
                 "4.668, 4.774, 5.034, 5.355, 5.71, 6.107, 6.558, 7.078, 7.684, 8.39",\
                 "5.363, 5.476, 5.758, 6.107, 6.483, 6.893, 7.352, 7.877, 8.487, 9.196");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.006694, 0.02668, 0.06484, 0.1243, 0.2077, 0.3175, 0.4558, 0.6247, 0.8259");
          values("0.8964, 0.9734, 1.19, 1.538, 2.046, 2.748, 3.668, 4.825, 6.234, 7.913",\
                 "0.9238, 1, 1.217, 1.565, 2.073, 2.775, 3.695, 4.851, 6.26, 7.941",\
                 "1.019, 1.096, 1.312, 1.66, 2.169, 2.87, 3.79, 4.947, 6.357, 8.035",\
                 "1.2, 1.277, 1.492, 1.84, 2.348, 3.05, 3.97, 5.127, 6.537, 8.216",\
                 "1.464, 1.541, 1.76, 2.107, 2.615, 3.316, 4.237, 5.395, 6.804, 8.485",\
                 "1.737, 1.821, 2.047, 2.4, 2.909, 3.611, 4.531, 5.687, 7.099, 8.78",\
                 "1.995, 2.085, 2.323, 2.683, 3.194, 3.897, 4.816, 5.972, 7.383, 9.064",\
                 "2.227, 2.325, 2.579, 2.946, 3.46, 4.162, 5.083, 6.24, 7.65, 9.333",\
                 "2.429, 2.537, 2.808, 3.186, 3.702, 4.404, 5.323, 6.482, 7.893, 9.574",\
                 "2.596, 2.714, 3.006, 3.398, 3.918, 4.621, 5.539, 6.696, 8.107, 9.789");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.006694, 0.02668, 0.06484, 0.1243, 0.2077, 0.3175, 0.4558, 0.6247, 0.8259");
          values("0.4472, 0.5074, 0.666, 0.9074, 1.238, 1.678, 2.256, 3.008, 3.954, 5.106",\
                 "0.4474, 0.5072, 0.6656, 0.9074, 1.238, 1.678, 2.258, 3.009, 3.95, 5.109",\
                 "0.4476, 0.5078, 0.6658, 0.9074, 1.238, 1.678, 2.257, 3.007, 3.954, 5.109",\
                 "0.4476, 0.5074, 0.6658, 0.9074, 1.238, 1.676, 2.257, 3.008, 3.954, 5.107",\
                 "0.447, 0.5086, 0.6678, 0.9074, 1.238, 1.678, 2.256, 3.008, 3.95, 5.109",\
                 "0.4506, 0.5098, 0.668, 0.9086, 1.239, 1.678, 2.258, 3.009, 3.951, 5.111",\
                 "0.4952, 0.5514, 0.6988, 0.9288, 1.252, 1.686, 2.264, 3.012, 3.955, 5.112",\
                 "0.5632, 0.6272, 0.7792, 0.9972, 1.304, 1.725, 2.288, 3.029, 3.965, 5.11",\
                 "0.6332, 0.702, 0.868, 1.084, 1.378, 1.786, 2.338, 3.066, 3.988, 5.13",\
                 "0.704, 0.78, 0.958, 1.176, 1.46, 1.854, 2.394, 3.11, 4.02, 5.152");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.006694, 0.02668, 0.06484, 0.1243, 0.2077, 0.3175, 0.4558, 0.6247, 0.8259");
          values("0.3246, 0.4018, 0.6602, 1.165, 1.991, 3.178, 4.746, 6.731, 9.148, 12.03",\
                 "0.3248, 0.4019, 0.661, 1.164, 1.991, 3.178, 4.748, 6.733, 9.15, 12.03",\
                 "0.325, 0.4018, 0.6608, 1.164, 1.991, 3.176, 4.75, 6.73, 9.145, 12.03",\
                 "0.3256, 0.403, 0.6626, 1.166, 1.989, 3.177, 4.747, 6.725, 9.137, 12.03",\
                 "0.3372, 0.4122, 0.6664, 1.167, 1.991, 3.177, 4.744, 6.726, 9.147, 12.03",\
                 "0.3736, 0.4466, 0.6934, 1.182, 1.996, 3.178, 4.745, 6.734, 9.148, 12.03",\
                 "0.419, 0.4904, 0.7258, 1.204, 2.008, 3.185, 4.749, 6.723, 9.151, 12.03",\
                 "0.4748, 0.5444, 0.7692, 1.227, 2.02, 3.192, 4.751, 6.731, 9.133, 12.03",\
                 "0.5266, 0.6026, 0.8196, 1.26, 2.034, 3.197, 4.758, 6.728, 9.144, 12.02",\
                 "0.5826, 0.6674, 0.8838, 1.296, 2.052, 3.206, 4.76, 6.734, 9.144, 12.02");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.006694, 0.02668, 0.06484, 0.1243, 0.2077, 0.3175, 0.4558, 0.6247, 0.8259");
          values("1.648, 1.731, 1.939, 2.213, 2.536, 2.91, 3.346, 3.858, 4.459, 5.164",\
                 "1.679, 1.762, 1.971, 2.246, 2.568, 2.942, 3.378, 3.889, 4.491, 5.195",\
                 "1.778, 1.861, 2.07, 2.345, 2.667, 3.041, 3.477, 3.988, 4.59, 5.294",\
                 "1.979, 2.062, 2.271, 2.546, 2.868, 3.242, 3.678, 4.19, 4.791, 5.496",\
                 "2.31, 2.393, 2.601, 2.876, 3.198, 3.572, 4.008, 4.519, 5.121, 5.825",\
                 "2.784, 2.867, 3.075, 3.35, 3.673, 4.047, 4.483, 4.994, 5.596, 6.301",\
                 "3.374, 3.462, 3.679, 3.958, 4.285, 4.661, 5.097, 5.609, 6.211, 6.916",\
                 "4.005, 4.103, 4.341, 4.639, 4.978, 5.362, 5.804, 6.318, 6.92, 7.625",\
                 "4.668, 4.774, 5.034, 5.355, 5.71, 6.107, 6.558, 7.078, 7.684, 8.39",\
                 "5.363, 5.476, 5.758, 6.107, 6.483, 6.893, 7.352, 7.877, 8.487, 9.196");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.006694, 0.02668, 0.06484, 0.1243, 0.2077, 0.3175, 0.4558, 0.6247, 0.8259");
          values("0.8965, 0.9734, 1.19, 1.538, 2.046, 2.748, 3.668, 4.825, 6.235, 7.915",\
                 "0.9238, 1, 1.217, 1.565, 2.073, 2.775, 3.695, 4.851, 6.26, 7.941",\
                 "1.019, 1.096, 1.312, 1.66, 2.169, 2.87, 3.79, 4.947, 6.356, 8.035",\
                 "1.2, 1.277, 1.492, 1.84, 2.348, 3.05, 3.969, 5.127, 6.537, 8.216",\
                 "1.464, 1.542, 1.759, 2.107, 2.615, 3.317, 4.237, 5.394, 6.804, 8.483",\
                 "1.737, 1.821, 2.047, 2.4, 2.909, 3.611, 4.531, 5.687, 7.099, 8.78",\
                 "1.995, 2.085, 2.323, 2.683, 3.193, 3.897, 4.816, 5.972, 7.384, 9.066",\
                 "2.226, 2.325, 2.578, 2.946, 3.459, 4.161, 5.083, 6.239, 7.649, 9.33",\
                 "2.429, 2.537, 2.808, 3.186, 3.702, 4.404, 5.323, 6.482, 7.893, 9.572",\
                 "2.596, 2.714, 3.005, 3.398, 3.917, 4.62, 5.54, 6.695, 8.107, 9.79");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.006694, 0.02668, 0.06484, 0.1243, 0.2077, 0.3175, 0.4558, 0.6247, 0.8259");
          values("0.4472, 0.5074, 0.666, 0.9074, 1.238, 1.678, 2.256, 3.008, 3.954, 5.106",\
                 "0.4474, 0.5072, 0.6656, 0.9074, 1.238, 1.678, 2.258, 3.009, 3.95, 5.109",\
                 "0.4476, 0.5078, 0.6658, 0.9074, 1.238, 1.678, 2.257, 3.007, 3.954, 5.109",\
                 "0.4476, 0.5074, 0.6658, 0.9074, 1.238, 1.676, 2.257, 3.008, 3.954, 5.107",\
                 "0.447, 0.5086, 0.6678, 0.9074, 1.238, 1.678, 2.256, 3.008, 3.95, 5.109",\
                 "0.4506, 0.5098, 0.668, 0.9086, 1.239, 1.678, 2.258, 3.009, 3.951, 5.111",\
                 "0.4952, 0.5514, 0.6988, 0.9288, 1.252, 1.686, 2.264, 3.012, 3.955, 5.112",\
                 "0.5632, 0.6272, 0.7792, 0.9972, 1.304, 1.725, 2.288, 3.029, 3.965, 5.11",\
                 "0.6332, 0.702, 0.868, 1.084, 1.378, 1.786, 2.338, 3.066, 3.988, 5.13",\
                 "0.704, 0.78, 0.958, 1.176, 1.46, 1.854, 2.394, 3.11, 4.02, 5.152");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.006694, 0.02668, 0.06484, 0.1243, 0.2077, 0.3175, 0.4558, 0.6247, 0.8259");
          values("0.3243, 0.4018, 0.6602, 1.165, 1.991, 3.178, 4.746, 6.732, 9.148, 12.03",\
                 "0.3248, 0.4019, 0.661, 1.164, 1.991, 3.178, 4.748, 6.733, 9.15, 12.03",\
                 "0.325, 0.402, 0.6618, 1.165, 1.991, 3.176, 4.749, 6.73, 9.151, 12.03",\
                 "0.3244, 0.403, 0.6626, 1.166, 1.989, 3.178, 4.751, 6.723, 9.135, 12.03",\
                 "0.3372, 0.412, 0.6672, 1.166, 1.991, 3.178, 4.744, 6.725, 9.15, 12.03",\
                 "0.3736, 0.4466, 0.6934, 1.182, 1.996, 3.178, 4.745, 6.734, 9.148, 12.03",\
                 "0.4192, 0.4912, 0.7258, 1.202, 2.008, 3.183, 4.742, 6.729, 9.148, 12.02",\
                 "0.4724, 0.544, 0.768, 1.227, 2.019, 3.193, 4.75, 6.73, 9.132, 12.04",\
                 "0.5268, 0.6026, 0.8206, 1.258, 2.035, 3.195, 4.757, 6.728, 9.146, 12.02",\
                 "0.5834, 0.6674, 0.8818, 1.296, 2.052, 3.204, 4.764, 6.734, 9.144, 12.02");
        }
      }
    }
  }