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

  cell(gf180mcu_fd_sc_mcu7t5v0__xor3_2) {
    area : 63.660800 ;

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

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

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

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

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

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

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

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

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

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

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

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

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003839, 0.01381, 0.03284, 0.06249, 0.1041, 0.1588, 0.2278, 0.312, 0.4124");
          values("0.06586, 0.06594, 0.06624, 0.06665, 0.06701, 0.06726, 0.06743, 0.06754, 0.06761, 0.06766",\
                 "0.06576, 0.06585, 0.06614, 0.06654, 0.0669, 0.06715, 0.06732, 0.06743, 0.0675, 0.06755",\
                 "0.06555, 0.06565, 0.06593, 0.06634, 0.0667, 0.06696, 0.06713, 0.06724, 0.06731, 0.06736",\
                 "0.06544, 0.06552, 0.0658, 0.06621, 0.06657, 0.06683, 0.06701, 0.06711, 0.06718, 0.06723",\
                 "0.06531, 0.06537, 0.06568, 0.06609, 0.06645, 0.0667, 0.06687, 0.06699, 0.06706, 0.0671",\
                 "0.06517, 0.06525, 0.06556, 0.06595, 0.06632, 0.06657, 0.06674, 0.06685, 0.06692, 0.06697",\
                 "0.06513, 0.06522, 0.06551, 0.06593, 0.06628, 0.06654, 0.06671, 0.06682, 0.06689, 0.06694",\
                 "0.06524, 0.06533, 0.06561, 0.06602, 0.06639, 0.06665, 0.06682, 0.06692, 0.067, 0.06704",\
                 "0.06547, 0.06554, 0.06585, 0.06629, 0.06664, 0.0669, 0.06707, 0.06717, 0.06724, 0.06729",\
                 "0.06593, 0.066, 0.06631, 0.0667, 0.06706, 0.06732, 0.06749, 0.0676, 0.06767, 0.06767");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003839, 0.01381, 0.03284, 0.06249, 0.1041, 0.1588, 0.2278, 0.312, 0.4124");
          values("0.06135, 0.06138, 0.06162, 0.06202, 0.06247, 0.06296, 0.06335, 0.06382, 0.06577, 0.08288",\
                 "0.06136, 0.06146, 0.0617, 0.06204, 0.06249, 0.06296, 0.06346, 0.0638, 0.06597, 0.083",\
                 "0.06129, 0.06137, 0.0616, 0.06197, 0.06244, 0.06289, 0.06337, 0.0638, 0.06652, 0.08438",\
                 "0.06112, 0.06119, 0.06142, 0.0618, 0.06224, 0.06271, 0.06319, 0.06357, 0.06655, 0.08756",\
                 "0.06098, 0.06104, 0.0613, 0.06164, 0.06211, 0.06256, 0.06304, 0.06351, 0.06731, 0.09179",\
                 "0.06091, 0.06102, 0.06124, 0.06156, 0.06202, 0.06249, 0.06286, 0.06351, 0.06812, 0.09953",\
                 "0.06095, 0.06105, 0.06129, 0.06166, 0.06217, 0.06256, 0.06305, 0.06368, 0.07019, 0.1107",\
                 "0.0611, 0.06118, 0.06138, 0.06179, 0.06231, 0.06264, 0.06315, 0.06436, 0.0746, 0.1296",\
                 "0.06138, 0.06148, 0.06173, 0.06201, 0.06238, 0.06303, 0.06372, 0.06521, 0.08221, 0.1586",\
                 "0.06176, 0.0619, 0.06207, 0.06246, 0.06282, 0.06321, 0.06371, 0.06823, 0.09874, 0.2047");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003839, 0.01381, 0.03284, 0.06249, 0.1041, 0.1588, 0.2278, 0.312, 0.4124");
          values("0.0795, 0.07963, 0.07999, 0.0804, 0.08075, 0.08099, 0.08113, 0.08123, 0.08129, 0.08134",\
                 "0.07951, 0.07966, 0.08001, 0.08043, 0.08078, 0.08101, 0.08116, 0.08124, 0.0813, 0.08135",\
                 "0.07943, 0.07957, 0.07993, 0.08036, 0.0807, 0.08094, 0.08108, 0.08118, 0.08125, 0.08129",\
                 "0.07925, 0.07941, 0.07975, 0.08018, 0.08053, 0.08076, 0.08091, 0.08101, 0.08107, 0.08112",\
                 "0.07913, 0.07926, 0.07962, 0.08006, 0.0804, 0.08063, 0.08078, 0.08087, 0.08094, 0.08098",\
                 "0.07907, 0.0792, 0.07956, 0.07998, 0.08033, 0.08056, 0.0807, 0.08079, 0.08085, 0.0809",\
                 "0.07911, 0.07925, 0.07961, 0.08002, 0.08037, 0.08061, 0.08075, 0.08085, 0.08091, 0.08096",\
                 "0.07926, 0.07936, 0.07973, 0.08019, 0.08051, 0.08073, 0.08087, 0.08097, 0.08103, 0.08107",\
                 "0.07952, 0.07966, 0.08003, 0.08044, 0.08079, 0.081, 0.08116, 0.08125, 0.08132, 0.08135",\
                 "0.07988, 0.08002, 0.0804, 0.08083, 0.08117, 0.08139, 0.08155, 0.08164, 0.08171, 0.08175");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003839, 0.01381, 0.03284, 0.06249, 0.1041, 0.1588, 0.2278, 0.312, 0.4124");
          values("0.06985, 0.06999, 0.07042, 0.07092, 0.07145, 0.07202, 0.07229, 0.07277, 0.07514, 0.09326",\
                 "0.06976, 0.06993, 0.07029, 0.07084, 0.07138, 0.07181, 0.07223, 0.07268, 0.07511, 0.0936",\
                 "0.06959, 0.06974, 0.07011, 0.07063, 0.07114, 0.07174, 0.07198, 0.07265, 0.07474, 0.09533",\
                 "0.06942, 0.0696, 0.06996, 0.0705, 0.07103, 0.07147, 0.07191, 0.07235, 0.07553, 0.09788",\
                 "0.06932, 0.06946, 0.06983, 0.07035, 0.07089, 0.07134, 0.07175, 0.0723, 0.07642, 0.1046",\
                 "0.0692, 0.06933, 0.06969, 0.07027, 0.07075, 0.07123, 0.07164, 0.07248, 0.07794, 0.1169",\
                 "0.06915, 0.06931, 0.06967, 0.0702, 0.0708, 0.07118, 0.07157, 0.07249, 0.08282, 0.1378",\
                 "0.06925, 0.06942, 0.06981, 0.07039, 0.07094, 0.0713, 0.07177, 0.07409, 0.09287, 0.1744",\
                 "0.06953, 0.06968, 0.07002, 0.07056, 0.0712, 0.07157, 0.07219, 0.07737, 0.116, 0.2356",\
                 "0.06994, 0.07007, 0.07047, 0.071, 0.07154, 0.07208, 0.07357, 0.09054, 0.1702, 0.3212");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003839, 0.01381, 0.03284, 0.06249, 0.1041, 0.1588, 0.2278, 0.312, 0.4124");
          values("0.0442, 0.04428, 0.04456, 0.04497, 0.04533, 0.04559, 0.04575, 0.04586, 0.04594, 0.04599",\
                 "0.04419, 0.04429, 0.04457, 0.04497, 0.04533, 0.04558, 0.04575, 0.04586, 0.04593, 0.04598",\
                 "0.04416, 0.04426, 0.04453, 0.04494, 0.04529, 0.04555, 0.04572, 0.04583, 0.0459, 0.04595",\
                 "0.04403, 0.04412, 0.04442, 0.04481, 0.04517, 0.04543, 0.0456, 0.04571, 0.04578, 0.04584",\
                 "0.04388, 0.04397, 0.04426, 0.04467, 0.04501, 0.04527, 0.04545, 0.04556, 0.04563, 0.04568",\
                 "0.04379, 0.04386, 0.04413, 0.04453, 0.04489, 0.04516, 0.04534, 0.04546, 0.04554, 0.04559",\
                 "0.04379, 0.04388, 0.04418, 0.04456, 0.04493, 0.04517, 0.04536, 0.04547, 0.04555, 0.0456",\
                 "0.04394, 0.044, 0.04429, 0.04466, 0.04503, 0.0453, 0.04547, 0.04559, 0.04567, 0.04572",\
                 "0.04421, 0.04428, 0.04454, 0.04491, 0.04526, 0.04553, 0.04571, 0.04584, 0.04592, 0.04597",\
                 "0.04461, 0.04468, 0.04492, 0.04529, 0.04565, 0.04592, 0.0461, 0.04622, 0.0463, 0.04637");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003839, 0.01381, 0.03284, 0.06249, 0.1041, 0.1588, 0.2278, 0.312, 0.4124");
          values("0.05791, 0.05801, 0.0582, 0.0586, 0.05903, 0.05951, 0.05999, 0.06036, 0.06202, 0.07649",\
                 "0.05789, 0.05802, 0.05819, 0.05857, 0.05901, 0.05957, 0.05992, 0.06032, 0.0625, 0.07694",\
                 "0.05773, 0.05777, 0.05807, 0.05842, 0.05888, 0.05935, 0.0597, 0.06009, 0.06197, 0.07801",\
                 "0.05749, 0.05764, 0.05787, 0.05823, 0.05865, 0.05913, 0.05954, 0.05999, 0.06233, 0.08037",\
                 "0.0574, 0.05753, 0.05776, 0.05809, 0.05858, 0.05899, 0.05947, 0.05989, 0.06297, 0.0858",\
                 "0.05738, 0.05747, 0.0577, 0.05808, 0.05854, 0.05903, 0.0594, 0.05998, 0.06524, 0.09637",\
                 "0.05751, 0.05759, 0.05782, 0.05821, 0.05865, 0.05912, 0.05954, 0.06033, 0.06893, 0.1166",\
                 "0.05777, 0.05785, 0.05812, 0.05839, 0.05886, 0.05933, 0.05976, 0.06174, 0.07861, 0.1539",\
                 "0.05816, 0.05828, 0.05841, 0.05882, 0.05931, 0.05969, 0.06029, 0.06509, 0.1022, 0.2192",\
                 "0.05872, 0.05879, 0.05896, 0.05934, 0.05962, 0.06027, 0.06185, 0.07941, 0.1601, 0.3109");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003839, 0.01381, 0.03284, 0.06249, 0.1041, 0.1588, 0.2278, 0.312, 0.4124");
          values("0.07606, 0.07619, 0.07655, 0.07696, 0.07731, 0.07755, 0.07769, 0.07779, 0.07786, 0.0779",\
                 "0.07608, 0.07619, 0.07654, 0.07698, 0.07732, 0.07754, 0.07769, 0.07778, 0.07785, 0.07789",\
                 "0.07587, 0.07601, 0.07637, 0.0768, 0.07714, 0.07736, 0.07751, 0.07761, 0.07767, 0.07771",\
                 "0.07568, 0.07583, 0.07619, 0.07661, 0.07695, 0.07718, 0.07732, 0.07742, 0.07748, 0.07753",\
                 "0.07556, 0.07571, 0.07606, 0.07648, 0.07682, 0.07707, 0.07721, 0.0773, 0.07736, 0.07741",\
                 "0.07559, 0.07571, 0.0761, 0.0765, 0.07685, 0.07707, 0.07722, 0.07731, 0.07737, 0.07742",\
                 "0.07569, 0.07586, 0.07623, 0.07664, 0.07698, 0.07723, 0.07737, 0.07746, 0.07753, 0.07757",\
                 "0.07596, 0.07609, 0.07646, 0.07688, 0.07723, 0.07745, 0.0776, 0.07769, 0.07775, 0.07779",\
                 "0.07633, 0.07647, 0.07681, 0.07724, 0.07758, 0.0778, 0.07794, 0.07804, 0.0781, 0.07814",\
                 "0.07679, 0.07692, 0.07729, 0.07768, 0.07805, 0.07829, 0.07842, 0.07853, 0.07858, 0.07858");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003839, 0.01381, 0.03284, 0.06249, 0.1041, 0.1588, 0.2278, 0.312, 0.4124");
          values("0.04813, 0.0483, 0.04867, 0.04922, 0.04977, 0.05019, 0.05061, 0.05098, 0.05282, 0.06523",\
                 "0.04813, 0.04829, 0.04869, 0.04923, 0.04974, 0.05019, 0.05061, 0.05096, 0.05288, 0.06564",\
                 "0.04815, 0.04828, 0.04864, 0.04918, 0.0497, 0.05028, 0.05047, 0.05105, 0.0522, 0.06561",\
                 "0.04803, 0.04817, 0.04855, 0.0491, 0.04959, 0.05019, 0.05038, 0.05084, 0.05314, 0.06839",\
                 "0.04792, 0.04806, 0.04848, 0.049, 0.04952, 0.04997, 0.0504, 0.05076, 0.05355, 0.07252",\
                 "0.04788, 0.04804, 0.04841, 0.04897, 0.04947, 0.04992, 0.05018, 0.05078, 0.05425, 0.07756",\
                 "0.04796, 0.04809, 0.04848, 0.04912, 0.04959, 0.05001, 0.05033, 0.05097, 0.05615, 0.08809",\
                 "0.04815, 0.04828, 0.04864, 0.04913, 0.04972, 0.05035, 0.05058, 0.05129, 0.05943, 0.1057",\
                 "0.04844, 0.04858, 0.04899, 0.04944, 0.04992, 0.0503, 0.05114, 0.0522, 0.06633, 0.1347",\
                 "0.0489, 0.04903, 0.04939, 0.04991, 0.0504, 0.05069, 0.05129, 0.05489, 0.08202, 0.1811");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003839, 0.01381, 0.03284, 0.06249, 0.1041, 0.1588, 0.2278, 0.312, 0.4124");
          values("0.06481, 0.0649, 0.06519, 0.06561, 0.06596, 0.06623, 0.06639, 0.0665, 0.06658, 0.06662",\
                 "0.06464, 0.06472, 0.06502, 0.06543, 0.06579, 0.06605, 0.06621, 0.06632, 0.06639, 0.06645",\
                 "0.06442, 0.06451, 0.06479, 0.06521, 0.06556, 0.06581, 0.06598, 0.06609, 0.06616, 0.06621",\
                 "0.0643, 0.06439, 0.06468, 0.06508, 0.06544, 0.0657, 0.06587, 0.06598, 0.06605, 0.0661",\
                 "0.06428, 0.06434, 0.06465, 0.06505, 0.06542, 0.06567, 0.06585, 0.06596, 0.06603, 0.06608",\
                 "0.0643, 0.06439, 0.06468, 0.06509, 0.06545, 0.0657, 0.06587, 0.06598, 0.06605, 0.0661",\
                 "0.06444, 0.06451, 0.06482, 0.06523, 0.06558, 0.06583, 0.06601, 0.06612, 0.06619, 0.06623",\
                 "0.06467, 0.06474, 0.06506, 0.06547, 0.06583, 0.06609, 0.06625, 0.06636, 0.06643, 0.06648",\
                 "0.065, 0.06509, 0.06538, 0.06578, 0.06615, 0.06641, 0.06658, 0.06669, 0.06676, 0.0668",\
                 "0.06546, 0.06553, 0.06583, 0.06623, 0.06659, 0.06687, 0.06703, 0.06714, 0.0672, 0.06719");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003839, 0.01381, 0.03284, 0.06249, 0.1041, 0.1588, 0.2278, 0.312, 0.4124");
          values("0.05908, 0.05919, 0.05936, 0.05974, 0.06018, 0.06065, 0.06113, 0.06146, 0.06393, 0.07958",\
                 "0.05912, 0.05915, 0.05945, 0.05978, 0.06024, 0.06073, 0.06111, 0.06148, 0.0635, 0.08013",\
                 "0.05904, 0.05912, 0.05938, 0.05973, 0.06017, 0.06064, 0.06111, 0.06151, 0.06416, 0.0814",\
                 "0.05891, 0.059, 0.05924, 0.05962, 0.06008, 0.06051, 0.06099, 0.0614, 0.06439, 0.08418",\
                 "0.05887, 0.05898, 0.0592, 0.05954, 0.05999, 0.06046, 0.06086, 0.06138, 0.0647, 0.08842",\
                 "0.05886, 0.0589, 0.05914, 0.05954, 0.05999, 0.06053, 0.06092, 0.06175, 0.06624, 0.09533",\
                 "0.05893, 0.05899, 0.05923, 0.05965, 0.06008, 0.06056, 0.06099, 0.0616, 0.06799, 0.1064",\
                 "0.05911, 0.05918, 0.0594, 0.05977, 0.06031, 0.06083, 0.06115, 0.06228, 0.07218, 0.1245",\
                 "0.05938, 0.05946, 0.05965, 0.06005, 0.06036, 0.06105, 0.06171, 0.06319, 0.07904, 0.1524",\
                 "0.05978, 0.05986, 0.06007, 0.06048, 0.06076, 0.06114, 0.06181, 0.06572, 0.09445, 0.1967");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003839, 0.01381, 0.03284, 0.06249, 0.1041, 0.1588, 0.2278, 0.312, 0.4124");
          values("0.07718, 0.07733, 0.07768, 0.0781, 0.07844, 0.07867, 0.07882, 0.07891, 0.07897, 0.07902",\
                 "0.07722, 0.07734, 0.0777, 0.07814, 0.07847, 0.07871, 0.07885, 0.07894, 0.079, 0.07905",\
                 "0.07718, 0.07729, 0.07766, 0.07809, 0.07843, 0.07866, 0.07881, 0.0789, 0.07896, 0.07901",\
                 "0.07706, 0.07716, 0.07754, 0.07797, 0.07831, 0.07854, 0.07869, 0.07879, 0.07885, 0.0789",\
                 "0.07698, 0.07709, 0.07747, 0.0779, 0.07823, 0.07846, 0.07861, 0.07871, 0.07877, 0.07882",\
                 "0.07696, 0.07709, 0.07747, 0.07791, 0.07825, 0.07847, 0.07862, 0.07871, 0.07877, 0.07881",\
                 "0.07706, 0.07719, 0.07754, 0.07795, 0.07831, 0.07854, 0.07868, 0.07878, 0.07884, 0.07889",\
                 "0.07719, 0.07732, 0.07771, 0.07813, 0.07848, 0.07871, 0.07885, 0.07894, 0.07902, 0.07907",\
                 "0.07748, 0.07763, 0.078, 0.0784, 0.07876, 0.07898, 0.07912, 0.07922, 0.07928, 0.07932",\
                 "0.07789, 0.07799, 0.07839, 0.0788, 0.07916, 0.07937, 0.07952, 0.07961, 0.07968, 0.07972");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003839, 0.01381, 0.03284, 0.06249, 0.1041, 0.1588, 0.2278, 0.312, 0.4124");
          values("0.06884, 0.06898, 0.06934, 0.06989, 0.0704, 0.07083, 0.07119, 0.07154, 0.07366, 0.09178",\
                 "0.06863, 0.06881, 0.06917, 0.0697, 0.07024, 0.07069, 0.07111, 0.07151, 0.07397, 0.09185",\
                 "0.06843, 0.06859, 0.06895, 0.06947, 0.07002, 0.07046, 0.0709, 0.07149, 0.07348, 0.09342",\
                 "0.06828, 0.06846, 0.06883, 0.06937, 0.0699, 0.07033, 0.07075, 0.07137, 0.07444, 0.09619",\
                 "0.06824, 0.0684, 0.06881, 0.06934, 0.06984, 0.07029, 0.07072, 0.07127, 0.07533, 0.1032",\
                 "0.0683, 0.06844, 0.06886, 0.06934, 0.06995, 0.07047, 0.07066, 0.07133, 0.07772, 0.1168",\
                 "0.06845, 0.06861, 0.06899, 0.06952, 0.07004, 0.07051, 0.07083, 0.07179, 0.08259, 0.1406",\
                 "0.06872, 0.06884, 0.06923, 0.06979, 0.07027, 0.07076, 0.07116, 0.07344, 0.09467, 0.1824",\
                 "0.06905, 0.06919, 0.06958, 0.07012, 0.07071, 0.07118, 0.07164, 0.07857, 0.1233, 0.2503",\
                 "0.0695, 0.06964, 0.07, 0.07049, 0.07108, 0.07159, 0.07362, 0.0959, 0.1871, 0.3389");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003839, 0.01381, 0.03284, 0.06249, 0.1041, 0.1588, 0.2278, 0.312, 0.4124");
          values("0.04486, 0.04493, 0.04524, 0.04562, 0.04598, 0.04623, 0.04641, 0.04652, 0.04659, 0.04664",\
                 "0.04489, 0.04496, 0.04527, 0.04565, 0.04601, 0.04628, 0.04644, 0.04655, 0.04662, 0.04667",\
                 "0.04489, 0.04497, 0.04527, 0.04565, 0.04602, 0.04628, 0.04644, 0.04655, 0.04663, 0.04668",\
                 "0.04478, 0.04488, 0.04517, 0.04556, 0.04591, 0.04618, 0.04635, 0.04646, 0.04653, 0.04658",\
                 "0.04464, 0.04472, 0.04501, 0.04542, 0.04577, 0.04603, 0.0462, 0.04631, 0.04639, 0.04643",\
                 "0.04452, 0.04459, 0.04487, 0.04529, 0.04564, 0.0459, 0.04607, 0.04618, 0.04625, 0.04631",\
                 "0.0445, 0.04455, 0.04483, 0.04524, 0.0456, 0.04585, 0.04603, 0.04615, 0.04621, 0.04627",\
                 "0.04452, 0.04459, 0.04489, 0.04529, 0.04563, 0.0459, 0.04608, 0.04619, 0.04627, 0.04632",\
                 "0.04473, 0.0448, 0.04507, 0.04544, 0.04578, 0.04605, 0.04624, 0.04637, 0.04645, 0.04651",\
                 "0.04504, 0.04512, 0.04536, 0.04575, 0.04609, 0.04635, 0.04654, 0.04666, 0.04674, 0.0468");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003839, 0.01381, 0.03284, 0.06249, 0.1041, 0.1588, 0.2278, 0.312, 0.4124");
          values("0.05959, 0.05963, 0.0599, 0.06027, 0.06071, 0.06118, 0.06166, 0.06198, 0.0639, 0.07886",\
                 "0.05949, 0.05955, 0.05981, 0.06012, 0.06061, 0.06108, 0.06157, 0.06185, 0.06418, 0.07923",\
                 "0.05938, 0.05941, 0.05964, 0.06002, 0.06052, 0.06102, 0.06145, 0.06198, 0.0643, 0.08077",\
                 "0.05926, 0.05932, 0.05957, 0.05994, 0.06043, 0.0609, 0.06121, 0.06172, 0.06414, 0.08362",\
                 "0.0592, 0.0593, 0.05951, 0.05986, 0.06032, 0.06082, 0.06118, 0.0617, 0.065, 0.08881",\
                 "0.05923, 0.05928, 0.05955, 0.05987, 0.06032, 0.06081, 0.06119, 0.06178, 0.06737, 0.1005",\
                 "0.05933, 0.05938, 0.0597, 0.06004, 0.06048, 0.06097, 0.06143, 0.06241, 0.07177, 0.1217",\
                 "0.0596, 0.0597, 0.05993, 0.06028, 0.0607, 0.06118, 0.06163, 0.0635, 0.08165, 0.1608",\
                 "0.05998, 0.06005, 0.06028, 0.06055, 0.06116, 0.06144, 0.06207, 0.06768, 0.1075, 0.229",\
                 "0.06054, 0.06059, 0.06078, 0.06108, 0.06149, 0.06207, 0.06408, 0.08388, 0.1698, 0.3216");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003839, 0.01381, 0.03284, 0.06249, 0.1041, 0.1588, 0.2278, 0.312, 0.4124");
          values("0.07776, 0.0779, 0.07825, 0.07868, 0.07902, 0.07925, 0.07939, 0.07949, 0.07956, 0.0796",\
                 "0.07767, 0.07781, 0.07817, 0.0786, 0.07893, 0.07915, 0.0793, 0.07939, 0.07944, 0.07949",\
                 "0.07753, 0.07768, 0.07804, 0.07848, 0.07883, 0.07905, 0.0792, 0.07929, 0.07935, 0.0794",\
                 "0.07744, 0.07758, 0.07794, 0.07837, 0.0787, 0.07894, 0.07908, 0.07918, 0.07924, 0.07929",\
                 "0.07737, 0.07751, 0.07788, 0.0783, 0.07864, 0.07888, 0.07903, 0.07912, 0.07918, 0.07922",\
                 "0.07743, 0.07754, 0.07791, 0.07834, 0.07869, 0.07891, 0.07906, 0.07915, 0.07921, 0.07926",\
                 "0.07757, 0.0777, 0.07805, 0.07848, 0.07882, 0.07906, 0.0792, 0.0793, 0.07935, 0.07941",\
                 "0.07781, 0.07795, 0.07831, 0.07872, 0.07907, 0.0793, 0.07945, 0.07954, 0.07961, 0.07965",\
                 "0.07815, 0.07829, 0.07865, 0.07907, 0.07943, 0.07965, 0.0798, 0.07988, 0.07996, 0.07999",\
                 "0.07864, 0.07877, 0.07914, 0.07954, 0.07988, 0.08013, 0.08027, 0.08038, 0.08043, 0.08042");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003839, 0.01381, 0.03284, 0.06249, 0.1041, 0.1588, 0.2278, 0.312, 0.4124");
          values("0.04884, 0.04896, 0.04932, 0.04985, 0.05037, 0.05086, 0.05128, 0.05183, 0.05343, 0.06503",\
                 "0.04882, 0.04898, 0.04934, 0.04991, 0.05042, 0.051, 0.0511, 0.05177, 0.05282, 0.06532",\
                 "0.04883, 0.04899, 0.04935, 0.04991, 0.05042, 0.05089, 0.05121, 0.05179, 0.05294, 0.06644",\
                 "0.04875, 0.04889, 0.04928, 0.04984, 0.05035, 0.05093, 0.05117, 0.05177, 0.05347, 0.06882",\
                 "0.04871, 0.04881, 0.04918, 0.04975, 0.05031, 0.05069, 0.05101, 0.05153, 0.05356, 0.07142",\
                 "0.04857, 0.04873, 0.0491, 0.04965, 0.05017, 0.05062, 0.05105, 0.05143, 0.05511, 0.07859",\
                 "0.04856, 0.04871, 0.04914, 0.04969, 0.05019, 0.05062, 0.05094, 0.05166, 0.05654, 0.08696",\
                 "0.04868, 0.04878, 0.0492, 0.04964, 0.05028, 0.05087, 0.05119, 0.05193, 0.05934, 0.1038",\
                 "0.0489, 0.04905, 0.04942, 0.04988, 0.05037, 0.0508, 0.05152, 0.05263, 0.06595, 0.1312",\
                 "0.04925, 0.04939, 0.04982, 0.05027, 0.0508, 0.05107, 0.05162, 0.05499, 0.08002, 0.1752");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003839, 0.01381, 0.03284, 0.06249, 0.1041, 0.1588, 0.2278, 0.312, 0.4124");
          values("0.04274, 0.0428, 0.04313, 0.04354, 0.04388, 0.04413, 0.04429, 0.0444, 0.04447, 0.04452",\
                 "0.04252, 0.04261, 0.04293, 0.04335, 0.04369, 0.04394, 0.0441, 0.0442, 0.04427, 0.04433",\
                 "0.04206, 0.04215, 0.04246, 0.04288, 0.04322, 0.04348, 0.04364, 0.04374, 0.04382, 0.04386",\
                 "0.04163, 0.04171, 0.04202, 0.0424, 0.04276, 0.04302, 0.04319, 0.0433, 0.04338, 0.04343",\
                 "0.0414, 0.04149, 0.04172, 0.04207, 0.04241, 0.04269, 0.04289, 0.04302, 0.04312, 0.04318",\
                 "0.04143, 0.04148, 0.04162, 0.04192, 0.04225, 0.04254, 0.04276, 0.04291, 0.04302, 0.0431",\
                 "0.04169, 0.04168, 0.04177, 0.04199, 0.04228, 0.04256, 0.04279, 0.04296, 0.04307, 0.04316",\
                 "0.04208, 0.04205, 0.04209, 0.04226, 0.04246, 0.04273, 0.04295, 0.04312, 0.04325, 0.04336",\
                 "0.0427, 0.04261, 0.04253, 0.04262, 0.04282, 0.04305, 0.04329, 0.04345, 0.04359, 0.04369",\
                 "0.04346, 0.04334, 0.04316, 0.04318, 0.04333, 0.04354, 0.04374, 0.04392, 0.04405, 0.04416");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003839, 0.01381, 0.03284, 0.06249, 0.1041, 0.1588, 0.2278, 0.312, 0.4124");
          values("0.02318, 0.02334, 0.02378, 0.0244, 0.02488, 0.02532, 0.0256, 0.02615, 0.02664, 0.03427",\
                 "0.02325, 0.02341, 0.02388, 0.02446, 0.02494, 0.02537, 0.02578, 0.02622, 0.02686, 0.03413",\
                 "0.02316, 0.02332, 0.02378, 0.02433, 0.02483, 0.02526, 0.0256, 0.02583, 0.0267, 0.03559",\
                 "0.0229, 0.023, 0.02339, 0.02386, 0.02443, 0.02488, 0.02536, 0.02583, 0.02693, 0.03735",\
                 "0.02266, 0.02278, 0.02306, 0.02349, 0.02402, 0.02447, 0.02488, 0.02519, 0.02726, 0.03998",\
                 "0.02256, 0.02259, 0.02283, 0.02329, 0.02371, 0.02418, 0.02453, 0.02532, 0.02754, 0.04351",\
                 "0.02261, 0.02265, 0.02277, 0.0231, 0.0236, 0.02418, 0.0245, 0.02498, 0.02803, 0.0502",\
                 "0.02285, 0.02289, 0.02298, 0.02316, 0.02342, 0.02416, 0.02479, 0.0252, 0.03012, 0.06097",\
                 "0.02324, 0.02326, 0.0233, 0.0235, 0.02387, 0.02407, 0.02481, 0.02607, 0.03415, 0.0819",\
                 "0.02382, 0.02382, 0.02386, 0.024, 0.02429, 0.02436, 0.02476, 0.02706, 0.04388, 0.1185");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003839, 0.01381, 0.03284, 0.06249, 0.1041, 0.1588, 0.2278, 0.312, 0.4124");
          values("0.0478, 0.04795, 0.04833, 0.04875, 0.04909, 0.04931, 0.04945, 0.04955, 0.04961, 0.04966",\
                 "0.0478, 0.04795, 0.04832, 0.04875, 0.04908, 0.04931, 0.04945, 0.04955, 0.0496, 0.04965",\
                 "0.04754, 0.04767, 0.04805, 0.04846, 0.04881, 0.04903, 0.04918, 0.04928, 0.04934, 0.04938",\
                 "0.0468, 0.04693, 0.0473, 0.04772, 0.04807, 0.0483, 0.04845, 0.04854, 0.04859, 0.04864",\
                 "0.04624, 0.04639, 0.04676, 0.04718, 0.04755, 0.04777, 0.04792, 0.04801, 0.04807, 0.04811",\
                 "0.04593, 0.04607, 0.04645, 0.04687, 0.0472, 0.04743, 0.04757, 0.04768, 0.04774, 0.04777",\
                 "0.04581, 0.04593, 0.04627, 0.0467, 0.04706, 0.04729, 0.04745, 0.04753, 0.0476, 0.04765",\
                 "0.04584, 0.04597, 0.04633, 0.04674, 0.04709, 0.04732, 0.04748, 0.04758, 0.04765, 0.04769",\
                 "0.04608, 0.04619, 0.04654, 0.04695, 0.04729, 0.04754, 0.04769, 0.0478, 0.04786, 0.04792",\
                 "0.04646, 0.04657, 0.04691, 0.04734, 0.04769, 0.04793, 0.04808, 0.04819, 0.04826, 0.04831");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003839, 0.01381, 0.03284, 0.06249, 0.1041, 0.1588, 0.2278, 0.312, 0.4124");
          values("0.0533, 0.0534, 0.05374, 0.05426, 0.05483, 0.05517, 0.05562, 0.05621, 0.05729, 0.06722",\
                 "0.0532, 0.05334, 0.05367, 0.05415, 0.05472, 0.05512, 0.05554, 0.05579, 0.05732, 0.06735",\
                 "0.05317, 0.05331, 0.05367, 0.05414, 0.05465, 0.05508, 0.05542, 0.05608, 0.05714, 0.06847",\
                 "0.05304, 0.05317, 0.05354, 0.05404, 0.0546, 0.05494, 0.05542, 0.05604, 0.05711, 0.07025",\
                 "0.0529, 0.05302, 0.0534, 0.05383, 0.05438, 0.05483, 0.05524, 0.05561, 0.05773, 0.07453",\
                 "0.05284, 0.05295, 0.05334, 0.05378, 0.05429, 0.05474, 0.05504, 0.05584, 0.05874, 0.08211",\
                 "0.05288, 0.05301, 0.05327, 0.05386, 0.05433, 0.05478, 0.05517, 0.0557, 0.0612, 0.09482",\
                 "0.05307, 0.05318, 0.05351, 0.05402, 0.05451, 0.0549, 0.0553, 0.05641, 0.06603, 0.1197",\
                 "0.05348, 0.05357, 0.05389, 0.05426, 0.05479, 0.05546, 0.05593, 0.05783, 0.07923, 0.1654",\
                 "0.05399, 0.05412, 0.05441, 0.05479, 0.05517, 0.05562, 0.05661, 0.0643, 0.1115, 0.242");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003839, 0.01381, 0.03284, 0.06249, 0.1041, 0.1588, 0.2278, 0.312, 0.4124");
          values("0.04781, 0.04795, 0.04833, 0.04874, 0.04909, 0.04931, 0.04946, 0.04955, 0.04962, 0.04966",\
                 "0.0478, 0.04794, 0.04833, 0.04875, 0.04909, 0.04932, 0.04945, 0.04954, 0.0496, 0.04965",\
                 "0.04754, 0.04767, 0.04805, 0.04846, 0.04881, 0.04903, 0.04918, 0.04928, 0.04934, 0.04938",\
                 "0.0468, 0.04694, 0.04729, 0.04773, 0.04806, 0.0483, 0.04845, 0.04854, 0.04859, 0.04864",\
                 "0.04625, 0.04637, 0.04675, 0.04719, 0.04754, 0.04777, 0.04792, 0.04801, 0.04808, 0.04812",\
                 "0.04594, 0.04606, 0.04645, 0.04687, 0.04721, 0.04743, 0.04758, 0.04768, 0.04773, 0.04778",\
                 "0.04579, 0.04594, 0.04627, 0.0467, 0.04706, 0.04729, 0.04745, 0.04753, 0.0476, 0.04765",\
                 "0.04584, 0.04597, 0.04633, 0.04674, 0.04709, 0.04732, 0.04748, 0.04758, 0.04765, 0.04768",\
                 "0.04609, 0.04619, 0.04655, 0.04695, 0.04729, 0.04754, 0.04768, 0.04779, 0.04786, 0.04792",\
                 "0.04647, 0.04657, 0.04691, 0.04734, 0.04769, 0.04793, 0.04808, 0.0482, 0.04826, 0.04831");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003839, 0.01381, 0.03284, 0.06249, 0.1041, 0.1588, 0.2278, 0.312, 0.4124");
          values("0.05327, 0.0534, 0.05375, 0.05423, 0.05481, 0.05519, 0.05563, 0.05587, 0.05751, 0.06759",\
                 "0.0532, 0.05334, 0.05367, 0.05415, 0.05472, 0.05512, 0.05554, 0.05579, 0.05732, 0.06735",\
                 "0.05315, 0.05328, 0.05366, 0.05414, 0.05463, 0.05508, 0.05547, 0.05608, 0.05713, 0.06845",\
                 "0.05305, 0.05319, 0.05354, 0.05402, 0.05452, 0.05501, 0.05542, 0.05577, 0.0576, 0.07037",\
                 "0.05289, 0.05303, 0.05337, 0.05388, 0.05434, 0.05498, 0.05526, 0.05586, 0.05764, 0.07428",\
                 "0.05283, 0.05295, 0.05329, 0.05379, 0.05427, 0.05476, 0.05508, 0.05584, 0.05872, 0.08211",\
                 "0.05289, 0.05302, 0.05327, 0.05388, 0.0544, 0.05476, 0.05538, 0.05559, 0.06108, 0.09547",\
                 "0.05309, 0.05321, 0.05354, 0.05398, 0.05452, 0.0549, 0.05539, 0.05643, 0.06603, 0.1197",\
                 "0.05346, 0.05356, 0.05388, 0.0543, 0.05479, 0.05546, 0.05593, 0.05831, 0.07911, 0.1655",\
                 "0.05401, 0.05413, 0.05439, 0.05489, 0.0553, 0.05562, 0.05676, 0.06395, 0.1115, 0.242");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003839, 0.01381, 0.03284, 0.06249, 0.1041, 0.1588, 0.2278, 0.312, 0.4124");
          values("0.04273, 0.04284, 0.04314, 0.04356, 0.04389, 0.04414, 0.0443, 0.04441, 0.04448, 0.04453",\
                 "0.04252, 0.04261, 0.04293, 0.04335, 0.04369, 0.04394, 0.0441, 0.04421, 0.04427, 0.04433",\
                 "0.04206, 0.04213, 0.04247, 0.04288, 0.04322, 0.04348, 0.04364, 0.04375, 0.04381, 0.04386",\
                 "0.04163, 0.04172, 0.04202, 0.04241, 0.04276, 0.04302, 0.04319, 0.0433, 0.04338, 0.04343",\
                 "0.04141, 0.04147, 0.04172, 0.04208, 0.04242, 0.0427, 0.0429, 0.04303, 0.04312, 0.04318",\
                 "0.04143, 0.04149, 0.04162, 0.04193, 0.04227, 0.04255, 0.04276, 0.04291, 0.04303, 0.0431",\
                 "0.04169, 0.04168, 0.04176, 0.042, 0.0423, 0.04257, 0.04279, 0.04296, 0.04308, 0.04316",\
                 "0.04211, 0.04205, 0.04209, 0.04221, 0.04247, 0.04272, 0.04296, 0.04312, 0.04326, 0.04335",\
                 "0.04271, 0.04261, 0.04253, 0.04263, 0.04282, 0.04304, 0.04328, 0.04345, 0.04358, 0.04369",\
                 "0.04347, 0.04331, 0.04321, 0.04318, 0.04333, 0.04352, 0.04374, 0.0439, 0.04405, 0.04416");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003839, 0.01381, 0.03284, 0.06249, 0.1041, 0.1588, 0.2278, 0.312, 0.4124");
          values("0.02317, 0.02333, 0.02378, 0.0244, 0.02488, 0.02528, 0.02585, 0.02617, 0.027, 0.03405",\
                 "0.02325, 0.0234, 0.02388, 0.02446, 0.02494, 0.02535, 0.02558, 0.02615, 0.02679, 0.03592",\
                 "0.02317, 0.02332, 0.02375, 0.02434, 0.02485, 0.0253, 0.0259, 0.02577, 0.02739, 0.03543",\
                 "0.02289, 0.02302, 0.02336, 0.02387, 0.02438, 0.02499, 0.02533, 0.02541, 0.02722, 0.03627",\
                 "0.02265, 0.02276, 0.02306, 0.02346, 0.02404, 0.02445, 0.02486, 0.02539, 0.02683, 0.03834",\
                 "0.02255, 0.02261, 0.02273, 0.02321, 0.02362, 0.02407, 0.02445, 0.02501, 0.02709, 0.04344",\
                 "0.0226, 0.02266, 0.02283, 0.02309, 0.02359, 0.02418, 0.02445, 0.02485, 0.02803, 0.05004",\
                 "0.02285, 0.02283, 0.02296, 0.02317, 0.02352, 0.02406, 0.02477, 0.02522, 0.03025, 0.06097",\
                 "0.02326, 0.02324, 0.02338, 0.02348, 0.02379, 0.02382, 0.02472, 0.02612, 0.03406, 0.08199",\
                 "0.02385, 0.02381, 0.02386, 0.02399, 0.02427, 0.02443, 0.02485, 0.02686, 0.04397, 0.1183");
        }
      }

      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.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003839, 0.01381, 0.03284, 0.06249, 0.1041, 0.1588, 0.2278, 0.312, 0.4124");
          values("4.023, 4.068, 4.192, 4.371, 4.606, 4.908, 5.293, 5.773, 6.357, 7.053",\
                 "4.055, 4.101, 4.225, 4.404, 4.638, 4.94, 5.325, 5.805, 6.39, 7.086",\
                 "4.154, 4.2, 4.323, 4.503, 4.737, 5.039, 5.424, 5.904, 6.489, 7.185",\
                 "4.293, 4.338, 4.462, 4.642, 4.876, 5.178, 5.563, 6.043, 6.628, 7.324",\
                 "4.413, 4.459, 4.583, 4.762, 4.996, 5.298, 5.683, 6.163, 6.748, 7.444",\
                 "4.502, 4.548, 4.672, 4.851, 5.085, 5.387, 5.772, 6.253, 6.837, 7.534",\
                 "4.554, 4.599, 4.723, 4.902, 5.137, 5.439, 5.824, 6.304, 6.888, 7.584",\
                 "4.556, 4.601, 4.725, 4.905, 5.14, 5.441, 5.826, 6.306, 6.891, 7.587",\
                 "4.509, 4.554, 4.677, 4.856, 5.092, 5.393, 5.779, 6.258, 6.843, 7.539",\
                 "4.405, 4.451, 4.575, 4.754, 4.988, 5.291, 5.676, 6.156, 6.74, 7.437");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003839, 0.01381, 0.03284, 0.06249, 0.1041, 0.1588, 0.2278, 0.312, 0.4124");
          values("3.793, 3.856, 4.049, 4.38, 4.882, 5.579, 6.496, 7.648, 9.052, 10.73",\
                 "3.813, 3.876, 4.069, 4.401, 4.902, 5.6, 6.516, 7.668, 9.072, 10.75",\
                 "3.904, 3.967, 4.16, 4.492, 4.992, 5.69, 6.607, 7.758, 9.165, 10.84",\
                 "4.081, 4.144, 4.337, 4.669, 5.169, 5.868, 6.784, 7.936, 9.34, 11.02",\
                 "4.35, 4.413, 4.605, 4.937, 5.439, 6.137, 7.052, 8.205, 9.61, 11.29",\
                 "4.72, 4.782, 4.975, 5.307, 5.808, 6.506, 7.422, 8.574, 9.981, 11.66",\
                 "5.173, 5.237, 5.429, 5.761, 6.262, 6.96, 7.876, 9.029, 10.44, 12.11",\
                 "5.689, 5.753, 5.945, 6.277, 6.778, 7.476, 8.392, 9.543, 10.95, 12.62",\
                 "6.271, 6.335, 6.527, 6.86, 7.361, 8.057, 8.974, 10.13, 11.53, 13.21",\
                 "6.927, 6.99, 7.184, 7.516, 8.017, 8.715, 9.63, 10.78, 12.19, 13.86");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003839, 0.01381, 0.03284, 0.06249, 0.1041, 0.1588, 0.2278, 0.312, 0.4124");
          values("0.2442, 0.2822, 0.3984, 0.6, 0.9148, 1.375, 2.006, 2.816, 3.808, 5.001",\
                 "0.2454, 0.2818, 0.3984, 0.6004, 0.9158, 1.377, 2.004, 2.814, 3.805, 4.999",\
                 "0.2442, 0.2816, 0.3974, 0.6002, 0.9146, 1.376, 2.007, 2.816, 3.812, 5.001",\
                 "0.244, 0.2814, 0.3976, 0.6002, 0.9164, 1.377, 2.004, 2.814, 3.806, 4.998",\
                 "0.2448, 0.2816, 0.3986, 0.6004, 0.9164, 1.377, 2.007, 2.816, 3.809, 5.002",\
                 "0.2442, 0.2814, 0.3976, 0.6008, 0.9156, 1.377, 2.004, 2.814, 3.805, 4.999",\
                 "0.2442, 0.282, 0.3976, 0.6004, 0.9154, 1.376, 2.006, 2.816, 3.809, 5.001",\
                 "0.244, 0.2816, 0.3974, 0.6012, 0.916, 1.376, 2.006, 2.816, 3.805, 5.002",\
                 "0.244, 0.2824, 0.398, 0.6, 0.918, 1.376, 2.006, 2.816, 3.806, 4.99",\
                 "0.244, 0.282, 0.398, 0.6, 0.916, 1.378, 2.004, 2.812, 3.81, 4.988");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003839, 0.01381, 0.03284, 0.06249, 0.1041, 0.1588, 0.2278, 0.312, 0.4124");
          values("0.3034, 0.3766, 0.6352, 1.153, 1.991, 3.183, 4.746, 6.727, 9.144, 12.01",\
                 "0.3034, 0.3768, 0.636, 1.154, 1.991, 3.183, 4.751, 6.728, 9.144, 12.01",\
                 "0.3032, 0.377, 0.6352, 1.153, 1.993, 3.182, 4.749, 6.73, 9.127, 12.02",\
                 "0.3032, 0.3772, 0.6356, 1.154, 1.991, 3.183, 4.751, 6.727, 9.143, 11.99",\
                 "0.3032, 0.3764, 0.6352, 1.153, 1.99, 3.183, 4.752, 6.729, 9.143, 12.02",\
                 "0.3032, 0.3764, 0.6352, 1.155, 1.993, 3.18, 4.754, 6.73, 9.127, 12.02",\
                 "0.303, 0.3764, 0.6358, 1.153, 1.992, 3.183, 4.749, 6.724, 9.134, 12.02",\
                 "0.3032, 0.3762, 0.6342, 1.153, 1.994, 3.182, 4.752, 6.728, 9.138, 12.02",\
                 "0.302, 0.376, 0.634, 1.154, 1.992, 3.18, 4.744, 6.718, 9.128, 12.01",\
                 "0.304, 0.376, 0.634, 1.156, 1.992, 3.178, 4.738, 6.714, 9.126, 12");
        }
      }

      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.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003839, 0.01381, 0.03284, 0.06249, 0.1041, 0.1588, 0.2278, 0.312, 0.4124");
          values("2.145, 2.208, 2.377, 2.61, 2.894, 3.234, 3.643, 4.135, 4.724, 5.422",\
                 "2.169, 2.232, 2.4, 2.633, 2.918, 3.258, 3.667, 4.16, 4.749, 5.446",\
                 "2.254, 2.317, 2.486, 2.719, 3.003, 3.343, 3.752, 4.245, 4.834, 5.531",\
                 "2.414, 2.477, 2.645, 2.879, 3.163, 3.504, 3.912, 4.405, 4.994, 5.691",\
                 "2.635, 2.699, 2.867, 3.1, 3.385, 3.725, 4.134, 4.626, 5.215, 5.912",\
                 "2.849, 2.913, 3.081, 3.314, 3.599, 3.939, 4.348, 4.841, 5.43, 6.127",\
                 "3.03, 3.094, 3.262, 3.496, 3.78, 4.121, 4.531, 5.023, 5.612, 6.31",\
                 "3.173, 3.236, 3.405, 3.638, 3.923, 4.264, 4.673, 5.166, 5.755, 6.452",\
                 "3.269, 3.332, 3.501, 3.735, 4.02, 4.361, 4.77, 5.263, 5.852, 6.549",\
                 "3.317, 3.381, 3.551, 3.785, 4.07, 4.411, 4.82, 5.313, 5.902, 6.599");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003839, 0.01381, 0.03284, 0.06249, 0.1041, 0.1588, 0.2278, 0.312, 0.4124");
          values("2.885, 2.952, 3.15, 3.486, 3.989, 4.688, 5.606, 6.759, 8.165, 9.841",\
                 "2.916, 2.983, 3.181, 3.517, 4.02, 4.72, 5.637, 6.79, 8.197, 9.873",\
                 "3.013, 3.08, 3.279, 3.614, 4.117, 4.817, 5.734, 6.887, 8.294, 9.968",\
                 "3.211, 3.278, 3.477, 3.812, 4.315, 5.015, 5.933, 7.086, 8.492, 10.17",\
                 "3.539, 3.605, 3.804, 4.14, 4.643, 5.342, 6.259, 7.413, 8.819, 10.49",\
                 "4.012, 4.079, 4.278, 4.613, 5.117, 5.816, 6.734, 7.887, 9.294, 10.97",\
                 "4.632, 4.699, 4.897, 5.233, 5.736, 6.435, 7.353, 8.506, 9.913, 11.59",\
                 "5.349, 5.417, 5.616, 5.952, 6.455, 7.155, 8.072, 9.224, 10.63, 12.31",\
                 "6.119, 6.187, 6.388, 6.724, 7.227, 7.927, 8.844, 9.997, 11.4, 13.08",\
                 "6.938, 7.007, 7.209, 7.545, 8.049, 8.749, 9.666, 10.82, 12.22, 13.9");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003839, 0.01381, 0.03284, 0.06249, 0.1041, 0.1588, 0.2278, 0.312, 0.4124");
          values("0.363, 0.4124, 0.5522, 0.777, 1.096, 1.532, 2.124, 2.894, 3.861, 5.032",\
                 "0.3632, 0.4126, 0.5526, 0.776, 1.094, 1.532, 2.124, 2.893, 3.863, 5.029",\
                 "0.3632, 0.4124, 0.5522, 0.777, 1.096, 1.531, 2.124, 2.894, 3.863, 5.028",\
                 "0.363, 0.4126, 0.5524, 0.777, 1.093, 1.533, 2.122, 2.895, 3.858, 5.028",\
                 "0.364, 0.4126, 0.5524, 0.777, 1.094, 1.53, 2.123, 2.895, 3.861, 5.033",\
                 "0.3634, 0.4122, 0.5532, 0.7764, 1.095, 1.534, 2.123, 2.895, 3.862, 5.033",\
                 "0.3652, 0.4124, 0.554, 0.7774, 1.097, 1.532, 2.123, 2.893, 3.862, 5.032",\
                 "0.3656, 0.4146, 0.5546, 0.7774, 1.097, 1.532, 2.122, 2.892, 3.859, 5.034",\
                 "0.3674, 0.4156, 0.5558, 0.7788, 1.096, 1.535, 2.122, 2.892, 3.86, 5.03",\
                 "0.368, 0.418, 0.556, 0.782, 1.098, 1.534, 2.126, 2.894, 3.856, 5.028");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003839, 0.01381, 0.03284, 0.06249, 0.1041, 0.1588, 0.2278, 0.312, 0.4124");
          values("0.333, 0.4048, 0.6566, 1.169, 2.002, 3.187, 4.751, 6.725, 9.133, 12",\
                 "0.333, 0.405, 0.6578, 1.169, 2.002, 3.189, 4.746, 6.725, 9.133, 12",\
                 "0.3332, 0.404, 0.6572, 1.169, 2.001, 3.185, 4.748, 6.723, 9.124, 12",\
                 "0.3332, 0.405, 0.6572, 1.169, 2.003, 3.185, 4.747, 6.724, 9.125, 12",\
                 "0.3332, 0.405, 0.6572, 1.169, 2.001, 3.189, 4.752, 6.724, 9.121, 11.99",\
                 "0.3332, 0.404, 0.6576, 1.169, 2.003, 3.186, 4.747, 6.718, 9.131, 12",\
                 "0.3338, 0.4054, 0.6576, 1.168, 2.002, 3.187, 4.746, 6.725, 9.124, 12",\
                 "0.3376, 0.4084, 0.6598, 1.169, 2.003, 3.19, 4.752, 6.718, 9.134, 12",\
                 "0.342, 0.414, 0.662, 1.17, 2, 3.184, 4.752, 6.722, 9.128, 12.01",\
                 "0.348, 0.42, 0.666, 1.174, 2.004, 3.186, 4.746, 6.722, 9.13, 12");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003839, 0.01381, 0.03284, 0.06249, 0.1041, 0.1588, 0.2278, 0.312, 0.4124");
          values("4.023, 4.068, 4.192, 4.371, 4.606, 4.908, 5.293, 5.773, 6.357, 7.053",\
                 "4.055, 4.101, 4.225, 4.404, 4.638, 4.94, 5.325, 5.805, 6.39, 7.086",\
                 "4.154, 4.2, 4.323, 4.503, 4.737, 5.039, 5.424, 5.904, 6.489, 7.185",\
                 "4.293, 4.338, 4.462, 4.642, 4.876, 5.178, 5.563, 6.043, 6.628, 7.324",\
                 "4.413, 4.459, 4.583, 4.762, 4.996, 5.298, 5.683, 6.163, 6.748, 7.444",\
                 "4.502, 4.548, 4.672, 4.851, 5.085, 5.387, 5.772, 6.253, 6.837, 7.534",\
                 "4.554, 4.599, 4.723, 4.902, 5.137, 5.439, 5.824, 6.304, 6.888, 7.584",\
                 "4.556, 4.601, 4.725, 4.905, 5.14, 5.441, 5.826, 6.306, 6.891, 7.587",\
                 "4.509, 4.554, 4.677, 4.856, 5.092, 5.393, 5.779, 6.258, 6.843, 7.539",\
                 "4.405, 4.451, 4.575, 4.754, 4.988, 5.291, 5.676, 6.156, 6.74, 7.437");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003839, 0.01381, 0.03284, 0.06249, 0.1041, 0.1588, 0.2278, 0.312, 0.4124");
          values("2.885, 2.952, 3.15, 3.486, 3.989, 4.688, 5.606, 6.759, 8.165, 9.841",\
                 "2.916, 2.983, 3.181, 3.517, 4.02, 4.72, 5.637, 6.79, 8.197, 9.873",\
                 "3.013, 3.08, 3.279, 3.614, 4.117, 4.817, 5.734, 6.887, 8.294, 9.968",\
                 "3.211, 3.278, 3.477, 3.812, 4.315, 5.015, 5.933, 7.086, 8.492, 10.17",\
                 "3.539, 3.605, 3.804, 4.14, 4.643, 5.342, 6.259, 7.413, 8.819, 10.49",\
                 "4.012, 4.079, 4.278, 4.613, 5.117, 5.816, 6.734, 7.887, 9.294, 10.97",\
                 "4.632, 4.699, 4.897, 5.233, 5.736, 6.435, 7.353, 8.506, 9.913, 11.59",\
                 "5.349, 5.417, 5.616, 5.952, 6.455, 7.155, 8.072, 9.224, 10.63, 12.31",\
                 "6.119, 6.187, 6.388, 6.724, 7.227, 7.927, 8.844, 9.997, 11.4, 13.08",\
                 "6.938, 7.007, 7.209, 7.545, 8.049, 8.749, 9.666, 10.82, 12.22, 13.9");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003839, 0.01381, 0.03284, 0.06249, 0.1041, 0.1588, 0.2278, 0.312, 0.4124");
          values("0.363, 0.4124, 0.5522, 0.777, 1.096, 1.532, 2.124, 2.894, 3.861, 5.032",\
                 "0.3632, 0.4126, 0.5526, 0.776, 1.094, 1.532, 2.124, 2.893, 3.863, 5.029",\
                 "0.3632, 0.4124, 0.5522, 0.777, 1.096, 1.531, 2.124, 2.894, 3.863, 5.028",\
                 "0.363, 0.4126, 0.5524, 0.777, 1.093, 1.533, 2.122, 2.895, 3.858, 5.028",\
                 "0.364, 0.4126, 0.5524, 0.777, 1.094, 1.53, 2.123, 2.895, 3.861, 5.033",\
                 "0.3634, 0.4122, 0.5532, 0.7764, 1.095, 1.534, 2.123, 2.895, 3.862, 5.033",\
                 "0.3652, 0.4124, 0.554, 0.7774, 1.097, 1.532, 2.123, 2.893, 3.862, 5.032",\
                 "0.3656, 0.4146, 0.5546, 0.7774, 1.097, 1.532, 2.122, 2.892, 3.859, 5.034",\
                 "0.3674, 0.4156, 0.5558, 0.7788, 1.096, 1.535, 2.122, 2.892, 3.86, 5.03",\
                 "0.368, 0.418, 0.556, 0.782, 1.098, 1.534, 2.126, 2.894, 3.856, 5.028");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003839, 0.01381, 0.03284, 0.06249, 0.1041, 0.1588, 0.2278, 0.312, 0.4124");
          values("0.3034, 0.3766, 0.6352, 1.153, 1.991, 3.183, 4.746, 6.727, 9.144, 12.01",\
                 "0.3034, 0.3768, 0.636, 1.154, 1.991, 3.183, 4.751, 6.728, 9.144, 12.01",\
                 "0.3032, 0.377, 0.6352, 1.153, 1.993, 3.182, 4.749, 6.73, 9.127, 12.02",\
                 "0.3032, 0.3772, 0.6356, 1.154, 1.991, 3.183, 4.751, 6.727, 9.143, 11.99",\
                 "0.3032, 0.3764, 0.6352, 1.153, 1.99, 3.183, 4.752, 6.729, 9.143, 12.02",\
                 "0.3032, 0.3764, 0.6352, 1.155, 1.993, 3.18, 4.754, 6.73, 9.127, 12.02",\
                 "0.303, 0.3764, 0.6358, 1.153, 1.992, 3.183, 4.749, 6.724, 9.134, 12.02",\
                 "0.3032, 0.3762, 0.6342, 1.153, 1.994, 3.182, 4.752, 6.728, 9.138, 12.02",\
                 "0.302, 0.376, 0.634, 1.154, 1.992, 3.18, 4.744, 6.718, 9.128, 12.01",\
                 "0.304, 0.376, 0.634, 1.156, 1.992, 3.178, 4.738, 6.714, 9.126, 12");
        }
      }

      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.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003839, 0.01381, 0.03284, 0.06249, 0.1041, 0.1588, 0.2278, 0.312, 0.4124");
          values("3.696, 3.759, 3.927, 4.16, 4.444, 4.784, 5.193, 5.685, 6.275, 6.972",\
                 "3.716, 3.779, 3.947, 4.18, 4.465, 4.805, 5.214, 5.706, 6.295, 6.992",\
                 "3.807, 3.87, 4.038, 4.271, 4.555, 4.895, 5.304, 5.797, 6.386, 7.083",\
                 "3.984, 4.047, 4.215, 4.449, 4.733, 5.073, 5.482, 5.974, 6.563, 7.26",\
                 "4.252, 4.316, 4.484, 4.717, 5.001, 5.341, 5.75, 6.242, 6.832, 7.529",\
                 "4.622, 4.686, 4.854, 5.086, 5.371, 5.711, 6.12, 6.612, 7.201, 7.898",\
                 "5.075, 5.139, 5.307, 5.54, 5.824, 6.165, 6.574, 7.066, 7.654, 8.352",\
                 "5.59, 5.653, 5.821, 6.054, 6.338, 6.679, 7.088, 7.58, 8.169, 8.866",\
                 "6.171, 6.234, 6.402, 6.635, 6.919, 7.26, 7.669, 8.161, 8.75, 9.447",\
                 "6.825, 6.888, 7.055, 7.289, 7.573, 7.914, 8.322, 8.815, 9.404, 10.1");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003839, 0.01381, 0.03284, 0.06249, 0.1041, 0.1588, 0.2278, 0.312, 0.4124");
          values("3.437, 3.504, 3.703, 4.038, 4.541, 5.241, 6.158, 7.312, 8.717, 10.39",\
                 "3.47, 3.537, 3.735, 4.071, 4.574, 5.274, 6.191, 7.344, 8.751, 10.43",\
                 "3.568, 3.635, 3.834, 4.169, 4.673, 5.373, 6.289, 7.443, 8.85, 10.53",\
                 "3.707, 3.774, 3.973, 4.308, 4.812, 5.511, 6.428, 7.582, 8.989, 10.66",\
                 "3.827, 3.894, 4.093, 4.428, 4.932, 5.632, 6.548, 7.702, 9.109, 10.78",\
                 "3.916, 3.983, 4.182, 4.517, 5.021, 5.72, 6.637, 7.79, 9.197, 10.87",\
                 "3.965, 4.032, 4.23, 4.566, 5.069, 5.769, 6.686, 7.839, 9.246, 10.92",\
                 "3.967, 4.034, 4.232, 4.568, 5.071, 5.77, 6.687, 7.84, 9.246, 10.92",\
                 "3.919, 3.985, 4.184, 4.52, 5.023, 5.723, 6.64, 7.793, 9.199, 10.88",\
                 "3.816, 3.883, 4.081, 4.417, 4.92, 5.62, 6.537, 7.69, 9.097, 10.77");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003839, 0.01381, 0.03284, 0.06249, 0.1041, 0.1588, 0.2278, 0.312, 0.4124");
          values("0.3622, 0.4114, 0.5512, 0.7764, 1.094, 1.53, 2.123, 2.894, 3.863, 5.034",\
                 "0.3622, 0.411, 0.5518, 0.7758, 1.094, 1.531, 2.122, 2.891, 3.858, 5.035",\
                 "0.3622, 0.4108, 0.5506, 0.7762, 1.093, 1.529, 2.123, 2.89, 3.857, 5.032",\
                 "0.3626, 0.4116, 0.5518, 0.7748, 1.094, 1.532, 2.123, 2.89, 3.856, 5.036",\
                 "0.3628, 0.4112, 0.5504, 0.7762, 1.093, 1.53, 2.122, 2.894, 3.863, 5.036",\
                 "0.3626, 0.4112, 0.5518, 0.775, 1.093, 1.532, 2.123, 2.891, 3.863, 5.037",\
                 "0.3626, 0.4118, 0.5516, 0.775, 1.093, 1.53, 2.123, 2.895, 3.861, 5.037",\
                 "0.3624, 0.411, 0.5512, 0.7758, 1.094, 1.532, 2.122, 2.89, 3.856, 5.034",\
                 "0.364, 0.41, 0.552, 0.776, 1.092, 1.532, 2.12, 2.894, 3.86, 5.036",\
                 "0.362, 0.412, 0.552, 0.776, 1.094, 1.53, 2.122, 2.89, 3.856, 5.026");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003839, 0.01381, 0.03284, 0.06249, 0.1041, 0.1588, 0.2278, 0.312, 0.4124");
          values("0.3344, 0.405, 0.6574, 1.168, 2.003, 3.186, 4.747, 6.724, 9.135, 12.01",\
                 "0.3344, 0.4056, 0.6586, 1.168, 2.003, 3.186, 4.751, 6.721, 9.126, 11.99",\
                 "0.3346, 0.4046, 0.6572, 1.168, 2.002, 3.188, 4.752, 6.719, 9.13, 12",\
                 "0.3342, 0.4048, 0.6558, 1.168, 2.002, 3.187, 4.751, 6.72, 9.127, 12.01",\
                 "0.3346, 0.4054, 0.6586, 1.168, 2.002, 3.188, 4.752, 6.717, 9.131, 12",\
                 "0.334, 0.4058, 0.6576, 1.167, 2.003, 3.189, 4.747, 6.725, 9.126, 12.01",\
                 "0.334, 0.4056, 0.6582, 1.169, 2.003, 3.189, 4.747, 6.726, 9.131, 11.99",\
                 "0.333, 0.405, 0.6572, 1.169, 2, 3.186, 4.753, 6.724, 9.134, 12.01",\
                 "0.3334, 0.4054, 0.658, 1.167, 2.002, 3.188, 4.744, 6.712, 9.132, 12",\
                 "0.334, 0.406, 0.658, 1.168, 2, 3.186, 4.748, 6.712, 9.116, 11.99");
        }
      }

      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.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003839, 0.01381, 0.03284, 0.06249, 0.1041, 0.1588, 0.2278, 0.312, 0.4124");
          values("3.476, 3.522, 3.645, 3.825, 4.059, 4.361, 4.746, 5.226, 5.811, 6.507",\
                 "3.508, 3.553, 3.677, 3.856, 4.09, 4.392, 4.777, 5.257, 5.842, 6.539",\
                 "3.604, 3.65, 3.773, 3.953, 4.187, 4.489, 4.874, 5.354, 5.939, 6.635",\
                 "3.803, 3.849, 3.972, 4.152, 4.386, 4.688, 5.073, 5.553, 6.138, 6.834",\
                 "4.13, 4.176, 4.299, 4.479, 4.713, 5.015, 5.4, 5.88, 6.464, 7.161",\
                 "4.604, 4.649, 4.773, 4.952, 5.186, 5.488, 5.873, 6.354, 6.938, 7.635",\
                 "5.217, 5.262, 5.386, 5.566, 5.8, 6.102, 6.487, 6.967, 7.552, 8.248",\
                 "5.921, 5.966, 6.09, 6.269, 6.503, 6.806, 7.191, 7.671, 8.256, 8.952",\
                 "6.673, 6.718, 6.842, 7.022, 7.256, 7.558, 7.943, 8.423, 9.007, 9.703",\
                 "7.47, 7.516, 7.64, 7.819, 8.053, 8.355, 8.74, 9.22, 9.804, 10.5");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003839, 0.01381, 0.03284, 0.06249, 0.1041, 0.1588, 0.2278, 0.312, 0.4124");
          values("2.261, 2.324, 2.516, 2.848, 3.349, 4.048, 4.963, 6.115, 7.524, 9.196",\
                 "2.284, 2.348, 2.54, 2.872, 3.374, 4.072, 4.987, 6.139, 7.548, 9.219",\
                 "2.37, 2.433, 2.625, 2.957, 3.459, 4.157, 5.072, 6.226, 7.633, 9.313",\
                 "2.531, 2.594, 2.787, 3.118, 3.62, 4.318, 5.233, 6.389, 7.795, 9.471",\
                 "2.757, 2.82, 3.013, 3.344, 3.846, 4.544, 5.459, 6.611, 8.021, 9.693",\
                 "2.979, 3.043, 3.235, 3.568, 4.069, 4.766, 5.683, 6.834, 8.241, 9.922",\
                 "3.171, 3.234, 3.427, 3.759, 4.26, 4.957, 5.874, 7.025, 8.43, 10.11",\
                 "3.322, 3.386, 3.579, 3.91, 4.411, 5.11, 6.025, 7.177, 8.583, 10.26",\
                 "3.43, 3.493, 3.686, 4.018, 4.519, 5.216, 6.132, 7.283, 8.689, 10.36",\
                 "3.489, 3.553, 3.746, 4.078, 4.578, 5.276, 6.193, 7.344, 8.749, 10.42");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003839, 0.01381, 0.03284, 0.06249, 0.1041, 0.1588, 0.2278, 0.312, 0.4124");
          values("0.2444, 0.282, 0.398, 0.6002, 0.9158, 1.376, 2.007, 2.816, 3.811, 5.001",\
                 "0.245, 0.282, 0.3986, 0.6012, 0.9158, 1.375, 2.007, 2.816, 3.81, 4.997",\
                 "0.2446, 0.2818, 0.3986, 0.6012, 0.917, 1.376, 2.006, 2.816, 3.807, 5.001",\
                 "0.244, 0.2824, 0.3984, 0.6, 0.9148, 1.375, 2.006, 2.815, 3.805, 4.999",\
                 "0.2446, 0.2814, 0.3974, 0.6008, 0.9154, 1.375, 2.005, 2.814, 3.805, 4.999",\
                 "0.2442, 0.282, 0.3982, 0.601, 0.9164, 1.377, 2.004, 2.814, 3.806, 4.999",\
                 "0.246, 0.2828, 0.3984, 0.601, 0.9166, 1.377, 2.007, 2.816, 3.812, 4.997",\
                 "0.2442, 0.2822, 0.3982, 0.6, 0.916, 1.376, 2.004, 2.812, 3.806, 4.996",\
                 "0.246, 0.282, 0.4, 0.6, 0.916, 1.376, 2.004, 2.814, 3.808, 4.998",\
                 "0.246, 0.282, 0.4, 0.6, 0.916, 1.378, 2.004, 2.812, 3.804, 4.988");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003839, 0.01381, 0.03284, 0.06249, 0.1041, 0.1588, 0.2278, 0.312, 0.4124");
          values("0.3032, 0.3768, 0.6354, 1.153, 1.993, 3.183, 4.752, 6.728, 9.147, 12.02",\
                 "0.3032, 0.3774, 0.6358, 1.155, 1.991, 3.183, 4.752, 6.729, 9.148, 12.01",\
                 "0.3036, 0.3772, 0.6346, 1.153, 1.993, 3.183, 4.752, 6.728, 9.124, 12",\
                 "0.3034, 0.3774, 0.6344, 1.155, 1.992, 3.183, 4.753, 6.734, 9.149, 12.02",\
                 "0.3034, 0.3778, 0.6356, 1.154, 1.991, 3.183, 4.752, 6.729, 9.149, 12.01",\
                 "0.3038, 0.377, 0.636, 1.155, 1.993, 3.183, 4.747, 6.729, 9.134, 11.99",\
                 "0.3036, 0.3776, 0.6356, 1.154, 1.99, 3.181, 4.751, 6.728, 9.139, 11.99",\
                 "0.3036, 0.3774, 0.6352, 1.155, 1.99, 3.177, 4.745, 6.72, 9.138, 12.03",\
                 "0.3036, 0.3772, 0.636, 1.155, 1.992, 3.18, 4.74, 6.712, 9.128, 12.01",\
                 "0.304, 0.378, 0.636, 1.156, 1.99, 3.178, 4.744, 6.714, 9.114, 12");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003839, 0.01381, 0.03284, 0.06249, 0.1041, 0.1588, 0.2278, 0.312, 0.4124");
          values("3.476, 3.522, 3.645, 3.825, 4.059, 4.361, 4.746, 5.226, 5.811, 6.507",\
                 "3.508, 3.553, 3.677, 3.856, 4.09, 4.392, 4.777, 5.257, 5.842, 6.539",\
                 "3.604, 3.65, 3.773, 3.953, 4.187, 4.489, 4.874, 5.354, 5.939, 6.635",\
                 "3.803, 3.849, 3.972, 4.152, 4.386, 4.688, 5.073, 5.553, 6.138, 6.834",\
                 "4.13, 4.176, 4.299, 4.479, 4.713, 5.015, 5.4, 5.88, 6.464, 7.161",\
                 "4.604, 4.649, 4.773, 4.952, 5.186, 5.488, 5.873, 6.354, 6.938, 7.635",\
                 "5.217, 5.262, 5.386, 5.566, 5.8, 6.102, 6.487, 6.967, 7.552, 8.248",\
                 "5.921, 5.966, 6.09, 6.269, 6.503, 6.806, 7.191, 7.671, 8.256, 8.952",\
                 "6.673, 6.718, 6.842, 7.022, 7.256, 7.558, 7.943, 8.423, 9.007, 9.703",\
                 "7.47, 7.516, 7.64, 7.819, 8.053, 8.355, 8.74, 9.22, 9.804, 10.5");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003839, 0.01381, 0.03284, 0.06249, 0.1041, 0.1588, 0.2278, 0.312, 0.4124");
          values("3.437, 3.504, 3.703, 4.038, 4.541, 5.241, 6.158, 7.312, 8.717, 10.39",\
                 "3.47, 3.537, 3.735, 4.071, 4.574, 5.274, 6.191, 7.344, 8.751, 10.43",\
                 "3.568, 3.635, 3.834, 4.169, 4.673, 5.373, 6.289, 7.443, 8.85, 10.53",\
                 "3.707, 3.774, 3.973, 4.308, 4.812, 5.511, 6.428, 7.582, 8.989, 10.66",\
                 "3.827, 3.894, 4.093, 4.428, 4.932, 5.632, 6.548, 7.702, 9.109, 10.78",\
                 "3.916, 3.983, 4.182, 4.517, 5.021, 5.72, 6.637, 7.79, 9.197, 10.87",\
                 "3.965, 4.032, 4.23, 4.566, 5.069, 5.769, 6.686, 7.839, 9.246, 10.92",\
                 "3.967, 4.034, 4.232, 4.568, 5.071, 5.77, 6.687, 7.84, 9.246, 10.92",\
                 "3.919, 3.985, 4.184, 4.52, 5.023, 5.723, 6.64, 7.793, 9.199, 10.88",\
                 "3.816, 3.883, 4.081, 4.417, 4.92, 5.62, 6.537, 7.69, 9.097, 10.77");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003839, 0.01381, 0.03284, 0.06249, 0.1041, 0.1588, 0.2278, 0.312, 0.4124");
          values("0.3622, 0.4114, 0.5512, 0.7764, 1.094, 1.53, 2.123, 2.894, 3.863, 5.034",\
                 "0.3622, 0.411, 0.5518, 0.7758, 1.094, 1.531, 2.122, 2.891, 3.858, 5.035",\
                 "0.3622, 0.4108, 0.5506, 0.7762, 1.093, 1.529, 2.123, 2.89, 3.857, 5.032",\
                 "0.3626, 0.4116, 0.5518, 0.7748, 1.094, 1.532, 2.123, 2.89, 3.856, 5.036",\
                 "0.3628, 0.4112, 0.5504, 0.7762, 1.093, 1.53, 2.122, 2.894, 3.863, 5.036",\
                 "0.3626, 0.4112, 0.5518, 0.775, 1.093, 1.532, 2.123, 2.891, 3.863, 5.037",\
                 "0.3626, 0.4118, 0.5516, 0.775, 1.093, 1.53, 2.123, 2.895, 3.861, 5.037",\
                 "0.3624, 0.411, 0.5512, 0.7758, 1.094, 1.532, 2.122, 2.89, 3.856, 5.034",\
                 "0.364, 0.41, 0.552, 0.776, 1.092, 1.532, 2.12, 2.894, 3.86, 5.036",\
                 "0.362, 0.412, 0.552, 0.776, 1.094, 1.53, 2.122, 2.89, 3.856, 5.026");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003839, 0.01381, 0.03284, 0.06249, 0.1041, 0.1588, 0.2278, 0.312, 0.4124");
          values("0.3032, 0.3768, 0.6354, 1.153, 1.993, 3.183, 4.752, 6.728, 9.147, 12.02",\
                 "0.3032, 0.3774, 0.6358, 1.155, 1.991, 3.183, 4.752, 6.729, 9.148, 12.01",\
                 "0.3036, 0.3772, 0.6346, 1.153, 1.993, 3.183, 4.752, 6.728, 9.124, 12",\
                 "0.3034, 0.3774, 0.6344, 1.155, 1.992, 3.183, 4.753, 6.734, 9.149, 12.02",\
                 "0.3034, 0.3778, 0.6356, 1.154, 1.991, 3.183, 4.752, 6.729, 9.149, 12.01",\
                 "0.3038, 0.377, 0.636, 1.155, 1.993, 3.183, 4.747, 6.729, 9.134, 11.99",\
                 "0.3036, 0.3776, 0.6356, 1.154, 1.99, 3.181, 4.751, 6.728, 9.139, 11.99",\
                 "0.3036, 0.3774, 0.6352, 1.155, 1.99, 3.177, 4.745, 6.72, 9.138, 12.03",\
                 "0.3036, 0.3772, 0.636, 1.155, 1.992, 3.18, 4.74, 6.712, 9.128, 12.01",\
                 "0.304, 0.378, 0.636, 1.156, 1.99, 3.178, 4.744, 6.714, 9.114, 12");
        }
      }

      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.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003839, 0.01381, 0.03284, 0.06249, 0.1041, 0.1588, 0.2278, 0.312, 0.4124");
          values("3.898, 3.944, 4.067, 4.247, 4.481, 4.783, 5.168, 5.648, 6.232, 6.928",\
                 "3.928, 3.974, 4.097, 4.276, 4.511, 4.813, 5.198, 5.678, 6.262, 6.958",\
                 "4.023, 4.069, 4.192, 4.372, 4.606, 4.908, 5.293, 5.773, 6.357, 7.053",\
                 "4.157, 4.203, 4.326, 4.506, 4.74, 5.042, 5.427, 5.907, 6.492, 7.188",\
                 "4.271, 4.316, 4.44, 4.619, 4.853, 5.155, 5.54, 6.021, 6.605, 7.301",\
                 "4.349, 4.394, 4.518, 4.698, 4.933, 5.234, 5.619, 6.1, 6.684, 7.38",\
                 "4.39, 4.436, 4.559, 4.738, 4.973, 5.275, 5.659, 6.14, 6.724, 7.42",\
                 "4.384, 4.43, 4.552, 4.732, 4.966, 5.268, 5.653, 6.132, 6.718, 7.414",\
                 "4.322, 4.368, 4.492, 4.671, 4.905, 5.207, 5.592, 6.072, 6.657, 7.353",\
                 "4.204, 4.25, 4.373, 4.553, 4.787, 5.089, 5.474, 5.954, 6.539, 7.234");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003839, 0.01381, 0.03284, 0.06249, 0.1041, 0.1588, 0.2278, 0.312, 0.4124");
          values("3.694, 3.758, 3.95, 4.282, 4.783, 5.481, 6.397, 7.549, 8.957, 10.63",\
                 "3.705, 3.769, 3.961, 4.293, 4.794, 5.492, 6.408, 7.56, 8.965, 10.64",\
                 "3.783, 3.846, 4.039, 4.371, 4.872, 5.57, 6.486, 7.637, 9.044, 10.72",\
                 "3.981, 4.044, 4.237, 4.569, 5.07, 5.768, 6.683, 7.835, 9.241, 10.92",\
                 "4.314, 4.377, 4.57, 4.902, 5.403, 6.101, 7.017, 8.169, 9.573, 11.25",\
                 "4.787, 4.851, 5.044, 5.375, 5.876, 6.574, 7.491, 8.643, 10.05, 11.72",\
                 "5.373, 5.437, 5.629, 5.961, 6.463, 7.16, 8.076, 9.228, 10.64, 12.31",\
                 "6.018, 6.082, 6.275, 6.606, 7.107, 7.805, 8.721, 9.874, 11.28, 12.95",\
                 "6.718, 6.782, 6.973, 7.305, 7.807, 8.504, 9.421, 10.57, 11.98, 13.66",\
                 "7.474, 7.538, 7.731, 8.063, 8.564, 9.261, 10.18, 11.33, 12.73, 14.41");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003839, 0.01381, 0.03284, 0.06249, 0.1041, 0.1588, 0.2278, 0.312, 0.4124");
          values("0.2444, 0.282, 0.3982, 0.6004, 0.916, 1.376, 2.007, 2.816, 3.808, 5.001",\
                 "0.2442, 0.2816, 0.3986, 0.6008, 0.916, 1.377, 2.007, 2.816, 3.808, 5.001",\
                 "0.2442, 0.2822, 0.3982, 0.6004, 0.9158, 1.377, 2.007, 2.816, 3.808, 5.001",\
                 "0.2442, 0.2822, 0.3982, 0.6, 0.9146, 1.375, 2.005, 2.814, 3.805, 4.999",\
                 "0.2444, 0.2814, 0.3982, 0.6, 0.9146, 1.376, 2.005, 2.814, 3.806, 4.999",\
                 "0.2454, 0.2818, 0.3988, 0.6012, 0.916, 1.377, 2.005, 2.816, 3.805, 5",\
                 "0.2446, 0.282, 0.3988, 0.6004, 0.9146, 1.377, 2.007, 2.816, 3.811, 5",\
                 "0.244, 0.2818, 0.3982, 0.6008, 0.9154, 1.376, 2.003, 2.814, 3.812, 4.996",\
                 "0.2442, 0.2814, 0.3972, 0.6012, 0.916, 1.376, 2.006, 2.814, 3.802, 4.99",\
                 "0.244, 0.282, 0.398, 0.6, 0.916, 1.376, 2.006, 2.814, 3.81, 4.99");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003839, 0.01381, 0.03284, 0.06249, 0.1041, 0.1588, 0.2278, 0.312, 0.4124");
          values("0.3032, 0.377, 0.636, 1.154, 1.993, 3.182, 4.752, 6.729, 9.121, 12.02",\
                 "0.3034, 0.3766, 0.636, 1.153, 1.99, 3.183, 4.752, 6.728, 9.142, 12.02",\
                 "0.3034, 0.3768, 0.6352, 1.153, 1.99, 3.183, 4.749, 6.73, 9.127, 12.02",\
                 "0.3028, 0.377, 0.6358, 1.154, 1.991, 3.183, 4.753, 6.73, 9.144, 11.99",\
                 "0.3028, 0.3768, 0.635, 1.154, 1.993, 3.183, 4.751, 6.727, 9.145, 12.01",\
                 "0.3032, 0.377, 0.6352, 1.152, 1.992, 3.183, 4.753, 6.729, 9.136, 12.02",\
                 "0.3034, 0.3766, 0.6352, 1.154, 1.993, 3.183, 4.751, 6.728, 9.122, 12.02",\
                 "0.3032, 0.3778, 0.636, 1.156, 1.994, 3.182, 4.746, 6.724, 9.134, 12.02",\
                 "0.302, 0.376, 0.636, 1.154, 1.99, 3.18, 4.75, 6.726, 9.14, 12",\
                 "0.302, 0.376, 0.636, 1.154, 1.99, 3.18, 4.744, 6.72, 9.134, 12");
        }
      }

      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.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003839, 0.01381, 0.03284, 0.06249, 0.1041, 0.1588, 0.2278, 0.312, 0.4124");
          values("2.168, 2.231, 2.399, 2.633, 2.917, 3.257, 3.667, 4.159, 4.748, 5.445",\
                 "2.195, 2.258, 2.427, 2.66, 2.944, 3.285, 3.694, 4.186, 4.775, 5.473",\
                 "2.266, 2.33, 2.498, 2.731, 3.015, 3.356, 3.765, 4.257, 4.846, 5.543",\
                 "2.39, 2.454, 2.622, 2.855, 3.139, 3.48, 3.889, 4.381, 4.97, 5.668",\
                 "2.56, 2.623, 2.792, 3.025, 3.309, 3.649, 4.058, 4.55, 5.14, 5.837",\
                 "2.732, 2.796, 2.964, 3.198, 3.482, 3.822, 4.231, 4.724, 5.313, 6.01",\
                 "2.883, 2.947, 3.116, 3.349, 3.634, 3.974, 4.383, 4.876, 5.466, 6.163",\
                 "3.003, 3.067, 3.235, 3.468, 3.754, 4.095, 4.504, 4.996, 5.586, 6.282",\
                 "3.081, 3.145, 3.314, 3.548, 3.833, 4.174, 4.583, 5.076, 5.665, 6.362",\
                 "3.114, 3.177, 3.346, 3.58, 3.866, 4.207, 4.616, 5.108, 5.699, 6.396");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003839, 0.01381, 0.03284, 0.06249, 0.1041, 0.1588, 0.2278, 0.312, 0.4124");
          values("3.04, 3.108, 3.306, 3.642, 4.145, 4.845, 5.762, 6.915, 8.322, 9.997",\
                 "3.063, 3.13, 3.329, 3.664, 4.168, 4.868, 5.784, 6.938, 8.345, 10.02",\
                 "3.166, 3.233, 3.431, 3.767, 4.27, 4.97, 5.887, 7.04, 8.447, 10.12",\
                 "3.372, 3.439, 3.638, 3.973, 4.476, 5.176, 6.093, 7.246, 8.652, 10.33",\
                 "3.704, 3.771, 3.97, 4.305, 4.809, 5.509, 6.425, 7.579, 8.986, 10.66",\
                 "4.18, 4.248, 4.446, 4.781, 5.284, 5.984, 6.902, 8.055, 9.462, 11.14",\
                 "4.807, 4.873, 5.073, 5.408, 5.912, 6.611, 7.528, 8.681, 10.09, 11.76",\
                 "5.548, 5.615, 5.814, 6.149, 6.653, 7.353, 8.269, 9.423, 10.83, 12.51",\
                 "6.348, 6.416, 6.617, 6.952, 7.456, 8.155, 9.073, 10.23, 11.63, 13.31",\
                 "7.199, 7.267, 7.468, 7.804, 8.308, 9.008, 9.925, 11.08, 12.48, 14.16");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003839, 0.01381, 0.03284, 0.06249, 0.1041, 0.1588, 0.2278, 0.312, 0.4124");
          values("0.3634, 0.4126, 0.5522, 0.7768, 1.095, 1.53, 2.122, 2.894, 3.861, 5.029",\
                 "0.3632, 0.4126, 0.5524, 0.777, 1.096, 1.533, 2.124, 2.894, 3.863, 5.028",\
                 "0.3632, 0.4112, 0.5524, 0.7768, 1.094, 1.53, 2.122, 2.894, 3.861, 5.036",\
                 "0.3632, 0.4122, 0.5522, 0.7762, 1.094, 1.53, 2.124, 2.894, 3.863, 5.028",\
                 "0.3634, 0.4122, 0.552, 0.7768, 1.094, 1.533, 2.124, 2.891, 3.858, 5.029",\
                 "0.3636, 0.412, 0.553, 0.7762, 1.094, 1.531, 2.123, 2.891, 3.858, 5.036",\
                 "0.3654, 0.414, 0.5534, 0.7766, 1.095, 1.531, 2.124, 2.894, 3.863, 5.029",\
                 "0.3656, 0.4142, 0.554, 0.7782, 1.095, 1.534, 2.123, 2.894, 3.857, 5.027",\
                 "0.3684, 0.4162, 0.5558, 0.7788, 1.095, 1.531, 2.121, 2.892, 3.858, 5.028",\
                 "0.368, 0.416, 0.556, 0.78, 1.098, 1.534, 2.124, 2.896, 3.858, 5.034");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003839, 0.01381, 0.03284, 0.06249, 0.1041, 0.1588, 0.2278, 0.312, 0.4124");
          values("0.334, 0.4054, 0.6586, 1.168, 2.002, 3.186, 4.751, 6.721, 9.127, 11.99",\
                 "0.3346, 0.4054, 0.6578, 1.169, 2.003, 3.186, 4.752, 6.715, 9.132, 12",\
                 "0.334, 0.4052, 0.6582, 1.168, 2.001, 3.189, 4.753, 6.717, 9.133, 12",\
                 "0.3344, 0.4056, 0.6574, 1.169, 2.003, 3.188, 4.75, 6.725, 9.134, 12.01",\
                 "0.3344, 0.4058, 0.657, 1.169, 2, 3.189, 4.748, 6.724, 9.123, 12",\
                 "0.3346, 0.4052, 0.6586, 1.169, 2.003, 3.187, 4.748, 6.724, 9.135, 12",\
                 "0.3348, 0.4052, 0.6578, 1.169, 2, 3.19, 4.753, 6.719, 9.136, 12.01",\
                 "0.3372, 0.4084, 0.658, 1.169, 2.004, 3.188, 4.752, 6.726, 9.134, 11.99",\
                 "0.342, 0.414, 0.662, 1.17, 2.004, 3.186, 4.748, 6.724, 9.132, 12.01",\
                 "0.35, 0.418, 0.666, 1.17, 2.002, 3.184, 4.746, 6.724, 9.126, 12");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003839, 0.01381, 0.03284, 0.06249, 0.1041, 0.1588, 0.2278, 0.312, 0.4124");
          values("3.898, 3.944, 4.067, 4.247, 4.481, 4.783, 5.168, 5.648, 6.232, 6.928",\
                 "3.928, 3.974, 4.097, 4.276, 4.511, 4.813, 5.198, 5.678, 6.262, 6.958",\
                 "4.023, 4.069, 4.192, 4.372, 4.606, 4.908, 5.293, 5.773, 6.357, 7.053",\
                 "4.157, 4.203, 4.326, 4.506, 4.74, 5.042, 5.427, 5.907, 6.492, 7.188",\
                 "4.271, 4.316, 4.44, 4.619, 4.853, 5.155, 5.54, 6.021, 6.605, 7.301",\
                 "4.349, 4.394, 4.518, 4.698, 4.933, 5.234, 5.619, 6.1, 6.684, 7.38",\
                 "4.39, 4.436, 4.559, 4.738, 4.973, 5.275, 5.659, 6.14, 6.724, 7.42",\
                 "4.384, 4.43, 4.552, 4.732, 4.966, 5.268, 5.653, 6.132, 6.718, 7.414",\
                 "4.322, 4.368, 4.492, 4.671, 4.905, 5.207, 5.592, 6.072, 6.657, 7.353",\
                 "4.204, 4.25, 4.373, 4.553, 4.787, 5.089, 5.474, 5.954, 6.539, 7.234");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003839, 0.01381, 0.03284, 0.06249, 0.1041, 0.1588, 0.2278, 0.312, 0.4124");
          values("3.694, 3.758, 3.95, 4.282, 4.783, 5.481, 6.397, 7.549, 8.957, 10.63",\
                 "3.705, 3.769, 3.961, 4.293, 4.794, 5.492, 6.408, 7.56, 8.965, 10.64",\
                 "3.783, 3.846, 4.039, 4.371, 4.872, 5.57, 6.486, 7.637, 9.044, 10.72",\
                 "3.981, 4.044, 4.237, 4.569, 5.07, 5.768, 6.683, 7.835, 9.241, 10.92",\
                 "4.314, 4.377, 4.57, 4.902, 5.403, 6.101, 7.017, 8.169, 9.573, 11.25",\
                 "4.787, 4.851, 5.044, 5.375, 5.876, 6.574, 7.491, 8.643, 10.05, 11.72",\
                 "5.373, 5.437, 5.629, 5.961, 6.463, 7.16, 8.076, 9.228, 10.64, 12.31",\
                 "6.018, 6.082, 6.275, 6.606, 7.107, 7.805, 8.721, 9.874, 11.28, 12.95",\
                 "6.718, 6.782, 6.973, 7.305, 7.807, 8.504, 9.421, 10.57, 11.98, 13.66",\
                 "7.474, 7.538, 7.731, 8.063, 8.564, 9.261, 10.18, 11.33, 12.73, 14.41");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003839, 0.01381, 0.03284, 0.06249, 0.1041, 0.1588, 0.2278, 0.312, 0.4124");
          values("0.3634, 0.4126, 0.5522, 0.7768, 1.095, 1.53, 2.122, 2.894, 3.861, 5.029",\
                 "0.3632, 0.4126, 0.5524, 0.777, 1.096, 1.533, 2.124, 2.894, 3.863, 5.028",\
                 "0.3632, 0.4112, 0.5524, 0.7768, 1.094, 1.53, 2.122, 2.894, 3.861, 5.036",\
                 "0.3632, 0.4122, 0.5522, 0.7762, 1.094, 1.53, 2.124, 2.894, 3.863, 5.028",\
                 "0.3634, 0.4122, 0.552, 0.7768, 1.094, 1.533, 2.124, 2.891, 3.858, 5.029",\
                 "0.3636, 0.412, 0.553, 0.7762, 1.094, 1.531, 2.123, 2.891, 3.858, 5.036",\
                 "0.3654, 0.414, 0.5534, 0.7766, 1.095, 1.531, 2.124, 2.894, 3.863, 5.029",\
                 "0.3656, 0.4142, 0.554, 0.7782, 1.095, 1.534, 2.123, 2.894, 3.857, 5.027",\
                 "0.3684, 0.4162, 0.5558, 0.7788, 1.095, 1.531, 2.121, 2.892, 3.858, 5.028",\
                 "0.368, 0.416, 0.556, 0.78, 1.098, 1.534, 2.124, 2.896, 3.858, 5.034");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003839, 0.01381, 0.03284, 0.06249, 0.1041, 0.1588, 0.2278, 0.312, 0.4124");
          values("0.3032, 0.377, 0.636, 1.154, 1.993, 3.182, 4.752, 6.729, 9.121, 12.02",\
                 "0.3034, 0.3766, 0.636, 1.153, 1.99, 3.183, 4.752, 6.728, 9.142, 12.02",\
                 "0.3034, 0.3768, 0.6352, 1.153, 1.99, 3.183, 4.749, 6.73, 9.127, 12.02",\
                 "0.3028, 0.377, 0.6358, 1.154, 1.991, 3.183, 4.753, 6.73, 9.144, 11.99",\
                 "0.3028, 0.3768, 0.635, 1.154, 1.993, 3.183, 4.751, 6.727, 9.145, 12.01",\
                 "0.3032, 0.377, 0.6352, 1.152, 1.992, 3.183, 4.753, 6.729, 9.136, 12.02",\
                 "0.3034, 0.3766, 0.6352, 1.154, 1.993, 3.183, 4.751, 6.728, 9.122, 12.02",\
                 "0.3032, 0.3778, 0.636, 1.156, 1.994, 3.182, 4.746, 6.724, 9.134, 12.02",\
                 "0.302, 0.376, 0.636, 1.154, 1.99, 3.18, 4.75, 6.726, 9.14, 12",\
                 "0.302, 0.376, 0.636, 1.154, 1.99, 3.18, 4.744, 6.72, 9.134, 12");
        }
      }

      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.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003839, 0.01381, 0.03284, 0.06249, 0.1041, 0.1588, 0.2278, 0.312, 0.4124");
          values("3.598, 3.661, 3.829, 4.062, 4.346, 4.686, 5.095, 5.587, 6.176, 6.874",\
                 "3.608, 3.672, 3.84, 4.073, 4.357, 4.698, 5.107, 5.599, 6.188, 6.885",\
                 "3.686, 3.749, 3.917, 4.15, 4.434, 4.775, 5.184, 5.676, 6.265, 6.962",\
                 "3.884, 3.947, 4.115, 4.349, 4.632, 4.973, 5.381, 5.874, 6.463, 7.16",\
                 "4.217, 4.28, 4.449, 4.681, 4.966, 5.306, 5.715, 6.207, 6.796, 7.494",\
                 "4.69, 4.754, 4.922, 5.155, 5.439, 5.779, 6.188, 6.68, 7.269, 7.967",\
                 "5.276, 5.339, 5.508, 5.741, 6.024, 6.365, 6.774, 7.266, 7.855, 8.552",\
                 "5.919, 5.982, 6.15, 6.384, 6.668, 7.008, 7.417, 7.909, 8.498, 9.195",\
                 "6.615, 6.68, 6.847, 7.08, 7.364, 7.704, 8.113, 8.606, 9.195, 9.892",\
                 "7.37, 7.433, 7.602, 7.835, 8.119, 8.459, 8.868, 9.36, 9.95, 10.65");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003839, 0.01381, 0.03284, 0.06249, 0.1041, 0.1588, 0.2278, 0.312, 0.4124");
          values("3.307, 3.374, 3.572, 3.907, 4.411, 5.111, 6.027, 7.181, 8.588, 10.26",\
                 "3.337, 3.403, 3.602, 3.938, 4.441, 5.14, 6.058, 7.211, 8.618, 10.29",\
                 "3.432, 3.499, 3.697, 4.033, 4.536, 5.236, 6.152, 7.306, 8.713, 10.39",\
                 "3.566, 3.633, 3.831, 4.166, 4.67, 5.369, 6.286, 7.44, 8.847, 10.52",\
                 "3.679, 3.746, 3.945, 4.28, 4.783, 5.483, 6.4, 7.554, 8.961, 10.63",\
                 "3.758, 3.824, 4.023, 4.359, 4.862, 5.562, 6.479, 7.632, 9.04, 10.71",\
                 "3.798, 3.865, 4.064, 4.399, 4.902, 5.602, 6.519, 7.672, 9.079, 10.75",\
                 "3.792, 3.859, 4.056, 4.392, 4.895, 5.595, 6.512, 7.666, 9.072, 10.75",\
                 "3.73, 3.798, 3.995, 4.331, 4.834, 5.534, 6.451, 7.604, 9.01, 10.69",\
                 "3.612, 3.679, 3.877, 4.213, 4.716, 5.416, 6.334, 7.486, 8.893, 10.57");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003839, 0.01381, 0.03284, 0.06249, 0.1041, 0.1588, 0.2278, 0.312, 0.4124");
          values("0.3626, 0.4114, 0.5514, 0.775, 1.093, 1.53, 2.123, 2.893, 3.861, 5.035",\
                 "0.3624, 0.4108, 0.5518, 0.7758, 1.093, 1.533, 2.123, 2.894, 3.863, 5.03",\
                 "0.3622, 0.4114, 0.5516, 0.7754, 1.094, 1.53, 2.122, 2.891, 3.856, 5.036",\
                 "0.3622, 0.4112, 0.5514, 0.7762, 1.093, 1.532, 2.122, 2.892, 3.863, 5.036",\
                 "0.3624, 0.411, 0.5506, 0.775, 1.093, 1.532, 2.123, 2.89, 3.862, 5.033",\
                 "0.3622, 0.4114, 0.551, 0.776, 1.093, 1.529, 2.122, 2.89, 3.857, 5.036",\
                 "0.3624, 0.4114, 0.5512, 0.776, 1.093, 1.529, 2.122, 2.894, 3.862, 5.028",\
                 "0.3626, 0.411, 0.5522, 0.776, 1.094, 1.532, 2.124, 2.894, 3.86, 5.036",\
                 "0.362, 0.412, 0.552, 0.774, 1.092, 1.53, 2.122, 2.894, 3.858, 5.036",\
                 "0.362, 0.412, 0.55, 0.776, 1.092, 1.532, 2.12, 2.892, 3.858, 5.032");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003839, 0.01381, 0.03284, 0.06249, 0.1041, 0.1588, 0.2278, 0.312, 0.4124");
          values("0.333, 0.4048, 0.6566, 1.168, 2.002, 3.187, 4.752, 6.717, 9.132, 12",\
                 "0.3332, 0.404, 0.6574, 1.169, 2.002, 3.185, 4.749, 6.723, 9.122, 12",\
                 "0.3332, 0.4038, 0.658, 1.168, 2.002, 3.187, 4.752, 6.717, 9.132, 12",\
                 "0.333, 0.4042, 0.657, 1.169, 2.003, 3.188, 4.752, 6.717, 9.131, 12",\
                 "0.3336, 0.4048, 0.6576, 1.169, 2.002, 3.186, 4.748, 6.724, 9.122, 12",\
                 "0.3338, 0.404, 0.6568, 1.168, 2.002, 3.189, 4.752, 6.723, 9.128, 12",\
                 "0.3336, 0.4048, 0.657, 1.168, 2.003, 3.187, 4.746, 6.724, 9.127, 12",\
                 "0.3346, 0.4038, 0.6574, 1.166, 1.999, 3.184, 4.752, 6.72, 9.134, 12.01",\
                 "0.333, 0.404, 0.6568, 1.169, 2.002, 3.186, 4.744, 6.72, 9.132, 12",\
                 "0.332, 0.404, 0.658, 1.168, 2.002, 3.186, 4.744, 6.712, 9.118, 11.99");
        }
      }

      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.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003839, 0.01381, 0.03284, 0.06249, 0.1041, 0.1588, 0.2278, 0.312, 0.4124");
          values("3.626, 3.672, 3.795, 3.975, 4.209, 4.511, 4.896, 5.376, 5.961, 6.657",\
                 "3.65, 3.695, 3.819, 3.998, 4.232, 4.534, 4.919, 5.399, 5.984, 6.68",\
                 "3.751, 3.797, 3.92, 4.1, 4.335, 4.637, 5.021, 5.502, 6.086, 6.782",\
                 "3.958, 4.004, 4.127, 4.306, 4.541, 4.843, 5.228, 5.708, 6.292, 6.988",\
                 "4.29, 4.335, 4.459, 4.638, 4.873, 5.175, 5.559, 6.04, 6.624, 7.321",\
                 "4.766, 4.812, 4.935, 5.115, 5.349, 5.651, 6.036, 6.516, 7.101, 7.797",\
                 "5.388, 5.434, 5.557, 5.737, 5.971, 6.273, 6.658, 7.139, 7.723, 8.419",\
                 "6.116, 6.161, 6.285, 6.464, 6.699, 7.001, 7.386, 7.866, 8.451, 9.147",\
                 "6.899, 6.945, 7.068, 7.247, 7.483, 7.784, 8.169, 8.649, 9.235, 9.93",\
                 "7.729, 7.774, 7.898, 8.078, 8.312, 8.614, 8.999, 9.479, 10.06, 10.76");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003839, 0.01381, 0.03284, 0.06249, 0.1041, 0.1588, 0.2278, 0.312, 0.4124");
          values("2.283, 2.347, 2.54, 2.872, 3.372, 4.071, 4.986, 6.142, 7.544, 9.227",\
                 "2.311, 2.374, 2.567, 2.899, 3.4, 4.098, 5.013, 6.167, 7.574, 9.254",\
                 "2.382, 2.446, 2.638, 2.97, 3.471, 4.169, 5.085, 6.239, 7.646, 9.326",\
                 "2.506, 2.57, 2.762, 3.094, 3.595, 4.293, 5.21, 6.364, 7.774, 9.452",\
                 "2.681, 2.745, 2.937, 3.269, 3.771, 4.469, 5.383, 6.537, 7.945, 9.62",\
                 "2.862, 2.926, 3.118, 3.45, 3.952, 4.65, 5.566, 6.717, 8.128, 9.801",\
                 "3.023, 3.086, 3.279, 3.611, 4.112, 4.81, 5.726, 6.879, 8.289, 9.968",\
                 "3.151, 3.214, 3.407, 3.739, 4.24, 4.938, 5.853, 7.006, 8.413, 10.09",\
                 "3.238, 3.301, 3.494, 3.826, 4.327, 5.024, 5.94, 7.092, 8.497, 10.17",\
                 "3.28, 3.344, 3.536, 3.868, 4.369, 5.067, 5.983, 7.135, 8.539, 10.21");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003839, 0.01381, 0.03284, 0.06249, 0.1041, 0.1588, 0.2278, 0.312, 0.4124");
          values("0.2444, 0.282, 0.398, 0.6008, 0.9154, 1.377, 2.004, 2.816, 3.812, 5.001",\
                 "0.2444, 0.282, 0.3986, 0.6012, 0.9156, 1.377, 2.004, 2.813, 3.805, 4.999",\
                 "0.2444, 0.2824, 0.3986, 0.601, 0.9168, 1.377, 2.007, 2.816, 3.809, 5.002",\
                 "0.244, 0.282, 0.3988, 0.6006, 0.9158, 1.377, 2.007, 2.816, 3.808, 5.001",\
                 "0.2444, 0.282, 0.3988, 0.6006, 0.9156, 1.376, 2.005, 2.814, 3.806, 4.999",\
                 "0.2442, 0.2824, 0.398, 0.6008, 0.9158, 1.377, 2.004, 2.814, 3.805, 4.998",\
                 "0.2446, 0.2824, 0.3978, 0.6004, 0.9158, 1.377, 2.004, 2.813, 3.805, 4.998",\
                 "0.244, 0.282, 0.398, 0.602, 0.918, 1.378, 2.006, 2.814, 3.812, 4.996",\
                 "0.244, 0.282, 0.398, 0.6, 0.916, 1.376, 2.006, 2.816, 3.812, 5.002",\
                 "0.246, 0.282, 0.398, 0.6, 0.914, 1.374, 2.002, 2.814, 3.804, 4.996");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003839, 0.01381, 0.03284, 0.06249, 0.1041, 0.1588, 0.2278, 0.312, 0.4124");
          values("0.3044, 0.3768, 0.6348, 1.153, 1.993, 3.183, 4.752, 6.735, 9.142, 11.99",\
                 "0.3038, 0.377, 0.6356, 1.155, 1.993, 3.183, 4.747, 6.727, 9.124, 12",\
                 "0.3036, 0.377, 0.6356, 1.155, 1.993, 3.18, 4.753, 6.727, 9.122, 11.99",\
                 "0.3038, 0.3778, 0.6358, 1.155, 1.993, 3.183, 4.746, 6.735, 9.157, 12.04",\
                 "0.3044, 0.377, 0.6358, 1.155, 1.993, 3.183, 4.753, 6.723, 9.122, 11.99",\
                 "0.3036, 0.3772, 0.6362, 1.155, 1.99, 3.183, 4.751, 6.731, 9.151, 12.02",\
                 "0.3038, 0.3768, 0.635, 1.153, 1.992, 3.18, 4.752, 6.723, 9.151, 12",\
                 "0.3032, 0.3778, 0.6358, 1.154, 1.99, 3.18, 4.745, 6.718, 9.128, 12.03",\
                 "0.3036, 0.3772, 0.6364, 1.154, 1.99, 3.18, 4.74, 6.712, 9.124, 12",\
                 "0.304, 0.376, 0.636, 1.154, 1.994, 3.178, 4.742, 6.72, 9.112, 12");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003839, 0.01381, 0.03284, 0.06249, 0.1041, 0.1588, 0.2278, 0.312, 0.4124");
          values("3.626, 3.672, 3.795, 3.975, 4.209, 4.511, 4.896, 5.376, 5.961, 6.657",\
                 "3.65, 3.695, 3.819, 3.998, 4.232, 4.534, 4.919, 5.399, 5.984, 6.68",\
                 "3.751, 3.797, 3.92, 4.1, 4.335, 4.637, 5.021, 5.502, 6.086, 6.782",\
                 "3.958, 4.004, 4.127, 4.306, 4.541, 4.843, 5.228, 5.708, 6.292, 6.988",\
                 "4.29, 4.335, 4.459, 4.638, 4.873, 5.175, 5.559, 6.04, 6.624, 7.321",\
                 "4.766, 4.812, 4.935, 5.115, 5.349, 5.651, 6.036, 6.516, 7.101, 7.797",\
                 "5.388, 5.434, 5.557, 5.737, 5.971, 6.273, 6.658, 7.139, 7.723, 8.419",\
                 "6.116, 6.161, 6.285, 6.464, 6.699, 7.001, 7.386, 7.866, 8.451, 9.147",\
                 "6.899, 6.945, 7.068, 7.247, 7.483, 7.784, 8.169, 8.649, 9.235, 9.93",\
                 "7.729, 7.774, 7.898, 8.078, 8.312, 8.614, 8.999, 9.479, 10.06, 10.76");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003839, 0.01381, 0.03284, 0.06249, 0.1041, 0.1588, 0.2278, 0.312, 0.4124");
          values("3.307, 3.374, 3.572, 3.907, 4.411, 5.111, 6.027, 7.181, 8.588, 10.26",\
                 "3.337, 3.403, 3.602, 3.938, 4.441, 5.14, 6.058, 7.211, 8.618, 10.29",\
                 "3.432, 3.499, 3.697, 4.033, 4.536, 5.236, 6.152, 7.306, 8.713, 10.39",\
                 "3.566, 3.633, 3.831, 4.166, 4.67, 5.369, 6.286, 7.44, 8.847, 10.52",\
                 "3.679, 3.746, 3.945, 4.28, 4.783, 5.483, 6.4, 7.554, 8.961, 10.63",\
                 "3.758, 3.824, 4.023, 4.359, 4.862, 5.562, 6.479, 7.632, 9.04, 10.71",\
                 "3.798, 3.865, 4.064, 4.399, 4.902, 5.602, 6.519, 7.672, 9.079, 10.75",\
                 "3.792, 3.859, 4.056, 4.392, 4.895, 5.595, 6.512, 7.666, 9.072, 10.75",\
                 "3.73, 3.798, 3.995, 4.331, 4.834, 5.534, 6.451, 7.604, 9.01, 10.69",\
                 "3.612, 3.679, 3.877, 4.213, 4.716, 5.416, 6.334, 7.486, 8.893, 10.57");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003839, 0.01381, 0.03284, 0.06249, 0.1041, 0.1588, 0.2278, 0.312, 0.4124");
          values("0.3626, 0.4114, 0.5514, 0.775, 1.093, 1.53, 2.123, 2.893, 3.861, 5.035",\
                 "0.3624, 0.4108, 0.5518, 0.7758, 1.093, 1.533, 2.123, 2.894, 3.863, 5.03",\
                 "0.3622, 0.4114, 0.5516, 0.7754, 1.094, 1.53, 2.122, 2.891, 3.856, 5.036",\
                 "0.3622, 0.4112, 0.5514, 0.7762, 1.093, 1.532, 2.122, 2.892, 3.863, 5.036",\
                 "0.3624, 0.411, 0.5506, 0.775, 1.093, 1.532, 2.123, 2.89, 3.862, 5.033",\
                 "0.3622, 0.4114, 0.551, 0.776, 1.093, 1.529, 2.122, 2.89, 3.857, 5.036",\
                 "0.3624, 0.4114, 0.5512, 0.776, 1.093, 1.529, 2.122, 2.894, 3.862, 5.028",\
                 "0.3626, 0.411, 0.5522, 0.776, 1.094, 1.532, 2.124, 2.894, 3.86, 5.036",\
                 "0.362, 0.412, 0.552, 0.774, 1.092, 1.53, 2.122, 2.894, 3.858, 5.036",\
                 "0.362, 0.412, 0.55, 0.776, 1.092, 1.532, 2.12, 2.892, 3.858, 5.032");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003839, 0.01381, 0.03284, 0.06249, 0.1041, 0.1588, 0.2278, 0.312, 0.4124");
          values("0.3044, 0.3768, 0.6348, 1.153, 1.993, 3.183, 4.752, 6.735, 9.142, 11.99",\
                 "0.3038, 0.377, 0.6356, 1.155, 1.993, 3.183, 4.747, 6.727, 9.124, 12",\
                 "0.3036, 0.377, 0.6356, 1.155, 1.993, 3.18, 4.753, 6.727, 9.122, 11.99",\
                 "0.3038, 0.3778, 0.6358, 1.155, 1.993, 3.183, 4.746, 6.735, 9.157, 12.04",\
                 "0.3044, 0.377, 0.6358, 1.155, 1.993, 3.183, 4.753, 6.723, 9.122, 11.99",\
                 "0.3036, 0.3772, 0.6362, 1.155, 1.99, 3.183, 4.751, 6.731, 9.151, 12.02",\
                 "0.3038, 0.3768, 0.635, 1.153, 1.992, 3.18, 4.752, 6.723, 9.151, 12",\
                 "0.3032, 0.3778, 0.6358, 1.154, 1.99, 3.18, 4.745, 6.718, 9.128, 12.03",\
                 "0.3036, 0.3772, 0.6364, 1.154, 1.99, 3.18, 4.74, 6.712, 9.124, 12",\
                 "0.304, 0.376, 0.636, 1.154, 1.994, 3.178, 4.742, 6.72, 9.112, 12");
        }
      }

      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.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003839, 0.01381, 0.03284, 0.06249, 0.1041, 0.1588, 0.2278, 0.312, 0.4124");
          values("1.479, 1.525, 1.649, 1.828, 2.063, 2.365, 2.749, 3.229, 3.813, 4.51",\
                 "1.506, 1.552, 1.676, 1.854, 2.089, 2.391, 2.775, 3.256, 3.84, 4.536",\
                 "1.57, 1.616, 1.74, 1.919, 2.153, 2.455, 2.84, 3.32, 3.904, 4.6",\
                 "1.675, 1.72, 1.844, 2.023, 2.258, 2.559, 2.944, 3.424, 4.008, 4.705",\
                 "1.81, 1.856, 1.98, 2.159, 2.394, 2.696, 3.08, 3.56, 4.144, 4.84",\
                 "1.939, 1.984, 2.108, 2.287, 2.521, 2.823, 3.207, 3.687, 4.272, 4.968",\
                 "2.044, 2.09, 2.214, 2.393, 2.627, 2.928, 3.312, 3.791, 4.374, 5.071",\
                 "2.113, 2.159, 2.283, 2.463, 2.697, 2.999, 3.382, 3.862, 4.444, 5.139",\
                 "2.141, 2.187, 2.312, 2.491, 2.726, 3.028, 3.413, 3.892, 4.476, 5.169",\
                 "2.124, 2.17, 2.295, 2.476, 2.711, 3.013, 3.397, 3.876, 4.46, 5.155");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003839, 0.01381, 0.03284, 0.06249, 0.1041, 0.1588, 0.2278, 0.312, 0.4124");
          values("1.579, 1.643, 1.838, 2.171, 2.673, 3.372, 4.288, 5.442, 6.848, 8.523",\
                 "1.611, 1.675, 1.869, 2.203, 2.705, 3.404, 4.32, 5.473, 6.879, 8.556",\
                 "1.733, 1.797, 1.991, 2.325, 2.827, 3.526, 4.443, 5.595, 7, 8.676",\
                 "1.972, 2.036, 2.231, 2.564, 3.067, 3.765, 4.682, 5.835, 7.241, 8.917",\
                 "2.345, 2.409, 2.603, 2.937, 3.439, 4.138, 5.055, 6.208, 7.612, 9.288",\
                 "2.816, 2.881, 3.076, 3.409, 3.912, 4.611, 5.527, 6.68, 8.085, 9.761",\
                 "3.335, 3.4, 3.595, 3.929, 4.432, 5.13, 6.048, 7.201, 8.607, 10.28",\
                 "3.895, 3.96, 4.156, 4.49, 4.993, 5.692, 6.609, 7.762, 9.169, 10.85",\
                 "4.499, 4.565, 4.761, 5.096, 5.598, 6.298, 7.215, 8.368, 9.775, 11.45",\
                 "5.153, 5.219, 5.417, 5.751, 6.253, 6.952, 7.869, 9.022, 10.43, 12.1");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003839, 0.01381, 0.03284, 0.06249, 0.1041, 0.1588, 0.2278, 0.312, 0.4124");
          values("0.2464, 0.2826, 0.398, 0.601, 0.916, 1.376, 2.003, 2.814, 3.805, 5",\
                 "0.245, 0.2826, 0.3986, 0.6008, 0.9146, 1.374, 2.005, 2.815, 3.805, 5.001",\
                 "0.2454, 0.2824, 0.3978, 0.602, 0.9162, 1.374, 2.003, 2.814, 3.806, 5.001",\
                 "0.2454, 0.283, 0.3982, 0.6004, 0.9164, 1.376, 2.003, 2.812, 3.804, 4.999",\
                 "0.2448, 0.283, 0.398, 0.6006, 0.915, 1.375, 2.005, 2.814, 3.807, 5",\
                 "0.246, 0.282, 0.398, 0.5988, 0.914, 1.375, 2.003, 2.814, 3.807, 4.994",\
                 "0.2464, 0.2842, 0.3986, 0.6, 0.9142, 1.371, 1.998, 2.805, 3.803, 4.997",\
                 "0.2498, 0.2854, 0.401, 0.601, 0.9164, 1.373, 2.001, 2.804, 3.795, 4.98",\
                 "0.2506, 0.2866, 0.4018, 0.603, 0.9164, 1.375, 2, 2.81, 3.796, 4.983",\
                 "0.2522, 0.289, 0.4034, 0.6036, 0.9176, 1.376, 2.004, 2.808, 3.802, 4.986");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003839, 0.01381, 0.03284, 0.06249, 0.1041, 0.1588, 0.2278, 0.312, 0.4124");
          values("0.3086, 0.382, 0.6414, 1.159, 1.996, 3.185, 4.752, 6.727, 9.14, 12.01",\
                 "0.3088, 0.3822, 0.6414, 1.158, 1.996, 3.184, 4.751, 6.728, 9.139, 12.01",\
                 "0.3094, 0.3826, 0.6424, 1.159, 1.996, 3.187, 4.75, 6.727, 9.133, 12.02",\
                 "0.3088, 0.3822, 0.6416, 1.16, 1.996, 3.185, 4.755, 6.726, 9.135, 12.01",\
                 "0.3086, 0.3834, 0.6426, 1.158, 1.998, 3.184, 4.754, 6.728, 9.135, 12.02",\
                 "0.3104, 0.3836, 0.642, 1.16, 1.995, 3.187, 4.751, 6.725, 9.134, 12.02",\
                 "0.3114, 0.386, 0.6428, 1.16, 1.999, 3.184, 4.748, 6.728, 9.14, 12.01",\
                 "0.3146, 0.3886, 0.6452, 1.161, 1.998, 3.185, 4.749, 6.722, 9.138, 12.01",\
                 "0.3174, 0.3904, 0.646, 1.164, 1.998, 3.182, 4.746, 6.72, 9.136, 12",\
                 "0.322, 0.396, 0.65, 1.164, 1.996, 3.188, 4.748, 6.714, 9.13, 11.99");
        }
      }

      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.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003839, 0.01381, 0.03284, 0.06249, 0.1041, 0.1588, 0.2278, 0.312, 0.4124");
          values("1.48, 1.525, 1.649, 1.829, 2.063, 2.365, 2.749, 3.229, 3.813, 4.509",\
                 "1.506, 1.552, 1.676, 1.855, 2.089, 2.391, 2.775, 3.255, 3.84, 4.536",\
                 "1.57, 1.616, 1.739, 1.919, 2.153, 2.455, 2.839, 3.319, 3.904, 4.6",\
                 "1.675, 1.72, 1.844, 2.023, 2.258, 2.559, 2.944, 3.424, 4.008, 4.705",\
                 "1.811, 1.856, 1.98, 2.159, 2.394, 2.696, 3.08, 3.56, 4.144, 4.84",\
                 "1.939, 1.984, 2.108, 2.287, 2.521, 2.823, 3.207, 3.687, 4.272, 4.968",\
                 "2.044, 2.09, 2.214, 2.393, 2.627, 2.928, 3.312, 3.791, 4.375, 5.071",\
                 "2.113, 2.159, 2.283, 2.463, 2.697, 2.999, 3.383, 3.862, 4.445, 5.139",\
                 "2.141, 2.187, 2.312, 2.491, 2.726, 3.028, 3.413, 3.892, 4.475, 5.17",\
                 "2.123, 2.17, 2.295, 2.476, 2.711, 3.013, 3.397, 3.876, 4.46, 5.155");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003839, 0.01381, 0.03284, 0.06249, 0.1041, 0.1588, 0.2278, 0.312, 0.4124");
          values("1.579, 1.643, 1.838, 2.171, 2.673, 3.372, 4.288, 5.442, 6.847, 8.521",\
                 "1.611, 1.675, 1.869, 2.203, 2.705, 3.404, 4.32, 5.473, 6.879, 8.556",\
                 "1.733, 1.797, 1.991, 2.325, 2.827, 3.526, 4.442, 5.595, 7, 8.677",\
                 "1.972, 2.036, 2.231, 2.564, 3.066, 3.766, 4.682, 5.834, 7.24, 8.915",\
                 "2.345, 2.409, 2.603, 2.937, 3.439, 4.138, 5.054, 6.207, 7.614, 9.29",\
                 "2.816, 2.881, 3.075, 3.409, 3.911, 4.611, 5.527, 6.68, 8.085, 9.761",\
                 "3.335, 3.4, 3.595, 3.929, 4.432, 5.131, 6.047, 7.201, 8.605, 10.28",\
                 "3.895, 3.96, 4.156, 4.49, 4.993, 5.692, 6.609, 7.762, 9.169, 10.85",\
                 "4.5, 4.565, 4.762, 5.096, 5.598, 6.297, 7.214, 8.368, 9.775, 11.45",\
                 "5.153, 5.219, 5.415, 5.75, 6.253, 6.953, 7.869, 9.023, 10.43, 12.1");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003839, 0.01381, 0.03284, 0.06249, 0.1041, 0.1588, 0.2278, 0.312, 0.4124");
          values("0.2452, 0.283, 0.398, 0.6008, 0.9158, 1.376, 2.006, 2.815, 3.809, 5.001",\
                 "0.245, 0.2824, 0.3976, 0.601, 0.9168, 1.374, 2.003, 2.814, 3.805, 5",\
                 "0.2456, 0.2824, 0.3976, 0.602, 0.9166, 1.376, 2.006, 2.815, 3.805, 5",\
                 "0.2452, 0.2828, 0.3984, 0.6008, 0.9166, 1.376, 2.003, 2.812, 3.804, 4.999",\
                 "0.245, 0.283, 0.3978, 0.6022, 0.9144, 1.375, 2.005, 2.814, 3.807, 5.001",\
                 "0.2444, 0.2824, 0.3972, 0.5988, 0.9134, 1.375, 2.003, 2.814, 3.81, 4.999",\
                 "0.2462, 0.2842, 0.3986, 0.6, 0.9142, 1.371, 1.998, 2.805, 3.8, 4.997",\
                 "0.2498, 0.2854, 0.401, 0.6012, 0.9148, 1.372, 2, 2.805, 3.796, 4.98",\
                 "0.2506, 0.2866, 0.4018, 0.6032, 0.9162, 1.375, 2, 2.81, 3.798, 4.983",\
                 "0.253, 0.2892, 0.4034, 0.6036, 0.9176, 1.376, 2.004, 2.808, 3.802, 4.986");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003839, 0.01381, 0.03284, 0.06249, 0.1041, 0.1588, 0.2278, 0.312, 0.4124");
          values("0.3088, 0.3824, 0.6412, 1.158, 1.997, 3.184, 4.751, 6.728, 9.139, 12.01",\
                 "0.3088, 0.382, 0.6414, 1.158, 1.996, 3.184, 4.751, 6.728, 9.139, 12.01",\
                 "0.3086, 0.3828, 0.6424, 1.159, 1.995, 3.187, 4.747, 6.728, 9.136, 12.02",\
                 "0.3084, 0.382, 0.6416, 1.159, 1.997, 3.187, 4.755, 6.718, 9.138, 12.01",\
                 "0.309, 0.3824, 0.642, 1.159, 1.997, 3.187, 4.751, 6.726, 9.131, 12.01",\
                 "0.3104, 0.385, 0.6424, 1.16, 1.997, 3.187, 4.75, 6.726, 9.134, 12.02",\
                 "0.3114, 0.3866, 0.6428, 1.159, 1.999, 3.187, 4.754, 6.724, 9.134, 12.02",\
                 "0.3142, 0.3876, 0.645, 1.161, 1.999, 3.183, 4.75, 6.72, 9.136, 12.01",\
                 "0.3172, 0.3898, 0.646, 1.162, 1.996, 3.184, 4.746, 6.72, 9.132, 12",\
                 "0.322, 0.394, 0.648, 1.164, 1.998, 3.184, 4.746, 6.714, 9.13, 12");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003839, 0.01381, 0.03284, 0.06249, 0.1041, 0.1588, 0.2278, 0.312, 0.4124");
          values("1.48, 1.525, 1.649, 1.829, 2.063, 2.365, 2.749, 3.229, 3.813, 4.509",\
                 "1.506, 1.552, 1.676, 1.855, 2.089, 2.391, 2.775, 3.255, 3.84, 4.536",\
                 "1.57, 1.616, 1.739, 1.919, 2.153, 2.455, 2.839, 3.319, 3.904, 4.6",\
                 "1.675, 1.72, 1.844, 2.023, 2.258, 2.559, 2.944, 3.424, 4.008, 4.705",\
                 "1.811, 1.856, 1.98, 2.159, 2.394, 2.696, 3.08, 3.56, 4.144, 4.84",\
                 "1.939, 1.984, 2.108, 2.287, 2.521, 2.823, 3.207, 3.687, 4.272, 4.968",\
                 "2.044, 2.09, 2.214, 2.393, 2.627, 2.928, 3.312, 3.791, 4.375, 5.071",\
                 "2.113, 2.159, 2.283, 2.463, 2.697, 2.999, 3.383, 3.862, 4.445, 5.139",\
                 "2.141, 2.187, 2.312, 2.491, 2.726, 3.028, 3.413, 3.892, 4.475, 5.17",\
                 "2.123, 2.17, 2.295, 2.476, 2.711, 3.013, 3.397, 3.876, 4.46, 5.155");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003839, 0.01381, 0.03284, 0.06249, 0.1041, 0.1588, 0.2278, 0.312, 0.4124");
          values("1.579, 1.643, 1.838, 2.171, 2.673, 3.372, 4.288, 5.442, 6.847, 8.521",\
                 "1.611, 1.675, 1.869, 2.203, 2.705, 3.404, 4.32, 5.473, 6.879, 8.556",\
                 "1.733, 1.797, 1.991, 2.325, 2.827, 3.526, 4.442, 5.595, 7, 8.677",\
                 "1.972, 2.036, 2.231, 2.564, 3.066, 3.766, 4.682, 5.834, 7.24, 8.915",\
                 "2.345, 2.409, 2.603, 2.937, 3.439, 4.138, 5.054, 6.207, 7.614, 9.29",\
                 "2.816, 2.881, 3.075, 3.409, 3.911, 4.611, 5.527, 6.68, 8.085, 9.761",\
                 "3.335, 3.4, 3.595, 3.929, 4.432, 5.131, 6.047, 7.201, 8.605, 10.28",\
                 "3.895, 3.96, 4.156, 4.49, 4.993, 5.692, 6.609, 7.762, 9.169, 10.85",\
                 "4.5, 4.565, 4.762, 5.096, 5.598, 6.297, 7.214, 8.368, 9.775, 11.45",\
                 "5.153, 5.219, 5.415, 5.75, 6.253, 6.953, 7.869, 9.023, 10.43, 12.1");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003839, 0.01381, 0.03284, 0.06249, 0.1041, 0.1588, 0.2278, 0.312, 0.4124");
          values("0.2452, 0.283, 0.398, 0.6008, 0.9158, 1.376, 2.006, 2.815, 3.809, 5.001",\
                 "0.245, 0.2824, 0.3976, 0.601, 0.9168, 1.374, 2.003, 2.814, 3.805, 5",\
                 "0.2456, 0.2824, 0.3976, 0.602, 0.9166, 1.376, 2.006, 2.815, 3.805, 5",\
                 "0.2452, 0.2828, 0.3984, 0.6008, 0.9166, 1.376, 2.003, 2.812, 3.804, 4.999",\
                 "0.245, 0.283, 0.3978, 0.6022, 0.9144, 1.375, 2.005, 2.814, 3.807, 5.001",\
                 "0.2444, 0.2824, 0.3972, 0.5988, 0.9134, 1.375, 2.003, 2.814, 3.81, 4.999",\
                 "0.2462, 0.2842, 0.3986, 0.6, 0.9142, 1.371, 1.998, 2.805, 3.8, 4.997",\
                 "0.2498, 0.2854, 0.401, 0.6012, 0.9148, 1.372, 2, 2.805, 3.796, 4.98",\
                 "0.2506, 0.2866, 0.4018, 0.6032, 0.9162, 1.375, 2, 2.81, 3.798, 4.983",\
                 "0.253, 0.2892, 0.4034, 0.6036, 0.9176, 1.376, 2.004, 2.808, 3.802, 4.986");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003839, 0.01381, 0.03284, 0.06249, 0.1041, 0.1588, 0.2278, 0.312, 0.4124");
          values("0.3088, 0.3824, 0.6412, 1.158, 1.997, 3.184, 4.751, 6.728, 9.139, 12.01",\
                 "0.3088, 0.382, 0.6414, 1.158, 1.996, 3.184, 4.751, 6.728, 9.139, 12.01",\
                 "0.3086, 0.3828, 0.6424, 1.159, 1.995, 3.187, 4.747, 6.728, 9.136, 12.02",\
                 "0.3084, 0.382, 0.6416, 1.159, 1.997, 3.187, 4.755, 6.718, 9.138, 12.01",\
                 "0.309, 0.3824, 0.642, 1.159, 1.997, 3.187, 4.751, 6.726, 9.131, 12.01",\
                 "0.3104, 0.385, 0.6424, 1.16, 1.997, 3.187, 4.75, 6.726, 9.134, 12.02",\
                 "0.3114, 0.3866, 0.6428, 1.159, 1.999, 3.187, 4.754, 6.724, 9.134, 12.02",\
                 "0.3142, 0.3876, 0.645, 1.161, 1.999, 3.183, 4.75, 6.72, 9.136, 12.01",\
                 "0.3172, 0.3898, 0.646, 1.162, 1.996, 3.184, 4.746, 6.72, 9.132, 12",\
                 "0.322, 0.394, 0.648, 1.164, 1.998, 3.184, 4.746, 6.714, 9.13, 12");
        }
      }

      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.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003839, 0.01381, 0.03284, 0.06249, 0.1041, 0.1588, 0.2278, 0.312, 0.4124");
          values("1.315, 1.378, 1.547, 1.779, 2.063, 2.403, 2.812, 3.304, 3.893, 4.59",\
                 "1.342, 1.405, 1.573, 1.806, 2.091, 2.431, 2.839, 3.331, 3.921, 4.618",\
                 "1.434, 1.497, 1.665, 1.898, 2.182, 2.522, 2.931, 3.423, 4.012, 4.71",\
                 "1.633, 1.695, 1.864, 2.096, 2.381, 2.721, 3.13, 3.622, 4.211, 4.908",\
                 "1.964, 2.027, 2.195, 2.428, 2.712, 3.052, 3.461, 3.953, 4.542, 5.24",\
                 "2.425, 2.489, 2.66, 2.894, 3.18, 3.521, 3.93, 4.423, 5.012, 5.709",\
                 "2.945, 3.018, 3.203, 3.45, 3.744, 4.09, 4.502, 4.996, 5.585, 6.283",\
                 "3.495, 3.576, 3.779, 4.043, 4.35, 4.705, 5.125, 5.621, 6.213, 6.91",\
                 "4.074, 4.162, 4.387, 4.672, 4.992, 5.358, 5.784, 6.284, 6.877, 7.579",\
                 "4.687, 4.781, 5.023, 5.331, 5.671, 6.048, 6.48, 6.985, 7.579, 8.279");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003839, 0.01381, 0.03284, 0.06249, 0.1041, 0.1588, 0.2278, 0.312, 0.4124");
          values("0.6797, 0.7427, 0.9345, 1.266, 1.767, 2.465, 3.38, 4.535, 5.944, 7.623",\
                 "0.7081, 0.7709, 0.9629, 1.295, 1.796, 2.493, 3.41, 4.564, 5.971, 7.652",\
                 "0.8049, 0.8677, 1.059, 1.391, 1.892, 2.59, 3.505, 4.659, 6.066, 7.747",\
                 "0.9825, 1.046, 1.237, 1.568, 2.069, 2.767, 3.684, 4.838, 6.248, 7.923",\
                 "1.2, 1.265, 1.461, 1.793, 2.294, 2.992, 3.908, 5.062, 6.47, 8.147",\
                 "1.406, 1.474, 1.675, 2.011, 2.514, 3.212, 4.129, 5.285, 6.694, 8.372",\
                 "1.59, 1.664, 1.871, 2.211, 2.713, 3.413, 4.331, 5.484, 6.895, 8.568",\
                 "1.747, 1.827, 2.044, 2.387, 2.89, 3.591, 4.508, 5.663, 7.068, 8.748",\
                 "1.871, 1.958, 2.189, 2.538, 3.042, 3.739, 4.657, 5.811, 7.221, 8.896",\
                 "1.959, 2.054, 2.299, 2.658, 3.162, 3.859, 4.776, 5.93, 7.337, 9.016");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003839, 0.01381, 0.03284, 0.06249, 0.1041, 0.1588, 0.2278, 0.312, 0.4124");
          values("0.3628, 0.4104, 0.5506, 0.7758, 1.095, 1.532, 2.121, 2.892, 3.858, 5.036",\
                 "0.3618, 0.4112, 0.5512, 0.775, 1.094, 1.533, 2.123, 2.894, 3.863, 5.03",\
                 "0.3626, 0.4112, 0.5514, 0.7754, 1.093, 1.532, 2.123, 2.894, 3.862, 5.028",\
                 "0.3618, 0.4106, 0.5508, 0.7756, 1.094, 1.533, 2.123, 2.891, 3.859, 5.035",\
                 "0.3628, 0.4112, 0.5518, 0.7762, 1.094, 1.531, 2.123, 2.894, 3.862, 5.029",\
                 "0.3806, 0.4268, 0.5632, 0.7834, 1.1, 1.536, 2.125, 2.892, 3.862, 5.036",\
                 "0.4382, 0.4862, 0.6148, 0.825, 1.13, 1.556, 2.137, 2.898, 3.861, 5.031",\
                 "0.4976, 0.5502, 0.6838, 0.8856, 1.181, 1.598, 2.17, 2.921, 3.873, 5.044",\
                 "0.557, 0.6146, 0.7566, 0.9566, 1.238, 1.642, 2.206, 2.95, 3.9, 5.056",\
                 "0.614, 0.676, 0.832, 1.036, 1.306, 1.698, 2.244, 2.978, 3.914, 5.07");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003839, 0.01381, 0.03284, 0.06249, 0.1041, 0.1588, 0.2278, 0.312, 0.4124");
          values("0.2975, 0.3716, 0.6328, 1.154, 1.99, 3.18, 4.752, 6.732, 9.131, 12",\
                 "0.2991, 0.3716, 0.6328, 1.154, 1.99, 3.181, 4.753, 6.732, 9.127, 12",\
                 "0.2983, 0.3718, 0.6332, 1.153, 1.993, 3.183, 4.754, 6.714, 9.123, 12",\
                 "0.3002, 0.374, 0.634, 1.152, 1.993, 3.183, 4.75, 6.735, 9.156, 12.03",\
                 "0.3202, 0.3918, 0.6444, 1.157, 1.993, 3.183, 4.754, 6.721, 9.147, 12.02",\
                 "0.3472, 0.4152, 0.6636, 1.169, 1.998, 3.183, 4.748, 6.736, 9.154, 12.03",\
                 "0.383, 0.4506, 0.6844, 1.178, 2.006, 3.189, 4.75, 6.726, 9.143, 12.01",\
                 "0.4272, 0.4896, 0.7128, 1.192, 2.012, 3.195, 4.755, 6.725, 9.131, 12",\
                 "0.4748, 0.539, 0.75, 1.209, 2.014, 3.196, 4.755, 6.727, 9.13, 12",\
                 "0.5236, 0.5912, 0.7942, 1.231, 2.022, 3.198, 4.758, 6.728, 9.134, 12");
        }
      }

      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.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003839, 0.01381, 0.03284, 0.06249, 0.1041, 0.1588, 0.2278, 0.312, 0.4124");
          values("1.314, 1.378, 1.546, 1.779, 2.063, 2.403, 2.812, 3.304, 3.893, 4.591",\
                 "1.342, 1.405, 1.573, 1.806, 2.09, 2.431, 2.84, 3.332, 3.921, 4.618",\
                 "1.433, 1.497, 1.665, 1.898, 2.182, 2.522, 2.931, 3.424, 4.013, 4.71",\
                 "1.632, 1.696, 1.864, 2.097, 2.38, 2.721, 3.13, 3.622, 4.212, 4.909",\
                 "1.964, 2.027, 2.195, 2.428, 2.712, 3.052, 3.461, 3.954, 4.543, 5.24",\
                 "2.425, 2.489, 2.66, 2.895, 3.18, 3.522, 3.931, 4.423, 5.013, 5.71",\
                 "2.945, 3.018, 3.204, 3.451, 3.744, 4.09, 4.502, 4.996, 5.585, 6.283",\
                 "3.496, 3.576, 3.779, 4.044, 4.351, 4.706, 5.126, 5.622, 6.214, 6.911",\
                 "4.076, 4.162, 4.386, 4.671, 4.993, 5.359, 5.782, 6.284, 6.878, 7.578",\
                 "4.687, 4.779, 5.023, 5.333, 5.671, 6.048, 6.479, 6.983, 7.58, 8.282");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003839, 0.01381, 0.03284, 0.06249, 0.1041, 0.1588, 0.2278, 0.312, 0.4124");
          values("0.6797, 0.7424, 0.9345, 1.266, 1.767, 2.465, 3.381, 4.535, 5.945, 7.623",\
                 "0.708, 0.7707, 0.9629, 1.295, 1.796, 2.493, 3.41, 4.564, 5.972, 7.642",\
                 "0.8048, 0.8675, 1.059, 1.391, 1.892, 2.59, 3.506, 4.658, 6.064, 7.743",\
                 "0.9825, 1.046, 1.237, 1.568, 2.069, 2.767, 3.684, 4.835, 6.245, 7.92",\
                 "1.2, 1.265, 1.46, 1.793, 2.294, 2.992, 3.908, 5.063, 6.474, 8.153",\
                 "1.406, 1.474, 1.674, 2.01, 2.513, 3.212, 4.128, 5.285, 6.694, 8.373",\
                 "1.59, 1.664, 1.872, 2.21, 2.713, 3.414, 4.331, 5.484, 6.895, 8.565",\
                 "1.747, 1.827, 2.045, 2.387, 2.89, 3.59, 4.508, 5.663, 7.069, 8.748",\
                 "1.871, 1.957, 2.188, 2.538, 3.041, 3.739, 4.658, 5.812, 7.22, 8.896",\
                 "1.959, 2.053, 2.3, 2.656, 3.162, 3.859, 4.776, 5.929, 7.338, 9.016");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003839, 0.01381, 0.03284, 0.06249, 0.1041, 0.1588, 0.2278, 0.312, 0.4124");
          values("0.3622, 0.4108, 0.551, 0.7756, 1.095, 1.532, 2.124, 2.894, 3.862, 5.031",\
                 "0.3622, 0.4116, 0.5514, 0.7754, 1.094, 1.534, 2.123, 2.895, 3.859, 5.031",\
                 "0.3628, 0.4116, 0.5516, 0.776, 1.096, 1.532, 2.123, 2.891, 3.863, 5.029",\
                 "0.3624, 0.4108, 0.5512, 0.775, 1.096, 1.531, 2.122, 2.893, 3.859, 5.036",\
                 "0.3626, 0.4116, 0.5522, 0.7754, 1.096, 1.531, 2.124, 2.894, 3.863, 5.03",\
                 "0.3804, 0.4272, 0.5628, 0.7838, 1.1, 1.536, 2.126, 2.894, 3.858, 5.034",\
                 "0.4376, 0.4856, 0.6164, 0.8262, 1.132, 1.556, 2.138, 2.901, 3.865, 5.035",\
                 "0.497, 0.55, 0.6838, 0.8856, 1.181, 1.599, 2.171, 2.924, 3.877, 5.041",\
                 "0.5572, 0.615, 0.7578, 0.9548, 1.238, 1.646, 2.208, 2.952, 3.9, 5.056",\
                 "0.614, 0.678, 0.834, 1.036, 1.306, 1.698, 2.242, 2.974, 3.916, 5.072");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003839, 0.01381, 0.03284, 0.06249, 0.1041, 0.1588, 0.2278, 0.312, 0.4124");
          values("0.2983, 0.3716, 0.6329, 1.154, 1.993, 3.184, 4.755, 6.733, 9.156, 12",\
                 "0.2991, 0.3718, 0.633, 1.154, 1.993, 3.181, 4.745, 6.734, 9.131, 12.01",\
                 "0.2977, 0.3718, 0.633, 1.154, 1.993, 3.184, 4.755, 6.721, 9.145, 11.99",\
                 "0.3004, 0.374, 0.634, 1.154, 1.993, 3.184, 4.754, 6.724, 9.151, 11.99",\
                 "0.3202, 0.392, 0.6442, 1.156, 1.992, 3.184, 4.752, 6.733, 9.156, 12",\
                 "0.3464, 0.4154, 0.6626, 1.169, 2, 3.182, 4.749, 6.736, 9.156, 12.04",\
                 "0.3832, 0.449, 0.6842, 1.178, 2.005, 3.188, 4.751, 6.723, 9.14, 12.02",\
                 "0.4292, 0.4904, 0.7134, 1.192, 2.011, 3.196, 4.756, 6.727, 9.13, 12.01",\
                 "0.4758, 0.5396, 0.7494, 1.209, 2.016, 3.192, 4.76, 6.726, 9.132, 12",\
                 "0.5232, 0.5898, 0.794, 1.234, 2.021, 3.2, 4.756, 6.736, 9.132, 12");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003839, 0.01381, 0.03284, 0.06249, 0.1041, 0.1588, 0.2278, 0.312, 0.4124");
          values("1.314, 1.378, 1.546, 1.779, 2.063, 2.403, 2.812, 3.304, 3.893, 4.591",\
                 "1.342, 1.405, 1.573, 1.806, 2.09, 2.431, 2.84, 3.332, 3.921, 4.618",\
                 "1.433, 1.497, 1.665, 1.898, 2.182, 2.522, 2.931, 3.424, 4.013, 4.71",\
                 "1.632, 1.696, 1.864, 2.097, 2.38, 2.721, 3.13, 3.622, 4.212, 4.909",\
                 "1.964, 2.027, 2.195, 2.428, 2.712, 3.052, 3.461, 3.954, 4.543, 5.24",\
                 "2.425, 2.489, 2.66, 2.895, 3.18, 3.522, 3.931, 4.423, 5.013, 5.71",\
                 "2.945, 3.018, 3.204, 3.451, 3.744, 4.09, 4.502, 4.996, 5.585, 6.283",\
                 "3.496, 3.576, 3.779, 4.044, 4.351, 4.706, 5.126, 5.622, 6.214, 6.911",\
                 "4.076, 4.162, 4.386, 4.671, 4.993, 5.359, 5.782, 6.284, 6.878, 7.578",\
                 "4.687, 4.779, 5.023, 5.333, 5.671, 6.048, 6.479, 6.983, 7.58, 8.282");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003839, 0.01381, 0.03284, 0.06249, 0.1041, 0.1588, 0.2278, 0.312, 0.4124");
          values("0.6797, 0.7424, 0.9345, 1.266, 1.767, 2.465, 3.381, 4.535, 5.945, 7.623",\
                 "0.708, 0.7707, 0.9629, 1.295, 1.796, 2.493, 3.41, 4.564, 5.972, 7.642",\
                 "0.8048, 0.8675, 1.059, 1.391, 1.892, 2.59, 3.506, 4.658, 6.064, 7.743",\
                 "0.9825, 1.046, 1.237, 1.568, 2.069, 2.767, 3.684, 4.835, 6.245, 7.92",\
                 "1.2, 1.265, 1.46, 1.793, 2.294, 2.992, 3.908, 5.063, 6.474, 8.153",\
                 "1.406, 1.474, 1.674, 2.01, 2.513, 3.212, 4.128, 5.285, 6.694, 8.373",\
                 "1.59, 1.664, 1.872, 2.21, 2.713, 3.414, 4.331, 5.484, 6.895, 8.565",\
                 "1.747, 1.827, 2.045, 2.387, 2.89, 3.59, 4.508, 5.663, 7.069, 8.748",\
                 "1.871, 1.957, 2.188, 2.538, 3.041, 3.739, 4.658, 5.812, 7.22, 8.896",\
                 "1.959, 2.053, 2.3, 2.656, 3.162, 3.859, 4.776, 5.929, 7.338, 9.016");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003839, 0.01381, 0.03284, 0.06249, 0.1041, 0.1588, 0.2278, 0.312, 0.4124");
          values("0.3622, 0.4108, 0.551, 0.7756, 1.095, 1.532, 2.124, 2.894, 3.862, 5.031",\
                 "0.3622, 0.4116, 0.5514, 0.7754, 1.094, 1.534, 2.123, 2.895, 3.859, 5.031",\
                 "0.3628, 0.4116, 0.5516, 0.776, 1.096, 1.532, 2.123, 2.891, 3.863, 5.029",\
                 "0.3624, 0.4108, 0.5512, 0.775, 1.096, 1.531, 2.122, 2.893, 3.859, 5.036",\
                 "0.3626, 0.4116, 0.5522, 0.7754, 1.096, 1.531, 2.124, 2.894, 3.863, 5.03",\
                 "0.3804, 0.4272, 0.5628, 0.7838, 1.1, 1.536, 2.126, 2.894, 3.858, 5.034",\
                 "0.4376, 0.4856, 0.6164, 0.8262, 1.132, 1.556, 2.138, 2.901, 3.865, 5.035",\
                 "0.497, 0.55, 0.6838, 0.8856, 1.181, 1.599, 2.171, 2.924, 3.877, 5.041",\
                 "0.5572, 0.615, 0.7578, 0.9548, 1.238, 1.646, 2.208, 2.952, 3.9, 5.056",\
                 "0.614, 0.678, 0.834, 1.036, 1.306, 1.698, 2.242, 2.974, 3.916, 5.072");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003839, 0.01381, 0.03284, 0.06249, 0.1041, 0.1588, 0.2278, 0.312, 0.4124");
          values("0.2983, 0.3716, 0.6329, 1.154, 1.993, 3.184, 4.755, 6.733, 9.156, 12",\
                 "0.2991, 0.3718, 0.633, 1.154, 1.993, 3.181, 4.745, 6.734, 9.131, 12.01",\
                 "0.2977, 0.3718, 0.633, 1.154, 1.993, 3.184, 4.755, 6.721, 9.145, 11.99",\
                 "0.3004, 0.374, 0.634, 1.154, 1.993, 3.184, 4.754, 6.724, 9.151, 11.99",\
                 "0.3202, 0.392, 0.6442, 1.156, 1.992, 3.184, 4.752, 6.733, 9.156, 12",\
                 "0.3464, 0.4154, 0.6626, 1.169, 2, 3.182, 4.749, 6.736, 9.156, 12.04",\
                 "0.3832, 0.449, 0.6842, 1.178, 2.005, 3.188, 4.751, 6.723, 9.14, 12.02",\
                 "0.4292, 0.4904, 0.7134, 1.192, 2.011, 3.196, 4.756, 6.727, 9.13, 12.01",\
                 "0.4758, 0.5396, 0.7494, 1.209, 2.016, 3.192, 4.76, 6.726, 9.132, 12",\
                 "0.5232, 0.5898, 0.794, 1.234, 2.021, 3.2, 4.756, 6.736, 9.132, 12");
        }
      }
    }
  }