cells/oai211/gf180mcu_fd_sc_mcu7t5v0__oai211_2__ss_125C_3v00.lib

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

  cell(gf180mcu_fd_sc_mcu7t5v0__oai211_2) {
    area : 39.513600 ;

    leakage_power() {
      related_pg_pin : "VDD" ;
      when : "!A1&!A2&!B&!C" ;
      value : "0.00045804" ;
    }

    leakage_power() {
      related_pg_pin : "VDD" ;
      when : "!A1&!A2&!B&C" ;
      value : "0.00045882" ;
    }

    leakage_power() {
      related_pg_pin : "VDD" ;
      when : "!A1&!A2&B&!C" ;
      value : "0.0004596" ;
    }

    leakage_power() {
      related_pg_pin : "VDD" ;
      when : "!A1&!A2&B&C" ;
      value : "0.00047685" ;
    }

    leakage_power() {
      related_pg_pin : "VDD" ;
      when : "!A1&A2&!B&!C" ;
      value : "0.00049857" ;
    }

    leakage_power() {
      related_pg_pin : "VDD" ;
      when : "!A1&A2&!B&C" ;
      value : "0.00050457" ;
    }

    leakage_power() {
      related_pg_pin : "VDD" ;
      when : "!A1&A2&B&!C" ;
      value : "0.00053082" ;
    }

    leakage_power() {
      related_pg_pin : "VDD" ;
      when : "!A1&A2&B&C" ;
      value : "0.00049935" ;
    }

    leakage_power() {
      related_pg_pin : "VDD" ;
      when : "A1&!A2&!B&!C" ;
      value : "0.00049857" ;
    }

    leakage_power() {
      related_pg_pin : "VDD" ;
      when : "A1&!A2&!B&C" ;
      value : "0.00050457" ;
    }

    leakage_power() {
      related_pg_pin : "VDD" ;
      when : "A1&!A2&B&!C" ;
      value : "0.00053082" ;
    }

    leakage_power() {
      related_pg_pin : "VDD" ;
      when : "A1&!A2&B&C" ;
      value : "0.00047475" ;
    }

    leakage_power() {
      related_pg_pin : "VDD" ;
      when : "A1&A2&!B&!C" ;
      value : "0.00049902" ;
    }

    leakage_power() {
      related_pg_pin : "VDD" ;
      when : "A1&A2&!B&C" ;
      value : "0.00050508" ;
    }

    leakage_power() {
      related_pg_pin : "VDD" ;
      when : "A1&A2&B&!C" ;
      value : "0.00053145" ;
    }

    leakage_power() {
      related_pg_pin : "VDD" ;
      when : "A1&A2&B&C" ;
      value : "0.00047472" ;
    }

    leakage_power() {
      related_pg_pin : "VDD" ;
      value : "0.00053145" ;
    }

    pg_pin(VDD) {
      voltage_name : VDD ;
      pg_type : primary_power ;
    }

    pg_pin(VSS) {
      voltage_name : VSS ;
      pg_type : primary_ground ;
    }

    pin(A1) {
      capacitance : 0.009034 ;
      direction : input ;
      driver_waveform_rise : driver_waveform_default_rise ;
      driver_waveform_fall : driver_waveform_default_fall ;
      input_voltage : default ;
      max_transition : 15.6 ;
      related_ground_pin : VSS ;
      related_power_pin : VDD ;

      internal_power() {
        when : "!A2&!B&!C" ;

        fall_power(pwr_tin_10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          values("0.02745, 0.02743, 0.02739, 0.02731, 0.02731, 0.0273, 0.0273, 0.0273, \
                  0.02732, 0.02732");
        }

        rise_power(pwr_tin_10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          values("0.01202, 0.01203, 0.01201, 0.01194, 0.01181, 0.01168, 0.0115, \
                  0.01126, 0.01085, 0.009787");
        }
      }

      internal_power() {
        when : "!A2&!B&C" ;

        fall_power(pwr_tin_10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          values("0.02747, 0.02744, 0.02743, 0.02736, 0.02735, 0.02733, 0.02732, \
                  0.02731, 0.02731, 0.02729");
        }

        rise_power(pwr_tin_10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          values("0.01219, 0.01218, 0.01217, 0.01211, 0.01195, 0.01182, 0.01164, \
                  0.01138, 0.01093, 0.009802");
        }
      }

      internal_power() {
        when : "!A2&B&!C" ;

        fall_power(pwr_tin_10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          values("0.02747, 0.02745, 0.02743, 0.02736, 0.02735, 0.02733, 0.02731, \
                  0.0273, 0.02731, 0.02729");
        }

        rise_power(pwr_tin_10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          values("0.03812, 0.03812, 0.03813, 0.03802, 0.03783, 0.03764, 0.03738, \
                  0.03699, 0.03634, 0.03467");
        }
      }

      internal_power() {
        when : "A2&!B&!C" ;

        fall_power(pwr_tin_10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          values("0.02735, 0.02737, 0.02739, 0.02732, 0.02731, 0.02729, 0.02728, \
                  0.02727, 0.02725, 0.02724");
        }

        rise_power(pwr_tin_10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          values("-0.02652, -0.02659, -0.02654, -0.02669, -0.02683, -0.0269, -0.02696, \
                  -0.02697, -0.02699, -0.02701");
        }
      }

      internal_power() {
        when : "A2&!B&C" ;

        fall_power(pwr_tin_10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          values("0.0274, 0.02743, 0.02745, 0.02739, 0.02737, 0.02733, 0.02729, \
                  0.02727, 0.02726, 0.02721");
        }

        rise_power(pwr_tin_10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          values("-0.02648, -0.02658, -0.02661, -0.0267, -0.02683, -0.02691, -0.02695, \
                  -0.02698, -0.02699, -0.027");
        }
      }

      internal_power() {
        when : "A2&B&!C" ;

        fall_power(pwr_tin_10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          values("0.0274, 0.02742, 0.02745, 0.02739, 0.02737, 0.02733, 0.02729, \
                  0.02727, 0.02726, 0.0272");
        }

        rise_power(pwr_tin_10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          values("-0.02649, -0.02658, -0.02659, -0.0267, -0.02683, -0.02691, -0.02696, \
                  -0.02698, -0.027, -0.027");
        }
      }

      internal_power() {
        when : "A2&B&C" ;

        fall_power(pwr_tin_10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          values("0.02132, 0.02131, 0.02126, 0.02122, 0.02124, 0.02121, 0.02115, \
                  0.02107, 0.02092, 0.02057");
        }

        rise_power(pwr_tin_10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          values("-0.008239, -0.008214, -0.008236, -0.008234, -0.008265, -0.008272, \
                  -0.008268, -0.008267, -0.008273, -0.008268");
        }
      }
    }

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

      internal_power() {
        when : "!A1&!B&!C" ;

        fall_power(pwr_tin_10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          values("0.02735, 0.02735, 0.02737, 0.0273, 0.02733, 0.02733, 0.0273, 0.02731, \
                  0.02729, 0.02729");
        }

        rise_power(pwr_tin_10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          values("0.01219, 0.01216, 0.01212, 0.01198, 0.01182, 0.01169, 0.01153, \
                  0.01128, 0.01083, 0.009774");
        }
      }

      internal_power() {
        when : "!A1&!B&C" ;

        fall_power(pwr_tin_10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          values("0.02737, 0.02737, 0.0274, 0.02734, 0.02736, 0.02734, 0.02729, \
                  0.02731, 0.0273, 0.02729");
        }

        rise_power(pwr_tin_10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          values("0.01237, 0.01232, 0.01223, 0.01216, 0.01197, 0.01185, 0.01167, \
                  0.0114, 0.01093, 0.009792");
        }
      }

      internal_power() {
        when : "!A1&B&!C" ;

        fall_power(pwr_tin_10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          values("0.02737, 0.02737, 0.02739, 0.02732, 0.02735, 0.02734, 0.02729, \
                  0.02731, 0.02731, 0.0273");
        }

        rise_power(pwr_tin_10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          values("0.03828, 0.03825, 0.03817, 0.03807, 0.03784, 0.03763, 0.0374, \
                  0.03702, 0.03632, 0.03462");
        }
      }

      internal_power() {
        when : "A1&!B&!C" ;

        fall_power(pwr_tin_10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          values("0.02735, 0.02735, 0.02728, 0.0273, 0.02728, 0.0273, 0.02728, 0.02726, \
                  0.02724, 0.02724");
        }

        rise_power(pwr_tin_10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          values("-0.02627, -0.02633, -0.02644, -0.02667, -0.02683, -0.02689, -0.02695, \
                  -0.02696, -0.02699, -0.027");
        }
      }

      internal_power() {
        when : "A1&!B&C" ;

        fall_power(pwr_tin_10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          values("0.02737, 0.02738, 0.0273, 0.02731, 0.0273, 0.02729, 0.02727, 0.02726, \
                  0.02724, 0.0272");
        }

        rise_power(pwr_tin_10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          values("-0.02625, -0.02632, -0.02645, -0.02668, -0.02686, -0.02689, -0.02695, \
                  -0.02697, -0.02698, -0.02699");
        }
      }

      internal_power() {
        when : "A1&B&!C" ;

        fall_power(pwr_tin_10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          values("0.02737, 0.02737, 0.0273, 0.02732, 0.0273, 0.02728, 0.02727, 0.02725, \
                  0.02724, 0.0272");
        }

        rise_power(pwr_tin_10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          values("-0.02626, -0.02632, -0.02648, -0.02669, -0.02685, -0.0269, -0.02694, \
                  -0.02696, -0.02698, -0.02699");
        }
      }

      internal_power() {
        when : "A1&B&C" ;

        fall_power(pwr_tin_10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          values("0.02392, 0.02391, 0.02389, 0.02388, 0.02396, 0.02395, 0.02395, \
                  0.02396, 0.02394, 0.02394");
        }

        rise_power(pwr_tin_10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          values("-0.02235, -0.02252, -0.02296, -0.02324, -0.02342, -0.02351, -0.02354, \
                  -0.02359, -0.02361, -0.02364");
        }
      }
    }

    pin(B) {
      capacitance : 0.009093 ;
      direction : input ;
      driver_waveform_rise : driver_waveform_default_rise ;
      driver_waveform_fall : driver_waveform_default_fall ;
      input_voltage : default ;
      max_transition : 15.6 ;
      related_ground_pin : VSS ;
      related_power_pin : VDD ;

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

        fall_power(pwr_tin_10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          values("0.0247, 0.02575, 0.02596, 0.02598, 0.02601, 0.02596, 0.02585, \
                  0.02565, 0.02535, 0.02462");
        }

        rise_power(pwr_tin_10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          values("-0.02146, -0.0215, -0.02139, -0.02136, -0.02136, -0.02134, -0.02133, \
                  -0.02134, -0.02132, -0.02131");
        }
      }

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

        fall_power(pwr_tin_10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          values("0.0246, 0.02243, 0.02151, 0.0214, 0.02142, 0.02138, 0.02137, 0.02137, \
                  0.02135, 0.02135");
        }

        rise_power(pwr_tin_10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          values("-0.02145, -0.02147, -0.02143, -0.02143, -0.0214, -0.02138, -0.02135, \
                  -0.02135, -0.02133, -0.0213");
        }
      }

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

        fall_power(pwr_tin_10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          values("0.0215, 0.02153, 0.02147, 0.02141, 0.0214, 0.02138, 0.02136, 0.02132, \
                  0.0213, 0.02127");
        }

        rise_power(pwr_tin_10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          values("-0.02124, -0.02127, -0.02125, -0.02126, -0.02133, -0.02138, -0.02148, \
                  -0.02161, -0.02178, -0.02197");
        }
      }

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

        fall_power(pwr_tin_10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          values("0.02159, 0.02159, 0.02151, 0.02141, 0.0214, 0.02138, 0.02137, \
                  0.02136, 0.02134, 0.0213");
        }

        rise_power(pwr_tin_10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          values("-0.02124, -0.02126, -0.02125, -0.02125, -0.02133, -0.02138, -0.02147, \
                  -0.02159, -0.02175, -0.02195");
        }
      }

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

        fall_power(pwr_tin_10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          values("0.02159, 0.02159, 0.02149, 0.02143, 0.0214, 0.02137, 0.02138, \
                  0.02137, 0.02134, 0.0213");
        }

        rise_power(pwr_tin_10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          values("-0.02127, -0.02131, -0.02128, -0.02129, -0.02136, -0.02141, -0.0215, \
                  -0.02162, -0.02179, -0.02198");
        }
      }
    }

    pin(C) {
      capacitance : 0.008549 ;
      direction : input ;
      driver_waveform_rise : driver_waveform_default_rise ;
      driver_waveform_fall : driver_waveform_default_fall ;
      input_voltage : default ;
      max_transition : 15.6 ;
      related_ground_pin : VSS ;
      related_power_pin : VDD ;

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

        fall_power(pwr_tin_10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          values("0.02144, 0.0215, 0.02146, 0.02139, 0.02139, 0.02138, 0.02138, \
                  0.02139, 0.02138, 0.02138");
        }

        rise_power(pwr_tin_10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          values("-0.02149, -0.02148, -0.02138, -0.02135, -0.02135, -0.02134, -0.02133, \
                  -0.02132, -0.02131, -0.0213");
        }
      }

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

        fall_power(pwr_tin_10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          values("0.02165, 0.02153, 0.02148, 0.02142, 0.02143, 0.02138, 0.02137, \
                  0.02137, 0.02136, 0.02135");
        }

        rise_power(pwr_tin_10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          values("-0.02148, -0.02148, -0.02147, -0.02142, -0.0214, -0.02138, -0.02136, \
                  -0.02134, -0.02135, -0.02132");
        }
      }

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

        fall_power(pwr_tin_10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          values("0.02147, 0.02149, 0.02145, 0.02141, 0.0214, 0.0214, 0.02139, 0.02138, \
                  0.02137, 0.02137");
        }

        rise_power(pwr_tin_10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          values("-0.0215, -0.02148, -0.02142, -0.02136, -0.02137, -0.02135, -0.02134, \
                  -0.02134, -0.02131, -0.02132");
        }
      }

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

        fall_power(pwr_tin_10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          values("0.02147, 0.02157, 0.02151, 0.02143, 0.02141, 0.0214, 0.02138, \
                  0.0214, 0.02138, 0.02138");
        }

        rise_power(pwr_tin_10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          values("-0.02151, -0.02149, -0.02142, -0.02135, -0.02137, -0.02136, -0.02133, \
                  -0.02132, -0.02131, -0.02129");
        }
      }

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

        fall_power(pwr_tin_10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          values("0.02146, 0.02157, 0.02149, 0.02143, 0.0214, 0.02139, 0.0214, 0.02139, \
                  0.02138, 0.02138");
        }

        rise_power(pwr_tin_10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          values("-0.02151, -0.02148, -0.02142, -0.02136, -0.02137, -0.02136, -0.02133, \
                  -0.02132, -0.02135, -0.0213");
        }
      }
    }

    pin(ZN) {
      direction : output ;
      function : "(((!A1)&(!A2))|(!B)|(!C))" ;
      max_capacitance : 0.3005 ;
      max_transition : 15.6 ;
      min_capacitance : 0.001 ;
      output_voltage : default ;
      related_ground_pin : VSS ;
      related_power_pin : VDD ;

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.003067, 0.01032, 0.02418, 0.04577, 0.07605, 0.1159, 0.1661, 0.2274, 0.3005");
          values("0.01407, 0.0141, 0.01418, 0.01424, 0.01428, 0.01431, 0.01433, 0.01435, 0.01435, 0.01434",\
                 "0.01408, 0.01422, 0.01463, 0.01498, 0.0152, 0.01535, 0.01542, 0.01549, 0.01552, 0.01553",\
                 "0.01422, 0.01441, 0.01487, 0.01539, 0.01576, 0.01603, 0.01621, 0.01633, 0.01639, 0.01644",\
                 "0.0176, 0.01748, 0.01732, 0.01722, 0.01715, 0.0171, 0.01707, 0.01705, 0.01702, 0.01698",\
                 "0.02653, 0.02597, 0.02457, 0.02304, 0.0217, 0.02066, 0.01989, 0.01928, 0.01882, 0.01845",\
                 "0.04223, 0.04113, 0.03818, 0.03453, 0.03122, 0.02845, 0.02625, 0.02449, 0.0231, 0.02199",\
                 "0.06512, 0.06354, 0.05898, 0.05293, 0.04706, 0.04185, 0.03754, 0.03406, 0.03118, 0.02878",\
                 "0.09554, 0.09356, 0.08751, 0.07896, 0.07008, 0.06201, 0.05502, 0.04912, 0.0442, 0.03993",\
                 "0.1339, 0.1315, 0.1241, 0.1132, 0.1012, 0.08975, 0.07972, 0.07088, 0.06325, 0.05639",\
                 "0.1804, 0.1776, 0.1691, 0.156, 0.1409, 0.1259, 0.1122, 0.1001, 0.08913, 0.07889");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.003067, 0.01032, 0.02418, 0.04577, 0.07605, 0.1159, 0.1661, 0.2274, 0.3005");
          values("0.1071, 0.1073, 0.1078, 0.1081, 0.1086, 0.1088, 0.1093, 0.1112, 0.1273, 0.2034",\
                 "0.1058, 0.1062, 0.1074, 0.1086, 0.1095, 0.1102, 0.1108, 0.1129, 0.1298, 0.2067",\
                 "0.105, 0.1053, 0.1062, 0.1075, 0.109, 0.11, 0.1109, 0.1134, 0.1316, 0.2132",\
                 "0.1095, 0.1094, 0.109, 0.109, 0.1095, 0.1102, 0.111, 0.114, 0.1345, 0.2253",\
                 "0.1207, 0.12, 0.1183, 0.1163, 0.1146, 0.1138, 0.1138, 0.1168, 0.142, 0.2479",\
                 "0.1392, 0.138, 0.1346, 0.1305, 0.1267, 0.1232, 0.1213, 0.1243, 0.1586, 0.2885",\
                 "0.1654, 0.1637, 0.1589, 0.1524, 0.1459, 0.14, 0.1354, 0.1399, 0.191, 0.3577",\
                 "0.1997, 0.1976, 0.1915, 0.1827, 0.1732, 0.1646, 0.1582, 0.1695, 0.2535, 0.4697",\
                 "0.2427, 0.2402, 0.2328, 0.2218, 0.2094, 0.1977, 0.1927, 0.2286, 0.372, 0.632",\
                 "0.2947, 0.2918, 0.2832, 0.2704, 0.2554, 0.2417, 0.2547, 0.358, 0.5648, 0.7985");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.003067, 0.01032, 0.02418, 0.04577, 0.07605, 0.1159, 0.1661, 0.2274, 0.3005");
          values("0.033, 0.03299, 0.03298, 0.03298, 0.033, 0.03299, 0.03298, 0.03297, 0.03295, 0.03293",\
                 "0.03147, 0.0315, 0.03147, 0.03156, 0.03157, 0.0316, 0.03161, 0.03162, 0.0316, 0.03159",\
                 "0.03052, 0.03053, 0.03051, 0.03052, 0.03057, 0.03057, 0.03057, 0.03058, 0.03057, 0.03054",\
                 "0.0335, 0.03326, 0.03277, 0.03217, 0.03166, 0.03128, 0.03103, 0.03082, 0.03069, 0.03054",\
                 "0.043, 0.04238, 0.04061, 0.03849, 0.03659, 0.0351, 0.03393, 0.03309, 0.03244, 0.03192",\
                 "0.06022, 0.05907, 0.05573, 0.05141, 0.04725, 0.04373, 0.0409, 0.03872, 0.03698, 0.03562",\
                 "0.08593, 0.08426, 0.07924, 0.07234, 0.06518, 0.05878, 0.05347, 0.04918, 0.04575, 0.04291",\
                 "0.1206, 0.1184, 0.1118, 0.1021, 0.09161, 0.08181, 0.07319, 0.06598, 0.06005, 0.05504",\
                 "0.1645, 0.1618, 0.1537, 0.1415, 0.1274, 0.1136, 0.1013, 0.09045, 0.08118, 0.07314",\
                 "0.218, 0.215, 0.2056, 0.1908, 0.1733, 0.1554, 0.1387, 0.1236, 0.1104, 0.09816");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.003067, 0.01032, 0.02418, 0.04577, 0.07605, 0.1159, 0.1661, 0.2274, 0.3005");
          values("0.1242, 0.1244, 0.1247, 0.1251, 0.1254, 0.1259, 0.1263, 0.1282, 0.1445, 0.2213",\
                 "0.123, 0.1234, 0.1246, 0.1256, 0.1265, 0.1272, 0.1279, 0.1299, 0.147, 0.2252",\
                 "0.1201, 0.1205, 0.122, 0.1237, 0.1253, 0.1266, 0.1279, 0.1302, 0.1487, 0.2315",\
                 "0.1219, 0.1219, 0.1223, 0.1232, 0.1245, 0.1257, 0.127, 0.1301, 0.1512, 0.2422",\
                 "0.1315, 0.131, 0.1299, 0.1289, 0.1282, 0.1281, 0.1288, 0.1322, 0.1576, 0.2619",\
                 "0.1508, 0.1498, 0.1466, 0.143, 0.1401, 0.1374, 0.1359, 0.1392, 0.1721, 0.2972",\
                 "0.1802, 0.1784, 0.1735, 0.1666, 0.1603, 0.1551, 0.1508, 0.1547, 0.2008, 0.3579",\
                 "0.2196, 0.2173, 0.2106, 0.2009, 0.1907, 0.1818, 0.1753, 0.1833, 0.2547, 0.4559",\
                 "0.2689, 0.2662, 0.2581, 0.2458, 0.2321, 0.2189, 0.2113, 0.235, 0.355, 0.6025",\
                 "0.3286, 0.3256, 0.3162, 0.3017, 0.2845, 0.2681, 0.2681, 0.3382, 0.5248, 0.7795");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.003067, 0.01032, 0.02418, 0.04577, 0.07605, 0.1159, 0.1661, 0.2274, 0.3005");
          values("0.03452, 0.03453, 0.03458, 0.03462, 0.03469, 0.03472, 0.03473, 0.03473, 0.03475, 0.03468",\
                 "0.03371, 0.03377, 0.03401, 0.03423, 0.0344, 0.03451, 0.03458, 0.03462, 0.03463, 0.03463",\
                 "0.03209, 0.03226, 0.0327, 0.03324, 0.03369, 0.03398, 0.03419, 0.03432, 0.03441, 0.03443",\
                 "0.03234, 0.03242, 0.03267, 0.03305, 0.03342, 0.03374, 0.03396, 0.03414, 0.03426, 0.0343",\
                 "0.03825, 0.03799, 0.03744, 0.03681, 0.03637, 0.03597, 0.03568, 0.03545, 0.03529, 0.03511",\
                 "0.05205, 0.05145, 0.0496, 0.04729, 0.04497, 0.04302, 0.04143, 0.04016, 0.03911, 0.03825",\
                 "0.07514, 0.074, 0.07062, 0.06598, 0.06118, 0.05675, 0.053, 0.04988, 0.04731, 0.04514",\
                 "0.1079, 0.1063, 0.1013, 0.094, 0.08609, 0.07867, 0.07198, 0.06628, 0.06144, 0.05726",\
                 "0.1511, 0.1489, 0.1423, 0.1322, 0.1209, 0.1098, 0.09966, 0.09071, 0.08284, 0.07586",\
                 "0.2044, 0.2018, 0.1938, 0.1812, 0.1663, 0.1511, 0.1369, 0.1241, 0.1127, 0.1019");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.003067, 0.01032, 0.02418, 0.04577, 0.07605, 0.1159, 0.1661, 0.2274, 0.3005");
          values("0.1804, 0.1804, 0.1805, 0.1806, 0.1809, 0.1812, 0.1817, 0.1823, 0.1831, 0.1865",\
                 "0.1791, 0.1792, 0.1795, 0.1798, 0.1802, 0.1807, 0.1813, 0.1819, 0.1826, 0.1864",\
                 "0.1775, 0.1776, 0.1779, 0.1785, 0.1791, 0.1798, 0.1805, 0.1813, 0.1821, 0.1858",\
                 "0.1816, 0.1814, 0.1809, 0.1804, 0.1804, 0.1805, 0.1809, 0.1816, 0.1824, 0.1869",\
                 "0.1937, 0.193, 0.1914, 0.189, 0.1871, 0.1857, 0.1847, 0.1847, 0.1849, 0.1906",\
                 "0.2147, 0.2137, 0.2102, 0.2057, 0.2014, 0.1976, 0.1945, 0.1924, 0.1918, 0.1996",\
                 "0.2449, 0.2435, 0.2389, 0.2318, 0.2243, 0.2176, 0.2115, 0.2069, 0.2053, 0.2191",\
                 "0.285, 0.2831, 0.2774, 0.2683, 0.2575, 0.247, 0.2377, 0.2299, 0.229, 0.2605",\
                 "0.3352, 0.3331, 0.3262, 0.3152, 0.3016, 0.2869, 0.2736, 0.2648, 0.276, 0.3577",\
                 "0.3956, 0.3933, 0.3858, 0.3732, 0.3567, 0.3388, 0.3219, 0.3245, 0.3985, 0.6004");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.003067, 0.01032, 0.02418, 0.04577, 0.07605, 0.1159, 0.1661, 0.2274, 0.3005");
          values("0.01506, 0.0151, 0.01517, 0.01522, 0.01525, 0.01529, 0.01531, 0.01532, 0.01533, 0.01532",\
                 "0.01397, 0.01411, 0.01446, 0.01476, 0.01496, 0.01508, 0.01515, 0.0152, 0.01524, 0.01527",\
                 "0.01189, 0.01216, 0.01287, 0.0136, 0.01418, 0.01451, 0.01474, 0.01491, 0.01501, 0.01505",\
                 "0.01245, 0.01257, 0.01291, 0.0134, 0.01387, 0.01425, 0.01453, 0.01472, 0.01486, 0.01496",\
                 "0.01952, 0.01919, 0.01843, 0.0176, 0.01704, 0.01661, 0.01633, 0.01611, 0.01596, 0.0158",\
                 "0.03504, 0.03416, 0.03179, 0.02889, 0.02618, 0.02402, 0.0223, 0.02094, 0.01989, 0.01901",\
                 "0.06017, 0.05861, 0.05434, 0.04872, 0.04318, 0.03831, 0.03426, 0.03098, 0.02829, 0.02608",\
                 "0.09499, 0.09289, 0.08676, 0.07812, 0.06915, 0.06093, 0.05378, 0.04774, 0.04274, 0.03841",\
                 "0.1399, 0.1373, 0.1294, 0.1178, 0.1051, 0.09291, 0.08209, 0.07267, 0.06453, 0.0574",\
                 "0.1947, 0.1917, 0.1823, 0.168, 0.1516, 0.1352, 0.1201, 0.1067, 0.09487, 0.08386");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.003067, 0.01032, 0.02418, 0.04577, 0.07605, 0.1159, 0.1661, 0.2274, 0.3005");
          values("0.1637, 0.1637, 0.1638, 0.1639, 0.1642, 0.1645, 0.1651, 0.1658, 0.1662, 0.1691",\
                 "0.1624, 0.1626, 0.1627, 0.1631, 0.1635, 0.164, 0.1646, 0.1654, 0.1658, 0.1689",\
                 "0.1607, 0.1608, 0.1612, 0.1617, 0.1624, 0.1631, 0.1639, 0.1644, 0.1654, 0.1685",\
                 "0.1649, 0.1647, 0.1641, 0.1637, 0.1636, 0.1638, 0.1643, 0.1649, 0.1655, 0.1689",\
                 "0.177, 0.1763, 0.1744, 0.1724, 0.1703, 0.1689, 0.168, 0.1678, 0.1679, 0.173",\
                 "0.1981, 0.197, 0.1935, 0.1889, 0.1847, 0.1808, 0.1775, 0.1755, 0.1747, 0.1818",\
                 "0.2283, 0.2268, 0.2222, 0.2151, 0.2076, 0.2009, 0.1949, 0.1899, 0.1879, 0.2003",\
                 "0.2684, 0.2665, 0.2608, 0.2516, 0.2408, 0.2301, 0.2211, 0.2131, 0.2113, 0.2402",\
                 "0.3186, 0.3165, 0.3096, 0.2985, 0.2848, 0.2703, 0.2569, 0.2472, 0.2563, 0.3349",\
                 "0.379, 0.3766, 0.3691, 0.3563, 0.3402, 0.3222, 0.3052, 0.3047, 0.375, 0.5776");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.003067, 0.01032, 0.02418, 0.04577, 0.07605, 0.1159, 0.1661, 0.2274, 0.3005");
          values("0.01505, 0.01509, 0.01516, 0.01523, 0.01525, 0.01528, 0.0153, 0.01531, 0.01532, 0.01532",\
                 "0.01397, 0.01413, 0.01448, 0.01477, 0.01496, 0.01508, 0.01515, 0.0152, 0.01524, 0.01525",\
                 "0.01199, 0.01221, 0.01289, 0.01362, 0.01414, 0.01451, 0.01474, 0.01489, 0.015, 0.01506",\
                 "0.01267, 0.01278, 0.01311, 0.01357, 0.01401, 0.01436, 0.01463, 0.01479, 0.01492, 0.015",\
                 "0.02005, 0.01972, 0.01894, 0.01805, 0.01744, 0.01696, 0.01661, 0.01632, 0.01612, 0.01595",\
                 "0.03595, 0.03508, 0.03268, 0.02971, 0.02691, 0.0246, 0.02279, 0.02138, 0.02024, 0.01934",\
                 "0.06138, 0.05986, 0.05555, 0.04986, 0.04417, 0.0392, 0.03502, 0.03165, 0.02889, 0.02665",\
                 "0.09652, 0.0944, 0.0883, 0.07957, 0.07043, 0.06214, 0.0549, 0.04871, 0.04357, 0.03929",\
                 "0.1415, 0.139, 0.1311, 0.1196, 0.1067, 0.09445, 0.08341, 0.07396, 0.06575, 0.05866",\
                 "0.1967, 0.1937, 0.1844, 0.1701, 0.1536, 0.137, 0.1218, 0.1084, 0.09643, 0.08567");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.003067, 0.01032, 0.02418, 0.04577, 0.07605, 0.1159, 0.1661, 0.2274, 0.3005");
          values("0.1782, 0.1781, 0.1782, 0.1784, 0.1786, 0.1789, 0.1794, 0.1802, 0.1805, 0.1837",\
                 "0.1772, 0.1773, 0.1777, 0.178, 0.1785, 0.179, 0.1795, 0.1799, 0.1808, 0.1838",\
                 "0.1755, 0.1756, 0.176, 0.1767, 0.1774, 0.1782, 0.1788, 0.1796, 0.1806, 0.184",\
                 "0.1794, 0.1792, 0.1788, 0.1786, 0.1784, 0.1789, 0.1793, 0.18, 0.1807, 0.1846",\
                 "0.1912, 0.1907, 0.1892, 0.1872, 0.1853, 0.184, 0.1833, 0.183, 0.1834, 0.1882",\
                 "0.212, 0.2111, 0.2081, 0.204, 0.1999, 0.1962, 0.1933, 0.1913, 0.1904, 0.1974",\
                 "0.2422, 0.2408, 0.2365, 0.2302, 0.2231, 0.2168, 0.2111, 0.2062, 0.2039, 0.2166",\
                 "0.282, 0.2803, 0.2752, 0.2668, 0.2567, 0.2466, 0.2378, 0.2301, 0.2283, 0.2577",\
                 "0.3322, 0.3302, 0.324, 0.3136, 0.3008, 0.2873, 0.2743, 0.2651, 0.2745, 0.3546",\
                 "0.3926, 0.3905, 0.3835, 0.3717, 0.3565, 0.3398, 0.3233, 0.3241, 0.3969, 0.6017");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.003067, 0.01032, 0.02418, 0.04577, 0.07605, 0.1159, 0.1661, 0.2274, 0.3005");
          values("0.03451, 0.03453, 0.0346, 0.03466, 0.0347, 0.03471, 0.03473, 0.03474, 0.03473, 0.03468",\
                 "0.03368, 0.03378, 0.03401, 0.03426, 0.03444, 0.03456, 0.0346, 0.03466, 0.03468, 0.03465",\
                 "0.03204, 0.03221, 0.03267, 0.0332, 0.03368, 0.03399, 0.03421, 0.03434, 0.03441, 0.03445",\
                 "0.03185, 0.03196, 0.03227, 0.03279, 0.03324, 0.03361, 0.03389, 0.03409, 0.03421, 0.03428",\
                 "0.03728, 0.03712, 0.03672, 0.0363, 0.03599, 0.03575, 0.03554, 0.03539, 0.03524, 0.0351",\
                 "0.05099, 0.05045, 0.04885, 0.0468, 0.04477, 0.04302, 0.04155, 0.04036, 0.03936, 0.03853",\
                 "0.07454, 0.0735, 0.07037, 0.06607, 0.06161, 0.05751, 0.05392, 0.05091, 0.04837, 0.04618",\
                 "0.1087, 0.1071, 0.1024, 0.09551, 0.08799, 0.08073, 0.07429, 0.0687, 0.06386, 0.05961",\
                 "0.154, 0.152, 0.1456, 0.1359, 0.1249, 0.114, 0.104, 0.09515, 0.08729, 0.08029",\
                 "0.2107, 0.2082, 0.2002, 0.1879, 0.1733, 0.1583, 0.1442, 0.1314, 0.1199, 0.1092");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.003067, 0.01032, 0.02418, 0.04577, 0.07605, 0.1159, 0.1661, 0.2274, 0.3005");
          values("0.2044, 0.2044, 0.2044, 0.2046, 0.2049, 0.2052, 0.2057, 0.2063, 0.2071, 0.2103",\
                 "0.2024, 0.2024, 0.2025, 0.2027, 0.203, 0.2034, 0.2038, 0.2045, 0.2053, 0.2086",\
                 "0.2015, 0.2015, 0.2016, 0.2018, 0.2021, 0.2025, 0.203, 0.2037, 0.2046, 0.2083",\
                 "0.2062, 0.2059, 0.2052, 0.2045, 0.204, 0.2039, 0.204, 0.2042, 0.205, 0.2094",\
                 "0.2187, 0.2181, 0.2162, 0.2137, 0.2113, 0.2095, 0.2083, 0.2077, 0.2079, 0.2134",\
                 "0.2408, 0.2396, 0.2362, 0.2314, 0.2266, 0.2219, 0.2186, 0.216, 0.215, 0.2232",\
                 "0.2728, 0.2713, 0.2666, 0.2591, 0.251, 0.2435, 0.2369, 0.2314, 0.2295, 0.2437",\
                 "0.3156, 0.3136, 0.3075, 0.2979, 0.2863, 0.2747, 0.2648, 0.2559, 0.2548, 0.2865",\
                 "0.3692, 0.367, 0.3599, 0.3482, 0.3334, 0.3176, 0.303, 0.2928, 0.3037, 0.3876",\
                 "0.4342, 0.4319, 0.4237, 0.4101, 0.3923, 0.3726, 0.3551, 0.3573, 0.433, 0.6366");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.003067, 0.01032, 0.02418, 0.04577, 0.07605, 0.1159, 0.1661, 0.2274, 0.3005");
          values("0.01507, 0.0151, 0.01517, 0.01524, 0.01527, 0.01529, 0.01532, 0.01532, 0.01533, 0.01532",\
                 "0.01398, 0.01412, 0.01449, 0.0148, 0.01499, 0.01511, 0.01518, 0.01525, 0.01526, 0.01527",\
                 "0.01181, 0.0121, 0.0128, 0.01359, 0.01413, 0.01449, 0.01474, 0.0149, 0.015, 0.01506",\
                 "0.01186, 0.01199, 0.01246, 0.0131, 0.01364, 0.01411, 0.01445, 0.01468, 0.01481, 0.01492",\
                 "0.0183, 0.01806, 0.01751, 0.01696, 0.01662, 0.01637, 0.01618, 0.01603, 0.01591, 0.01579",\
                 "0.03353, 0.03276, 0.03073, 0.02824, 0.02592, 0.02398, 0.0224, 0.02114, 0.02013, 0.01928",\
                 "0.05898, 0.05756, 0.05375, 0.0486, 0.04352, 0.03899, 0.03515, 0.03195, 0.02933, 0.02709",\
                 "0.09515, 0.0932, 0.08747, 0.07936, 0.07079, 0.06292, 0.05605, 0.05014, 0.0451, 0.0408",\
                 "0.1424, 0.1399, 0.1323, 0.1212, 0.1089, 0.09705, 0.08636, 0.07706, 0.06895, 0.06176",\
                 "0.2007, 0.1978, 0.1886, 0.1746, 0.1584, 0.1423, 0.1273, 0.1139, 0.1021, 0.09117");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.003067, 0.01032, 0.02418, 0.04577, 0.07605, 0.1159, 0.1661, 0.2274, 0.3005");
          values("0.1877, 0.1877, 0.1877, 0.1879, 0.1881, 0.1885, 0.189, 0.1895, 0.1903, 0.1937",\
                 "0.1856, 0.1857, 0.1857, 0.186, 0.1863, 0.1866, 0.1871, 0.1879, 0.1883, 0.1918",\
                 "0.1848, 0.1848, 0.1849, 0.1851, 0.1854, 0.1859, 0.1863, 0.1871, 0.188, 0.1914",\
                 "0.1894, 0.1892, 0.1884, 0.1877, 0.1871, 0.187, 0.1871, 0.1875, 0.1882, 0.1924",\
                 "0.202, 0.2014, 0.1994, 0.197, 0.1945, 0.1927, 0.1915, 0.1909, 0.191, 0.1958",\
                 "0.2241, 0.223, 0.2195, 0.2145, 0.2098, 0.2053, 0.2019, 0.199, 0.1979, 0.2046",\
                 "0.2563, 0.2547, 0.2497, 0.2424, 0.2341, 0.2268, 0.2201, 0.2146, 0.2119, 0.2244",\
                 "0.299, 0.297, 0.291, 0.2811, 0.2697, 0.2581, 0.2478, 0.2391, 0.2366, 0.266",\
                 "0.3526, 0.3504, 0.3432, 0.3316, 0.3166, 0.301, 0.2864, 0.2757, 0.2844, 0.3643",\
                 "0.4177, 0.4154, 0.4071, 0.3935, 0.3758, 0.3564, 0.3377, 0.3367, 0.4092, 0.6144");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.003067, 0.01032, 0.02418, 0.04577, 0.07605, 0.1159, 0.1661, 0.2274, 0.3005");
          values("0.01507, 0.01509, 0.01517, 0.01524, 0.01526, 0.01529, 0.0153, 0.01531, 0.01532, 0.01532",\
                 "0.01399, 0.01412, 0.01448, 0.01479, 0.01499, 0.01512, 0.01517, 0.01523, 0.01526, 0.01527",\
                 "0.01185, 0.01213, 0.01284, 0.01358, 0.01416, 0.01451, 0.01475, 0.0149, 0.015, 0.01506",\
                 "0.01205, 0.01219, 0.01263, 0.0132, 0.01379, 0.0142, 0.01451, 0.01472, 0.01486, 0.01496",\
                 "0.01891, 0.01865, 0.01809, 0.01752, 0.01709, 0.01678, 0.01652, 0.01631, 0.01613, 0.01599",\
                 "0.03465, 0.03393, 0.03185, 0.02925, 0.02683, 0.02478, 0.02309, 0.02173, 0.02065, 0.01974",\
                 "0.06061, 0.05921, 0.05533, 0.05011, 0.04489, 0.04023, 0.03623, 0.03292, 0.03016, 0.02787",\
                 "0.09719, 0.09526, 0.08952, 0.08136, 0.07262, 0.06457, 0.05755, 0.05148, 0.04633, 0.04195",\
                 "0.1448, 0.1423, 0.1347, 0.1236, 0.1112, 0.09912, 0.08829, 0.07883, 0.07058, 0.06339",\
                 "0.2034, 0.2005, 0.1913, 0.1774, 0.1612, 0.1449, 0.1297, 0.1161, 0.104, 0.09329");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.003067, 0.01032, 0.02418, 0.04577, 0.07605, 0.1159, 0.1661, 0.2274, 0.3005");
          values("0.2021, 0.2022, 0.2022, 0.2023, 0.2026, 0.203, 0.2034, 0.2041, 0.2047, 0.2074",\
                 "0.2002, 0.2004, 0.2005, 0.2007, 0.201, 0.2013, 0.2018, 0.2023, 0.203, 0.2062",\
                 "0.1995, 0.1995, 0.1997, 0.1999, 0.2002, 0.2007, 0.2012, 0.202, 0.2026, 0.2056",\
                 "0.2041, 0.2039, 0.2033, 0.2026, 0.2022, 0.2021, 0.2019, 0.2023, 0.2033, 0.2072",\
                 "0.2165, 0.216, 0.2142, 0.212, 0.2096, 0.2078, 0.2067, 0.2061, 0.2061, 0.2111",\
                 "0.2384, 0.2374, 0.2343, 0.2299, 0.2254, 0.221, 0.2175, 0.2147, 0.2136, 0.2212",\
                 "0.2703, 0.269, 0.2645, 0.2578, 0.2502, 0.2431, 0.2364, 0.2311, 0.2277, 0.2409",\
                 "0.3129, 0.3111, 0.3057, 0.2967, 0.2859, 0.275, 0.2652, 0.2565, 0.2544, 0.2837",\
                 "0.3664, 0.3644, 0.3579, 0.3472, 0.3335, 0.3184, 0.3043, 0.2941, 0.3037, 0.3851",\
                 "0.4314, 0.4292, 0.4217, 0.4091, 0.3929, 0.3745, 0.3569, 0.3574, 0.432, 0.6393");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.003067, 0.01032, 0.02418, 0.04577, 0.07605, 0.1159, 0.1661, 0.2274, 0.3005");
          values("0.2178, 0.2503, 0.364, 0.5804, 0.9168, 1.389, 2.009, 2.79, 3.744, 4.882",\
                 "0.2431, 0.2756, 0.3901, 0.6075, 0.9443, 1.416, 2.038, 2.82, 3.774, 4.909",\
                 "0.3271, 0.3616, 0.4741, 0.6909, 1.029, 1.501, 2.122, 2.904, 3.857, 4.995",\
                 "0.4008, 0.4487, 0.601, 0.8489, 1.188, 1.658, 2.279, 3.06, 4.014, 5.15",\
                 "0.4343, 0.4955, 0.6886, 1.002, 1.414, 1.91, 2.528, 3.307, 4.259, 5.395",\
                 "0.4224, 0.4983, 0.7337, 1.111, 1.605, 2.198, 2.879, 3.662, 4.61, 5.743",\
                 "0.3594, 0.4489, 0.7316, 1.176, 1.751, 2.439, 3.228, 4.107, 5.079, 6.209",\
                 "0.2435, 0.3485, 0.6739, 1.189, 1.849, 2.631, 3.525, 4.523, 5.616, 6.8",\
                 "0.0716, 0.1892, 0.5596, 1.144, 1.894, 2.773, 3.77, 4.884, 6.103, 7.422",\
                 "-0.163, -0.0287, 0.3831, 1.038, 1.879, 2.858, 3.966, 5.19, 6.532, 7.984");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.003067, 0.01032, 0.02418, 0.04577, 0.07605, 0.1159, 0.1661, 0.2274, 0.3005");
          values("0.4209, 0.4804, 0.685, 1.073, 1.677, 2.522, 3.634, 5.036, 6.745, 8.784",\
                 "0.4425, 0.5031, 0.7122, 1.105, 1.711, 2.559, 3.673, 5.074, 6.784, 8.823",\
                 "0.545, 0.6042, 0.8116, 1.206, 1.815, 2.665, 3.78, 5.184, 6.895, 8.936",\
                 "0.7562, 0.8226, 1.034, 1.42, 2.024, 2.872, 3.987, 5.39, 7.101, 9.141",\
                 "1.017, 1.097, 1.354, 1.78, 2.377, 3.216, 4.324, 5.722, 7.43, 9.47",\
                 "1.336, 1.428, 1.722, 2.219, 2.887, 3.724, 4.82, 6.211, 7.913, 9.944",\
                 "1.717, 1.823, 2.155, 2.711, 3.469, 4.396, 5.498, 6.874, 8.565, 10.59",\
                 "2.159, 2.279, 2.658, 3.273, 4.108, 5.143, 6.348, 7.734, 9.409, 11.42",\
                 "2.666, 2.8, 3.228, 3.908, 4.818, 5.945, 7.274, 8.774, 10.46, 12.46",\
                 "3.233, 3.384, 3.865, 4.621, 5.61, 6.823, 8.261, 9.897, 11.71, 13.72");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.003067, 0.01032, 0.02418, 0.04577, 0.07605, 0.1159, 0.1661, 0.2274, 0.3005");
          values("0.3576, 0.4155, 0.6154, 0.991, 1.572, 2.385, 3.452, 4.804, 6.449, 8.409",\
                 "0.3547, 0.4143, 0.6155, 0.9907, 1.572, 2.386, 3.454, 4.801, 6.447, 8.409",\
                 "0.3784, 0.4265, 0.6096, 0.9877, 1.57, 2.385, 3.455, 4.802, 6.447, 8.399",\
                 "0.5084, 0.5648, 0.7454, 1.059, 1.577, 2.384, 3.453, 4.801, 6.443, 8.398",\
                 "0.6868, 0.7478, 0.9512, 1.301, 1.792, 2.468, 3.461, 4.803, 6.448, 8.398",\
                 "0.9048, 0.977, 1.208, 1.593, 2.137, 2.826, 3.685, 4.867, 6.45, 8.404",\
                 "1.151, 1.238, 1.506, 1.936, 2.525, 3.277, 4.182, 5.253, 6.645, 8.442",\
                 "1.425, 1.524, 1.842, 2.33, 2.969, 3.778, 4.756, 5.895, 7.198, 8.816",\
                 "1.717, 1.838, 2.202, 2.764, 3.476, 4.337, 5.38, 6.598, 7.98, 9.532",\
                 "2.042, 2.176, 2.593, 3.228, 4.02, 4.956, 6.054, 7.348, 8.822, 10.47");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.003067, 0.01032, 0.02418, 0.04577, 0.07605, 0.1159, 0.1661, 0.2274, 0.3005");
          values("0.6271, 0.7275, 1.08, 1.755, 2.807, 4.272, 6.214, 8.651, 11.64, 15.19",\
                 "0.6265, 0.7275, 1.082, 1.755, 2.804, 4.277, 6.216, 8.659, 11.65, 15.2",\
                 "0.6241, 0.7258, 1.08, 1.756, 2.808, 4.28, 6.213, 8.658, 11.64, 15.19",\
                 "0.739, 0.821, 1.116, 1.756, 2.807, 4.281, 6.212, 8.66, 11.63, 15.19",\
                 "0.8952, 0.9996, 1.327, 1.879, 2.821, 4.278, 6.223, 8.662, 11.64, 15.18",\
                 "1.08, 1.194, 1.558, 2.186, 3.043, 4.332, 6.219, 8.661, 11.64, 15.17",\
                 "1.305, 1.424, 1.811, 2.501, 3.456, 4.646, 6.329, 8.673, 11.64, 15.2",\
                 "1.565, 1.692, 2.111, 2.835, 3.879, 5.181, 6.737, 8.85, 11.67, 15.2",\
                 "1.856, 1.998, 2.448, 3.214, 4.314, 5.732, 7.388, 9.348, 11.92, 15.25",\
                 "2.168, 2.328, 2.826, 3.638, 4.782, 6.284, 8.096, 10.12, 12.52, 15.58");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.003067, 0.01032, 0.02418, 0.04577, 0.07605, 0.1159, 0.1661, 0.2274, 0.3005");
          values("0.2967, 0.3311, 0.4494, 0.6704, 1.01, 1.484, 2.105, 2.888, 3.842, 4.978",\
                 "0.3166, 0.3511, 0.4696, 0.6907, 1.031, 1.504, 2.126, 2.908, 3.862, 4.999",\
                 "0.3991, 0.432, 0.5484, 0.7694, 1.109, 1.583, 2.205, 2.987, 3.941, 5.077",\
                 "0.5097, 0.5534, 0.6947, 0.93, 1.267, 1.74, 2.361, 3.142, 4.095, 5.231",\
                 "0.5866, 0.6413, 0.817, 1.111, 1.506, 1.993, 2.611, 3.39, 4.34, 5.475",\
                 "0.6286, 0.6941, 0.9058, 1.256, 1.725, 2.3, 2.966, 3.746, 4.693, 5.824",\
                 "0.6337, 0.7113, 0.958, 1.365, 1.906, 2.567, 3.336, 4.201, 5.166, 6.293",\
                 "0.5992, 0.6898, 0.9721, 1.436, 2.05, 2.796, 3.662, 4.638, 5.715, 6.888",\
                 "0.5284, 0.6259, 0.9431, 1.466, 2.154, 2.985, 3.944, 5.028, 6.224, 7.526",\
                 "0.4146, 0.522, 0.8741, 1.451, 2.217, 3.134, 4.188, 5.371, 6.685, 8.115");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.003067, 0.01032, 0.02418, 0.04577, 0.07605, 0.1159, 0.1661, 0.2274, 0.3005");
          values("0.5036, 0.5622, 0.7668, 1.155, 1.758, 2.603, 3.716, 5.117, 6.826, 8.865",\
                 "0.532, 0.5926, 0.8019, 1.194, 1.8, 2.647, 3.761, 5.162, 6.873, 8.911",\
                 "0.61, 0.6707, 0.8812, 1.278, 1.888, 2.739, 3.856, 5.26, 6.971, 9.011",\
                 "0.7425, 0.8083, 1.026, 1.419, 2.028, 2.88, 3.996, 5.401, 7.114, 9.154",\
                 "0.9158, 0.9879, 1.229, 1.653, 2.262, 3.107, 4.22, 5.621, 7.333, 9.372",\
                 "1.146, 1.227, 1.489, 1.944, 2.6, 3.454, 4.556, 5.949, 7.656, 9.688",\
                 "1.427, 1.519, 1.81, 2.301, 2.996, 3.905, 5.026, 6.409, 8.103, 10.13",\
                 "1.753, 1.858, 2.187, 2.725, 3.462, 4.418, 5.601, 7.009, 8.688, 10.7",\
                 "2.121, 2.239, 2.61, 3.205, 4, 5.003, 6.239, 7.715, 9.43, 11.43",\
                 "2.531, 2.664, 3.079, 3.739, 4.602, 5.666, 6.953, 8.489, 10.28, 12.32");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.003067, 0.01032, 0.02418, 0.04577, 0.07605, 0.1159, 0.1661, 0.2274, 0.3005");
          values("0.4629, 0.5197, 0.7175, 1.091, 1.672, 2.484, 3.551, 4.897, 6.539, 8.497",\
                 "0.4614, 0.5187, 0.717, 1.09, 1.671, 2.484, 3.55, 4.897, 6.539, 8.496",\
                 "0.4578, 0.5109, 0.7079, 1.09, 1.672, 2.483, 3.551, 4.897, 6.539, 8.494",\
                 "0.5866, 0.6412, 0.8188, 1.137, 1.672, 2.484, 3.551, 4.897, 6.537, 8.493",\
                 "0.7682, 0.8304, 1.029, 1.375, 1.861, 2.55, 3.555, 4.894, 6.538, 8.493",\
                 "0.9928, 1.061, 1.286, 1.668, 2.206, 2.89, 3.761, 4.953, 6.541, 8.495",\
                 "1.251, 1.332, 1.587, 2.008, 2.593, 3.343, 4.246, 5.321, 6.721, 8.533",\
                 "1.54, 1.637, 1.931, 2.4, 3.028, 3.836, 4.814, 5.954, 7.261, 8.881",\
                 "1.857, 1.967, 2.31, 2.842, 3.53, 4.382, 5.428, 6.65, 8.036, 9.594",\
                 "2.198, 2.325, 2.72, 3.322, 4.086, 4.996, 6.092, 7.388, 8.87, 10.52");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.003067, 0.01032, 0.02418, 0.04577, 0.07605, 0.1159, 0.1661, 0.2274, 0.3005");
          values("0.6269, 0.7281, 1.082, 1.756, 2.806, 4.277, 6.212, 8.66, 11.65, 15.19",\
                 "0.6275, 0.7283, 1.082, 1.755, 2.802, 4.279, 6.221, 8.664, 11.64, 15.2",\
                 "0.6295, 0.7286, 1.081, 1.755, 2.804, 4.276, 6.216, 8.653, 11.65, 15.19",\
                 "0.7256, 0.8132, 1.122, 1.758, 2.807, 4.281, 6.214, 8.663, 11.63, 15.2",\
                 "0.8584, 0.9532, 1.282, 1.874, 2.836, 4.274, 6.218, 8.662, 11.64, 15.17",\
                 "1.04, 1.132, 1.464, 2.093, 3.021, 4.356, 6.221, 8.657, 11.63, 15.2",\
                 "1.268, 1.368, 1.701, 2.331, 3.304, 4.608, 6.354, 8.684, 11.63, 15.17",\
                 "1.528, 1.636, 1.993, 2.627, 3.611, 4.965, 6.677, 8.876, 11.68, 15.21",\
                 "1.81, 1.934, 2.32, 2.986, 3.966, 5.342, 7.118, 9.272, 11.96, 15.3",\
                 "2.114, 2.246, 2.676, 3.39, 4.394, 5.766, 7.574, 9.804, 12.42, 15.61");
        }
      }

      timing() {
        related_pin : "B" ;
        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.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.003067, 0.01032, 0.02418, 0.04577, 0.07605, 0.1159, 0.1661, 0.2274, 0.3005");
          values("0.4285, 0.4629, 0.5811, 0.802, 1.142, 1.616, 2.237, 3.019, 3.974, 5.11",\
                 "0.4508, 0.4855, 0.6042, 0.8257, 1.166, 1.64, 2.262, 3.044, 3.999, 5.135",\
                 "0.5157, 0.5505, 0.6699, 0.8925, 1.234, 1.709, 2.331, 3.114, 4.067, 5.204",\
                 "0.592, 0.6324, 0.7661, 1, 1.343, 1.818, 2.441, 3.223, 4.178, 5.315",\
                 "0.6462, 0.6942, 0.852, 1.122, 1.5, 1.99, 2.612, 3.395, 4.348, 5.485",\
                 "0.6652, 0.7239, 0.9117, 1.225, 1.653, 2.194, 2.853, 3.641, 4.593, 5.729",\
                 "0.6419, 0.7109, 0.932, 1.297, 1.785, 2.386, 3.105, 3.947, 4.92, 6.055",\
                 "0.5719, 0.6518, 0.9074, 1.327, 1.882, 2.555, 3.341, 4.251, 5.29, 6.466",\
                 "0.458, 0.5475, 0.8343, 1.31, 1.936, 2.687, 3.552, 4.537, 5.649, 6.897",\
                 "0.2946, 0.3931, 0.7131, 1.243, 1.94, 2.773, 3.727, 4.797, 5.99, 7.316");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.003067, 0.01032, 0.02418, 0.04577, 0.07605, 0.1159, 0.1661, 0.2274, 0.3005");
          values("0.3787, 0.4127, 0.5304, 0.7508, 1.091, 1.564, 2.185, 2.966, 3.919, 5.055",\
                 "0.4113, 0.4456, 0.564, 0.785, 1.125, 1.599, 2.22, 3.002, 3.955, 5.09",\
                 "0.5354, 0.5698, 0.6884, 0.9101, 1.251, 1.725, 2.347, 3.129, 4.083, 5.218",\
                 "0.776, 0.8153, 0.9425, 1.163, 1.502, 1.975, 2.596, 3.377, 4.33, 5.465",\
                 "1.058, 1.108, 1.272, 1.544, 1.906, 2.377, 2.993, 3.773, 4.723, 5.858",\
                 "1.384, 1.443, 1.636, 1.966, 2.409, 2.942, 3.565, 4.339, 5.285, 6.415",\
                 "1.759, 1.828, 2.052, 2.43, 2.946, 3.576, 4.294, 5.094, 6.036, 7.161",\
                 "2.187, 2.266, 2.522, 2.95, 3.531, 4.248, 5.077, 5.994, 6.986, 8.111",\
                 "2.669, 2.759, 3.048, 3.529, 4.177, 4.971, 5.898, 6.937, 8.066, 9.265",\
                 "3.205, 3.306, 3.632, 4.171, 4.885, 5.758, 6.774, 7.925, 9.183, 10.53");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.003067, 0.01032, 0.02418, 0.04577, 0.07605, 0.1159, 0.1661, 0.2274, 0.3005");
          values("0.4624, 0.5188, 0.7174, 1.09, 1.671, 2.484, 3.551, 4.898, 6.536, 8.495",\
                 "0.4611, 0.5187, 0.7168, 1.091, 1.67, 2.485, 3.551, 4.898, 6.54, 8.494",\
                 "0.4662, 0.5212, 0.716, 1.09, 1.672, 2.484, 3.55, 4.897, 6.539, 8.495",\
                 "0.566, 0.6174, 0.7952, 1.127, 1.676, 2.482, 3.55, 4.897, 6.537, 8.495",\
                 "0.7204, 0.7742, 0.9574, 1.296, 1.805, 2.537, 3.559, 4.897, 6.539, 8.494",\
                 "0.9356, 0.9914, 1.18, 1.528, 2.049, 2.767, 3.703, 4.95, 6.546, 8.495",\
                 "1.197, 1.259, 1.467, 1.827, 2.358, 3.085, 4.026, 5.199, 6.683, 8.54",\
                 "1.488, 1.563, 1.795, 2.184, 2.734, 3.476, 4.429, 5.615, 7.037, 8.783",\
                 "1.801, 1.883, 2.152, 2.589, 3.184, 3.948, 4.907, 6.116, 7.554, 9.252",\
                 "2.131, 2.225, 2.528, 3.021, 3.676, 4.478, 5.476, 6.68, 8.15, 9.862");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.003067, 0.01032, 0.02418, 0.04577, 0.07605, 0.1159, 0.1661, 0.2274, 0.3005");
          values("0.6013, 0.6624, 0.8738, 1.27, 1.877, 2.718, 3.814, 5.196, 6.875, 8.882",\
                 "0.6018, 0.6626, 0.8737, 1.27, 1.877, 2.718, 3.817, 5.196, 6.876, 8.884",\
                 "0.6014, 0.6621, 0.8737, 1.27, 1.878, 2.718, 3.816, 5.193, 6.878, 8.882",\
                 "0.7338, 0.7784, 0.9412, 1.286, 1.877, 2.718, 3.817, 5.195, 6.877, 8.882",\
                 "0.9762, 1.033, 1.217, 1.516, 1.984, 2.736, 3.816, 5.196, 6.879, 8.881",\
                 "1.23, 1.297, 1.516, 1.884, 2.367, 2.986, 3.903, 5.207, 6.879, 8.882",\
                 "1.513, 1.587, 1.83, 2.254, 2.83, 3.507, 4.309, 5.415, 6.93, 8.888",\
                 "1.824, 1.908, 2.175, 2.642, 3.287, 4.081, 4.971, 5.98, 7.288, 9.024",\
                 "2.162, 2.257, 2.554, 3.059, 3.762, 4.644, 5.666, 6.788, 8.012, 9.544",\
                 "2.53, 2.632, 2.964, 3.516, 4.276, 5.224, 6.36, 7.622, 8.98, 10.44");
        }
      }

      timing() {
        related_pin : "B" ;
        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.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.003067, 0.01032, 0.02418, 0.04577, 0.07605, 0.1159, 0.1661, 0.2274, 0.3005");
          values("0.3465, 0.3793, 0.4929, 0.709, 1.045, 1.517, 2.138, 2.918, 3.871, 5.01",\
                 "0.3681, 0.4013, 0.5159, 0.7325, 1.069, 1.541, 2.162, 2.943, 3.898, 5.035",\
                 "0.4287, 0.4632, 0.5802, 0.7986, 1.137, 1.609, 2.231, 3.014, 3.967, 5.103",\
                 "0.4808, 0.5233, 0.6626, 0.9022, 1.245, 1.718, 2.34, 3.122, 4.076, 5.215",\
                 "0.5037, 0.5568, 0.7261, 1.007, 1.394, 1.889, 2.511, 3.292, 4.247, 5.382",\
                 "0.4853, 0.5514, 0.7586, 1.091, 1.532, 2.083, 2.748, 3.539, 4.491, 5.626",\
                 "0.4246, 0.5025, 0.7491, 1.139, 1.648, 2.262, 2.99, 3.839, 4.817, 5.952",\
                 "0.3205, 0.4109, 0.6938, 1.145, 1.726, 2.417, 3.216, 4.134, 5.178, 6.361",\
                 "0.1747, 0.2761, 0.593, 1.103, 1.759, 2.533, 3.415, 4.411, 5.531, 6.785",\
                 "-0.0222, 0.091, 0.4448, 1.01, 1.742, 2.602, 3.577, 4.66, 5.863, 7.197");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.003067, 0.01032, 0.02418, 0.04577, 0.07605, 0.1159, 0.1661, 0.2274, 0.3005");
          values("0.3735, 0.4077, 0.5256, 0.7463, 1.086, 1.56, 2.181, 2.963, 3.914, 5.051",\
                 "0.4061, 0.4405, 0.5591, 0.7806, 1.121, 1.595, 2.216, 2.998, 3.952, 5.086",\
                 "0.5302, 0.5647, 0.6835, 0.9055, 1.247, 1.721, 2.342, 3.125, 4.078, 5.214",\
                 "0.7698, 0.8095, 0.9373, 1.159, 1.498, 1.971, 2.591, 3.373, 4.326, 5.459",\
                 "1.049, 1.1, 1.265, 1.539, 1.901, 2.372, 2.989, 3.768, 4.719, 5.855",\
                 "1.373, 1.433, 1.628, 1.959, 2.403, 2.937, 3.56, 4.333, 5.28, 6.41",\
                 "1.746, 1.815, 2.041, 2.42, 2.939, 3.569, 4.289, 5.088, 6.03, 7.155",\
                 "2.172, 2.252, 2.509, 2.939, 3.522, 4.24, 5.071, 5.989, 6.98, 8.105",\
                 "2.651, 2.741, 3.032, 3.517, 4.166, 4.96, 5.89, 6.929, 8.058, 9.259",\
                 "3.182, 3.286, 3.615, 4.153, 4.874, 5.747, 6.766, 7.915, 9.175, 10.52");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.003067, 0.01032, 0.02418, 0.04577, 0.07605, 0.1159, 0.1661, 0.2274, 0.3005");
          values("0.3645, 0.4205, 0.6177, 0.9922, 1.574, 2.384, 3.455, 4.802, 6.448, 8.407",\
                 "0.3645, 0.4205, 0.6169, 0.9909, 1.571, 2.385, 3.455, 4.804, 6.447, 8.408",\
                 "0.3859, 0.4356, 0.6211, 0.9913, 1.571, 2.382, 3.455, 4.802, 6.449, 8.411",\
                 "0.4974, 0.5476, 0.7218, 1.047, 1.584, 2.385, 3.454, 4.804, 6.446, 8.407",\
                 "0.665, 0.7158, 0.8946, 1.227, 1.733, 2.454, 3.47, 4.8, 6.445, 8.402",\
                 "0.8956, 0.9492, 1.132, 1.467, 1.982, 2.695, 3.623, 4.869, 6.453, 8.397",\
                 "1.166, 1.226, 1.426, 1.78, 2.298, 3.02, 3.958, 5.121, 6.602, 8.458",\
                 "1.459, 1.528, 1.756, 2.147, 2.685, 3.417, 4.366, 5.548, 6.965, 8.708",\
                 "1.767, 1.847, 2.11, 2.548, 3.137, 3.887, 4.852, 6.044, 7.49, 9.182",\
                 "2.099, 2.191, 2.486, 2.977, 3.632, 4.436, 5.408, 6.624, 8.08, 9.794");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.003067, 0.01032, 0.02418, 0.04577, 0.07605, 0.1159, 0.1661, 0.2274, 0.3005");
          values("0.5098, 0.5685, 0.7702, 1.154, 1.748, 2.582, 3.677, 5.058, 6.735, 8.738",\
                 "0.5105, 0.5676, 0.7709, 1.154, 1.749, 2.582, 3.677, 5.059, 6.739, 8.744",\
                 "0.5091, 0.5663, 0.7697, 1.154, 1.749, 2.581, 3.677, 5.057, 6.738, 8.738",\
                 "0.6362, 0.6802, 0.837, 1.169, 1.749, 2.582, 3.677, 5.058, 6.738, 8.74",\
                 "0.8352, 0.8976, 1.088, 1.395, 1.857, 2.6, 3.676, 5.055, 6.738, 8.745",\
                 "1.045, 1.118, 1.348, 1.732, 2.229, 2.849, 3.762, 5.065, 6.738, 8.743",\
                 "1.281, 1.361, 1.629, 2.067, 2.662, 3.361, 4.169, 5.273, 6.785, 8.745",\
                 "1.54, 1.633, 1.93, 2.421, 3.09, 3.904, 4.82, 5.836, 7.148, 8.882",\
                 "1.82, 1.928, 2.263, 2.807, 3.542, 4.448, 5.494, 6.634, 7.876, 9.404",\
                 "2.122, 2.24, 2.622, 3.226, 4.02, 5.004, 6.16, 7.452, 8.828, 10.3");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.003067, 0.01032, 0.02418, 0.04577, 0.07605, 0.1159, 0.1661, 0.2274, 0.3005");
          values("0.3042, 0.3316, 0.4272, 0.6081, 0.8896, 1.284, 1.803, 2.456, 3.254, 4.204",\
                 "0.3266, 0.3539, 0.4505, 0.632, 0.9137, 1.308, 1.827, 2.481, 3.279, 4.23",\
                 "0.3969, 0.4267, 0.5256, 0.7093, 0.9919, 1.387, 1.907, 2.561, 3.358, 4.309",\
                 "0.4611, 0.5014, 0.6303, 0.8434, 1.137, 1.533, 2.053, 2.706, 3.505, 4.457",\
                 "0.4875, 0.5394, 0.7033, 0.9703, 1.324, 1.758, 2.283, 2.937, 3.734, 4.685",\
                 "0.4722, 0.5372, 0.738, 1.062, 1.485, 1.994, 2.585, 3.263, 4.061, 5.011",\
                 "0.4142, 0.4913, 0.7298, 1.112, 1.607, 2.197, 2.874, 3.636, 4.487, 5.445",\
                 "0.313, 0.3998, 0.6773, 1.117, 1.686, 2.359, 3.127, 3.983, 4.928, 5.963",\
                 "0.1682, 0.2658, 0.5744, 1.074, 1.718, 2.476, 3.334, 4.289, 5.336, 6.473",\
                 "-0.0267, 0.0819, 0.425, 0.9781, 1.698, 2.542, 3.497, 4.551, 5.703, 6.949");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.003067, 0.01032, 0.02418, 0.04577, 0.07605, 0.1159, 0.1661, 0.2274, 0.3005");
          values("0.4205, 0.4537, 0.5701, 0.7893, 1.128, 1.6, 2.221, 3.002, 3.955, 5.09",\
                 "0.4539, 0.488, 0.6051, 0.825, 1.164, 1.638, 2.258, 3.038, 3.992, 5.126",\
                 "0.5783, 0.6121, 0.7294, 0.9501, 1.29, 1.764, 2.385, 3.167, 4.121, 5.256",\
                 "0.8249, 0.8623, 0.9838, 1.203, 1.541, 2.014, 2.634, 3.416, 4.368, 5.505",\
                 "1.12, 1.168, 1.326, 1.591, 1.946, 2.415, 3.032, 3.811, 4.762, 5.894",\
                 "1.458, 1.515, 1.702, 2.023, 2.459, 2.983, 3.604, 4.377, 5.324, 6.452",\
                 "1.848, 1.914, 2.129, 2.498, 3.007, 3.628, 4.34, 5.134, 6.075, 7.2",\
                 "2.291, 2.367, 2.612, 3.031, 3.602, 4.311, 5.131, 6.043, 7.028, 8.151",\
                 "2.791, 2.876, 3.154, 3.622, 4.258, 5.045, 5.964, 6.997, 8.116, 9.31",\
                 "3.345, 3.441, 3.755, 4.279, 4.981, 5.842, 6.853, 7.993, 9.246, 10.59");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.003067, 0.01032, 0.02418, 0.04577, 0.07605, 0.1159, 0.1661, 0.2274, 0.3005");
          values("0.3549, 0.4019, 0.5657, 0.8782, 1.362, 2.038, 2.929, 4.051, 5.422, 7.053",\
                 "0.3545, 0.4018, 0.5659, 0.8783, 1.361, 2.037, 2.929, 4.049, 5.419, 7.055",\
                 "0.3838, 0.4238, 0.5719, 0.8775, 1.361, 2.038, 2.93, 4.049, 5.416, 7.055",\
                 "0.536, 0.5762, 0.714, 0.9644, 1.386, 2.039, 2.93, 4.049, 5.418, 7.056",\
                 "0.7362, 0.7788, 0.93, 1.201, 1.601, 2.154, 2.961, 4.053, 5.422, 7.055",\
                 "0.991, 1.037, 1.197, 1.486, 1.919, 2.489, 3.208, 4.17, 5.447, 7.056",\
                 "1.284, 1.335, 1.513, 1.824, 2.284, 2.895, 3.654, 4.56, 5.699, 7.166",\
                 "1.602, 1.659, 1.861, 2.21, 2.703, 3.352, 4.157, 5.118, 6.241, 7.559",\
                 "1.933, 2.005, 2.233, 2.632, 3.178, 3.861, 4.715, 5.724, 6.898, 8.24",\
                 "2.29, 2.366, 2.626, 3.085, 3.688, 4.44, 5.328, 6.39, 7.626, 9.022");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.003067, 0.01032, 0.02418, 0.04577, 0.07605, 0.1159, 0.1661, 0.2274, 0.3005");
          values("0.5581, 0.6169, 0.8196, 1.203, 1.799, 2.631, 3.724, 5.107, 6.785, 8.788",\
                 "0.5575, 0.6171, 0.818, 1.202, 1.797, 2.631, 3.724, 5.103, 6.787, 8.783",\
                 "0.5566, 0.6147, 0.8182, 1.202, 1.798, 2.632, 3.724, 5.103, 6.789, 8.789",\
                 "0.6644, 0.709, 0.8712, 1.212, 1.797, 2.631, 3.727, 5.105, 6.786, 8.796",\
                 "0.8742, 0.9332, 1.121, 1.423, 1.893, 2.645, 3.726, 5.107, 6.792, 8.792",\
                 "1.09, 1.162, 1.387, 1.766, 2.254, 2.881, 3.803, 5.114, 6.788, 8.795",\
                 "1.326, 1.403, 1.661, 2.102, 2.689, 3.385, 4.198, 5.308, 6.832, 8.797",\
                 "1.585, 1.675, 1.966, 2.453, 3.119, 3.931, 4.841, 5.859, 7.178, 8.926",\
                 "1.873, 1.971, 2.296, 2.832, 3.564, 4.47, 5.516, 6.654, 7.89, 9.432",\
                 "2.176, 2.29, 2.658, 3.248, 4.038, 5.024, 6.18, 7.472, 8.844, 10.32");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.003067, 0.01032, 0.02418, 0.04577, 0.07605, 0.1159, 0.1661, 0.2274, 0.3005");
          values("0.4285, 0.4629, 0.5811, 0.802, 1.142, 1.616, 2.237, 3.019, 3.974, 5.11",\
                 "0.4508, 0.4855, 0.6042, 0.8257, 1.166, 1.64, 2.262, 3.044, 3.999, 5.135",\
                 "0.5157, 0.5505, 0.6699, 0.8925, 1.234, 1.709, 2.331, 3.114, 4.067, 5.204",\
                 "0.592, 0.6324, 0.7661, 1, 1.343, 1.818, 2.441, 3.223, 4.178, 5.315",\
                 "0.6462, 0.6942, 0.852, 1.122, 1.5, 1.99, 2.612, 3.395, 4.348, 5.485",\
                 "0.6652, 0.7239, 0.9117, 1.225, 1.653, 2.194, 2.853, 3.641, 4.593, 5.729",\
                 "0.6419, 0.7109, 0.932, 1.297, 1.785, 2.386, 3.105, 3.947, 4.92, 6.055",\
                 "0.5719, 0.6518, 0.9074, 1.327, 1.882, 2.555, 3.341, 4.251, 5.29, 6.466",\
                 "0.458, 0.5475, 0.8343, 1.31, 1.936, 2.687, 3.552, 4.537, 5.649, 6.897",\
                 "0.2946, 0.3931, 0.7131, 1.243, 1.94, 2.773, 3.727, 4.797, 5.99, 7.316");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.003067, 0.01032, 0.02418, 0.04577, 0.07605, 0.1159, 0.1661, 0.2274, 0.3005");
          values("0.4205, 0.4537, 0.5701, 0.7893, 1.128, 1.6, 2.221, 3.002, 3.955, 5.09",\
                 "0.4539, 0.488, 0.6051, 0.825, 1.164, 1.638, 2.258, 3.038, 3.992, 5.126",\
                 "0.5783, 0.6121, 0.7294, 0.9501, 1.29, 1.764, 2.385, 3.167, 4.121, 5.256",\
                 "0.8249, 0.8623, 0.9838, 1.203, 1.541, 2.014, 2.634, 3.416, 4.368, 5.505",\
                 "1.12, 1.168, 1.326, 1.591, 1.946, 2.415, 3.032, 3.811, 4.762, 5.894",\
                 "1.458, 1.515, 1.702, 2.023, 2.459, 2.983, 3.604, 4.377, 5.324, 6.452",\
                 "1.848, 1.914, 2.129, 2.498, 3.007, 3.628, 4.34, 5.134, 6.075, 7.2",\
                 "2.291, 2.367, 2.612, 3.031, 3.602, 4.311, 5.131, 6.043, 7.028, 8.151",\
                 "2.791, 2.876, 3.154, 3.622, 4.258, 5.045, 5.964, 6.997, 8.116, 9.31",\
                 "3.345, 3.441, 3.755, 4.279, 4.981, 5.842, 6.853, 7.993, 9.246, 10.59");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.003067, 0.01032, 0.02418, 0.04577, 0.07605, 0.1159, 0.1661, 0.2274, 0.3005");
          values("0.4624, 0.5188, 0.7174, 1.09, 1.671, 2.484, 3.551, 4.898, 6.536, 8.495",\
                 "0.4611, 0.5187, 0.7168, 1.091, 1.67, 2.485, 3.551, 4.898, 6.54, 8.494",\
                 "0.4662, 0.5212, 0.716, 1.09, 1.672, 2.484, 3.55, 4.897, 6.539, 8.495",\
                 "0.566, 0.6174, 0.7952, 1.127, 1.676, 2.482, 3.55, 4.897, 6.537, 8.495",\
                 "0.7204, 0.7742, 0.9574, 1.296, 1.805, 2.537, 3.559, 4.897, 6.539, 8.494",\
                 "0.9356, 0.9914, 1.18, 1.528, 2.049, 2.767, 3.703, 4.95, 6.546, 8.495",\
                 "1.197, 1.259, 1.467, 1.827, 2.358, 3.085, 4.026, 5.199, 6.683, 8.54",\
                 "1.488, 1.563, 1.795, 2.184, 2.734, 3.476, 4.429, 5.615, 7.037, 8.783",\
                 "1.801, 1.883, 2.152, 2.589, 3.184, 3.948, 4.907, 6.116, 7.554, 9.252",\
                 "2.131, 2.225, 2.528, 3.021, 3.676, 4.478, 5.476, 6.68, 8.15, 9.862");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.003067, 0.01032, 0.02418, 0.04577, 0.07605, 0.1159, 0.1661, 0.2274, 0.3005");
          values("0.6013, 0.6624, 0.8738, 1.27, 1.877, 2.718, 3.814, 5.196, 6.875, 8.882",\
                 "0.6018, 0.6626, 0.8737, 1.27, 1.877, 2.718, 3.817, 5.196, 6.876, 8.884",\
                 "0.6014, 0.6621, 0.8737, 1.27, 1.878, 2.718, 3.816, 5.193, 6.878, 8.882",\
                 "0.7338, 0.7784, 0.9412, 1.286, 1.877, 2.718, 3.817, 5.195, 6.877, 8.882",\
                 "0.9762, 1.033, 1.217, 1.516, 1.984, 2.736, 3.816, 5.196, 6.879, 8.881",\
                 "1.23, 1.297, 1.516, 1.884, 2.367, 2.986, 3.903, 5.207, 6.879, 8.882",\
                 "1.513, 1.587, 1.83, 2.254, 2.83, 3.507, 4.309, 5.415, 6.93, 8.888",\
                 "1.824, 1.908, 2.175, 2.642, 3.287, 4.081, 4.971, 5.98, 7.288, 9.024",\
                 "2.162, 2.257, 2.554, 3.059, 3.762, 4.644, 5.666, 6.788, 8.012, 9.544",\
                 "2.53, 2.632, 2.964, 3.516, 4.276, 5.224, 6.36, 7.622, 8.98, 10.44");
        }
      }

      timing() {
        related_pin : "C" ;
        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.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.003067, 0.01032, 0.02418, 0.04577, 0.07605, 0.1159, 0.1661, 0.2274, 0.3005");
          values("0.452, 0.4863, 0.6045, 0.8255, 1.165, 1.639, 2.261, 3.043, 3.997, 5.134",\
                 "0.4751, 0.5095, 0.6284, 0.85, 1.19, 1.665, 2.286, 3.068, 4.023, 5.159",\
                 "0.5225, 0.5572, 0.6768, 0.8994, 1.241, 1.716, 2.338, 3.121, 4.075, 5.211",\
                 "0.5649, 0.6036, 0.7332, 0.9651, 1.307, 1.783, 2.405, 3.188, 4.143, 5.28",\
                 "0.5775, 0.6212, 0.7653, 1.02, 1.39, 1.879, 2.501, 3.283, 4.237, 5.373",\
                 "0.5522, 0.6034, 0.7697, 1.053, 1.454, 1.978, 2.632, 3.421, 4.372, 5.506",\
                 "0.4734, 0.5344, 0.7299, 1.053, 1.494, 2.057, 2.75, 3.581, 4.557, 5.691",\
                 "0.337, 0.4075, 0.6337, 1.006, 1.5, 2.111, 2.848, 3.722, 4.744, 5.918",\
                 "0.1418, 0.2233, 0.4774, 0.8983, 1.455, 2.127, 2.918, 3.84, 4.909, 6.132",\
                 "-0.1139, -0.0245, 0.2617, 0.7301, 1.35, 2.093, 2.949, 3.931, 5.05, 6.324");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.003067, 0.01032, 0.02418, 0.04577, 0.07605, 0.1159, 0.1661, 0.2274, 0.3005");
          values("0.4225, 0.458, 0.5793, 0.8043, 1.148, 1.625, 2.249, 3.033, 3.988, 5.126",\
                 "0.4527, 0.4882, 0.6097, 0.8351, 1.179, 1.656, 2.28, 3.064, 4.019, 5.156",\
                 "0.5792, 0.6146, 0.7361, 0.9614, 1.305, 1.782, 2.407, 3.19, 4.146, 5.283",\
                 "0.8346, 0.8721, 0.9947, 1.217, 1.558, 2.034, 2.657, 3.44, 4.394, 5.532",\
                 "1.145, 1.193, 1.349, 1.612, 1.966, 2.437, 3.056, 3.836, 4.789, 5.924",\
                 "1.503, 1.559, 1.743, 2.059, 2.489, 3.009, 3.63, 4.404, 5.351, 6.483",\
                 "1.92, 1.984, 2.194, 2.554, 3.053, 3.666, 4.371, 5.163, 6.105, 7.23",\
                 "2.402, 2.473, 2.71, 3.112, 3.67, 4.365, 5.177, 6.079, 7.062, 8.186",\
                 "2.951, 3.031, 3.295, 3.743, 4.356, 5.122, 6.025, 7.045, 8.157, 9.346",\
                 "3.568, 3.659, 3.953, 4.447, 5.119, 5.952, 6.938, 8.061, 9.3, 10.63");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.003067, 0.01032, 0.02418, 0.04577, 0.07605, 0.1159, 0.1661, 0.2274, 0.3005");
          values("0.4616, 0.5187, 0.7168, 1.091, 1.672, 2.485, 3.552, 4.896, 6.54, 8.495",\
                 "0.4615, 0.5192, 0.7169, 1.091, 1.671, 2.484, 3.551, 4.898, 6.539, 8.497",\
                 "0.4641, 0.5201, 0.7159, 1.091, 1.671, 2.483, 3.552, 4.896, 6.539, 8.497",\
                 "0.535, 0.59, 0.7748, 1.12, 1.676, 2.482, 3.551, 4.896, 6.538, 8.496",\
                 "0.6444, 0.698, 0.8894, 1.246, 1.783, 2.535, 3.562, 4.896, 6.537, 8.493",\
                 "0.8222, 0.8752, 1.061, 1.412, 1.962, 2.718, 3.692, 4.956, 6.55, 8.494",\
                 "1.059, 1.116, 1.307, 1.651, 2.188, 2.949, 3.944, 5.17, 6.688, 8.552",\
                 "1.336, 1.399, 1.602, 1.962, 2.497, 3.242, 4.236, 5.486, 6.994, 8.777",\
                 "1.642, 1.713, 1.939, 2.324, 2.876, 3.619, 4.593, 5.843, 7.368, 9.168",\
                 "1.977, 2.055, 2.297, 2.727, 3.313, 4.072, 5.05, 6.28, 7.798, 9.616");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.003067, 0.01032, 0.02418, 0.04577, 0.07605, 0.1159, 0.1661, 0.2274, 0.3005");
          values("0.6893, 0.7498, 0.9609, 1.357, 1.964, 2.805, 3.905, 5.287, 6.97, 8.977",\
                 "0.6883, 0.7494, 0.9608, 1.357, 1.964, 2.806, 3.905, 5.286, 6.972, 8.978",\
                 "0.6863, 0.7474, 0.9602, 1.357, 1.965, 2.805, 3.905, 5.286, 6.971, 8.976",\
                 "0.7846, 0.832, 1.004, 1.365, 1.964, 2.806, 3.905, 5.286, 6.971, 8.979",\
                 "1.036, 1.089, 1.267, 1.565, 2.05, 2.818, 3.905, 5.286, 6.971, 8.979",\
                 "1.291, 1.356, 1.572, 1.935, 2.411, 3.045, 3.979, 5.295, 6.972, 8.98",\
                 "1.563, 1.638, 1.882, 2.304, 2.876, 3.552, 4.364, 5.484, 7.015, 8.984",\
                 "1.863, 1.946, 2.215, 2.68, 3.329, 4.127, 5.013, 6.03, 7.356, 9.112",\
                 "2.195, 2.282, 2.578, 3.086, 3.79, 4.676, 5.704, 6.826, 8.06, 9.61",\
                 "2.55, 2.648, 2.972, 3.52, 4.278, 5.242, 6.382, 7.652, 9.016, 10.49");
        }
      }

      timing() {
        related_pin : "C" ;
        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.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.003067, 0.01032, 0.02418, 0.04577, 0.07605, 0.1159, 0.1661, 0.2274, 0.3005");
          values("0.3701, 0.4028, 0.5166, 0.7326, 1.069, 1.54, 2.161, 2.941, 3.896, 5.035",\
                 "0.3923, 0.4252, 0.54, 0.7572, 1.093, 1.565, 2.186, 2.969, 3.921, 5.06",\
                 "0.4365, 0.4705, 0.587, 0.8056, 1.143, 1.617, 2.237, 3.02, 3.975, 5.11",\
                 "0.4629, 0.5021, 0.6334, 0.8674, 1.21, 1.683, 2.305, 3.086, 4.041, 5.179",\
                 "0.455, 0.5017, 0.6522, 0.912, 1.286, 1.778, 2.4, 3.181, 4.135, 5.272",\
                 "0.3988, 0.456, 0.6361, 0.932, 1.34, 1.87, 2.527, 3.319, 4.271, 5.405",\
                 "0.2851, 0.3536, 0.5697, 0.9142, 1.37, 1.94, 2.638, 3.474, 4.453, 5.588",\
                 "0.116, 0.1956, 0.4465, 0.8453, 1.361, 1.985, 2.729, 3.609, 4.636, 5.813",\
                 "-0.1117, -0.0198, 0.2647, 0.7177, 1.299, 1.989, 2.792, 3.721, 4.795, 6.022",\
                 "-0.3985, -0.2956, 0.0223, 0.5282, 1.175, 1.941, 2.813, 3.804, 4.931, 6.209");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.003067, 0.01032, 0.02418, 0.04577, 0.07605, 0.1159, 0.1661, 0.2274, 0.3005");
          values("0.4164, 0.4522, 0.5741, 0.7995, 1.143, 1.62, 2.245, 3.029, 3.984, 5.121",\
                 "0.4469, 0.4824, 0.6045, 0.8301, 1.174, 1.651, 2.275, 3.059, 4.015, 5.152",\
                 "0.5733, 0.609, 0.7307, 0.9565, 1.301, 1.778, 2.402, 3.187, 4.141, 5.28",\
                 "0.828, 0.8664, 0.9893, 1.212, 1.553, 2.029, 2.652, 3.436, 4.391, 5.529",\
                 "1.137, 1.184, 1.342, 1.607, 1.961, 2.433, 3.052, 3.832, 4.784, 5.919",\
                 "1.492, 1.549, 1.734, 2.051, 2.483, 3.004, 3.625, 4.399, 5.346, 6.478",\
                 "1.907, 1.971, 2.183, 2.546, 3.045, 3.659, 4.365, 5.157, 6.098, 7.225",\
                 "2.386, 2.459, 2.697, 3.102, 3.661, 4.357, 5.168, 6.072, 7.054, 8.178",\
                 "2.932, 3.014, 3.28, 3.73, 4.345, 5.112, 6.017, 7.037, 8.15, 9.339",\
                 "3.547, 3.639, 3.934, 4.433, 5.106, 5.942, 6.926, 8.052, 9.291, 10.62");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.003067, 0.01032, 0.02418, 0.04577, 0.07605, 0.1159, 0.1661, 0.2274, 0.3005");
          values("0.3644, 0.4205, 0.6172, 0.9899, 1.571, 2.384, 3.455, 4.803, 6.447, 8.404",\
                 "0.3645, 0.4204, 0.6174, 0.9915, 1.571, 2.385, 3.454, 4.802, 6.448, 8.408",\
                 "0.3779, 0.4292, 0.6193, 0.9911, 1.57, 2.385, 3.453, 4.802, 6.448, 8.403",\
                 "0.4546, 0.508, 0.6932, 1.034, 1.583, 2.384, 3.457, 4.802, 6.441, 8.409",\
                 "0.579, 0.6308, 0.8136, 1.165, 1.703, 2.446, 3.467, 4.8, 6.445, 8.41",\
                 "0.7798, 0.8304, 1.005, 1.342, 1.882, 2.635, 3.609, 4.874, 6.461, 8.4",\
                 "1.032, 1.085, 1.265, 1.602, 2.118, 2.87, 3.862, 5.091, 6.603, 8.471",\
                 "1.322, 1.379, 1.572, 1.921, 2.441, 3.175, 4.157, 5.405, 6.912, 8.694",\
                 "1.639, 1.7, 1.916, 2.29, 2.831, 3.561, 4.528, 5.767, 7.294, 9.088",\
                 "1.975, 2.045, 2.279, 2.694, 3.272, 4.028, 4.998, 6.206, 7.722, 9.534");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.003067, 0.01032, 0.02418, 0.04577, 0.07605, 0.1159, 0.1661, 0.2274, 0.3005");
          values("0.5845, 0.6438, 0.8495, 1.236, 1.833, 2.667, 3.766, 5.148, 6.833, 8.84",\
                 "0.5833, 0.6435, 0.8494, 1.237, 1.834, 2.668, 3.767, 5.145, 6.831, 8.839",\
                 "0.5807, 0.6406, 0.8485, 1.236, 1.833, 2.668, 3.766, 5.148, 6.831, 8.839",\
                 "0.6782, 0.7246, 0.892, 1.242, 1.833, 2.668, 3.764, 5.148, 6.834, 8.84",\
                 "0.8926, 0.953, 1.138, 1.442, 1.92, 2.68, 3.765, 5.146, 6.831, 8.839",\
                 "1.104, 1.175, 1.404, 1.782, 2.275, 2.907, 3.838, 5.153, 6.829, 8.839",\
                 "1.333, 1.415, 1.677, 2.119, 2.709, 3.405, 4.222, 5.343, 6.875, 8.842",\
                 "1.589, 1.68, 1.976, 2.463, 3.137, 3.951, 4.863, 5.886, 7.21, 8.966",\
                 "1.867, 1.974, 2.297, 2.838, 3.572, 4.484, 5.536, 6.674, 7.918, 9.468",\
                 "2.168, 2.286, 2.65, 3.238, 4.036, 5.03, 6.19, 7.494, 8.864, 10.34");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.003067, 0.01032, 0.02418, 0.04577, 0.07605, 0.1159, 0.1661, 0.2274, 0.3005");
          values("0.3277, 0.355, 0.4506, 0.6312, 0.913, 1.307, 1.826, 2.48, 3.278, 4.228",\
                 "0.3505, 0.3783, 0.4742, 0.6565, 0.9379, 1.333, 1.851, 2.506, 3.304, 4.253",\
                 "0.3979, 0.4271, 0.5255, 0.7091, 0.9917, 1.387, 1.907, 2.561, 3.358, 4.309",\
                 "0.4299, 0.4652, 0.582, 0.7854, 1.078, 1.474, 1.994, 2.648, 3.446, 4.396",\
                 "0.4266, 0.4709, 0.6113, 0.847, 1.177, 1.602, 2.129, 2.782, 3.58, 4.53",\
                 "0.3731, 0.4282, 0.6018, 0.8813, 1.254, 1.724, 2.296, 2.975, 3.773, 4.722",\
                 "0.2617, 0.3286, 0.5379, 0.8711, 1.301, 1.822, 2.444, 3.174, 4.018, 4.981",\
                 "0.0948, 0.1741, 0.4166, 0.8055, 1.302, 1.888, 2.567, 3.352, 4.252, 5.271",\
                 "-0.128, -0.0404, 0.2359, 0.6767, 1.243, 1.905, 2.656, 3.503, 4.461, 5.539",\
                 "-0.4135, -0.3144, -0.0062, 0.4876, 1.12, 1.863, 2.695, 3.618, 4.643, 5.785");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.003067, 0.01032, 0.02418, 0.04577, 0.07605, 0.1159, 0.1661, 0.2274, 0.3005");
          values("0.4727, 0.5067, 0.6254, 0.8476, 1.189, 1.664, 2.287, 3.07, 4.024, 5.16",\
                 "0.5032, 0.5376, 0.6565, 0.8788, 1.22, 1.696, 2.318, 3.101, 4.056, 5.192",\
                 "0.6301, 0.6644, 0.7835, 1.006, 1.348, 1.823, 2.446, 3.23, 4.183, 5.32",\
                 "0.8881, 0.9235, 1.042, 1.262, 1.601, 2.075, 2.696, 3.478, 4.433, 5.571",\
                 "1.213, 1.258, 1.407, 1.662, 2.009, 2.479, 3.097, 3.875, 4.828, 5.961",\
                 "1.582, 1.636, 1.813, 2.12, 2.542, 3.053, 3.672, 4.444, 5.391, 6.523",\
                 "2.011, 2.073, 2.275, 2.627, 3.116, 3.721, 4.418, 5.206, 6.145, 7.27",\
                 "2.507, 2.576, 2.804, 3.196, 3.745, 4.431, 5.234, 6.127, 7.105, 8.227",\
                 "3.074, 3.151, 3.402, 3.839, 4.443, 5.2, 6.094, 7.106, 8.211, 9.394",\
                 "3.71, 3.796, 4.076, 4.559, 5.22, 6.04, 7.02, 8.135, 9.365, 10.69");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.003067, 0.01032, 0.02418, 0.04577, 0.07605, 0.1159, 0.1661, 0.2274, 0.3005");
          values("0.3549, 0.4018, 0.5658, 0.8778, 1.362, 2.038, 2.929, 4.052, 5.422, 7.052",\
                 "0.3549, 0.4019, 0.566, 0.8784, 1.361, 2.038, 2.931, 4.051, 5.422, 7.053",\
                 "0.3736, 0.4164, 0.57, 0.878, 1.362, 2.038, 2.929, 4.053, 5.422, 7.048",\
                 "0.4762, 0.5186, 0.6676, 0.9432, 1.385, 2.04, 2.928, 4.052, 5.42, 7.054",\
                 "0.636, 0.676, 0.8206, 1.103, 1.539, 2.139, 2.965, 4.055, 5.425, 7.056",\
                 "0.867, 0.9074, 1.048, 1.318, 1.754, 2.368, 3.161, 4.171, 5.459, 7.054",\
                 "1.147, 1.189, 1.337, 1.616, 2.039, 2.648, 3.458, 4.463, 5.675, 7.181",\
                 "1.46, 1.507, 1.667, 1.963, 2.404, 3.003, 3.808, 4.826, 6.059, 7.504",\
                 "1.8, 1.849, 2.031, 2.361, 2.825, 3.442, 4.243, 5.254, 6.501, 7.972",\
                 "2.157, 2.215, 2.418, 2.777, 3.297, 3.946, 4.758, 5.772, 7.006, 8.494");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.003067, 0.01032, 0.02418, 0.04577, 0.07605, 0.1159, 0.1661, 0.2274, 0.3005");
          values("0.6345, 0.6923, 0.8988, 1.285, 1.883, 2.719, 3.815, 5.197, 6.878, 8.889",\
                 "0.6344, 0.6929, 0.8985, 1.285, 1.883, 2.719, 3.816, 5.197, 6.883, 8.89",\
                 "0.6321, 0.6911, 0.897, 1.284, 1.882, 2.718, 3.817, 5.197, 6.878, 8.891",\
                 "0.7104, 0.7582, 0.9316, 1.29, 1.882, 2.717, 3.818, 5.198, 6.883, 8.891",\
                 "0.9294, 0.9886, 1.171, 1.472, 1.956, 2.727, 3.815, 5.197, 6.884, 8.89",\
                 "1.15, 1.22, 1.444, 1.817, 2.3, 2.94, 3.881, 5.203, 6.883, 8.89",\
                 "1.378, 1.458, 1.716, 2.155, 2.739, 3.432, 4.251, 5.38, 6.922, 8.892",\
                 "1.634, 1.721, 2.009, 2.496, 3.166, 3.977, 4.884, 5.91, 7.25, 9.014",\
                 "1.913, 2.01, 2.327, 2.86, 3.598, 4.508, 5.554, 6.694, 7.94, 9.498",\
                 "2.214, 2.322, 2.674, 3.26, 4.052, 5.044, 6.212, 7.502, 8.876, 10.36");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.003067, 0.01032, 0.02418, 0.04577, 0.07605, 0.1159, 0.1661, 0.2274, 0.3005");
          values("0.452, 0.4863, 0.6045, 0.8255, 1.165, 1.639, 2.261, 3.043, 3.997, 5.134",\
                 "0.4751, 0.5095, 0.6284, 0.85, 1.19, 1.665, 2.286, 3.068, 4.023, 5.159",\
                 "0.5225, 0.5572, 0.6768, 0.8994, 1.241, 1.716, 2.338, 3.121, 4.075, 5.211",\
                 "0.5649, 0.6036, 0.7332, 0.9651, 1.307, 1.783, 2.405, 3.188, 4.143, 5.28",\
                 "0.5775, 0.6212, 0.7653, 1.02, 1.39, 1.879, 2.501, 3.283, 4.237, 5.373",\
                 "0.5522, 0.6034, 0.7697, 1.053, 1.454, 1.978, 2.632, 3.421, 4.372, 5.506",\
                 "0.4734, 0.5344, 0.7299, 1.053, 1.494, 2.057, 2.75, 3.581, 4.557, 5.691",\
                 "0.337, 0.4075, 0.6337, 1.006, 1.5, 2.111, 2.848, 3.722, 4.744, 5.918",\
                 "0.1418, 0.2233, 0.4774, 0.8983, 1.455, 2.127, 2.918, 3.84, 4.909, 6.132",\
                 "-0.1139, -0.0245, 0.2617, 0.7301, 1.35, 2.093, 2.949, 3.931, 5.05, 6.324");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.003067, 0.01032, 0.02418, 0.04577, 0.07605, 0.1159, 0.1661, 0.2274, 0.3005");
          values("0.4727, 0.5067, 0.6254, 0.8476, 1.189, 1.664, 2.287, 3.07, 4.024, 5.16",\
                 "0.5032, 0.5376, 0.6565, 0.8788, 1.22, 1.696, 2.318, 3.101, 4.056, 5.192",\
                 "0.6301, 0.6644, 0.7835, 1.006, 1.348, 1.823, 2.446, 3.23, 4.183, 5.32",\
                 "0.8881, 0.9235, 1.042, 1.262, 1.601, 2.075, 2.696, 3.478, 4.433, 5.571",\
                 "1.213, 1.258, 1.407, 1.662, 2.009, 2.479, 3.097, 3.875, 4.828, 5.961",\
                 "1.582, 1.636, 1.813, 2.12, 2.542, 3.053, 3.672, 4.444, 5.391, 6.523",\
                 "2.011, 2.073, 2.275, 2.627, 3.116, 3.721, 4.418, 5.206, 6.145, 7.27",\
                 "2.507, 2.576, 2.804, 3.196, 3.745, 4.431, 5.234, 6.127, 7.105, 8.227",\
                 "3.074, 3.151, 3.402, 3.839, 4.443, 5.2, 6.094, 7.106, 8.211, 9.394",\
                 "3.71, 3.796, 4.076, 4.559, 5.22, 6.04, 7.02, 8.135, 9.365, 10.69");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.003067, 0.01032, 0.02418, 0.04577, 0.07605, 0.1159, 0.1661, 0.2274, 0.3005");
          values("0.4616, 0.5187, 0.7168, 1.091, 1.672, 2.485, 3.552, 4.896, 6.54, 8.495",\
                 "0.4615, 0.5192, 0.7169, 1.091, 1.671, 2.484, 3.551, 4.898, 6.539, 8.497",\
                 "0.4641, 0.5201, 0.7159, 1.091, 1.671, 2.483, 3.552, 4.896, 6.539, 8.497",\
                 "0.535, 0.59, 0.7748, 1.12, 1.676, 2.482, 3.551, 4.896, 6.538, 8.496",\
                 "0.6444, 0.698, 0.8894, 1.246, 1.783, 2.535, 3.562, 4.896, 6.537, 8.493",\
                 "0.8222, 0.8752, 1.061, 1.412, 1.962, 2.718, 3.692, 4.956, 6.55, 8.494",\
                 "1.059, 1.116, 1.307, 1.651, 2.188, 2.949, 3.944, 5.17, 6.688, 8.552",\
                 "1.336, 1.399, 1.602, 1.962, 2.497, 3.242, 4.236, 5.486, 6.994, 8.777",\
                 "1.642, 1.713, 1.939, 2.324, 2.876, 3.619, 4.593, 5.843, 7.368, 9.168",\
                 "1.977, 2.055, 2.297, 2.727, 3.313, 4.072, 5.05, 6.28, 7.798, 9.616");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
          index_2("0.001, 0.003067, 0.01032, 0.02418, 0.04577, 0.07605, 0.1159, 0.1661, 0.2274, 0.3005");
          values("0.6893, 0.7498, 0.9609, 1.357, 1.964, 2.805, 3.905, 5.287, 6.97, 8.977",\
                 "0.6883, 0.7494, 0.9608, 1.357, 1.964, 2.806, 3.905, 5.286, 6.972, 8.978",\
                 "0.6863, 0.7474, 0.9602, 1.357, 1.965, 2.805, 3.905, 5.286, 6.971, 8.976",\
                 "0.7846, 0.832, 1.004, 1.365, 1.964, 2.806, 3.905, 5.286, 6.971, 8.979",\
                 "1.036, 1.089, 1.267, 1.565, 2.05, 2.818, 3.905, 5.286, 6.971, 8.979",\
                 "1.291, 1.356, 1.572, 1.935, 2.411, 3.045, 3.979, 5.295, 6.972, 8.98",\
                 "1.563, 1.638, 1.882, 2.304, 2.876, 3.552, 4.364, 5.484, 7.015, 8.984",\
                 "1.863, 1.946, 2.215, 2.68, 3.329, 4.127, 5.013, 6.03, 7.356, 9.112",\
                 "2.195, 2.282, 2.578, 3.086, 3.79, 4.676, 5.704, 6.826, 8.06, 9.61",\
                 "2.55, 2.648, 2.972, 3.52, 4.278, 5.242, 6.382, 7.652, 9.016, 10.49");
        }
      }
    }
  }