/*
 * 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_4) {
    area : 72.441600 ;

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

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

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

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

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

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

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

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

    leakage_power() {
      related_pg_pin : "VDD" ;
      value : "5.87376e-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.004228 ;
      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.00473 ;
      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.006084 ;
      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.8244 ;
      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.006684, 0.02663, 0.06473, 0.1241, 0.2074, 0.317, 0.455, 0.6236, 0.8244");
          values("0.08656, 0.08644, 0.0866, 0.08713, 0.08779, 0.08833, 0.08873, 0.08902, 0.08922, 0.08936",\
                 "0.08648, 0.08636, 0.0865, 0.08702, 0.08767, 0.08822, 0.08862, 0.08892, 0.08911, 0.08925",\
                 "0.08626, 0.08614, 0.0863, 0.08682, 0.08748, 0.08803, 0.08842, 0.08873, 0.08893, 0.08906",\
                 "0.08615, 0.08603, 0.08619, 0.08668, 0.08736, 0.0879, 0.0883, 0.08861, 0.08881, 0.08895",\
                 "0.0861, 0.08597, 0.08609, 0.08657, 0.08724, 0.08783, 0.08822, 0.08852, 0.08871, 0.08885",\
                 "0.08601, 0.08586, 0.08603, 0.08653, 0.08717, 0.08774, 0.08815, 0.08845, 0.08866, 0.08878",\
                 "0.08604, 0.08593, 0.08607, 0.08656, 0.08721, 0.08776, 0.08817, 0.08846, 0.08866, 0.0888",\
                 "0.08621, 0.08604, 0.08616, 0.08668, 0.08734, 0.0879, 0.08832, 0.08861, 0.08881, 0.08894",\
                 "0.08645, 0.08632, 0.08648, 0.08696, 0.08767, 0.08822, 0.08863, 0.08891, 0.0891, 0.08922",\
                 "0.0869, 0.08678, 0.08693, 0.08743, 0.08807, 0.08865, 0.08906, 0.08934, 0.08951, 0.08951");
        }

        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.006684, 0.02663, 0.06473, 0.1241, 0.2074, 0.317, 0.455, 0.6236, 0.8244");
          values("0.08157, 0.08161, 0.08185, 0.0824, 0.08323, 0.08424, 0.08498, 0.08622, 0.09276, 0.1388",\
                 "0.08161, 0.08162, 0.08189, 0.08238, 0.08323, 0.08417, 0.08493, 0.08616, 0.09285, 0.1403",\
                 "0.08144, 0.08155, 0.08181, 0.08228, 0.08307, 0.0841, 0.08502, 0.08611, 0.09293, 0.1441",\
                 "0.08131, 0.08138, 0.08167, 0.08219, 0.08303, 0.08396, 0.08504, 0.08608, 0.0948, 0.1521",\
                 "0.08115, 0.08124, 0.08144, 0.08201, 0.08285, 0.08397, 0.08457, 0.08601, 0.09639, 0.1657",\
                 "0.08116, 0.08115, 0.08144, 0.08193, 0.08278, 0.08376, 0.08472, 0.08654, 0.1004, 0.1847",\
                 "0.08114, 0.08121, 0.08147, 0.08213, 0.08289, 0.08392, 0.08476, 0.08684, 0.1073, 0.2162",\
                 "0.08128, 0.08136, 0.08171, 0.08222, 0.08307, 0.0841, 0.08484, 0.08814, 0.1197, 0.2641",\
                 "0.08159, 0.08162, 0.08186, 0.08233, 0.08319, 0.0843, 0.08517, 0.09147, 0.1429, 0.338",\
                 "0.08199, 0.08204, 0.0823, 0.08282, 0.08336, 0.08426, 0.08617, 0.09994, 0.1897, 0.4455");
        }
      }

      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.006684, 0.02663, 0.06473, 0.1241, 0.2074, 0.317, 0.455, 0.6236, 0.8244");
          values("0.1001, 0.1003, 0.1009, 0.1017, 0.1024, 0.1029, 0.1033, 0.1035, 0.1037, 0.1038",\
                 "0.1002, 0.1004, 0.1009, 0.1017, 0.1024, 0.103, 0.1033, 0.1036, 0.1037, 0.1038",\
                 "0.1001, 0.1002, 0.1008, 0.1016, 0.1023, 0.1029, 0.1032, 0.1035, 0.1036, 0.1037",\
                 "0.09989, 0.1001, 0.1006, 0.1014, 0.1022, 0.1027, 0.1031, 0.1033, 0.1035, 0.1036",\
                 "0.0998, 0.09991, 0.1005, 0.1013, 0.102, 0.1026, 0.1029, 0.1032, 0.1033, 0.1034",\
                 "0.09973, 0.09986, 0.1004, 0.1013, 0.102, 0.1025, 0.1028, 0.1031, 0.1032, 0.1033",\
                 "0.09975, 0.09989, 0.1005, 0.1013, 0.102, 0.1025, 0.1029, 0.1031, 0.1033, 0.1034",\
                 "0.09991, 0.1001, 0.1006, 0.1015, 0.1022, 0.1027, 0.1031, 0.1033, 0.1034, 0.1036",\
                 "0.1001, 0.1003, 0.1009, 0.1017, 0.1025, 0.103, 0.1033, 0.1036, 0.1037, 0.1038",\
                 "0.1006, 0.1007, 0.1013, 0.1021, 0.1028, 0.1033, 0.1037, 0.1039, 0.1041, 0.1042");
        }

        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.006684, 0.02663, 0.06473, 0.1241, 0.2074, 0.317, 0.455, 0.6236, 0.8244");
          values("0.08718, 0.08736, 0.08785, 0.08888, 0.08982, 0.09079, 0.09162, 0.09275, 0.098, 0.14",\
                 "0.08708, 0.08728, 0.0878, 0.08863, 0.0898, 0.09079, 0.09164, 0.09266, 0.09826, 0.1405",\
                 "0.08687, 0.08704, 0.08754, 0.08848, 0.08949, 0.0907, 0.09134, 0.09235, 0.09848, 0.1441",\
                 "0.08677, 0.08695, 0.08745, 0.08837, 0.08953, 0.09045, 0.09112, 0.09228, 0.09955, 0.1524",\
                 "0.08668, 0.08684, 0.08734, 0.08836, 0.08938, 0.09049, 0.0909, 0.0927, 0.1017, 0.1669",\
                 "0.08659, 0.08683, 0.08727, 0.08823, 0.08926, 0.09023, 0.09107, 0.09316, 0.107, 0.1936",\
                 "0.08665, 0.08685, 0.08732, 0.08821, 0.08937, 0.09034, 0.09107, 0.09354, 0.1178, 0.2404",\
                 "0.08677, 0.08689, 0.08747, 0.08848, 0.08951, 0.09065, 0.09166, 0.09634, 0.1412, 0.321",\
                 "0.08702, 0.08728, 0.08778, 0.08868, 0.08994, 0.09081, 0.09216, 0.1055, 0.1952, 0.4515",\
                 "0.08755, 0.08778, 0.08829, 0.08904, 0.0901, 0.09116, 0.09532, 0.1377, 0.3165, 0.6217");
        }
      }

      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.006684, 0.02663, 0.06473, 0.1241, 0.2074, 0.317, 0.455, 0.6236, 0.8244");
          values("0.06672, 0.0666, 0.06671, 0.06722, 0.06788, 0.06843, 0.06885, 0.06914, 0.06934, 0.06948",\
                 "0.06671, 0.06656, 0.06671, 0.06723, 0.06788, 0.06844, 0.06885, 0.06914, 0.06933, 0.06947",\
                 "0.06666, 0.06654, 0.06667, 0.06719, 0.06785, 0.0684, 0.06881, 0.0691, 0.0693, 0.06944",\
                 "0.06655, 0.06642, 0.06658, 0.06707, 0.06772, 0.06828, 0.06869, 0.06898, 0.06918, 0.06932",\
                 "0.06643, 0.06631, 0.06642, 0.06693, 0.06757, 0.06812, 0.06854, 0.06883, 0.06904, 0.06918",\
                 "0.06631, 0.06618, 0.06628, 0.06679, 0.06745, 0.068, 0.06843, 0.06873, 0.06893, 0.06907",\
                 "0.06632, 0.06623, 0.06633, 0.06683, 0.06744, 0.06799, 0.06842, 0.06872, 0.06892, 0.06907",\
                 "0.06641, 0.06625, 0.06637, 0.06686, 0.06751, 0.06807, 0.06848, 0.06877, 0.06897, 0.06911",\
                 "0.0666, 0.06646, 0.06654, 0.06703, 0.06764, 0.06822, 0.06865, 0.06894, 0.06914, 0.06927",\
                 "0.06691, 0.06677, 0.06686, 0.06728, 0.06796, 0.06849, 0.06893, 0.06923, 0.06943, 0.06958");
        }

        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.006684, 0.02663, 0.06473, 0.1241, 0.2074, 0.317, 0.455, 0.6236, 0.8244");
          values("0.0781, 0.07819, 0.07851, 0.07901, 0.07993, 0.08075, 0.08169, 0.08272, 0.08774, 0.1267",\
                 "0.07818, 0.07816, 0.07853, 0.07898, 0.07986, 0.08084, 0.08169, 0.08238, 0.08819, 0.1279",\
                 "0.07794, 0.078, 0.07836, 0.07887, 0.07965, 0.0806, 0.08154, 0.08234, 0.08877, 0.1307",\
                 "0.07773, 0.0778, 0.07812, 0.0786, 0.07945, 0.08046, 0.08127, 0.08249, 0.08907, 0.1386",\
                 "0.07769, 0.07768, 0.07795, 0.07849, 0.07927, 0.08028, 0.08136, 0.08219, 0.09214, 0.1536",\
                 "0.07762, 0.07775, 0.07798, 0.07849, 0.07934, 0.08032, 0.08123, 0.08277, 0.09721, 0.1818",\
                 "0.0777, 0.07781, 0.07802, 0.07856, 0.07941, 0.08033, 0.08132, 0.08391, 0.1095, 0.2348",\
                 "0.07796, 0.07799, 0.07826, 0.0788, 0.07948, 0.08053, 0.08132, 0.08765, 0.1384, 0.3331",\
                 "0.07825, 0.07826, 0.07848, 0.07912, 0.07995, 0.08084, 0.08252, 0.1011, 0.2127, 0.49",\
                 "0.07872, 0.07879, 0.07889, 0.07945, 0.08004, 0.08141, 0.08838, 0.1559, 0.3726, 0.6685");
        }
      }

      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.006684, 0.02663, 0.06473, 0.1241, 0.2074, 0.317, 0.455, 0.6236, 0.8244");
          values("0.09678, 0.09689, 0.0975, 0.0983, 0.09903, 0.09955, 0.09991, 0.1001, 0.1003, 0.1004",\
                 "0.09675, 0.09693, 0.09751, 0.09828, 0.099, 0.09953, 0.09991, 0.1001, 0.1003, 0.1004",\
                 "0.0966, 0.09672, 0.09733, 0.09814, 0.09886, 0.09938, 0.09974, 0.09997, 0.1001, 0.1002",\
                 "0.09641, 0.09656, 0.09713, 0.09794, 0.09866, 0.09918, 0.09955, 0.09978, 0.09994, 0.1",\
                 "0.09629, 0.09647, 0.09702, 0.09783, 0.09855, 0.09907, 0.09944, 0.09967, 0.09984, 0.09994",\
                 "0.0963, 0.09642, 0.09704, 0.09779, 0.09854, 0.09907, 0.09943, 0.09967, 0.09984, 0.09993",\
                 "0.0964, 0.09656, 0.09713, 0.09794, 0.09865, 0.09919, 0.09955, 0.09978, 0.09994, 0.1",\
                 "0.09663, 0.0968, 0.09738, 0.09819, 0.09889, 0.09941, 0.09978, 0.1, 0.1002, 0.1003",\
                 "0.09689, 0.09707, 0.09764, 0.09848, 0.09919, 0.09971, 0.1001, 0.1003, 0.1005, 0.1005",\
                 "0.09732, 0.09746, 0.09806, 0.09888, 0.09957, 0.1001, 0.1004, 0.1007, 0.1008, 0.1007");
        }

        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.006684, 0.02663, 0.06473, 0.1241, 0.2074, 0.317, 0.455, 0.6236, 0.8244");
          values("0.06723, 0.06743, 0.06796, 0.06883, 0.06992, 0.07096, 0.0718, 0.07277, 0.07615, 0.1043",\
                 "0.06723, 0.06744, 0.068, 0.06885, 0.06992, 0.07111, 0.07176, 0.07257, 0.07601, 0.1051",\
                 "0.06722, 0.06737, 0.06793, 0.06878, 0.06993, 0.07093, 0.07178, 0.07261, 0.0765, 0.1067",\
                 "0.06715, 0.06732, 0.06778, 0.06871, 0.06988, 0.07082, 0.07165, 0.07259, 0.07717, 0.1125",\
                 "0.0671, 0.06725, 0.06785, 0.06873, 0.06981, 0.07095, 0.07171, 0.07274, 0.07788, 0.1215",\
                 "0.06706, 0.06734, 0.06777, 0.06865, 0.06975, 0.07075, 0.07183, 0.07276, 0.08068, 0.1367",\
                 "0.06704, 0.06725, 0.06783, 0.06865, 0.06979, 0.07082, 0.07144, 0.07353, 0.08484, 0.1606",\
                 "0.0672, 0.06741, 0.06795, 0.06871, 0.07004, 0.07098, 0.07159, 0.07365, 0.09302, 0.2002",\
                 "0.06748, 0.06766, 0.06808, 0.06896, 0.0699, 0.07125, 0.0724, 0.0753, 0.1098, 0.2641",\
                 "0.06786, 0.06805, 0.0685, 0.06948, 0.07024, 0.07095, 0.07232, 0.08137, 0.1465, 0.3663");
        }
      }

      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.006684, 0.02663, 0.06473, 0.1241, 0.2074, 0.317, 0.455, 0.6236, 0.8244");
          values("0.08562, 0.0855, 0.08559, 0.08609, 0.08679, 0.08734, 0.08775, 0.08803, 0.08823, 0.08837",\
                 "0.08542, 0.08526, 0.08543, 0.08595, 0.08662, 0.08716, 0.08756, 0.08786, 0.08806, 0.08818",\
                 "0.0852, 0.08509, 0.08521, 0.08574, 0.08638, 0.08694, 0.08735, 0.08763, 0.08783, 0.08796",\
                 "0.08513, 0.08495, 0.08511, 0.0856, 0.08629, 0.08685, 0.08725, 0.08752, 0.08773, 0.08787",\
                 "0.08508, 0.085, 0.08511, 0.08561, 0.08628, 0.08683, 0.08723, 0.08753, 0.08773, 0.08786",\
                 "0.08517, 0.08506, 0.0852, 0.08568, 0.08637, 0.08692, 0.08731, 0.0876, 0.08781, 0.08795",\
                 "0.08535, 0.08524, 0.08536, 0.08588, 0.08653, 0.08708, 0.08749, 0.08778, 0.08798, 0.08811",\
                 "0.0856, 0.08549, 0.0856, 0.08612, 0.08677, 0.08733, 0.08773, 0.08802, 0.08821, 0.08835",\
                 "0.08596, 0.08582, 0.08598, 0.08648, 0.08712, 0.08769, 0.0881, 0.08838, 0.08857, 0.08868",\
                 "0.08637, 0.08625, 0.08643, 0.08692, 0.0876, 0.08812, 0.08855, 0.08883, 0.08899, 0.08891");
        }

        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.006684, 0.02663, 0.06473, 0.1241, 0.2074, 0.317, 0.455, 0.6236, 0.8244");
          values("0.07935, 0.07938, 0.07961, 0.08023, 0.08094, 0.08199, 0.08271, 0.084, 0.09, 0.1339",\
                 "0.07931, 0.0795, 0.07971, 0.08023, 0.0811, 0.08217, 0.08273, 0.08394, 0.08987, 0.1359",\
                 "0.07929, 0.07942, 0.07969, 0.0802, 0.0809, 0.08197, 0.08284, 0.08402, 0.09089, 0.1392",\
                 "0.07914, 0.07924, 0.07948, 0.08002, 0.08087, 0.08175, 0.08273, 0.08382, 0.09178, 0.1467",\
                 "0.07909, 0.07915, 0.07941, 0.08002, 0.08072, 0.08177, 0.08267, 0.08375, 0.0939, 0.1585",\
                 "0.07906, 0.07912, 0.07949, 0.08002, 0.08083, 0.08186, 0.08273, 0.08386, 0.09793, 0.1776",\
                 "0.0792, 0.07921, 0.07957, 0.08009, 0.0809, 0.08186, 0.08284, 0.08449, 0.1036, 0.207",\
                 "0.07935, 0.07942, 0.07963, 0.08041, 0.08097, 0.08213, 0.08299, 0.08611, 0.1145, 0.2525",\
                 "0.07966, 0.07973, 0.08004, 0.08047, 0.08117, 0.08247, 0.08318, 0.08899, 0.1365, 0.3234",\
                 "0.08, 0.08009, 0.08036, 0.08085, 0.08157, 0.08213, 0.08405, 0.09658, 0.1801, 0.4272");
        }
      }

      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.006684, 0.02663, 0.06473, 0.1241, 0.2074, 0.317, 0.455, 0.6236, 0.8244");
          values("0.09788, 0.09799, 0.09855, 0.09936, 0.1001, 0.1007, 0.101, 0.1013, 0.1014, 0.1015",\
                 "0.09791, 0.09809, 0.09864, 0.09945, 0.1002, 0.1007, 0.1011, 0.1013, 0.1015, 0.1016",\
                 "0.09786, 0.09803, 0.09859, 0.09939, 0.1001, 0.1006, 0.101, 0.1012, 0.1014, 0.1015",\
                 "0.09777, 0.0979, 0.09844, 0.09925, 0.09999, 0.1005, 0.1009, 0.1011, 0.1013, 0.1014",\
                 "0.09763, 0.09782, 0.09839, 0.09919, 0.09991, 0.1004, 0.1008, 0.101, 0.1012, 0.1013",\
                 "0.09765, 0.09781, 0.09838, 0.09919, 0.0999, 0.1004, 0.1008, 0.101, 0.1012, 0.1013",\
                 "0.09772, 0.09787, 0.09843, 0.09926, 0.09998, 0.1005, 0.1009, 0.1011, 0.1013, 0.1014",\
                 "0.09789, 0.09804, 0.0986, 0.09946, 0.1002, 0.1007, 0.101, 0.1013, 0.1014, 0.1015",\
                 "0.09814, 0.09829, 0.09891, 0.09974, 0.1005, 0.101, 0.1013, 0.1016, 0.1017, 0.1018",\
                 "0.0986, 0.09877, 0.09927, 0.1001, 0.1009, 0.1014, 0.1017, 0.102, 0.1021, 0.1022");
        }

        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.006684, 0.02663, 0.06473, 0.1241, 0.2074, 0.317, 0.455, 0.6236, 0.8244");
          values("0.0862, 0.08637, 0.08683, 0.08776, 0.08879, 0.08982, 0.09063, 0.09161, 0.09705, 0.1374",\
                 "0.08602, 0.08617, 0.08675, 0.08761, 0.08862, 0.08983, 0.09047, 0.09123, 0.09727, 0.1382",\
                 "0.08576, 0.08597, 0.08656, 0.08745, 0.08852, 0.08949, 0.0902, 0.09132, 0.09731, 0.1407",\
                 "0.08562, 0.08586, 0.08643, 0.08733, 0.08835, 0.08956, 0.0902, 0.0917, 0.09819, 0.1495",\
                 "0.08568, 0.08587, 0.0864, 0.08727, 0.0883, 0.08953, 0.09025, 0.09144, 0.1009, 0.1655",\
                 "0.08577, 0.08596, 0.08648, 0.08743, 0.08843, 0.0896, 0.09038, 0.0917, 0.1065, 0.1949",\
                 "0.08586, 0.08612, 0.08669, 0.08756, 0.08861, 0.08958, 0.09046, 0.09298, 0.1189, 0.2482",\
                 "0.08615, 0.08638, 0.08694, 0.08776, 0.08893, 0.09012, 0.09091, 0.09673, 0.1468, 0.3391",\
                 "0.08653, 0.08671, 0.08721, 0.08828, 0.08922, 0.09021, 0.09164, 0.1083, 0.2122, 0.4812",\
                 "0.08704, 0.08722, 0.08786, 0.08859, 0.08958, 0.09089, 0.09605, 0.1515, 0.3516, 0.654");
        }
      }

      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.006684, 0.02663, 0.06473, 0.1241, 0.2074, 0.317, 0.455, 0.6236, 0.8244");
          values("0.06737, 0.06727, 0.06737, 0.06788, 0.06854, 0.06909, 0.0695, 0.0698, 0.06999, 0.07014",\
                 "0.06738, 0.06728, 0.06741, 0.06791, 0.06857, 0.06912, 0.06953, 0.06982, 0.07001, 0.07015",\
                 "0.06741, 0.06727, 0.06742, 0.06792, 0.06857, 0.06913, 0.06954, 0.06983, 0.07003, 0.07017",\
                 "0.06733, 0.06722, 0.06735, 0.06784, 0.06848, 0.06904, 0.06945, 0.06975, 0.06995, 0.07008",\
                 "0.06719, 0.06708, 0.0672, 0.06771, 0.06835, 0.06891, 0.06933, 0.06962, 0.06982, 0.06996",\
                 "0.06704, 0.0669, 0.06702, 0.06756, 0.06821, 0.06877, 0.0692, 0.06949, 0.0697, 0.06984",\
                 "0.06702, 0.06687, 0.06702, 0.06752, 0.06815, 0.06873, 0.06914, 0.06943, 0.06963, 0.06978",\
                 "0.06702, 0.06689, 0.06702, 0.06751, 0.06818, 0.06873, 0.06914, 0.06943, 0.06962, 0.06978",\
                 "0.06714, 0.06703, 0.06714, 0.06762, 0.06827, 0.06882, 0.06925, 0.06955, 0.06975, 0.06989",\
                 "0.06737, 0.06724, 0.06735, 0.06782, 0.06847, 0.06902, 0.06945, 0.06974, 0.06996, 0.0701");
        }

        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.006684, 0.02663, 0.06473, 0.1241, 0.2074, 0.317, 0.455, 0.6236, 0.8244");
          values("0.07973, 0.07976, 0.08004, 0.08064, 0.08141, 0.08232, 0.08327, 0.08411, 0.08993, 0.131",\
                 "0.07962, 0.07964, 0.07996, 0.08051, 0.08132, 0.08223, 0.08307, 0.08418, 0.09002, 0.132",\
                 "0.07957, 0.07958, 0.07983, 0.08047, 0.08121, 0.08217, 0.08306, 0.08413, 0.09024, 0.1359",\
                 "0.07943, 0.07944, 0.07976, 0.08033, 0.0811, 0.08205, 0.08304, 0.08397, 0.09153, 0.144",\
                 "0.07934, 0.07939, 0.07966, 0.0802, 0.08098, 0.08197, 0.083, 0.08413, 0.09392, 0.1608",\
                 "0.07937, 0.07943, 0.07966, 0.08028, 0.08105, 0.08197, 0.08297, 0.08436, 0.1005, 0.19",\
                 "0.07951, 0.07952, 0.07975, 0.08031, 0.08119, 0.08206, 0.08301, 0.08554, 0.1132, 0.2465",\
                 "0.07968, 0.07971, 0.08001, 0.08056, 0.08139, 0.08223, 0.08324, 0.09016, 0.146, 0.3496",\
                 "0.08003, 0.08007, 0.08038, 0.08091, 0.08175, 0.08262, 0.08433, 0.1058, 0.2274, 0.5123",\
                 "0.08041, 0.08049, 0.08069, 0.08116, 0.08209, 0.08304, 0.09197, 0.1697, 0.3972, 0.6863");
        }
      }

      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.006684, 0.02663, 0.06473, 0.1241, 0.2074, 0.317, 0.455, 0.6236, 0.8244");
          values("0.09845, 0.09858, 0.09916, 0.09997, 0.1007, 0.1012, 0.1016, 0.1018, 0.102, 0.1021",\
                 "0.09833, 0.09849, 0.09908, 0.09987, 0.1006, 0.1011, 0.1015, 0.1017, 0.1019, 0.102",\
                 "0.09821, 0.09839, 0.09894, 0.09976, 0.1005, 0.101, 0.1014, 0.1016, 0.1018, 0.1019",\
                 "0.09814, 0.09824, 0.09879, 0.09968, 0.1004, 0.1009, 0.1013, 0.1015, 0.1017, 0.1018",\
                 "0.09805, 0.09825, 0.0988, 0.0996, 0.1003, 0.1009, 0.1012, 0.1015, 0.1016, 0.1017",\
                 "0.09807, 0.09824, 0.0988, 0.09962, 0.1003, 0.1009, 0.1012, 0.1015, 0.1016, 0.1017",\
                 "0.09819, 0.09836, 0.0989, 0.09974, 0.1004, 0.101, 0.1013, 0.1016, 0.1017, 0.1018",\
                 "0.09844, 0.09855, 0.09915, 0.09996, 0.1007, 0.1012, 0.1016, 0.1018, 0.102, 0.1021",\
                 "0.09874, 0.09887, 0.09947, 0.1003, 0.101, 0.1015, 0.1019, 0.1021, 0.1023, 0.1023",\
                 "0.0991, 0.09928, 0.09978, 0.1006, 0.1014, 0.1019, 0.1022, 0.1025, 0.1026, 0.1024");
        }

        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.006684, 0.02663, 0.06473, 0.1241, 0.2074, 0.317, 0.455, 0.6236, 0.8244");
          values("0.0679, 0.06807, 0.06861, 0.06957, 0.07055, 0.07156, 0.07241, 0.07319, 0.07651, 0.105",\
                 "0.06792, 0.0682, 0.06858, 0.06946, 0.07064, 0.07168, 0.07252, 0.07329, 0.07655, 0.1058",\
                 "0.06794, 0.06814, 0.06869, 0.06959, 0.0706, 0.07172, 0.07246, 0.07324, 0.07722, 0.1084",\
                 "0.06789, 0.06809, 0.06868, 0.06943, 0.0706, 0.07174, 0.07237, 0.0738, 0.07767, 0.1129",\
                 "0.06783, 0.06801, 0.06852, 0.06946, 0.07042, 0.07159, 0.07234, 0.07377, 0.07896, 0.1204",\
                 "0.06781, 0.06791, 0.06846, 0.06936, 0.07051, 0.07163, 0.07253, 0.07335, 0.08091, 0.1352",\
                 "0.06773, 0.06794, 0.06849, 0.06945, 0.07044, 0.0715, 0.07219, 0.07365, 0.0849, 0.1583",\
                 "0.06783, 0.06792, 0.06854, 0.0693, 0.07064, 0.07168, 0.07232, 0.07433, 0.09296, 0.1955",\
                 "0.06804, 0.0682, 0.06876, 0.06959, 0.07015, 0.07176, 0.07291, 0.07553, 0.1084, 0.2566",\
                 "0.06823, 0.06849, 0.06892, 0.06986, 0.07071, 0.07163, 0.07283, 0.08127, 0.142, 0.3537");
        }
      }

      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.006684, 0.02663, 0.06473, 0.1241, 0.2074, 0.317, 0.455, 0.6236, 0.8244");
          values("0.06515, 0.06505, 0.06517, 0.06569, 0.06634, 0.06689, 0.06729, 0.06757, 0.06777, 0.06791",\
                 "0.06505, 0.06492, 0.06508, 0.06557, 0.06623, 0.06678, 0.06719, 0.06746, 0.06766, 0.0678",\
                 "0.06471, 0.06459, 0.06472, 0.06525, 0.0659, 0.06645, 0.06685, 0.06714, 0.06733, 0.06747",\
                 "0.06429, 0.06417, 0.06429, 0.06481, 0.06545, 0.06601, 0.06641, 0.0667, 0.0669, 0.06704",\
                 "0.06395, 0.06385, 0.06396, 0.06442, 0.06503, 0.06558, 0.06601, 0.06632, 0.06654, 0.06669",\
                 "0.06385, 0.06371, 0.06376, 0.06417, 0.06472, 0.06526, 0.06572, 0.06605, 0.0663, 0.06647",\
                 "0.06436, 0.06411, 0.0639, 0.06414, 0.06461, 0.06513, 0.06557, 0.06593, 0.0662, 0.06641",\
                 "0.06524, 0.06486, 0.0644, 0.06443, 0.06476, 0.06519, 0.06561, 0.06595, 0.06625, 0.06647",\
                 "0.0663, 0.06573, 0.06506, 0.06486, 0.06508, 0.06541, 0.06581, 0.06615, 0.06644, 0.06666",\
                 "0.06765, 0.067, 0.06602, 0.06567, 0.06565, 0.06591, 0.06621, 0.06651, 0.0668, 0.06696");
        }

        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.006684, 0.02663, 0.06473, 0.1241, 0.2074, 0.317, 0.455, 0.6236, 0.8244");
          values("0.0438, 0.044, 0.04473, 0.04564, 0.04687, 0.04775, 0.04862, 0.04954, 0.0516, 0.06827",\
                 "0.0439, 0.04406, 0.04466, 0.04571, 0.04688, 0.0479, 0.04853, 0.04947, 0.05142, 0.06891",\
                 "0.04384, 0.04408, 0.0447, 0.0457, 0.04676, 0.0479, 0.04857, 0.04922, 0.05168, 0.07017",\
                 "0.04371, 0.04391, 0.04446, 0.04528, 0.04631, 0.04741, 0.04817, 0.04897, 0.05128, 0.07345",\
                 "0.04358, 0.0437, 0.04417, 0.04494, 0.04582, 0.04689, 0.04774, 0.04886, 0.05177, 0.07894",\
                 "0.0435, 0.04354, 0.04392, 0.04467, 0.04544, 0.04646, 0.04722, 0.04834, 0.05266, 0.0881",\
                 "0.04366, 0.04367, 0.04387, 0.04429, 0.04539, 0.04604, 0.04696, 0.04806, 0.05501, 0.1049",\
                 "0.04402, 0.04392, 0.04413, 0.04436, 0.04481, 0.04637, 0.04704, 0.04835, 0.05984, 0.133",\
                 "0.04446, 0.04432, 0.04436, 0.04469, 0.04507, 0.04552, 0.04731, 0.04954, 0.07091, 0.1841",\
                 "0.0452, 0.04507, 0.04485, 0.04505, 0.04525, 0.04606, 0.0465, 0.05278, 0.09689, 0.2733");
        }
      }

      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.006684, 0.02663, 0.06473, 0.1241, 0.2074, 0.317, 0.455, 0.6236, 0.8244");
          values("0.06954, 0.0697, 0.07028, 0.07109, 0.07181, 0.07232, 0.07268, 0.07292, 0.07307, 0.07318",\
                 "0.06957, 0.06972, 0.07033, 0.07114, 0.07187, 0.07237, 0.07271, 0.07295, 0.07311, 0.07321",\
                 "0.06938, 0.06956, 0.07013, 0.07095, 0.07165, 0.07217, 0.07251, 0.07275, 0.07292, 0.07303",\
                 "0.06882, 0.06899, 0.06957, 0.07039, 0.07111, 0.07163, 0.07199, 0.07222, 0.07239, 0.07249",\
                 "0.06841, 0.06858, 0.06913, 0.06997, 0.07071, 0.07124, 0.07159, 0.0718, 0.07195, 0.07208",\
                 "0.06814, 0.06826, 0.06889, 0.0697, 0.07043, 0.07095, 0.0713, 0.07154, 0.07171, 0.07181",\
                 "0.06799, 0.06812, 0.06868, 0.06953, 0.07028, 0.0708, 0.07114, 0.07138, 0.07154, 0.07164",\
                 "0.068, 0.06814, 0.06874, 0.06952, 0.07024, 0.07076, 0.07113, 0.07137, 0.07152, 0.07164",\
                 "0.06817, 0.06829, 0.06887, 0.06966, 0.07037, 0.07089, 0.07128, 0.07151, 0.07168, 0.0718",\
                 "0.06842, 0.06858, 0.06911, 0.06985, 0.07058, 0.07114, 0.07151, 0.07175, 0.07194, 0.07207");
        }

        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.006684, 0.02663, 0.06473, 0.1241, 0.2074, 0.317, 0.455, 0.6236, 0.8244");
          values("0.07329, 0.07346, 0.07397, 0.07479, 0.07571, 0.07674, 0.07764, 0.0786, 0.08101, 0.1047",\
                 "0.07322, 0.07337, 0.07391, 0.07472, 0.07578, 0.07674, 0.07761, 0.07837, 0.08123, 0.1051",\
                 "0.07322, 0.07334, 0.07383, 0.07468, 0.07564, 0.07663, 0.07761, 0.0785, 0.08155, 0.1078",\
                 "0.07314, 0.07328, 0.07391, 0.07465, 0.07564, 0.07672, 0.07727, 0.07835, 0.08204, 0.1134",\
                 "0.07304, 0.07321, 0.07363, 0.07445, 0.07557, 0.07652, 0.07739, 0.07828, 0.08351, 0.123",\
                 "0.073, 0.07312, 0.07364, 0.07445, 0.07548, 0.07638, 0.07734, 0.07848, 0.08599, 0.1419",\
                 "0.073, 0.07316, 0.0737, 0.07441, 0.07537, 0.07649, 0.07725, 0.07884, 0.09222, 0.1769",\
                 "0.07315, 0.07327, 0.07369, 0.07466, 0.0756, 0.07667, 0.07722, 0.08022, 0.1078, 0.2408",\
                 "0.07341, 0.07353, 0.07395, 0.07465, 0.07571, 0.07692, 0.07741, 0.08514, 0.1444, 0.355",\
                 "0.07383, 0.07394, 0.07442, 0.07506, 0.07587, 0.07678, 0.07942, 0.1042, 0.2374, 0.5295");
        }
      }

      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.006684, 0.02663, 0.06473, 0.1241, 0.2074, 0.317, 0.455, 0.6236, 0.8244");
          values("0.06954, 0.0697, 0.07028, 0.0711, 0.0718, 0.07232, 0.07268, 0.07292, 0.07307, 0.07317",\
                 "0.06957, 0.06973, 0.07033, 0.07113, 0.07187, 0.07236, 0.07272, 0.07295, 0.07311, 0.07323",\
                 "0.06938, 0.06956, 0.07013, 0.07094, 0.07165, 0.07217, 0.07252, 0.07275, 0.07291, 0.07302",\
                 "0.06884, 0.06902, 0.06957, 0.07039, 0.07112, 0.07163, 0.07199, 0.07222, 0.07238, 0.07249",\
                 "0.06843, 0.06858, 0.06914, 0.06997, 0.07071, 0.07124, 0.07159, 0.07181, 0.07196, 0.07208",\
                 "0.06815, 0.06826, 0.06889, 0.0697, 0.07045, 0.07095, 0.07131, 0.07155, 0.07169, 0.0718",\
                 "0.06799, 0.06812, 0.06868, 0.06953, 0.07028, 0.0708, 0.07114, 0.07138, 0.07153, 0.07164",\
                 "0.068, 0.06817, 0.0687, 0.06952, 0.07024, 0.07076, 0.07113, 0.07137, 0.07152, 0.07164",\
                 "0.06817, 0.06829, 0.06887, 0.06966, 0.07037, 0.0709, 0.07128, 0.07152, 0.07169, 0.07181",\
                 "0.06842, 0.06859, 0.06911, 0.06983, 0.07059, 0.07114, 0.07151, 0.07177, 0.07194, 0.07206");
        }

        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.006684, 0.02663, 0.06473, 0.1241, 0.2074, 0.317, 0.455, 0.6236, 0.8244");
          values("0.0733, 0.07346, 0.07397, 0.07479, 0.07585, 0.07685, 0.07755, 0.07839, 0.08119, 0.105",\
                 "0.07322, 0.07337, 0.07391, 0.07472, 0.07578, 0.07674, 0.07761, 0.07837, 0.08123, 0.1051",\
                 "0.07322, 0.07334, 0.07383, 0.07468, 0.07564, 0.07663, 0.07761, 0.0785, 0.08155, 0.1078",\
                 "0.07309, 0.07323, 0.07373, 0.07457, 0.07564, 0.07654, 0.07737, 0.07824, 0.08239, 0.1129",\
                 "0.07301, 0.07321, 0.07372, 0.07445, 0.07557, 0.07667, 0.07739, 0.07828, 0.08351, 0.123",\
                 "0.07294, 0.07321, 0.07357, 0.07436, 0.07553, 0.07651, 0.07734, 0.07852, 0.08639, 0.1417",\
                 "0.07301, 0.07316, 0.07368, 0.07441, 0.07537, 0.07647, 0.07725, 0.07884, 0.09267, 0.1769",\
                 "0.07316, 0.07327, 0.07378, 0.07454, 0.0756, 0.07667, 0.07725, 0.08023, 0.1078, 0.2408",\
                 "0.07341, 0.07354, 0.07397, 0.07465, 0.07567, 0.07692, 0.0774, 0.08514, 0.1444, 0.3551",\
                 "0.07389, 0.07403, 0.07444, 0.07504, 0.07593, 0.07687, 0.07947, 0.1043, 0.2373, 0.5295");
        }
      }

      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.006684, 0.02663, 0.06473, 0.1241, 0.2074, 0.317, 0.455, 0.6236, 0.8244");
          values("0.06518, 0.065, 0.06517, 0.0657, 0.06635, 0.06689, 0.06729, 0.06757, 0.06777, 0.06791",\
                 "0.06505, 0.06493, 0.06507, 0.06559, 0.06623, 0.06677, 0.06719, 0.06746, 0.06766, 0.0678",\
                 "0.06471, 0.06459, 0.06471, 0.06524, 0.06589, 0.06644, 0.06684, 0.06713, 0.06732, 0.06746",\
                 "0.06428, 0.06415, 0.06431, 0.06481, 0.06546, 0.066, 0.06641, 0.06669, 0.06689, 0.06705",\
                 "0.06394, 0.06384, 0.06397, 0.06441, 0.06503, 0.06559, 0.06601, 0.06633, 0.06654, 0.06669",\
                 "0.06387, 0.0637, 0.06377, 0.06417, 0.06471, 0.06527, 0.06572, 0.06605, 0.0663, 0.06648",\
                 "0.06435, 0.0641, 0.0639, 0.06414, 0.06461, 0.06511, 0.06557, 0.06593, 0.0662, 0.0664",\
                 "0.06522, 0.06482, 0.06438, 0.06445, 0.06476, 0.06516, 0.06562, 0.06597, 0.06625, 0.06648",\
                 "0.06627, 0.06577, 0.06505, 0.06489, 0.06506, 0.06542, 0.0658, 0.06614, 0.06644, 0.06665",\
                 "0.06769, 0.06701, 0.06605, 0.06564, 0.06564, 0.06588, 0.06617, 0.06652, 0.0668, 0.06695");
        }

        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.006684, 0.02663, 0.06473, 0.1241, 0.2074, 0.317, 0.455, 0.6236, 0.8244");
          values("0.0438, 0.044, 0.04473, 0.04564, 0.04685, 0.0479, 0.04862, 0.04938, 0.0516, 0.06827",\
                 "0.04386, 0.04406, 0.04465, 0.04571, 0.04689, 0.0479, 0.04853, 0.04947, 0.05142, 0.06861",\
                 "0.04391, 0.04407, 0.04465, 0.0457, 0.04676, 0.04783, 0.04853, 0.04952, 0.05115, 0.06981",\
                 "0.04371, 0.0439, 0.04446, 0.04528, 0.04631, 0.04739, 0.04817, 0.04897, 0.05128, 0.07345",\
                 "0.04361, 0.04372, 0.04415, 0.04498, 0.04577, 0.04685, 0.04769, 0.04888, 0.05141, 0.07811",\
                 "0.04351, 0.04365, 0.04395, 0.04465, 0.0455, 0.04646, 0.0474, 0.04847, 0.05324, 0.0881",\
                 "0.04366, 0.04366, 0.04374, 0.04442, 0.04541, 0.04599, 0.04686, 0.04802, 0.05537, 0.1052",\
                 "0.044, 0.04392, 0.0441, 0.04418, 0.04474, 0.04617, 0.04704, 0.04824, 0.05984, 0.1333",\
                 "0.0445, 0.04432, 0.04433, 0.04462, 0.04496, 0.04532, 0.04726, 0.04978, 0.07109, 0.1841",\
                 "0.04525, 0.04509, 0.04494, 0.04503, 0.04545, 0.04552, 0.04679, 0.05278, 0.09689, 0.2735");
        }
      }

      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.006684, 0.02663, 0.06473, 0.1241, 0.2074, 0.317, 0.455, 0.6236, 0.8244");
          values("4.996, 5.058, 5.216, 5.431, 5.694, 6.015, 6.411, 6.897, 7.484, 8.182",\
                 "5.03, 5.092, 5.25, 5.465, 5.728, 6.05, 6.446, 6.931, 7.518, 8.216",\
                 "5.127, 5.189, 5.348, 5.562, 5.824, 6.146, 6.542, 7.028, 7.615, 8.313",\
                 "5.258, 5.32, 5.478, 5.693, 5.956, 6.278, 6.674, 7.159, 7.746, 8.444",\
                 "5.37, 5.432, 5.59, 5.805, 6.068, 6.39, 6.785, 7.271, 7.858, 8.556",\
                 "5.45, 5.512, 5.67, 5.885, 6.147, 6.469, 6.865, 7.351, 7.938, 8.636",\
                 "5.497, 5.559, 5.716, 5.931, 6.194, 6.516, 6.912, 7.397, 7.984, 8.682",\
                 "5.492, 5.554, 5.712, 5.926, 6.189, 6.511, 6.907, 7.393, 7.98, 8.678",\
                 "5.434, 5.497, 5.655, 5.87, 6.133, 6.454, 6.85, 7.335, 7.923, 8.62",\
                 "5.324, 5.387, 5.545, 5.76, 6.022, 6.344, 6.74, 7.226, 7.813, 8.51");
        }

        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.006684, 0.02663, 0.06473, 0.1241, 0.2074, 0.317, 0.455, 0.6236, 0.8244");
          values("4.203, 4.282, 4.503, 4.854, 5.362, 6.063, 6.981, 8.135, 9.547, 11.22",\
                 "4.223, 4.301, 4.522, 4.873, 5.382, 6.083, 7.001, 8.154, 9.565, 11.24",\
                 "4.313, 4.392, 4.613, 4.963, 5.472, 6.173, 7.09, 8.246, 9.657, 11.33",\
                 "4.49, 4.569, 4.789, 5.14, 5.649, 6.35, 7.268, 8.423, 9.834, 11.51",\
                 "4.759, 4.838, 5.058, 5.41, 5.919, 6.619, 7.536, 8.692, 10.1, 11.78",\
                 "5.128, 5.207, 5.427, 5.778, 6.287, 6.988, 7.906, 9.061, 10.47, 12.15",\
                 "5.577, 5.656, 5.877, 6.227, 6.737, 7.437, 8.356, 9.51, 10.92, 12.6",\
                 "6.085, 6.164, 6.384, 6.736, 7.245, 7.945, 8.864, 10.02, 11.43, 13.11",\
                 "6.66, 6.74, 6.96, 7.311, 7.82, 8.521, 9.439, 10.59, 12, 13.68",\
                 "7.308, 7.387, 7.608, 7.959, 8.468, 9.168, 10.09, 11.24, 12.65, 14.33");
        }

        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.006684, 0.02663, 0.06473, 0.1241, 0.2074, 0.317, 0.455, 0.6236, 0.8244");
          values("0.312, 0.358, 0.487, 0.6978, 1.008, 1.451, 2.06, 2.853, 3.838, 5.025",\
                 "0.312, 0.3582, 0.4872, 0.698, 1.009, 1.451, 2.06, 2.853, 3.837, 5.025",\
                 "0.3122, 0.3578, 0.487, 0.6978, 1.009, 1.453, 2.058, 2.852, 3.84, 5.026",\
                 "0.3122, 0.358, 0.4876, 0.7, 1.009, 1.452, 2.061, 2.852, 3.84, 5.025",\
                 "0.3124, 0.3576, 0.4878, 0.6994, 1.008, 1.454, 2.059, 2.85, 3.839, 5.025",\
                 "0.3126, 0.358, 0.4872, 0.7002, 1.009, 1.453, 2.058, 2.851, 3.836, 5.022",\
                 "0.3124, 0.3582, 0.4872, 0.6998, 1.008, 1.451, 2.06, 2.853, 3.838, 5.026",\
                 "0.3128, 0.3582, 0.4874, 0.6964, 1.008, 1.452, 2.06, 2.852, 3.84, 5.026",\
                 "0.312, 0.358, 0.486, 0.698, 1.01, 1.452, 2.058, 2.852, 3.834, 5.018",\
                 "0.312, 0.358, 0.488, 0.7, 1.008, 1.452, 2.062, 2.85, 3.838, 5.016");
        }

        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.006684, 0.02663, 0.06473, 0.1241, 0.2074, 0.317, 0.455, 0.6236, 0.8244");
          values("0.3388, 0.417, 0.674, 1.174, 1.99, 3.172, 4.743, 6.724, 9.146, 12",\
                 "0.3394, 0.4176, 0.6746, 1.174, 1.992, 3.175, 4.744, 6.723, 9.129, 12.02",\
                 "0.3392, 0.4172, 0.674, 1.173, 1.991, 3.174, 4.742, 6.722, 9.146, 12.03",\
                 "0.3394, 0.4174, 0.6742, 1.173, 1.993, 3.175, 4.741, 6.723, 9.146, 12.03",\
                 "0.3388, 0.4168, 0.674, 1.173, 1.993, 3.172, 4.742, 6.717, 9.14, 12.03",\
                 "0.3394, 0.417, 0.6748, 1.173, 1.99, 3.172, 4.741, 6.716, 9.146, 12.02",\
                 "0.3396, 0.417, 0.6744, 1.173, 1.992, 3.175, 4.741, 6.72, 9.142, 12.02",\
                 "0.3388, 0.418, 0.674, 1.172, 1.992, 3.174, 4.738, 6.72, 9.128, 12",\
                 "0.338, 0.416, 0.674, 1.174, 1.99, 3.174, 4.744, 6.72, 9.12, 12.02",\
                 "0.338, 0.416, 0.674, 1.17, 1.99, 3.17, 4.734, 6.712, 9.132, 12.01");
        }
      }

      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.006684, 0.02663, 0.06473, 0.1241, 0.2074, 0.317, 0.455, 0.6236, 0.8244");
          values("2.704, 2.792, 3.016, 3.308, 3.647, 4.036, 4.483, 5.003, 5.61, 6.317",\
                 "2.727, 2.817, 3.04, 3.332, 3.671, 4.06, 4.507, 5.027, 5.634, 6.341",\
                 "2.813, 2.901, 3.125, 3.417, 3.756, 4.145, 4.592, 5.112, 5.718, 6.426",\
                 "2.972, 3.061, 3.284, 3.577, 3.916, 4.304, 4.752, 5.271, 5.878, 6.585",\
                 "3.189, 3.278, 3.501, 3.794, 4.133, 4.521, 4.969, 5.488, 6.095, 6.802",\
                 "3.395, 3.484, 3.708, 4, 4.339, 4.728, 5.175, 5.695, 6.301, 7.009",\
                 "3.568, 3.657, 3.88, 4.172, 4.512, 4.9, 5.348, 5.868, 6.475, 7.182",\
                 "3.698, 3.787, 4.012, 4.304, 4.643, 5.032, 5.479, 5.999, 6.606, 7.313",\
                 "3.781, 3.87, 4.094, 4.387, 4.726, 5.115, 5.562, 6.082, 6.689, 7.396",\
                 "3.813, 3.902, 4.126, 4.419, 4.758, 5.147, 5.595, 6.114, 6.721, 7.429");
        }

        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.006684, 0.02663, 0.06473, 0.1241, 0.2074, 0.317, 0.455, 0.6236, 0.8244");
          values("3.924, 4.009, 4.242, 4.6, 5.112, 5.814, 6.734, 7.889, 9.298, 10.98",\
                 "3.955, 4.041, 4.273, 4.632, 5.143, 5.846, 6.765, 7.92, 9.329, 11.01",\
                 "4.045, 4.131, 4.363, 4.722, 5.234, 5.936, 6.855, 8.01, 9.419, 11.1",\
                 "4.234, 4.32, 4.553, 4.911, 5.423, 6.125, 7.045, 8.199, 9.608, 11.28",\
                 "4.555, 4.641, 4.873, 5.231, 5.743, 6.445, 7.365, 8.521, 9.929, 11.61",\
                 "5.024, 5.109, 5.342, 5.7, 6.212, 6.915, 7.834, 8.989, 10.4, 12.08",\
                 "5.652, 5.738, 5.97, 6.328, 6.841, 7.542, 8.462, 9.617, 11.03, 12.7",\
                 "6.428, 6.514, 6.747, 7.105, 7.617, 8.32, 9.239, 10.39, 11.8, 13.48",\
                 "7.302, 7.388, 7.623, 7.982, 8.494, 9.196, 10.12, 11.27, 12.68, 14.36",\
                 "8.235, 8.322, 8.557, 8.918, 9.431, 10.13, 11.05, 12.21, 13.62, 15.29");
        }

        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.006684, 0.02663, 0.06473, 0.1241, 0.2074, 0.317, 0.455, 0.6236, 0.8244");
          values("0.4928, 0.5582, 0.7236, 0.9704, 1.304, 1.742, 2.315, 3.058, 3.993, 5.131",\
                 "0.4934, 0.5578, 0.7228, 0.97, 1.304, 1.745, 2.319, 3.058, 3.993, 5.135",\
                 "0.4926, 0.5572, 0.723, 0.97, 1.304, 1.745, 2.319, 3.058, 3.993, 5.131",\
                 "0.4936, 0.5574, 0.7234, 0.9698, 1.304, 1.745, 2.319, 3.058, 3.993, 5.134",\
                 "0.4934, 0.5578, 0.7236, 0.97, 1.305, 1.741, 2.318, 3.058, 3.99, 5.138",\
                 "0.4932, 0.5586, 0.7228, 0.9702, 1.304, 1.74, 2.318, 3.058, 3.992, 5.137",\
                 "0.4936, 0.5578, 0.7242, 0.9714, 1.302, 1.742, 2.32, 3.058, 3.993, 5.13",\
                 "0.4938, 0.5582, 0.7246, 0.9694, 1.304, 1.74, 2.316, 3.06, 3.988, 5.136",\
                 "0.4942, 0.5584, 0.7244, 0.9712, 1.302, 1.742, 2.318, 3.056, 3.99, 5.13",\
                 "0.496, 0.56, 0.724, 0.97, 1.304, 1.742, 2.318, 3.056, 3.99, 5.134");
        }

        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.006684, 0.02663, 0.06473, 0.1241, 0.2074, 0.317, 0.455, 0.6236, 0.8244");
          values("0.3894, 0.463, 0.712, 1.2, 2.008, 3.185, 4.749, 6.72, 9.131, 12.01",\
                 "0.3892, 0.4634, 0.7138, 1.199, 2.008, 3.185, 4.749, 6.714, 9.134, 12.01",\
                 "0.3886, 0.4632, 0.7138, 1.199, 2.005, 3.185, 4.749, 6.713, 9.125, 12.01",\
                 "0.3892, 0.463, 0.7118, 1.199, 2.005, 3.185, 4.749, 6.721, 9.132, 12.01",\
                 "0.3896, 0.4632, 0.7126, 1.198, 2.008, 3.185, 4.747, 6.716, 9.124, 12.01",\
                 "0.3888, 0.4646, 0.7116, 1.199, 2.006, 3.184, 4.748, 6.719, 9.132, 11.99",\
                 "0.389, 0.4634, 0.7128, 1.199, 2.005, 3.185, 4.75, 6.72, 9.126, 12.01",\
                 "0.39, 0.464, 0.714, 1.2, 2.008, 3.186, 4.748, 6.722, 9.124, 12",\
                 "0.394, 0.47, 0.716, 1.2, 2.008, 3.184, 4.75, 6.718, 9.132, 11.99",\
                 "0.404, 0.476, 0.724, 1.204, 2.01, 3.18, 4.744, 6.72, 9.122, 11.99");
        }
      }

      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.006684, 0.02663, 0.06473, 0.1241, 0.2074, 0.317, 0.455, 0.6236, 0.8244");
          values("4.996, 5.058, 5.216, 5.431, 5.694, 6.015, 6.411, 6.897, 7.484, 8.182",\
                 "5.03, 5.092, 5.25, 5.465, 5.728, 6.05, 6.446, 6.931, 7.518, 8.216",\
                 "5.127, 5.189, 5.348, 5.562, 5.824, 6.146, 6.542, 7.028, 7.615, 8.313",\
                 "5.258, 5.32, 5.478, 5.693, 5.956, 6.278, 6.674, 7.159, 7.746, 8.444",\
                 "5.37, 5.432, 5.59, 5.805, 6.068, 6.39, 6.785, 7.271, 7.858, 8.556",\
                 "5.45, 5.512, 5.67, 5.885, 6.147, 6.469, 6.865, 7.351, 7.938, 8.636",\
                 "5.497, 5.559, 5.716, 5.931, 6.194, 6.516, 6.912, 7.397, 7.984, 8.682",\
                 "5.492, 5.554, 5.712, 5.926, 6.189, 6.511, 6.907, 7.393, 7.98, 8.678",\
                 "5.434, 5.497, 5.655, 5.87, 6.133, 6.454, 6.85, 7.335, 7.923, 8.62",\
                 "5.324, 5.387, 5.545, 5.76, 6.022, 6.344, 6.74, 7.226, 7.813, 8.51");
        }

        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.006684, 0.02663, 0.06473, 0.1241, 0.2074, 0.317, 0.455, 0.6236, 0.8244");
          values("3.924, 4.009, 4.242, 4.6, 5.112, 5.814, 6.734, 7.889, 9.298, 10.98",\
                 "3.955, 4.041, 4.273, 4.632, 5.143, 5.846, 6.765, 7.92, 9.329, 11.01",\
                 "4.045, 4.131, 4.363, 4.722, 5.234, 5.936, 6.855, 8.01, 9.419, 11.1",\
                 "4.234, 4.32, 4.553, 4.911, 5.423, 6.125, 7.045, 8.199, 9.608, 11.28",\
                 "4.555, 4.641, 4.873, 5.231, 5.743, 6.445, 7.365, 8.521, 9.929, 11.61",\
                 "5.024, 5.109, 5.342, 5.7, 6.212, 6.915, 7.834, 8.989, 10.4, 12.08",\
                 "5.652, 5.738, 5.97, 6.328, 6.841, 7.542, 8.462, 9.617, 11.03, 12.7",\
                 "6.428, 6.514, 6.747, 7.105, 7.617, 8.32, 9.239, 10.39, 11.8, 13.48",\
                 "7.302, 7.388, 7.623, 7.982, 8.494, 9.196, 10.12, 11.27, 12.68, 14.36",\
                 "8.235, 8.322, 8.557, 8.918, 9.431, 10.13, 11.05, 12.21, 13.62, 15.29");
        }

        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.006684, 0.02663, 0.06473, 0.1241, 0.2074, 0.317, 0.455, 0.6236, 0.8244");
          values("0.4928, 0.5582, 0.7236, 0.9704, 1.304, 1.742, 2.315, 3.058, 3.993, 5.131",\
                 "0.4934, 0.5578, 0.7228, 0.97, 1.304, 1.745, 2.319, 3.058, 3.993, 5.135",\
                 "0.4926, 0.5572, 0.723, 0.97, 1.304, 1.745, 2.319, 3.058, 3.993, 5.131",\
                 "0.4936, 0.5574, 0.7234, 0.9698, 1.304, 1.745, 2.319, 3.058, 3.993, 5.134",\
                 "0.4934, 0.5578, 0.7236, 0.97, 1.305, 1.741, 2.318, 3.058, 3.99, 5.138",\
                 "0.4932, 0.5586, 0.7228, 0.9702, 1.304, 1.74, 2.318, 3.058, 3.992, 5.137",\
                 "0.4936, 0.5578, 0.7242, 0.9714, 1.302, 1.742, 2.32, 3.058, 3.993, 5.13",\
                 "0.4938, 0.5582, 0.7246, 0.9694, 1.304, 1.74, 2.316, 3.06, 3.988, 5.136",\
                 "0.4942, 0.5584, 0.7244, 0.9712, 1.302, 1.742, 2.318, 3.056, 3.99, 5.13",\
                 "0.496, 0.56, 0.724, 0.97, 1.304, 1.742, 2.318, 3.056, 3.99, 5.134");
        }

        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.006684, 0.02663, 0.06473, 0.1241, 0.2074, 0.317, 0.455, 0.6236, 0.8244");
          values("0.3388, 0.417, 0.674, 1.174, 1.99, 3.172, 4.743, 6.724, 9.146, 12",\
                 "0.3394, 0.4176, 0.6746, 1.174, 1.992, 3.175, 4.744, 6.723, 9.129, 12.02",\
                 "0.3392, 0.4172, 0.674, 1.173, 1.991, 3.174, 4.742, 6.722, 9.146, 12.03",\
                 "0.3394, 0.4174, 0.6742, 1.173, 1.993, 3.175, 4.741, 6.723, 9.146, 12.03",\
                 "0.3388, 0.4168, 0.674, 1.173, 1.993, 3.172, 4.742, 6.717, 9.14, 12.03",\
                 "0.3394, 0.417, 0.6748, 1.173, 1.99, 3.172, 4.741, 6.716, 9.146, 12.02",\
                 "0.3396, 0.417, 0.6744, 1.173, 1.992, 3.175, 4.741, 6.72, 9.142, 12.02",\
                 "0.3388, 0.418, 0.674, 1.172, 1.992, 3.174, 4.738, 6.72, 9.128, 12",\
                 "0.338, 0.416, 0.674, 1.174, 1.99, 3.174, 4.744, 6.72, 9.12, 12.02",\
                 "0.338, 0.416, 0.674, 1.17, 1.99, 3.17, 4.734, 6.712, 9.132, 12.01");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.006684, 0.02663, 0.06473, 0.1241, 0.2074, 0.317, 0.455, 0.6236, 0.8244");
          values("4.167, 4.256, 4.479, 4.771, 5.111, 5.499, 5.946, 6.466, 7.072, 7.779",\
                 "4.186, 4.275, 4.499, 4.791, 5.13, 5.518, 5.966, 6.485, 7.092, 7.799",\
                 "4.277, 4.366, 4.59, 4.881, 5.22, 5.609, 6.056, 6.575, 7.182, 7.889",\
                 "4.453, 4.542, 4.765, 5.058, 5.397, 5.785, 6.233, 6.752, 7.358, 8.065",\
                 "4.723, 4.812, 5.035, 5.327, 5.666, 6.055, 6.502, 7.021, 7.628, 8.335",\
                 "5.092, 5.181, 5.404, 5.697, 6.035, 6.424, 6.871, 7.391, 7.997, 8.705",\
                 "5.539, 5.628, 5.852, 6.144, 6.482, 6.871, 7.318, 7.838, 8.444, 9.151",\
                 "6.046, 6.134, 6.358, 6.65, 6.989, 7.378, 7.825, 8.345, 8.951, 9.658",\
                 "6.62, 6.709, 6.933, 7.224, 7.563, 7.952, 8.399, 8.919, 9.526, 10.23",\
                 "7.266, 7.355, 7.579, 7.871, 8.21, 8.599, 9.046, 9.565, 10.17, 10.88");
        }

        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.006684, 0.02663, 0.06473, 0.1241, 0.2074, 0.317, 0.455, 0.6236, 0.8244");
          values("4.565, 4.65, 4.882, 5.241, 5.753, 6.456, 7.375, 8.53, 9.938, 11.62",\
                 "4.598, 4.684, 4.916, 5.275, 5.787, 6.49, 7.408, 8.564, 9.972, 11.65",\
                 "4.695, 4.781, 5.014, 5.372, 5.884, 6.587, 7.506, 8.661, 10.07, 11.75",\
                 "4.826, 4.912, 5.145, 5.504, 6.015, 6.718, 7.637, 8.792, 10.2, 11.88",\
                 "4.938, 5.023, 5.256, 5.615, 6.127, 6.829, 7.748, 8.904, 10.31, 11.99",\
                 "5.018, 5.104, 5.337, 5.695, 6.207, 6.909, 7.829, 8.984, 10.39, 12.07",\
                 "5.061, 5.147, 5.379, 5.738, 6.25, 6.952, 7.871, 9.026, 10.44, 12.11",\
                 "5.053, 5.139, 5.372, 5.731, 6.242, 6.944, 7.863, 9.019, 10.43, 12.11",\
                 "4.996, 5.081, 5.314, 5.673, 6.184, 6.887, 7.806, 8.961, 10.37, 12.05",\
                 "4.884, 4.971, 5.203, 5.562, 6.073, 6.776, 7.694, 8.849, 10.26, 11.94");
        }

        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.006684, 0.02663, 0.06473, 0.1241, 0.2074, 0.317, 0.455, 0.6236, 0.8244");
          values("0.4924, 0.5568, 0.724, 0.97, 1.304, 1.742, 2.315, 3.057, 3.993, 5.134",\
                 "0.4932, 0.5566, 0.7238, 0.9698, 1.303, 1.741, 2.317, 3.058, 3.993, 5.134",\
                 "0.4928, 0.557, 0.7232, 0.9696, 1.305, 1.743, 2.317, 3.058, 3.992, 5.136",\
                 "0.493, 0.5574, 0.7234, 0.9696, 1.305, 1.74, 2.317, 3.057, 3.991, 5.137",\
                 "0.4934, 0.557, 0.724, 0.9698, 1.303, 1.741, 2.316, 3.057, 3.988, 5.136",\
                 "0.4928, 0.5574, 0.7236, 0.9696, 1.305, 1.744, 2.315, 3.058, 3.992, 5.137",\
                 "0.4932, 0.5574, 0.7236, 0.9694, 1.304, 1.741, 2.315, 3.057, 3.988, 5.134",\
                 "0.494, 0.5564, 0.722, 0.968, 1.304, 1.74, 2.316, 3.058, 3.992, 5.134",\
                 "0.492, 0.558, 0.724, 0.968, 1.304, 1.74, 2.316, 3.058, 3.988, 5.138",\
                 "0.492, 0.556, 0.724, 0.968, 1.304, 1.742, 2.314, 3.058, 3.986, 5.13");
        }

        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.006684, 0.02663, 0.06473, 0.1241, 0.2074, 0.317, 0.455, 0.6236, 0.8244");
          values("0.3892, 0.4644, 0.713, 1.199, 2.006, 3.183, 4.748, 6.72, 9.133, 11.99",\
                 "0.391, 0.4646, 0.7128, 1.198, 2.005, 3.18, 4.747, 6.72, 9.132, 11.99",\
                 "0.39, 0.4646, 0.7132, 1.199, 2.009, 3.185, 4.75, 6.721, 9.125, 11.99",\
                 "0.3894, 0.4648, 0.7132, 1.199, 2.007, 3.181, 4.748, 6.72, 9.133, 11.99",\
                 "0.3894, 0.4646, 0.713, 1.199, 2.008, 3.184, 4.743, 6.721, 9.132, 12",\
                 "0.3904, 0.4646, 0.7136, 1.199, 2.009, 3.183, 4.749, 6.714, 9.124, 12.01",\
                 "0.39, 0.464, 0.7136, 1.2, 2.008, 3.184, 4.749, 6.718, 9.13, 12",\
                 "0.3882, 0.4638, 0.7146, 1.199, 2.006, 3.184, 4.748, 6.718, 9.132, 11.99",\
                 "0.39, 0.464, 0.712, 1.2, 2.008, 3.182, 4.74, 6.718, 9.122, 12.01",\
                 "0.39, 0.462, 0.712, 1.198, 2.006, 3.184, 4.74, 6.712, 9.116, 12");
        }
      }

      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.006684, 0.02663, 0.06473, 0.1241, 0.2074, 0.317, 0.455, 0.6236, 0.8244");
          values("4.368, 4.429, 4.588, 4.803, 5.066, 5.388, 5.784, 6.269, 6.856, 7.554",\
                 "4.399, 4.461, 4.62, 4.834, 5.096, 5.418, 5.815, 6.3, 6.888, 7.586",\
                 "4.489, 4.551, 4.71, 4.924, 5.187, 5.509, 5.905, 6.39, 6.977, 7.676",\
                 "4.679, 4.741, 4.899, 5.114, 5.377, 5.699, 6.095, 6.58, 7.167, 7.865",\
                 "4.999, 5.061, 5.22, 5.434, 5.697, 6.019, 6.415, 6.9, 7.487, 8.186",\
                 "5.468, 5.53, 5.688, 5.902, 6.165, 6.487, 6.883, 7.369, 7.956, 8.654",\
                 "6.094, 6.156, 6.314, 6.528, 6.792, 7.113, 7.509, 7.995, 8.582, 9.28",\
                 "6.856, 6.918, 7.077, 7.291, 7.554, 7.876, 8.272, 8.757, 9.345, 10.04",\
                 "7.697, 7.759, 7.918, 8.133, 8.395, 8.717, 9.114, 9.6, 10.19, 10.88",\
                 "8.588, 8.651, 8.81, 9.024, 9.286, 9.608, 10, 10.49, 11.08, 11.77");
        }

        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.006684, 0.02663, 0.06473, 0.1241, 0.2074, 0.317, 0.455, 0.6236, 0.8244");
          values("2.759, 2.838, 3.059, 3.41, 3.919, 4.62, 5.538, 6.692, 8.103, 9.785",\
                 "2.783, 2.862, 3.082, 3.434, 3.943, 4.643, 5.561, 6.717, 8.123, 9.806",\
                 "2.868, 2.947, 3.168, 3.519, 4.028, 4.729, 5.647, 6.8, 8.211, 9.889",\
                 "3.029, 3.108, 3.328, 3.679, 4.189, 4.89, 5.808, 6.962, 8.371, 10.05",\
                 "3.251, 3.329, 3.55, 3.902, 4.41, 5.111, 6.029, 7.184, 8.591, 10.27",\
                 "3.467, 3.546, 3.767, 4.118, 4.626, 5.328, 6.246, 7.401, 8.811, 10.49",\
                 "3.65, 3.729, 3.95, 4.301, 4.81, 5.51, 6.428, 7.584, 8.991, 10.67",\
                 "3.793, 3.872, 4.092, 4.444, 4.953, 5.653, 6.57, 7.725, 9.132, 10.82",\
                 "3.889, 3.968, 4.189, 4.54, 5.049, 5.75, 6.668, 7.822, 9.23, 10.91",\
                 "3.935, 4.014, 4.235, 4.586, 5.095, 5.796, 6.713, 7.867, 9.275, 10.95");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.006684, 0.02663, 0.06473, 0.1241, 0.2074, 0.317, 0.455, 0.6236, 0.8244");
          values("0.3126, 0.3576, 0.4874, 0.6986, 1.008, 1.454, 2.059, 2.853, 3.839, 5.026",\
                 "0.3128, 0.358, 0.4872, 0.6998, 1.009, 1.451, 2.061, 2.852, 3.837, 5.026",\
                 "0.3124, 0.3584, 0.4874, 0.698, 1.01, 1.452, 2.061, 2.851, 3.84, 5.026",\
                 "0.3124, 0.3578, 0.4878, 0.6986, 1.008, 1.451, 2.061, 2.852, 3.84, 5.024",\
                 "0.3122, 0.3582, 0.4878, 0.6998, 1.008, 1.451, 2.061, 2.853, 3.839, 5.026",\
                 "0.3126, 0.358, 0.4876, 0.6984, 1.009, 1.451, 2.061, 2.853, 3.839, 5.022",\
                 "0.3126, 0.3578, 0.4878, 0.7004, 1.009, 1.45, 2.061, 2.852, 3.84, 5.026",\
                 "0.312, 0.36, 0.488, 0.7, 1.008, 1.454, 2.062, 2.85, 3.838, 5.026",\
                 "0.312, 0.358, 0.488, 0.698, 1.008, 1.454, 2.06, 2.85, 3.84, 5.024",\
                 "0.312, 0.358, 0.488, 0.698, 1.008, 1.454, 2.058, 2.848, 3.838, 5.02");
        }

        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.006684, 0.02663, 0.06473, 0.1241, 0.2074, 0.317, 0.455, 0.6236, 0.8244");
          values("0.3392, 0.4174, 0.6738, 1.172, 1.99, 3.175, 4.743, 6.723, 9.139, 12.03",\
                 "0.3398, 0.4174, 0.6744, 1.173, 1.99, 3.171, 4.742, 6.717, 9.141, 12.03",\
                 "0.3392, 0.4174, 0.6748, 1.173, 1.992, 3.174, 4.744, 6.723, 9.127, 11.99",\
                 "0.3396, 0.417, 0.6746, 1.173, 1.992, 3.173, 4.743, 6.722, 9.129, 12.01",\
                 "0.3398, 0.4174, 0.6746, 1.174, 1.992, 3.171, 4.742, 6.719, 9.136, 12.02",\
                 "0.3398, 0.4178, 0.6752, 1.172, 1.992, 3.175, 4.739, 6.714, 9.145, 12.03",\
                 "0.3394, 0.4178, 0.676, 1.174, 1.991, 3.173, 4.741, 6.715, 9.143, 12.03",\
                 "0.339, 0.4178, 0.6738, 1.174, 1.99, 3.172, 4.738, 6.712, 9.14, 12.03",\
                 "0.339, 0.417, 0.6744, 1.173, 1.992, 3.172, 4.736, 6.708, 9.124, 12",\
                 "0.338, 0.418, 0.674, 1.172, 1.99, 3.172, 4.736, 6.704, 9.114, 11.99");
        }
      }

      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.006684, 0.02663, 0.06473, 0.1241, 0.2074, 0.317, 0.455, 0.6236, 0.8244");
          values("4.368, 4.429, 4.588, 4.803, 5.066, 5.388, 5.784, 6.269, 6.856, 7.554",\
                 "4.399, 4.461, 4.62, 4.834, 5.096, 5.418, 5.815, 6.3, 6.888, 7.586",\
                 "4.489, 4.551, 4.71, 4.924, 5.187, 5.509, 5.905, 6.39, 6.977, 7.676",\
                 "4.679, 4.741, 4.899, 5.114, 5.377, 5.699, 6.095, 6.58, 7.167, 7.865",\
                 "4.999, 5.061, 5.22, 5.434, 5.697, 6.019, 6.415, 6.9, 7.487, 8.186",\
                 "5.468, 5.53, 5.688, 5.902, 6.165, 6.487, 6.883, 7.369, 7.956, 8.654",\
                 "6.094, 6.156, 6.314, 6.528, 6.792, 7.113, 7.509, 7.995, 8.582, 9.28",\
                 "6.856, 6.918, 7.077, 7.291, 7.554, 7.876, 8.272, 8.757, 9.345, 10.04",\
                 "7.697, 7.759, 7.918, 8.133, 8.395, 8.717, 9.114, 9.6, 10.19, 10.88",\
                 "8.588, 8.651, 8.81, 9.024, 9.286, 9.608, 10, 10.49, 11.08, 11.77");
        }

        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.006684, 0.02663, 0.06473, 0.1241, 0.2074, 0.317, 0.455, 0.6236, 0.8244");
          values("4.565, 4.65, 4.882, 5.241, 5.753, 6.456, 7.375, 8.53, 9.938, 11.62",\
                 "4.598, 4.684, 4.916, 5.275, 5.787, 6.49, 7.408, 8.564, 9.972, 11.65",\
                 "4.695, 4.781, 5.014, 5.372, 5.884, 6.587, 7.506, 8.661, 10.07, 11.75",\
                 "4.826, 4.912, 5.145, 5.504, 6.015, 6.718, 7.637, 8.792, 10.2, 11.88",\
                 "4.938, 5.023, 5.256, 5.615, 6.127, 6.829, 7.748, 8.904, 10.31, 11.99",\
                 "5.018, 5.104, 5.337, 5.695, 6.207, 6.909, 7.829, 8.984, 10.39, 12.07",\
                 "5.061, 5.147, 5.379, 5.738, 6.25, 6.952, 7.871, 9.026, 10.44, 12.11",\
                 "5.053, 5.139, 5.372, 5.731, 6.242, 6.944, 7.863, 9.019, 10.43, 12.11",\
                 "4.996, 5.081, 5.314, 5.673, 6.184, 6.887, 7.806, 8.961, 10.37, 12.05",\
                 "4.884, 4.971, 5.203, 5.562, 6.073, 6.776, 7.694, 8.849, 10.26, 11.94");
        }

        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.006684, 0.02663, 0.06473, 0.1241, 0.2074, 0.317, 0.455, 0.6236, 0.8244");
          values("0.4924, 0.5568, 0.724, 0.97, 1.304, 1.742, 2.315, 3.057, 3.993, 5.134",\
                 "0.4932, 0.5566, 0.7238, 0.9698, 1.303, 1.741, 2.317, 3.058, 3.993, 5.134",\
                 "0.4928, 0.557, 0.7232, 0.9696, 1.305, 1.743, 2.317, 3.058, 3.992, 5.136",\
                 "0.493, 0.5574, 0.7234, 0.9696, 1.305, 1.74, 2.317, 3.057, 3.991, 5.137",\
                 "0.4934, 0.557, 0.724, 0.9698, 1.303, 1.741, 2.316, 3.057, 3.988, 5.136",\
                 "0.4928, 0.5574, 0.7236, 0.9696, 1.305, 1.744, 2.315, 3.058, 3.992, 5.137",\
                 "0.4932, 0.5574, 0.7236, 0.9694, 1.304, 1.741, 2.315, 3.057, 3.988, 5.134",\
                 "0.494, 0.5564, 0.722, 0.968, 1.304, 1.74, 2.316, 3.058, 3.992, 5.134",\
                 "0.492, 0.558, 0.724, 0.968, 1.304, 1.74, 2.316, 3.058, 3.988, 5.138",\
                 "0.492, 0.556, 0.724, 0.968, 1.304, 1.742, 2.314, 3.058, 3.986, 5.13");
        }

        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.006684, 0.02663, 0.06473, 0.1241, 0.2074, 0.317, 0.455, 0.6236, 0.8244");
          values("0.3392, 0.4174, 0.6738, 1.172, 1.99, 3.175, 4.743, 6.723, 9.139, 12.03",\
                 "0.3398, 0.4174, 0.6744, 1.173, 1.99, 3.171, 4.742, 6.717, 9.141, 12.03",\
                 "0.3392, 0.4174, 0.6748, 1.173, 1.992, 3.174, 4.744, 6.723, 9.127, 11.99",\
                 "0.3396, 0.417, 0.6746, 1.173, 1.992, 3.173, 4.743, 6.722, 9.129, 12.01",\
                 "0.3398, 0.4174, 0.6746, 1.174, 1.992, 3.171, 4.742, 6.719, 9.136, 12.02",\
                 "0.3398, 0.4178, 0.6752, 1.172, 1.992, 3.175, 4.739, 6.714, 9.145, 12.03",\
                 "0.3394, 0.4178, 0.676, 1.174, 1.991, 3.173, 4.741, 6.715, 9.143, 12.03",\
                 "0.339, 0.4178, 0.6738, 1.174, 1.99, 3.172, 4.738, 6.712, 9.14, 12.03",\
                 "0.339, 0.417, 0.6744, 1.173, 1.992, 3.172, 4.736, 6.708, 9.124, 12",\
                 "0.338, 0.418, 0.674, 1.172, 1.99, 3.172, 4.736, 6.704, 9.114, 11.99");
        }
      }

      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.006684, 0.02663, 0.06473, 0.1241, 0.2074, 0.317, 0.455, 0.6236, 0.8244");
          values("4.828, 4.89, 5.049, 5.263, 5.526, 5.848, 6.244, 6.73, 7.317, 8.015",\
                 "4.858, 4.92, 5.078, 5.293, 5.556, 5.878, 6.274, 6.759, 7.346, 8.044",\
                 "4.951, 5.012, 5.171, 5.385, 5.648, 5.97, 6.366, 6.852, 7.439, 8.137",\
                 "5.079, 5.142, 5.3, 5.514, 5.777, 6.099, 6.495, 6.981, 7.568, 8.266",\
                 "5.187, 5.249, 5.407, 5.622, 5.885, 6.207, 6.603, 7.088, 7.675, 8.373",\
                 "5.259, 5.322, 5.48, 5.695, 5.958, 6.279, 6.675, 7.16, 7.748, 8.446",\
                 "5.293, 5.355, 5.513, 5.728, 5.991, 6.313, 6.709, 7.194, 7.781, 8.479",\
                 "5.281, 5.343, 5.502, 5.717, 5.979, 6.301, 6.697, 7.182, 7.77, 8.467",\
                 "5.216, 5.277, 5.436, 5.651, 5.914, 6.235, 6.632, 7.117, 7.704, 8.402",\
                 "5.094, 5.155, 5.313, 5.528, 5.791, 6.113, 6.509, 6.995, 7.582, 8.28");
        }

        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.006684, 0.02663, 0.06473, 0.1241, 0.2074, 0.317, 0.455, 0.6236, 0.8244");
          values("4.111, 4.189, 4.41, 4.761, 5.27, 5.97, 6.888, 8.043, 9.454, 11.13",\
                 "4.12, 4.199, 4.42, 4.771, 5.279, 5.981, 6.898, 8.053, 9.464, 11.14",\
                 "4.198, 4.277, 4.497, 4.848, 5.357, 6.058, 6.976, 8.131, 9.542, 11.22",\
                 "4.396, 4.475, 4.696, 5.047, 5.556, 6.257, 7.174, 8.33, 9.736, 11.42",\
                 "4.731, 4.809, 5.031, 5.381, 5.89, 6.591, 7.509, 8.664, 10.07, 11.75",\
                 "5.204, 5.283, 5.503, 5.854, 6.363, 7.064, 7.982, 9.137, 10.54, 12.22",\
                 "5.781, 5.86, 6.08, 6.431, 6.94, 7.641, 8.559, 9.714, 11.12, 12.8",\
                 "6.413, 6.492, 6.713, 7.064, 7.574, 8.274, 9.193, 10.35, 11.76, 13.43",\
                 "7.099, 7.178, 7.398, 7.75, 8.259, 8.959, 9.877, 11.03, 12.44, 14.12",\
                 "7.843, 7.922, 8.143, 8.494, 9.003, 9.703, 10.62, 11.78, 13.18, 14.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.006684, 0.02663, 0.06473, 0.1241, 0.2074, 0.317, 0.455, 0.6236, 0.8244");
          values("0.3122, 0.3584, 0.4874, 0.6984, 1.009, 1.45, 2.06, 2.849, 3.839, 5.025",\
                 "0.3122, 0.3582, 0.4872, 0.698, 1.008, 1.451, 2.06, 2.849, 3.84, 5.026",\
                 "0.312, 0.3586, 0.4878, 0.6984, 1.008, 1.454, 2.061, 2.851, 3.84, 5.025",\
                 "0.3122, 0.3576, 0.4878, 0.6984, 1.008, 1.453, 2.058, 2.849, 3.839, 5.024",\
                 "0.3122, 0.3578, 0.4876, 0.6976, 1.009, 1.452, 2.061, 2.85, 3.839, 5.025",\
                 "0.3124, 0.3584, 0.4876, 0.6986, 1.009, 1.453, 2.058, 2.852, 3.84, 5.026",\
                 "0.3122, 0.3586, 0.4874, 0.6978, 1.009, 1.451, 2.058, 2.851, 3.839, 5.024",\
                 "0.312, 0.3578, 0.4872, 0.6982, 1.007, 1.452, 2.058, 2.85, 3.834, 5.024",\
                 "0.312, 0.358, 0.488, 0.698, 1.008, 1.454, 2.058, 2.848, 3.834, 5.024",\
                 "0.312, 0.36, 0.488, 0.698, 1.008, 1.452, 2.06, 2.852, 3.836, 5.016");
        }

        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.006684, 0.02663, 0.06473, 0.1241, 0.2074, 0.317, 0.455, 0.6236, 0.8244");
          values("0.3388, 0.4174, 0.6752, 1.173, 1.993, 3.173, 4.743, 6.722, 9.145, 12",\
                 "0.339, 0.4174, 0.6746, 1.173, 1.991, 3.173, 4.742, 6.714, 9.136, 12.03",\
                 "0.3388, 0.417, 0.6746, 1.173, 1.992, 3.175, 4.74, 6.718, 9.145, 11.99",\
                 "0.3392, 0.4172, 0.6748, 1.173, 1.991, 3.172, 4.742, 6.718, 9.141, 12.03",\
                 "0.3394, 0.4168, 0.6738, 1.173, 1.991, 3.171, 4.742, 6.719, 9.145, 12.02",\
                 "0.3396, 0.4174, 0.6752, 1.173, 1.991, 3.172, 4.743, 6.717, 9.14, 12.03",\
                 "0.3392, 0.4174, 0.6744, 1.173, 1.992, 3.175, 4.744, 6.72, 9.142, 12.02",\
                 "0.34, 0.418, 0.676, 1.176, 1.992, 3.172, 4.744, 6.722, 9.132, 12.02",\
                 "0.338, 0.418, 0.676, 1.174, 1.992, 3.172, 4.74, 6.716, 9.142, 11.99",\
                 "0.34, 0.418, 0.676, 1.174, 1.99, 3.172, 4.736, 6.718, 9.132, 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.006684, 0.02663, 0.06473, 0.1241, 0.2074, 0.317, 0.455, 0.6236, 0.8244");
          values("2.727, 2.815, 3.039, 3.331, 3.67, 4.059, 4.506, 5.026, 5.632, 6.34",\
                 "2.754, 2.843, 3.066, 3.359, 3.698, 4.086, 4.533, 5.053, 5.66, 6.367",\
                 "2.825, 2.914, 3.138, 3.43, 3.769, 4.157, 4.605, 5.124, 5.731, 6.438",\
                 "2.948, 3.037, 3.261, 3.553, 3.893, 4.281, 4.728, 5.248, 5.854, 6.562",\
                 "3.116, 3.205, 3.428, 3.721, 4.059, 4.449, 4.896, 5.415, 6.022, 6.729",\
                 "3.284, 3.373, 3.597, 3.889, 4.228, 4.616, 5.064, 5.584, 6.19, 6.897",\
                 "3.429, 3.519, 3.742, 4.034, 4.375, 4.762, 5.21, 5.73, 6.336, 7.044",\
                 "3.541, 3.63, 3.854, 4.146, 4.486, 4.874, 5.322, 5.841, 6.447, 7.155",\
                 "3.608, 3.697, 3.921, 4.214, 4.552, 4.942, 5.389, 5.909, 6.515, 7.222",\
                 "3.627, 3.716, 3.94, 4.232, 4.572, 4.961, 5.408, 5.928, 6.535, 7.242");
        }

        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.006684, 0.02663, 0.06473, 0.1241, 0.2074, 0.317, 0.455, 0.6236, 0.8244");
          values("4.148, 4.234, 4.466, 4.825, 5.337, 6.039, 6.958, 8.114, 9.522, 11.2",\
                 "4.167, 4.253, 4.486, 4.844, 5.356, 6.059, 6.977, 8.133, 9.541, 11.22",\
                 "4.265, 4.351, 4.584, 4.942, 5.454, 6.157, 7.076, 8.231, 9.64, 11.32",\
                 "4.466, 4.552, 4.785, 5.144, 5.655, 6.358, 7.276, 8.433, 9.841, 11.52",\
                 "4.794, 4.88, 5.112, 5.471, 5.983, 6.685, 7.604, 8.759, 10.17, 11.85",\
                 "5.266, 5.352, 5.585, 5.943, 6.455, 7.157, 8.077, 9.232, 10.64, 12.32",\
                 "5.896, 5.982, 6.215, 6.574, 7.085, 7.787, 8.707, 9.862, 11.27, 12.95",\
                 "6.683, 6.769, 7.002, 7.361, 7.873, 8.575, 9.495, 10.65, 12.06, 13.74",\
                 "7.586, 7.673, 7.907, 8.266, 8.778, 9.481, 10.4, 11.56, 12.96, 14.64",\
                 "8.557, 8.645, 8.879, 9.24, 9.753, 10.45, 11.37, 12.53, 13.94, 15.62");
        }

        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.006684, 0.02663, 0.06473, 0.1241, 0.2074, 0.317, 0.455, 0.6236, 0.8244");
          values("0.4928, 0.5576, 0.7236, 0.9698, 1.304, 1.742, 2.317, 3.058, 3.993, 5.134",\
                 "0.4934, 0.5578, 0.7232, 0.9702, 1.304, 1.745, 2.318, 3.058, 3.993, 5.134",\
                 "0.4934, 0.557, 0.7234, 0.9698, 1.304, 1.745, 2.319, 3.058, 3.993, 5.134",\
                 "0.4932, 0.5578, 0.7238, 0.9698, 1.304, 1.742, 2.317, 3.058, 3.993, 5.134",\
                 "0.4934, 0.5576, 0.7236, 0.9698, 1.304, 1.742, 2.316, 3.058, 3.992, 5.135",\
                 "0.4928, 0.5576, 0.723, 0.97, 1.305, 1.745, 2.319, 3.057, 3.989, 5.135",\
                 "0.4934, 0.5574, 0.7232, 0.9702, 1.303, 1.745, 2.32, 3.059, 3.992, 5.138",\
                 "0.4936, 0.5574, 0.7242, 0.9698, 1.303, 1.742, 2.317, 3.055, 3.992, 5.137",\
                 "0.4938, 0.558, 0.7246, 0.9712, 1.306, 1.743, 2.316, 3.054, 3.986, 5.13",\
                 "0.496, 0.558, 0.724, 0.972, 1.304, 1.74, 2.318, 3.054, 3.992, 5.13");
        }

        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.006684, 0.02663, 0.06473, 0.1241, 0.2074, 0.317, 0.455, 0.6236, 0.8244");
          values("0.3898, 0.4646, 0.714, 1.2, 2.009, 3.181, 4.749, 6.717, 9.132, 12.01",\
                 "0.3898, 0.4648, 0.713, 1.2, 2.007, 3.181, 4.746, 6.719, 9.132, 12.01",\
                 "0.3912, 0.4646, 0.7138, 1.2, 2.006, 3.183, 4.749, 6.718, 9.127, 12.01",\
                 "0.3914, 0.4648, 0.7126, 1.201, 2.008, 3.185, 4.745, 6.72, 9.128, 11.99",\
                 "0.3898, 0.4646, 0.7138, 1.2, 2.006, 3.185, 4.746, 6.722, 9.132, 12",\
                 "0.3902, 0.4646, 0.7138, 1.201, 2.006, 3.185, 4.748, 6.715, 9.124, 12.01",\
                 "0.3912, 0.4646, 0.714, 1.199, 2.009, 3.185, 4.75, 6.716, 9.128, 12.01",\
                 "0.392, 0.464, 0.714, 1.2, 2.01, 3.186, 4.748, 6.72, 9.128, 12.01",\
                 "0.396, 0.47, 0.718, 1.202, 2.008, 3.184, 4.744, 6.718, 9.13, 12",\
                 "0.404, 0.476, 0.722, 1.204, 2.008, 3.182, 4.748, 6.72, 9.128, 11.99");
        }
      }

      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.006684, 0.02663, 0.06473, 0.1241, 0.2074, 0.317, 0.455, 0.6236, 0.8244");
          values("4.828, 4.89, 5.049, 5.263, 5.526, 5.848, 6.244, 6.73, 7.317, 8.015",\
                 "4.858, 4.92, 5.078, 5.293, 5.556, 5.878, 6.274, 6.759, 7.346, 8.044",\
                 "4.951, 5.012, 5.171, 5.385, 5.648, 5.97, 6.366, 6.852, 7.439, 8.137",\
                 "5.079, 5.142, 5.3, 5.514, 5.777, 6.099, 6.495, 6.981, 7.568, 8.266",\
                 "5.187, 5.249, 5.407, 5.622, 5.885, 6.207, 6.603, 7.088, 7.675, 8.373",\
                 "5.259, 5.322, 5.48, 5.695, 5.958, 6.279, 6.675, 7.16, 7.748, 8.446",\
                 "5.293, 5.355, 5.513, 5.728, 5.991, 6.313, 6.709, 7.194, 7.781, 8.479",\
                 "5.281, 5.343, 5.502, 5.717, 5.979, 6.301, 6.697, 7.182, 7.77, 8.467",\
                 "5.216, 5.277, 5.436, 5.651, 5.914, 6.235, 6.632, 7.117, 7.704, 8.402",\
                 "5.094, 5.155, 5.313, 5.528, 5.791, 6.113, 6.509, 6.995, 7.582, 8.28");
        }

        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.006684, 0.02663, 0.06473, 0.1241, 0.2074, 0.317, 0.455, 0.6236, 0.8244");
          values("4.148, 4.234, 4.466, 4.825, 5.337, 6.039, 6.958, 8.114, 9.522, 11.2",\
                 "4.167, 4.253, 4.486, 4.844, 5.356, 6.059, 6.977, 8.133, 9.541, 11.22",\
                 "4.265, 4.351, 4.584, 4.942, 5.454, 6.157, 7.076, 8.231, 9.64, 11.32",\
                 "4.466, 4.552, 4.785, 5.144, 5.655, 6.358, 7.276, 8.433, 9.841, 11.52",\
                 "4.794, 4.88, 5.112, 5.471, 5.983, 6.685, 7.604, 8.759, 10.17, 11.85",\
                 "5.266, 5.352, 5.585, 5.943, 6.455, 7.157, 8.077, 9.232, 10.64, 12.32",\
                 "5.896, 5.982, 6.215, 6.574, 7.085, 7.787, 8.707, 9.862, 11.27, 12.95",\
                 "6.683, 6.769, 7.002, 7.361, 7.873, 8.575, 9.495, 10.65, 12.06, 13.74",\
                 "7.586, 7.673, 7.907, 8.266, 8.778, 9.481, 10.4, 11.56, 12.96, 14.64",\
                 "8.557, 8.645, 8.879, 9.24, 9.753, 10.45, 11.37, 12.53, 13.94, 15.62");
        }

        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.006684, 0.02663, 0.06473, 0.1241, 0.2074, 0.317, 0.455, 0.6236, 0.8244");
          values("0.4928, 0.5576, 0.7236, 0.9698, 1.304, 1.742, 2.317, 3.058, 3.993, 5.134",\
                 "0.4934, 0.5578, 0.7232, 0.9702, 1.304, 1.745, 2.318, 3.058, 3.993, 5.134",\
                 "0.4934, 0.557, 0.7234, 0.9698, 1.304, 1.745, 2.319, 3.058, 3.993, 5.134",\
                 "0.4932, 0.5578, 0.7238, 0.9698, 1.304, 1.742, 2.317, 3.058, 3.993, 5.134",\
                 "0.4934, 0.5576, 0.7236, 0.9698, 1.304, 1.742, 2.316, 3.058, 3.992, 5.135",\
                 "0.4928, 0.5576, 0.723, 0.97, 1.305, 1.745, 2.319, 3.057, 3.989, 5.135",\
                 "0.4934, 0.5574, 0.7232, 0.9702, 1.303, 1.745, 2.32, 3.059, 3.992, 5.138",\
                 "0.4936, 0.5574, 0.7242, 0.9698, 1.303, 1.742, 2.317, 3.055, 3.992, 5.137",\
                 "0.4938, 0.558, 0.7246, 0.9712, 1.306, 1.743, 2.316, 3.054, 3.986, 5.13",\
                 "0.496, 0.558, 0.724, 0.972, 1.304, 1.74, 2.318, 3.054, 3.992, 5.13");
        }

        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.006684, 0.02663, 0.06473, 0.1241, 0.2074, 0.317, 0.455, 0.6236, 0.8244");
          values("0.3388, 0.4174, 0.6752, 1.173, 1.993, 3.173, 4.743, 6.722, 9.145, 12",\
                 "0.339, 0.4174, 0.6746, 1.173, 1.991, 3.173, 4.742, 6.714, 9.136, 12.03",\
                 "0.3388, 0.417, 0.6746, 1.173, 1.992, 3.175, 4.74, 6.718, 9.145, 11.99",\
                 "0.3392, 0.4172, 0.6748, 1.173, 1.991, 3.172, 4.742, 6.718, 9.141, 12.03",\
                 "0.3394, 0.4168, 0.6738, 1.173, 1.991, 3.171, 4.742, 6.719, 9.145, 12.02",\
                 "0.3396, 0.4174, 0.6752, 1.173, 1.991, 3.172, 4.743, 6.717, 9.14, 12.03",\
                 "0.3392, 0.4174, 0.6744, 1.173, 1.992, 3.175, 4.744, 6.72, 9.142, 12.02",\
                 "0.34, 0.418, 0.676, 1.176, 1.992, 3.172, 4.744, 6.722, 9.132, 12.02",\
                 "0.338, 0.418, 0.676, 1.174, 1.992, 3.172, 4.74, 6.716, 9.142, 11.99",\
                 "0.34, 0.418, 0.676, 1.174, 1.99, 3.172, 4.736, 6.718, 9.132, 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.006684, 0.02663, 0.06473, 0.1241, 0.2074, 0.317, 0.455, 0.6236, 0.8244");
          values("4.074, 4.163, 4.386, 4.678, 5.017, 5.406, 5.853, 6.373, 6.98, 7.686",\
                 "4.084, 4.173, 4.397, 4.688, 5.028, 5.417, 5.864, 6.384, 6.989, 7.696",\
                 "4.161, 4.251, 4.474, 4.766, 5.106, 5.494, 5.941, 6.461, 7.067, 7.774",\
                 "4.36, 4.449, 4.672, 4.966, 5.304, 5.692, 6.139, 6.659, 7.265, 7.972",\
                 "4.695, 4.784, 5.007, 5.3, 5.638, 6.027, 6.474, 6.993, 7.6, 8.307",\
                 "5.168, 5.256, 5.479, 5.771, 6.111, 6.499, 6.947, 7.466, 8.072, 8.78",\
                 "5.743, 5.832, 6.056, 6.348, 6.687, 7.076, 7.523, 8.042, 8.649, 9.356",\
                 "6.375, 6.463, 6.686, 6.979, 7.318, 7.706, 8.153, 8.673, 9.279, 9.986",\
                 "7.058, 7.147, 7.37, 7.662, 8.002, 8.391, 8.838, 9.358, 9.964, 10.67",\
                 "7.8, 7.889, 8.112, 8.404, 8.743, 9.132, 9.579, 10.1, 10.7, 11.41");
        }

        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.006684, 0.02663, 0.06473, 0.1241, 0.2074, 0.317, 0.455, 0.6236, 0.8244");
          values("4.384, 4.47, 4.702, 5.061, 5.572, 6.275, 7.194, 8.349, 9.757, 11.44",\
                 "4.414, 4.5, 4.732, 5.091, 5.602, 6.305, 7.224, 8.379, 9.788, 11.47",\
                 "4.507, 4.592, 4.824, 5.183, 5.695, 6.398, 7.316, 8.471, 9.88, 11.56",\
                 "4.635, 4.72, 4.953, 5.311, 5.823, 6.525, 7.444, 8.599, 10.01, 11.69",\
                 "4.743, 4.828, 5.06, 5.419, 5.931, 6.633, 7.553, 8.708, 10.12, 11.79",\
                 "4.816, 4.901, 5.134, 5.492, 6.004, 6.706, 7.626, 8.781, 10.19, 11.87",\
                 "4.849, 4.934, 5.166, 5.525, 6.037, 6.739, 7.659, 8.814, 10.22, 11.9",\
                 "4.836, 4.922, 5.154, 5.513, 6.025, 6.727, 7.646, 8.802, 10.21, 11.89",\
                 "4.771, 4.857, 5.089, 5.447, 5.959, 6.662, 7.58, 8.735, 10.14, 11.82",\
                 "4.649, 4.734, 4.966, 5.325, 5.837, 6.54, 7.459, 8.614, 10.02, 11.7");
        }

        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.006684, 0.02663, 0.06473, 0.1241, 0.2074, 0.317, 0.455, 0.6236, 0.8244");
          values("0.4932, 0.5572, 0.7234, 0.9698, 1.305, 1.742, 2.315, 3.058, 3.992, 5.134",\
                 "0.4928, 0.5572, 0.7236, 0.9702, 1.304, 1.742, 2.317, 3.058, 3.99, 5.133",\
                 "0.4932, 0.5576, 0.7234, 0.9696, 1.304, 1.745, 2.319, 3.058, 3.993, 5.134",\
                 "0.4932, 0.5572, 0.7242, 0.9696, 1.304, 1.742, 2.314, 3.057, 3.988, 5.131",\
                 "0.4926, 0.5574, 0.723, 0.9696, 1.305, 1.74, 2.317, 3.058, 3.992, 5.132",\
                 "0.4928, 0.557, 0.7236, 0.97, 1.305, 1.745, 2.317, 3.057, 3.991, 5.135",\
                 "0.4932, 0.5574, 0.7236, 0.97, 1.304, 1.741, 2.318, 3.058, 3.992, 5.13",\
                 "0.494, 0.558, 0.722, 0.97, 1.304, 1.744, 2.316, 3.058, 3.99, 5.136",\
                 "0.494, 0.556, 0.724, 0.97, 1.304, 1.744, 2.316, 3.058, 3.992, 5.13",\
                 "0.492, 0.558, 0.724, 0.97, 1.304, 1.742, 2.316, 3.054, 3.988, 5.132");
        }

        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.006684, 0.02663, 0.06473, 0.1241, 0.2074, 0.317, 0.455, 0.6236, 0.8244");
          values("0.3888, 0.463, 0.7114, 1.199, 2.008, 3.182, 4.747, 6.721, 9.133, 11.99",\
                 "0.3878, 0.4636, 0.7122, 1.199, 2.007, 3.184, 4.742, 6.722, 9.132, 12",\
                 "0.388, 0.4646, 0.7134, 1.198, 2.008, 3.181, 4.749, 6.72, 9.132, 12.01",\
                 "0.3876, 0.4628, 0.7122, 1.198, 2.007, 3.184, 4.748, 6.722, 9.129, 12",\
                 "0.388, 0.463, 0.7116, 1.198, 2.006, 3.185, 4.749, 6.715, 9.127, 12",\
                 "0.3888, 0.4632, 0.7138, 1.199, 2.008, 3.184, 4.749, 6.714, 9.126, 12.01",\
                 "0.3898, 0.4634, 0.714, 1.199, 2.006, 3.184, 4.749, 6.716, 9.128, 12",\
                 "0.3894, 0.4628, 0.7118, 1.198, 2.008, 3.183, 4.746, 6.722, 9.13, 12.01",\
                 "0.388, 0.462, 0.714, 1.2, 2.006, 3.18, 4.74, 6.72, 9.126, 12.01",\
                 "0.388, 0.464, 0.712, 1.2, 2.008, 3.18, 4.744, 6.71, 9.126, 12");
        }
      }

      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.006684, 0.02663, 0.06473, 0.1241, 0.2074, 0.317, 0.455, 0.6236, 0.8244");
          values("4.58, 4.642, 4.8, 5.015, 5.278, 5.599, 5.995, 6.481, 7.068, 7.766",\
                 "4.599, 4.661, 4.819, 5.034, 5.297, 5.619, 6.015, 6.5, 7.088, 7.785",\
                 "4.697, 4.76, 4.918, 5.132, 5.395, 5.717, 6.113, 6.598, 7.186, 7.884",\
                 "4.899, 4.961, 5.119, 5.334, 5.597, 5.918, 6.315, 6.8, 7.387, 8.086",\
                 "5.227, 5.288, 5.447, 5.661, 5.924, 6.246, 6.642, 7.128, 7.715, 8.413",\
                 "5.698, 5.76, 5.918, 6.133, 6.396, 6.718, 7.114, 7.599, 8.186, 8.884",\
                 "6.326, 6.389, 6.547, 6.762, 7.025, 7.346, 7.743, 8.228, 8.815, 9.513",\
                 "7.104, 7.166, 7.325, 7.54, 7.803, 8.124, 8.52, 9.006, 9.593, 10.29",\
                 "7.98, 8.042, 8.2, 8.414, 8.677, 8.999, 9.395, 9.88, 10.47, 11.17",\
                 "8.909, 8.971, 9.129, 9.344, 9.607, 9.929, 10.32, 10.81, 11.4, 12.09");
        }

        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.006684, 0.02663, 0.06473, 0.1241, 0.2074, 0.317, 0.455, 0.6236, 0.8244");
          values("2.782, 2.861, 3.082, 3.433, 3.942, 4.642, 5.56, 6.716, 8.122, 9.8",\
                 "2.808, 2.888, 3.108, 3.459, 3.968, 4.669, 5.588, 6.742, 8.148, 9.835",\
                 "2.881, 2.96, 3.18, 3.531, 4.04, 4.741, 5.658, 6.813, 8.222, 9.899",\
                 "3.005, 3.083, 3.305, 3.656, 4.164, 4.865, 5.783, 6.938, 8.349, 10.03",\
                 "3.177, 3.257, 3.478, 3.829, 4.337, 5.038, 5.956, 7.111, 8.52, 10.2",\
                 "3.356, 3.435, 3.656, 4.007, 4.516, 5.216, 6.134, 7.29, 8.7, 10.38",\
                 "3.511, 3.59, 3.811, 4.162, 4.671, 5.372, 6.29, 7.444, 8.855, 10.54",\
                 "3.633, 3.712, 3.933, 4.284, 4.793, 5.494, 6.411, 7.567, 8.977, 10.66",\
                 "3.713, 3.792, 4.013, 4.364, 4.872, 5.573, 6.49, 7.645, 9.052, 10.73",\
                 "3.744, 3.822, 4.043, 4.395, 4.903, 5.604, 6.523, 7.677, 9.085, 10.76");
        }

        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.006684, 0.02663, 0.06473, 0.1241, 0.2074, 0.317, 0.455, 0.6236, 0.8244");
          values("0.3124, 0.3578, 0.4878, 0.6974, 1.008, 1.45, 2.061, 2.853, 3.836, 5.023",\
                 "0.3126, 0.3582, 0.4872, 0.6982, 1.008, 1.45, 2.058, 2.851, 3.839, 5.026",\
                 "0.3124, 0.3584, 0.4878, 0.6996, 1.008, 1.451, 2.06, 2.853, 3.839, 5.026",\
                 "0.3124, 0.358, 0.4872, 0.6974, 1.008, 1.452, 2.061, 2.85, 3.84, 5.025",\
                 "0.3122, 0.358, 0.487, 0.7002, 1.009, 1.452, 2.061, 2.853, 3.839, 5.026",\
                 "0.3126, 0.3578, 0.4878, 0.7002, 1.008, 1.452, 2.061, 2.854, 3.838, 5.023",\
                 "0.3124, 0.3588, 0.4872, 0.7002, 1.008, 1.452, 2.058, 2.854, 3.838, 5.026",\
                 "0.312, 0.358, 0.486, 0.7, 1.008, 1.45, 2.058, 2.848, 3.838, 5.022",\
                 "0.312, 0.358, 0.486, 0.696, 1.012, 1.452, 2.06, 2.852, 3.836, 5.026",\
                 "0.312, 0.358, 0.488, 0.698, 1.008, 1.452, 2.058, 2.854, 3.838, 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.006684, 0.02663, 0.06473, 0.1241, 0.2074, 0.317, 0.455, 0.6236, 0.8244");
          values("0.3396, 0.4166, 0.6738, 1.174, 1.991, 3.172, 4.742, 6.718, 9.14, 12.01",\
                 "0.3398, 0.4176, 0.6742, 1.173, 1.992, 3.175, 4.743, 6.722, 9.14, 12.03",\
                 "0.3396, 0.4174, 0.6746, 1.173, 1.992, 3.174, 4.742, 6.722, 9.13, 12.01",\
                 "0.3392, 0.4176, 0.6746, 1.173, 1.99, 3.173, 4.742, 6.717, 9.143, 12.02",\
                 "0.3392, 0.4174, 0.675, 1.173, 1.992, 3.173, 4.744, 6.716, 9.128, 11.99",\
                 "0.3398, 0.4174, 0.6746, 1.172, 1.992, 3.174, 4.738, 6.713, 9.145, 12.03",\
                 "0.3388, 0.4166, 0.675, 1.173, 1.993, 3.175, 4.74, 6.72, 9.145, 12.03",\
                 "0.3392, 0.4172, 0.6748, 1.174, 1.989, 3.17, 4.74, 6.721, 9.14, 12.03",\
                 "0.3392, 0.4176, 0.675, 1.173, 1.993, 3.174, 4.734, 6.704, 9.118, 11.99",\
                 "0.34, 0.418, 0.674, 1.174, 1.99, 3.174, 4.736, 6.704, 9.114, 11.99");
        }
      }

      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.006684, 0.02663, 0.06473, 0.1241, 0.2074, 0.317, 0.455, 0.6236, 0.8244");
          values("4.58, 4.642, 4.8, 5.015, 5.278, 5.599, 5.995, 6.481, 7.068, 7.766",\
                 "4.599, 4.661, 4.819, 5.034, 5.297, 5.619, 6.015, 6.5, 7.088, 7.785",\
                 "4.697, 4.76, 4.918, 5.132, 5.395, 5.717, 6.113, 6.598, 7.186, 7.884",\
                 "4.899, 4.961, 5.119, 5.334, 5.597, 5.918, 6.315, 6.8, 7.387, 8.086",\
                 "5.227, 5.288, 5.447, 5.661, 5.924, 6.246, 6.642, 7.128, 7.715, 8.413",\
                 "5.698, 5.76, 5.918, 6.133, 6.396, 6.718, 7.114, 7.599, 8.186, 8.884",\
                 "6.326, 6.389, 6.547, 6.762, 7.025, 7.346, 7.743, 8.228, 8.815, 9.513",\
                 "7.104, 7.166, 7.325, 7.54, 7.803, 8.124, 8.52, 9.006, 9.593, 10.29",\
                 "7.98, 8.042, 8.2, 8.414, 8.677, 8.999, 9.395, 9.88, 10.47, 11.17",\
                 "8.909, 8.971, 9.129, 9.344, 9.607, 9.929, 10.32, 10.81, 11.4, 12.09");
        }

        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.006684, 0.02663, 0.06473, 0.1241, 0.2074, 0.317, 0.455, 0.6236, 0.8244");
          values("4.384, 4.47, 4.702, 5.061, 5.572, 6.275, 7.194, 8.349, 9.757, 11.44",\
                 "4.414, 4.5, 4.732, 5.091, 5.602, 6.305, 7.224, 8.379, 9.788, 11.47",\
                 "4.507, 4.592, 4.824, 5.183, 5.695, 6.398, 7.316, 8.471, 9.88, 11.56",\
                 "4.635, 4.72, 4.953, 5.311, 5.823, 6.525, 7.444, 8.599, 10.01, 11.69",\
                 "4.743, 4.828, 5.06, 5.419, 5.931, 6.633, 7.553, 8.708, 10.12, 11.79",\
                 "4.816, 4.901, 5.134, 5.492, 6.004, 6.706, 7.626, 8.781, 10.19, 11.87",\
                 "4.849, 4.934, 5.166, 5.525, 6.037, 6.739, 7.659, 8.814, 10.22, 11.9",\
                 "4.836, 4.922, 5.154, 5.513, 6.025, 6.727, 7.646, 8.802, 10.21, 11.89",\
                 "4.771, 4.857, 5.089, 5.447, 5.959, 6.662, 7.58, 8.735, 10.14, 11.82",\
                 "4.649, 4.734, 4.966, 5.325, 5.837, 6.54, 7.459, 8.614, 10.02, 11.7");
        }

        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.006684, 0.02663, 0.06473, 0.1241, 0.2074, 0.317, 0.455, 0.6236, 0.8244");
          values("0.4932, 0.5572, 0.7234, 0.9698, 1.305, 1.742, 2.315, 3.058, 3.992, 5.134",\
                 "0.4928, 0.5572, 0.7236, 0.9702, 1.304, 1.742, 2.317, 3.058, 3.99, 5.133",\
                 "0.4932, 0.5576, 0.7234, 0.9696, 1.304, 1.745, 2.319, 3.058, 3.993, 5.134",\
                 "0.4932, 0.5572, 0.7242, 0.9696, 1.304, 1.742, 2.314, 3.057, 3.988, 5.131",\
                 "0.4926, 0.5574, 0.723, 0.9696, 1.305, 1.74, 2.317, 3.058, 3.992, 5.132",\
                 "0.4928, 0.557, 0.7236, 0.97, 1.305, 1.745, 2.317, 3.057, 3.991, 5.135",\
                 "0.4932, 0.5574, 0.7236, 0.97, 1.304, 1.741, 2.318, 3.058, 3.992, 5.13",\
                 "0.494, 0.558, 0.722, 0.97, 1.304, 1.744, 2.316, 3.058, 3.99, 5.136",\
                 "0.494, 0.556, 0.724, 0.97, 1.304, 1.744, 2.316, 3.058, 3.992, 5.13",\
                 "0.492, 0.558, 0.724, 0.97, 1.304, 1.742, 2.316, 3.054, 3.988, 5.132");
        }

        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.006684, 0.02663, 0.06473, 0.1241, 0.2074, 0.317, 0.455, 0.6236, 0.8244");
          values("0.3396, 0.4166, 0.6738, 1.174, 1.991, 3.172, 4.742, 6.718, 9.14, 12.01",\
                 "0.3398, 0.4176, 0.6742, 1.173, 1.992, 3.175, 4.743, 6.722, 9.14, 12.03",\
                 "0.3396, 0.4174, 0.6746, 1.173, 1.992, 3.174, 4.742, 6.722, 9.13, 12.01",\
                 "0.3392, 0.4176, 0.6746, 1.173, 1.99, 3.173, 4.742, 6.717, 9.143, 12.02",\
                 "0.3392, 0.4174, 0.675, 1.173, 1.992, 3.173, 4.744, 6.716, 9.128, 11.99",\
                 "0.3398, 0.4174, 0.6746, 1.172, 1.992, 3.174, 4.738, 6.713, 9.145, 12.03",\
                 "0.3388, 0.4166, 0.675, 1.173, 1.993, 3.175, 4.74, 6.72, 9.145, 12.03",\
                 "0.3392, 0.4172, 0.6748, 1.174, 1.989, 3.17, 4.74, 6.721, 9.14, 12.03",\
                 "0.3392, 0.4176, 0.675, 1.173, 1.993, 3.174, 4.734, 6.704, 9.118, 11.99",\
                 "0.34, 0.418, 0.674, 1.174, 1.99, 3.174, 4.736, 6.704, 9.114, 11.99");
        }
      }

      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.006684, 0.02663, 0.06473, 0.1241, 0.2074, 0.317, 0.455, 0.6236, 0.8244");
          values("1.731, 1.794, 1.952, 2.166, 2.429, 2.751, 3.147, 3.632, 4.219, 4.917",\
                 "1.758, 1.821, 1.979, 2.194, 2.457, 2.779, 3.174, 3.66, 4.246, 4.944",\
                 "1.824, 1.887, 2.045, 2.26, 2.523, 2.844, 3.24, 3.726, 4.313, 5.01",\
                 "1.932, 1.995, 2.153, 2.368, 2.631, 2.953, 3.349, 3.834, 4.421, 5.119",\
                 "2.068, 2.13, 2.289, 2.503, 2.766, 3.088, 3.484, 3.969, 4.556, 5.253",\
                 "2.191, 2.253, 2.412, 2.626, 2.889, 3.211, 3.608, 4.093, 4.679, 5.377",\
                 "2.291, 2.353, 2.512, 2.725, 2.988, 3.31, 3.705, 4.19, 4.776, 5.474",\
                 "2.351, 2.413, 2.572, 2.786, 3.05, 3.371, 3.767, 4.251, 4.837, 5.533",\
                 "2.367, 2.43, 2.588, 2.803, 3.066, 3.388, 3.783, 4.268, 4.854, 5.551",\
                 "2.333, 2.395, 2.555, 2.77, 3.033, 3.355, 3.751, 4.235, 4.822, 5.518");
        }

        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.006684, 0.02663, 0.06473, 0.1241, 0.2074, 0.317, 0.455, 0.6236, 0.8244");
          values("2.18, 2.261, 2.483, 2.837, 3.347, 4.049, 4.969, 6.124, 7.532, 9.21",\
                 "2.209, 2.289, 2.512, 2.866, 3.376, 4.079, 4.998, 6.151, 7.561, 9.239",\
                 "2.326, 2.407, 2.63, 2.984, 3.494, 4.196, 5.114, 6.27, 7.679, 9.356",\
                 "2.562, 2.642, 2.866, 3.219, 3.73, 4.431, 5.35, 6.505, 7.913, 9.593",\
                 "2.938, 3.018, 3.241, 3.595, 4.105, 4.807, 5.726, 6.881, 8.29, 9.968",\
                 "3.453, 3.534, 3.757, 4.11, 4.621, 5.323, 6.242, 7.397, 8.806, 10.48",\
                 "4.058, 4.138, 4.363, 4.716, 5.227, 5.929, 6.849, 8.003, 9.411, 11.09",\
                 "4.71, 4.792, 5.016, 5.372, 5.882, 6.585, 7.503, 8.659, 10.07, 11.74",\
                 "5.412, 5.493, 5.718, 6.073, 6.584, 7.287, 8.206, 9.363, 10.77, 12.45",\
                 "6.165, 6.247, 6.474, 6.829, 7.341, 8.043, 8.963, 10.12, 11.53, 13.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.006684, 0.02663, 0.06473, 0.1241, 0.2074, 0.317, 0.455, 0.6236, 0.8244");
          values("0.3138, 0.3594, 0.4878, 0.7004, 1.011, 1.452, 2.058, 2.848, 3.838, 5.023",\
                 "0.3138, 0.359, 0.488, 0.6978, 1.008, 1.453, 2.057, 2.85, 3.836, 5.02",\
                 "0.3136, 0.3594, 0.4878, 0.7004, 1.008, 1.452, 2.057, 2.85, 3.835, 5.024",\
                 "0.314, 0.3594, 0.4884, 0.6986, 1.011, 1.454, 2.059, 2.848, 3.838, 5.024",\
                 "0.3132, 0.3586, 0.4876, 0.6978, 1.01, 1.453, 2.059, 2.849, 3.833, 5.021",\
                 "0.3122, 0.3578, 0.4862, 0.6966, 1.009, 1.451, 2.058, 2.851, 3.834, 5.022",\
                 "0.3136, 0.359, 0.4878, 0.6964, 1.008, 1.448, 2.053, 2.848, 3.833, 5.024",\
                 "0.315, 0.3598, 0.4892, 0.6988, 1.008, 1.448, 2.056, 2.845, 3.827, 5.012",\
                 "0.3156, 0.3612, 0.4892, 0.6996, 1.009, 1.451, 2.058, 2.845, 3.825, 5.01",\
                 "0.3168, 0.363, 0.4906, 0.6992, 1.009, 1.45, 2.056, 2.846, 3.83, 5.012");
        }

        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.006684, 0.02663, 0.06473, 0.1241, 0.2074, 0.317, 0.455, 0.6236, 0.8244");
          values("0.3462, 0.425, 0.6836, 1.182, 1.999, 3.176, 4.748, 6.724, 9.128, 12.01",\
                 "0.3464, 0.425, 0.6838, 1.182, 1.999, 3.18, 4.748, 6.716, 9.134, 12.01",\
                 "0.3466, 0.4248, 0.6824, 1.182, 1.996, 3.175, 4.746, 6.722, 9.135, 12.01",\
                 "0.347, 0.425, 0.6838, 1.18, 1.999, 3.179, 4.744, 6.719, 9.124, 12",\
                 "0.3466, 0.425, 0.6834, 1.182, 1.998, 3.18, 4.748, 6.714, 9.135, 12.01",\
                 "0.3474, 0.4252, 0.6814, 1.18, 1.999, 3.176, 4.748, 6.72, 9.131, 12",\
                 "0.3488, 0.4264, 0.6838, 1.181, 1.999, 3.178, 4.746, 6.724, 9.126, 12.01",\
                 "0.3518, 0.4296, 0.6856, 1.184, 2, 3.18, 4.744, 6.724, 9.136, 12.01",\
                 "0.354, 0.432, 0.69, 1.186, 1.998, 3.178, 4.744, 6.724, 9.124, 12.01",\
                 "0.358, 0.436, 0.692, 1.186, 2.002, 3.182, 4.74, 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.006684, 0.02663, 0.06473, 0.1241, 0.2074, 0.317, 0.455, 0.6236, 0.8244");
          values("1.731, 1.793, 1.952, 2.166, 2.429, 2.751, 3.147, 3.632, 4.219, 4.917",\
                 "1.758, 1.82, 1.979, 2.193, 2.457, 2.778, 3.175, 3.66, 4.247, 4.944",\
                 "1.824, 1.887, 2.045, 2.26, 2.523, 2.844, 3.24, 3.726, 4.313, 5.01",\
                 "1.933, 1.995, 2.153, 2.368, 2.631, 2.953, 3.349, 3.834, 4.421, 5.119",\
                 "2.068, 2.13, 2.289, 2.503, 2.766, 3.088, 3.484, 3.969, 4.556, 5.254",\
                 "2.191, 2.253, 2.412, 2.626, 2.89, 3.211, 3.608, 4.093, 4.68, 5.377",\
                 "2.291, 2.353, 2.512, 2.725, 2.989, 3.31, 3.705, 4.189, 4.776, 5.474",\
                 "2.351, 2.413, 2.572, 2.786, 3.05, 3.371, 3.767, 4.251, 4.837, 5.533",\
                 "2.367, 2.43, 2.588, 2.803, 3.066, 3.388, 3.783, 4.268, 4.853, 5.55",\
                 "2.333, 2.395, 2.555, 2.77, 3.033, 3.355, 3.751, 4.235, 4.821, 5.518");
        }

        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.006684, 0.02663, 0.06473, 0.1241, 0.2074, 0.317, 0.455, 0.6236, 0.8244");
          values("2.18, 2.26, 2.483, 2.837, 3.348, 4.049, 4.968, 6.123, 7.532, 9.21",\
                 "2.209, 2.289, 2.512, 2.866, 3.376, 4.078, 4.998, 6.151, 7.561, 9.239",\
                 "2.326, 2.407, 2.63, 2.983, 3.494, 4.196, 5.114, 6.27, 7.679, 9.356",\
                 "2.562, 2.642, 2.866, 3.219, 3.729, 4.431, 5.35, 6.506, 7.914, 9.591",\
                 "2.938, 3.018, 3.241, 3.595, 4.105, 4.807, 5.726, 6.881, 8.29, 9.968",\
                 "3.453, 3.534, 3.757, 4.11, 4.621, 5.323, 6.241, 7.397, 8.806, 10.48",\
                 "4.058, 4.138, 4.363, 4.716, 5.227, 5.929, 6.849, 8.003, 9.41, 11.09",\
                 "4.711, 4.792, 5.017, 5.371, 5.882, 6.584, 7.503, 8.66, 10.07, 11.75",\
                 "5.412, 5.493, 5.718, 6.073, 6.584, 7.287, 8.206, 9.363, 10.77, 12.45",\
                 "6.164, 6.246, 6.474, 6.829, 7.341, 8.043, 8.963, 10.12, 11.53, 13.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.006684, 0.02663, 0.06473, 0.1241, 0.2074, 0.317, 0.455, 0.6236, 0.8244");
          values("0.3138, 0.3592, 0.488, 0.7002, 1.011, 1.452, 2.06, 2.852, 3.835, 5.018",\
                 "0.3138, 0.3592, 0.488, 0.6986, 1.008, 1.452, 2.057, 2.849, 3.836, 5.02",\
                 "0.3138, 0.3594, 0.4878, 0.6978, 1.009, 1.452, 2.057, 2.848, 3.836, 5.021",\
                 "0.3138, 0.3594, 0.4878, 0.698, 1.008, 1.452, 2.059, 2.848, 3.838, 5.023",\
                 "0.3142, 0.3586, 0.4876, 0.6978, 1.01, 1.454, 2.06, 2.848, 3.838, 5.025",\
                 "0.3126, 0.358, 0.4862, 0.6966, 1.009, 1.451, 2.059, 2.852, 3.833, 5.022",\
                 "0.3138, 0.359, 0.4878, 0.6964, 1.007, 1.448, 2.053, 2.848, 3.837, 5.024",\
                 "0.315, 0.3602, 0.489, 0.6986, 1.008, 1.448, 2.056, 2.845, 3.827, 5.012",\
                 "0.3156, 0.3612, 0.4892, 0.6994, 1.009, 1.451, 2.058, 2.845, 3.83, 5.013",\
                 "0.3168, 0.363, 0.4908, 0.7, 1.009, 1.45, 2.056, 2.846, 3.832, 5.01");
        }

        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.006684, 0.02663, 0.06473, 0.1241, 0.2074, 0.317, 0.455, 0.6236, 0.8244");
          values("0.3462, 0.4252, 0.6836, 1.182, 1.999, 3.18, 4.747, 6.718, 9.134, 12.01",\
                 "0.3464, 0.425, 0.6836, 1.182, 1.999, 3.18, 4.748, 6.716, 9.134, 12.01",\
                 "0.3466, 0.4246, 0.6822, 1.182, 1.996, 3.176, 4.746, 6.722, 9.135, 12.01",\
                 "0.346, 0.4246, 0.6826, 1.18, 1.999, 3.179, 4.747, 6.723, 9.137, 12.01",\
                 "0.346, 0.4246, 0.6836, 1.182, 1.998, 3.179, 4.748, 6.713, 9.135, 12.01",\
                 "0.347, 0.4258, 0.6826, 1.18, 1.999, 3.18, 4.747, 6.722, 9.136, 12.01",\
                 "0.3484, 0.4264, 0.6862, 1.181, 1.999, 3.18, 4.746, 6.725, 9.122, 12",\
                 "0.352, 0.4296, 0.6858, 1.185, 2, 3.181, 4.744, 6.724, 9.136, 12.01",\
                 "0.354, 0.432, 0.69, 1.186, 1.998, 3.178, 4.744, 6.724, 9.132, 12",\
                 "0.36, 0.438, 0.692, 1.186, 2.002, 3.182, 4.744, 6.718, 9.126, 12.01");
        }
      }

      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.006684, 0.02663, 0.06473, 0.1241, 0.2074, 0.317, 0.455, 0.6236, 0.8244");
          values("1.731, 1.794, 1.952, 2.166, 2.429, 2.751, 3.147, 3.632, 4.219, 4.917",\
                 "1.758, 1.821, 1.979, 2.194, 2.457, 2.779, 3.174, 3.66, 4.246, 4.944",\
                 "1.824, 1.887, 2.045, 2.26, 2.523, 2.844, 3.24, 3.726, 4.313, 5.01",\
                 "1.932, 1.995, 2.153, 2.368, 2.631, 2.953, 3.349, 3.834, 4.421, 5.119",\
                 "2.068, 2.13, 2.289, 2.503, 2.766, 3.088, 3.484, 3.969, 4.556, 5.253",\
                 "2.191, 2.253, 2.412, 2.626, 2.889, 3.211, 3.608, 4.093, 4.679, 5.377",\
                 "2.291, 2.353, 2.512, 2.725, 2.988, 3.31, 3.705, 4.19, 4.776, 5.474",\
                 "2.351, 2.413, 2.572, 2.786, 3.05, 3.371, 3.767, 4.251, 4.837, 5.533",\
                 "2.367, 2.43, 2.588, 2.803, 3.066, 3.388, 3.783, 4.268, 4.854, 5.551",\
                 "2.333, 2.395, 2.555, 2.77, 3.033, 3.355, 3.751, 4.235, 4.822, 5.518");
        }

        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.006684, 0.02663, 0.06473, 0.1241, 0.2074, 0.317, 0.455, 0.6236, 0.8244");
          values("2.18, 2.26, 2.483, 2.837, 3.348, 4.049, 4.968, 6.123, 7.532, 9.21",\
                 "2.209, 2.289, 2.512, 2.866, 3.376, 4.078, 4.998, 6.151, 7.561, 9.239",\
                 "2.326, 2.407, 2.63, 2.983, 3.494, 4.196, 5.114, 6.27, 7.679, 9.356",\
                 "2.562, 2.642, 2.866, 3.219, 3.729, 4.431, 5.35, 6.506, 7.914, 9.591",\
                 "2.938, 3.018, 3.241, 3.595, 4.105, 4.807, 5.726, 6.881, 8.29, 9.968",\
                 "3.453, 3.534, 3.757, 4.11, 4.621, 5.323, 6.241, 7.397, 8.806, 10.48",\
                 "4.058, 4.138, 4.363, 4.716, 5.227, 5.929, 6.849, 8.003, 9.41, 11.09",\
                 "4.711, 4.792, 5.017, 5.371, 5.882, 6.584, 7.503, 8.66, 10.07, 11.75",\
                 "5.412, 5.493, 5.718, 6.073, 6.584, 7.287, 8.206, 9.363, 10.77, 12.45",\
                 "6.164, 6.246, 6.474, 6.829, 7.341, 8.043, 8.963, 10.12, 11.53, 13.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.006684, 0.02663, 0.06473, 0.1241, 0.2074, 0.317, 0.455, 0.6236, 0.8244");
          values("0.3138, 0.3592, 0.488, 0.7002, 1.011, 1.452, 2.06, 2.852, 3.835, 5.018",\
                 "0.3138, 0.3592, 0.488, 0.6986, 1.008, 1.452, 2.057, 2.849, 3.836, 5.02",\
                 "0.3138, 0.3594, 0.4878, 0.6978, 1.009, 1.452, 2.057, 2.848, 3.836, 5.021",\
                 "0.3138, 0.3594, 0.4878, 0.698, 1.008, 1.452, 2.059, 2.848, 3.838, 5.023",\
                 "0.3142, 0.3586, 0.4876, 0.6978, 1.01, 1.454, 2.06, 2.848, 3.838, 5.025",\
                 "0.3126, 0.358, 0.4862, 0.6966, 1.009, 1.451, 2.059, 2.852, 3.833, 5.022",\
                 "0.3138, 0.359, 0.4878, 0.6964, 1.007, 1.448, 2.053, 2.848, 3.837, 5.024",\
                 "0.315, 0.3602, 0.489, 0.6986, 1.008, 1.448, 2.056, 2.845, 3.827, 5.012",\
                 "0.3156, 0.3612, 0.4892, 0.6994, 1.009, 1.451, 2.058, 2.845, 3.83, 5.013",\
                 "0.3168, 0.363, 0.4908, 0.7, 1.009, 1.45, 2.056, 2.846, 3.832, 5.01");
        }

        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.006684, 0.02663, 0.06473, 0.1241, 0.2074, 0.317, 0.455, 0.6236, 0.8244");
          values("0.3462, 0.4252, 0.6836, 1.182, 1.999, 3.18, 4.747, 6.718, 9.134, 12.01",\
                 "0.3464, 0.425, 0.6836, 1.182, 1.999, 3.18, 4.748, 6.716, 9.134, 12.01",\
                 "0.3466, 0.4246, 0.6822, 1.182, 1.996, 3.176, 4.746, 6.722, 9.135, 12.01",\
                 "0.346, 0.4246, 0.6826, 1.18, 1.999, 3.179, 4.747, 6.723, 9.137, 12.01",\
                 "0.346, 0.4246, 0.6836, 1.182, 1.998, 3.179, 4.748, 6.713, 9.135, 12.01",\
                 "0.347, 0.4258, 0.6826, 1.18, 1.999, 3.18, 4.747, 6.722, 9.136, 12.01",\
                 "0.3484, 0.4264, 0.6862, 1.181, 1.999, 3.18, 4.746, 6.725, 9.122, 12",\
                 "0.352, 0.4296, 0.6858, 1.185, 2, 3.181, 4.744, 6.724, 9.136, 12.01",\
                 "0.354, 0.432, 0.69, 1.186, 1.998, 3.178, 4.744, 6.724, 9.132, 12",\
                 "0.36, 0.438, 0.692, 1.186, 2.002, 3.182, 4.744, 6.718, 9.126, 12.01");
        }
      }

      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.006684, 0.02663, 0.06473, 0.1241, 0.2074, 0.317, 0.455, 0.6236, 0.8244");
          values("1.868, 1.957, 2.18, 2.472, 2.812, 3.2, 3.647, 4.167, 4.773, 5.481",\
                 "1.9, 1.989, 2.212, 2.504, 2.843, 3.232, 3.679, 4.198, 4.805, 5.512",\
                 "1.998, 2.086, 2.31, 2.602, 2.942, 3.33, 3.777, 4.296, 4.903, 5.61",\
                 "2.197, 2.286, 2.509, 2.801, 3.14, 3.529, 3.976, 4.495, 5.102, 5.809",\
                 "2.524, 2.613, 2.837, 3.129, 3.467, 3.856, 4.303, 4.823, 5.429, 6.136",\
                 "2.998, 3.087, 3.31, 3.602, 3.941, 4.329, 4.777, 5.296, 5.903, 6.61",\
                 "3.606, 3.698, 3.926, 4.221, 4.561, 4.951, 5.399, 5.919, 6.525, 7.233",\
                 "4.275, 4.375, 4.623, 4.935, 5.287, 5.682, 6.135, 6.657, 7.264, 7.973",\
                 "4.976, 5.084, 5.356, 5.692, 6.062, 6.472, 6.933, 7.461, 8.072, 8.78",\
                 "5.709, 5.827, 6.121, 6.484, 6.876, 7.3, 7.771, 8.306, 8.921, 9.633");
        }

        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.006684, 0.02663, 0.06473, 0.1241, 0.2074, 0.317, 0.455, 0.6236, 0.8244");
          values("0.903, 0.9808, 1.2, 1.55, 2.059, 2.76, 3.678, 4.832, 6.243, 7.926",\
                 "0.9312, 1.009, 1.228, 1.579, 2.087, 2.788, 3.707, 4.861, 6.272, 7.953",\
                 "1.028, 1.107, 1.326, 1.676, 2.185, 2.886, 3.804, 4.959, 6.369, 8.051",\
                 "1.211, 1.289, 1.508, 1.858, 2.366, 3.067, 3.985, 5.141, 6.546, 8.228",\
                 "1.478, 1.556, 1.776, 2.126, 2.634, 3.335, 4.253, 5.408, 6.816, 8.493",\
                 "1.756, 1.84, 2.069, 2.424, 2.933, 3.633, 4.552, 5.706, 7.118, 8.802",\
                 "2.018, 2.108, 2.348, 2.71, 3.222, 3.924, 4.842, 5.997, 7.408, 9.089",\
                 "2.255, 2.354, 2.609, 2.978, 3.493, 4.195, 5.114, 6.268, 7.676, 9.355",\
                 "2.461, 2.569, 2.841, 3.222, 3.74, 4.441, 5.359, 6.514, 7.924, 9.601",\
                 "2.632, 2.751, 3.044, 3.439, 3.96, 4.662, 5.579, 6.735, 8.142, 9.821");
        }

        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.006684, 0.02663, 0.06473, 0.1241, 0.2074, 0.317, 0.455, 0.6236, 0.8244");
          values("0.493, 0.557, 0.7232, 0.97, 1.304, 1.744, 2.318, 3.058, 3.991, 5.132",\
                 "0.493, 0.5568, 0.7234, 0.9692, 1.304, 1.742, 2.316, 3.057, 3.991, 5.137",\
                 "0.4932, 0.5576, 0.7236, 0.9698, 1.304, 1.744, 2.319, 3.058, 3.991, 5.136",\
                 "0.493, 0.5574, 0.7234, 0.9698, 1.304, 1.743, 2.319, 3.057, 3.993, 5.131",\
                 "0.4928, 0.5568, 0.723, 0.9694, 1.303, 1.744, 2.318, 3.058, 3.992, 5.135",\
                 "0.4936, 0.5578, 0.724, 0.9702, 1.305, 1.741, 2.318, 3.057, 3.992, 5.136",\
                 "0.5216, 0.5832, 0.745, 0.9838, 1.312, 1.751, 2.322, 3.059, 3.992, 5.137",\
                 "0.5926, 0.6594, 0.819, 1.045, 1.359, 1.778, 2.342, 3.073, 3.998, 5.136",\
                 "0.664, 0.74, 0.912, 1.134, 1.434, 1.844, 2.394, 3.108, 4.024, 5.154",\
                 "0.738, 0.818, 1.004, 1.236, 1.524, 1.924, 2.454, 3.162, 4.06, 5.178");
        }

        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.006684, 0.02663, 0.06473, 0.1241, 0.2074, 0.317, 0.455, 0.6236, 0.8244");
          values("0.3317, 0.4108, 0.6714, 1.172, 1.99, 3.173, 4.745, 6.724, 9.142, 12.03",\
                 "0.3333, 0.41, 0.669, 1.172, 1.992, 3.175, 4.741, 6.72, 9.145, 12.03",\
                 "0.3324, 0.4104, 0.6696, 1.17, 1.992, 3.175, 4.74, 6.712, 9.146, 12.03",\
                 "0.3328, 0.4104, 0.6696, 1.171, 1.992, 3.175, 4.74, 6.72, 9.132, 12.02",\
                 "0.3426, 0.4192, 0.6738, 1.173, 1.992, 3.172, 4.745, 6.725, 9.132, 12.01",\
                 "0.3784, 0.4532, 0.6994, 1.187, 1.996, 3.175, 4.737, 6.723, 9.144, 12.04",\
                 "0.4238, 0.498, 0.7356, 1.209, 2.009, 3.179, 4.743, 6.718, 9.132, 12.03",\
                 "0.4766, 0.5488, 0.7776, 1.234, 2.022, 3.188, 4.743, 6.713, 9.119, 12.01",\
                 "0.5318, 0.6074, 0.8282, 1.267, 2.037, 3.195, 4.751, 6.718, 9.128, 12",\
                 "0.5916, 0.6718, 0.888, 1.306, 2.056, 3.204, 4.758, 6.724, 9.13, 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.006684, 0.02663, 0.06473, 0.1241, 0.2074, 0.317, 0.455, 0.6236, 0.8244");
          values("1.868, 1.957, 2.18, 2.472, 2.812, 3.2, 3.648, 4.167, 4.774, 5.481",\
                 "1.899, 1.988, 2.212, 2.504, 2.843, 3.232, 3.679, 4.199, 4.805, 5.512",\
                 "1.997, 2.086, 2.31, 2.602, 2.941, 3.33, 3.777, 4.297, 4.904, 5.611",\
                 "2.197, 2.286, 2.509, 2.801, 3.141, 3.529, 3.976, 4.496, 5.103, 5.809",\
                 "2.525, 2.613, 2.837, 3.128, 3.468, 3.857, 4.304, 4.824, 5.431, 6.138",\
                 "2.998, 3.087, 3.31, 3.602, 3.941, 4.33, 4.777, 5.297, 5.903, 6.611",\
                 "3.607, 3.698, 3.925, 4.221, 4.562, 4.952, 5.399, 5.92, 6.526, 7.233",\
                 "4.274, 4.375, 4.623, 4.936, 5.288, 5.684, 6.135, 6.657, 7.266, 7.973",\
                 "4.975, 5.085, 5.355, 5.692, 6.063, 6.472, 6.934, 7.461, 8.072, 8.781",\
                 "5.71, 5.827, 6.121, 6.485, 6.875, 7.301, 7.772, 8.307, 8.922, 9.634");
        }

        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.006684, 0.02663, 0.06473, 0.1241, 0.2074, 0.317, 0.455, 0.6236, 0.8244");
          values("0.903, 0.9808, 1.2, 1.55, 2.059, 2.76, 3.678, 4.832, 6.243, 7.926",\
                 "0.9313, 1.009, 1.228, 1.579, 2.087, 2.788, 3.707, 4.861, 6.272, 7.954",\
                 "1.029, 1.107, 1.326, 1.676, 2.185, 2.886, 3.804, 4.959, 6.369, 8.049",\
                 "1.211, 1.289, 1.508, 1.858, 2.366, 3.067, 3.985, 5.141, 6.546, 8.227",\
                 "1.478, 1.556, 1.776, 2.127, 2.634, 3.335, 4.254, 5.41, 6.817, 8.499",\
                 "1.756, 1.84, 2.069, 2.424, 2.933, 3.634, 4.552, 5.707, 7.118, 8.802",\
                 "2.018, 2.108, 2.348, 2.71, 3.222, 3.924, 4.842, 5.996, 7.408, 9.09",\
                 "2.255, 2.354, 2.609, 2.978, 3.493, 4.195, 5.115, 6.269, 7.676, 9.355",\
                 "2.461, 2.569, 2.842, 3.222, 3.74, 4.441, 5.36, 6.516, 7.924, 9.602",\
                 "2.632, 2.75, 3.044, 3.439, 3.961, 4.661, 5.579, 6.733, 8.143, 9.821");
        }

        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.006684, 0.02663, 0.06473, 0.1241, 0.2074, 0.317, 0.455, 0.6236, 0.8244");
          values("0.4934, 0.5574, 0.7226, 0.97, 1.304, 1.745, 2.319, 3.058, 3.991, 5.136",\
                 "0.4932, 0.5576, 0.7232, 0.9704, 1.304, 1.74, 2.317, 3.058, 3.991, 5.135",\
                 "0.4932, 0.558, 0.7234, 0.97, 1.304, 1.741, 2.317, 3.058, 3.993, 5.134",\
                 "0.4932, 0.5574, 0.724, 0.9702, 1.305, 1.744, 2.319, 3.055, 3.988, 5.135",\
                 "0.493, 0.557, 0.723, 0.9704, 1.303, 1.745, 2.319, 3.058, 3.993, 5.135",\
                 "0.494, 0.5578, 0.7244, 0.9708, 1.305, 1.742, 2.317, 3.056, 3.988, 5.137",\
                 "0.5226, 0.5836, 0.7436, 0.9836, 1.313, 1.751, 2.321, 3.061, 3.993, 5.135",\
                 "0.5926, 0.6592, 0.8202, 1.045, 1.36, 1.779, 2.344, 3.074, 4, 5.14",\
                 "0.664, 0.738, 0.912, 1.134, 1.434, 1.846, 2.394, 3.11, 4.022, 5.154",\
                 "0.738, 0.818, 1.006, 1.236, 1.526, 1.922, 2.454, 3.164, 4.06, 5.176");
        }

        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.006684, 0.02663, 0.06473, 0.1241, 0.2074, 0.317, 0.455, 0.6236, 0.8244");
          values("0.3318, 0.4108, 0.6716, 1.172, 1.99, 3.173, 4.745, 6.723, 9.143, 12.04",\
                 "0.3327, 0.4101, 0.669, 1.172, 1.992, 3.175, 4.741, 6.719, 9.145, 12.04",\
                 "0.3324, 0.4104, 0.6696, 1.17, 1.991, 3.174, 4.741, 6.722, 9.119, 12",\
                 "0.3328, 0.4104, 0.6696, 1.171, 1.992, 3.175, 4.74, 6.72, 9.132, 12.02",\
                 "0.3428, 0.4194, 0.675, 1.173, 1.992, 3.173, 4.738, 6.722, 9.13, 12",\
                 "0.3796, 0.4536, 0.6996, 1.187, 1.996, 3.174, 4.744, 6.72, 9.14, 12.04",\
                 "0.4242, 0.496, 0.7336, 1.209, 2.009, 3.18, 4.743, 6.711, 9.132, 12.03",\
                 "0.4766, 0.5498, 0.776, 1.234, 2.023, 3.194, 4.745, 6.72, 9.121, 12.02",\
                 "0.5314, 0.6086, 0.8276, 1.267, 2.037, 3.199, 4.754, 6.718, 9.13, 12",\
                 "0.5886, 0.6722, 0.89, 1.308, 2.054, 3.202, 4.754, 6.726, 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.006684, 0.02663, 0.06473, 0.1241, 0.2074, 0.317, 0.455, 0.6236, 0.8244");
          values("1.868, 1.957, 2.18, 2.472, 2.812, 3.2, 3.648, 4.167, 4.774, 5.481",\
                 "1.899, 1.988, 2.212, 2.504, 2.843, 3.232, 3.679, 4.199, 4.805, 5.512",\
                 "1.997, 2.086, 2.31, 2.602, 2.941, 3.33, 3.777, 4.297, 4.904, 5.611",\
                 "2.197, 2.286, 2.509, 2.801, 3.141, 3.529, 3.976, 4.496, 5.103, 5.809",\
                 "2.525, 2.613, 2.837, 3.128, 3.468, 3.857, 4.304, 4.824, 5.431, 6.138",\
                 "2.998, 3.087, 3.31, 3.602, 3.941, 4.33, 4.777, 5.297, 5.903, 6.611",\
                 "3.607, 3.698, 3.925, 4.221, 4.562, 4.952, 5.399, 5.92, 6.526, 7.233",\
                 "4.274, 4.375, 4.623, 4.936, 5.288, 5.684, 6.135, 6.657, 7.266, 7.973",\
                 "4.975, 5.085, 5.355, 5.692, 6.063, 6.472, 6.934, 7.461, 8.072, 8.781",\
                 "5.71, 5.827, 6.121, 6.485, 6.875, 7.301, 7.772, 8.307, 8.922, 9.634");
        }

        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.006684, 0.02663, 0.06473, 0.1241, 0.2074, 0.317, 0.455, 0.6236, 0.8244");
          values("0.903, 0.9808, 1.2, 1.55, 2.059, 2.76, 3.678, 4.832, 6.243, 7.926",\
                 "0.9313, 1.009, 1.228, 1.579, 2.087, 2.788, 3.707, 4.861, 6.272, 7.954",\
                 "1.029, 1.107, 1.326, 1.676, 2.185, 2.886, 3.804, 4.959, 6.369, 8.049",\
                 "1.211, 1.289, 1.508, 1.858, 2.366, 3.067, 3.985, 5.141, 6.546, 8.227",\
                 "1.478, 1.556, 1.776, 2.127, 2.634, 3.335, 4.254, 5.41, 6.817, 8.499",\
                 "1.756, 1.84, 2.069, 2.424, 2.933, 3.634, 4.552, 5.707, 7.118, 8.802",\
                 "2.018, 2.108, 2.348, 2.71, 3.222, 3.924, 4.842, 5.996, 7.408, 9.09",\
                 "2.255, 2.354, 2.609, 2.978, 3.493, 4.195, 5.115, 6.269, 7.676, 9.355",\
                 "2.461, 2.569, 2.842, 3.222, 3.74, 4.441, 5.36, 6.516, 7.924, 9.602",\
                 "2.632, 2.75, 3.044, 3.439, 3.961, 4.661, 5.579, 6.733, 8.143, 9.821");
        }

        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.006684, 0.02663, 0.06473, 0.1241, 0.2074, 0.317, 0.455, 0.6236, 0.8244");
          values("0.493, 0.557, 0.7232, 0.97, 1.304, 1.744, 2.318, 3.058, 3.991, 5.132",\
                 "0.493, 0.5568, 0.7234, 0.9692, 1.304, 1.742, 2.316, 3.057, 3.991, 5.137",\
                 "0.4932, 0.5576, 0.7236, 0.9698, 1.304, 1.744, 2.319, 3.058, 3.991, 5.136",\
                 "0.493, 0.5574, 0.7234, 0.9698, 1.304, 1.743, 2.319, 3.057, 3.993, 5.131",\
                 "0.4928, 0.5568, 0.723, 0.9694, 1.303, 1.744, 2.318, 3.058, 3.992, 5.135",\
                 "0.4936, 0.5578, 0.724, 0.9702, 1.305, 1.741, 2.318, 3.057, 3.992, 5.136",\
                 "0.5216, 0.5832, 0.745, 0.9838, 1.312, 1.751, 2.322, 3.059, 3.992, 5.137",\
                 "0.5926, 0.6594, 0.819, 1.045, 1.359, 1.778, 2.342, 3.073, 3.998, 5.136",\
                 "0.664, 0.74, 0.912, 1.134, 1.434, 1.844, 2.394, 3.108, 4.024, 5.154",\
                 "0.738, 0.818, 1.004, 1.236, 1.524, 1.924, 2.454, 3.162, 4.06, 5.178");
        }

        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.006684, 0.02663, 0.06473, 0.1241, 0.2074, 0.317, 0.455, 0.6236, 0.8244");
          values("0.3318, 0.4108, 0.6716, 1.172, 1.99, 3.173, 4.745, 6.723, 9.143, 12.04",\
                 "0.3327, 0.4101, 0.669, 1.172, 1.992, 3.175, 4.741, 6.719, 9.145, 12.04",\
                 "0.3324, 0.4104, 0.6696, 1.17, 1.991, 3.174, 4.741, 6.722, 9.119, 12",\
                 "0.3328, 0.4104, 0.6696, 1.171, 1.992, 3.175, 4.74, 6.72, 9.132, 12.02",\
                 "0.3428, 0.4194, 0.675, 1.173, 1.992, 3.173, 4.738, 6.722, 9.13, 12",\
                 "0.3796, 0.4536, 0.6996, 1.187, 1.996, 3.174, 4.744, 6.72, 9.14, 12.04",\
                 "0.4242, 0.496, 0.7336, 1.209, 2.009, 3.18, 4.743, 6.711, 9.132, 12.03",\
                 "0.4766, 0.5498, 0.776, 1.234, 2.023, 3.194, 4.745, 6.72, 9.121, 12.02",\
                 "0.5314, 0.6086, 0.8276, 1.267, 2.037, 3.199, 4.754, 6.718, 9.13, 12",\
                 "0.5886, 0.6722, 0.89, 1.308, 2.054, 3.202, 4.754, 6.726, 9.132, 12");
        }
      }
    }
  }