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

  cell(gf180mcu_fd_sc_mcu7t5v0__xor3_1) {
    area : 50.489600 ;

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

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

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

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

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

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

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

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

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

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

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

    pin(Z) {
      direction : output ;
      function : "(A1^A2^A3)" ;
      max_capacitance : 0.07594 ;
      max_transition : 21 ;
      min_capacitance : 0.001 ;
      output_voltage : default ;
      related_ground_pin : VSS ;
      related_power_pin : VDD ;

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001517, 0.003333, 0.0068, 0.0122, 0.01978, 0.02975, 0.04232, 0.05765, 0.07594");
          values("0.03803, 0.03802, 0.038, 0.03793, 0.03781, 0.03766, 0.03751, 0.03737, 0.03725, 0.03714",\
                 "0.03797, 0.03798, 0.03794, 0.03787, 0.03775, 0.0376, 0.03746, 0.03731, 0.0372, 0.03709",\
                 "0.03788, 0.03787, 0.03784, 0.03778, 0.03765, 0.03751, 0.03735, 0.03721, 0.03709, 0.03698",\
                 "0.03781, 0.0378, 0.03778, 0.03771, 0.03759, 0.03744, 0.03729, 0.03714, 0.03703, 0.03692",\
                 "0.03774, 0.03775, 0.03772, 0.03764, 0.03752, 0.03737, 0.03722, 0.03708, 0.03696, 0.03685",\
                 "0.03765, 0.03764, 0.03762, 0.03754, 0.03742, 0.03727, 0.03712, 0.03698, 0.03686, 0.03675",\
                 "0.0375, 0.0375, 0.03747, 0.03739, 0.03728, 0.03713, 0.03698, 0.03683, 0.0367, 0.03658",\
                 "0.03728, 0.03727, 0.03725, 0.03717, 0.03704, 0.03688, 0.0367, 0.03648, 0.03609, 0.03545",\
                 "0.02732, 0.02729, 0.02719, 0.02703, 0.02684, 0.02664, 0.02644, 0.02625, 0.0261, 0.02597",\
                 "0.007517, 0.007516, 0.007514, 0.007511, 0.00751, 0.007508, 0.007507, 0.007506, 0.007506, 0.007506");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001517, 0.003333, 0.0068, 0.0122, 0.01978, 0.02975, 0.04232, 0.05765, 0.07594");
          values("0.03562, 0.03563, 0.03565, 0.03571, 0.03579, 0.03588, 0.03605, 0.03831, 0.05185, 0.07506",\
                 "0.03566, 0.03567, 0.0357, 0.03575, 0.03582, 0.0359, 0.03613, 0.03852, 0.05245, 0.07553",\
                 "0.03566, 0.03567, 0.0357, 0.03575, 0.03582, 0.03591, 0.03616, 0.03913, 0.05425, 0.07678",\
                 "0.03555, 0.03557, 0.0356, 0.03564, 0.03572, 0.03579, 0.03618, 0.0404, 0.05746, 0.07851",\
                 "0.03544, 0.03546, 0.03549, 0.03554, 0.03561, 0.03569, 0.03638, 0.04306, 0.06175, 0.08016",\
                 "0.03535, 0.03536, 0.03539, 0.03544, 0.03551, 0.03563, 0.03723, 0.04795, 0.06607, 0.0808",\
                 "0.03527, 0.03528, 0.0353, 0.03536, 0.03544, 0.03577, 0.04026, 0.05457, 0.0686, 0.07913",\
                 "0.03517, 0.03518, 0.03522, 0.03527, 0.03541, 0.0374, 0.04713, 0.05852, 0.06705, 0.07333",\
                 "0.03502, 0.03504, 0.03507, 0.03517, 0.03673, 0.04322, 0.04982, 0.05473, 0.05828, 0.06087",\
                 "0.03274, 0.03254, 0.03245, 0.03331, 0.03454, 0.03563, 0.03645, 0.03703, 0.03744, 0.03773");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001517, 0.003333, 0.0068, 0.0122, 0.01978, 0.02975, 0.04232, 0.05765, 0.07594");
          values("0.02897, 0.02899, 0.02903, 0.02911, 0.0292, 0.02929, 0.02937, 0.02943, 0.0295, 0.02953",\
                 "0.02901, 0.02903, 0.02908, 0.02915, 0.02924, 0.02933, 0.02941, 0.02948, 0.02953, 0.02958",\
                 "0.02902, 0.02903, 0.02908, 0.02916, 0.02925, 0.02934, 0.02942, 0.02949, 0.02955, 0.02959",\
                 "0.02891, 0.02893, 0.02898, 0.02906, 0.02915, 0.02924, 0.02932, 0.02939, 0.02945, 0.02949",\
                 "0.02881, 0.02882, 0.02888, 0.02896, 0.02905, 0.02914, 0.02922, 0.02929, 0.02935, 0.02939",\
                 "0.02871, 0.02872, 0.02877, 0.02885, 0.02895, 0.02904, 0.02912, 0.02918, 0.02924, 0.02928",\
                 "0.02862, 0.02864, 0.02869, 0.02877, 0.02886, 0.02896, 0.02903, 0.0291, 0.02916, 0.02916",\
                 "0.02854, 0.02855, 0.0286, 0.02868, 0.02877, 0.02887, 0.02895, 0.029, 0.02901, 0.02888",\
                 "0.02833, 0.02835, 0.0284, 0.02848, 0.02857, 0.02865, 0.0287, 0.02863, 0.02829, 0.02777",\
                 "0.02682, 0.02683, 0.02686, 0.02691, 0.02686, 0.02642, 0.02582, 0.02537, 0.02506, 0.02483");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001517, 0.003333, 0.0068, 0.0122, 0.01978, 0.02975, 0.04232, 0.05765, 0.07594");
          values("0.009312, 0.009323, 0.009354, 0.009411, 0.00948, 0.009564, 0.00967, 0.01106, 0.02164, 0.04499",\
                 "0.009257, 0.009273, 0.009301, 0.009356, 0.009427, 0.009501, 0.009622, 0.0111, 0.02199, 0.04533",\
                 "0.009156, 0.009171, 0.009204, 0.009252, 0.009326, 0.009405, 0.009563, 0.01137, 0.02352, 0.04679",\
                 "0.009101, 0.00911, 0.009141, 0.009196, 0.009267, 0.009352, 0.009549, 0.01226, 0.02685, 0.04935",\
                 "0.009043, 0.00905, 0.009077, 0.009137, 0.009205, 0.009292, 0.009695, 0.01463, 0.0322, 0.05223",\
                 "0.00895, 0.008964, 0.008993, 0.009045, 0.00912, 0.009225, 0.01047, 0.02013, 0.03843, 0.05385",\
                 "0.008834, 0.008844, 0.008873, 0.008924, 0.008995, 0.009414, 0.01451, 0.02866, 0.04174, 0.05152",\
                 "0.008698, 0.008709, 0.008737, 0.008795, 0.009116, 0.01329, 0.02291, 0.03097, 0.03686, 0.04108",\
                 "0.00815, 0.008063, 0.00781, 0.008672, 0.01096, 0.01308, 0.01464, 0.01583, 0.01674, 0.01742",\
                 "-0.0145, -0.0145, -0.0145, -0.0145, -0.0145, -0.0145, -0.0145, -0.0145, -0.0145, -0.0145");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001517, 0.003333, 0.0068, 0.0122, 0.01978, 0.02975, 0.04232, 0.05765, 0.07594");
          values("0.02197, 0.02198, 0.02194, 0.02188, 0.02177, 0.02163, 0.02148, 0.02135, 0.02123, 0.02113",\
                 "0.02197, 0.02196, 0.02194, 0.02188, 0.02177, 0.02163, 0.02148, 0.02134, 0.02122, 0.02112",\
                 "0.02196, 0.02195, 0.02194, 0.02187, 0.02176, 0.02162, 0.02148, 0.02134, 0.02122, 0.02112",\
                 "0.02193, 0.02193, 0.0219, 0.02184, 0.02173, 0.02159, 0.02144, 0.0213, 0.02118, 0.02108",\
                 "0.02185, 0.02186, 0.02182, 0.02176, 0.02165, 0.02151, 0.02137, 0.02123, 0.02111, 0.02101",\
                 "0.02175, 0.02175, 0.02173, 0.02167, 0.02156, 0.02143, 0.0213, 0.02116, 0.02103, 0.02094",\
                 "0.02164, 0.02164, 0.02161, 0.02155, 0.02146, 0.02134, 0.02121, 0.02108, 0.02096, 0.02085",\
                 "0.02153, 0.02152, 0.0215, 0.02145, 0.02136, 0.02125, 0.02113, 0.02099, 0.02088, 0.02076",\
                 "0.02139, 0.02138, 0.02136, 0.02132, 0.02123, 0.02112, 0.02099, 0.02088, 0.02073, 0.02054",\
                 "0.02098, 0.02096, 0.02094, 0.02086, 0.02074, 0.02049, 0.01987, 0.01906, 0.01838, 0.01784");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001517, 0.003333, 0.0068, 0.0122, 0.01978, 0.02975, 0.04232, 0.05765, 0.07594");
          values("0.01058, 0.01059, 0.01062, 0.01067, 0.01075, 0.01082, 0.01099, 0.01252, 0.02378, 0.04739",\
                 "0.0106, 0.01061, 0.01064, 0.01069, 0.01076, 0.01087, 0.01099, 0.01264, 0.02428, 0.04787",\
                 "0.01049, 0.01051, 0.01054, 0.01059, 0.01066, 0.01076, 0.01091, 0.013, 0.02585, 0.04925",\
                 "0.01037, 0.01038, 0.01041, 0.01046, 0.01055, 0.01063, 0.01084, 0.01393, 0.02926, 0.05165",\
                 "0.01026, 0.01028, 0.01031, 0.01036, 0.01042, 0.01051, 0.01102, 0.01661, 0.03481, 0.05437",\
                 "0.01019, 0.0102, 0.01023, 0.01028, 0.01036, 0.01048, 0.01213, 0.02292, 0.04099, 0.05564",\
                 "0.01013, 0.01014, 0.01017, 0.01022, 0.0103, 0.01098, 0.01751, 0.0316, 0.04354, 0.0524",\
                 "0.01005, 0.01006, 0.0101, 0.01017, 0.01094, 0.01672, 0.02523, 0.03174, 0.03649, 0.03996",\
                 "0.006522, 0.006366, 0.00639, 0.007076, 0.008008, 0.008806, 0.009402, 0.009824, 0.01012, 0.01033",\
                 "-0.01984, -0.01984, -0.01984, -0.01984, -0.01984, -0.01984, -0.01984, -0.01984, -0.01984, -0.01984");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001517, 0.003333, 0.0068, 0.0122, 0.01978, 0.02975, 0.04232, 0.05765, 0.07594");
          values("0.02728, 0.02729, 0.02735, 0.02742, 0.02752, 0.02761, 0.02769, 0.02775, 0.02781, 0.02785",\
                 "0.02729, 0.02731, 0.02736, 0.02744, 0.02754, 0.02763, 0.02771, 0.02777, 0.02782, 0.02787",\
                 "0.02719, 0.02721, 0.02727, 0.02735, 0.02744, 0.02754, 0.02761, 0.02768, 0.02773, 0.02778",\
                 "0.02706, 0.02708, 0.02714, 0.02722, 0.02732, 0.02741, 0.02749, 0.02755, 0.0276, 0.02765",\
                 "0.02696, 0.02698, 0.02703, 0.02711, 0.02721, 0.0273, 0.02737, 0.02744, 0.0275, 0.02754",\
                 "0.02689, 0.02691, 0.02696, 0.02703, 0.02712, 0.02721, 0.02729, 0.02735, 0.02742, 0.02745",\
                 "0.02683, 0.02685, 0.02689, 0.02695, 0.02704, 0.02712, 0.0272, 0.02727, 0.02732, 0.0273",\
                 "0.02673, 0.02674, 0.02678, 0.02684, 0.02691, 0.02699, 0.02705, 0.02706, 0.02689, 0.02647",\
                 "0.02468, 0.02469, 0.02471, 0.02471, 0.02453, 0.02394, 0.02338, 0.023, 0.02275, 0.02257",\
                 "0.008302, 0.008313, 0.008348, 0.008407, 0.008479, 0.008562, 0.008643, 0.00872, 0.008789, 0.008848");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001517, 0.003333, 0.0068, 0.0122, 0.01978, 0.02975, 0.04232, 0.05765, 0.07594");
          values("0.01509, 0.0151, 0.01514, 0.01521, 0.01528, 0.01536, 0.01544, 0.01576, 0.01973, 0.03781",\
                 "0.01509, 0.0151, 0.01514, 0.0152, 0.01528, 0.01536, 0.01543, 0.0158, 0.01996, 0.0383",\
                 "0.01508, 0.01509, 0.01513, 0.0152, 0.01528, 0.01535, 0.01543, 0.0159, 0.02062, 0.04008",\
                 "0.01504, 0.01505, 0.01508, 0.01515, 0.01522, 0.01529, 0.0154, 0.01599, 0.02225, 0.04347",\
                 "0.01495, 0.01496, 0.01499, 0.01504, 0.01512, 0.0152, 0.0153, 0.01641, 0.02553, 0.04852",\
                 "0.01485, 0.01486, 0.01489, 0.01494, 0.01501, 0.01508, 0.01528, 0.01769, 0.03135, 0.05423",\
                 "0.01475, 0.01476, 0.01479, 0.01483, 0.0149, 0.01497, 0.01546, 0.0213, 0.03945, 0.05854",\
                 "0.01467, 0.01468, 0.01469, 0.01473, 0.0148, 0.01495, 0.01721, 0.02944, 0.0462, 0.05931",\
                 "0.01459, 0.0146, 0.01462, 0.01463, 0.01471, 0.01597, 0.0245, 0.037, 0.04666, 0.05376",\
                 "0.01464, 0.01465, 0.01466, 0.01472, 0.01637, 0.02259, 0.02862, 0.03308, 0.03625, 0.03861");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001517, 0.003333, 0.0068, 0.0122, 0.01978, 0.02975, 0.04232, 0.05765, 0.07594");
          values("0.03743, 0.03742, 0.03739, 0.03732, 0.0372, 0.03706, 0.03691, 0.03677, 0.03664, 0.03654",\
                 "0.03734, 0.03734, 0.03731, 0.03724, 0.03712, 0.03698, 0.03683, 0.03669, 0.03656, 0.03646",\
                 "0.03721, 0.03721, 0.03719, 0.03711, 0.03699, 0.03684, 0.03669, 0.03655, 0.03643, 0.03633",\
                 "0.03713, 0.03712, 0.03709, 0.03703, 0.03691, 0.03676, 0.03661, 0.03647, 0.03634, 0.03624",\
                 "0.03707, 0.03704, 0.03703, 0.03695, 0.03684, 0.03669, 0.03654, 0.03639, 0.03627, 0.03617",\
                 "0.03697, 0.03697, 0.03693, 0.03686, 0.03674, 0.03659, 0.03644, 0.0363, 0.03617, 0.03607",\
                 "0.03683, 0.03682, 0.0368, 0.03672, 0.0366, 0.03646, 0.03631, 0.03616, 0.03603, 0.03591",\
                 "0.0366, 0.03659, 0.03656, 0.03648, 0.03635, 0.03618, 0.036, 0.03574, 0.03526, 0.03458",\
                 "0.0246, 0.0246, 0.0246, 0.02457, 0.02449, 0.02439, 0.02426, 0.02413, 0.02401, 0.02392",\
                 "0.006036, 0.006035, 0.006036, 0.006036, 0.006037, 0.006035, 0.006038, 0.006035, 0.006036, 0.006038");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001517, 0.003333, 0.0068, 0.0122, 0.01978, 0.02975, 0.04232, 0.05765, 0.07594");
          values("0.03503, 0.03504, 0.03507, 0.03512, 0.03519, 0.0353, 0.03544, 0.03755, 0.05057, 0.07393",\
                 "0.03507, 0.03508, 0.03511, 0.03516, 0.03524, 0.0353, 0.03548, 0.03773, 0.05111, 0.07438",\
                 "0.03506, 0.03507, 0.03509, 0.03514, 0.03522, 0.03529, 0.0355, 0.03824, 0.05284, 0.07563",\
                 "0.03497, 0.03498, 0.03501, 0.03506, 0.03514, 0.03524, 0.03551, 0.03944, 0.05606, 0.07751",\
                 "0.0349, 0.0349, 0.03493, 0.03498, 0.03508, 0.03512, 0.03574, 0.04195, 0.06046, 0.07937",\
                 "0.03481, 0.03482, 0.03486, 0.03491, 0.03498, 0.03513, 0.03655, 0.04666, 0.06504, 0.08027",\
                 "0.03475, 0.03476, 0.03479, 0.03484, 0.03491, 0.03524, 0.0393, 0.05337, 0.06796, 0.07895",\
                 "0.03469, 0.03471, 0.03474, 0.03477, 0.0349, 0.0366, 0.04599, 0.05792, 0.06694, 0.07359",\
                 "0.03461, 0.03462, 0.03465, 0.03474, 0.03602, 0.04243, 0.04961, 0.05498, 0.05889, 0.06173",\
                 "0.03324, 0.03306, 0.03286, 0.03386, 0.03544, 0.03685, 0.03793, 0.03869, 0.03924, 0.03962");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001517, 0.003333, 0.0068, 0.0122, 0.01978, 0.02975, 0.04232, 0.05765, 0.07594");
          values("0.02775, 0.02777, 0.02783, 0.02791, 0.028, 0.02809, 0.02817, 0.02824, 0.02829, 0.02834",\
                 "0.02779, 0.02781, 0.02786, 0.02794, 0.02804, 0.02813, 0.02821, 0.02827, 0.02833, 0.02837",\
                 "0.02778, 0.0278, 0.02785, 0.02793, 0.02803, 0.02812, 0.0282, 0.02826, 0.02832, 0.02836",\
                 "0.0277, 0.02772, 0.02777, 0.02785, 0.02795, 0.02804, 0.02812, 0.02818, 0.02824, 0.02828",\
                 "0.02762, 0.02763, 0.02769, 0.02777, 0.02787, 0.02796, 0.02803, 0.0281, 0.02815, 0.02819",\
                 "0.02754, 0.02756, 0.02762, 0.0277, 0.02779, 0.02788, 0.02797, 0.02803, 0.02808, 0.02812",\
                 "0.02748, 0.02749, 0.02755, 0.02763, 0.02773, 0.02781, 0.02789, 0.02795, 0.02801, 0.02802",\
                 "0.02742, 0.02744, 0.02749, 0.02757, 0.02767, 0.02776, 0.02784, 0.02789, 0.02791, 0.0278",\
                 "0.02729, 0.0273, 0.02735, 0.02744, 0.02754, 0.02762, 0.02767, 0.02763, 0.02734, 0.02684",\
                 "0.02618, 0.02619, 0.02623, 0.02629, 0.0263, 0.02602, 0.02541, 0.02491, 0.02455, 0.02429");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001517, 0.003333, 0.0068, 0.0122, 0.01978, 0.02975, 0.04232, 0.05765, 0.07594");
          values("0.007551, 0.007561, 0.007592, 0.007642, 0.007718, 0.007792, 0.007904, 0.009237, 0.0195, 0.0428",\
                 "0.007473, 0.007483, 0.007512, 0.007564, 0.007642, 0.007712, 0.007847, 0.009221, 0.01976, 0.04308",\
                 "0.007343, 0.007353, 0.007388, 0.007438, 0.00751, 0.007579, 0.007717, 0.00942, 0.0211, 0.04444",\
                 "0.007258, 0.007268, 0.007302, 0.007359, 0.007428, 0.00751, 0.007694, 0.01024, 0.02433, 0.04707",\
                 "0.007193, 0.007201, 0.007235, 0.007297, 0.007369, 0.007443, 0.00782, 0.01252, 0.02988, 0.05017",\
                 "0.007115, 0.007127, 0.007154, 0.007211, 0.00727, 0.007374, 0.0086, 0.01813, 0.03646, 0.05201",\
                 "0.007004, 0.007017, 0.007049, 0.007095, 0.007178, 0.007607, 0.01286, 0.027, 0.03993, 0.04958",\
                 "0.006874, 0.006885, 0.006911, 0.006956, 0.007371, 0.01199, 0.02131, 0.02885, 0.03434, 0.03827",\
                 "0.005856, 0.005692, 0.005383, 0.006306, 0.007975, 0.009403, 0.01052, 0.01139, 0.01205, 0.01254",\
                 "-0.01713, -0.01713, -0.01713, -0.01713, -0.01713, -0.01713, -0.01713, -0.01713, -0.01713, -0.01713");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001517, 0.003333, 0.0068, 0.0122, 0.01978, 0.02975, 0.04232, 0.05765, 0.07594");
          values("0.02235, 0.02235, 0.02233, 0.02226, 0.02215, 0.02202, 0.02187, 0.02173, 0.02161, 0.02151",\
                 "0.02236, 0.02236, 0.02234, 0.02228, 0.02217, 0.02202, 0.02188, 0.02174, 0.02162, 0.02152",\
                 "0.02237, 0.02238, 0.02235, 0.02228, 0.02217, 0.02203, 0.02188, 0.02175, 0.02162, 0.02153",\
                 "0.02236, 0.02236, 0.02233, 0.02227, 0.02215, 0.02201, 0.02186, 0.02172, 0.0216, 0.0215",\
                 "0.02229, 0.02229, 0.02227, 0.02221, 0.02209, 0.02196, 0.02181, 0.02168, 0.02155, 0.02146",\
                 "0.02222, 0.02221, 0.02219, 0.02213, 0.02203, 0.02189, 0.02175, 0.02161, 0.02149, 0.02138",\
                 "0.02212, 0.02211, 0.02208, 0.02203, 0.02193, 0.02181, 0.02167, 0.02154, 0.02142, 0.02131",\
                 "0.02201, 0.02199, 0.02199, 0.02192, 0.02183, 0.02172, 0.02159, 0.02146, 0.02134, 0.02123",\
                 "0.02188, 0.02187, 0.02187, 0.0218, 0.02172, 0.02161, 0.02148, 0.02135, 0.02122, 0.02105",\
                 "0.02161, 0.0216, 0.02158, 0.02151, 0.02141, 0.02122, 0.02084, 0.02008, 0.01933, 0.01874");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001517, 0.003333, 0.0068, 0.0122, 0.01978, 0.02975, 0.04232, 0.05765, 0.07594");
          values("0.008216, 0.008221, 0.008251, 0.008301, 0.008379, 0.008446, 0.008629, 0.01034, 0.02226, 0.04584",\
                 "0.008145, 0.008153, 0.008182, 0.008234, 0.008305, 0.00841, 0.008549, 0.0104, 0.02266, 0.04618",\
                 "0.008072, 0.00808, 0.00811, 0.008163, 0.008235, 0.00831, 0.008488, 0.0108, 0.02433, 0.04756",\
                 "0.008, 0.007997, 0.008037, 0.008087, 0.008165, 0.008224, 0.008542, 0.01194, 0.02788, 0.04987",\
                 "0.007929, 0.007937, 0.007973, 0.00802, 0.008089, 0.008202, 0.008761, 0.01493, 0.03342, 0.05238",\
                 "0.007876, 0.007884, 0.007908, 0.007967, 0.008038, 0.0082, 0.01008, 0.02164, 0.03923, 0.05326",\
                 "0.007819, 0.00783, 0.007854, 0.007912, 0.008, 0.008829, 0.01601, 0.02983, 0.0411, 0.04946",\
                 "0.007727, 0.007733, 0.00777, 0.007848, 0.008852, 0.01503, 0.02287, 0.02879, 0.0331, 0.03623",\
                 "0.002488, 0.00242, 0.002513, 0.003025, 0.00364, 0.004151, 0.004533, 0.004793, 0.004973, 0.005111",\
                 "-0.02325, -0.02325, -0.02325, -0.02325, -0.02325, -0.02325, -0.02325, -0.02325, -0.02325, -0.02325");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001517, 0.003333, 0.0068, 0.0122, 0.01978, 0.02975, 0.04232, 0.05765, 0.07594");
          values("0.0282, 0.02822, 0.02827, 0.02834, 0.02844, 0.02853, 0.02861, 0.02868, 0.02873, 0.02878",\
                 "0.02813, 0.02815, 0.0282, 0.02828, 0.02837, 0.02846, 0.02854, 0.02861, 0.02867, 0.02871",\
                 "0.02806, 0.02808, 0.02813, 0.02821, 0.0283, 0.02839, 0.02847, 0.02854, 0.0286, 0.02865",\
                 "0.02799, 0.028, 0.02805, 0.02813, 0.02822, 0.02832, 0.0284, 0.02846, 0.02852, 0.02857",\
                 "0.02792, 0.02794, 0.02799, 0.02806, 0.02815, 0.02825, 0.02833, 0.02839, 0.02845, 0.02849",\
                 "0.02787, 0.02788, 0.02793, 0.028, 0.02809, 0.02817, 0.02826, 0.02832, 0.02839, 0.02842",\
                 "0.02781, 0.02783, 0.02787, 0.02793, 0.02802, 0.0281, 0.02818, 0.02824, 0.02829, 0.02827",\
                 "0.02768, 0.02769, 0.02773, 0.02779, 0.02786, 0.02793, 0.02799, 0.02798, 0.02776, 0.02731",\
                 "0.0251, 0.0251, 0.02512, 0.02507, 0.02468, 0.02403, 0.02355, 0.02325, 0.02304, 0.0229",\
                 "0.008215, 0.008222, 0.008252, 0.008304, 0.008372, 0.008449, 0.008525, 0.008598, 0.008664, 0.00872");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001517, 0.003333, 0.0068, 0.0122, 0.01978, 0.02975, 0.04232, 0.05765, 0.07594");
          values("0.01552, 0.01554, 0.01557, 0.01564, 0.01572, 0.0158, 0.01589, 0.0162, 0.0202, 0.03834",\
                 "0.01553, 0.01554, 0.01558, 0.01565, 0.01573, 0.01581, 0.01589, 0.01626, 0.02044, 0.03882",\
                 "0.01554, 0.01555, 0.01559, 0.01566, 0.01574, 0.01583, 0.01592, 0.01637, 0.02115, 0.04055",\
                 "0.01552, 0.01553, 0.01557, 0.01564, 0.01571, 0.01578, 0.01586, 0.01652, 0.02265, 0.04384",\
                 "0.01545, 0.01546, 0.01549, 0.01555, 0.01562, 0.0157, 0.0158, 0.01689, 0.02573, 0.04863",\
                 "0.01537, 0.01539, 0.01542, 0.01546, 0.01553, 0.01561, 0.01579, 0.018, 0.03122, 0.05425",\
                 "0.01529, 0.0153, 0.01532, 0.01537, 0.01543, 0.01551, 0.01597, 0.02129, 0.03915, 0.05877",\
                 "0.0152, 0.01522, 0.01523, 0.01528, 0.01535, 0.01546, 0.01743, 0.02901, 0.04628, 0.06",\
                 "0.01513, 0.01513, 0.01516, 0.01519, 0.01525, 0.01626, 0.02412, 0.03721, 0.04754, 0.05518",\
                 "0.01519, 0.01519, 0.0152, 0.01523, 0.01651, 0.02275, 0.02952, 0.03461, 0.03822, 0.04088");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001517, 0.003333, 0.0068, 0.0122, 0.01978, 0.02975, 0.04232, 0.05765, 0.07594");
          values("0.02359, 0.02358, 0.02353, 0.02342, 0.02324, 0.02301, 0.02279, 0.02259, 0.02241, 0.02227",\
                 "0.02354, 0.02353, 0.02349, 0.02338, 0.02321, 0.02299, 0.02278, 0.02257, 0.0224, 0.02225",\
                 "0.02346, 0.02344, 0.02343, 0.02333, 0.02317, 0.02296, 0.02275, 0.02255, 0.02237, 0.02223",\
                 "0.02336, 0.02335, 0.02333, 0.02326, 0.02312, 0.02295, 0.02274, 0.02255, 0.02237, 0.02221",\
                 "0.02323, 0.02321, 0.02318, 0.02312, 0.02302, 0.02288, 0.02271, 0.02254, 0.02237, 0.02222",\
                 "0.02297, 0.02296, 0.02294, 0.0229, 0.02283, 0.02274, 0.02262, 0.02248, 0.02234, 0.02221",\
                 "0.02269, 0.02269, 0.02268, 0.02266, 0.02262, 0.02257, 0.02249, 0.02239, 0.02229, 0.02218",\
                 "0.02246, 0.02246, 0.02246, 0.02247, 0.02244, 0.02241, 0.02236, 0.02229, 0.02221, 0.02212",\
                 "0.02219, 0.0222, 0.02221, 0.0222, 0.02218, 0.02217, 0.02213, 0.02204, 0.02185, 0.02142",\
                 "0.01219, 0.01215, 0.01205, 0.01192, 0.01179, 0.01168, 0.01158, 0.01149, 0.01141, 0.01134");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001517, 0.003333, 0.0068, 0.0122, 0.01978, 0.02975, 0.04232, 0.05765, 0.07594");
          values("0.01654, 0.01652, 0.01642, 0.01624, 0.01599, 0.01573, 0.0155, 0.01549, 0.01827, 0.03388",\
                 "0.01655, 0.01653, 0.01645, 0.01629, 0.01606, 0.01582, 0.01557, 0.01558, 0.01846, 0.03437",\
                 "0.01626, 0.01625, 0.01621, 0.01613, 0.016, 0.01585, 0.01569, 0.01576, 0.01925, 0.03642",\
                 "0.01578, 0.01578, 0.01577, 0.01575, 0.01573, 0.01566, 0.01556, 0.01589, 0.02058, 0.04001",\
                 "0.01544, 0.01543, 0.01544, 0.01545, 0.01544, 0.01543, 0.01542, 0.01607, 0.02319, 0.04506",\
                 "0.01518, 0.01519, 0.0152, 0.01522, 0.01523, 0.01524, 0.01527, 0.01675, 0.02773, 0.05098",\
                 "0.01498, 0.01499, 0.015, 0.01503, 0.01505, 0.01507, 0.01529, 0.01889, 0.03496, 0.05637",\
                 "0.01481, 0.01481, 0.01482, 0.01484, 0.01489, 0.01495, 0.01592, 0.02463, 0.0431, 0.0593",\
                 "0.01463, 0.01463, 0.01464, 0.01467, 0.01469, 0.01505, 0.01984, 0.03392, 0.04731, 0.05734",\
                 "0.01474, 0.01474, 0.01476, 0.01478, 0.01506, 0.01891, 0.02867, 0.03704, 0.04324, 0.04777");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001517, 0.003333, 0.0068, 0.0122, 0.01978, 0.02975, 0.04232, 0.05765, 0.07594");
          values("0.0003562, 0.0003598, 0.0003604, 0.0003557, 0.000353, 0.000352, 0.0003523, 0.0003519, 0.0003489, 0.0003505",\
                 "0.0003258, 0.0003359, 0.0003466, 0.0003624, 0.0003721, 0.0003725, 0.0003763, 0.0003787, 0.0003818, 0.0003791",\
                 "0.0002077, 0.0002243, 0.00027, 0.0003223, 0.0003662, 0.0003932, 0.0004073, 0.0004207, 0.0004247, 0.000426",\
                 "1.896e-05, 5.206e-05, 0.0001233, 0.0002143, 0.000291, 0.0003502, 0.0003841, 0.0004149, 0.000432, 0.0004453",\
                 "-0.0001489, -0.0001255, -4.903e-05, 6.119e-05, 0.0001707, 0.0002544, 0.0003211, 0.0003657, 0.0003985, 0.0004256",\
                 "-0.000283, -0.0002641, -0.0001915, -8.408e-05, 3.547e-05, 0.0001415, 0.0002282, 0.000293, 0.0003438, 0.0003784",\
                 "-0.0003815, -0.0003627, -0.0003004, -0.000205, -9.363e-05, 2.256e-05, 0.0001213, 0.0002041, 0.0002672, 0.0003157",\
                 "-0.0004488, -0.0004345, -0.0003825, -0.000303, -0.0001961, -8.984e-05, 1.674e-05, 0.0001125, 0.0001853, 0.0002327",\
                 "-0.0004982, -0.0004837, -0.0004433, -0.0003721, -0.0002823, -0.000182, -8.251e-05, 1.568e-06, 3.273e-05, -8.866e-05",\
                 "-0.0001946, -0.0001842, -0.0001474, -9.354e-05, -1.974e-05, 4.095e-05, -1.319e-05, -0.0004526, -0.0009779, -0.001373");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001517, 0.003333, 0.0068, 0.0122, 0.01978, 0.02975, 0.04232, 0.05765, 0.07594");
          values("0.01349, 0.0135, 0.01352, 0.01353, 0.01356, 0.01358, 0.0136, 0.01375, 0.01602, 0.02983",\
                 "0.01336, 0.01339, 0.01346, 0.01353, 0.01359, 0.01364, 0.01369, 0.01386, 0.01625, 0.03044",\
                 "0.01298, 0.01301, 0.01312, 0.01325, 0.01338, 0.0135, 0.01359, 0.01383, 0.01671, 0.03222",\
                 "0.01274, 0.01277, 0.01284, 0.01297, 0.01311, 0.01326, 0.01338, 0.01378, 0.01775, 0.0358",\
                 "0.01263, 0.01265, 0.0127, 0.01279, 0.01291, 0.01305, 0.0132, 0.01389, 0.02027, 0.04175",\
                 "0.01256, 0.01258, 0.01262, 0.01268, 0.01278, 0.01289, 0.01309, 0.01469, 0.02595, 0.04967",\
                 "0.01251, 0.01253, 0.01256, 0.01263, 0.0127, 0.01279, 0.01326, 0.01836, 0.03626, 0.05647",\
                 "0.01249, 0.01249, 0.01253, 0.01258, 0.01265, 0.01287, 0.01593, 0.02936, 0.04529, 0.05742",\
                 "0.01247, 0.01248, 0.0125, 0.01255, 0.01289, 0.01706, 0.02701, 0.03539, 0.04158, 0.04609",\
                 "0.01157, 0.01148, 0.01128, 0.01242, 0.01437, 0.01615, 0.01751, 0.01849, 0.0192, 0.0197");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001517, 0.003333, 0.0068, 0.0122, 0.01978, 0.02975, 0.04232, 0.05765, 0.07594");
          values("0.0003554, 0.00036, 0.0003604, 0.0003562, 0.0003531, 0.000352, 0.0003513, 0.0003499, 0.0003488, 0.0003506",\
                 "0.0003258, 0.0003314, 0.0003474, 0.0003624, 0.0003721, 0.0003725, 0.0003763, 0.0003787, 0.0003817, 0.000379",\
                 "0.000206, 0.0002218, 0.00027, 0.0003229, 0.0003634, 0.0003885, 0.0004086, 0.000418, 0.0004246, 0.0004269",\
                 "2.302e-05, 4.923e-05, 0.00012, 0.0002128, 0.0002922, 0.0003463, 0.0003851, 0.0004152, 0.0004326, 0.0004453",\
                 "-0.0001489, -0.0001256, -4.517e-05, 6.208e-05, 0.0001696, 0.0002562, 0.0003207, 0.0003683, 0.0003991, 0.000425",\
                 "-0.0002829, -0.0002632, -0.0001929, -8.167e-05, 3.675e-05, 0.0001404, 0.0002284, 0.0002929, 0.0003447, 0.0003791",\
                 "-0.0003796, -0.0003627, -0.0003042, -0.0002079, -9.19e-05, 2.204e-05, 0.0001231, 0.0002046, 0.0002676, 0.0003157",\
                 "-0.0004476, -0.0004327, -0.0003825, -0.0003022, -0.0001971, -8.863e-05, 1.674e-05, 0.0001112, 0.0001852, 0.0002327",\
                 "-0.0004984, -0.0004837, -0.0004409, -0.0003732, -0.0002826, -0.0001829, -8.228e-05, 2.333e-06, 3.216e-05, -8.976e-05",\
                 "-0.0001947, -0.0001825, -0.0001472, -9.187e-05, -2.028e-05, 4.186e-05, -1.447e-05, -0.0004519, -0.0009775, -0.001374");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001517, 0.003333, 0.0068, 0.0122, 0.01978, 0.02975, 0.04232, 0.05765, 0.07594");
          values("0.01348, 0.01349, 0.0135, 0.01352, 0.01354, 0.01357, 0.01359, 0.01374, 0.01602, 0.02983",\
                 "0.01335, 0.01338, 0.01344, 0.01352, 0.01358, 0.01363, 0.01368, 0.01385, 0.01624, 0.03042",\
                 "0.01297, 0.013, 0.01311, 0.01324, 0.01337, 0.01349, 0.01358, 0.01382, 0.01669, 0.03225",\
                 "0.01274, 0.01276, 0.01283, 0.01296, 0.01311, 0.01326, 0.01338, 0.01377, 0.01774, 0.0358",\
                 "0.01262, 0.01263, 0.01269, 0.01278, 0.0129, 0.01304, 0.01317, 0.01387, 0.02026, 0.04175",\
                 "0.01255, 0.01256, 0.0126, 0.01268, 0.01276, 0.01288, 0.01307, 0.01469, 0.02596, 0.04962",\
                 "0.01251, 0.01252, 0.01255, 0.01262, 0.01269, 0.01277, 0.01324, 0.01835, 0.03625, 0.05645",\
                 "0.01248, 0.01248, 0.01251, 0.01256, 0.01264, 0.01286, 0.01592, 0.02935, 0.04528, 0.0574",\
                 "0.01246, 0.01247, 0.01249, 0.01253, 0.01287, 0.01705, 0.02699, 0.03538, 0.04156, 0.04608",\
                 "0.01156, 0.01147, 0.01126, 0.01241, 0.01436, 0.01614, 0.0175, 0.01848, 0.01919, 0.01968");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001517, 0.003333, 0.0068, 0.0122, 0.01978, 0.02975, 0.04232, 0.05765, 0.07594");
          values("0.02358, 0.02358, 0.02352, 0.02342, 0.02323, 0.02301, 0.02278, 0.02259, 0.02241, 0.02227",\
                 "0.02353, 0.02352, 0.02349, 0.02338, 0.02321, 0.023, 0.02277, 0.02257, 0.0224, 0.02226",\
                 "0.02344, 0.02344, 0.02341, 0.02332, 0.02316, 0.02296, 0.02274, 0.02255, 0.02237, 0.02222",\
                 "0.02335, 0.02335, 0.02332, 0.02325, 0.02312, 0.02294, 0.02274, 0.02255, 0.02237, 0.02221",\
                 "0.0232, 0.02321, 0.02318, 0.02312, 0.02302, 0.02288, 0.02271, 0.02254, 0.02237, 0.02222",\
                 "0.02295, 0.02295, 0.02294, 0.0229, 0.02283, 0.02274, 0.02262, 0.02248, 0.02234, 0.02221",\
                 "0.02269, 0.02269, 0.02268, 0.02266, 0.02262, 0.02257, 0.02249, 0.02239, 0.02228, 0.02218",\
                 "0.02245, 0.02246, 0.02247, 0.02246, 0.02244, 0.02242, 0.02236, 0.0223, 0.02221, 0.02212",\
                 "0.02219, 0.02219, 0.02221, 0.02219, 0.0222, 0.02217, 0.02213, 0.02204, 0.02186, 0.02142",\
                 "0.01218, 0.01215, 0.01205, 0.01191, 0.01178, 0.01167, 0.01157, 0.01149, 0.01141, 0.01133");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001517, 0.003333, 0.0068, 0.0122, 0.01978, 0.02975, 0.04232, 0.05765, 0.07594");
          values("0.01653, 0.01651, 0.01641, 0.01624, 0.01599, 0.01572, 0.01549, 0.0155, 0.01829, 0.03394",\
                 "0.01654, 0.01653, 0.01644, 0.01629, 0.01606, 0.01581, 0.01557, 0.01557, 0.01851, 0.03443",\
                 "0.01626, 0.01625, 0.0162, 0.01613, 0.016, 0.01584, 0.01566, 0.01575, 0.01925, 0.03647",\
                 "0.01577, 0.01577, 0.01577, 0.01574, 0.01572, 0.01564, 0.01556, 0.01587, 0.02069, 0.04009",\
                 "0.01543, 0.01543, 0.01544, 0.01544, 0.01545, 0.01542, 0.01542, 0.01608, 0.02323, 0.04514",\
                 "0.01518, 0.01518, 0.01519, 0.01521, 0.01522, 0.01523, 0.01529, 0.01674, 0.02778, 0.05104",\
                 "0.01497, 0.01497, 0.01498, 0.01502, 0.01504, 0.01507, 0.0153, 0.01892, 0.03503, 0.05641",\
                 "0.0148, 0.0148, 0.01481, 0.01483, 0.01487, 0.01493, 0.01592, 0.02471, 0.04316, 0.0593",\
                 "0.01462, 0.01462, 0.01463, 0.01467, 0.01469, 0.01505, 0.01988, 0.03398, 0.04731, 0.0573",\
                 "0.01473, 0.01474, 0.01475, 0.01478, 0.01505, 0.01896, 0.02868, 0.03702, 0.0432, 0.04772");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001517, 0.003333, 0.0068, 0.0122, 0.01978, 0.02975, 0.04232, 0.05765, 0.07594");
          values("6.483, 6.534, 6.698, 6.967, 7.326, 7.771, 8.307, 8.941, 9.684, 10.55",\
                 "6.563, 6.614, 6.777, 7.047, 7.405, 7.851, 8.387, 9.021, 9.765, 10.63",\
                 "6.793, 6.844, 7.008, 7.278, 7.636, 8.082, 8.617, 9.252, 9.995, 10.86",\
                 "7.17, 7.221, 7.384, 7.654, 8.014, 8.46, 8.995, 9.63, 10.37, 11.24",\
                 "7.616, 7.667, 7.831, 8.101, 8.461, 8.905, 9.441, 10.07, 10.82, 11.68",\
                 "8.099, 8.15, 8.314, 8.583, 8.942, 9.388, 9.924, 10.56, 11.3, 12.17",\
                 "8.607, 8.659, 8.823, 9.092, 9.452, 9.897, 10.43, 11.07, 11.81, 12.68",\
                 "9.132, 9.183, 9.347, 9.617, 9.975, 10.42, 10.96, 11.59, 12.34, 13.2",\
                 "9.675, 9.726, 9.889, 10.16, 10.52, 10.96, 11.5, 12.13, 12.88, 13.74",\
                 "10.22, 10.27, 10.44, 10.71, 11.07, 11.51, 12.05, 12.68, 13.43, 14.29");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001517, 0.003333, 0.0068, 0.0122, 0.01978, 0.02975, 0.04232, 0.05765, 0.07594");
          values("6.597, 6.682, 6.979, 7.541, 8.412, 9.629, 11.23, 13.23, 15.68, 18.6",\
                 "6.652, 6.736, 7.032, 7.595, 8.466, 9.683, 11.28, 13.29, 15.74, 18.65",\
                 "6.882, 6.967, 7.263, 7.824, 8.697, 9.913, 11.51, 13.52, 15.97, 18.88",\
                 "7.344, 7.428, 7.724, 8.287, 9.157, 10.37, 11.97, 13.98, 16.43, 19.34",\
                 "8.048, 8.134, 8.43, 8.992, 9.863, 11.08, 12.68, 14.68, 17.13, 20.05",\
                 "9.029, 9.114, 9.41, 9.972, 10.84, 12.06, 13.66, 15.66, 18.11, 21.03",\
                 "10.31, 10.4, 10.69, 11.26, 12.13, 13.34, 14.94, 16.95, 19.4, 22.31",\
                 "11.91, 11.99, 12.29, 12.85, 13.72, 14.94, 16.54, 18.55, 20.99, 23.91",\
                 "13.79, 13.88, 14.17, 14.73, 15.6, 16.82, 18.42, 20.43, 22.88, 25.79",\
                 "15.92, 16, 16.3, 16.86, 17.73, 18.95, 20.54, 22.55, 25, 27.92");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001517, 0.003333, 0.0068, 0.0122, 0.01978, 0.02975, 0.04232, 0.05765, 0.07594");
          values("0.9422, 0.9836, 1.125, 1.375, 1.755, 2.286, 2.985, 3.873, 4.977, 6.303",\
                 "0.9412, 0.9844, 1.125, 1.376, 1.754, 2.285, 2.985, 3.874, 4.97, 6.307",\
                 "0.9404, 0.9836, 1.126, 1.376, 1.755, 2.286, 2.982, 3.874, 4.973, 6.307",\
                 "0.942, 0.9844, 1.124, 1.377, 1.754, 2.286, 2.985, 3.873, 4.978, 6.306",\
                 "0.9418, 0.9842, 1.124, 1.377, 1.756, 2.284, 2.984, 3.874, 4.976, 6.304",\
                 "0.942, 0.982, 1.126, 1.376, 1.754, 2.286, 2.984, 3.874, 4.972, 6.306",\
                 "0.942, 0.984, 1.126, 1.376, 1.754, 2.284, 2.982, 3.872, 4.98, 6.304",\
                 "0.942, 0.982, 1.124, 1.378, 1.758, 2.288, 2.99, 3.876, 4.974, 6.31",\
                 "0.94, 0.984, 1.124, 1.374, 1.754, 2.284, 2.984, 3.874, 4.974, 6.304",\
                 "0.94, 0.984, 1.124, 1.376, 1.752, 2.286, 2.984, 3.872, 4.972, 6.302");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001517, 0.003333, 0.0068, 0.0122, 0.01978, 0.02975, 0.04232, 0.05765, 0.07594");
          values("1.566, 1.703, 2.178, 3.085, 4.497, 6.48, 9.088, 12.37, 16.38, 21.16",\
                 "1.568, 1.704, 2.178, 3.086, 4.498, 6.483, 9.088, 12.38, 16.38, 21.16",\
                 "1.566, 1.702, 2.178, 3.085, 4.496, 6.479, 9.089, 12.37, 16.39, 21.16",\
                 "1.567, 1.702, 2.178, 3.083, 4.498, 6.48, 9.088, 12.37, 16.38, 21.15",\
                 "1.566, 1.702, 2.178, 3.084, 4.498, 6.48, 9.084, 12.37, 16.38, 21.16",\
                 "1.568, 1.704, 2.178, 3.082, 4.498, 6.48, 9.088, 12.37, 16.38, 21.16",\
                 "1.566, 1.702, 2.178, 3.082, 4.498, 6.48, 9.086, 12.37, 16.39, 21.16",\
                 "1.568, 1.702, 2.178, 3.086, 4.498, 6.48, 9.084, 12.37, 16.38, 21.17",\
                 "1.57, 1.702, 2.18, 3.084, 4.496, 6.478, 9.088, 12.37, 16.38, 21.17",\
                 "1.566, 1.702, 2.18, 3.086, 4.496, 6.48, 9.09, 12.38, 16.38, 21.16");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001517, 0.003333, 0.0068, 0.0122, 0.01978, 0.02975, 0.04232, 0.05765, 0.07594");
          values("5.155, 5.184, 5.279, 5.439, 5.656, 5.921, 6.235, 6.598, 7.016, 7.495",\
                 "5.21, 5.238, 5.334, 5.494, 5.71, 5.976, 6.29, 6.653, 7.071, 7.55",\
                 "5.409, 5.437, 5.532, 5.692, 5.909, 6.175, 6.489, 6.852, 7.27, 7.749",\
                 "5.787, 5.816, 5.91, 6.07, 6.287, 6.553, 6.867, 7.23, 7.648, 8.127",\
                 "6.369, 6.398, 6.493, 6.653, 6.87, 7.136, 7.449, 7.813, 8.231, 8.71",\
                 "7.106, 7.134, 7.229, 7.389, 7.606, 7.872, 8.186, 8.549, 8.966, 9.446",\
                 "7.903, 7.932, 8.026, 8.186, 8.403, 8.67, 8.983, 9.347, 9.765, 10.24",\
                 "8.734, 8.764, 8.858, 9.019, 9.236, 9.503, 9.817, 10.18, 10.6, 11.08",\
                 "9.595, 9.624, 9.72, 9.88, 10.1, 10.36, 10.68, 11.04, 11.46, 11.94",\
                 "10.48, 10.51, 10.6, 10.77, 10.98, 11.25, 11.56, 11.93, 12.35, 12.83");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001517, 0.003333, 0.0068, 0.0122, 0.01978, 0.02975, 0.04232, 0.05765, 0.07594");
          values("6.916, 7, 7.291, 7.846, 8.71, 9.92, 11.51, 13.52, 15.96, 18.88",\
                 "6.991, 7.074, 7.365, 7.92, 8.784, 9.995, 11.59, 13.59, 16.04, 18.95",\
                 "7.222, 7.304, 7.596, 8.151, 9.014, 10.23, 11.82, 13.82, 16.27, 19.18",\
                 "7.689, 7.772, 8.065, 8.618, 9.482, 10.69, 12.28, 14.29, 16.73, 19.65",\
                 "8.446, 8.529, 8.82, 9.376, 10.24, 11.45, 13.04, 15.05, 17.49, 20.4",\
                 "9.527, 9.61, 9.902, 10.46, 11.32, 12.53, 14.12, 16.13, 18.57, 21.49",\
                 "10.96, 11.04, 11.34, 11.89, 12.75, 13.96, 15.56, 17.56, 20.01, 22.92",\
                 "12.77, 12.86, 13.15, 13.7, 14.57, 15.78, 17.37, 19.37, 21.82, 24.73",\
                 "14.96, 15.04, 15.33, 15.88, 16.75, 17.96, 19.55, 21.56, 24, 26.91",\
                 "17.46, 17.54, 17.83, 18.39, 19.25, 20.46, 22.05, 24.06, 26.5, 29.42");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001517, 0.003333, 0.0068, 0.0122, 0.01978, 0.02975, 0.04232, 0.05765, 0.07594");
          values("0.6404, 0.6722, 0.7728, 0.9444, 1.182, 1.486, 1.867, 2.341, 2.923, 3.633",\
                 "0.6416, 0.6718, 0.773, 0.9448, 1.181, 1.486, 1.867, 2.341, 2.924, 3.632",\
                 "0.6406, 0.673, 0.7732, 0.944, 1.182, 1.486, 1.867, 2.341, 2.923, 3.632",\
                 "0.6404, 0.672, 0.7732, 0.9456, 1.18, 1.486, 1.866, 2.341, 2.924, 3.628",\
                 "0.6418, 0.6724, 0.7734, 0.9446, 1.181, 1.486, 1.865, 2.341, 2.924, 3.63",\
                 "0.642, 0.674, 0.772, 0.944, 1.18, 1.486, 1.866, 2.338, 2.924, 3.634",\
                 "0.64, 0.674, 0.774, 0.944, 1.182, 1.486, 1.868, 2.34, 2.924, 3.63",\
                 "0.644, 0.672, 0.774, 0.946, 1.184, 1.486, 1.866, 2.338, 2.924, 3.634",\
                 "0.644, 0.674, 0.776, 0.948, 1.182, 1.484, 1.864, 2.336, 2.92, 3.63",\
                 "0.644, 0.674, 0.776, 0.946, 1.182, 1.486, 1.868, 2.34, 2.92, 3.632");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001517, 0.003333, 0.0068, 0.0122, 0.01978, 0.02975, 0.04232, 0.05765, 0.07594");
          values("1.425, 1.558, 2.03, 2.936, 4.355, 6.331, 8.944, 12.22, 16.23, 21.01",\
                 "1.424, 1.559, 2.03, 2.935, 4.35, 6.334, 8.944, 12.22, 16.23, 21.01",\
                 "1.424, 1.559, 2.03, 2.936, 4.348, 6.336, 8.94, 12.23, 16.22, 21",\
                 "1.424, 1.56, 2.03, 2.936, 4.356, 6.336, 8.936, 12.22, 16.24, 21",\
                 "1.424, 1.56, 2.03, 2.936, 4.35, 6.332, 8.936, 12.22, 16.22, 21",\
                 "1.426, 1.56, 2.03, 2.934, 4.356, 6.332, 8.946, 12.22, 16.23, 21",\
                 "1.424, 1.56, 2.03, 2.936, 4.35, 6.336, 8.944, 12.22, 16.23, 21.01",\
                 "1.424, 1.56, 2.03, 2.934, 4.352, 6.336, 8.938, 12.22, 16.23, 21",\
                 "1.424, 1.558, 2.03, 2.934, 4.352, 6.33, 8.936, 12.22, 16.23, 21",\
                 "1.424, 1.558, 2.03, 2.934, 4.35, 6.334, 8.94, 12.23, 16.23, 21");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001517, 0.003333, 0.0068, 0.0122, 0.01978, 0.02975, 0.04232, 0.05765, 0.07594");
          values("6.483, 6.534, 6.698, 6.967, 7.326, 7.771, 8.307, 8.941, 9.684, 10.55",\
                 "6.563, 6.614, 6.777, 7.047, 7.405, 7.851, 8.387, 9.021, 9.765, 10.63",\
                 "6.793, 6.844, 7.008, 7.278, 7.636, 8.082, 8.617, 9.252, 9.995, 10.86",\
                 "7.17, 7.221, 7.384, 7.654, 8.014, 8.46, 8.995, 9.63, 10.37, 11.24",\
                 "7.616, 7.667, 7.831, 8.101, 8.461, 8.905, 9.441, 10.07, 10.82, 11.68",\
                 "8.099, 8.15, 8.314, 8.583, 8.942, 9.388, 9.924, 10.56, 11.3, 12.17",\
                 "8.607, 8.659, 8.823, 9.092, 9.452, 9.897, 10.43, 11.07, 11.81, 12.68",\
                 "9.132, 9.183, 9.347, 9.617, 9.975, 10.42, 10.96, 11.59, 12.34, 13.2",\
                 "9.675, 9.726, 9.889, 10.16, 10.52, 10.96, 11.5, 12.13, 12.88, 13.74",\
                 "10.22, 10.27, 10.44, 10.71, 11.07, 11.51, 12.05, 12.68, 13.43, 14.29");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001517, 0.003333, 0.0068, 0.0122, 0.01978, 0.02975, 0.04232, 0.05765, 0.07594");
          values("6.916, 7, 7.291, 7.846, 8.71, 9.92, 11.51, 13.52, 15.96, 18.88",\
                 "6.991, 7.074, 7.365, 7.92, 8.784, 9.995, 11.59, 13.59, 16.04, 18.95",\
                 "7.222, 7.304, 7.596, 8.151, 9.014, 10.23, 11.82, 13.82, 16.27, 19.18",\
                 "7.689, 7.772, 8.065, 8.618, 9.482, 10.69, 12.28, 14.29, 16.73, 19.65",\
                 "8.446, 8.529, 8.82, 9.376, 10.24, 11.45, 13.04, 15.05, 17.49, 20.4",\
                 "9.527, 9.61, 9.902, 10.46, 11.32, 12.53, 14.12, 16.13, 18.57, 21.49",\
                 "10.96, 11.04, 11.34, 11.89, 12.75, 13.96, 15.56, 17.56, 20.01, 22.92",\
                 "12.77, 12.86, 13.15, 13.7, 14.57, 15.78, 17.37, 19.37, 21.82, 24.73",\
                 "14.96, 15.04, 15.33, 15.88, 16.75, 17.96, 19.55, 21.56, 24, 26.91",\
                 "17.46, 17.54, 17.83, 18.39, 19.25, 20.46, 22.05, 24.06, 26.5, 29.42");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001517, 0.003333, 0.0068, 0.0122, 0.01978, 0.02975, 0.04232, 0.05765, 0.07594");
          values("0.9422, 0.9836, 1.125, 1.375, 1.755, 2.286, 2.985, 3.873, 4.977, 6.303",\
                 "0.9412, 0.9844, 1.125, 1.376, 1.754, 2.285, 2.985, 3.874, 4.97, 6.307",\
                 "0.9404, 0.9836, 1.126, 1.376, 1.755, 2.286, 2.982, 3.874, 4.973, 6.307",\
                 "0.942, 0.9844, 1.124, 1.377, 1.754, 2.286, 2.985, 3.873, 4.978, 6.306",\
                 "0.9418, 0.9842, 1.124, 1.377, 1.756, 2.284, 2.984, 3.874, 4.976, 6.304",\
                 "0.942, 0.982, 1.126, 1.376, 1.754, 2.286, 2.984, 3.874, 4.972, 6.306",\
                 "0.942, 0.984, 1.126, 1.376, 1.754, 2.284, 2.982, 3.872, 4.98, 6.304",\
                 "0.942, 0.982, 1.124, 1.378, 1.758, 2.288, 2.99, 3.876, 4.974, 6.31",\
                 "0.94, 0.984, 1.124, 1.374, 1.754, 2.284, 2.984, 3.874, 4.974, 6.304",\
                 "0.94, 0.984, 1.124, 1.376, 1.752, 2.286, 2.984, 3.872, 4.972, 6.302");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001517, 0.003333, 0.0068, 0.0122, 0.01978, 0.02975, 0.04232, 0.05765, 0.07594");
          values("1.566, 1.703, 2.178, 3.085, 4.497, 6.48, 9.088, 12.37, 16.38, 21.16",\
                 "1.568, 1.704, 2.178, 3.086, 4.498, 6.483, 9.088, 12.38, 16.38, 21.16",\
                 "1.566, 1.702, 2.178, 3.085, 4.496, 6.479, 9.089, 12.37, 16.39, 21.16",\
                 "1.567, 1.702, 2.178, 3.083, 4.498, 6.48, 9.088, 12.37, 16.38, 21.15",\
                 "1.566, 1.702, 2.178, 3.084, 4.498, 6.48, 9.084, 12.37, 16.38, 21.16",\
                 "1.568, 1.704, 2.178, 3.082, 4.498, 6.48, 9.088, 12.37, 16.38, 21.16",\
                 "1.566, 1.702, 2.178, 3.082, 4.498, 6.48, 9.086, 12.37, 16.39, 21.16",\
                 "1.568, 1.702, 2.178, 3.086, 4.498, 6.48, 9.084, 12.37, 16.38, 21.17",\
                 "1.57, 1.702, 2.18, 3.084, 4.496, 6.478, 9.088, 12.37, 16.38, 21.17",\
                 "1.566, 1.702, 2.18, 3.086, 4.496, 6.48, 9.09, 12.38, 16.38, 21.16");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001517, 0.003333, 0.0068, 0.0122, 0.01978, 0.02975, 0.04232, 0.05765, 0.07594");
          values("8.916, 8.945, 9.04, 9.2, 9.416, 9.683, 9.996, 10.36, 10.78, 11.26",\
                 "8.971, 8.999, 9.094, 9.255, 9.472, 9.737, 10.05, 10.41, 10.83, 11.31",\
                 "9.202, 9.229, 9.326, 9.486, 9.702, 9.968, 10.28, 10.64, 11.06, 11.54",\
                 "9.662, 9.691, 9.787, 9.947, 10.16, 10.43, 10.74, 11.11, 11.52, 12",\
                 "10.37, 10.4, 10.49, 10.65, 10.87, 11.13, 11.45, 11.81, 12.23, 12.71",\
                 "11.35, 11.38, 11.47, 11.63, 11.85, 12.11, 12.43, 12.79, 13.21, 13.69",\
                 "12.63, 12.66, 12.76, 12.91, 13.13, 13.4, 13.71, 14.08, 14.49, 14.97",\
                 "14.23, 14.26, 14.35, 14.51, 14.73, 15, 15.31, 15.67, 16.09, 16.57",\
                 "16.11, 16.14, 16.23, 16.39, 16.61, 16.88, 17.19, 17.55, 17.97, 18.45",\
                 "18.23, 18.26, 18.36, 18.52, 18.74, 19, 19.32, 19.68, 20.1, 20.58");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001517, 0.003333, 0.0068, 0.0122, 0.01978, 0.02975, 0.04232, 0.05765, 0.07594");
          values("7.878, 7.961, 8.252, 8.807, 9.67, 10.88, 12.47, 14.48, 16.92, 19.84",\
                 "7.958, 8.041, 8.332, 8.887, 9.751, 10.96, 12.55, 14.56, 17, 19.92",\
                 "8.187, 8.27, 8.561, 9.116, 9.979, 11.19, 12.78, 14.79, 17.23, 20.15",\
                 "8.562, 8.645, 8.936, 9.491, 10.35, 11.57, 13.16, 15.16, 17.61, 20.52",\
                 "9.008, 9.091, 9.382, 9.937, 10.8, 12.01, 13.6, 15.61, 18.05, 20.97",\
                 "9.491, 9.574, 9.864, 10.42, 11.28, 12.49, 14.09, 16.09, 18.54, 21.45",\
                 "9.999, 10.08, 10.37, 10.93, 11.79, 13, 14.6, 16.6, 19.05, 21.96",\
                 "10.52, 10.61, 10.9, 11.45, 12.32, 13.53, 15.12, 17.12, 19.57, 22.48",\
                 "11.07, 11.15, 11.44, 12, 12.86, 14.07, 15.66, 17.67, 20.11, 23.02",\
                 "11.61, 11.7, 11.99, 12.54, 13.41, 14.62, 16.21, 18.21, 20.66, 23.57");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001517, 0.003333, 0.0068, 0.0122, 0.01978, 0.02975, 0.04232, 0.05765, 0.07594");
          values("0.6418, 0.673, 0.775, 0.9462, 1.183, 1.486, 1.869, 2.342, 2.926, 3.632",\
                 "0.6414, 0.673, 0.7758, 0.9466, 1.183, 1.487, 1.87, 2.341, 2.924, 3.634",\
                 "0.6422, 0.6736, 0.775, 0.946, 1.183, 1.487, 1.868, 2.34, 2.922, 3.632",\
                 "0.642, 0.674, 0.774, 0.946, 1.182, 1.488, 1.87, 2.342, 2.926, 3.634",\
                 "0.644, 0.672, 0.776, 0.946, 1.184, 1.488, 1.87, 2.34, 2.922, 3.63",\
                 "0.642, 0.674, 0.776, 0.948, 1.182, 1.488, 1.868, 2.344, 2.922, 3.634",\
                 "0.64, 0.674, 0.776, 0.946, 1.182, 1.488, 1.868, 2.342, 2.926, 3.632",\
                 "0.642, 0.672, 0.776, 0.948, 1.182, 1.488, 1.87, 2.34, 2.924, 3.632",\
                 "0.642, 0.674, 0.774, 0.948, 1.184, 1.488, 1.87, 2.342, 2.924, 3.63",\
                 "0.644, 0.674, 0.774, 0.946, 1.184, 1.488, 1.868, 2.34, 2.926, 3.634");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001517, 0.003333, 0.0068, 0.0122, 0.01978, 0.02975, 0.04232, 0.05765, 0.07594");
          values("1.424, 1.559, 2.031, 2.936, 4.354, 6.335, 8.944, 12.22, 16.24, 21",\
                 "1.425, 1.558, 2.03, 2.936, 4.353, 6.329, 8.946, 12.22, 16.23, 21",\
                 "1.424, 1.559, 2.031, 2.936, 4.352, 6.33, 8.944, 12.22, 16.23, 21",\
                 "1.424, 1.559, 2.031, 2.935, 4.354, 6.33, 8.944, 12.22, 16.23, 21",\
                 "1.424, 1.56, 2.03, 2.936, 4.348, 6.33, 8.944, 12.22, 16.23, 21.01",\
                 "1.428, 1.56, 2.03, 2.936, 4.352, 6.33, 8.946, 12.22, 16.23, 21",\
                 "1.426, 1.56, 2.03, 2.938, 4.348, 6.33, 8.936, 12.22, 16.23, 21.01",\
                 "1.424, 1.558, 2.032, 2.938, 4.348, 6.334, 8.944, 12.22, 16.24, 21",\
                 "1.424, 1.558, 2.03, 2.936, 4.346, 6.33, 8.936, 12.22, 16.22, 21.02",\
                 "1.424, 1.562, 2.03, 2.936, 4.35, 6.332, 8.94, 12.23, 16.23, 21");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001517, 0.003333, 0.0068, 0.0122, 0.01978, 0.02975, 0.04232, 0.05765, 0.07594");
          values("5.525, 5.575, 5.739, 6.007, 6.365, 6.809, 7.344, 7.978, 8.721, 9.584",\
                 "5.599, 5.65, 5.813, 6.082, 6.44, 6.885, 7.419, 8.052, 8.795, 9.659",\
                 "5.831, 5.882, 6.045, 6.314, 6.672, 7.117, 7.651, 8.285, 9.027, 9.891",\
                 "6.299, 6.35, 6.514, 6.782, 7.141, 7.585, 8.12, 8.752, 9.496, 10.36",\
                 "7.055, 7.106, 7.269, 7.538, 7.896, 8.34, 8.876, 9.509, 10.25, 11.12",\
                 "8.137, 8.188, 8.35, 8.619, 8.976, 9.421, 9.955, 10.59, 11.33, 12.2",\
                 "9.57, 9.62, 9.784, 10.05, 10.41, 10.85, 11.39, 12.02, 12.77, 13.63",\
                 "11.38, 11.43, 11.6, 11.87, 12.22, 12.67, 13.2, 13.84, 14.58, 15.44",\
                 "13.58, 13.63, 13.79, 14.07, 14.43, 14.87, 15.41, 16.04, 16.79, 17.65",\
                 "16.11, 16.17, 16.34, 16.62, 16.98, 17.43, 17.97, 18.61, 19.35, 20.22");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001517, 0.003333, 0.0068, 0.0122, 0.01978, 0.02975, 0.04232, 0.05765, 0.07594");
          values("2.832, 2.918, 3.216, 3.78, 4.651, 5.868, 7.465, 9.471, 11.92, 14.83",\
                 "2.887, 2.973, 3.271, 3.835, 4.706, 5.923, 7.519, 9.526, 11.97, 14.89",\
                 "3.086, 3.171, 3.469, 4.033, 4.904, 6.122, 7.718, 9.725, 12.17, 15.09",\
                 "3.464, 3.549, 3.846, 4.409, 5.281, 6.497, 8.094, 10.1, 12.55, 15.46",\
                 "4.046, 4.132, 4.429, 4.991, 5.862, 7.079, 8.676, 10.68, 13.13, 16.05",\
                 "4.782, 4.867, 5.164, 5.727, 6.597, 7.813, 9.41, 11.42, 13.87, 16.78",\
                 "5.572, 5.659, 5.957, 6.52, 7.391, 8.607, 10.2, 12.21, 14.66, 17.58",\
                 "6.4, 6.486, 6.784, 7.347, 8.219, 9.438, 11.04, 13.04, 15.49, 18.41",\
                 "7.256, 7.343, 7.643, 8.206, 9.077, 10.29, 11.89, 13.9, 16.35, 19.27",\
                 "8.134, 8.221, 8.522, 9.087, 9.958, 11.17, 12.77, 14.78, 17.23, 20.15");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001517, 0.003333, 0.0068, 0.0122, 0.01978, 0.02975, 0.04232, 0.05765, 0.07594");
          values("0.9354, 0.9784, 1.118, 1.37, 1.749, 2.28, 2.979, 3.868, 4.968, 6.305",\
                 "0.9362, 0.9786, 1.118, 1.371, 1.749, 2.281, 2.98, 3.868, 4.967, 6.304",\
                 "0.936, 0.9786, 1.119, 1.37, 1.749, 2.282, 2.98, 3.87, 4.966, 6.302",\
                 "0.9364, 0.9794, 1.118, 1.369, 1.748, 2.282, 2.977, 3.868, 4.967, 6.304",\
                 "0.9366, 0.9788, 1.119, 1.37, 1.75, 2.279, 2.98, 3.868, 4.974, 6.3",\
                 "0.936, 0.978, 1.118, 1.37, 1.75, 2.282, 2.98, 3.87, 4.972, 6.304",\
                 "0.936, 0.98, 1.12, 1.372, 1.75, 2.282, 2.98, 3.872, 4.968, 6.298",\
                 "0.94, 0.98, 1.122, 1.374, 1.752, 2.28, 2.982, 3.872, 4.972, 6.298",\
                 "0.956, 0.998, 1.138, 1.386, 1.762, 2.288, 2.984, 3.874, 4.974, 6.306",\
                 "1.004, 1.046, 1.182, 1.426, 1.794, 2.314, 3.006, 3.888, 4.98, 6.316");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001517, 0.003333, 0.0068, 0.0122, 0.01978, 0.02975, 0.04232, 0.05765, 0.07594");
          values("1.592, 1.725, 2.194, 3.097, 4.508, 6.486, 9.096, 12.38, 16.39, 21.17",\
                 "1.592, 1.726, 2.194, 3.095, 4.506, 6.486, 9.098, 12.38, 16.39, 21.17",\
                 "1.594, 1.725, 2.194, 3.096, 4.507, 6.486, 9.097, 12.39, 16.39, 21.17",\
                 "1.594, 1.725, 2.193, 3.096, 4.507, 6.486, 9.096, 12.38, 16.39, 21.17",\
                 "1.593, 1.726, 2.195, 3.096, 4.507, 6.49, 9.096, 12.38, 16.4, 21.18",\
                 "1.596, 1.728, 2.197, 3.094, 4.507, 6.49, 9.098, 12.38, 16.39, 21.16",\
                 "1.612, 1.742, 2.21, 3.104, 4.508, 6.492, 9.092, 12.38, 16.39, 21.17",\
                 "1.624, 1.756, 2.216, 3.11, 4.518, 6.494, 9.098, 12.38, 16.39, 21.17",\
                 "1.642, 1.768, 2.23, 3.118, 4.522, 6.506, 9.108, 12.39, 16.39, 21.18",\
                 "1.66, 1.79, 2.244, 3.128, 4.526, 6.506, 9.112, 12.39, 16.4, 21.17");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001517, 0.003333, 0.0068, 0.0122, 0.01978, 0.02975, 0.04232, 0.05765, 0.07594");
          values("8.916, 8.945, 9.04, 9.2, 9.416, 9.683, 9.996, 10.36, 10.78, 11.26",\
                 "8.971, 8.999, 9.094, 9.255, 9.472, 9.737, 10.05, 10.41, 10.83, 11.31",\
                 "9.202, 9.229, 9.326, 9.486, 9.702, 9.968, 10.28, 10.64, 11.06, 11.54",\
                 "9.662, 9.691, 9.787, 9.947, 10.16, 10.43, 10.74, 11.11, 11.52, 12",\
                 "10.37, 10.4, 10.49, 10.65, 10.87, 11.13, 11.45, 11.81, 12.23, 12.71",\
                 "11.35, 11.38, 11.47, 11.63, 11.85, 12.11, 12.43, 12.79, 13.21, 13.69",\
                 "12.63, 12.66, 12.76, 12.91, 13.13, 13.4, 13.71, 14.08, 14.49, 14.97",\
                 "14.23, 14.26, 14.35, 14.51, 14.73, 15, 15.31, 15.67, 16.09, 16.57",\
                 "16.11, 16.14, 16.23, 16.39, 16.61, 16.88, 17.19, 17.55, 17.97, 18.45",\
                 "18.23, 18.26, 18.36, 18.52, 18.74, 19, 19.32, 19.68, 20.1, 20.58");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001517, 0.003333, 0.0068, 0.0122, 0.01978, 0.02975, 0.04232, 0.05765, 0.07594");
          values("7.878, 7.961, 8.252, 8.807, 9.67, 10.88, 12.47, 14.48, 16.92, 19.84",\
                 "7.958, 8.041, 8.332, 8.887, 9.751, 10.96, 12.55, 14.56, 17, 19.92",\
                 "8.187, 8.27, 8.561, 9.116, 9.979, 11.19, 12.78, 14.79, 17.23, 20.15",\
                 "8.562, 8.645, 8.936, 9.491, 10.35, 11.57, 13.16, 15.16, 17.61, 20.52",\
                 "9.008, 9.091, 9.382, 9.937, 10.8, 12.01, 13.6, 15.61, 18.05, 20.97",\
                 "9.491, 9.574, 9.864, 10.42, 11.28, 12.49, 14.09, 16.09, 18.54, 21.45",\
                 "9.999, 10.08, 10.37, 10.93, 11.79, 13, 14.6, 16.6, 19.05, 21.96",\
                 "10.52, 10.61, 10.9, 11.45, 12.32, 13.53, 15.12, 17.12, 19.57, 22.48",\
                 "11.07, 11.15, 11.44, 12, 12.86, 14.07, 15.66, 17.67, 20.11, 23.02",\
                 "11.61, 11.7, 11.99, 12.54, 13.41, 14.62, 16.21, 18.21, 20.66, 23.57");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001517, 0.003333, 0.0068, 0.0122, 0.01978, 0.02975, 0.04232, 0.05765, 0.07594");
          values("0.9354, 0.9784, 1.118, 1.37, 1.749, 2.28, 2.979, 3.868, 4.968, 6.305",\
                 "0.9362, 0.9786, 1.118, 1.371, 1.749, 2.281, 2.98, 3.868, 4.967, 6.304",\
                 "0.936, 0.9786, 1.119, 1.37, 1.749, 2.282, 2.98, 3.87, 4.966, 6.302",\
                 "0.9364, 0.9794, 1.118, 1.369, 1.748, 2.282, 2.977, 3.868, 4.967, 6.304",\
                 "0.9366, 0.9788, 1.119, 1.37, 1.75, 2.279, 2.98, 3.868, 4.974, 6.3",\
                 "0.936, 0.978, 1.118, 1.37, 1.75, 2.282, 2.98, 3.87, 4.972, 6.304",\
                 "0.936, 0.98, 1.12, 1.372, 1.75, 2.282, 2.98, 3.872, 4.968, 6.298",\
                 "0.94, 0.98, 1.122, 1.374, 1.752, 2.28, 2.982, 3.872, 4.972, 6.298",\
                 "0.956, 0.998, 1.138, 1.386, 1.762, 2.288, 2.984, 3.874, 4.974, 6.306",\
                 "1.004, 1.046, 1.182, 1.426, 1.794, 2.314, 3.006, 3.888, 4.98, 6.316");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001517, 0.003333, 0.0068, 0.0122, 0.01978, 0.02975, 0.04232, 0.05765, 0.07594");
          values("1.592, 1.725, 2.194, 3.097, 4.508, 6.486, 9.096, 12.38, 16.39, 21.17",\
                 "1.592, 1.726, 2.194, 3.095, 4.506, 6.486, 9.098, 12.38, 16.39, 21.17",\
                 "1.594, 1.725, 2.194, 3.096, 4.507, 6.486, 9.097, 12.39, 16.39, 21.17",\
                 "1.594, 1.725, 2.193, 3.096, 4.507, 6.486, 9.096, 12.38, 16.39, 21.17",\
                 "1.593, 1.726, 2.195, 3.096, 4.507, 6.49, 9.096, 12.38, 16.4, 21.18",\
                 "1.596, 1.728, 2.197, 3.094, 4.507, 6.49, 9.098, 12.38, 16.39, 21.16",\
                 "1.612, 1.742, 2.21, 3.104, 4.508, 6.492, 9.092, 12.38, 16.39, 21.17",\
                 "1.624, 1.756, 2.216, 3.11, 4.518, 6.494, 9.098, 12.38, 16.39, 21.17",\
                 "1.642, 1.768, 2.23, 3.118, 4.522, 6.506, 9.108, 12.39, 16.39, 21.18",\
                 "1.66, 1.79, 2.244, 3.128, 4.526, 6.506, 9.112, 12.39, 16.4, 21.17");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001517, 0.003333, 0.0068, 0.0122, 0.01978, 0.02975, 0.04232, 0.05765, 0.07594");
          values("6.274, 6.325, 6.489, 6.756, 7.115, 7.56, 8.094, 8.728, 9.47, 10.33",\
                 "6.344, 6.394, 6.558, 6.826, 7.184, 7.628, 8.163, 8.797, 9.54, 10.4",\
                 "6.561, 6.611, 6.774, 7.043, 7.401, 7.846, 8.38, 9.014, 9.756, 10.62",\
                 "6.937, 6.987, 7.15, 7.419, 7.778, 8.221, 8.757, 9.39, 10.13, 11",\
                 "7.378, 7.428, 7.592, 7.86, 8.218, 8.663, 9.197, 9.831, 10.57, 11.44",\
                 "7.854, 7.905, 8.068, 8.337, 8.695, 9.138, 9.673, 10.31, 11.05, 11.91",\
                 "8.353, 8.403, 8.568, 8.835, 9.194, 9.639, 10.17, 10.81, 11.55, 12.41",\
                 "8.876, 8.928, 9.089, 9.357, 9.715, 10.16, 10.7, 11.33, 12.07, 12.94",\
                 "9.413, 9.463, 9.626, 9.895, 10.25, 10.7, 11.23, 11.86, 12.61, 13.47",\
                 "9.948, 10, 10.16, 10.43, 10.79, 11.23, 11.77, 12.4, 13.14, 14.01");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001517, 0.003333, 0.0068, 0.0122, 0.01978, 0.02975, 0.04232, 0.05765, 0.07594");
          values("6.463, 6.547, 6.843, 7.405, 8.276, 9.494, 11.09, 13.1, 15.55, 18.46",\
                 "6.494, 6.578, 6.875, 7.437, 8.308, 9.525, 11.12, 13.13, 15.58, 18.49",\
                 "6.689, 6.774, 7.07, 7.632, 8.503, 9.72, 11.32, 13.33, 15.77, 18.69",\
                 "7.147, 7.232, 7.528, 8.09, 8.961, 10.18, 11.78, 13.78, 16.23, 19.15",\
                 "7.9, 7.984, 8.281, 8.843, 9.714, 10.93, 12.53, 14.54, 16.98, 19.9",\
                 "8.971, 9.056, 9.351, 9.914, 10.78, 12, 13.6, 15.61, 18.05, 20.97",\
                 "10.38, 10.47, 10.77, 11.33, 12.2, 13.42, 15.01, 17.02, 19.47, 22.39",\
                 "12.16, 12.24, 12.54, 13.1, 13.97, 15.19, 16.78, 18.79, 21.24, 24.16",\
                 "14.24, 14.32, 14.62, 15.18, 16.05, 17.27, 18.87, 20.88, 23.32, 26.24",\
                 "16.56, 16.64, 16.94, 17.5, 18.37, 19.59, 21.18, 23.19, 25.64, 28.56");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001517, 0.003333, 0.0068, 0.0122, 0.01978, 0.02975, 0.04232, 0.05765, 0.07594");
          values("0.9362, 0.9788, 1.12, 1.371, 1.749, 2.281, 2.978, 3.868, 4.968, 6.305",\
                 "0.9362, 0.979, 1.119, 1.37, 1.749, 2.281, 2.981, 3.868, 4.968, 6.304",\
                 "0.9356, 0.9786, 1.12, 1.37, 1.749, 2.281, 2.977, 3.866, 4.966, 6.304",\
                 "0.9356, 0.9778, 1.119, 1.371, 1.75, 2.28, 2.98, 3.868, 4.974, 6.302",\
                 "0.9366, 0.9778, 1.119, 1.369, 1.748, 2.282, 2.98, 3.868, 4.968, 6.304",\
                 "0.936, 0.978, 1.118, 1.37, 1.75, 2.28, 2.976, 3.868, 4.968, 6.3",\
                 "0.936, 0.978, 1.12, 1.37, 1.748, 2.282, 2.978, 3.87, 4.97, 6.304",\
                 "0.934, 0.976, 1.116, 1.368, 1.748, 2.278, 2.98, 3.868, 4.966, 6.304",\
                 "0.934, 0.978, 1.118, 1.368, 1.746, 2.278, 2.976, 3.866, 4.968, 6.296",\
                 "0.934, 0.978, 1.118, 1.368, 1.748, 2.278, 2.976, 3.866, 4.964, 6.298");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001517, 0.003333, 0.0068, 0.0122, 0.01978, 0.02975, 0.04232, 0.05765, 0.07594");
          values("1.568, 1.704, 2.178, 3.083, 4.495, 6.476, 9.087, 12.37, 16.39, 21.16",\
                 "1.568, 1.702, 2.177, 3.083, 4.498, 6.48, 9.084, 12.38, 16.38, 21.16",\
                 "1.567, 1.702, 2.178, 3.083, 4.497, 6.478, 9.084, 12.37, 16.39, 21.16",\
                 "1.566, 1.701, 2.177, 3.085, 4.498, 6.481, 9.086, 12.37, 16.38, 21.16",\
                 "1.567, 1.703, 2.178, 3.086, 4.498, 6.48, 9.088, 12.37, 16.38, 21.16",\
                 "1.568, 1.702, 2.178, 3.082, 4.494, 6.476, 9.084, 12.37, 16.38, 21.16",\
                 "1.568, 1.702, 2.176, 3.084, 4.5, 6.48, 9.088, 12.37, 16.38, 21.16",\
                 "1.568, 1.704, 2.178, 3.082, 4.498, 6.48, 9.086, 12.37, 16.38, 21.17",\
                 "1.568, 1.702, 2.178, 3.086, 4.494, 6.478, 9.088, 12.37, 16.38, 21.17",\
                 "1.568, 1.702, 2.18, 3.084, 4.496, 6.482, 9.084, 12.37, 16.38, 21.17");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001517, 0.003333, 0.0068, 0.0122, 0.01978, 0.02975, 0.04232, 0.05765, 0.07594");
          values("5.184, 5.213, 5.307, 5.467, 5.684, 5.95, 6.264, 6.627, 7.045, 7.524",\
                 "5.246, 5.274, 5.368, 5.529, 5.746, 6.012, 6.326, 6.689, 7.107, 7.586",\
                 "5.426, 5.455, 5.549, 5.71, 5.926, 6.192, 6.506, 6.869, 7.287, 7.766",\
                 "5.755, 5.784, 5.879, 6.039, 6.256, 6.522, 6.835, 7.198, 7.616, 8.095",\
                 "6.255, 6.284, 6.379, 6.54, 6.755, 7.022, 7.335, 7.699, 8.117, 8.597",\
                 "6.901, 6.929, 7.024, 7.186, 7.402, 7.667, 7.981, 8.345, 8.762, 9.241",\
                 "7.631, 7.659, 7.754, 7.915, 8.131, 8.397, 8.71, 9.075, 9.491, 9.97",\
                 "8.419, 8.445, 8.542, 8.701, 8.918, 9.184, 9.498, 9.862, 10.28, 10.76",\
                 "9.253, 9.282, 9.376, 9.537, 9.754, 10.02, 10.34, 10.7, 11.12, 11.6",\
                 "10.12, 10.15, 10.25, 10.41, 10.63, 10.89, 11.21, 11.57, 11.99, 12.47");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001517, 0.003333, 0.0068, 0.0122, 0.01978, 0.02975, 0.04232, 0.05765, 0.07594");
          values("7.205, 7.287, 7.579, 8.134, 8.997, 10.21, 11.8, 13.8, 16.25, 19.16",\
                 "7.256, 7.339, 7.631, 8.185, 9.049, 10.26, 11.85, 13.86, 16.3, 19.21",\
                 "7.496, 7.579, 7.87, 8.426, 9.289, 10.5, 12.09, 14.1, 16.54, 19.45",\
                 "7.978, 8.061, 8.352, 8.907, 9.772, 10.98, 12.57, 14.58, 17.02, 19.93",\
                 "8.745, 8.828, 9.12, 9.675, 10.54, 11.75, 13.34, 15.35, 17.79, 20.7",\
                 "9.833, 9.915, 10.21, 10.76, 11.62, 12.84, 14.43, 16.43, 18.88, 21.79",\
                 "11.27, 11.35, 11.64, 12.2, 13.06, 14.27, 15.86, 17.87, 20.31, 23.23",\
                 "13.08, 13.16, 13.46, 14.01, 14.88, 16.09, 17.68, 19.68, 22.13, 25.04",\
                 "15.28, 15.36, 15.65, 16.21, 17.07, 18.28, 19.87, 21.88, 24.32, 27.24",\
                 "17.82, 17.9, 18.19, 18.74, 19.61, 20.82, 22.41, 24.41, 26.86, 29.77");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001517, 0.003333, 0.0068, 0.0122, 0.01978, 0.02975, 0.04232, 0.05765, 0.07594");
          values("0.6418, 0.6716, 0.7728, 0.945, 1.181, 1.485, 1.867, 2.339, 2.922, 3.632",\
                 "0.6402, 0.6718, 0.7732, 0.9448, 1.181, 1.485, 1.866, 2.341, 2.923, 3.63",\
                 "0.6404, 0.6724, 0.7728, 0.9444, 1.182, 1.486, 1.867, 2.341, 2.924, 3.633",\
                 "0.6412, 0.6722, 0.773, 0.9458, 1.182, 1.486, 1.867, 2.34, 2.925, 3.631",\
                 "0.6416, 0.6718, 0.7734, 0.9438, 1.182, 1.485, 1.867, 2.339, 2.924, 3.631",\
                 "0.641, 0.6724, 0.7736, 0.946, 1.18, 1.486, 1.866, 2.34, 2.924, 3.632",\
                 "0.64, 0.672, 0.774, 0.946, 1.182, 1.484, 1.866, 2.34, 2.922, 3.63",\
                 "0.642, 0.674, 0.774, 0.946, 1.18, 1.484, 1.866, 2.34, 2.924, 3.632",\
                 "0.644, 0.672, 0.774, 0.946, 1.182, 1.486, 1.866, 2.338, 2.92, 3.628",\
                 "0.644, 0.676, 0.774, 0.944, 1.18, 1.486, 1.864, 2.34, 2.922, 3.63");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001517, 0.003333, 0.0068, 0.0122, 0.01978, 0.02975, 0.04232, 0.05765, 0.07594");
          values("1.425, 1.559, 2.03, 2.936, 4.354, 6.332, 8.944, 12.22, 16.22, 21.01",\
                 "1.427, 1.559, 2.03, 2.936, 4.351, 6.334, 8.944, 12.22, 16.23, 21.01",\
                 "1.424, 1.561, 2.031, 2.936, 4.348, 6.329, 8.936, 12.22, 16.23, 21",\
                 "1.424, 1.558, 2.031, 2.935, 4.354, 6.332, 8.944, 12.22, 16.23, 21.01",\
                 "1.424, 1.56, 2.032, 2.936, 4.35, 6.334, 8.944, 12.22, 16.23, 21",\
                 "1.424, 1.56, 2.032, 2.934, 4.348, 6.336, 8.942, 12.23, 16.23, 21",\
                 "1.424, 1.56, 2.03, 2.936, 4.348, 6.334, 8.942, 12.22, 16.23, 21.02",\
                 "1.424, 1.558, 2.03, 2.936, 4.354, 6.33, 8.936, 12.23, 16.25, 21",\
                 "1.424, 1.56, 2.03, 2.934, 4.348, 6.332, 8.94, 12.23, 16.23, 21",\
                 "1.424, 1.558, 2.03, 2.934, 4.354, 6.332, 8.944, 12.23, 16.23, 21");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001517, 0.003333, 0.0068, 0.0122, 0.01978, 0.02975, 0.04232, 0.05765, 0.07594");
          values("6.274, 6.325, 6.489, 6.756, 7.115, 7.56, 8.094, 8.728, 9.47, 10.33",\
                 "6.344, 6.394, 6.558, 6.826, 7.184, 7.628, 8.163, 8.797, 9.54, 10.4",\
                 "6.561, 6.611, 6.774, 7.043, 7.401, 7.846, 8.38, 9.014, 9.756, 10.62",\
                 "6.937, 6.987, 7.15, 7.419, 7.778, 8.221, 8.757, 9.39, 10.13, 11",\
                 "7.378, 7.428, 7.592, 7.86, 8.218, 8.663, 9.197, 9.831, 10.57, 11.44",\
                 "7.854, 7.905, 8.068, 8.337, 8.695, 9.138, 9.673, 10.31, 11.05, 11.91",\
                 "8.353, 8.403, 8.568, 8.835, 9.194, 9.639, 10.17, 10.81, 11.55, 12.41",\
                 "8.876, 8.928, 9.089, 9.357, 9.715, 10.16, 10.7, 11.33, 12.07, 12.94",\
                 "9.413, 9.463, 9.626, 9.895, 10.25, 10.7, 11.23, 11.86, 12.61, 13.47",\
                 "9.948, 10, 10.16, 10.43, 10.79, 11.23, 11.77, 12.4, 13.14, 14.01");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001517, 0.003333, 0.0068, 0.0122, 0.01978, 0.02975, 0.04232, 0.05765, 0.07594");
          values("7.205, 7.287, 7.579, 8.134, 8.997, 10.21, 11.8, 13.8, 16.25, 19.16",\
                 "7.256, 7.339, 7.631, 8.185, 9.049, 10.26, 11.85, 13.86, 16.3, 19.21",\
                 "7.496, 7.579, 7.87, 8.426, 9.289, 10.5, 12.09, 14.1, 16.54, 19.45",\
                 "7.978, 8.061, 8.352, 8.907, 9.772, 10.98, 12.57, 14.58, 17.02, 19.93",\
                 "8.745, 8.828, 9.12, 9.675, 10.54, 11.75, 13.34, 15.35, 17.79, 20.7",\
                 "9.833, 9.915, 10.21, 10.76, 11.62, 12.84, 14.43, 16.43, 18.88, 21.79",\
                 "11.27, 11.35, 11.64, 12.2, 13.06, 14.27, 15.86, 17.87, 20.31, 23.23",\
                 "13.08, 13.16, 13.46, 14.01, 14.88, 16.09, 17.68, 19.68, 22.13, 25.04",\
                 "15.28, 15.36, 15.65, 16.21, 17.07, 18.28, 19.87, 21.88, 24.32, 27.24",\
                 "17.82, 17.9, 18.19, 18.74, 19.61, 20.82, 22.41, 24.41, 26.86, 29.77");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001517, 0.003333, 0.0068, 0.0122, 0.01978, 0.02975, 0.04232, 0.05765, 0.07594");
          values("0.9362, 0.9788, 1.12, 1.371, 1.749, 2.281, 2.978, 3.868, 4.968, 6.305",\
                 "0.9362, 0.979, 1.119, 1.37, 1.749, 2.281, 2.981, 3.868, 4.968, 6.304",\
                 "0.9356, 0.9786, 1.12, 1.37, 1.749, 2.281, 2.977, 3.866, 4.966, 6.304",\
                 "0.9356, 0.9778, 1.119, 1.371, 1.75, 2.28, 2.98, 3.868, 4.974, 6.302",\
                 "0.9366, 0.9778, 1.119, 1.369, 1.748, 2.282, 2.98, 3.868, 4.968, 6.304",\
                 "0.936, 0.978, 1.118, 1.37, 1.75, 2.28, 2.976, 3.868, 4.968, 6.3",\
                 "0.936, 0.978, 1.12, 1.37, 1.748, 2.282, 2.978, 3.87, 4.97, 6.304",\
                 "0.934, 0.976, 1.116, 1.368, 1.748, 2.278, 2.98, 3.868, 4.966, 6.304",\
                 "0.934, 0.978, 1.118, 1.368, 1.746, 2.278, 2.976, 3.866, 4.968, 6.296",\
                 "0.934, 0.978, 1.118, 1.368, 1.748, 2.278, 2.976, 3.866, 4.964, 6.298");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001517, 0.003333, 0.0068, 0.0122, 0.01978, 0.02975, 0.04232, 0.05765, 0.07594");
          values("1.568, 1.704, 2.178, 3.083, 4.495, 6.476, 9.087, 12.37, 16.39, 21.16",\
                 "1.568, 1.702, 2.177, 3.083, 4.498, 6.48, 9.084, 12.38, 16.38, 21.16",\
                 "1.567, 1.702, 2.178, 3.083, 4.497, 6.478, 9.084, 12.37, 16.39, 21.16",\
                 "1.566, 1.701, 2.177, 3.085, 4.498, 6.481, 9.086, 12.37, 16.38, 21.16",\
                 "1.567, 1.703, 2.178, 3.086, 4.498, 6.48, 9.088, 12.37, 16.38, 21.16",\
                 "1.568, 1.702, 2.178, 3.082, 4.494, 6.476, 9.084, 12.37, 16.38, 21.16",\
                 "1.568, 1.702, 2.176, 3.084, 4.5, 6.48, 9.088, 12.37, 16.38, 21.16",\
                 "1.568, 1.704, 2.178, 3.082, 4.498, 6.48, 9.086, 12.37, 16.38, 21.17",\
                 "1.568, 1.702, 2.178, 3.086, 4.494, 6.478, 9.088, 12.37, 16.38, 21.17",\
                 "1.568, 1.702, 2.18, 3.084, 4.496, 6.482, 9.084, 12.37, 16.38, 21.17");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001517, 0.003333, 0.0068, 0.0122, 0.01978, 0.02975, 0.04232, 0.05765, 0.07594");
          values("8.782, 8.81, 8.905, 9.065, 9.282, 9.547, 9.861, 10.23, 10.64, 11.12",\
                 "8.813, 8.842, 8.937, 9.097, 9.313, 9.579, 9.893, 10.26, 10.67, 11.15",\
                 "9.008, 9.037, 9.132, 9.292, 9.509, 9.774, 10.09, 10.45, 10.87, 11.35",\
                 "9.467, 9.495, 9.591, 9.751, 9.968, 10.23, 10.55, 10.91, 11.33, 11.81",\
                 "10.22, 10.25, 10.34, 10.5, 10.72, 10.99, 11.3, 11.66, 12.08, 12.56",\
                 "11.29, 11.32, 11.41, 11.57, 11.79, 12.06, 12.37, 12.73, 13.15, 13.63",\
                 "12.71, 12.73, 12.83, 12.99, 13.2, 13.47, 13.79, 14.15, 14.57, 15.04",\
                 "14.48, 14.5, 14.6, 14.76, 14.98, 15.24, 15.56, 15.92, 16.34, 16.81",\
                 "16.56, 16.59, 16.68, 16.84, 17.06, 17.32, 17.64, 18, 18.42, 18.9",\
                 "18.88, 18.91, 19, 19.16, 19.38, 19.64, 19.96, 20.32, 20.74, 21.22");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001517, 0.003333, 0.0068, 0.0122, 0.01978, 0.02975, 0.04232, 0.05765, 0.07594");
          values("7.667, 7.75, 8.041, 8.597, 9.46, 10.67, 12.26, 14.27, 16.71, 19.63",\
                 "7.736, 7.819, 8.11, 8.665, 9.529, 10.74, 12.33, 14.34, 16.78, 19.69",\
                 "7.952, 8.035, 8.327, 8.881, 9.745, 10.96, 12.55, 14.55, 17, 19.91",\
                 "8.328, 8.411, 8.702, 9.258, 10.12, 11.33, 12.92, 14.93, 17.37, 20.29",\
                 "8.769, 8.852, 9.144, 9.7, 10.56, 11.77, 13.36, 15.37, 17.81, 20.73",\
                 "9.246, 9.329, 9.62, 10.17, 11.04, 12.25, 13.84, 15.85, 18.29, 21.2",\
                 "9.745, 9.828, 10.12, 10.67, 11.54, 12.75, 14.34, 16.34, 18.79, 21.7",\
                 "10.27, 10.35, 10.64, 11.2, 12.06, 13.27, 14.87, 16.87, 19.31, 22.23",\
                 "10.81, 10.89, 11.18, 11.73, 12.6, 13.81, 15.4, 17.41, 19.85, 22.76",\
                 "11.34, 11.42, 11.71, 12.27, 13.13, 14.35, 15.94, 17.94, 20.39, 23.3");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001517, 0.003333, 0.0068, 0.0122, 0.01978, 0.02975, 0.04232, 0.05765, 0.07594");
          values("0.6426, 0.673, 0.7754, 0.946, 1.182, 1.487, 1.869, 2.341, 2.925, 3.632",\
                 "0.6424, 0.6732, 0.775, 0.9472, 1.183, 1.488, 1.867, 2.341, 2.926, 3.632",\
                 "0.6414, 0.673, 0.7752, 0.9454, 1.183, 1.486, 1.87, 2.342, 2.924, 3.632",\
                 "0.642, 0.674, 0.776, 0.946, 1.182, 1.488, 1.87, 2.344, 2.926, 3.632",\
                 "0.642, 0.674, 0.772, 0.948, 1.184, 1.486, 1.868, 2.34, 2.922, 3.632",\
                 "0.642, 0.672, 0.774, 0.946, 1.184, 1.486, 1.868, 2.34, 2.922, 3.634",\
                 "0.642, 0.672, 0.774, 0.946, 1.184, 1.486, 1.87, 2.344, 2.926, 3.632",\
                 "0.642, 0.674, 0.776, 0.946, 1.184, 1.488, 1.87, 2.34, 2.926, 3.634",\
                 "0.64, 0.672, 0.776, 0.946, 1.184, 1.488, 1.868, 2.342, 2.924, 3.636",\
                 "0.642, 0.672, 0.774, 0.946, 1.182, 1.486, 1.868, 2.344, 2.926, 3.632");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001517, 0.003333, 0.0068, 0.0122, 0.01978, 0.02975, 0.04232, 0.05765, 0.07594");
          values("1.425, 1.558, 2.031, 2.936, 4.353, 6.334, 8.938, 12.22, 16.23, 21",\
                 "1.424, 1.559, 2.03, 2.936, 4.355, 6.331, 8.936, 12.22, 16.23, 21",\
                 "1.424, 1.559, 2.031, 2.935, 4.348, 6.329, 8.936, 12.22, 16.22, 21",\
                 "1.424, 1.56, 2.031, 2.937, 4.348, 6.336, 8.936, 12.22, 16.22, 21",\
                 "1.426, 1.558, 2.03, 2.936, 4.358, 6.328, 8.942, 12.22, 16.23, 21.01",\
                 "1.424, 1.56, 2.03, 2.936, 4.35, 6.334, 8.946, 12.22, 16.23, 21",\
                 "1.424, 1.558, 2.03, 2.936, 4.35, 6.334, 8.944, 12.22, 16.23, 21",\
                 "1.424, 1.558, 2.03, 2.936, 4.348, 6.332, 8.944, 12.22, 16.23, 21.04",\
                 "1.424, 1.558, 2.032, 2.934, 4.352, 6.328, 8.94, 12.22, 16.23, 21",\
                 "1.426, 1.558, 2.03, 2.936, 4.348, 6.332, 8.936, 12.22, 16.23, 21.01");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001517, 0.003333, 0.0068, 0.0122, 0.01978, 0.02975, 0.04232, 0.05765, 0.07594");
          values("5.813, 5.864, 6.028, 6.298, 6.657, 7.103, 7.638, 8.272, 9.016, 9.88",\
                 "5.865, 5.916, 6.08, 6.35, 6.709, 7.154, 7.69, 8.324, 9.068, 9.932",\
                 "6.106, 6.157, 6.32, 6.59, 6.95, 7.395, 7.931, 8.565, 9.309, 10.17",\
                 "6.588, 6.638, 6.802, 7.073, 7.432, 7.877, 8.413, 9.048, 9.791, 10.66",\
                 "7.355, 7.406, 7.569, 7.839, 8.198, 8.645, 9.181, 9.815, 10.56, 11.42",\
                 "8.442, 8.493, 8.657, 8.927, 9.285, 9.73, 10.27, 10.9, 11.64, 12.51",\
                 "9.879, 9.929, 10.09, 10.36, 10.72, 11.17, 11.7, 12.34, 13.08, 13.95",\
                 "11.69, 11.74, 11.91, 12.18, 12.54, 12.98, 13.52, 14.15, 14.9, 15.76",\
                 "13.9, 13.95, 14.11, 14.38, 14.75, 15.19, 15.73, 16.36, 17.11, 17.97",\
                 "16.46, 16.51, 16.68, 16.96, 17.32, 17.77, 18.31, 18.95, 19.7, 20.56");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001517, 0.003333, 0.0068, 0.0122, 0.01978, 0.02975, 0.04232, 0.05765, 0.07594");
          values("2.861, 2.947, 3.245, 3.808, 4.68, 5.897, 7.493, 9.5, 11.95, 14.86",\
                 "2.923, 3.008, 3.306, 3.87, 4.742, 5.959, 7.556, 9.563, 12.01, 14.92",\
                 "3.103, 3.189, 3.486, 4.05, 4.922, 6.139, 7.735, 9.742, 12.19, 15.1",\
                 "3.432, 3.518, 3.816, 4.379, 5.25, 6.467, 8.064, 10.07, 12.52, 15.43",\
                 "3.933, 4.018, 4.316, 4.879, 5.749, 6.967, 8.564, 10.57, 13.02, 15.93",\
                 "4.577, 4.663, 4.961, 5.523, 6.393, 7.61, 9.207, 11.22, 13.66, 16.58",\
                 "5.303, 5.388, 5.687, 6.25, 7.12, 8.336, 9.932, 11.94, 14.39, 17.31",\
                 "6.087, 6.175, 6.473, 7.036, 7.907, 9.124, 10.72, 12.73, 15.18, 18.09",\
                 "6.917, 7.004, 7.304, 7.869, 8.739, 9.955, 11.55, 13.56, 16.01, 18.93",\
                 "7.782, 7.87, 8.171, 8.736, 9.607, 10.82, 12.42, 14.43, 16.88, 19.79");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001517, 0.003333, 0.0068, 0.0122, 0.01978, 0.02975, 0.04232, 0.05765, 0.07594");
          values("0.942, 0.9846, 1.125, 1.376, 1.754, 2.287, 2.985, 3.874, 4.971, 6.301",\
                 "0.941, 0.984, 1.125, 1.376, 1.755, 2.284, 2.985, 3.871, 4.972, 6.304",\
                 "0.9408, 0.9854, 1.124, 1.376, 1.755, 2.285, 2.984, 3.874, 4.97, 6.302",\
                 "0.942, 0.983, 1.124, 1.376, 1.755, 2.283, 2.984, 3.874, 4.971, 6.306",\
                 "0.9408, 0.9846, 1.124, 1.375, 1.755, 2.285, 2.984, 3.872, 4.972, 6.308",\
                 "0.942, 0.984, 1.124, 1.376, 1.754, 2.286, 2.986, 3.874, 4.972, 6.302",\
                 "0.942, 0.986, 1.126, 1.376, 1.756, 2.288, 2.984, 3.874, 4.972, 6.306",\
                 "0.944, 0.986, 1.128, 1.378, 1.758, 2.288, 2.984, 3.876, 4.972, 6.308",\
                 "0.956, 1, 1.14, 1.386, 1.762, 2.29, 2.99, 3.878, 4.978, 6.304",\
                 "0.988, 1.03, 1.17, 1.418, 1.794, 2.31, 3.004, 3.888, 4.988, 6.312");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001517, 0.003333, 0.0068, 0.0122, 0.01978, 0.02975, 0.04232, 0.05765, 0.07594");
          values("1.592, 1.725, 2.194, 3.097, 4.507, 6.488, 9.094, 12.38, 16.39, 21.17",\
                 "1.593, 1.727, 2.194, 3.097, 4.508, 6.489, 9.097, 12.38, 16.39, 21.16",\
                 "1.592, 1.727, 2.194, 3.097, 4.507, 6.489, 9.098, 12.38, 16.39, 21.16",\
                 "1.593, 1.725, 2.194, 3.096, 4.505, 6.489, 9.093, 12.38, 16.39, 21.17",\
                 "1.594, 1.725, 2.194, 3.097, 4.507, 6.489, 9.099, 12.38, 16.39, 21.16",\
                 "1.595, 1.728, 2.197, 3.094, 4.507, 6.488, 9.098, 12.38, 16.39, 21.16",\
                 "1.61, 1.742, 2.208, 3.102, 4.512, 6.49, 9.096, 12.39, 16.39, 21.17",\
                 "1.624, 1.754, 2.216, 3.108, 4.514, 6.49, 9.096, 12.38, 16.39, 21.17",\
                 "1.64, 1.768, 2.228, 3.116, 4.518, 6.496, 9.104, 12.38, 16.39, 21.17",\
                 "1.658, 1.788, 2.242, 3.126, 4.524, 6.502, 9.106, 12.39, 16.39, 21.17");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001517, 0.003333, 0.0068, 0.0122, 0.01978, 0.02975, 0.04232, 0.05765, 0.07594");
          values("8.782, 8.81, 8.905, 9.065, 9.282, 9.547, 9.861, 10.23, 10.64, 11.12",\
                 "8.813, 8.842, 8.937, 9.097, 9.313, 9.579, 9.893, 10.26, 10.67, 11.15",\
                 "9.008, 9.037, 9.132, 9.292, 9.509, 9.774, 10.09, 10.45, 10.87, 11.35",\
                 "9.467, 9.495, 9.591, 9.751, 9.968, 10.23, 10.55, 10.91, 11.33, 11.81",\
                 "10.22, 10.25, 10.34, 10.5, 10.72, 10.99, 11.3, 11.66, 12.08, 12.56",\
                 "11.29, 11.32, 11.41, 11.57, 11.79, 12.06, 12.37, 12.73, 13.15, 13.63",\
                 "12.71, 12.73, 12.83, 12.99, 13.2, 13.47, 13.79, 14.15, 14.57, 15.04",\
                 "14.48, 14.5, 14.6, 14.76, 14.98, 15.24, 15.56, 15.92, 16.34, 16.81",\
                 "16.56, 16.59, 16.68, 16.84, 17.06, 17.32, 17.64, 18, 18.42, 18.9",\
                 "18.88, 18.91, 19, 19.16, 19.38, 19.64, 19.96, 20.32, 20.74, 21.22");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001517, 0.003333, 0.0068, 0.0122, 0.01978, 0.02975, 0.04232, 0.05765, 0.07594");
          values("7.667, 7.75, 8.041, 8.597, 9.46, 10.67, 12.26, 14.27, 16.71, 19.63",\
                 "7.736, 7.819, 8.11, 8.665, 9.529, 10.74, 12.33, 14.34, 16.78, 19.69",\
                 "7.952, 8.035, 8.327, 8.881, 9.745, 10.96, 12.55, 14.55, 17, 19.91",\
                 "8.328, 8.411, 8.702, 9.258, 10.12, 11.33, 12.92, 14.93, 17.37, 20.29",\
                 "8.769, 8.852, 9.144, 9.7, 10.56, 11.77, 13.36, 15.37, 17.81, 20.73",\
                 "9.246, 9.329, 9.62, 10.17, 11.04, 12.25, 13.84, 15.85, 18.29, 21.2",\
                 "9.745, 9.828, 10.12, 10.67, 11.54, 12.75, 14.34, 16.34, 18.79, 21.7",\
                 "10.27, 10.35, 10.64, 11.2, 12.06, 13.27, 14.87, 16.87, 19.31, 22.23",\
                 "10.81, 10.89, 11.18, 11.73, 12.6, 13.81, 15.4, 17.41, 19.85, 22.76",\
                 "11.34, 11.42, 11.71, 12.27, 13.13, 14.35, 15.94, 17.94, 20.39, 23.3");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001517, 0.003333, 0.0068, 0.0122, 0.01978, 0.02975, 0.04232, 0.05765, 0.07594");
          values("0.942, 0.9846, 1.125, 1.376, 1.754, 2.287, 2.985, 3.874, 4.971, 6.301",\
                 "0.941, 0.984, 1.125, 1.376, 1.755, 2.284, 2.985, 3.871, 4.972, 6.304",\
                 "0.9408, 0.9854, 1.124, 1.376, 1.755, 2.285, 2.984, 3.874, 4.97, 6.302",\
                 "0.942, 0.983, 1.124, 1.376, 1.755, 2.283, 2.984, 3.874, 4.971, 6.306",\
                 "0.9408, 0.9846, 1.124, 1.375, 1.755, 2.285, 2.984, 3.872, 4.972, 6.308",\
                 "0.942, 0.984, 1.124, 1.376, 1.754, 2.286, 2.986, 3.874, 4.972, 6.302",\
                 "0.942, 0.986, 1.126, 1.376, 1.756, 2.288, 2.984, 3.874, 4.972, 6.306",\
                 "0.944, 0.986, 1.128, 1.378, 1.758, 2.288, 2.984, 3.876, 4.972, 6.308",\
                 "0.956, 1, 1.14, 1.386, 1.762, 2.29, 2.99, 3.878, 4.978, 6.304",\
                 "0.988, 1.03, 1.17, 1.418, 1.794, 2.31, 3.004, 3.888, 4.988, 6.312");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001517, 0.003333, 0.0068, 0.0122, 0.01978, 0.02975, 0.04232, 0.05765, 0.07594");
          values("1.592, 1.725, 2.194, 3.097, 4.507, 6.488, 9.094, 12.38, 16.39, 21.17",\
                 "1.593, 1.727, 2.194, 3.097, 4.508, 6.489, 9.097, 12.38, 16.39, 21.16",\
                 "1.592, 1.727, 2.194, 3.097, 4.507, 6.489, 9.098, 12.38, 16.39, 21.16",\
                 "1.593, 1.725, 2.194, 3.096, 4.505, 6.489, 9.093, 12.38, 16.39, 21.17",\
                 "1.594, 1.725, 2.194, 3.097, 4.507, 6.489, 9.099, 12.38, 16.39, 21.16",\
                 "1.595, 1.728, 2.197, 3.094, 4.507, 6.488, 9.098, 12.38, 16.39, 21.16",\
                 "1.61, 1.742, 2.208, 3.102, 4.512, 6.49, 9.096, 12.39, 16.39, 21.17",\
                 "1.624, 1.754, 2.216, 3.108, 4.514, 6.49, 9.096, 12.38, 16.39, 21.17",\
                 "1.64, 1.768, 2.228, 3.116, 4.518, 6.496, 9.104, 12.38, 16.39, 21.17",\
                 "1.658, 1.788, 2.242, 3.126, 4.524, 6.502, 9.106, 12.39, 16.39, 21.17");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001517, 0.003333, 0.0068, 0.0122, 0.01978, 0.02975, 0.04232, 0.05765, 0.07594");
          values("0.328, 0.3518, 0.4351, 0.5944, 0.8424, 1.19, 1.648, 2.226, 2.931, 3.772",\
                 "0.388, 0.4121, 0.4958, 0.6557, 0.9039, 1.253, 1.711, 2.29, 2.994, 3.835",\
                 "0.6097, 0.634, 0.719, 0.88, 1.129, 1.478, 1.938, 2.516, 3.221, 4.061",\
                 "0.9812, 1.015, 1.125, 1.304, 1.557, 1.907, 2.366, 2.944, 3.651, 4.491",\
                 "1.421, 1.469, 1.623, 1.872, 2.193, 2.571, 3.034, 3.612, 4.318, 5.159",\
                 "1.925, 1.988, 2.19, 2.518, 2.935, 3.417, 3.952, 4.548, 5.254, 6.095",\
                 "2.487, 2.568, 2.825, 3.237, 3.76, 4.358, 5.018, 5.725, 6.48, 7.329",\
                 "3.107, 3.208, 3.522, 4.027, 4.663, 5.39, 6.183, 7.026, 7.92, 8.856",\
                 "3.78, 3.901, 4.283, 4.888, 5.647, 6.508, 7.444, 8.438, 9.479, 10.57",\
                 "4.5, 4.646, 5.101, 5.815, 6.704, 7.71, 8.799, 9.945, 11.15, 12.4");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001517, 0.003333, 0.0068, 0.0122, 0.01978, 0.02975, 0.04232, 0.05765, 0.07594");
          values("1.064, 1.147, 1.438, 1.992, 2.852, 4.06, 5.648, 7.648, 10.09, 13",\
                 "1.117, 1.202, 1.499, 2.06, 2.926, 4.137, 5.725, 7.725, 10.17, 13.08",\
                 "1.333, 1.42, 1.721, 2.288, 3.163, 4.38, 5.973, 7.978, 10.43, 13.34",\
                 "1.816, 1.901, 2.198, 2.764, 3.64, 4.861, 6.462, 8.471, 10.92, 13.83",\
                 "2.598, 2.684, 2.978, 3.539, 4.412, 5.633, 7.234, 9.245, 11.7, 14.62",\
                 "3.646, 3.747, 4.074, 4.646, 5.515, 6.733, 8.334, 10.34, 12.8, 15.72",\
                 "4.88, 5.007, 5.416, 6.078, 6.976, 8.191, 9.791, 11.8, 14.25, 17.17",\
                 "6.302, 6.456, 6.951, 7.751, 8.779, 10.04, 11.63, 13.64, 16.09, 19.01",\
                 "7.913, 8.1, 8.69, 9.636, 10.85, 12.25, 13.89, 15.89, 18.34, 21.26",\
                 "9.716, 9.936, 10.63, 11.74, 13.14, 14.76, 16.53, 18.59, 21.03, 23.95");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001517, 0.003333, 0.0068, 0.0122, 0.01978, 0.02975, 0.04232, 0.05765, 0.07594");
          values("0.4201, 0.4593, 0.5995, 0.8654, 1.279, 1.859, 2.624, 3.584, 4.761, 6.156",\
                 "0.4199, 0.4602, 0.5993, 0.8658, 1.279, 1.859, 2.623, 3.587, 4.76, 6.155",\
                 "0.4282, 0.4646, 0.6013, 0.8658, 1.28, 1.859, 2.623, 3.585, 4.762, 6.157",\
                 "0.6076, 0.6368, 0.7368, 0.931, 1.292, 1.86, 2.623, 3.586, 4.761, 6.156",\
                 "0.8696, 0.9058, 1.032, 1.245, 1.534, 1.968, 2.646, 3.587, 4.758, 6.158",\
                 "1.167, 1.217, 1.375, 1.636, 1.987, 2.404, 2.933, 3.703, 4.785, 6.165",\
                 "1.508, 1.568, 1.76, 2.077, 2.491, 2.985, 3.553, 4.194, 5.068, 6.266",\
                 "1.893, 1.966, 2.188, 2.564, 3.048, 3.622, 4.27, 4.986, 5.772, 6.768",\
                 "2.338, 2.412, 2.668, 3.096, 3.654, 4.318, 5.05, 5.864, 6.748, 7.686",\
                 "2.814, 2.906, 3.204, 3.678, 4.318, 5.058, 5.886, 6.804, 7.788, 8.836");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001517, 0.003333, 0.0068, 0.0122, 0.01978, 0.02975, 0.04232, 0.05765, 0.07594");
          values("1.428, 1.564, 2.039, 2.945, 4.357, 6.337, 8.943, 12.23, 16.23, 21",\
                 "1.429, 1.564, 2.039, 2.944, 4.359, 6.336, 8.939, 12.22, 16.23, 21",\
                 "1.428, 1.564, 2.038, 2.945, 4.355, 6.339, 8.94, 12.22, 16.22, 21",\
                 "1.422, 1.559, 2.038, 2.944, 4.358, 6.335, 8.943, 12.22, 16.23, 21",\
                 "1.482, 1.599, 2.045, 2.941, 4.356, 6.334, 8.94, 12.22, 16.23, 21",\
                 "1.813, 1.902, 2.242, 2.999, 4.36, 6.336, 8.956, 12.22, 16.22, 21.01",\
                 "2.287, 2.391, 2.726, 3.338, 4.478, 6.352, 8.942, 12.22, 16.22, 21",\
                 "2.81, 2.932, 3.318, 3.966, 4.918, 6.512, 8.974, 12.22, 16.23, 21.01",\
                 "3.376, 3.514, 3.964, 4.702, 5.68, 7.04, 9.168, 12.27, 16.23, 21",\
                 "3.996, 4.154, 4.668, 5.506, 6.6, 7.906, 9.752, 12.5, 16.29, 21");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001517, 0.003333, 0.0068, 0.0122, 0.01978, 0.02975, 0.04232, 0.05765, 0.07594");
          values("0.328, 0.3518, 0.4351, 0.5944, 0.8424, 1.19, 1.649, 2.227, 2.931, 3.772",\
                 "0.388, 0.4121, 0.4958, 0.6557, 0.9039, 1.253, 1.711, 2.29, 2.994, 3.835",\
                 "0.6097, 0.634, 0.7189, 0.88, 1.129, 1.478, 1.937, 2.515, 3.222, 4.061",\
                 "0.9811, 1.015, 1.125, 1.304, 1.557, 1.906, 2.366, 2.945, 3.651, 4.491",\
                 "1.421, 1.469, 1.623, 1.872, 2.193, 2.571, 3.034, 3.612, 4.318, 5.158",\
                 "1.925, 1.988, 2.191, 2.516, 2.935, 3.417, 3.953, 4.548, 5.255, 6.095",\
                 "2.488, 2.568, 2.825, 3.238, 3.759, 4.358, 5.018, 5.725, 6.48, 7.33",\
                 "3.107, 3.206, 3.522, 4.028, 4.664, 5.391, 6.183, 7.028, 7.92, 8.856",\
                 "3.781, 3.901, 4.284, 4.888, 5.647, 6.506, 7.444, 8.437, 9.476, 10.57",\
                 "4.5, 4.646, 5.101, 5.814, 6.704, 7.711, 8.798, 9.948, 11.15, 12.4");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001517, 0.003333, 0.0068, 0.0122, 0.01978, 0.02975, 0.04232, 0.05765, 0.07594");
          values("1.064, 1.147, 1.438, 1.992, 2.853, 4.06, 5.648, 7.648, 10.09, 13",\
                 "1.117, 1.202, 1.499, 2.06, 2.926, 4.135, 5.725, 7.727, 10.17, 13.08",\
                 "1.333, 1.42, 1.721, 2.288, 3.163, 4.38, 5.973, 7.978, 10.42, 13.34",\
                 "1.816, 1.901, 2.198, 2.764, 3.642, 4.863, 6.463, 8.472, 10.92, 13.83",\
                 "2.598, 2.684, 2.978, 3.54, 4.413, 5.634, 7.234, 9.245, 11.7, 14.62",\
                 "3.646, 3.748, 4.074, 4.647, 5.515, 6.733, 8.332, 10.34, 12.79, 15.72",\
                 "4.88, 5.008, 5.415, 6.078, 6.976, 8.191, 9.79, 11.8, 14.25, 17.17",\
                 "6.302, 6.456, 6.951, 7.754, 8.78, 10.04, 11.63, 13.64, 16.09, 19",\
                 "7.913, 8.096, 8.69, 9.64, 10.85, 12.25, 13.89, 15.89, 18.34, 21.26",\
                 "9.716, 9.936, 10.63, 11.74, 13.15, 14.76, 16.53, 18.59, 21.03, 23.95");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001517, 0.003333, 0.0068, 0.0122, 0.01978, 0.02975, 0.04232, 0.05765, 0.07594");
          values("0.4203, 0.4595, 0.5995, 0.8651, 1.279, 1.859, 2.624, 3.586, 4.761, 6.158",\
                 "0.4198, 0.4603, 0.5993, 0.8658, 1.279, 1.859, 2.623, 3.587, 4.76, 6.154",\
                 "0.428, 0.4646, 0.6013, 0.8656, 1.279, 1.86, 2.623, 3.584, 4.759, 6.157",\
                 "0.6074, 0.6368, 0.7362, 0.932, 1.292, 1.859, 2.623, 3.586, 4.76, 6.157",\
                 "0.8696, 0.9058, 1.032, 1.246, 1.533, 1.968, 2.644, 3.587, 4.757, 6.157",\
                 "1.167, 1.216, 1.376, 1.637, 1.985, 2.403, 2.936, 3.703, 4.785, 6.156",\
                 "1.51, 1.568, 1.761, 2.079, 2.491, 2.988, 3.552, 4.195, 5.068, 6.266",\
                 "1.893, 1.964, 2.188, 2.564, 3.046, 3.622, 4.27, 4.992, 5.772, 6.768",\
                 "2.334, 2.412, 2.668, 3.096, 3.652, 4.316, 5.05, 5.864, 6.75, 7.688",\
                 "2.814, 2.91, 3.204, 3.684, 4.318, 5.058, 5.902, 6.804, 7.788, 8.848");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001517, 0.003333, 0.0068, 0.0122, 0.01978, 0.02975, 0.04232, 0.05765, 0.07594");
          values("1.428, 1.564, 2.038, 2.945, 4.357, 6.338, 8.947, 12.23, 16.24, 21.01",\
                 "1.429, 1.564, 2.039, 2.944, 4.357, 6.336, 8.94, 12.22, 16.23, 21",\
                 "1.428, 1.563, 2.038, 2.945, 4.354, 6.342, 8.94, 12.22, 16.23, 21.01",\
                 "1.424, 1.561, 2.038, 2.945, 4.355, 6.334, 8.946, 12.22, 16.23, 21.01",\
                 "1.484, 1.6, 2.046, 2.943, 4.356, 6.335, 8.94, 12.22, 16.23, 21",\
                 "1.813, 1.899, 2.243, 3.001, 4.36, 6.334, 8.94, 12.22, 16.23, 21.01",\
                 "2.286, 2.393, 2.725, 3.344, 4.478, 6.354, 8.956, 12.22, 16.23, 21",\
                 "2.81, 2.932, 3.318, 3.966, 4.918, 6.516, 8.976, 12.22, 16.23, 21.01",\
                 "3.376, 3.522, 3.964, 4.712, 5.676, 7.04, 9.168, 12.27, 16.23, 21",\
                 "3.996, 4.156, 4.67, 5.514, 6.598, 7.902, 9.754, 12.5, 16.3, 21");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001517, 0.003333, 0.0068, 0.0122, 0.01978, 0.02975, 0.04232, 0.05765, 0.07594");
          values("0.328, 0.3518, 0.4351, 0.5944, 0.8424, 1.19, 1.648, 2.226, 2.931, 3.772",\
                 "0.388, 0.4121, 0.4958, 0.6557, 0.9039, 1.253, 1.711, 2.29, 2.994, 3.835",\
                 "0.6097, 0.634, 0.719, 0.88, 1.129, 1.478, 1.938, 2.516, 3.221, 4.061",\
                 "0.9812, 1.015, 1.125, 1.304, 1.557, 1.907, 2.366, 2.944, 3.651, 4.491",\
                 "1.421, 1.469, 1.623, 1.872, 2.193, 2.571, 3.034, 3.612, 4.318, 5.159",\
                 "1.925, 1.988, 2.19, 2.518, 2.935, 3.417, 3.952, 4.548, 5.254, 6.095",\
                 "2.487, 2.568, 2.825, 3.237, 3.76, 4.358, 5.018, 5.725, 6.48, 7.329",\
                 "3.107, 3.208, 3.522, 4.027, 4.663, 5.39, 6.183, 7.026, 7.92, 8.856",\
                 "3.78, 3.901, 4.283, 4.888, 5.647, 6.508, 7.444, 8.438, 9.479, 10.57",\
                 "4.5, 4.646, 5.101, 5.815, 6.704, 7.71, 8.799, 9.945, 11.15, 12.4");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001517, 0.003333, 0.0068, 0.0122, 0.01978, 0.02975, 0.04232, 0.05765, 0.07594");
          values("1.064, 1.147, 1.438, 1.992, 2.853, 4.06, 5.648, 7.648, 10.09, 13",\
                 "1.117, 1.202, 1.499, 2.06, 2.926, 4.135, 5.725, 7.727, 10.17, 13.08",\
                 "1.333, 1.42, 1.721, 2.288, 3.163, 4.38, 5.973, 7.978, 10.42, 13.34",\
                 "1.816, 1.901, 2.198, 2.764, 3.642, 4.863, 6.463, 8.472, 10.92, 13.83",\
                 "2.598, 2.684, 2.978, 3.54, 4.413, 5.634, 7.234, 9.245, 11.7, 14.62",\
                 "3.646, 3.748, 4.074, 4.647, 5.515, 6.733, 8.332, 10.34, 12.79, 15.72",\
                 "4.88, 5.008, 5.415, 6.078, 6.976, 8.191, 9.79, 11.8, 14.25, 17.17",\
                 "6.302, 6.456, 6.951, 7.754, 8.78, 10.04, 11.63, 13.64, 16.09, 19",\
                 "7.913, 8.096, 8.69, 9.64, 10.85, 12.25, 13.89, 15.89, 18.34, 21.26",\
                 "9.716, 9.936, 10.63, 11.74, 13.15, 14.76, 16.53, 18.59, 21.03, 23.95");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001517, 0.003333, 0.0068, 0.0122, 0.01978, 0.02975, 0.04232, 0.05765, 0.07594");
          values("0.4203, 0.4595, 0.5995, 0.8651, 1.279, 1.859, 2.624, 3.586, 4.761, 6.158",\
                 "0.4198, 0.4603, 0.5993, 0.8658, 1.279, 1.859, 2.623, 3.587, 4.76, 6.154",\
                 "0.428, 0.4646, 0.6013, 0.8656, 1.279, 1.86, 2.623, 3.584, 4.759, 6.157",\
                 "0.6074, 0.6368, 0.7362, 0.932, 1.292, 1.859, 2.623, 3.586, 4.76, 6.157",\
                 "0.8696, 0.9058, 1.032, 1.246, 1.533, 1.968, 2.644, 3.587, 4.757, 6.157",\
                 "1.167, 1.216, 1.376, 1.637, 1.985, 2.403, 2.936, 3.703, 4.785, 6.156",\
                 "1.51, 1.568, 1.761, 2.079, 2.491, 2.988, 3.552, 4.195, 5.068, 6.266",\
                 "1.893, 1.964, 2.188, 2.564, 3.046, 3.622, 4.27, 4.992, 5.772, 6.768",\
                 "2.334, 2.412, 2.668, 3.096, 3.652, 4.316, 5.05, 5.864, 6.75, 7.688",\
                 "2.814, 2.91, 3.204, 3.684, 4.318, 5.058, 5.902, 6.804, 7.788, 8.848");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001517, 0.003333, 0.0068, 0.0122, 0.01978, 0.02975, 0.04232, 0.05765, 0.07594");
          values("1.428, 1.564, 2.039, 2.945, 4.357, 6.337, 8.943, 12.23, 16.23, 21",\
                 "1.429, 1.564, 2.039, 2.944, 4.359, 6.336, 8.939, 12.22, 16.23, 21",\
                 "1.428, 1.564, 2.038, 2.945, 4.355, 6.339, 8.94, 12.22, 16.22, 21",\
                 "1.422, 1.559, 2.038, 2.944, 4.358, 6.335, 8.943, 12.22, 16.23, 21",\
                 "1.482, 1.599, 2.045, 2.941, 4.356, 6.334, 8.94, 12.22, 16.23, 21",\
                 "1.813, 1.902, 2.242, 2.999, 4.36, 6.336, 8.956, 12.22, 16.22, 21.01",\
                 "2.287, 2.391, 2.726, 3.338, 4.478, 6.352, 8.942, 12.22, 16.22, 21",\
                 "2.81, 2.932, 3.318, 3.966, 4.918, 6.512, 8.974, 12.22, 16.23, 21.01",\
                 "3.376, 3.514, 3.964, 4.702, 5.68, 7.04, 9.168, 12.27, 16.23, 21",\
                 "3.996, 4.154, 4.668, 5.506, 6.6, 7.906, 9.752, 12.5, 16.29, 21");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001517, 0.003333, 0.0068, 0.0122, 0.01978, 0.02975, 0.04232, 0.05765, 0.07594");
          values("3.742, 3.77, 3.863, 4.022, 4.237, 4.5, 4.811, 5.173, 5.59, 6.068",\
                 "3.808, 3.837, 3.931, 4.09, 4.304, 4.568, 4.88, 5.242, 5.658, 6.136",\
                 "4.057, 4.086, 4.18, 4.34, 4.556, 4.819, 5.132, 5.493, 5.909, 6.387",\
                 "4.526, 4.555, 4.649, 4.809, 5.026, 5.29, 5.603, 5.965, 6.381, 6.859",\
                 "5.239, 5.267, 5.362, 5.523, 5.74, 6.005, 6.318, 6.681, 7.098, 7.575",\
                 "6.23, 6.26, 6.354, 6.516, 6.734, 7.001, 7.316, 7.679, 8.095, 8.574",\
                 "7.53, 7.559, 7.655, 7.818, 8.037, 8.306, 8.621, 8.986, 9.403, 9.882",\
                 "9.126, 9.157, 9.257, 9.424, 9.648, 9.92, 10.24, 10.61, 11.03, 11.51",\
                 "10.98, 11.01, 11.12, 11.29, 11.52, 11.81, 12.13, 12.51, 12.93, 13.41",\
                 "13.07, 13.1, 13.21, 13.4, 13.64, 13.94, 14.27, 14.66, 15.09, 15.58");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001517, 0.003333, 0.0068, 0.0122, 0.01978, 0.02975, 0.04232, 0.05765, 0.07594");
          values("2.083, 2.163, 2.443, 2.975, 3.807, 4.983, 6.543, 8.521, 10.94, 13.84",\
                 "2.149, 2.229, 2.512, 3.048, 3.882, 5.059, 6.619, 8.595, 11.02, 13.91",\
                 "2.339, 2.422, 2.708, 3.253, 4.099, 5.288, 6.855, 8.834, 11.26, 14.15",\
                 "2.698, 2.782, 3.072, 3.625, 4.482, 5.682, 7.26, 9.248, 11.68, 14.57",\
                 "3.182, 3.266, 3.558, 4.113, 4.976, 6.18, 7.765, 9.759, 12.19, 15.1",\
                 "3.714, 3.797, 4.089, 4.648, 5.512, 6.722, 8.31, 10.31, 12.75, 15.65",\
                 "4.283, 4.367, 4.661, 5.218, 6.083, 7.295, 8.887, 10.89, 13.33, 16.23",\
                 "4.88, 4.964, 5.258, 5.815, 6.68, 7.891, 9.484, 11.49, 13.93, 16.84",\
                 "5.499, 5.582, 5.876, 6.434, 7.299, 8.51, 10.1, 12.11, 14.55, 17.46",\
                 "6.128, 6.211, 6.506, 7.064, 7.93, 9.141, 10.73, 12.74, 15.18, 18.09");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001517, 0.003333, 0.0068, 0.0122, 0.01978, 0.02975, 0.04232, 0.05765, 0.07594");
          values("0.6408, 0.6728, 0.7748, 0.9464, 1.185, 1.49, 1.871, 2.345, 2.925, 3.636",\
                 "0.6412, 0.6722, 0.774, 0.9476, 1.185, 1.49, 1.87, 2.342, 2.927, 3.635",\
                 "0.6404, 0.6716, 0.7732, 0.9446, 1.183, 1.489, 1.869, 2.342, 2.926, 3.634",\
                 "0.6402, 0.671, 0.7732, 0.9462, 1.184, 1.487, 1.869, 2.344, 2.925, 3.634",\
                 "0.6432, 0.674, 0.7746, 0.9462, 1.183, 1.489, 1.869, 2.34, 2.926, 3.635",\
                 "0.648, 0.6792, 0.779, 0.9504, 1.185, 1.488, 1.87, 2.34, 2.926, 3.63",\
                 "0.656, 0.686, 0.784, 0.956, 1.188, 1.492, 1.87, 2.346, 2.926, 3.634",\
                 "0.678, 0.708, 0.806, 0.976, 1.21, 1.51, 1.886, 2.354, 2.934, 3.64",\
                 "0.718, 0.752, 0.854, 1.026, 1.258, 1.556, 1.93, 2.394, 2.964, 3.66",\
                 "0.768, 0.8, 0.902, 1.078, 1.318, 1.62, 1.988, 2.448, 3.014, 3.702");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001517, 0.003333, 0.0068, 0.0122, 0.01978, 0.02975, 0.04232, 0.05765, 0.07594");
          values("1.563, 1.696, 2.171, 3.078, 4.491, 6.475, 9.081, 12.37, 16.38, 21.16",\
                 "1.563, 1.696, 2.171, 3.079, 4.492, 6.477, 9.083, 12.37, 16.37, 21.15",\
                 "1.561, 1.696, 2.172, 3.077, 4.489, 6.475, 9.085, 12.37, 16.38, 21.16",\
                 "1.563, 1.696, 2.171, 3.079, 4.49, 6.475, 9.079, 12.37, 16.37, 21.16",\
                 "1.561, 1.696, 2.172, 3.077, 4.493, 6.474, 9.084, 12.37, 16.38, 21.16",\
                 "1.51, 1.648, 2.129, 3.053, 4.485, 6.475, 9.079, 12.37, 16.37, 21.16",\
                 "1.499, 1.634, 2.106, 3.012, 4.433, 6.436, 9.076, 12.37, 16.38, 21.15",\
                 "1.496, 1.634, 2.104, 3.008, 4.424, 6.404, 9.024, 12.34, 16.37, 21.16",\
                 "1.502, 1.634, 2.104, 3.006, 4.418, 6.398, 9.004, 12.3, 16.33, 21.14",\
                 "1.504, 1.638, 2.108, 3.006, 4.418, 6.398, 9.006, 12.29, 16.3, 21.09");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001517, 0.003333, 0.0068, 0.0122, 0.01978, 0.02975, 0.04232, 0.05765, 0.07594");
          values("3.752, 3.78, 3.872, 4.03, 4.245, 4.508, 4.819, 5.182, 5.598, 6.077",\
                 "3.819, 3.847, 3.94, 4.099, 4.313, 4.576, 4.888, 5.25, 5.667, 6.145",\
                 "4.069, 4.097, 4.191, 4.35, 4.565, 4.829, 5.141, 5.503, 5.92, 6.398",\
                 "4.536, 4.565, 4.659, 4.819, 5.035, 5.3, 5.612, 5.975, 6.391, 6.869",\
                 "5.248, 5.276, 5.371, 5.531, 5.748, 6.013, 6.327, 6.689, 7.106, 7.584",\
                 "6.236, 6.265, 6.36, 6.522, 6.74, 7.008, 7.322, 7.685, 8.102, 8.58",\
                 "7.533, 7.562, 7.659, 7.822, 8.041, 8.309, 8.624, 8.989, 9.408, 9.886",\
                 "9.129, 9.16, 9.261, 9.427, 9.65, 9.923, 10.24, 10.61, 11.03, 11.51",\
                 "10.98, 11.01, 11.12, 11.29, 11.53, 11.81, 12.13, 12.51, 12.93, 13.41",\
                 "13.07, 13.11, 13.22, 13.4, 13.64, 13.94, 14.28, 14.66, 15.09, 15.58");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001517, 0.003333, 0.0068, 0.0122, 0.01978, 0.02975, 0.04232, 0.05765, 0.07594");
          values("2.093, 2.173, 2.454, 2.987, 3.82, 4.997, 6.557, 8.534, 10.96, 13.85",\
                 "2.159, 2.24, 2.524, 3.06, 3.895, 5.073, 6.632, 8.608, 11.03, 13.93",\
                 "2.35, 2.432, 2.719, 3.265, 4.112, 5.301, 6.868, 8.848, 11.27, 14.17",\
                 "2.71, 2.793, 3.085, 3.638, 4.496, 5.697, 7.275, 9.264, 11.69, 14.59",\
                 "3.195, 3.279, 3.572, 4.129, 4.991, 6.197, 7.781, 9.776, 12.21, 15.11",\
                 "3.726, 3.811, 4.104, 4.665, 5.531, 6.74, 8.328, 10.33, 12.76, 15.67",\
                 "4.297, 4.381, 4.675, 5.234, 6.099, 7.313, 8.904, 10.91, 13.35, 16.25",\
                 "4.893, 4.978, 5.272, 5.83, 6.697, 7.908, 9.502, 11.51, 13.95, 16.86",\
                 "5.511, 5.595, 5.89, 6.449, 7.315, 8.527, 10.12, 12.12, 14.57, 17.48",\
                 "6.141, 6.225, 6.52, 7.079, 7.945, 9.157, 10.75, 12.75, 15.2, 18.11");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001517, 0.003333, 0.0068, 0.0122, 0.01978, 0.02975, 0.04232, 0.05765, 0.07594");
          values("0.6392, 0.6714, 0.773, 0.946, 1.183, 1.489, 1.869, 2.343, 2.926, 3.632",\
                 "0.6402, 0.6708, 0.7726, 0.945, 1.182, 1.486, 1.868, 2.343, 2.925, 3.632",\
                 "0.6388, 0.6698, 0.7718, 0.9438, 1.181, 1.485, 1.867, 2.342, 2.925, 3.632",\
                 "0.639, 0.6698, 0.7718, 0.9444, 1.18, 1.484, 1.867, 2.339, 2.925, 3.632",\
                 "0.642, 0.6726, 0.7736, 0.945, 1.181, 1.486, 1.866, 2.341, 2.924, 3.631",\
                 "0.6454, 0.6778, 0.7772, 0.9476, 1.183, 1.487, 1.868, 2.34, 2.924, 3.63",\
                 "0.654, 0.686, 0.786, 0.952, 1.186, 1.49, 1.868, 2.34, 2.926, 3.634",\
                 "0.678, 0.706, 0.804, 0.974, 1.206, 1.504, 1.882, 2.352, 2.932, 3.636",\
                 "0.718, 0.75, 0.852, 1.022, 1.258, 1.554, 1.926, 2.394, 2.96, 3.656",\
                 "0.766, 0.798, 0.902, 1.078, 1.314, 1.614, 1.988, 2.448, 3.012, 3.7");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001517, 0.003333, 0.0068, 0.0122, 0.01978, 0.02975, 0.04232, 0.05765, 0.07594");
          values("1.577, 1.711, 2.185, 3.093, 4.508, 6.487, 9.102, 12.38, 16.4, 21.18",\
                 "1.577, 1.71, 2.185, 3.094, 4.505, 6.487, 9.097, 12.39, 16.39, 21.16",\
                 "1.577, 1.71, 2.185, 3.093, 4.506, 6.488, 9.098, 12.38, 16.39, 21.18",\
                 "1.577, 1.712, 2.186, 3.093, 4.506, 6.487, 9.101, 12.38, 16.4, 21.17",\
                 "1.574, 1.711, 2.187, 3.092, 4.507, 6.491, 9.101, 12.38, 16.39, 21.18",\
                 "1.525, 1.665, 2.147, 3.069, 4.499, 6.49, 9.099, 12.38, 16.39, 21.17",\
                 "1.515, 1.649, 2.122, 3.028, 4.449, 6.452, 9.088, 12.38, 16.39, 21.17",\
                 "1.512, 1.648, 2.118, 3.022, 4.432, 6.418, 9.038, 12.35, 16.38, 21.18",\
                 "1.518, 1.648, 2.12, 3.024, 4.434, 6.41, 9.018, 12.31, 16.34, 21.16",\
                 "1.518, 1.652, 2.122, 3.02, 4.432, 6.416, 9.02, 12.3, 16.32, 21.11");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001517, 0.003333, 0.0068, 0.0122, 0.01978, 0.02975, 0.04232, 0.05765, 0.07594");
          values("3.752, 3.78, 3.872, 4.03, 4.245, 4.508, 4.819, 5.182, 5.598, 6.077",\
                 "3.819, 3.847, 3.94, 4.099, 4.313, 4.576, 4.888, 5.25, 5.667, 6.145",\
                 "4.069, 4.097, 4.191, 4.35, 4.565, 4.829, 5.141, 5.503, 5.92, 6.398",\
                 "4.536, 4.565, 4.659, 4.819, 5.035, 5.3, 5.612, 5.975, 6.391, 6.869",\
                 "5.248, 5.276, 5.371, 5.531, 5.748, 6.013, 6.327, 6.689, 7.106, 7.584",\
                 "6.236, 6.265, 6.36, 6.522, 6.74, 7.008, 7.322, 7.685, 8.102, 8.58",\
                 "7.533, 7.562, 7.659, 7.822, 8.041, 8.309, 8.624, 8.989, 9.408, 9.886",\
                 "9.129, 9.16, 9.261, 9.427, 9.65, 9.923, 10.24, 10.61, 11.03, 11.51",\
                 "10.98, 11.01, 11.12, 11.29, 11.53, 11.81, 12.13, 12.51, 12.93, 13.41",\
                 "13.07, 13.11, 13.22, 13.4, 13.64, 13.94, 14.28, 14.66, 15.09, 15.58");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001517, 0.003333, 0.0068, 0.0122, 0.01978, 0.02975, 0.04232, 0.05765, 0.07594");
          values("2.093, 2.173, 2.454, 2.987, 3.82, 4.997, 6.557, 8.534, 10.96, 13.85",\
                 "2.159, 2.24, 2.524, 3.06, 3.895, 5.073, 6.632, 8.608, 11.03, 13.93",\
                 "2.35, 2.432, 2.719, 3.265, 4.112, 5.301, 6.868, 8.848, 11.27, 14.17",\
                 "2.71, 2.793, 3.085, 3.638, 4.496, 5.697, 7.275, 9.264, 11.69, 14.59",\
                 "3.195, 3.279, 3.572, 4.129, 4.991, 6.197, 7.781, 9.776, 12.21, 15.11",\
                 "3.726, 3.811, 4.104, 4.665, 5.531, 6.74, 8.328, 10.33, 12.76, 15.67",\
                 "4.297, 4.381, 4.675, 5.234, 6.099, 7.313, 8.904, 10.91, 13.35, 16.25",\
                 "4.893, 4.978, 5.272, 5.83, 6.697, 7.908, 9.502, 11.51, 13.95, 16.86",\
                 "5.511, 5.595, 5.89, 6.449, 7.315, 8.527, 10.12, 12.12, 14.57, 17.48",\
                 "6.141, 6.225, 6.52, 7.079, 7.945, 9.157, 10.75, 12.75, 15.2, 18.11");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001517, 0.003333, 0.0068, 0.0122, 0.01978, 0.02975, 0.04232, 0.05765, 0.07594");
          values("0.6408, 0.6728, 0.7748, 0.9464, 1.185, 1.49, 1.871, 2.345, 2.925, 3.636",\
                 "0.6412, 0.6722, 0.774, 0.9476, 1.185, 1.49, 1.87, 2.342, 2.927, 3.635",\
                 "0.6404, 0.6716, 0.7732, 0.9446, 1.183, 1.489, 1.869, 2.342, 2.926, 3.634",\
                 "0.6402, 0.671, 0.7732, 0.9462, 1.184, 1.487, 1.869, 2.344, 2.925, 3.634",\
                 "0.6432, 0.674, 0.7746, 0.9462, 1.183, 1.489, 1.869, 2.34, 2.926, 3.635",\
                 "0.648, 0.6792, 0.779, 0.9504, 1.185, 1.488, 1.87, 2.34, 2.926, 3.63",\
                 "0.656, 0.686, 0.784, 0.956, 1.188, 1.492, 1.87, 2.346, 2.926, 3.634",\
                 "0.678, 0.708, 0.806, 0.976, 1.21, 1.51, 1.886, 2.354, 2.934, 3.64",\
                 "0.718, 0.752, 0.854, 1.026, 1.258, 1.556, 1.93, 2.394, 2.964, 3.66",\
                 "0.768, 0.8, 0.902, 1.078, 1.318, 1.62, 1.988, 2.448, 3.014, 3.702");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1648, 0.6731, 1.644, 3.156, 5.278, 8.07, 11.59, 15.88, 21");
          index_2("0.001, 0.001517, 0.003333, 0.0068, 0.0122, 0.01978, 0.02975, 0.04232, 0.05765, 0.07594");
          values("1.577, 1.711, 2.185, 3.093, 4.508, 6.487, 9.102, 12.38, 16.4, 21.18",\
                 "1.577, 1.71, 2.185, 3.094, 4.505, 6.487, 9.097, 12.39, 16.39, 21.16",\
                 "1.577, 1.71, 2.185, 3.093, 4.506, 6.488, 9.098, 12.38, 16.39, 21.18",\
                 "1.577, 1.712, 2.186, 3.093, 4.506, 6.487, 9.101, 12.38, 16.4, 21.17",\
                 "1.574, 1.711, 2.187, 3.092, 4.507, 6.491, 9.101, 12.38, 16.39, 21.18",\
                 "1.525, 1.665, 2.147, 3.069, 4.499, 6.49, 9.099, 12.38, 16.39, 21.17",\
                 "1.515, 1.649, 2.122, 3.028, 4.449, 6.452, 9.088, 12.38, 16.39, 21.17",\
                 "1.512, 1.648, 2.118, 3.022, 4.432, 6.418, 9.038, 12.35, 16.38, 21.18",\
                 "1.518, 1.648, 2.12, 3.024, 4.434, 6.41, 9.018, 12.31, 16.34, 21.16",\
                 "1.518, 1.652, 2.122, 3.02, 4.432, 6.416, 9.02, 12.3, 16.32, 21.11");
        }
      }
    }
  }