  cell(gf180mcu_fd_sc_mcu9t5v0__xor3_1) {
    area : 64.915200 ;

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

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

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

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

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

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

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

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

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

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

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

    pin(Z) {
      direction : output ;
      function : "(A1^A2^A3)" ;
      max_capacitance : 0.09335 ;
      max_transition : 17 ;
      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.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.001637, 0.003875, 0.008148, 0.0148, 0.02414, 0.03643, 0.05192, 0.07082, 0.09335");
          values("0.05236, 0.05235, 0.05232, 0.05221, 0.05205, 0.05183, 0.0516, 0.05139, 0.0512, 0.05104",\
                 "0.05233, 0.05233, 0.05228, 0.05218, 0.05203, 0.0518, 0.05157, 0.05135, 0.05117, 0.05102",\
                 "0.05227, 0.05226, 0.05222, 0.05211, 0.05194, 0.05174, 0.05151, 0.0513, 0.05111, 0.05095",\
                 "0.05222, 0.0522, 0.05217, 0.05208, 0.05191, 0.05168, 0.05146, 0.05123, 0.05106, 0.0509",\
                 "0.05213, 0.05212, 0.05209, 0.05198, 0.05183, 0.0516, 0.05138, 0.05116, 0.05098, 0.05082",\
                 "0.05201, 0.05199, 0.05196, 0.05185, 0.05169, 0.05146, 0.05124, 0.05103, 0.05084, 0.05068",\
                 "0.0518, 0.0518, 0.05175, 0.05166, 0.0515, 0.05127, 0.05105, 0.05083, 0.05065, 0.05049",\
                 "0.05159, 0.05158, 0.05154, 0.05145, 0.05128, 0.05105, 0.05083, 0.05061, 0.05042, 0.05025",\
                 "0.05124, 0.05123, 0.05118, 0.05109, 0.05092, 0.05067, 0.05042, 0.05014, 0.04974, 0.049",\
                 "0.03378, 0.03378, 0.03378, 0.03375, 0.03367, 0.03353, 0.03335, 0.03317, 0.03299, 0.03284");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.001637, 0.003875, 0.008148, 0.0148, 0.02414, 0.03643, 0.05192, 0.07082, 0.09335");
          values("0.05215, 0.05217, 0.05221, 0.05229, 0.05241, 0.05255, 0.05262, 0.05305, 0.05761, 0.07906",\
                 "0.05222, 0.05223, 0.05228, 0.05236, 0.05247, 0.05262, 0.0527, 0.05323, 0.05788, 0.07981",\
                 "0.05219, 0.0522, 0.05226, 0.05234, 0.05246, 0.05255, 0.0527, 0.05321, 0.05877, 0.08212",\
                 "0.05196, 0.05197, 0.05202, 0.0521, 0.05223, 0.05233, 0.05245, 0.05317, 0.06042, 0.08618",\
                 "0.05175, 0.05177, 0.05182, 0.0519, 0.05202, 0.05212, 0.05227, 0.05349, 0.06396, 0.0922",\
                 "0.05158, 0.0516, 0.05163, 0.05172, 0.05184, 0.05198, 0.05219, 0.05469, 0.07026, 0.09911",\
                 "0.05143, 0.05145, 0.05151, 0.05158, 0.05169, 0.05181, 0.05233, 0.05815, 0.07967, 0.1049",\
                 "0.05131, 0.05132, 0.05137, 0.05146, 0.05157, 0.05174, 0.05365, 0.06664, 0.08898, 0.1072",\
                 "0.05118, 0.0512, 0.05125, 0.05135, 0.05146, 0.05233, 0.06033, 0.07766, 0.09223, 0.1031",\
                 "0.05102, 0.05104, 0.0511, 0.05121, 0.05211, 0.05884, 0.06957, 0.07789, 0.08398, 0.08843");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.001637, 0.003875, 0.008148, 0.0148, 0.02414, 0.03643, 0.05192, 0.07082, 0.09335");
          values("0.03699, 0.03702, 0.03709, 0.03721, 0.03734, 0.03747, 0.03759, 0.03769, 0.03778, 0.03785",\
                 "0.03706, 0.03708, 0.03716, 0.03728, 0.03741, 0.03755, 0.03766, 0.03777, 0.03785, 0.03792",\
                 "0.03704, 0.03706, 0.03714, 0.03725, 0.03739, 0.03753, 0.03764, 0.03775, 0.03783, 0.0379",\
                 "0.03683, 0.03685, 0.03693, 0.03704, 0.03718, 0.03731, 0.03743, 0.03754, 0.03762, 0.03769",\
                 "0.03662, 0.03665, 0.03671, 0.03683, 0.03697, 0.03711, 0.03723, 0.03734, 0.03742, 0.03749",\
                 "0.03645, 0.03648, 0.03655, 0.03667, 0.03681, 0.03695, 0.03707, 0.03717, 0.03725, 0.03733",\
                 "0.03631, 0.03634, 0.03641, 0.03653, 0.03668, 0.03681, 0.03693, 0.03703, 0.03712, 0.03718",\
                 "0.03618, 0.03621, 0.03628, 0.0364, 0.03655, 0.03668, 0.03681, 0.03691, 0.03699, 0.03705",\
                 "0.03605, 0.03607, 0.03615, 0.03628, 0.03642, 0.03657, 0.03669, 0.03678, 0.03685, 0.03686",\
                 "0.03587, 0.03589, 0.03597, 0.0361, 0.03624, 0.03637, 0.03648, 0.03654, 0.03644, 0.03601");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.001637, 0.003875, 0.008148, 0.0148, 0.02414, 0.03643, 0.05192, 0.07082, 0.09335");
          values("0.04154, 0.04156, 0.04161, 0.04168, 0.04178, 0.04189, 0.042, 0.04231, 0.04566, 0.06416",\
                 "0.04151, 0.04152, 0.04157, 0.04164, 0.04175, 0.04187, 0.04197, 0.04228, 0.04578, 0.06466",\
                 "0.04145, 0.04147, 0.04151, 0.04158, 0.0417, 0.04181, 0.04193, 0.04232, 0.04641, 0.06692",\
                 "0.0414, 0.04141, 0.04146, 0.04155, 0.04164, 0.04176, 0.04185, 0.0424, 0.04799, 0.07138",\
                 "0.04133, 0.04134, 0.0414, 0.04147, 0.04157, 0.04169, 0.04182, 0.04274, 0.05145, 0.07836",\
                 "0.04121, 0.04122, 0.04127, 0.04135, 0.04146, 0.04156, 0.04173, 0.04397, 0.05862, 0.08722",\
                 "0.04104, 0.04105, 0.0411, 0.04117, 0.04128, 0.04139, 0.04198, 0.04863, 0.0705, 0.09445",\
                 "0.04087, 0.04088, 0.04092, 0.04099, 0.04109, 0.04137, 0.04503, 0.06115, 0.08034, 0.09503",\
                 "0.04067, 0.04067, 0.04071, 0.04079, 0.04108, 0.04526, 0.05732, 0.06819, 0.07622, 0.08197",\
                 "0.039, 0.03877, 0.03832, 0.03939, 0.0414, 0.04313, 0.04448, 0.04555, 0.04639, 0.04702");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.001637, 0.003875, 0.008148, 0.0148, 0.02414, 0.03643, 0.05192, 0.07082, 0.09335");
          values("0.03157, 0.03156, 0.03154, 0.03144, 0.03128, 0.03108, 0.03086, 0.03065, 0.03046, 0.0303",\
                 "0.03156, 0.03156, 0.03153, 0.03144, 0.03128, 0.03108, 0.03085, 0.03065, 0.03046, 0.0303",\
                 "0.03154, 0.03154, 0.0315, 0.03141, 0.03128, 0.03106, 0.03084, 0.03063, 0.03045, 0.03029",\
                 "0.03149, 0.03149, 0.03145, 0.03136, 0.03122, 0.03101, 0.03079, 0.03058, 0.0304, 0.03024",\
                 "0.03137, 0.03136, 0.03133, 0.03124, 0.03108, 0.03088, 0.03066, 0.03045, 0.03026, 0.03011",\
                 "0.03122, 0.03121, 0.03119, 0.03109, 0.03095, 0.03075, 0.03053, 0.03034, 0.03015, 0.02998",\
                 "0.03105, 0.03105, 0.031, 0.03094, 0.03081, 0.03061, 0.03042, 0.0302, 0.03002, 0.02986",\
                 "0.03087, 0.03086, 0.03084, 0.03075, 0.03064, 0.03046, 0.03026, 0.03009, 0.0299, 0.02973",\
                 "0.03068, 0.03067, 0.03065, 0.03058, 0.03047, 0.03031, 0.03013, 0.02994, 0.02976, 0.0296",\
                 "0.03046, 0.03045, 0.03043, 0.03036, 0.03025, 0.0301, 0.02992, 0.02974, 0.02954, 0.02928");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.001637, 0.003875, 0.008148, 0.0148, 0.02414, 0.03643, 0.05192, 0.07082, 0.09335");
          values("0.05021, 0.05022, 0.05028, 0.05036, 0.05047, 0.05062, 0.05069, 0.05099, 0.05416, 0.07222",\
                 "0.05024, 0.05026, 0.05031, 0.05039, 0.05049, 0.05061, 0.05073, 0.05104, 0.05439, 0.07286",\
                 "0.05008, 0.0501, 0.05015, 0.05024, 0.05035, 0.05049, 0.05063, 0.05094, 0.05486, 0.07489",\
                 "0.04989, 0.0499, 0.04995, 0.05003, 0.05013, 0.05027, 0.05038, 0.05099, 0.05617, 0.07917",\
                 "0.04971, 0.04974, 0.04979, 0.04986, 0.04998, 0.05009, 0.05025, 0.05112, 0.05951, 0.08648",\
                 "0.0496, 0.0496, 0.04967, 0.04973, 0.04986, 0.04997, 0.05018, 0.05234, 0.06693, 0.0959",\
                 "0.04949, 0.04951, 0.04956, 0.04964, 0.04973, 0.04992, 0.0505, 0.05738, 0.07975, 0.1038",\
                 "0.0494, 0.04942, 0.04948, 0.04955, 0.04967, 0.05005, 0.05431, 0.07117, 0.08997, 0.1042",\
                 "0.04933, 0.04934, 0.04938, 0.04949, 0.05005, 0.05563, 0.06748, 0.07714, 0.08422, 0.08942",\
                 "0.04401, 0.0439, 0.04402, 0.04472, 0.04563, 0.0464, 0.04697, 0.04736, 0.04765, 0.04784");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.001637, 0.003875, 0.008148, 0.0148, 0.02414, 0.03643, 0.05192, 0.07082, 0.09335");
          values("0.03522, 0.03525, 0.03533, 0.03545, 0.0356, 0.03573, 0.03585, 0.03595, 0.03602, 0.03609",\
                 "0.03526, 0.03528, 0.03536, 0.03549, 0.03563, 0.03577, 0.03589, 0.03598, 0.03607, 0.03612",\
                 "0.03511, 0.03514, 0.03522, 0.03535, 0.03549, 0.03564, 0.03575, 0.03586, 0.03593, 0.03599",\
                 "0.03491, 0.03493, 0.03502, 0.03514, 0.0353, 0.03544, 0.03556, 0.03565, 0.03574, 0.0358",\
                 "0.03475, 0.03477, 0.03484, 0.03497, 0.03512, 0.03526, 0.03538, 0.03548, 0.03556, 0.03562",\
                 "0.03462, 0.03464, 0.03472, 0.03484, 0.03497, 0.03511, 0.03523, 0.03533, 0.03542, 0.03549",\
                 "0.03452, 0.03455, 0.03461, 0.03472, 0.03485, 0.03497, 0.03509, 0.0352, 0.0353, 0.03537",\
                 "0.03444, 0.03445, 0.03452, 0.03461, 0.03473, 0.03485, 0.03498, 0.03508, 0.03519, 0.03525",\
                 "0.03434, 0.03435, 0.03442, 0.0345, 0.03461, 0.03473, 0.03484, 0.03493, 0.03492, 0.03462",\
                 "0.03217, 0.03218, 0.03222, 0.03225, 0.03216, 0.03156, 0.03067, 0.03002, 0.02957, 0.02926");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.001637, 0.003875, 0.008148, 0.0148, 0.02414, 0.03643, 0.05192, 0.07082, 0.09335");
          values("0.02158, 0.0216, 0.02165, 0.02175, 0.02187, 0.02199, 0.02209, 0.02219, 0.02315, 0.03111",\
                 "0.02158, 0.0216, 0.02165, 0.02175, 0.02186, 0.02199, 0.02207, 0.02221, 0.02316, 0.03146",\
                 "0.02156, 0.02158, 0.02164, 0.02175, 0.02186, 0.02199, 0.02206, 0.02219, 0.0233, 0.03263",\
                 "0.02152, 0.02153, 0.02158, 0.02167, 0.02178, 0.02191, 0.02199, 0.02215, 0.02362, 0.03509",\
                 "0.02136, 0.02138, 0.02142, 0.0215, 0.02161, 0.02172, 0.02185, 0.02209, 0.02445, 0.0398",\
                 "0.0212, 0.02122, 0.02126, 0.02134, 0.02144, 0.02153, 0.02167, 0.02206, 0.02664, 0.04804",\
                 "0.02106, 0.02107, 0.02111, 0.02118, 0.02125, 0.02137, 0.02149, 0.02255, 0.03206, 0.05956",\
                 "0.02091, 0.02092, 0.02096, 0.02102, 0.0211, 0.02121, 0.0215, 0.02512, 0.04342, 0.0708",\
                 "0.02078, 0.02079, 0.02082, 0.02087, 0.02095, 0.02111, 0.02273, 0.03483, 0.05713, 0.0758",\
                 "0.02066, 0.02067, 0.0207, 0.02073, 0.02084, 0.02231, 0.03238, 0.04785, 0.05997, 0.06892");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.001637, 0.003875, 0.008148, 0.0148, 0.02414, 0.03643, 0.05192, 0.07082, 0.09335");
          values("0.05144, 0.05143, 0.05139, 0.05128, 0.05112, 0.05091, 0.05067, 0.05047, 0.05028, 0.05012",\
                 "0.05139, 0.05138, 0.05133, 0.05125, 0.05107, 0.05085, 0.05063, 0.05041, 0.05023, 0.05007",\
                 "0.05127, 0.05127, 0.05123, 0.05113, 0.05097, 0.05074, 0.05052, 0.05029, 0.05012, 0.04995",\
                 "0.05117, 0.05116, 0.05112, 0.05102, 0.05087, 0.05065, 0.05042, 0.0502, 0.05001, 0.04986",\
                 "0.05109, 0.05107, 0.05104, 0.05095, 0.05078, 0.05055, 0.05032, 0.05011, 0.04992, 0.04977",\
                 "0.05095, 0.05095, 0.0509, 0.05081, 0.05064, 0.05042, 0.05019, 0.04997, 0.04979, 0.04963",\
                 "0.05078, 0.05077, 0.05073, 0.05063, 0.05046, 0.05025, 0.05002, 0.04981, 0.04962, 0.04946",\
                 "0.05057, 0.05057, 0.05053, 0.05044, 0.05025, 0.05004, 0.04981, 0.04958, 0.0494, 0.04923",\
                 "0.05017, 0.05017, 0.05012, 0.05002, 0.04983, 0.0496, 0.04932, 0.049, 0.04847, 0.04756",\
                 "0.03048, 0.03048, 0.03049, 0.03045, 0.03036, 0.03022, 0.03004, 0.02986, 0.02968, 0.02952");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.001637, 0.003875, 0.008148, 0.0148, 0.02414, 0.03643, 0.05192, 0.07082, 0.09335");
          values("0.05053, 0.05054, 0.05059, 0.05067, 0.05078, 0.0509, 0.05101, 0.05138, 0.05556, 0.07623",\
                 "0.05057, 0.05058, 0.05063, 0.0507, 0.05082, 0.05094, 0.05107, 0.05145, 0.0558, 0.07697",\
                 "0.05055, 0.05056, 0.05061, 0.05068, 0.05079, 0.05095, 0.05103, 0.05151, 0.05661, 0.07913",\
                 "0.05042, 0.05044, 0.05049, 0.05057, 0.05068, 0.05079, 0.05091, 0.05159, 0.05826, 0.08336",\
                 "0.05031, 0.05032, 0.05037, 0.05043, 0.05055, 0.05067, 0.05081, 0.05193, 0.06169, 0.08957",\
                 "0.05019, 0.05021, 0.05025, 0.05033, 0.05044, 0.05056, 0.05077, 0.05301, 0.06776, 0.09676",\
                 "0.05011, 0.05013, 0.05017, 0.05026, 0.05037, 0.05048, 0.05093, 0.0562, 0.07716, 0.103",\
                 "0.05003, 0.05005, 0.05009, 0.05017, 0.05029, 0.05046, 0.05212, 0.06422, 0.08695, 0.106",\
                 "0.04997, 0.04997, 0.05003, 0.05011, 0.05021, 0.05093, 0.05817, 0.07571, 0.09108, 0.1025",\
                 "0.04991, 0.04993, 0.04999, 0.05007, 0.05077, 0.05689, 0.0683, 0.07739, 0.08406, 0.08895");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.001637, 0.003875, 0.008148, 0.0148, 0.02414, 0.03643, 0.05192, 0.07082, 0.09335");
          values("0.03513, 0.03516, 0.03524, 0.03536, 0.03551, 0.03565, 0.03577, 0.03586, 0.03594, 0.036",\
                 "0.03516, 0.03519, 0.03527, 0.0354, 0.03554, 0.03568, 0.0358, 0.03589, 0.03597, 0.03604",\
                 "0.03515, 0.03518, 0.03526, 0.03539, 0.03553, 0.03567, 0.03579, 0.03588, 0.03596, 0.03603",\
                 "0.03503, 0.03506, 0.03514, 0.03527, 0.03541, 0.03555, 0.03567, 0.03577, 0.03585, 0.03591",\
                 "0.03491, 0.03494, 0.03502, 0.03515, 0.03529, 0.03543, 0.03555, 0.03565, 0.03573, 0.03579",\
                 "0.03479, 0.03483, 0.03491, 0.03503, 0.03518, 0.03532, 0.03544, 0.03554, 0.03561, 0.03568",\
                 "0.03472, 0.03474, 0.03483, 0.03496, 0.0351, 0.03524, 0.03536, 0.03545, 0.03553, 0.03559",\
                 "0.03464, 0.03466, 0.03474, 0.03487, 0.03502, 0.03516, 0.03528, 0.03538, 0.03545, 0.03551",\
                 "0.03456, 0.03459, 0.03467, 0.0348, 0.03495, 0.03509, 0.03521, 0.0353, 0.03537, 0.03539",\
                 "0.0345, 0.03453, 0.03461, 0.03474, 0.03488, 0.03502, 0.03513, 0.0352, 0.03514, 0.03477");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.001637, 0.003875, 0.008148, 0.0148, 0.02414, 0.03643, 0.05192, 0.07082, 0.09335");
          values("0.04046, 0.04048, 0.04053, 0.0406, 0.04071, 0.04081, 0.04092, 0.04121, 0.04442, 0.06248",\
                 "0.04041, 0.04043, 0.04047, 0.04054, 0.04066, 0.04075, 0.04087, 0.04116, 0.0445, 0.06291",\
                 "0.0403, 0.04031, 0.04036, 0.04043, 0.04054, 0.04065, 0.04075, 0.0411, 0.04496, 0.06485",\
                 "0.04021, 0.04022, 0.04027, 0.04035, 0.04045, 0.04056, 0.04065, 0.04114, 0.04639, 0.06917",\
                 "0.04013, 0.04014, 0.04019, 0.04027, 0.04037, 0.04048, 0.04058, 0.04147, 0.04974, 0.07638",\
                 "0.04001, 0.04002, 0.04007, 0.04015, 0.04025, 0.04036, 0.04056, 0.04264, 0.05694, 0.08561",\
                 "0.03986, 0.03987, 0.03992, 0.03999, 0.04009, 0.04022, 0.04078, 0.04744, 0.06932, 0.09329",\
                 "0.03969, 0.03971, 0.03975, 0.03982, 0.03992, 0.04022, 0.04422, 0.06062, 0.07937, 0.09364",\
                 "0.03947, 0.03948, 0.03952, 0.03959, 0.04, 0.04499, 0.0567, 0.06658, 0.07381, 0.07898",\
                 "0.03575, 0.03549, 0.03535, 0.03613, 0.03719, 0.03813, 0.03895, 0.03959, 0.0401, 0.04047");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.001637, 0.003875, 0.008148, 0.0148, 0.02414, 0.03643, 0.05192, 0.07082, 0.09335");
          values("0.03207, 0.03206, 0.03203, 0.03195, 0.03179, 0.03157, 0.03136, 0.03115, 0.03096, 0.03081",\
                 "0.03208, 0.03208, 0.03205, 0.03195, 0.0318, 0.03159, 0.03137, 0.03116, 0.03098, 0.03082",\
                 "0.0321, 0.03209, 0.03206, 0.03197, 0.03181, 0.03161, 0.03139, 0.03118, 0.031, 0.03084",\
                 "0.03206, 0.03206, 0.03203, 0.03194, 0.0318, 0.03158, 0.03136, 0.03115, 0.03096, 0.0308",\
                 "0.03198, 0.03196, 0.03194, 0.03185, 0.0317, 0.03149, 0.03127, 0.03105, 0.03087, 0.03071",\
                 "0.03186, 0.03184, 0.03182, 0.03173, 0.03158, 0.03138, 0.03116, 0.03095, 0.03077, 0.03061",\
                 "0.03169, 0.03169, 0.03165, 0.03158, 0.03145, 0.03125, 0.03104, 0.03083, 0.03065, 0.03049",\
                 "0.03154, 0.03153, 0.03151, 0.03142, 0.03129, 0.03111, 0.03091, 0.03071, 0.03054, 0.03038",\
                 "0.03138, 0.03136, 0.03135, 0.03128, 0.03113, 0.03097, 0.03078, 0.0306, 0.0304, 0.03025",\
                 "0.03118, 0.03117, 0.03114, 0.03107, 0.03095, 0.03079, 0.0306, 0.0304, 0.03021, 0.02998");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.001637, 0.003875, 0.008148, 0.0148, 0.02414, 0.03643, 0.05192, 0.07082, 0.09335");
          values("0.05145, 0.05147, 0.05152, 0.0516, 0.05174, 0.05187, 0.05195, 0.05226, 0.05581, 0.07492",\
                 "0.05135, 0.05136, 0.05141, 0.05149, 0.05161, 0.05172, 0.05184, 0.05217, 0.05582, 0.07535",\
                 "0.05124, 0.05125, 0.0513, 0.05137, 0.05151, 0.05162, 0.05172, 0.05212, 0.05644, 0.07749",\
                 "0.05111, 0.05113, 0.05118, 0.05125, 0.05137, 0.05148, 0.05161, 0.05217, 0.05802, 0.08196",\
                 "0.05101, 0.05102, 0.05107, 0.05115, 0.05126, 0.05137, 0.05151, 0.05253, 0.06176, 0.08933",\
                 "0.05091, 0.05094, 0.05098, 0.05107, 0.05117, 0.05132, 0.05151, 0.05402, 0.06967, 0.09849",\
                 "0.05084, 0.05085, 0.0509, 0.05098, 0.0511, 0.05125, 0.05197, 0.05972, 0.08248, 0.1056",\
                 "0.05075, 0.05076, 0.0508, 0.0509, 0.051, 0.05142, 0.05656, 0.07386, 0.09163, 0.105",\
                 "0.05062, 0.05064, 0.0507, 0.05081, 0.05157, 0.05802, 0.06911, 0.07779, 0.08414, 0.08877",\
                 "0.04236, 0.04237, 0.04256, 0.043, 0.04347, 0.04385, 0.04413, 0.04433, 0.04446, 0.04455");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.001637, 0.003875, 0.008148, 0.0148, 0.02414, 0.03643, 0.05192, 0.07082, 0.09335");
          values("0.03676, 0.03679, 0.03686, 0.03698, 0.03712, 0.03726, 0.03738, 0.03749, 0.03757, 0.03764",\
                 "0.03665, 0.03668, 0.03675, 0.03687, 0.03701, 0.03715, 0.03727, 0.03738, 0.03746, 0.03753",\
                 "0.03655, 0.03657, 0.03665, 0.03677, 0.03692, 0.03705, 0.03717, 0.03728, 0.03736, 0.03743",\
                 "0.03642, 0.03644, 0.03652, 0.03664, 0.03679, 0.03693, 0.03705, 0.03716, 0.03724, 0.03731",\
                 "0.03632, 0.03634, 0.03641, 0.03653, 0.03668, 0.03682, 0.03694, 0.03705, 0.03713, 0.0372",\
                 "0.03624, 0.03625, 0.03633, 0.03644, 0.03657, 0.03671, 0.03683, 0.03694, 0.03703, 0.0371",\
                 "0.03616, 0.03617, 0.03625, 0.03635, 0.03647, 0.0366, 0.03672, 0.03683, 0.03693, 0.037",\
                 "0.03607, 0.0361, 0.03615, 0.03624, 0.03635, 0.03648, 0.0366, 0.03671, 0.03681, 0.03687",\
                 "0.03595, 0.03595, 0.03601, 0.0361, 0.0362, 0.03632, 0.03643, 0.03651, 0.03645, 0.03608",\
                 "0.03299, 0.033, 0.03303, 0.03302, 0.03268, 0.03178, 0.031, 0.03047, 0.03012, 0.02988");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.001637, 0.003875, 0.008148, 0.0148, 0.02414, 0.03643, 0.05192, 0.07082, 0.09335");
          values("0.02208, 0.0221, 0.02215, 0.02226, 0.02238, 0.02248, 0.02257, 0.02268, 0.02366, 0.0317",\
                 "0.0221, 0.02212, 0.02217, 0.02226, 0.02238, 0.0225, 0.02261, 0.02274, 0.02369, 0.03209",\
                 "0.02211, 0.02214, 0.02219, 0.02228, 0.02243, 0.02253, 0.02263, 0.02274, 0.0239, 0.03326",\
                 "0.02209, 0.0221, 0.02216, 0.02224, 0.02237, 0.02249, 0.02263, 0.02278, 0.02422, 0.03569",\
                 "0.02198, 0.02199, 0.02204, 0.02213, 0.02224, 0.02236, 0.02249, 0.0227, 0.02498, 0.04022",\
                 "0.02187, 0.02187, 0.02192, 0.022, 0.0221, 0.02223, 0.02233, 0.02277, 0.02715, 0.04807",\
                 "0.02172, 0.02173, 0.02178, 0.02185, 0.02194, 0.02204, 0.02217, 0.02318, 0.03214, 0.05931",\
                 "0.02159, 0.02161, 0.02164, 0.02171, 0.0218, 0.0219, 0.02216, 0.02548, 0.04307, 0.0708",\
                 "0.02147, 0.02148, 0.02151, 0.02157, 0.02165, 0.0218, 0.02321, 0.03455, 0.0571, 0.07646",\
                 "0.02136, 0.02137, 0.0214, 0.02143, 0.02155, 0.02275, 0.03215, 0.0482, 0.061, 0.07049");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.001637, 0.003875, 0.008148, 0.0148, 0.02414, 0.03643, 0.05192, 0.07082, 0.09335");
          values("0.0342, 0.03418, 0.03412, 0.03396, 0.03371, 0.03338, 0.03303, 0.03271, 0.03244, 0.03221",\
                 "0.03414, 0.03412, 0.03407, 0.03392, 0.03367, 0.03335, 0.03301, 0.0327, 0.03243, 0.0322",\
                 "0.034, 0.03399, 0.03394, 0.03382, 0.0336, 0.0333, 0.03297, 0.03266, 0.03238, 0.03214",\
                 "0.03385, 0.03384, 0.03383, 0.03372, 0.03354, 0.03326, 0.03297, 0.03267, 0.03239, 0.03214",\
                 "0.03365, 0.03363, 0.03361, 0.03353, 0.03339, 0.03319, 0.03293, 0.03266, 0.0324, 0.03216",\
                 "0.03329, 0.03329, 0.03327, 0.03322, 0.03311, 0.03298, 0.03279, 0.03258, 0.03235, 0.03215",\
                 "0.03289, 0.03289, 0.03288, 0.03286, 0.03279, 0.0327, 0.03258, 0.03244, 0.03227, 0.0321",\
                 "0.03254, 0.03255, 0.03255, 0.03255, 0.03251, 0.03247, 0.0324, 0.0323, 0.03218, 0.03204",\
                 "0.03226, 0.03225, 0.03228, 0.03225, 0.03225, 0.03222, 0.03217, 0.03211, 0.03203, 0.03191",\
                 "0.03178, 0.03179, 0.0318, 0.0318, 0.0318, 0.03179, 0.03174, 0.03167, 0.03149, 0.03101");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.001637, 0.003875, 0.008148, 0.0148, 0.02414, 0.03643, 0.05192, 0.07082, 0.09335");
          values("0.02283, 0.02279, 0.02269, 0.02245, 0.02212, 0.02168, 0.02129, 0.02097, 0.02132, 0.02743",\
                 "0.02284, 0.02282, 0.02274, 0.02255, 0.02226, 0.02184, 0.02143, 0.02114, 0.02145, 0.02776",\
                 "0.02258, 0.02258, 0.02252, 0.02241, 0.02225, 0.02201, 0.0217, 0.02147, 0.0219, 0.0292",\
                 "0.02187, 0.02188, 0.02187, 0.02186, 0.0218, 0.02173, 0.02158, 0.02151, 0.02242, 0.03165",\
                 "0.02132, 0.02133, 0.02133, 0.02133, 0.02137, 0.02135, 0.02132, 0.02135, 0.02306, 0.03588",\
                 "0.02092, 0.02092, 0.02093, 0.02095, 0.02101, 0.02102, 0.02104, 0.02127, 0.02448, 0.04289",\
                 "0.0206, 0.0206, 0.02063, 0.02067, 0.0207, 0.02075, 0.02079, 0.02141, 0.02828, 0.05341",\
                 "0.02033, 0.02033, 0.02036, 0.0204, 0.02045, 0.02049, 0.02063, 0.02273, 0.03705, 0.06556",\
                 "0.02009, 0.02009, 0.02012, 0.02013, 0.02019, 0.02028, 0.02097, 0.02874, 0.05119, 0.07384",\
                 "0.01981, 0.01983, 0.01984, 0.01988, 0.01992, 0.02036, 0.02597, 0.043, 0.05978, 0.07242");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.001637, 0.003875, 0.008148, 0.0148, 0.02414, 0.03643, 0.05192, 0.07082, 0.09335");
          values("0.0001132, 0.0001172, 0.000117, 0.0001177, 0.0001169, 0.0001163, 0.0001123, 0.0001123, 0.0001092, 0.0001083",\
                 "4.855e-05, 4.969e-05, 6.885e-05, 0.0001, 0.000114, 0.000124, 0.0001299, 0.0001249, 0.0001306, 0.0001266",\
                 "-0.000156, -0.0001292, -4.465e-05, 4.651e-05, 0.0001007, 0.0001352, 0.0001729, 0.0001795, 0.0001922, 0.0002075",\
                 "-0.0004137, -0.0003745, -0.0002697, -0.0001305, -9.947e-06, 7.973e-05, 0.0001383, 0.0001863, 0.0002095, 0.0002308",\
                 "-0.0006855, -0.0006395, -0.000524, -0.0003521, -0.0001923, -5.837e-05, 3.876e-05, 0.000109, 0.000161, 0.0002045",\
                 "-0.0008846, -0.0008505, -0.000739, -0.0005738, -0.000396, -0.000232, -9.783e-05, 2.453e-06, 7.511e-05, 0.0001333",\
                 "-0.001028, -0.001001, -0.0009088, -0.0007613, -0.0005833, -0.0004119, -0.0002601, -0.0001302, -3.291e-05, 4.175e-05",\
                 "-0.001131, -0.001109, -0.001029, -0.0009096, -0.0007497, -0.0005772, -0.0004176, -0.0002753, -0.0001604, -6.541e-05",\
                 "-0.001211, -0.001192, -0.001122, -0.001018, -0.0008805, -0.00072, -0.0005684, -0.000417, -0.0002862, -0.0001837",\
                 "-0.00125, -0.001223, -0.001172, -0.001086, -0.0009658, -0.0008207, -0.0006813, -0.0005442, -0.0004458, -0.0004897");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.001637, 0.003875, 0.008148, 0.0148, 0.02414, 0.03643, 0.05192, 0.07082, 0.09335");
          values("0.01887, 0.01889, 0.01891, 0.01895, 0.01898, 0.01902, 0.01905, 0.0191, 0.01956, 0.02462",\
                 "0.01864, 0.01869, 0.0188, 0.01893, 0.01905, 0.01913, 0.01919, 0.01925, 0.01976, 0.02501",\
                 "0.01804, 0.01811, 0.01826, 0.01848, 0.01869, 0.01887, 0.01901, 0.01914, 0.01978, 0.02581",\
                 "0.01768, 0.01772, 0.01783, 0.01802, 0.01826, 0.01849, 0.01869, 0.0189, 0.01979, 0.02751",\
                 "0.01751, 0.01753, 0.01761, 0.01775, 0.01794, 0.01814, 0.01836, 0.01861, 0.02011, 0.03117",\
                 "0.0174, 0.01742, 0.01748, 0.01758, 0.01773, 0.0179, 0.0181, 0.01844, 0.02143, 0.0386",\
                 "0.01733, 0.01735, 0.01739, 0.0175, 0.01761, 0.01774, 0.0179, 0.01871, 0.02587, 0.05163",\
                 "0.01729, 0.01729, 0.01734, 0.01742, 0.01752, 0.01764, 0.0179, 0.0211, 0.0386, 0.06695",\
                 "0.01726, 0.01726, 0.0173, 0.01735, 0.01744, 0.01763, 0.02, 0.03413, 0.05586, 0.07313",\
                 "0.01718, 0.0172, 0.01724, 0.0173, 0.01772, 0.02268, 0.03489, 0.04528, 0.05295, 0.05858");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.001637, 0.003875, 0.008148, 0.0148, 0.02414, 0.03643, 0.05192, 0.07082, 0.09335");
          values("0.0001133, 0.0001176, 0.0001157, 0.0001177, 0.0001169, 0.0001163, 0.0001123, 0.0001123, 0.0001092, 0.0001083",\
                 "4.873e-05, 4.986e-05, 6.89e-05, 0.0001, 0.000114, 0.0001241, 0.0001298, 0.0001248, 0.0001306, 0.0001266",\
                 "-0.0001538, -0.0001353, -5.053e-05, 5.1e-05, 9.76e-05, 0.0001312, 0.0001622, 0.0001769, 0.0001926, 0.0002042",\
                 "-0.0004201, -0.0003783, -0.0002641, -0.0001291, -9.872e-06, 7.728e-05, 0.0001364, 0.0001813, 0.000207, 0.000231",\
                 "-0.0006824, -0.0006422, -0.000524, -0.0003528, -0.0001909, -6.116e-05, 3.926e-05, 0.0001145, 0.0001628, 0.0002",\
                 "-0.0008832, -0.0008519, -0.0007382, -0.0005689, -0.0003951, -0.0002327, -9.95e-05, 2.446e-06, 7.83e-05, 0.000134",\
                 "-0.001028, -0.001001, -0.00091, -0.0007627, -0.0005878, -0.0004126, -0.0002579, -0.0001302, -3.564e-05, 4.037e-05",\
                 "-0.001135, -0.001109, -0.001033, -0.0009065, -0.0007481, -0.0005763, -0.0004193, -0.0002774, -0.0001572, -6.49e-05",\
                 "-0.00121, -0.001188, -0.00112, -0.001015, -0.0008737, -0.00072, -0.0005639, -0.0004199, -0.0002866, -0.0001863",\
                 "-0.001246, -0.001227, -0.001172, -0.001082, -0.0009662, -0.0008274, -0.0006785, -0.0005443, -0.0004432, -0.0004914");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.001637, 0.003875, 0.008148, 0.0148, 0.02414, 0.03643, 0.05192, 0.07082, 0.09335");
          values("0.01887, 0.01889, 0.01891, 0.01895, 0.01898, 0.01902, 0.01905, 0.0191, 0.01956, 0.02462",\
                 "0.01864, 0.01869, 0.0188, 0.01893, 0.01905, 0.01913, 0.01918, 0.01925, 0.01976, 0.02501",\
                 "0.01804, 0.01811, 0.01826, 0.01848, 0.01869, 0.01887, 0.01901, 0.01914, 0.01978, 0.02581",\
                 "0.01768, 0.01771, 0.01783, 0.01803, 0.01826, 0.01849, 0.01869, 0.0189, 0.01979, 0.02749",\
                 "0.01751, 0.01753, 0.01761, 0.01774, 0.01793, 0.01814, 0.01836, 0.01859, 0.02012, 0.03117",\
                 "0.01741, 0.01742, 0.01748, 0.01759, 0.01773, 0.01791, 0.01808, 0.01845, 0.02143, 0.0386",\
                 "0.01733, 0.01735, 0.0174, 0.01749, 0.0176, 0.01772, 0.01791, 0.0187, 0.02589, 0.05162",\
                 "0.01728, 0.01729, 0.01734, 0.01741, 0.01752, 0.01764, 0.01791, 0.02111, 0.03859, 0.06693",\
                 "0.01726, 0.01726, 0.01729, 0.01735, 0.01743, 0.01763, 0.02, 0.03415, 0.05585, 0.07314",\
                 "0.01718, 0.0172, 0.01724, 0.01729, 0.01772, 0.0227, 0.03489, 0.04527, 0.05295, 0.05859");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.001637, 0.003875, 0.008148, 0.0148, 0.02414, 0.03643, 0.05192, 0.07082, 0.09335");
          values("0.03417, 0.03417, 0.03411, 0.03396, 0.03369, 0.03337, 0.03302, 0.03271, 0.03244, 0.03221",\
                 "0.03412, 0.03413, 0.03404, 0.03392, 0.03366, 0.03335, 0.03302, 0.03271, 0.03242, 0.0322",\
                 "0.03398, 0.03398, 0.03393, 0.03381, 0.03358, 0.03329, 0.03296, 0.03266, 0.03238, 0.03214",\
                 "0.03384, 0.03383, 0.03381, 0.03372, 0.03353, 0.03326, 0.03297, 0.03264, 0.03238, 0.03214",\
                 "0.03364, 0.03363, 0.03361, 0.03354, 0.03339, 0.03319, 0.03292, 0.03267, 0.03239, 0.03216",\
                 "0.03327, 0.03328, 0.03326, 0.03321, 0.03311, 0.03296, 0.03278, 0.03258, 0.03235, 0.03214",\
                 "0.03288, 0.03289, 0.03288, 0.03284, 0.03279, 0.0327, 0.03258, 0.03244, 0.03227, 0.03209",\
                 "0.03255, 0.03255, 0.03254, 0.03253, 0.03251, 0.03247, 0.03239, 0.03229, 0.03217, 0.03204",\
                 "0.03224, 0.03226, 0.03226, 0.03225, 0.03225, 0.03222, 0.03219, 0.03212, 0.03203, 0.03192",\
                 "0.03178, 0.03178, 0.03181, 0.0318, 0.0318, 0.0318, 0.03175, 0.03168, 0.0315, 0.03101");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.001637, 0.003875, 0.008148, 0.0148, 0.02414, 0.03643, 0.05192, 0.07082, 0.09335");
          values("0.02282, 0.0228, 0.02268, 0.02245, 0.02207, 0.02168, 0.02132, 0.02096, 0.02131, 0.02744",\
                 "0.02283, 0.02281, 0.02274, 0.02255, 0.02224, 0.02185, 0.02144, 0.02117, 0.02147, 0.0278",\
                 "0.02257, 0.02256, 0.02251, 0.02242, 0.02224, 0.022, 0.02169, 0.0214, 0.02193, 0.02923",\
                 "0.02185, 0.02186, 0.02186, 0.02184, 0.0218, 0.02172, 0.02159, 0.02148, 0.02245, 0.03175",\
                 "0.02131, 0.02132, 0.02132, 0.02134, 0.02135, 0.02135, 0.0213, 0.02134, 0.02307, 0.03594",\
                 "0.02089, 0.0209, 0.02094, 0.02095, 0.02099, 0.02102, 0.02103, 0.02124, 0.0245, 0.043",\
                 "0.02058, 0.02059, 0.02062, 0.02065, 0.02069, 0.02073, 0.02079, 0.02142, 0.02835, 0.05352",\
                 "0.02031, 0.02032, 0.02034, 0.02038, 0.02044, 0.02048, 0.02063, 0.02274, 0.03713, 0.06564",\
                 "0.02008, 0.02009, 0.02011, 0.02014, 0.02018, 0.02026, 0.02099, 0.0288, 0.05127, 0.07386",\
                 "0.01981, 0.01981, 0.01983, 0.01987, 0.01991, 0.02034, 0.026, 0.04309, 0.05978, 0.07237");
        }
      }

      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.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.001637, 0.003875, 0.008148, 0.0148, 0.02414, 0.03643, 0.05192, 0.07082, 0.09335");
          values("5.362, 5.4, 5.524, 5.729, 6.003, 6.345, 6.756, 7.243, 7.815, 8.479",\
                 "5.425, 5.463, 5.587, 5.792, 6.066, 6.408, 6.819, 7.307, 7.878, 8.542",\
                 "5.604, 5.643, 5.767, 5.972, 6.247, 6.588, 7, 7.487, 8.058, 8.722",\
                 "5.914, 5.953, 6.077, 6.282, 6.557, 6.899, 7.31, 7.797, 8.369, 9.033",\
                 "6.337, 6.376, 6.5, 6.705, 6.979, 7.322, 7.733, 8.22, 8.791, 9.455",\
                 "6.803, 6.841, 6.966, 7.171, 7.446, 7.788, 8.199, 8.687, 9.258, 9.921",\
                 "7.301, 7.339, 7.463, 7.668, 7.943, 8.285, 8.696, 9.184, 9.755, 10.42",\
                 "7.818, 7.855, 7.981, 8.186, 8.461, 8.803, 9.215, 9.703, 10.28, 10.94",\
                 "8.358, 8.397, 8.521, 8.726, 9.001, 9.342, 9.753, 10.24, 10.81, 11.48",\
                 "8.914, 8.953, 9.076, 9.28, 9.556, 9.897, 10.31, 10.8, 11.37, 12.03");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.001637, 0.003875, 0.008148, 0.0148, 0.02414, 0.03643, 0.05192, 0.07082, 0.09335");
          values("6.021, 6.09, 6.331, 6.787, 7.494, 8.481, 9.775, 11.4, 13.38, 15.74",\
                 "6.072, 6.141, 6.382, 6.839, 7.546, 8.532, 9.827, 11.45, 13.44, 15.8",\
                 "6.27, 6.339, 6.58, 7.036, 7.744, 8.731, 10.02, 11.65, 13.63, 15.99",\
                 "6.655, 6.724, 6.964, 7.422, 8.129, 9.116, 10.41, 12.04, 14.02, 16.38",\
                 "7.237, 7.307, 7.548, 8.005, 8.711, 9.698, 10.99, 12.62, 14.6, 16.96",\
                 "8.044, 8.113, 8.354, 8.811, 9.518, 10.5, 11.8, 13.43, 15.41, 17.77",\
                 "9.099, 9.168, 9.409, 9.865, 10.57, 11.56, 12.85, 14.48, 16.46, 18.82",\
                 "10.42, 10.49, 10.73, 11.19, 11.89, 12.88, 14.18, 15.8, 17.78, 20.15",\
                 "12, 12.07, 12.31, 12.77, 13.48, 14.46, 15.76, 17.38, 19.37, 21.73",\
                 "13.81, 13.88, 14.12, 14.57, 15.28, 16.27, 17.56, 19.19, 21.17, 23.53");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.001637, 0.003875, 0.008148, 0.0148, 0.02414, 0.03643, 0.05192, 0.07082, 0.09335");
          values("0.7226, 0.7552, 0.8648, 1.06, 1.352, 1.762, 2.299, 2.983, 3.824, 4.85",\
                 "0.7214, 0.7546, 0.8648, 1.06, 1.352, 1.763, 2.3, 2.983, 3.825, 4.85",\
                 "0.7214, 0.7544, 0.8648, 1.06, 1.354, 1.763, 2.299, 2.983, 3.825, 4.847",\
                 "0.7224, 0.7552, 0.8644, 1.059, 1.353, 1.763, 2.3, 2.982, 3.826, 4.85",\
                 "0.7206, 0.7544, 0.8648, 1.059, 1.352, 1.763, 2.299, 2.983, 3.824, 4.848",\
                 "0.7216, 0.7548, 0.864, 1.06, 1.352, 1.763, 2.3, 2.982, 3.826, 4.85",\
                 "0.722, 0.756, 0.864, 1.06, 1.354, 1.764, 2.298, 2.982, 3.83, 4.85",\
                 "0.722, 0.754, 0.866, 1.06, 1.356, 1.764, 2.3, 2.984, 3.832, 4.85",\
                 "0.72, 0.754, 0.864, 1.058, 1.35, 1.762, 2.3, 2.984, 3.826, 4.848",\
                 "0.72, 0.754, 0.864, 1.058, 1.352, 1.76, 2.298, 2.982, 3.826, 4.844");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.001637, 0.003875, 0.008148, 0.0148, 0.02414, 0.03643, 0.05192, 0.07082, 0.09335");
          values("1.305, 1.416, 1.801, 2.531, 3.675, 5.279, 7.388, 10.05, 13.29, 17.15",\
                 "1.308, 1.416, 1.8, 2.531, 3.677, 5.276, 7.388, 10.05, 13.29, 17.15",\
                 "1.306, 1.416, 1.801, 2.532, 3.676, 5.278, 7.388, 10.05, 13.29, 17.16",\
                 "1.306, 1.417, 1.799, 2.534, 3.676, 5.28, 7.385, 10.04, 13.29, 17.15",\
                 "1.306, 1.416, 1.801, 2.534, 3.677, 5.279, 7.386, 10.04, 13.29, 17.15",\
                 "1.306, 1.416, 1.8, 2.536, 3.678, 5.278, 7.39, 10.05, 13.29, 17.15",\
                 "1.306, 1.416, 1.802, 2.53, 3.674, 5.28, 7.386, 10.05, 13.29, 17.15",\
                 "1.306, 1.416, 1.8, 2.532, 3.674, 5.28, 7.384, 10.05, 13.29, 17.15",\
                 "1.306, 1.416, 1.802, 2.534, 3.678, 5.278, 7.384, 10.05, 13.29, 17.15",\
                 "1.308, 1.418, 1.798, 2.534, 3.676, 5.278, 7.39, 10.04, 13.29, 17.15");
        }
      }

      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.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.001637, 0.003875, 0.008148, 0.0148, 0.02414, 0.03643, 0.05192, 0.07082, 0.09335");
          values("4.368, 4.39, 4.464, 4.587, 4.756, 4.964, 5.209, 5.493, 5.819, 6.191",\
                 "4.416, 4.439, 4.512, 4.636, 4.805, 5.013, 5.258, 5.541, 5.867, 6.239",\
                 "4.596, 4.618, 4.691, 4.815, 4.985, 5.192, 5.437, 5.721, 6.047, 6.419",\
                 "4.938, 4.96, 5.033, 5.157, 5.327, 5.534, 5.779, 6.063, 6.388, 6.76",\
                 "5.468, 5.49, 5.563, 5.687, 5.856, 6.064, 6.309, 6.593, 6.918, 7.29",\
                 "6.186, 6.208, 6.281, 6.405, 6.574, 6.781, 7.027, 7.311, 7.636, 8.008",\
                 "7.017, 7.039, 7.112, 7.236, 7.406, 7.614, 7.859, 8.143, 8.468, 8.84",\
                 "7.927, 7.95, 8.023, 8.148, 8.316, 8.525, 8.77, 9.054, 9.38, 9.753",\
                 "8.913, 8.936, 9.009, 9.134, 9.303, 9.511, 9.757, 10.04, 10.37, 10.74",\
                 "9.975, 9.998, 10.07, 10.2, 10.37, 10.57, 10.82, 11.11, 11.43, 11.8");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.001637, 0.003875, 0.008148, 0.0148, 0.02414, 0.03643, 0.05192, 0.07082, 0.09335");
          values("5.912, 5.979, 6.216, 6.667, 7.369, 8.351, 9.64, 11.26, 13.24, 15.6",\
                 "5.972, 6.039, 6.276, 6.726, 7.428, 8.409, 9.7, 11.32, 13.3, 15.66",\
                 "6.156, 6.224, 6.46, 6.912, 7.613, 8.595, 9.886, 11.51, 13.49, 15.85",\
                 "6.534, 6.601, 6.838, 7.289, 7.991, 8.972, 10.26, 11.89, 13.86, 16.22",\
                 "7.149, 7.217, 7.453, 7.904, 8.604, 9.587, 10.88, 12.5, 14.48, 16.84",\
                 "8.03, 8.098, 8.336, 8.786, 9.488, 10.47, 11.76, 13.38, 15.36, 17.72",\
                 "9.203, 9.272, 9.509, 9.959, 10.66, 11.64, 12.93, 14.56, 16.54, 18.89",\
                 "10.69, 10.76, 10.99, 11.44, 12.15, 13.13, 14.42, 16.04, 18.02, 20.38",\
                 "12.49, 12.55, 12.79, 13.24, 13.94, 14.92, 16.22, 17.84, 19.82, 22.18",\
                 "14.57, 14.63, 14.87, 15.32, 16.02, 17, 18.29, 19.92, 21.9, 24.26");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.001637, 0.003875, 0.008148, 0.0148, 0.02414, 0.03643, 0.05192, 0.07082, 0.09335");
          values("0.5142, 0.5394, 0.6196, 0.755, 0.9428, 1.18, 1.478, 1.845, 2.294, 2.836",\
                 "0.5146, 0.5388, 0.6194, 0.755, 0.9434, 1.18, 1.478, 1.845, 2.294, 2.837",\
                 "0.5144, 0.539, 0.62, 0.7554, 0.9428, 1.181, 1.479, 1.845, 2.293, 2.837",\
                 "0.5146, 0.539, 0.62, 0.7554, 0.9428, 1.181, 1.479, 1.845, 2.293, 2.837",\
                 "0.5148, 0.5388, 0.6194, 0.755, 0.9432, 1.18, 1.478, 1.845, 2.294, 2.836",\
                 "0.5144, 0.539, 0.6196, 0.7548, 0.9428, 1.181, 1.478, 1.846, 2.294, 2.837",\
                 "0.514, 0.538, 0.62, 0.756, 0.942, 1.182, 1.478, 1.846, 2.292, 2.838",\
                 "0.516, 0.54, 0.62, 0.756, 0.944, 1.182, 1.48, 1.846, 2.292, 2.836",\
                 "0.516, 0.54, 0.62, 0.756, 0.944, 1.18, 1.478, 1.846, 2.292, 2.836",\
                 "0.518, 0.542, 0.62, 0.756, 0.942, 1.18, 1.478, 1.844, 2.292, 2.838");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.001637, 0.003875, 0.008148, 0.0148, 0.02414, 0.03643, 0.05192, 0.07082, 0.09335");
          values("1.168, 1.277, 1.659, 2.393, 3.535, 5.141, 7.249, 9.903, 13.14, 17",\
                 "1.169, 1.276, 1.659, 2.391, 3.537, 5.136, 7.244, 9.902, 13.14, 17",\
                 "1.168, 1.277, 1.659, 2.392, 3.533, 5.142, 7.252, 9.898, 13.16, 17",\
                 "1.17, 1.277, 1.659, 2.392, 3.533, 5.135, 7.243, 9.912, 13.14, 17",\
                 "1.168, 1.277, 1.659, 2.391, 3.532, 5.136, 7.25, 9.898, 13.14, 17.01",\
                 "1.17, 1.276, 1.66, 2.392, 3.538, 5.136, 7.244, 9.898, 13.15, 17.01",\
                 "1.168, 1.276, 1.66, 2.39, 3.534, 5.14, 7.244, 9.906, 13.15, 17",\
                 "1.168, 1.278, 1.66, 2.392, 3.54, 5.142, 7.25, 9.898, 13.14, 17",\
                 "1.168, 1.278, 1.66, 2.392, 3.54, 5.136, 7.244, 9.898, 13.14, 17",\
                 "1.168, 1.278, 1.658, 2.39, 3.534, 5.142, 7.244, 9.9, 13.14, 17");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.001637, 0.003875, 0.008148, 0.0148, 0.02414, 0.03643, 0.05192, 0.07082, 0.09335");
          values("5.362, 5.4, 5.524, 5.729, 6.003, 6.345, 6.756, 7.243, 7.815, 8.479",\
                 "5.425, 5.463, 5.587, 5.792, 6.066, 6.408, 6.819, 7.307, 7.878, 8.542",\
                 "5.604, 5.643, 5.767, 5.972, 6.247, 6.588, 7, 7.487, 8.058, 8.722",\
                 "5.914, 5.953, 6.077, 6.282, 6.557, 6.899, 7.31, 7.797, 8.369, 9.033",\
                 "6.337, 6.376, 6.5, 6.705, 6.979, 7.322, 7.733, 8.22, 8.791, 9.455",\
                 "6.803, 6.841, 6.966, 7.171, 7.446, 7.788, 8.199, 8.687, 9.258, 9.921",\
                 "7.301, 7.339, 7.463, 7.668, 7.943, 8.285, 8.696, 9.184, 9.755, 10.42",\
                 "7.818, 7.855, 7.981, 8.186, 8.461, 8.803, 9.215, 9.703, 10.28, 10.94",\
                 "8.358, 8.397, 8.521, 8.726, 9.001, 9.342, 9.753, 10.24, 10.81, 11.48",\
                 "8.914, 8.953, 9.076, 9.28, 9.556, 9.897, 10.31, 10.8, 11.37, 12.03");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.001637, 0.003875, 0.008148, 0.0148, 0.02414, 0.03643, 0.05192, 0.07082, 0.09335");
          values("5.912, 5.979, 6.216, 6.667, 7.369, 8.351, 9.64, 11.26, 13.24, 15.6",\
                 "5.972, 6.039, 6.276, 6.726, 7.428, 8.409, 9.7, 11.32, 13.3, 15.66",\
                 "6.156, 6.224, 6.46, 6.912, 7.613, 8.595, 9.886, 11.51, 13.49, 15.85",\
                 "6.534, 6.601, 6.838, 7.289, 7.991, 8.972, 10.26, 11.89, 13.86, 16.22",\
                 "7.149, 7.217, 7.453, 7.904, 8.604, 9.587, 10.88, 12.5, 14.48, 16.84",\
                 "8.03, 8.098, 8.336, 8.786, 9.488, 10.47, 11.76, 13.38, 15.36, 17.72",\
                 "9.203, 9.272, 9.509, 9.959, 10.66, 11.64, 12.93, 14.56, 16.54, 18.89",\
                 "10.69, 10.76, 10.99, 11.44, 12.15, 13.13, 14.42, 16.04, 18.02, 20.38",\
                 "12.49, 12.55, 12.79, 13.24, 13.94, 14.92, 16.22, 17.84, 19.82, 22.18",\
                 "14.57, 14.63, 14.87, 15.32, 16.02, 17, 18.29, 19.92, 21.9, 24.26");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.001637, 0.003875, 0.008148, 0.0148, 0.02414, 0.03643, 0.05192, 0.07082, 0.09335");
          values("0.7226, 0.7552, 0.8648, 1.06, 1.352, 1.762, 2.299, 2.983, 3.824, 4.85",\
                 "0.7214, 0.7546, 0.8648, 1.06, 1.352, 1.763, 2.3, 2.983, 3.825, 4.85",\
                 "0.7214, 0.7544, 0.8648, 1.06, 1.354, 1.763, 2.299, 2.983, 3.825, 4.847",\
                 "0.7224, 0.7552, 0.8644, 1.059, 1.353, 1.763, 2.3, 2.982, 3.826, 4.85",\
                 "0.7206, 0.7544, 0.8648, 1.059, 1.352, 1.763, 2.299, 2.983, 3.824, 4.848",\
                 "0.7216, 0.7548, 0.864, 1.06, 1.352, 1.763, 2.3, 2.982, 3.826, 4.85",\
                 "0.722, 0.756, 0.864, 1.06, 1.354, 1.764, 2.298, 2.982, 3.83, 4.85",\
                 "0.722, 0.754, 0.866, 1.06, 1.356, 1.764, 2.3, 2.984, 3.832, 4.85",\
                 "0.72, 0.754, 0.864, 1.058, 1.35, 1.762, 2.3, 2.984, 3.826, 4.848",\
                 "0.72, 0.754, 0.864, 1.058, 1.352, 1.76, 2.298, 2.982, 3.826, 4.844");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.001637, 0.003875, 0.008148, 0.0148, 0.02414, 0.03643, 0.05192, 0.07082, 0.09335");
          values("1.305, 1.416, 1.801, 2.531, 3.675, 5.279, 7.388, 10.05, 13.29, 17.15",\
                 "1.308, 1.416, 1.8, 2.531, 3.677, 5.276, 7.388, 10.05, 13.29, 17.15",\
                 "1.306, 1.416, 1.801, 2.532, 3.676, 5.278, 7.388, 10.05, 13.29, 17.16",\
                 "1.306, 1.417, 1.799, 2.534, 3.676, 5.28, 7.385, 10.04, 13.29, 17.15",\
                 "1.306, 1.416, 1.801, 2.534, 3.677, 5.279, 7.386, 10.04, 13.29, 17.15",\
                 "1.306, 1.416, 1.8, 2.536, 3.678, 5.278, 7.39, 10.05, 13.29, 17.15",\
                 "1.306, 1.416, 1.802, 2.53, 3.674, 5.28, 7.386, 10.05, 13.29, 17.15",\
                 "1.306, 1.416, 1.8, 2.532, 3.674, 5.28, 7.384, 10.05, 13.29, 17.15",\
                 "1.306, 1.416, 1.802, 2.534, 3.678, 5.278, 7.384, 10.05, 13.29, 17.15",\
                 "1.308, 1.418, 1.798, 2.534, 3.676, 5.278, 7.39, 10.04, 13.29, 17.15");
        }
      }

      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.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.001637, 0.003875, 0.008148, 0.0148, 0.02414, 0.03643, 0.05192, 0.07082, 0.09335");
          values("7.911, 7.933, 8.005, 8.13, 8.299, 8.507, 8.751, 9.035, 9.36, 9.732",\
                 "7.962, 7.984, 8.058, 8.182, 8.35, 8.558, 8.803, 9.086, 9.412, 9.784",\
                 "8.16, 8.182, 8.255, 8.38, 8.548, 8.756, 9.001, 9.285, 9.61, 9.982",\
                 "8.544, 8.567, 8.64, 8.765, 8.933, 9.141, 9.387, 9.67, 9.995, 10.37",\
                 "9.127, 9.15, 9.223, 9.347, 9.516, 9.724, 9.969, 10.25, 10.58, 10.95",\
                 "9.933, 9.955, 10.03, 10.15, 10.32, 10.53, 10.77, 11.06, 11.38, 11.76",\
                 "10.99, 11.01, 11.08, 11.21, 11.38, 11.58, 11.83, 12.11, 12.44, 12.81",\
                 "12.31, 12.33, 12.41, 12.53, 12.7, 12.91, 13.15, 13.44, 13.76, 14.13",\
                 "13.89, 13.91, 13.99, 14.11, 14.28, 14.49, 14.73, 15.02, 15.34, 15.71",\
                 "15.7, 15.72, 15.79, 15.92, 16.09, 16.29, 16.54, 16.82, 17.15, 17.52");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.001637, 0.003875, 0.008148, 0.0148, 0.02414, 0.03643, 0.05192, 0.07082, 0.09335");
          values("6.882, 6.95, 7.187, 7.638, 8.339, 9.32, 10.61, 12.23, 14.21, 16.57",\
                 "6.946, 7.013, 7.25, 7.701, 8.402, 9.383, 10.67, 12.3, 14.28, 16.64",\
                 "7.124, 7.191, 7.428, 7.879, 8.58, 9.562, 10.85, 12.48, 14.46, 16.81",\
                 "7.432, 7.5, 7.736, 8.187, 8.888, 9.87, 11.16, 12.78, 14.76, 17.12",\
                 "7.854, 7.921, 8.158, 8.608, 9.31, 10.29, 11.58, 13.21, 15.19, 17.54",\
                 "8.319, 8.387, 8.624, 9.075, 9.775, 10.76, 12.05, 13.67, 15.65, 18.01",\
                 "8.816, 8.884, 9.121, 9.572, 10.27, 11.26, 12.54, 14.17, 16.15, 18.51",\
                 "9.331, 9.4, 9.637, 10.09, 10.79, 11.77, 13.06, 14.69, 16.67, 19.02",\
                 "9.874, 9.942, 10.18, 10.63, 11.33, 12.31, 13.6, 15.23, 17.21, 19.56",\
                 "10.43, 10.5, 10.73, 11.18, 11.89, 12.87, 14.16, 15.78, 17.76, 20.12");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.001637, 0.003875, 0.008148, 0.0148, 0.02414, 0.03643, 0.05192, 0.07082, 0.09335");
          values("0.5156, 0.5406, 0.6208, 0.756, 0.9444, 1.183, 1.482, 1.847, 2.295, 2.838",\
                 "0.516, 0.5404, 0.6198, 0.7568, 0.944, 1.183, 1.48, 1.847, 2.295, 2.84",\
                 "0.515, 0.5404, 0.6204, 0.7562, 0.9436, 1.183, 1.481, 1.847, 2.295, 2.838",\
                 "0.516, 0.5406, 0.6206, 0.7574, 0.9432, 1.182, 1.481, 1.846, 2.296, 2.84",\
                 "0.516, 0.54, 0.62, 0.758, 0.944, 1.182, 1.48, 1.846, 2.296, 2.838",\
                 "0.514, 0.54, 0.622, 0.758, 0.944, 1.182, 1.48, 1.848, 2.296, 2.838",\
                 "0.516, 0.54, 0.618, 0.756, 0.944, 1.184, 1.48, 1.85, 2.296, 2.84",\
                 "0.516, 0.54, 0.62, 0.756, 0.944, 1.184, 1.482, 1.85, 2.296, 2.84",\
                 "0.514, 0.54, 0.62, 0.758, 0.944, 1.182, 1.482, 1.848, 2.294, 2.84",\
                 "0.516, 0.54, 0.62, 0.754, 0.944, 1.182, 1.48, 1.848, 2.296, 2.84");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.001637, 0.003875, 0.008148, 0.0148, 0.02414, 0.03643, 0.05192, 0.07082, 0.09335");
          values("1.169, 1.278, 1.659, 2.394, 3.533, 5.142, 7.242, 9.898, 13.16, 17",\
                 "1.168, 1.277, 1.659, 2.391, 3.533, 5.142, 7.242, 9.909, 13.14, 17",\
                 "1.17, 1.277, 1.659, 2.391, 3.539, 5.138, 7.25, 9.904, 13.14, 17",\
                 "1.168, 1.277, 1.659, 2.392, 3.539, 5.136, 7.248, 9.898, 13.14, 17",\
                 "1.168, 1.277, 1.658, 2.391, 3.54, 5.136, 7.248, 9.902, 13.14, 17",\
                 "1.17, 1.276, 1.66, 2.39, 3.538, 5.14, 7.244, 9.904, 13.14, 17",\
                 "1.168, 1.276, 1.66, 2.39, 3.532, 5.138, 7.244, 9.898, 13.14, 17",\
                 "1.17, 1.278, 1.66, 2.392, 3.536, 5.138, 7.246, 9.902, 13.14, 17",\
                 "1.168, 1.278, 1.658, 2.39, 3.534, 5.142, 7.244, 9.9, 13.14, 17",\
                 "1.168, 1.278, 1.658, 2.392, 3.536, 5.136, 7.242, 9.896, 13.14, 17");
        }
      }

      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.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.001637, 0.003875, 0.008148, 0.0148, 0.02414, 0.03643, 0.05192, 0.07082, 0.09335");
          values("4.399, 4.437, 4.56, 4.765, 5.038, 5.379, 5.789, 6.276, 6.846, 7.509",\
                 "4.459, 4.497, 4.621, 4.825, 5.099, 5.439, 5.85, 6.336, 6.907, 7.57",\
                 "4.645, 4.683, 4.807, 5.011, 5.285, 5.626, 6.036, 6.523, 7.093, 7.756",\
                 "5.022, 5.061, 5.185, 5.389, 5.663, 6.004, 6.415, 6.901, 7.472, 8.135",\
                 "5.638, 5.676, 5.8, 6.004, 6.277, 6.619, 7.029, 7.516, 8.086, 8.749",\
                 "6.52, 6.559, 6.682, 6.886, 7.159, 7.5, 7.91, 8.397, 8.967, 9.631",\
                 "7.692, 7.73, 7.853, 8.058, 8.332, 8.671, 9.082, 9.568, 10.14, 10.8",\
                 "9.176, 9.215, 9.338, 9.541, 9.816, 10.16, 10.57, 11.05, 11.63, 12.29",\
                 "10.97, 11.01, 11.14, 11.34, 11.62, 11.96, 12.37, 12.86, 13.43, 14.09",\
                 "13.05, 13.09, 13.22, 13.43, 13.71, 14.05, 14.47, 14.96, 15.53, 16.2");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.001637, 0.003875, 0.008148, 0.0148, 0.02414, 0.03643, 0.05192, 0.07082, 0.09335");
          values("2.472, 2.541, 2.783, 3.241, 3.949, 4.936, 6.23, 7.856, 9.837, 12.2",\
                 "2.52, 2.589, 2.831, 3.29, 3.998, 4.985, 6.279, 7.905, 9.886, 12.25",\
                 "2.7, 2.769, 3.011, 3.469, 4.177, 5.164, 6.458, 8.084, 10.07, 12.42",\
                 "3.042, 3.111, 3.353, 3.81, 4.518, 5.505, 6.799, 8.425, 10.41, 12.77",\
                 "3.573, 3.642, 3.883, 4.34, 5.046, 6.033, 7.328, 8.954, 10.94, 13.3",\
                 "4.29, 4.359, 4.6, 5.056, 5.763, 6.749, 8.044, 9.671, 11.65, 14.02",\
                 "5.116, 5.186, 5.426, 5.884, 6.588, 7.575, 8.869, 10.5, 12.48, 14.84",\
                 "6.02, 6.089, 6.331, 6.788, 7.495, 8.481, 9.775, 11.4, 13.38, 15.75",\
                 "7.001, 7.071, 7.313, 7.769, 8.475, 9.465, 10.76, 12.38, 14.37, 16.73",\
                 "8.058, 8.128, 8.37, 8.827, 9.533, 10.52, 11.81, 13.44, 15.43, 17.79");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.001637, 0.003875, 0.008148, 0.0148, 0.02414, 0.03643, 0.05192, 0.07082, 0.09335");
          values("0.7152, 0.75, 0.859, 1.055, 1.347, 1.757, 2.295, 2.978, 3.82, 4.846",\
                 "0.7154, 0.75, 0.8588, 1.054, 1.347, 1.757, 2.294, 2.978, 3.826, 4.846",\
                 "0.7156, 0.7482, 0.8582, 1.054, 1.347, 1.758, 2.295, 2.978, 3.821, 4.846",\
                 "0.7166, 0.7496, 0.858, 1.053, 1.347, 1.757, 2.295, 2.978, 3.821, 4.846",\
                 "0.7174, 0.7496, 0.858, 1.054, 1.347, 1.759, 2.294, 2.978, 3.823, 4.846",\
                 "0.7166, 0.7494, 0.86, 1.055, 1.347, 1.758, 2.294, 2.978, 3.826, 4.84",\
                 "0.716, 0.75, 0.86, 1.056, 1.348, 1.758, 2.294, 2.98, 3.822, 4.846",\
                 "0.722, 0.752, 0.864, 1.058, 1.35, 1.758, 2.294, 2.98, 3.822, 4.846",\
                 "0.734, 0.766, 0.876, 1.068, 1.36, 1.764, 2.3, 2.982, 3.822, 4.848",\
                 "0.774, 0.804, 0.91, 1.098, 1.384, 1.784, 2.314, 2.994, 3.836, 4.856");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.001637, 0.003875, 0.008148, 0.0148, 0.02414, 0.03643, 0.05192, 0.07082, 0.09335");
          values("1.322, 1.431, 1.811, 2.541, 3.685, 5.288, 7.397, 10.05, 13.3, 17.16",\
                 "1.323, 1.431, 1.811, 2.544, 3.682, 5.288, 7.394, 10.05, 13.29, 17.16",\
                 "1.321, 1.429, 1.81, 2.544, 3.683, 5.288, 7.394, 10.05, 13.29, 17.16",\
                 "1.323, 1.431, 1.811, 2.544, 3.682, 5.288, 7.394, 10.05, 13.29, 17.16",\
                 "1.32, 1.431, 1.811, 2.54, 3.685, 5.287, 7.399, 10.06, 13.3, 17.16",\
                 "1.32, 1.428, 1.811, 2.544, 3.686, 5.285, 7.398, 10.05, 13.3, 17.17",\
                 "1.331, 1.438, 1.816, 2.546, 3.684, 5.288, 7.398, 10.05, 13.3, 17.16",\
                 "1.336, 1.446, 1.822, 2.554, 3.692, 5.292, 7.396, 10.05, 13.3, 17.16",\
                 "1.344, 1.452, 1.83, 2.556, 3.696, 5.3, 7.404, 10.06, 13.29, 17.16",\
                 "1.36, 1.464, 1.838, 2.56, 3.7, 5.302, 7.408, 10.06, 13.3, 17.17");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.001637, 0.003875, 0.008148, 0.0148, 0.02414, 0.03643, 0.05192, 0.07082, 0.09335");
          values("7.911, 7.933, 8.005, 8.13, 8.299, 8.507, 8.751, 9.035, 9.36, 9.732",\
                 "7.962, 7.984, 8.058, 8.182, 8.35, 8.558, 8.803, 9.086, 9.412, 9.784",\
                 "8.16, 8.182, 8.255, 8.38, 8.548, 8.756, 9.001, 9.285, 9.61, 9.982",\
                 "8.544, 8.567, 8.64, 8.765, 8.933, 9.141, 9.387, 9.67, 9.995, 10.37",\
                 "9.127, 9.15, 9.223, 9.347, 9.516, 9.724, 9.969, 10.25, 10.58, 10.95",\
                 "9.933, 9.955, 10.03, 10.15, 10.32, 10.53, 10.77, 11.06, 11.38, 11.76",\
                 "10.99, 11.01, 11.08, 11.21, 11.38, 11.58, 11.83, 12.11, 12.44, 12.81",\
                 "12.31, 12.33, 12.41, 12.53, 12.7, 12.91, 13.15, 13.44, 13.76, 14.13",\
                 "13.89, 13.91, 13.99, 14.11, 14.28, 14.49, 14.73, 15.02, 15.34, 15.71",\
                 "15.7, 15.72, 15.79, 15.92, 16.09, 16.29, 16.54, 16.82, 17.15, 17.52");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.001637, 0.003875, 0.008148, 0.0148, 0.02414, 0.03643, 0.05192, 0.07082, 0.09335");
          values("6.882, 6.95, 7.187, 7.638, 8.339, 9.32, 10.61, 12.23, 14.21, 16.57",\
                 "6.946, 7.013, 7.25, 7.701, 8.402, 9.383, 10.67, 12.3, 14.28, 16.64",\
                 "7.124, 7.191, 7.428, 7.879, 8.58, 9.562, 10.85, 12.48, 14.46, 16.81",\
                 "7.432, 7.5, 7.736, 8.187, 8.888, 9.87, 11.16, 12.78, 14.76, 17.12",\
                 "7.854, 7.921, 8.158, 8.608, 9.31, 10.29, 11.58, 13.21, 15.19, 17.54",\
                 "8.319, 8.387, 8.624, 9.075, 9.775, 10.76, 12.05, 13.67, 15.65, 18.01",\
                 "8.816, 8.884, 9.121, 9.572, 10.27, 11.26, 12.54, 14.17, 16.15, 18.51",\
                 "9.331, 9.4, 9.637, 10.09, 10.79, 11.77, 13.06, 14.69, 16.67, 19.02",\
                 "9.874, 9.942, 10.18, 10.63, 11.33, 12.31, 13.6, 15.23, 17.21, 19.56",\
                 "10.43, 10.5, 10.73, 11.18, 11.89, 12.87, 14.16, 15.78, 17.76, 20.12");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.001637, 0.003875, 0.008148, 0.0148, 0.02414, 0.03643, 0.05192, 0.07082, 0.09335");
          values("0.7152, 0.75, 0.859, 1.055, 1.347, 1.757, 2.295, 2.978, 3.82, 4.846",\
                 "0.7154, 0.75, 0.8588, 1.054, 1.347, 1.757, 2.294, 2.978, 3.826, 4.846",\
                 "0.7156, 0.7482, 0.8582, 1.054, 1.347, 1.758, 2.295, 2.978, 3.821, 4.846",\
                 "0.7166, 0.7496, 0.858, 1.053, 1.347, 1.757, 2.295, 2.978, 3.821, 4.846",\
                 "0.7174, 0.7496, 0.858, 1.054, 1.347, 1.759, 2.294, 2.978, 3.823, 4.846",\
                 "0.7166, 0.7494, 0.86, 1.055, 1.347, 1.758, 2.294, 2.978, 3.826, 4.84",\
                 "0.716, 0.75, 0.86, 1.056, 1.348, 1.758, 2.294, 2.98, 3.822, 4.846",\
                 "0.722, 0.752, 0.864, 1.058, 1.35, 1.758, 2.294, 2.98, 3.822, 4.846",\
                 "0.734, 0.766, 0.876, 1.068, 1.36, 1.764, 2.3, 2.982, 3.822, 4.848",\
                 "0.774, 0.804, 0.91, 1.098, 1.384, 1.784, 2.314, 2.994, 3.836, 4.856");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.001637, 0.003875, 0.008148, 0.0148, 0.02414, 0.03643, 0.05192, 0.07082, 0.09335");
          values("1.322, 1.431, 1.811, 2.541, 3.685, 5.288, 7.397, 10.05, 13.3, 17.16",\
                 "1.323, 1.431, 1.811, 2.544, 3.682, 5.288, 7.394, 10.05, 13.29, 17.16",\
                 "1.321, 1.429, 1.81, 2.544, 3.683, 5.288, 7.394, 10.05, 13.29, 17.16",\
                 "1.323, 1.431, 1.811, 2.544, 3.682, 5.288, 7.394, 10.05, 13.29, 17.16",\
                 "1.32, 1.431, 1.811, 2.54, 3.685, 5.287, 7.399, 10.06, 13.3, 17.16",\
                 "1.32, 1.428, 1.811, 2.544, 3.686, 5.285, 7.398, 10.05, 13.3, 17.17",\
                 "1.331, 1.438, 1.816, 2.546, 3.684, 5.288, 7.398, 10.05, 13.3, 17.16",\
                 "1.336, 1.446, 1.822, 2.554, 3.692, 5.292, 7.396, 10.05, 13.3, 17.16",\
                 "1.344, 1.452, 1.83, 2.556, 3.696, 5.3, 7.404, 10.06, 13.29, 17.16",\
                 "1.36, 1.464, 1.838, 2.56, 3.7, 5.302, 7.408, 10.06, 13.3, 17.17");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.001637, 0.003875, 0.008148, 0.0148, 0.02414, 0.03643, 0.05192, 0.07082, 0.09335");
          values("5.137, 5.176, 5.299, 5.503, 5.776, 6.117, 6.528, 7.014, 7.585, 8.248",\
                 "5.192, 5.231, 5.354, 5.558, 5.832, 6.173, 6.584, 7.07, 7.64, 8.303",\
                 "5.367, 5.406, 5.529, 5.734, 6.007, 6.348, 6.758, 7.245, 7.815, 8.479",\
                 "5.688, 5.726, 5.85, 6.053, 6.328, 6.669, 7.079, 7.565, 8.136, 8.799",\
                 "6.114, 6.152, 6.275, 6.48, 6.754, 7.094, 7.505, 7.991, 8.561, 9.225",\
                 "6.576, 6.615, 6.738, 6.942, 7.216, 7.556, 7.967, 8.454, 9.024, 9.687",\
                 "7.067, 7.105, 7.229, 7.433, 7.707, 8.048, 8.458, 8.944, 9.515, 10.18",\
                 "7.581, 7.619, 7.742, 7.947, 8.22, 8.56, 8.971, 9.457, 10.03, 10.69",\
                 "8.118, 8.157, 8.28, 8.484, 8.757, 9.098, 9.507, 9.994, 10.56, 11.23",\
                 "8.663, 8.7, 8.824, 9.028, 9.301, 9.641, 10.05, 10.54, 11.11, 11.77");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.001637, 0.003875, 0.008148, 0.0148, 0.02414, 0.03643, 0.05192, 0.07082, 0.09335");
          values("5.897, 5.966, 6.207, 6.663, 7.37, 8.357, 9.651, 11.28, 13.26, 15.62",\
                 "5.929, 5.998, 6.239, 6.695, 7.402, 8.389, 9.683, 11.31, 13.29, 15.65",\
                 "6.094, 6.163, 6.403, 6.86, 7.567, 8.554, 9.848, 11.47, 13.46, 15.82",\
                 "6.467, 6.535, 6.777, 7.233, 7.94, 8.927, 10.22, 11.85, 13.83, 16.19",\
                 "7.079, 7.148, 7.389, 7.845, 8.552, 9.538, 10.83, 12.46, 14.44, 16.8",\
                 "7.952, 8.021, 8.261, 8.718, 9.426, 10.41, 11.71, 13.33, 15.32, 17.68",\
                 "9.108, 9.178, 9.418, 9.875, 10.58, 11.57, 12.86, 14.49, 16.47, 18.83",\
                 "10.57, 10.64, 10.88, 11.33, 12.04, 13.03, 14.32, 15.95, 17.93, 20.29",\
                 "12.31, 12.38, 12.62, 13.08, 13.78, 14.77, 16.07, 17.69, 19.68, 22.04",\
                 "14.29, 14.36, 14.61, 15.06, 15.77, 16.76, 18.05, 19.68, 21.66, 24.02");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.001637, 0.003875, 0.008148, 0.0148, 0.02414, 0.03643, 0.05192, 0.07082, 0.09335");
          values("0.7166, 0.7494, 0.8578, 1.055, 1.347, 1.758, 2.294, 2.978, 3.827, 4.846",\
                 "0.7158, 0.75, 0.8586, 1.054, 1.346, 1.755, 2.295, 2.978, 3.822, 4.842",\
                 "0.7158, 0.75, 0.8584, 1.053, 1.346, 1.758, 2.296, 2.979, 3.821, 4.847",\
                 "0.7154, 0.749, 0.859, 1.054, 1.347, 1.758, 2.293, 2.978, 3.821, 4.846",\
                 "0.716, 0.7502, 0.8576, 1.053, 1.346, 1.758, 2.293, 2.979, 3.822, 4.847",\
                 "0.7154, 0.7486, 0.8582, 1.053, 1.346, 1.756, 2.297, 2.978, 3.822, 4.846",\
                 "0.716, 0.75, 0.858, 1.054, 1.346, 1.756, 2.292, 2.978, 3.822, 4.846",\
                 "0.714, 0.746, 0.856, 1.052, 1.346, 1.758, 2.294, 2.976, 3.82, 4.846",\
                 "0.714, 0.746, 0.858, 1.052, 1.346, 1.758, 2.292, 2.974, 3.82, 4.842",\
                 "0.716, 0.75, 0.856, 1.052, 1.348, 1.754, 2.294, 2.978, 3.82, 4.838");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.001637, 0.003875, 0.008148, 0.0148, 0.02414, 0.03643, 0.05192, 0.07082, 0.09335");
          values("1.305, 1.416, 1.801, 2.532, 3.676, 5.279, 7.389, 10.04, 13.29, 17.15",\
                 "1.307, 1.417, 1.8, 2.532, 3.678, 5.278, 7.389, 10.05, 13.29, 17.15",\
                 "1.307, 1.416, 1.801, 2.532, 3.677, 5.279, 7.386, 10.05, 13.29, 17.15",\
                 "1.308, 1.415, 1.801, 2.534, 3.675, 5.278, 7.389, 10.04, 13.29, 17.15",\
                 "1.308, 1.417, 1.801, 2.535, 3.678, 5.278, 7.388, 10.04, 13.29, 17.16",\
                 "1.308, 1.416, 1.802, 2.536, 3.678, 5.276, 7.39, 10.05, 13.28, 17.15",\
                 "1.308, 1.416, 1.802, 2.534, 3.676, 5.28, 7.386, 10.05, 13.28, 17.15",\
                 "1.308, 1.416, 1.798, 2.532, 3.678, 5.278, 7.39, 10.05, 13.29, 17.15",\
                 "1.306, 1.416, 1.8, 2.534, 3.678, 5.278, 7.386, 10.04, 13.28, 17.16",\
                 "1.308, 1.418, 1.802, 2.534, 3.676, 5.274, 7.386, 10.04, 13.29, 17.16");
        }
      }

      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.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.001637, 0.003875, 0.008148, 0.0148, 0.02414, 0.03643, 0.05192, 0.07082, 0.09335");
          values("4.397, 4.42, 4.493, 4.617, 4.786, 4.994, 5.239, 5.523, 5.848, 6.22",\
                 "4.455, 4.477, 4.55, 4.674, 4.843, 5.051, 5.296, 5.58, 5.905, 6.277",\
                 "4.629, 4.652, 4.725, 4.849, 5.017, 5.226, 5.471, 5.755, 6.08, 6.452",\
                 "4.942, 4.964, 5.038, 5.162, 5.33, 5.538, 5.784, 6.067, 6.393, 6.765",\
                 "5.419, 5.441, 5.514, 5.639, 5.808, 6.016, 6.261, 6.544, 6.869, 7.242",\
                 "6.066, 6.088, 6.161, 6.285, 6.454, 6.662, 6.907, 7.191, 7.516, 7.888",\
                 "6.839, 6.861, 6.934, 7.058, 7.226, 7.435, 7.679, 7.964, 8.29, 8.661",\
                 "7.714, 7.737, 7.81, 7.934, 8.103, 8.311, 8.556, 8.84, 9.166, 9.538",\
                 "8.686, 8.708, 8.782, 8.906, 9.075, 9.283, 9.528, 9.814, 10.14, 10.51",\
                 "9.749, 9.772, 9.844, 9.969, 10.14, 10.35, 10.59, 10.87, 11.2, 11.57");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.001637, 0.003875, 0.008148, 0.0148, 0.02414, 0.03643, 0.05192, 0.07082, 0.09335");
          values("6.199, 6.267, 6.504, 6.955, 7.655, 8.637, 9.927, 11.55, 13.53, 15.89",\
                 "6.237, 6.305, 6.542, 6.993, 7.693, 8.675, 9.966, 11.59, 13.57, 15.93",\
                 "6.429, 6.497, 6.733, 7.184, 7.885, 8.866, 10.16, 11.78, 13.76, 16.12",\
                 "6.821, 6.888, 7.124, 7.575, 8.276, 9.259, 10.55, 12.17, 14.15, 16.51",\
                 "7.445, 7.513, 7.749, 8.2, 8.9, 9.882, 11.17, 12.8, 14.78, 17.14",\
                 "8.333, 8.4, 8.637, 9.088, 9.789, 10.77, 12.06, 13.69, 15.66, 18.02",\
                 "9.508, 9.576, 9.813, 10.26, 10.97, 11.95, 13.24, 14.86, 16.84, 19.2",\
                 "10.99, 11.06, 11.3, 11.75, 12.45, 13.43, 14.72, 16.35, 18.33, 20.69",\
                 "12.8, 12.87, 13.1, 13.56, 14.26, 15.24, 16.53, 18.15, 20.13, 22.49",\
                 "14.91, 14.97, 15.21, 15.66, 16.36, 17.34, 18.63, 20.26, 22.24, 24.59");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.001637, 0.003875, 0.008148, 0.0148, 0.02414, 0.03643, 0.05192, 0.07082, 0.09335");
          values("0.5154, 0.539, 0.619, 0.756, 0.9428, 1.181, 1.479, 1.845, 2.293, 2.837",\
                 "0.5146, 0.5386, 0.6196, 0.755, 0.9434, 1.18, 1.478, 1.845, 2.294, 2.837",\
                 "0.5146, 0.5392, 0.6196, 0.756, 0.943, 1.181, 1.479, 1.847, 2.294, 2.837",\
                 "0.5144, 0.54, 0.6194, 0.7548, 0.9428, 1.181, 1.478, 1.845, 2.294, 2.838",\
                 "0.5158, 0.5392, 0.6194, 0.7558, 0.942, 1.181, 1.479, 1.847, 2.293, 2.836",\
                 "0.5146, 0.5388, 0.6196, 0.7544, 0.9432, 1.18, 1.478, 1.844, 2.294, 2.837",\
                 "0.514, 0.54, 0.618, 0.754, 0.942, 1.182, 1.48, 1.846, 2.294, 2.836",\
                 "0.516, 0.54, 0.62, 0.756, 0.944, 1.182, 1.478, 1.846, 2.296, 2.836",\
                 "0.516, 0.54, 0.62, 0.756, 0.944, 1.184, 1.478, 1.844, 2.294, 2.836",\
                 "0.516, 0.54, 0.622, 0.756, 0.942, 1.18, 1.478, 1.846, 2.294, 2.836");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.001637, 0.003875, 0.008148, 0.0148, 0.02414, 0.03643, 0.05192, 0.07082, 0.09335");
          values("1.168, 1.277, 1.659, 2.391, 3.539, 5.141, 7.249, 9.897, 13.14, 17.01",\
                 "1.168, 1.277, 1.659, 2.392, 3.539, 5.139, 7.25, 9.897, 13.14, 17.01",\
                 "1.168, 1.277, 1.659, 2.391, 3.538, 5.135, 7.246, 9.898, 13.14, 17.01",\
                 "1.168, 1.279, 1.659, 2.391, 3.533, 5.135, 7.25, 9.898, 13.14, 17",\
                 "1.168, 1.277, 1.659, 2.392, 3.532, 5.14, 7.244, 9.898, 13.14, 17.01",\
                 "1.17, 1.278, 1.66, 2.39, 3.538, 5.14, 7.246, 9.898, 13.14, 17.01",\
                 "1.168, 1.276, 1.66, 2.392, 3.538, 5.14, 7.248, 9.898, 13.14, 17",\
                 "1.168, 1.278, 1.66, 2.392, 3.534, 5.138, 7.254, 9.906, 13.14, 17",\
                 "1.168, 1.276, 1.658, 2.394, 3.532, 5.136, 7.246, 9.898, 13.14, 17",\
                 "1.17, 1.276, 1.658, 2.39, 3.538, 5.142, 7.25, 9.908, 13.14, 17.01");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.001637, 0.003875, 0.008148, 0.0148, 0.02414, 0.03643, 0.05192, 0.07082, 0.09335");
          values("5.137, 5.176, 5.299, 5.503, 5.776, 6.117, 6.528, 7.014, 7.585, 8.248",\
                 "5.192, 5.231, 5.354, 5.558, 5.832, 6.173, 6.584, 7.07, 7.64, 8.303",\
                 "5.367, 5.406, 5.529, 5.734, 6.007, 6.348, 6.758, 7.245, 7.815, 8.479",\
                 "5.688, 5.726, 5.85, 6.053, 6.328, 6.669, 7.079, 7.565, 8.136, 8.799",\
                 "6.114, 6.152, 6.275, 6.48, 6.754, 7.094, 7.505, 7.991, 8.561, 9.225",\
                 "6.576, 6.615, 6.738, 6.942, 7.216, 7.556, 7.967, 8.454, 9.024, 9.687",\
                 "7.067, 7.105, 7.229, 7.433, 7.707, 8.048, 8.458, 8.944, 9.515, 10.18",\
                 "7.581, 7.619, 7.742, 7.947, 8.22, 8.56, 8.971, 9.457, 10.03, 10.69",\
                 "8.118, 8.157, 8.28, 8.484, 8.757, 9.098, 9.507, 9.994, 10.56, 11.23",\
                 "8.663, 8.7, 8.824, 9.028, 9.301, 9.641, 10.05, 10.54, 11.11, 11.77");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.001637, 0.003875, 0.008148, 0.0148, 0.02414, 0.03643, 0.05192, 0.07082, 0.09335");
          values("6.199, 6.267, 6.504, 6.955, 7.655, 8.637, 9.927, 11.55, 13.53, 15.89",\
                 "6.237, 6.305, 6.542, 6.993, 7.693, 8.675, 9.966, 11.59, 13.57, 15.93",\
                 "6.429, 6.497, 6.733, 7.184, 7.885, 8.866, 10.16, 11.78, 13.76, 16.12",\
                 "6.821, 6.888, 7.124, 7.575, 8.276, 9.259, 10.55, 12.17, 14.15, 16.51",\
                 "7.445, 7.513, 7.749, 8.2, 8.9, 9.882, 11.17, 12.8, 14.78, 17.14",\
                 "8.333, 8.4, 8.637, 9.088, 9.789, 10.77, 12.06, 13.69, 15.66, 18.02",\
                 "9.508, 9.576, 9.813, 10.26, 10.97, 11.95, 13.24, 14.86, 16.84, 19.2",\
                 "10.99, 11.06, 11.3, 11.75, 12.45, 13.43, 14.72, 16.35, 18.33, 20.69",\
                 "12.8, 12.87, 13.1, 13.56, 14.26, 15.24, 16.53, 18.15, 20.13, 22.49",\
                 "14.91, 14.97, 15.21, 15.66, 16.36, 17.34, 18.63, 20.26, 22.24, 24.59");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.001637, 0.003875, 0.008148, 0.0148, 0.02414, 0.03643, 0.05192, 0.07082, 0.09335");
          values("0.7166, 0.7494, 0.8578, 1.055, 1.347, 1.758, 2.294, 2.978, 3.827, 4.846",\
                 "0.7158, 0.75, 0.8586, 1.054, 1.346, 1.755, 2.295, 2.978, 3.822, 4.842",\
                 "0.7158, 0.75, 0.8584, 1.053, 1.346, 1.758, 2.296, 2.979, 3.821, 4.847",\
                 "0.7154, 0.749, 0.859, 1.054, 1.347, 1.758, 2.293, 2.978, 3.821, 4.846",\
                 "0.716, 0.7502, 0.8576, 1.053, 1.346, 1.758, 2.293, 2.979, 3.822, 4.847",\
                 "0.7154, 0.7486, 0.8582, 1.053, 1.346, 1.756, 2.297, 2.978, 3.822, 4.846",\
                 "0.716, 0.75, 0.858, 1.054, 1.346, 1.756, 2.292, 2.978, 3.822, 4.846",\
                 "0.714, 0.746, 0.856, 1.052, 1.346, 1.758, 2.294, 2.976, 3.82, 4.846",\
                 "0.714, 0.746, 0.858, 1.052, 1.346, 1.758, 2.292, 2.974, 3.82, 4.842",\
                 "0.716, 0.75, 0.856, 1.052, 1.348, 1.754, 2.294, 2.978, 3.82, 4.838");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.001637, 0.003875, 0.008148, 0.0148, 0.02414, 0.03643, 0.05192, 0.07082, 0.09335");
          values("1.305, 1.416, 1.801, 2.532, 3.676, 5.279, 7.389, 10.04, 13.29, 17.15",\
                 "1.307, 1.417, 1.8, 2.532, 3.678, 5.278, 7.389, 10.05, 13.29, 17.15",\
                 "1.307, 1.416, 1.801, 2.532, 3.677, 5.279, 7.386, 10.05, 13.29, 17.15",\
                 "1.308, 1.415, 1.801, 2.534, 3.675, 5.278, 7.389, 10.04, 13.29, 17.15",\
                 "1.308, 1.417, 1.801, 2.535, 3.678, 5.278, 7.388, 10.04, 13.29, 17.16",\
                 "1.308, 1.416, 1.802, 2.536, 3.678, 5.276, 7.39, 10.05, 13.28, 17.15",\
                 "1.308, 1.416, 1.802, 2.534, 3.676, 5.28, 7.386, 10.05, 13.28, 17.15",\
                 "1.308, 1.416, 1.798, 2.532, 3.678, 5.278, 7.39, 10.05, 13.29, 17.15",\
                 "1.306, 1.416, 1.8, 2.534, 3.678, 5.278, 7.386, 10.04, 13.28, 17.16",\
                 "1.308, 1.418, 1.802, 2.534, 3.676, 5.274, 7.386, 10.04, 13.29, 17.16");
        }
      }

      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.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.001637, 0.003875, 0.008148, 0.0148, 0.02414, 0.03643, 0.05192, 0.07082, 0.09335");
          values("7.786, 7.808, 7.881, 8.006, 8.174, 8.382, 8.626, 8.911, 9.236, 9.608",\
                 "7.818, 7.84, 7.914, 8.038, 8.206, 8.415, 8.66, 8.943, 9.269, 9.64",\
                 "7.983, 8.005, 8.078, 8.203, 8.372, 8.58, 8.825, 9.109, 9.434, 9.805",\
                 "8.356, 8.379, 8.45, 8.576, 8.744, 8.953, 9.198, 9.482, 9.806, 10.18",\
                 "8.967, 8.989, 9.063, 9.188, 9.356, 9.564, 9.809, 10.09, 10.42, 10.79",\
                 "9.841, 9.863, 9.936, 10.06, 10.23, 10.44, 10.68, 10.97, 11.29, 11.66",\
                 "11, 11.02, 11.09, 11.22, 11.39, 11.6, 11.84, 12.12, 12.45, 12.82",\
                 "12.46, 12.48, 12.55, 12.68, 12.84, 13.05, 13.3, 13.58, 13.91, 14.28",\
                 "14.2, 14.22, 14.3, 14.42, 14.59, 14.8, 15.04, 15.33, 15.65, 16.02",\
                 "16.19, 16.21, 16.28, 16.41, 16.57, 16.78, 17.03, 17.31, 17.64, 18.01");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.001637, 0.003875, 0.008148, 0.0148, 0.02414, 0.03643, 0.05192, 0.07082, 0.09335");
          values("6.651, 6.717, 6.954, 7.405, 8.107, 9.089, 10.38, 12, 13.98, 16.34",\
                 "6.705, 6.773, 7.009, 7.461, 8.162, 9.144, 10.43, 12.06, 14.04, 16.4",\
                 "6.88, 6.947, 7.184, 7.635, 8.336, 9.318, 10.61, 12.23, 14.21, 16.57",\
                 "7.201, 7.267, 7.504, 7.956, 8.657, 9.638, 10.93, 12.55, 14.53, 16.89",\
                 "7.626, 7.693, 7.931, 8.381, 9.082, 10.06, 11.35, 12.98, 14.96, 17.32",\
                 "8.088, 8.156, 8.393, 8.844, 9.545, 10.53, 11.82, 13.44, 15.42, 17.78",\
                 "8.579, 8.646, 8.884, 9.336, 10.04, 11.02, 12.31, 13.93, 15.91, 18.27",\
                 "9.092, 9.16, 9.397, 9.848, 10.55, 11.53, 12.82, 14.45, 16.43, 18.79",\
                 "9.63, 9.696, 9.934, 10.39, 11.09, 12.07, 13.36, 14.98, 16.96, 19.32",\
                 "10.17, 10.24, 10.48, 10.93, 11.63, 12.61, 13.9, 15.53, 17.51, 19.87");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.001637, 0.003875, 0.008148, 0.0148, 0.02414, 0.03643, 0.05192, 0.07082, 0.09335");
          values("0.5162, 0.5406, 0.6204, 0.7572, 0.9446, 1.183, 1.482, 1.848, 2.295, 2.838",\
                 "0.5158, 0.54, 0.6206, 0.7572, 0.9446, 1.183, 1.481, 1.847, 2.295, 2.839",\
                 "0.5158, 0.5406, 0.6206, 0.7566, 0.9438, 1.183, 1.48, 1.847, 2.296, 2.838",\
                 "0.5156, 0.5402, 0.6208, 0.7572, 0.9446, 1.182, 1.481, 1.846, 2.294, 2.838",\
                 "0.516, 0.542, 0.62, 0.756, 0.944, 1.182, 1.482, 1.846, 2.294, 2.84",\
                 "0.516, 0.54, 0.62, 0.758, 0.944, 1.182, 1.48, 1.846, 2.296, 2.84",\
                 "0.516, 0.542, 0.62, 0.758, 0.944, 1.184, 1.48, 1.848, 2.296, 2.838",\
                 "0.516, 0.54, 0.62, 0.758, 0.944, 1.184, 1.48, 1.848, 2.296, 2.84",\
                 "0.514, 0.54, 0.62, 0.756, 0.944, 1.184, 1.48, 1.848, 2.296, 2.838",\
                 "0.514, 0.538, 0.62, 0.758, 0.944, 1.184, 1.48, 1.85, 2.296, 2.84");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.001637, 0.003875, 0.008148, 0.0148, 0.02414, 0.03643, 0.05192, 0.07082, 0.09335");
          values("1.168, 1.277, 1.659, 2.392, 3.538, 5.136, 7.242, 9.899, 13.14, 17",\
                 "1.169, 1.277, 1.66, 2.393, 3.536, 5.136, 7.244, 9.897, 13.14, 17.01",\
                 "1.169, 1.277, 1.66, 2.391, 3.533, 5.141, 7.243, 9.9, 13.14, 17",\
                 "1.169, 1.278, 1.659, 2.391, 3.534, 5.14, 7.248, 9.898, 13.14, 17",\
                 "1.168, 1.277, 1.659, 2.391, 3.536, 5.138, 7.242, 9.898, 13.15, 17",\
                 "1.17, 1.278, 1.66, 2.39, 3.534, 5.136, 7.25, 9.908, 13.14, 17",\
                 "1.168, 1.278, 1.658, 2.392, 3.54, 5.136, 7.248, 9.906, 13.15, 17",\
                 "1.17, 1.278, 1.658, 2.394, 3.538, 5.136, 7.244, 9.898, 13.14, 17",\
                 "1.168, 1.276, 1.658, 2.39, 3.532, 5.138, 7.248, 9.898, 13.14, 17",\
                 "1.17, 1.278, 1.658, 2.39, 3.534, 5.136, 7.242, 9.896, 13.14, 17.03");
        }
      }

      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.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.001637, 0.003875, 0.008148, 0.0148, 0.02414, 0.03643, 0.05192, 0.07082, 0.09335");
          values("4.683, 4.722, 4.845, 5.051, 5.325, 5.668, 6.079, 6.566, 7.138, 7.802",\
                 "4.721, 4.76, 4.883, 5.088, 5.363, 5.705, 6.117, 6.604, 7.175, 7.839",\
                 "4.913, 4.951, 5.075, 5.281, 5.556, 5.898, 6.309, 6.796, 7.368, 8.032",\
                 "5.304, 5.343, 5.467, 5.672, 5.947, 6.289, 6.7, 7.188, 7.759, 8.423",\
                 "5.93, 5.968, 6.092, 6.297, 6.572, 6.915, 7.325, 7.813, 8.384, 9.048",\
                 "6.818, 6.856, 6.98, 7.184, 7.459, 7.801, 8.213, 8.701, 9.272, 9.936",\
                 "7.993, 8.031, 8.155, 8.359, 8.635, 8.976, 9.387, 9.875, 10.45, 11.11",\
                 "9.478, 9.517, 9.64, 9.845, 10.12, 10.46, 10.87, 11.36, 11.93, 12.6",\
                 "11.28, 11.32, 11.45, 11.65, 11.93, 12.27, 12.68, 13.17, 13.74, 14.41",\
                 "13.38, 13.42, 13.55, 13.76, 14.04, 14.39, 14.8, 15.29, 15.86, 16.53");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.001637, 0.003875, 0.008148, 0.0148, 0.02414, 0.03643, 0.05192, 0.07082, 0.09335");
          values("2.501, 2.571, 2.813, 3.271, 3.979, 4.966, 6.26, 7.885, 9.867, 12.23",\
                 "2.558, 2.627, 2.87, 3.328, 4.035, 5.023, 6.317, 7.943, 9.924, 12.28",\
                 "2.733, 2.802, 3.044, 3.502, 4.211, 5.197, 6.492, 8.118, 10.1, 12.46",\
                 "3.046, 3.115, 3.357, 3.815, 4.522, 5.509, 6.803, 8.43, 10.41, 12.77",\
                 "3.524, 3.592, 3.834, 4.291, 4.999, 5.986, 7.28, 8.907, 10.89, 13.25",\
                 "4.17, 4.239, 4.481, 4.937, 5.643, 6.63, 7.925, 9.552, 11.54, 13.9",\
                 "4.94, 5.01, 5.251, 5.707, 6.412, 7.399, 8.693, 10.32, 12.3, 14.66",\
                 "5.812, 5.881, 6.123, 6.58, 7.286, 8.273, 9.566, 11.19, 13.18, 15.54",\
                 "6.779, 6.849, 7.091, 7.548, 8.254, 9.24, 10.54, 12.16, 14.14, 16.51",\
                 "7.837, 7.907, 8.15, 8.606, 9.314, 10.3, 11.59, 13.22, 15.2, 17.56");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.001637, 0.003875, 0.008148, 0.0148, 0.02414, 0.03643, 0.05192, 0.07082, 0.09335");
          values("0.721, 0.7554, 0.8644, 1.06, 1.352, 1.763, 2.301, 2.983, 3.826, 4.85",\
                 "0.7208, 0.7546, 0.8646, 1.06, 1.353, 1.763, 2.302, 2.984, 3.825, 4.85",\
                 "0.7208, 0.755, 0.8636, 1.06, 1.353, 1.763, 2.299, 2.982, 3.825, 4.85",\
                 "0.7208, 0.7548, 0.8646, 1.06, 1.353, 1.763, 2.3, 2.983, 3.826, 4.85",\
                 "0.7214, 0.7552, 0.8648, 1.06, 1.353, 1.763, 2.299, 2.983, 3.826, 4.845",\
                 "0.7222, 0.7546, 0.8656, 1.06, 1.352, 1.762, 2.302, 2.982, 3.826, 4.844",\
                 "0.722, 0.756, 0.866, 1.062, 1.356, 1.764, 2.3, 2.984, 3.826, 4.844",\
                 "0.724, 0.758, 0.868, 1.062, 1.354, 1.764, 2.3, 2.984, 3.83, 4.846",\
                 "0.734, 0.768, 0.876, 1.068, 1.358, 1.766, 2.306, 2.984, 3.826, 4.846",\
                 "0.758, 0.79, 0.898, 1.094, 1.38, 1.782, 2.314, 2.996, 3.836, 4.854");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.001637, 0.003875, 0.008148, 0.0148, 0.02414, 0.03643, 0.05192, 0.07082, 0.09335");
          values("1.323, 1.43, 1.812, 2.543, 3.686, 5.289, 7.395, 10.05, 13.3, 17.16",\
                 "1.321, 1.431, 1.811, 2.54, 3.685, 5.289, 7.395, 10.05, 13.3, 17.16",\
                 "1.321, 1.432, 1.811, 2.54, 3.686, 5.287, 7.396, 10.05, 13.3, 17.16",\
                 "1.323, 1.429, 1.81, 2.542, 3.685, 5.287, 7.398, 10.06, 13.29, 17.16",\
                 "1.321, 1.431, 1.811, 2.544, 3.685, 5.288, 7.394, 10.05, 13.29, 17.16",\
                 "1.322, 1.428, 1.81, 2.541, 3.685, 5.289, 7.396, 10.05, 13.3, 17.16",\
                 "1.328, 1.436, 1.816, 2.545, 3.685, 5.284, 7.396, 10.05, 13.3, 17.16",\
                 "1.334, 1.446, 1.822, 2.55, 3.692, 5.29, 7.398, 10.05, 13.29, 17.16",\
                 "1.344, 1.45, 1.83, 2.554, 3.69, 5.292, 7.4, 10.06, 13.29, 17.16",\
                 "1.36, 1.464, 1.836, 2.558, 3.694, 5.296, 7.4, 10.06, 13.3, 17.16");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.001637, 0.003875, 0.008148, 0.0148, 0.02414, 0.03643, 0.05192, 0.07082, 0.09335");
          values("7.786, 7.808, 7.881, 8.006, 8.174, 8.382, 8.626, 8.911, 9.236, 9.608",\
                 "7.818, 7.84, 7.914, 8.038, 8.206, 8.415, 8.66, 8.943, 9.269, 9.64",\
                 "7.983, 8.005, 8.078, 8.203, 8.372, 8.58, 8.825, 9.109, 9.434, 9.805",\
                 "8.356, 8.379, 8.45, 8.576, 8.744, 8.953, 9.198, 9.482, 9.806, 10.18",\
                 "8.967, 8.989, 9.063, 9.188, 9.356, 9.564, 9.809, 10.09, 10.42, 10.79",\
                 "9.841, 9.863, 9.936, 10.06, 10.23, 10.44, 10.68, 10.97, 11.29, 11.66",\
                 "11, 11.02, 11.09, 11.22, 11.39, 11.6, 11.84, 12.12, 12.45, 12.82",\
                 "12.46, 12.48, 12.55, 12.68, 12.84, 13.05, 13.3, 13.58, 13.91, 14.28",\
                 "14.2, 14.22, 14.3, 14.42, 14.59, 14.8, 15.04, 15.33, 15.65, 16.02",\
                 "16.19, 16.21, 16.28, 16.41, 16.57, 16.78, 17.03, 17.31, 17.64, 18.01");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.001637, 0.003875, 0.008148, 0.0148, 0.02414, 0.03643, 0.05192, 0.07082, 0.09335");
          values("6.651, 6.717, 6.954, 7.405, 8.107, 9.089, 10.38, 12, 13.98, 16.34",\
                 "6.705, 6.773, 7.009, 7.461, 8.162, 9.144, 10.43, 12.06, 14.04, 16.4",\
                 "6.88, 6.947, 7.184, 7.635, 8.336, 9.318, 10.61, 12.23, 14.21, 16.57",\
                 "7.201, 7.267, 7.504, 7.956, 8.657, 9.638, 10.93, 12.55, 14.53, 16.89",\
                 "7.626, 7.693, 7.931, 8.381, 9.082, 10.06, 11.35, 12.98, 14.96, 17.32",\
                 "8.088, 8.156, 8.393, 8.844, 9.545, 10.53, 11.82, 13.44, 15.42, 17.78",\
                 "8.579, 8.646, 8.884, 9.336, 10.04, 11.02, 12.31, 13.93, 15.91, 18.27",\
                 "9.092, 9.16, 9.397, 9.848, 10.55, 11.53, 12.82, 14.45, 16.43, 18.79",\
                 "9.63, 9.696, 9.934, 10.39, 11.09, 12.07, 13.36, 14.98, 16.96, 19.32",\
                 "10.17, 10.24, 10.48, 10.93, 11.63, 12.61, 13.9, 15.53, 17.51, 19.87");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.001637, 0.003875, 0.008148, 0.0148, 0.02414, 0.03643, 0.05192, 0.07082, 0.09335");
          values("0.721, 0.7554, 0.8644, 1.06, 1.352, 1.763, 2.301, 2.983, 3.826, 4.85",\
                 "0.7208, 0.7546, 0.8646, 1.06, 1.353, 1.763, 2.302, 2.984, 3.825, 4.85",\
                 "0.7208, 0.755, 0.8636, 1.06, 1.353, 1.763, 2.299, 2.982, 3.825, 4.85",\
                 "0.7208, 0.7548, 0.8646, 1.06, 1.353, 1.763, 2.3, 2.983, 3.826, 4.85",\
                 "0.7214, 0.7552, 0.8648, 1.06, 1.353, 1.763, 2.299, 2.983, 3.826, 4.845",\
                 "0.7222, 0.7546, 0.8656, 1.06, 1.352, 1.762, 2.302, 2.982, 3.826, 4.844",\
                 "0.722, 0.756, 0.866, 1.062, 1.356, 1.764, 2.3, 2.984, 3.826, 4.844",\
                 "0.724, 0.758, 0.868, 1.062, 1.354, 1.764, 2.3, 2.984, 3.83, 4.846",\
                 "0.734, 0.768, 0.876, 1.068, 1.358, 1.766, 2.306, 2.984, 3.826, 4.846",\
                 "0.758, 0.79, 0.898, 1.094, 1.38, 1.782, 2.314, 2.996, 3.836, 4.854");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.001637, 0.003875, 0.008148, 0.0148, 0.02414, 0.03643, 0.05192, 0.07082, 0.09335");
          values("1.323, 1.43, 1.812, 2.543, 3.686, 5.289, 7.395, 10.05, 13.3, 17.16",\
                 "1.321, 1.431, 1.811, 2.54, 3.685, 5.289, 7.395, 10.05, 13.3, 17.16",\
                 "1.321, 1.432, 1.811, 2.54, 3.686, 5.287, 7.396, 10.05, 13.3, 17.16",\
                 "1.323, 1.429, 1.81, 2.542, 3.685, 5.287, 7.398, 10.06, 13.29, 17.16",\
                 "1.321, 1.431, 1.811, 2.544, 3.685, 5.288, 7.394, 10.05, 13.29, 17.16",\
                 "1.322, 1.428, 1.81, 2.541, 3.685, 5.289, 7.396, 10.05, 13.3, 17.16",\
                 "1.328, 1.436, 1.816, 2.545, 3.685, 5.284, 7.396, 10.05, 13.3, 17.16",\
                 "1.334, 1.446, 1.822, 2.55, 3.692, 5.29, 7.398, 10.05, 13.29, 17.16",\
                 "1.344, 1.45, 1.83, 2.554, 3.69, 5.292, 7.4, 10.06, 13.29, 17.16",\
                 "1.36, 1.464, 1.836, 2.558, 3.694, 5.296, 7.4, 10.06, 13.3, 17.16");
        }
      }

      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.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.001637, 0.003875, 0.008148, 0.0148, 0.02414, 0.03643, 0.05192, 0.07082, 0.09335");
          values("0.271, 0.2893, 0.3533, 0.4755, 0.6658, 0.9327, 1.284, 1.728, 2.269, 2.913",\
                 "0.3191, 0.3375, 0.402, 0.5249, 0.7154, 0.9828, 1.334, 1.778, 2.32, 2.964",\
                 "0.4994, 0.5182, 0.5837, 0.7075, 0.8992, 1.167, 1.519, 1.963, 2.505, 3.15",\
                 "0.8022, 0.8286, 0.9137, 1.053, 1.248, 1.517, 1.869, 2.314, 2.854, 3.501",\
                 "1.163, 1.201, 1.32, 1.514, 1.764, 2.058, 2.414, 2.858, 3.399, 4.046",\
                 "1.577, 1.627, 1.784, 2.04, 2.364, 2.742, 3.16, 3.622, 4.163, 4.809",\
                 "2.043, 2.106, 2.306, 2.628, 3.036, 3.505, 4.018, 4.573, 5.162, 5.816",\
                 "2.557, 2.636, 2.883, 3.276, 3.776, 4.343, 4.964, 5.624, 6.323, 7.055",\
                 "3.118, 3.213, 3.512, 3.984, 4.579, 5.256, 5.987, 6.765, 7.583, 8.434",\
                 "3.723, 3.835, 4.19, 4.75, 5.448, 6.239, 7.089, 7.989, 8.935, 9.914");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.001637, 0.003875, 0.008148, 0.0148, 0.02414, 0.03643, 0.05192, 0.07082, 0.09335");
          values("0.9217, 0.9894, 1.226, 1.674, 2.373, 3.35, 4.633, 6.253, 8.229, 10.59",\
                 "0.958, 1.028, 1.271, 1.727, 2.431, 3.41, 4.697, 6.319, 8.294, 10.65",\
                 "1.122, 1.193, 1.439, 1.902, 2.614, 3.603, 4.896, 6.52, 8.5, 10.86",\
                 "1.509, 1.578, 1.821, 2.281, 2.995, 3.988, 5.285, 6.914, 8.898, 11.26",\
                 "2.144, 2.213, 2.452, 2.908, 3.618, 4.61, 5.908, 7.539, 9.526, 11.89",\
                 "3.004, 3.085, 3.345, 3.807, 4.512, 5.5, 6.798, 8.429, 10.42, 12.78",\
                 "4.02, 4.123, 4.445, 4.974, 5.7, 6.685, 7.979, 9.609, 11.6, 13.96",\
                 "5.193, 5.316, 5.71, 6.349, 7.171, 8.184, 9.477, 11.1, 13.09, 15.45",\
                 "6.524, 6.669, 7.14, 7.899, 8.866, 9.987, 11.31, 12.94, 14.92, 17.28",\
                 "8.013, 8.189, 8.74, 9.623, 10.75, 12.04, 13.47, 15.13, 17.11, 19.47");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.001637, 0.003875, 0.008148, 0.0148, 0.02414, 0.03643, 0.05192, 0.07082, 0.09335");
          values("0.3266, 0.3573, 0.4645, 0.6691, 0.9871, 1.431, 2.017, 2.755, 3.66, 4.729",\
                 "0.3273, 0.358, 0.4648, 0.6686, 0.9872, 1.431, 2.019, 2.756, 3.657, 4.73",\
                 "0.3326, 0.3617, 0.465, 0.6693, 0.9884, 1.431, 2.017, 2.756, 3.658, 4.728",\
                 "0.4732, 0.4976, 0.574, 0.7232, 0.9994, 1.434, 2.018, 2.758, 3.656, 4.728",\
                 "0.6762, 0.7066, 0.808, 0.9748, 1.197, 1.527, 2.041, 2.759, 3.655, 4.727",\
                 "0.9158, 0.953, 1.076, 1.282, 1.555, 1.881, 2.283, 2.865, 3.681, 4.731",\
                 "1.186, 1.233, 1.383, 1.629, 1.953, 2.338, 2.777, 3.273, 3.933, 4.838",\
                 "1.489, 1.544, 1.723, 2.015, 2.395, 2.84, 3.346, 3.91, 4.516, 5.266",\
                 "1.838, 1.898, 2.102, 2.434, 2.874, 3.386, 3.968, 4.608, 5.286, 6.024",\
                 "2.226, 2.3, 2.528, 2.898, 3.392, 3.978, 4.638, 5.338, 6.106, 6.922");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.001637, 0.003875, 0.008148, 0.0148, 0.02414, 0.03643, 0.05192, 0.07082, 0.09335");
          values("1.172, 1.28, 1.664, 2.397, 3.538, 5.141, 7.245, 9.901, 13.14, 17",\
                 "1.171, 1.28, 1.664, 2.397, 3.542, 5.139, 7.245, 9.901, 13.14, 17.01",\
                 "1.17, 1.281, 1.665, 2.396, 3.54, 5.138, 7.251, 9.899, 13.14, 17",\
                 "1.164, 1.276, 1.663, 2.396, 3.54, 5.139, 7.245, 9.898, 13.14, 17",\
                 "1.198, 1.296, 1.665, 2.397, 3.538, 5.14, 7.245, 9.899, 13.15, 17",\
                 "1.448, 1.522, 1.805, 2.433, 3.539, 5.139, 7.246, 9.9, 13.16, 17",\
                 "1.827, 1.911, 2.181, 2.684, 3.619, 5.15, 7.246, 9.908, 13.14, 17",\
                 "2.244, 2.346, 2.66, 3.178, 3.958, 5.266, 7.272, 9.898, 13.14, 17",\
                 "2.7, 2.814, 3.184, 3.772, 4.556, 5.672, 7.418, 9.94, 13.14, 17",\
                 "3.198, 3.328, 3.736, 4.408, 5.292, 6.348, 7.862, 10.1, 13.2, 17");
        }
      }

      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.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.001637, 0.003875, 0.008148, 0.0148, 0.02414, 0.03643, 0.05192, 0.07082, 0.09335");
          values("0.271, 0.2893, 0.3533, 0.4755, 0.6659, 0.9328, 1.284, 1.728, 2.269, 2.913",\
                 "0.3191, 0.3375, 0.402, 0.5249, 0.7154, 0.9828, 1.334, 1.778, 2.32, 2.964",\
                 "0.4994, 0.5181, 0.5836, 0.7075, 0.8991, 1.167, 1.52, 1.963, 2.505, 3.15",\
                 "0.8022, 0.8287, 0.9138, 1.053, 1.248, 1.517, 1.869, 2.314, 2.855, 3.501",\
                 "1.163, 1.2, 1.32, 1.514, 1.764, 2.058, 2.414, 2.858, 3.399, 4.046",\
                 "1.576, 1.627, 1.784, 2.039, 2.365, 2.743, 3.16, 3.622, 4.165, 4.81",\
                 "2.043, 2.106, 2.306, 2.627, 3.036, 3.505, 4.021, 4.573, 5.161, 5.817",\
                 "2.557, 2.636, 2.881, 3.277, 3.776, 4.344, 4.964, 5.625, 6.323, 7.054",\
                 "3.118, 3.213, 3.514, 3.984, 4.579, 5.256, 5.986, 6.764, 7.583, 8.434",\
                 "3.722, 3.835, 4.187, 4.75, 5.447, 6.238, 7.089, 7.989, 8.935, 9.913");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.001637, 0.003875, 0.008148, 0.0148, 0.02414, 0.03643, 0.05192, 0.07082, 0.09335");
          values("0.9216, 0.9894, 1.226, 1.674, 2.373, 3.35, 4.633, 6.253, 8.229, 10.59",\
                 "0.958, 1.028, 1.271, 1.727, 2.431, 3.41, 4.697, 6.319, 8.294, 10.65",\
                 "1.122, 1.193, 1.439, 1.902, 2.614, 3.603, 4.896, 6.52, 8.5, 10.86",\
                 "1.509, 1.578, 1.821, 2.282, 2.995, 3.988, 5.286, 6.914, 8.898, 11.26",\
                 "2.144, 2.213, 2.452, 2.909, 3.618, 4.61, 5.908, 7.539, 9.525, 11.89",\
                 "3.004, 3.085, 3.345, 3.808, 4.512, 5.5, 6.798, 8.429, 10.42, 12.78",\
                 "4.02, 4.123, 4.446, 4.974, 5.7, 6.684, 7.979, 9.609, 11.6, 13.96",\
                 "5.193, 5.316, 5.71, 6.348, 7.17, 8.184, 9.478, 11.11, 13.09, 15.45",\
                 "6.524, 6.669, 7.141, 7.899, 8.866, 9.987, 11.31, 12.94, 14.92, 17.28",\
                 "8.01, 8.189, 8.74, 9.624, 10.75, 12.04, 13.47, 15.13, 17.11, 19.47");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.001637, 0.003875, 0.008148, 0.0148, 0.02414, 0.03643, 0.05192, 0.07082, 0.09335");
          values("0.3265, 0.3574, 0.4645, 0.6689, 0.987, 1.431, 2.017, 2.755, 3.66, 4.729",\
                 "0.3272, 0.3579, 0.4648, 0.6686, 0.9874, 1.431, 2.019, 2.756, 3.657, 4.73",\
                 "0.3325, 0.3615, 0.4665, 0.6689, 0.9879, 1.431, 2.017, 2.756, 3.657, 4.729",\
                 "0.4726, 0.4964, 0.5736, 0.7228, 0.9992, 1.434, 2.018, 2.755, 3.659, 4.728",\
                 "0.6758, 0.7072, 0.808, 0.9734, 1.197, 1.527, 2.04, 2.76, 3.655, 4.728",\
                 "0.914, 0.9532, 1.076, 1.281, 1.555, 1.882, 2.284, 2.865, 3.68, 4.73",\
                 "1.186, 1.233, 1.383, 1.628, 1.953, 2.339, 2.78, 3.274, 3.932, 4.833",\
                 "1.491, 1.544, 1.721, 2.015, 2.393, 2.84, 3.348, 3.91, 4.518, 5.266",\
                 "1.84, 1.9, 2.1, 2.434, 2.878, 3.386, 3.964, 4.6, 5.288, 6.018",\
                 "2.232, 2.302, 2.532, 2.902, 3.394, 3.978, 4.628, 5.338, 6.108, 6.926");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.001637, 0.003875, 0.008148, 0.0148, 0.02414, 0.03643, 0.05192, 0.07082, 0.09335");
          values("1.172, 1.28, 1.664, 2.397, 3.538, 5.141, 7.245, 9.901, 13.14, 17",\
                 "1.171, 1.28, 1.664, 2.397, 3.542, 5.139, 7.245, 9.902, 13.14, 17.01",\
                 "1.17, 1.28, 1.664, 2.396, 3.54, 5.138, 7.251, 9.899, 13.14, 17",\
                 "1.164, 1.276, 1.662, 2.398, 3.538, 5.14, 7.246, 9.898, 13.14, 17",\
                 "1.199, 1.295, 1.666, 2.394, 3.538, 5.141, 7.245, 9.901, 13.14, 17",\
                 "1.448, 1.52, 1.806, 2.431, 3.539, 5.141, 7.247, 9.903, 13.16, 17",\
                 "1.828, 1.914, 2.181, 2.684, 3.619, 5.15, 7.244, 9.914, 13.14, 17",\
                 "2.246, 2.346, 2.656, 3.178, 3.962, 5.266, 7.266, 9.9, 13.14, 17",\
                 "2.7, 2.814, 3.172, 3.772, 4.556, 5.672, 7.416, 9.938, 13.14, 17.01",\
                 "3.206, 3.328, 3.738, 4.412, 5.29, 6.352, 7.86, 10.1, 13.19, 17");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.001637, 0.003875, 0.008148, 0.0148, 0.02414, 0.03643, 0.05192, 0.07082, 0.09335");
          values("0.271, 0.2893, 0.3533, 0.4755, 0.6658, 0.9327, 1.284, 1.728, 2.269, 2.913",\
                 "0.3191, 0.3375, 0.402, 0.5249, 0.7154, 0.9828, 1.334, 1.778, 2.32, 2.964",\
                 "0.4994, 0.5182, 0.5837, 0.7075, 0.8992, 1.167, 1.519, 1.963, 2.505, 3.15",\
                 "0.8022, 0.8286, 0.9137, 1.053, 1.248, 1.517, 1.869, 2.314, 2.854, 3.501",\
                 "1.163, 1.201, 1.32, 1.514, 1.764, 2.058, 2.414, 2.858, 3.399, 4.046",\
                 "1.577, 1.627, 1.784, 2.04, 2.364, 2.742, 3.16, 3.622, 4.163, 4.809",\
                 "2.043, 2.106, 2.306, 2.628, 3.036, 3.505, 4.018, 4.573, 5.162, 5.816",\
                 "2.557, 2.636, 2.883, 3.276, 3.776, 4.343, 4.964, 5.624, 6.323, 7.055",\
                 "3.118, 3.213, 3.512, 3.984, 4.579, 5.256, 5.987, 6.765, 7.583, 8.434",\
                 "3.723, 3.835, 4.19, 4.75, 5.448, 6.239, 7.089, 7.989, 8.935, 9.914");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.001637, 0.003875, 0.008148, 0.0148, 0.02414, 0.03643, 0.05192, 0.07082, 0.09335");
          values("0.9216, 0.9894, 1.226, 1.674, 2.373, 3.35, 4.633, 6.253, 8.229, 10.59",\
                 "0.958, 1.028, 1.271, 1.727, 2.431, 3.41, 4.697, 6.319, 8.294, 10.65",\
                 "1.122, 1.193, 1.439, 1.902, 2.614, 3.603, 4.896, 6.52, 8.5, 10.86",\
                 "1.509, 1.578, 1.821, 2.282, 2.995, 3.988, 5.286, 6.914, 8.898, 11.26",\
                 "2.144, 2.213, 2.452, 2.909, 3.618, 4.61, 5.908, 7.539, 9.525, 11.89",\
                 "3.004, 3.085, 3.345, 3.808, 4.512, 5.5, 6.798, 8.429, 10.42, 12.78",\
                 "4.02, 4.123, 4.446, 4.974, 5.7, 6.684, 7.979, 9.609, 11.6, 13.96",\
                 "5.193, 5.316, 5.71, 6.348, 7.17, 8.184, 9.478, 11.11, 13.09, 15.45",\
                 "6.524, 6.669, 7.141, 7.899, 8.866, 9.987, 11.31, 12.94, 14.92, 17.28",\
                 "8.01, 8.189, 8.74, 9.624, 10.75, 12.04, 13.47, 15.13, 17.11, 19.47");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.001637, 0.003875, 0.008148, 0.0148, 0.02414, 0.03643, 0.05192, 0.07082, 0.09335");
          values("0.3265, 0.3574, 0.4645, 0.6689, 0.987, 1.431, 2.017, 2.755, 3.66, 4.729",\
                 "0.3272, 0.3579, 0.4648, 0.6686, 0.9874, 1.431, 2.019, 2.756, 3.657, 4.73",\
                 "0.3325, 0.3615, 0.4665, 0.6689, 0.9879, 1.431, 2.017, 2.756, 3.657, 4.729",\
                 "0.4726, 0.4964, 0.5736, 0.7228, 0.9992, 1.434, 2.018, 2.755, 3.659, 4.728",\
                 "0.6758, 0.7072, 0.808, 0.9734, 1.197, 1.527, 2.04, 2.76, 3.655, 4.728",\
                 "0.914, 0.9532, 1.076, 1.281, 1.555, 1.882, 2.284, 2.865, 3.68, 4.73",\
                 "1.186, 1.233, 1.383, 1.628, 1.953, 2.339, 2.78, 3.274, 3.932, 4.833",\
                 "1.491, 1.544, 1.721, 2.015, 2.393, 2.84, 3.348, 3.91, 4.518, 5.266",\
                 "1.84, 1.9, 2.1, 2.434, 2.878, 3.386, 3.964, 4.6, 5.288, 6.018",\
                 "2.232, 2.302, 2.532, 2.902, 3.394, 3.978, 4.628, 5.338, 6.108, 6.926");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.001637, 0.003875, 0.008148, 0.0148, 0.02414, 0.03643, 0.05192, 0.07082, 0.09335");
          values("1.172, 1.28, 1.664, 2.397, 3.538, 5.141, 7.245, 9.901, 13.14, 17",\
                 "1.171, 1.28, 1.664, 2.397, 3.542, 5.139, 7.245, 9.902, 13.14, 17.01",\
                 "1.17, 1.28, 1.664, 2.396, 3.54, 5.138, 7.251, 9.899, 13.14, 17",\
                 "1.164, 1.276, 1.662, 2.398, 3.538, 5.14, 7.246, 9.898, 13.14, 17",\
                 "1.199, 1.295, 1.666, 2.394, 3.538, 5.141, 7.245, 9.901, 13.14, 17",\
                 "1.448, 1.52, 1.806, 2.431, 3.539, 5.141, 7.247, 9.903, 13.16, 17",\
                 "1.828, 1.914, 2.181, 2.684, 3.619, 5.15, 7.244, 9.914, 13.14, 17",\
                 "2.246, 2.346, 2.656, 3.178, 3.962, 5.266, 7.266, 9.9, 13.14, 17",\
                 "2.7, 2.814, 3.172, 3.772, 4.556, 5.672, 7.416, 9.938, 13.14, 17.01",\
                 "3.206, 3.328, 3.738, 4.412, 5.29, 6.352, 7.86, 10.1, 13.19, 17");
        }
      }

      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.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.001637, 0.003875, 0.008148, 0.0148, 0.02414, 0.03643, 0.05192, 0.07082, 0.09335");
          values("3.184, 3.206, 3.278, 3.401, 3.567, 3.772, 4.015, 4.297, 4.622, 4.992",\
                 "3.237, 3.259, 3.332, 3.454, 3.621, 3.827, 4.069, 4.352, 4.676, 5.047",\
                 "3.439, 3.461, 3.534, 3.658, 3.825, 4.031, 4.275, 4.557, 4.881, 5.252",\
                 "3.829, 3.851, 3.924, 4.049, 4.217, 4.424, 4.668, 4.95, 5.274, 5.645",\
                 "4.421, 4.443, 4.516, 4.641, 4.81, 5.018, 5.261, 5.544, 5.869, 6.24",\
                 "5.238, 5.261, 5.334, 5.46, 5.63, 5.838, 6.084, 6.368, 6.692, 7.063",\
                 "6.308, 6.331, 6.405, 6.532, 6.703, 6.912, 7.159, 7.443, 7.769, 8.14",\
                 "7.633, 7.656, 7.732, 7.862, 8.035, 8.247, 8.496, 8.782, 9.109, 9.482",\
                 "9.177, 9.199, 9.282, 9.417, 9.598, 9.817, 10.07, 10.36, 10.69, 11.07",\
                 "10.93, 10.95, 11.04, 11.18, 11.37, 11.6, 11.86, 12.16, 12.49, 12.87");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.001637, 0.003875, 0.008148, 0.0148, 0.02414, 0.03643, 0.05192, 0.07082, 0.09335");
          values("1.895, 1.961, 2.189, 2.62, 3.29, 4.236, 5.491, 7.083, 9.037, 11.37",\
                 "1.956, 2.022, 2.252, 2.687, 3.361, 4.309, 5.563, 7.154, 9.106, 11.44",\
                 "2.136, 2.203, 2.436, 2.877, 3.561, 4.52, 5.783, 7.378, 9.331, 11.67",\
                 "2.46, 2.528, 2.764, 3.212, 3.906, 4.877, 6.152, 7.758, 9.719, 12.06",\
                 "2.951, 3.019, 3.257, 3.707, 4.407, 5.383, 6.665, 8.279, 10.25, 12.59",\
                 "3.534, 3.602, 3.84, 4.293, 4.994, 5.974, 7.26, 8.878, 10.85, 13.2",\
                 "4.195, 4.263, 4.501, 4.954, 5.658, 6.64, 7.928, 9.549, 11.52, 13.88",\
                 "4.933, 5.002, 5.24, 5.691, 6.393, 7.375, 8.667, 10.29, 12.27, 14.62",\
                 "5.742, 5.81, 6.049, 6.501, 7.203, 8.185, 9.474, 11.1, 13.08, 15.44",\
                 "6.618, 6.687, 6.925, 7.377, 8.079, 9.061, 10.35, 11.97, 13.96, 16.32");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.001637, 0.003875, 0.008148, 0.0148, 0.02414, 0.03643, 0.05192, 0.07082, 0.09335");
          values("0.5154, 0.5388, 0.6202, 0.7566, 0.9464, 1.184, 1.483, 1.85, 2.297, 2.84",\
                 "0.5152, 0.5392, 0.62, 0.7562, 0.9462, 1.184, 1.482, 1.85, 2.297, 2.84",\
                 "0.5138, 0.5382, 0.6184, 0.7552, 0.945, 1.183, 1.481, 1.849, 2.297, 2.839",\
                 "0.514, 0.5396, 0.6188, 0.7542, 0.9442, 1.184, 1.48, 1.848, 2.297, 2.839",\
                 "0.515, 0.54, 0.6202, 0.7562, 0.9448, 1.182, 1.48, 1.847, 2.296, 2.839",\
                 "0.519, 0.5444, 0.6236, 0.7588, 0.947, 1.184, 1.48, 1.847, 2.296, 2.839",\
                 "0.526, 0.548, 0.63, 0.762, 0.95, 1.186, 1.482, 1.848, 2.296, 2.838",\
                 "0.538, 0.564, 0.642, 0.776, 0.962, 1.196, 1.492, 1.856, 2.302, 2.842",\
                 "0.572, 0.596, 0.676, 0.812, 0.998, 1.232, 1.522, 1.884, 2.324, 2.858",\
                 "0.608, 0.634, 0.716, 0.854, 1.042, 1.282, 1.57, 1.93, 2.364, 2.894");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.001637, 0.003875, 0.008148, 0.0148, 0.02414, 0.03643, 0.05192, 0.07082, 0.09335");
          values("1.304, 1.412, 1.795, 2.527, 3.673, 5.276, 7.384, 10.04, 13.28, 17.15",\
                 "1.302, 1.413, 1.795, 2.53, 3.673, 5.273, 7.381, 10.04, 13.28, 17.14",\
                 "1.302, 1.412, 1.796, 2.529, 3.673, 5.277, 7.383, 10.04, 13.28, 17.15",\
                 "1.301, 1.41, 1.796, 2.528, 3.67, 5.275, 7.382, 10.04, 13.29, 17.15",\
                 "1.301, 1.413, 1.794, 2.527, 3.67, 5.272, 7.384, 10.04, 13.29, 17.15",\
                 "1.281, 1.394, 1.785, 2.525, 3.671, 5.274, 7.385, 10.04, 13.28, 17.15",\
                 "1.251, 1.36, 1.742, 2.484, 3.639, 5.267, 7.38, 10.04, 13.29, 17.15",\
                 "1.244, 1.354, 1.738, 2.466, 3.606, 5.222, 7.352, 10.03, 13.29, 17.15",\
                 "1.244, 1.35, 1.734, 2.464, 3.606, 5.204, 7.32, 9.992, 13.26, 17.14",\
                 "1.248, 1.354, 1.736, 2.466, 3.602, 5.208, 7.312, 9.972, 13.23, 17.11");
        }
      }

      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.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.001637, 0.003875, 0.008148, 0.0148, 0.02414, 0.03643, 0.05192, 0.07082, 0.09335");
          values("3.194, 3.217, 3.288, 3.41, 3.576, 3.781, 4.024, 4.306, 4.631, 5.002",\
                 "3.249, 3.271, 3.343, 3.465, 3.631, 3.837, 4.079, 4.361, 4.685, 5.056",\
                 "3.452, 3.474, 3.546, 3.669, 3.836, 4.042, 4.286, 4.568, 4.892, 5.263",\
                 "3.841, 3.864, 3.936, 4.06, 4.229, 4.435, 4.679, 4.961, 5.285, 5.656",\
                 "4.431, 4.454, 4.527, 4.651, 4.819, 5.027, 5.271, 5.555, 5.878, 6.249",\
                 "5.246, 5.268, 5.342, 5.468, 5.637, 5.846, 6.091, 6.375, 6.7, 7.071",\
                 "6.314, 6.337, 6.411, 6.537, 6.708, 6.918, 7.164, 7.449, 7.774, 8.146",\
                 "7.637, 7.66, 7.737, 7.865, 8.039, 8.252, 8.501, 8.787, 9.114, 9.486",\
                 "9.18, 9.205, 9.284, 9.419, 9.601, 9.82, 10.08, 10.37, 10.7, 11.07",\
                 "10.93, 10.96, 11.04, 11.18, 11.37, 11.6, 11.86, 12.16, 12.5, 12.88");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.001637, 0.003875, 0.008148, 0.0148, 0.02414, 0.03643, 0.05192, 0.07082, 0.09335");
          values("1.906, 1.971, 2.2, 2.632, 3.303, 4.249, 5.504, 7.096, 9.05, 11.39",\
                 "1.966, 2.032, 2.264, 2.699, 3.374, 4.321, 5.576, 7.167, 9.119, 11.45",\
                 "2.146, 2.214, 2.447, 2.889, 3.574, 4.533, 5.795, 7.391, 9.344, 11.68",\
                 "2.471, 2.538, 2.775, 3.224, 3.919, 4.891, 6.166, 7.772, 9.734, 12.07",\
                 "2.963, 3.031, 3.27, 3.721, 4.421, 5.398, 6.681, 8.295, 10.26, 12.61",\
                 "3.547, 3.615, 3.854, 4.308, 5.009, 5.989, 7.275, 8.894, 10.87, 13.22",\
                 "4.208, 4.277, 4.515, 4.968, 5.673, 6.656, 7.945, 9.565, 11.54, 13.89",\
                 "4.946, 5.015, 5.253, 5.706, 6.408, 7.391, 8.684, 10.31, 12.29, 14.64",\
                 "5.755, 5.823, 6.062, 6.516, 7.218, 8.2, 9.49, 11.12, 13.1, 15.46",\
                 "6.63, 6.698, 6.938, 7.391, 8.094, 9.077, 10.37, 11.99, 13.97, 16.33");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.001637, 0.003875, 0.008148, 0.0148, 0.02414, 0.03643, 0.05192, 0.07082, 0.09335");
          values("0.5138, 0.539, 0.6186, 0.7552, 0.9448, 1.183, 1.481, 1.848, 2.296, 2.84",\
                 "0.5134, 0.5388, 0.6182, 0.7548, 0.9444, 1.182, 1.48, 1.848, 2.296, 2.838",\
                 "0.5128, 0.5382, 0.6174, 0.7538, 0.9436, 1.181, 1.48, 1.847, 2.296, 2.838",\
                 "0.513, 0.5372, 0.618, 0.7534, 0.9424, 1.182, 1.479, 1.846, 2.295, 2.837",\
                 "0.5142, 0.5386, 0.619, 0.754, 0.9428, 1.18, 1.478, 1.846, 2.294, 2.836",\
                 "0.5186, 0.5434, 0.6222, 0.7572, 0.9446, 1.183, 1.479, 1.846, 2.294, 2.838",\
                 "0.526, 0.548, 0.628, 0.76, 0.948, 1.184, 1.48, 1.848, 2.294, 2.838",\
                 "0.538, 0.562, 0.64, 0.774, 0.96, 1.196, 1.492, 1.854, 2.302, 2.84",\
                 "0.572, 0.594, 0.674, 0.81, 0.996, 1.23, 1.522, 1.88, 2.322, 2.856",\
                 "0.606, 0.634, 0.714, 0.852, 1.04, 1.278, 1.57, 1.926, 2.364, 2.894");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.001637, 0.003875, 0.008148, 0.0148, 0.02414, 0.03643, 0.05192, 0.07082, 0.09335");
          values("1.316, 1.425, 1.808, 2.544, 3.682, 5.287, 7.394, 10.05, 13.3, 17.16",\
                 "1.316, 1.424, 1.808, 2.542, 3.682, 5.287, 7.398, 10.05, 13.29, 17.16",\
                 "1.317, 1.426, 1.808, 2.543, 3.684, 5.288, 7.398, 10.05, 13.3, 17.16",\
                 "1.316, 1.425, 1.81, 2.541, 3.686, 5.286, 7.394, 10.06, 13.3, 17.17",\
                 "1.316, 1.426, 1.807, 2.542, 3.685, 5.287, 7.394, 10.06, 13.3, 17.16",\
                 "1.297, 1.408, 1.799, 2.538, 3.684, 5.288, 7.396, 10.06, 13.3, 17.16",\
                 "1.264, 1.371, 1.758, 2.498, 3.654, 5.279, 7.396, 10.06, 13.3, 17.16",\
                 "1.256, 1.366, 1.748, 2.478, 3.622, 5.236, 7.368, 10.05, 13.3, 17.16",\
                 "1.256, 1.364, 1.746, 2.476, 3.616, 5.218, 7.334, 10.01, 13.27, 17.15",\
                 "1.26, 1.366, 1.746, 2.48, 3.614, 5.216, 7.322, 9.986, 13.24, 17.12");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.001637, 0.003875, 0.008148, 0.0148, 0.02414, 0.03643, 0.05192, 0.07082, 0.09335");
          values("3.194, 3.217, 3.288, 3.41, 3.576, 3.781, 4.024, 4.306, 4.631, 5.002",\
                 "3.249, 3.271, 3.343, 3.465, 3.631, 3.837, 4.079, 4.361, 4.685, 5.056",\
                 "3.452, 3.474, 3.546, 3.669, 3.836, 4.042, 4.286, 4.568, 4.892, 5.263",\
                 "3.841, 3.864, 3.936, 4.06, 4.229, 4.435, 4.679, 4.961, 5.285, 5.656",\
                 "4.431, 4.454, 4.527, 4.651, 4.819, 5.027, 5.271, 5.555, 5.878, 6.249",\
                 "5.246, 5.268, 5.342, 5.468, 5.637, 5.846, 6.091, 6.375, 6.7, 7.071",\
                 "6.314, 6.337, 6.411, 6.537, 6.708, 6.918, 7.164, 7.449, 7.774, 8.146",\
                 "7.637, 7.66, 7.737, 7.865, 8.039, 8.252, 8.501, 8.787, 9.114, 9.486",\
                 "9.18, 9.205, 9.284, 9.419, 9.601, 9.82, 10.08, 10.37, 10.7, 11.07",\
                 "10.93, 10.96, 11.04, 11.18, 11.37, 11.6, 11.86, 12.16, 12.5, 12.88");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.001637, 0.003875, 0.008148, 0.0148, 0.02414, 0.03643, 0.05192, 0.07082, 0.09335");
          values("1.906, 1.971, 2.2, 2.632, 3.303, 4.249, 5.504, 7.096, 9.05, 11.39",\
                 "1.966, 2.032, 2.264, 2.699, 3.374, 4.321, 5.576, 7.167, 9.119, 11.45",\
                 "2.146, 2.214, 2.447, 2.889, 3.574, 4.533, 5.795, 7.391, 9.344, 11.68",\
                 "2.471, 2.538, 2.775, 3.224, 3.919, 4.891, 6.166, 7.772, 9.734, 12.07",\
                 "2.963, 3.031, 3.27, 3.721, 4.421, 5.398, 6.681, 8.295, 10.26, 12.61",\
                 "3.547, 3.615, 3.854, 4.308, 5.009, 5.989, 7.275, 8.894, 10.87, 13.22",\
                 "4.208, 4.277, 4.515, 4.968, 5.673, 6.656, 7.945, 9.565, 11.54, 13.89",\
                 "4.946, 5.015, 5.253, 5.706, 6.408, 7.391, 8.684, 10.31, 12.29, 14.64",\
                 "5.755, 5.823, 6.062, 6.516, 7.218, 8.2, 9.49, 11.12, 13.1, 15.46",\
                 "6.63, 6.698, 6.938, 7.391, 8.094, 9.077, 10.37, 11.99, 13.97, 16.33");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.001637, 0.003875, 0.008148, 0.0148, 0.02414, 0.03643, 0.05192, 0.07082, 0.09335");
          values("0.5138, 0.539, 0.6186, 0.7552, 0.9448, 1.183, 1.481, 1.848, 2.296, 2.84",\
                 "0.5134, 0.5388, 0.6182, 0.7548, 0.9444, 1.182, 1.48, 1.848, 2.296, 2.838",\
                 "0.5128, 0.5382, 0.6174, 0.7538, 0.9436, 1.181, 1.48, 1.847, 2.296, 2.838",\
                 "0.513, 0.5372, 0.618, 0.7534, 0.9424, 1.182, 1.479, 1.846, 2.295, 2.837",\
                 "0.5142, 0.5386, 0.619, 0.754, 0.9428, 1.18, 1.478, 1.846, 2.294, 2.836",\
                 "0.5186, 0.5434, 0.6222, 0.7572, 0.9446, 1.183, 1.479, 1.846, 2.294, 2.838",\
                 "0.526, 0.548, 0.628, 0.76, 0.948, 1.184, 1.48, 1.848, 2.294, 2.838",\
                 "0.538, 0.562, 0.64, 0.774, 0.96, 1.196, 1.492, 1.854, 2.302, 2.84",\
                 "0.572, 0.594, 0.674, 0.81, 0.996, 1.23, 1.522, 1.88, 2.322, 2.856",\
                 "0.606, 0.634, 0.714, 0.852, 1.04, 1.278, 1.57, 1.926, 2.364, 2.894");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1372, 0.5486, 1.334, 2.558, 4.275, 6.535, 9.382, 12.86, 17");
          index_2("0.001, 0.001637, 0.003875, 0.008148, 0.0148, 0.02414, 0.03643, 0.05192, 0.07082, 0.09335");
          values("1.316, 1.425, 1.808, 2.544, 3.682, 5.287, 7.394, 10.05, 13.3, 17.16",\
                 "1.316, 1.424, 1.808, 2.542, 3.682, 5.287, 7.398, 10.05, 13.29, 17.16",\
                 "1.317, 1.426, 1.808, 2.543, 3.684, 5.288, 7.398, 10.05, 13.3, 17.16",\
                 "1.316, 1.425, 1.81, 2.541, 3.686, 5.286, 7.394, 10.06, 13.3, 17.17",\
                 "1.316, 1.426, 1.807, 2.542, 3.685, 5.287, 7.394, 10.06, 13.3, 17.16",\
                 "1.297, 1.408, 1.799, 2.538, 3.684, 5.288, 7.396, 10.06, 13.3, 17.16",\
                 "1.264, 1.371, 1.758, 2.498, 3.654, 5.279, 7.396, 10.06, 13.3, 17.16",\
                 "1.256, 1.366, 1.748, 2.478, 3.622, 5.236, 7.368, 10.05, 13.3, 17.16",\
                 "1.256, 1.364, 1.746, 2.476, 3.616, 5.218, 7.334, 10.01, 13.27, 17.15",\
                 "1.26, 1.366, 1.746, 2.48, 3.614, 5.216, 7.322, 9.986, 13.24, 17.12");
        }
      }
    }
  }