/*
 * 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__aoi211_1) {
    area : 21.952000 ;

    leakage_power() {
      related_pg_pin : "VDD" ;
      when : "!A1&!A2&!B&!C" ;
      value : "1.643688e-05" ;
    }

    leakage_power() {
      related_pg_pin : "VDD" ;
      when : "!A1&!A2&!B&C" ;
      value : "2.23056e-05" ;
    }

    leakage_power() {
      related_pg_pin : "VDD" ;
      when : "!A1&!A2&B&!C" ;
      value : "1.872e-05" ;
    }

    leakage_power() {
      related_pg_pin : "VDD" ;
      when : "!A1&!A2&B&C" ;
      value : "1.87182e-05" ;
    }

    leakage_power() {
      related_pg_pin : "VDD" ;
      when : "!A1&A2&!B&!C" ;
      value : "1.64556e-05" ;
    }

    leakage_power() {
      related_pg_pin : "VDD" ;
      when : "!A1&A2&!B&C" ;
      value : "2.24208e-05" ;
    }

    leakage_power() {
      related_pg_pin : "VDD" ;
      when : "!A1&A2&B&!C" ;
      value : "1.88712e-05" ;
    }

    leakage_power() {
      related_pg_pin : "VDD" ;
      when : "!A1&A2&B&C" ;
      value : "1.88712e-05" ;
    }

    leakage_power() {
      related_pg_pin : "VDD" ;
      when : "A1&!A2&!B&!C" ;
      value : "2.08008e-05" ;
    }

    leakage_power() {
      related_pg_pin : "VDD" ;
      when : "A1&!A2&!B&C" ;
      value : "2.24208e-05" ;
    }

    leakage_power() {
      related_pg_pin : "VDD" ;
      when : "A1&!A2&B&!C" ;
      value : "1.88712e-05" ;
    }

    leakage_power() {
      related_pg_pin : "VDD" ;
      when : "A1&!A2&B&C" ;
      value : "1.88712e-05" ;
    }

    leakage_power() {
      related_pg_pin : "VDD" ;
      when : "A1&A2&!B&!C" ;
      value : "1.331604e-05" ;
    }

    leakage_power() {
      related_pg_pin : "VDD" ;
      when : "A1&A2&!B&C" ;
      value : "1.330758e-05" ;
    }

    leakage_power() {
      related_pg_pin : "VDD" ;
      when : "A1&A2&B&!C" ;
      value : "1.33083e-05" ;
    }

    leakage_power() {
      related_pg_pin : "VDD" ;
      when : "A1&A2&B&C" ;
      value : "1.330848e-05" ;
    }

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

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

        fall_power(pwr_tin_10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          values("0.004845, 0.004852, 0.004855, 0.004847, 0.004845, 0.004835, 0.004823, \
                 0.004813, 0.004802, 0.004779");
        }

        rise_power(pwr_tin_10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          values("-0.003667, -0.003669, -0.003671, -0.003668, -0.003668, -0.003668, \
                 -0.003669, -0.003678, -0.003692, -0.003719");
        }
      }

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

        fall_power(pwr_tin_10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          values("0.00162, 0.001618, 0.001621, 0.00162, 0.001628, 0.00163, 0.001629, \
                 0.001629, 0.001629, 0.001628");
        }

        rise_power(pwr_tin_10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          values("-0.001627, -0.00163, -0.001628, -0.00163, -0.001635, -0.001634, \
                 -0.001635, -0.001635, -0.001635, -0.001636");
        }
      }

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

        fall_power(pwr_tin_10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          values("0.001624, 0.001621, 0.001624, 0.001624, 0.001631, 0.001632, 0.001632, \
                 0.001633, 0.001632, 0.001633");
        }

        rise_power(pwr_tin_10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          values("-0.00163, -0.001633, -0.001631, -0.001633, -0.001637, -0.001637, \
                 -0.001637, -0.001638, -0.001639, -0.001638");
        }
      }

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

        fall_power(pwr_tin_10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          values("0.001623, 0.001622, 0.001624, 0.001625, 0.001632, 0.001633, 0.001632, \
                 0.001632, 0.00163, 0.001631");
        }

        rise_power(pwr_tin_10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          values("-0.00163, -0.001633, -0.00163, -0.001633, -0.001637, -0.001637, \
                 -0.001639, -0.001639, -0.001638, -0.001639");
        }
      }

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

        fall_power(pwr_tin_10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          values("0.007386, 0.007388, 0.007372, 0.007363, 0.00735, 0.00733, 0.007302, \
                 0.007262, 0.007206, 0.007105");
        }

        rise_power(pwr_tin_10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          values("-0.001633, -0.001637, -0.001632, -0.001635, -0.001639, -0.00164, \
                 -0.00164, -0.001639, -0.001639, -0.00164");
        }
      }

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

        fall_power(pwr_tin_10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          values("0.004852, 0.004852, 0.004843, 0.004836, 0.00483, 0.00482, 0.004804, \
                 0.004781, 0.004749, 0.004693");
        }

        rise_power(pwr_tin_10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          values("-0.001634, -0.00164, -0.001635, -0.001638, -0.001643, -0.001643, \
                 -0.001644, -0.001643, -0.001642, -0.001642");
        }
      }

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

        fall_power(pwr_tin_10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          values("0.004852, 0.004853, 0.004843, 0.004835, 0.004833, 0.004824, 0.004808, \
                 0.004783, 0.004749, 0.004692");
        }

        rise_power(pwr_tin_10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          values("-0.001634, -0.001641, -0.001636, -0.001639, -0.001643, -0.001641, \
                 -0.001644, -0.001643, -0.001643, -0.001642");
        }
      }
    }

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

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

        fall_power(pwr_tin_10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          values("0.004571, 0.004323, 0.004275, 0.00427, 0.004263, 0.004257, 0.004246, \
                 0.004237, 0.004226, 0.004206");
        }

        rise_power(pwr_tin_10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          values("-0.004293, -0.004299, -0.004299, -0.004295, -0.004292, -0.004275, \
                 -0.004265, -0.004256, -0.004241, -0.004228");
        }
      }

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

        fall_power(pwr_tin_10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          values("0.001621, 0.001621, 0.00162, 0.001623, 0.001626, 0.001628, 0.00163, \
                 0.00163, 0.001629, 0.001628");
        }

        rise_power(pwr_tin_10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          values("-0.001631, -0.00163, -0.001627, -0.00163, -0.001636, -0.001634, \
                 -0.001635, -0.001636, -0.001636, -0.001635");
        }
      }

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

        fall_power(pwr_tin_10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          values("0.001624, 0.001624, 0.001622, 0.001625, 0.001629, 0.001631, 0.001633, \
                 0.001633, 0.001632, 0.001631");
        }

        rise_power(pwr_tin_10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          values("-0.001637, -0.001633, -0.00163, -0.001633, -0.001638, -0.001637, \
                 -0.001638, -0.001638, -0.001638, -0.001638");
        }
      }

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

        fall_power(pwr_tin_10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          values("0.001624, 0.001624, 0.001621, 0.001627, 0.00163, 0.001631, 0.001633, \
                 0.001633, 0.001632, 0.001632");
        }

        rise_power(pwr_tin_10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          values("-0.001634, -0.001633, -0.00163, -0.001633, -0.001638, -0.001637, \
                 -0.001639, -0.001637, -0.001639, -0.001639");
        }
      }

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

        fall_power(pwr_tin_10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          values("0.007391, 0.00739, 0.007373, 0.007359, 0.00735, 0.007331, 0.007305, \
                 0.007264, 0.007204, 0.007105");
        }

        rise_power(pwr_tin_10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          values("-0.001638, -0.001635, -0.001633, -0.001635, -0.00164, -0.001639, \
                 -0.00164, -0.00164, -0.00164, -0.001639");
        }
      }

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

        fall_power(pwr_tin_10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          values("0.004857, 0.004855, 0.004842, 0.004834, 0.004831, 0.004819, 0.004806, \
                 0.004783, 0.004749, 0.004693");
        }

        rise_power(pwr_tin_10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          values("-0.001638, -0.001639, -0.001636, -0.001638, -0.001644, -0.001642, \
                 -0.001642, -0.001643, -0.001643, -0.001643");
        }
      }

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

        fall_power(pwr_tin_10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          values("0.004857, 0.004855, 0.004843, 0.004835, 0.004832, 0.004822, 0.004807, \
                 0.004784, 0.004749, 0.004691");
        }

        rise_power(pwr_tin_10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          values("-0.001638, -0.00164, -0.001635, -0.00164, -0.001643, -0.001643, \
                 -0.001643, -0.001642, -0.001643, -0.001642");
        }
      }
    }

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

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

        fall_power(pwr_tin_10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          values("0.002522, 0.002528, 0.002523, 0.002521, 0.002525, 0.002514, 0.002508, \
                 0.002493, 0.002477, 0.002459");
        }

        rise_power(pwr_tin_10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          values("-0.002142, -0.002148, -0.002144, -0.002146, -0.002153, -0.002149, \
                 -0.002154, -0.002151, -0.002153, -0.002154");
        }
      }

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

        fall_power(pwr_tin_10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          values("0.002517, 0.002523, 0.002516, 0.002516, 0.00252, 0.002511, 0.002506, \
                 0.002493, 0.002478, 0.002459");
        }

        rise_power(pwr_tin_10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          values("-0.002147, -0.002152, -0.00215, -0.002151, -0.002157, -0.002155, \
                 -0.002159, -0.002157, -0.002159, -0.002161");
        }
      }

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

        fall_power(pwr_tin_10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          values("0.002516, 0.002523, 0.002516, 0.002515, 0.002521, 0.002511, 0.002504, \
                 0.002492, 0.002478, 0.002459");
        }

        rise_power(pwr_tin_10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          values("-0.002147, -0.002153, -0.002149, -0.002151, -0.002156, -0.002158, \
                 -0.002159, -0.002158, -0.002159, -0.002159");
        }
      }

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

        fall_power(pwr_tin_10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          values("0.004239, 0.004242, 0.004229, 0.004232, 0.004237, 0.004234, 0.004235, \
                 0.004233, 0.004234, 0.004234");
        }

        rise_power(pwr_tin_10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          values("-0.00359, -0.003593, -0.003674, -0.003806, -0.003907, -0.003971, \
                 -0.004008, -0.004034, -0.00405, -0.004066");
        }
      }

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

        fall_power(pwr_tin_10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          values("0.002747, 0.002751, 0.00275, 0.002752, 0.00276, 0.00276, 0.00276, \
                 0.002757, 0.002759, 0.002759");
        }

        rise_power(pwr_tin_10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          values("-0.003177, -0.003159, -0.003129, -0.00312, -0.003127, -0.003122, \
                 -0.003122, -0.003122, -0.003119, -0.00312");
        }
      }
    }

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

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

        fall_power(pwr_tin_10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          values("0.004238, 0.004242, 0.004232, 0.004233, 0.004244, 0.004242, 0.004246, \
                 0.004239, 0.004244, 0.004242");
        }

        rise_power(pwr_tin_10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          values("-0.003836, -0.003901, -0.003989, -0.004054, -0.004092, -0.004114, \
                 -0.004126, -0.004135, -0.00414, -0.004145");
        }
      }

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

        fall_power(pwr_tin_10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          values("0.004237, 0.004241, 0.004232, 0.004235, 0.004244, 0.004242, 0.004245, \
                 0.004242, 0.004244, 0.004244");
        }

        rise_power(pwr_tin_10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          values("-0.003837, -0.003901, -0.003989, -0.004054, -0.004092, -0.004114, \
                 -0.004126, -0.004135, -0.004139, -0.004145");
        }
      }

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

        fall_power(pwr_tin_10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          values("0.004237, 0.004241, 0.00424, 0.004233, 0.004247, 0.004242, 0.004244, \
                 0.004242, 0.004244, 0.004243");
        }

        rise_power(pwr_tin_10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          values("-0.003837, -0.003902, -0.003989, -0.004054, -0.004092, -0.004115, \
                 -0.004126, -0.004136, -0.00414, -0.004145");
        }
      }

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

        fall_power(pwr_tin_10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          values("0.004228, 0.004232, 0.004225, 0.004226, 0.004236, 0.004232, 0.004232, \
                 0.004233, 0.004231, 0.00423");
        }

        rise_power(pwr_tin_10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          values("-0.003523, -0.003577, -0.003678, -0.003776, -0.003867, -0.003923, \
                 -0.003964, -0.003988, -0.004008, -0.004025");
        }
      }

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

        fall_power(pwr_tin_10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          values("0.004238, 0.004242, 0.004236, 0.004237, 0.004247, 0.004244, 0.004247, \
                 0.004243, 0.004248, 0.004245");
        }

        rise_power(pwr_tin_10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          values("-0.00384, -0.003902, -0.003989, -0.004051, -0.00409, -0.004115, \
                 -0.004125, -0.004135, -0.004139, -0.004147");
        }
      }
    }

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

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.001422, 0.002905, 0.005737, 0.01015, 0.01634, 0.02448, 0.03475, 0.04727, 0.06221");
          values("0.001497, 0.001497, 0.001507, 0.001508, 0.001512, 0.001515, 0.001515, 0.001513, 0.001516, 0.001514",\
                 "0.001454, 0.001462, 0.001495, 0.001523, 0.001556, 0.001573, 0.001584, 0.001594, 0.001603, 0.001609",\
                 "0.001315, 0.001339, 0.001411, 0.001502, 0.00159, 0.001649, 0.001698, 0.001734, 0.001756, 0.001772",\
                 "0.001133, 0.001162, 0.001257, 0.001385, 0.001519, 0.001626, 0.001714, 0.001776, 0.001823, 0.001858",\
                 "0.0009847, 0.001011, 0.001091, 0.001222, 0.001378, 0.001518, 0.001634, 0.001727, 0.001796, 0.001852",\
                 "0.0009386, 0.0009559, 0.001015, 0.001114, 0.001252, 0.0014, 0.001535, 0.001641, 0.001731, 0.001803",\
                 "0.001025, 0.001031, 0.001055, 0.001115, 0.001209, 0.001326, 0.00145, 0.001565, 0.001664, 0.001744",\
                 "0.001252, 0.001247, 0.001239, 0.001244, 0.001278, 0.001345, 0.001436, 0.001531, 0.001625, 0.001707",\
                 "0.001624, 0.001609, 0.001569, 0.001514, 0.00149, 0.001487, 0.001521, 0.001583, 0.001647, 0.001716",\
                 "0.002144, 0.00212, 0.00204, 0.001938, 0.001836, 0.001766, 0.001736, 0.001733, 0.001753, 0.001795");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.001422, 0.002905, 0.005737, 0.01015, 0.01634, 0.02448, 0.03475, 0.04727, 0.06221");
          values("0.01821, 0.01822, 0.01824, 0.01828, 0.01831, 0.01834, 0.01838, 0.01843, 0.01855, 0.01949",\
                 "0.01801, 0.01804, 0.01812, 0.01821, 0.0183, 0.01838, 0.01844, 0.01851, 0.01866, 0.01961",\
                 "0.01748, 0.01752, 0.01763, 0.01779, 0.01797, 0.01812, 0.01825, 0.01837, 0.01855, 0.01963",\
                 "0.01716, 0.01718, 0.01726, 0.0174, 0.01759, 0.01777, 0.01795, 0.01811, 0.01837, 0.01964",\
                 "0.01707, 0.01708, 0.01712, 0.01721, 0.01733, 0.0175, 0.01766, 0.01785, 0.01818, 0.01976",\
                 "0.01715, 0.01715, 0.01716, 0.01719, 0.01725, 0.01735, 0.01749, 0.01765, 0.01807, 0.02023",\
                 "0.01733, 0.01733, 0.01731, 0.0173, 0.01733, 0.01736, 0.01743, 0.01756, 0.01817, 0.02131",\
                 "0.01764, 0.01762, 0.01759, 0.01753, 0.0175, 0.0175, 0.01751, 0.01764, 0.01866, 0.02377",\
                 "0.01807, 0.01805, 0.01799, 0.01788, 0.01778, 0.01776, 0.01772, 0.01798, 0.02015, 0.02911",\
                 "0.01863, 0.01861, 0.01851, 0.01837, 0.01822, 0.01809, 0.01811, 0.01906, 0.02451, 0.03981");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.001422, 0.002905, 0.005737, 0.01015, 0.01634, 0.02448, 0.03475, 0.04727, 0.06221");
          values("0.001489, 0.001493, 0.001501, 0.001501, 0.001506, 0.001509, 0.001513, 0.001514, 0.001515, 0.001517",\
                 "0.001479, 0.001492, 0.001512, 0.001541, 0.001562, 0.001578, 0.001592, 0.001598, 0.001606, 0.00161",\
                 "0.00137, 0.001388, 0.001456, 0.001541, 0.001615, 0.001673, 0.001713, 0.001744, 0.001765, 0.00178",\
                 "0.001141, 0.001174, 0.001273, 0.00141, 0.00154, 0.001648, 0.00173, 0.001792, 0.001833, 0.001867",\
                 "0.0009277, 0.0009582, 0.001053, 0.001202, 0.001369, 0.001521, 0.00164, 0.001732, 0.001803, 0.001857",\
                 "0.0007932, 0.0008174, 0.0008974, 0.001031, 0.001192, 0.001359, 0.001504, 0.001626, 0.001722, 0.001793",\
                 "0.0007733, 0.0007865, 0.0008411, 0.0009387, 0.001076, 0.001229, 0.001378, 0.001511, 0.001627, 0.001716",\
                 "0.000871, 0.0008743, 0.000903, 0.0009619, 0.001051, 0.001171, 0.0013, 0.001429, 0.001543, 0.001642",\
                 "0.001101, 0.001098, 0.001094, 0.001102, 0.001144, 0.001214, 0.001306, 0.00141, 0.001508, 0.0016",\
                 "0.001457, 0.001447, 0.001417, 0.001379, 0.001359, 0.001367, 0.001408, 0.00147, 0.001541, 0.001617");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.001422, 0.002905, 0.005737, 0.01015, 0.01634, 0.02448, 0.03475, 0.04727, 0.06221");
          values("0.02136, 0.02137, 0.02138, 0.02139, 0.02141, 0.02143, 0.02146, 0.0215, 0.02163, 0.02261",\
                 "0.02113, 0.02114, 0.02116, 0.02119, 0.02123, 0.02127, 0.02131, 0.02135, 0.02149, 0.0225",\
                 "0.02078, 0.02079, 0.02085, 0.02093, 0.02101, 0.02108, 0.02116, 0.02123, 0.02139, 0.0225",\
                 "0.02055, 0.02056, 0.02061, 0.02068, 0.02078, 0.02089, 0.02098, 0.02109, 0.02129, 0.02259",\
                 "0.02048, 0.02049, 0.02051, 0.02056, 0.02063, 0.02072, 0.02083, 0.02093, 0.02121, 0.02283",\
                 "0.02053, 0.02054, 0.02055, 0.02057, 0.0206, 0.02066, 0.02073, 0.02085, 0.02121, 0.0234",\
                 "0.0207, 0.0207, 0.02069, 0.02069, 0.02068, 0.0207, 0.02074, 0.02084, 0.02142, 0.02468",\
                 "0.02099, 0.02097, 0.02094, 0.02089, 0.02087, 0.02084, 0.02083, 0.02094, 0.02201, 0.02736",\
                 "0.02139, 0.02138, 0.02133, 0.02123, 0.02114, 0.0211, 0.02107, 0.02131, 0.02362, 0.03303",\
                 "0.02191, 0.0219, 0.0218, 0.02168, 0.02153, 0.02141, 0.02144, 0.0225, 0.02828, 0.04397");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.001422, 0.002905, 0.005737, 0.01015, 0.01634, 0.02448, 0.03475, 0.04727, 0.06221");
          values("0.006428, 0.006427, 0.006415, 0.00642, 0.006421, 0.006424, 0.006429, 0.006423, 0.006427, 0.006425",\
                 "0.006476, 0.006479, 0.00648, 0.006478, 0.006479, 0.006486, 0.006477, 0.006484, 0.006484, 0.006484",\
                 "0.006457, 0.006454, 0.006467, 0.006479, 0.006497, 0.006509, 0.006514, 0.006518, 0.006532, 0.006532",\
                 "0.006273, 0.006277, 0.006304, 0.006343, 0.006385, 0.006427, 0.006448, 0.006476, 0.006498, 0.006509",\
                 "0.006079, 0.006085, 0.006115, 0.006161, 0.006224, 0.006289, 0.006337, 0.006388, 0.006423, 0.006446",\
                 "0.005953, 0.005962, 0.005995, 0.006043, 0.006097, 0.00617, 0.006236, 0.006295, 0.006335, 0.00638",\
                 "0.005961, 0.005968, 0.005968, 0.006007, 0.006049, 0.006108, 0.006167, 0.006233, 0.006277, 0.006317",\
                 "0.006124, 0.00612, 0.006118, 0.006113, 0.006111, 0.006143, 0.006171, 0.006215, 0.006257, 0.006292",\
                 "0.006434, 0.006424, 0.006392, 0.006358, 0.006317, 0.006286, 0.006283, 0.006297, 0.006306, 0.006324",\
                 "0.006901, 0.006887, 0.006833, 0.006749, 0.006669, 0.006591, 0.006514, 0.006469, 0.00645, 0.00643");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.001422, 0.002905, 0.005737, 0.01015, 0.01634, 0.02448, 0.03475, 0.04727, 0.06221");
          values("0.02393, 0.02394, 0.02395, 0.02397, 0.02399, 0.02402, 0.02407, 0.02412, 0.02416, 0.02452",\
                 "0.02382, 0.02383, 0.02386, 0.02389, 0.02394, 0.02399, 0.02403, 0.02408, 0.02414, 0.02453",\
                 "0.02359, 0.02361, 0.02364, 0.02371, 0.02379, 0.02387, 0.02394, 0.02402, 0.0241, 0.02448",\
                 "0.02344, 0.02346, 0.0235, 0.02356, 0.02365, 0.02374, 0.02383, 0.02392, 0.02403, 0.02452",\
                 "0.02337, 0.02337, 0.0234, 0.02346, 0.02352, 0.02361, 0.02371, 0.0238, 0.02394, 0.02456",\
                 "0.02333, 0.02333, 0.02336, 0.0234, 0.02345, 0.02352, 0.0236, 0.02371, 0.02388, 0.02476",\
                 "0.02328, 0.02329, 0.02332, 0.02335, 0.02341, 0.02347, 0.02355, 0.02365, 0.02388, 0.02523",\
                 "0.0233, 0.0233, 0.0233, 0.02333, 0.02338, 0.02346, 0.02352, 0.0236, 0.02404, 0.02643",\
                 "0.02339, 0.0234, 0.02339, 0.02339, 0.0234, 0.02345, 0.02355, 0.02366, 0.02463, 0.0294",\
                 "0.02358, 0.02358, 0.02356, 0.02354, 0.02351, 0.02352, 0.02359, 0.02409, 0.02683, 0.03686");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.001422, 0.002905, 0.005737, 0.01015, 0.01634, 0.02448, 0.03475, 0.04727, 0.06221");
          values("0.005714, 0.00571, 0.005714, 0.005711, 0.005711, 0.005713, 0.005712, 0.005709, 0.005713, 0.00571",\
                 "0.005735, 0.005742, 0.005739, 0.005741, 0.005738, 0.005738, 0.005742, 0.005743, 0.005738, 0.005741",\
                 "0.005675, 0.005679, 0.005687, 0.005698, 0.005709, 0.005719, 0.005726, 0.005735, 0.005732, 0.005728",\
                 "0.005481, 0.005485, 0.005516, 0.005545, 0.00558, 0.005619, 0.005642, 0.005651, 0.005664, 0.005672",\
                 "0.005283, 0.005294, 0.005324, 0.005369, 0.005433, 0.005482, 0.005531, 0.005568, 0.005593, 0.005608",\
                 "0.005176, 0.005181, 0.00521, 0.005258, 0.005306, 0.005371, 0.005429, 0.005476, 0.005511, 0.005539",\
                 "0.005202, 0.005201, 0.005214, 0.005227, 0.005269, 0.005321, 0.005366, 0.00542, 0.005461, 0.005496",\
                 "0.005369, 0.005368, 0.005354, 0.005345, 0.005344, 0.005366, 0.005396, 0.005415, 0.005452, 0.005481",\
                 "0.005706, 0.005688, 0.005652, 0.005602, 0.005557, 0.005519, 0.005508, 0.005506, 0.005509, 0.005519",\
                 "0.006192, 0.006172, 0.006107, 0.006016, 0.005912, 0.005816, 0.005734, 0.005684, 0.005657, 0.005628");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.001422, 0.002905, 0.005737, 0.01015, 0.01634, 0.02448, 0.03475, 0.04727, 0.06221");
          values("0.0222, 0.0222, 0.0222, 0.02223, 0.02225, 0.02228, 0.02231, 0.02235, 0.02249, 0.02352",\
                 "0.02208, 0.02209, 0.02212, 0.02215, 0.0222, 0.02224, 0.02228, 0.02232, 0.02248, 0.02353",\
                 "0.02185, 0.02186, 0.02191, 0.02197, 0.02205, 0.02212, 0.02219, 0.02226, 0.02244, 0.02357",\
                 "0.02171, 0.02171, 0.02175, 0.02181, 0.0219, 0.02199, 0.02208, 0.02217, 0.02238, 0.02372",\
                 "0.02162, 0.02163, 0.02166, 0.02171, 0.02178, 0.02186, 0.02195, 0.02206, 0.02235, 0.02399",\
                 "0.02159, 0.02159, 0.02161, 0.02165, 0.0217, 0.02178, 0.02185, 0.02196, 0.02235, 0.02458",\
                 "0.02155, 0.02156, 0.02158, 0.02162, 0.02166, 0.02172, 0.02179, 0.0219, 0.02248, 0.02575",\
                 "0.02156, 0.02156, 0.02157, 0.0216, 0.02165, 0.02171, 0.02175, 0.02191, 0.02298, 0.02817",\
                 "0.02165, 0.02165, 0.02165, 0.02164, 0.02165, 0.02172, 0.02179, 0.02208, 0.02428, 0.03321",\
                 "0.02185, 0.02183, 0.02182, 0.02179, 0.02177, 0.02177, 0.0219, 0.02288, 0.02803, 0.0429");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.001422, 0.002905, 0.005737, 0.01015, 0.01634, 0.02448, 0.03475, 0.04727, 0.06221");
          values("0.00571, 0.00571, 0.005714, 0.005712, 0.005707, 0.005706, 0.005705, 0.005711, 0.00571, 0.005706",\
                 "0.005739, 0.005738, 0.005738, 0.005738, 0.005735, 0.005733, 0.005734, 0.00574, 0.005736, 0.00574",\
                 "0.005681, 0.005682, 0.00569, 0.005697, 0.0057, 0.005706, 0.005716, 0.005723, 0.005727, 0.005727",\
                 "0.005481, 0.005493, 0.005514, 0.005543, 0.005584, 0.005615, 0.005632, 0.005646, 0.005658, 0.005665",\
                 "0.005279, 0.005288, 0.005322, 0.005369, 0.005423, 0.005487, 0.005531, 0.005563, 0.005589, 0.005605",\
                 "0.005177, 0.005181, 0.005213, 0.005254, 0.005307, 0.005371, 0.005431, 0.005477, 0.005511, 0.005538",\
                 "0.005194, 0.0052, 0.005205, 0.005232, 0.005274, 0.005321, 0.005368, 0.00542, 0.005463, 0.005494",\
                 "0.005373, 0.005365, 0.005353, 0.00534, 0.005341, 0.005361, 0.005393, 0.005414, 0.005452, 0.005476",\
                 "0.005695, 0.005684, 0.00565, 0.0056, 0.005553, 0.005517, 0.005502, 0.005504, 0.005507, 0.005519",\
                 "0.006187, 0.006162, 0.006112, 0.006009, 0.005905, 0.005815, 0.005732, 0.005681, 0.005654, 0.005626");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.001422, 0.002905, 0.005737, 0.01015, 0.01634, 0.02448, 0.03475, 0.04727, 0.06221");
          values("0.02565, 0.02566, 0.02567, 0.02568, 0.0257, 0.02574, 0.02576, 0.0258, 0.02595, 0.02704",\
                 "0.02556, 0.02556, 0.02559, 0.02562, 0.02566, 0.0257, 0.02573, 0.02578, 0.02594, 0.02706",\
                 "0.02536, 0.02537, 0.0254, 0.02546, 0.02553, 0.02559, 0.02565, 0.02571, 0.0259, 0.02712",\
                 "0.02521, 0.02521, 0.02524, 0.0253, 0.02537, 0.02546, 0.02553, 0.02562, 0.02585, 0.02727",\
                 "0.0251, 0.02511, 0.02514, 0.02519, 0.02525, 0.02533, 0.02541, 0.0255, 0.0258, 0.02758",\
                 "0.02505, 0.02506, 0.02508, 0.02512, 0.02517, 0.02524, 0.02531, 0.0254, 0.02582, 0.0282",\
                 "0.02502, 0.02502, 0.02505, 0.02509, 0.02512, 0.02517, 0.02524, 0.02535, 0.02599, 0.02942",\
                 "0.02501, 0.02501, 0.02502, 0.02505, 0.02511, 0.02515, 0.0252, 0.02536, 0.02647, 0.032",\
                 "0.02508, 0.02508, 0.02507, 0.02508, 0.02509, 0.02515, 0.02522, 0.02555, 0.02789, 0.03726",\
                 "0.02523, 0.02523, 0.02522, 0.0252, 0.02519, 0.02519, 0.02534, 0.02641, 0.03191, 0.04722");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.001422, 0.002905, 0.005737, 0.01015, 0.01634, 0.02448, 0.03475, 0.04727, 0.06221");
          values("0.008952, 0.00895, 0.008945, 0.008942, 0.00894, 0.008941, 0.008945, 0.008948, 0.008941, 0.008944",\
                 "0.008802, 0.008802, 0.008801, 0.008796, 0.008785, 0.008794, 0.008793, 0.008792, 0.008791, 0.00879",\
                 "0.008592, 0.008589, 0.008592, 0.008589, 0.008593, 0.008589, 0.008591, 0.008591, 0.008592, 0.008591",\
                 "0.008407, 0.008404, 0.008407, 0.008429, 0.008434, 0.008444, 0.008447, 0.008443, 0.00844, 0.008447",\
                 "0.008275, 0.008276, 0.008284, 0.008292, 0.008315, 0.008334, 0.008355, 0.008367, 0.008377, 0.008377",\
                 "0.008219, 0.008218, 0.008223, 0.008233, 0.008251, 0.008263, 0.008283, 0.008304, 0.00831, 0.00832",\
                 "0.008267, 0.008261, 0.00825, 0.008252, 0.008255, 0.008258, 0.008273, 0.008268, 0.008287, 0.00829",\
                 "0.008433, 0.008429, 0.008402, 0.008379, 0.008351, 0.008337, 0.008332, 0.008309, 0.008303, 0.008298",\
                 "0.008742, 0.008736, 0.008698, 0.008661, 0.008572, 0.00852, 0.008475, 0.008433, 0.008393, 0.008372",\
                 "0.009214, 0.009198, 0.009134, 0.009052, 0.008946, 0.008836, 0.008722, 0.008634, 0.008572, 0.0085");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.001422, 0.002905, 0.005737, 0.01015, 0.01634, 0.02448, 0.03475, 0.04727, 0.06221");
          values("0.02638, 0.02638, 0.02639, 0.02641, 0.02644, 0.02647, 0.0265, 0.02655, 0.0266, 0.02697",\
                 "0.02626, 0.02627, 0.0263, 0.02634, 0.02638, 0.02642, 0.02647, 0.02653, 0.0266, 0.02696",\
                 "0.02602, 0.02603, 0.02608, 0.02614, 0.02622, 0.0263, 0.02638, 0.02645, 0.02653, 0.02696",\
                 "0.02587, 0.0259, 0.02591, 0.02598, 0.02607, 0.02617, 0.02626, 0.02635, 0.02647, 0.02696",\
                 "0.0258, 0.02581, 0.02584, 0.02588, 0.02596, 0.02604, 0.02613, 0.02623, 0.02637, 0.02699",\
                 "0.02575, 0.02576, 0.02578, 0.02582, 0.02588, 0.02596, 0.02603, 0.02614, 0.02631, 0.02717",\
                 "0.0257, 0.02571, 0.02573, 0.02578, 0.02584, 0.0259, 0.02597, 0.02604, 0.02628, 0.02759",\
                 "0.0257, 0.0257, 0.02571, 0.02573, 0.02579, 0.02588, 0.02593, 0.02601, 0.02641, 0.02862",\
                 "0.02575, 0.02575, 0.02575, 0.02576, 0.02577, 0.02582, 0.02595, 0.02607, 0.02689, 0.03112",\
                 "0.0259, 0.0259, 0.02587, 0.02586, 0.02586, 0.02586, 0.02593, 0.02635, 0.02856, 0.0372");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.001422, 0.002905, 0.005737, 0.01015, 0.01634, 0.02448, 0.03475, 0.04727, 0.06221");
          values("0.008189, 0.008192, 0.008188, 0.008187, 0.008178, 0.008185, 0.008181, 0.008176, 0.008183, 0.008182",\
                 "0.008045, 0.008041, 0.008039, 0.008031, 0.008027, 0.008025, 0.008027, 0.008028, 0.008027, 0.008024",\
                 "0.007817, 0.007818, 0.007819, 0.007816, 0.00781, 0.007808, 0.007807, 0.007805, 0.00781, 0.007799",\
                 "0.007623, 0.007627, 0.007633, 0.007633, 0.007639, 0.00765, 0.007654, 0.007652, 0.007645, 0.007651",\
                 "0.007477, 0.007479, 0.007486, 0.007506, 0.007523, 0.007533, 0.007545, 0.007562, 0.007562, 0.007563",\
                 "0.007414, 0.00742, 0.007428, 0.007436, 0.007442, 0.007466, 0.007475, 0.007492, 0.007504, 0.007511",\
                 "0.007467, 0.007461, 0.007461, 0.007455, 0.007456, 0.00745, 0.007458, 0.00746, 0.007471, 0.007474",\
                 "0.007643, 0.007644, 0.007613, 0.007575, 0.007551, 0.007526, 0.007501, 0.007498, 0.007487, 0.007481",\
                 "0.007974, 0.007949, 0.007914, 0.007847, 0.00777, 0.0077, 0.007654, 0.007611, 0.007567, 0.007545",\
                 "0.008448, 0.008421, 0.00836, 0.008253, 0.008132, 0.008023, 0.007894, 0.007811, 0.00773, 0.007662");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.001422, 0.002905, 0.005737, 0.01015, 0.01634, 0.02448, 0.03475, 0.04727, 0.06221");
          values("0.02462, 0.02463, 0.02464, 0.02466, 0.02468, 0.02471, 0.02474, 0.02478, 0.02492, 0.02598",\
                 "0.02451, 0.02452, 0.02455, 0.02458, 0.02463, 0.02467, 0.02471, 0.02476, 0.0249, 0.02601",\
                 "0.02426, 0.02429, 0.02433, 0.02439, 0.02446, 0.02454, 0.02461, 0.02468, 0.02487, 0.02602",\
                 "0.02413, 0.02413, 0.02417, 0.02423, 0.02431, 0.02441, 0.02449, 0.02459, 0.02481, 0.02616",\
                 "0.02404, 0.02405, 0.02408, 0.02413, 0.0242, 0.02428, 0.02437, 0.02448, 0.02476, 0.02645",\
                 "0.024, 0.02401, 0.02402, 0.02407, 0.02412, 0.02419, 0.02428, 0.02438, 0.02476, 0.02699",\
                 "0.02395, 0.02396, 0.02398, 0.02403, 0.02408, 0.02413, 0.02421, 0.02432, 0.0249, 0.0281",\
                 "0.02395, 0.02396, 0.02397, 0.024, 0.02406, 0.02412, 0.02417, 0.02431, 0.02533, 0.03031",\
                 "0.02401, 0.024, 0.02401, 0.02401, 0.02403, 0.02409, 0.02419, 0.02445, 0.02644, 0.0348",\
                 "0.02414, 0.02414, 0.02413, 0.0241, 0.02409, 0.02411, 0.02425, 0.02507, 0.02954, 0.04338");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.001422, 0.002905, 0.005737, 0.01015, 0.01634, 0.02448, 0.03475, 0.04727, 0.06221");
          values("0.008194, 0.008191, 0.008189, 0.008183, 0.008177, 0.00818, 0.008173, 0.008172, 0.008177, 0.008174",\
                 "0.00804, 0.00804, 0.008037, 0.00803, 0.008026, 0.008021, 0.008021, 0.008018, 0.008019, 0.008018",\
                 "0.007816, 0.007818, 0.007819, 0.007817, 0.007808, 0.007804, 0.007803, 0.007799, 0.007802, 0.007797",\
                 "0.00762, 0.007626, 0.007634, 0.007632, 0.007645, 0.007642, 0.007646, 0.007644, 0.007641, 0.007641",\
                 "0.007481, 0.007476, 0.007489, 0.007499, 0.007519, 0.007537, 0.007544, 0.007559, 0.007558, 0.007555",\
                 "0.007417, 0.007416, 0.007425, 0.007434, 0.007446, 0.007462, 0.007479, 0.007489, 0.007499, 0.007506",\
                 "0.007461, 0.007463, 0.007454, 0.007448, 0.007452, 0.007454, 0.007453, 0.007463, 0.00747, 0.007473",\
                 "0.007641, 0.007635, 0.007611, 0.007575, 0.00755, 0.007523, 0.007507, 0.007493, 0.007486, 0.007475",\
                 "0.007967, 0.007955, 0.007911, 0.007849, 0.007768, 0.007703, 0.007648, 0.007602, 0.007564, 0.007541",\
                 "0.008437, 0.008416, 0.008356, 0.00825, 0.008133, 0.008011, 0.007894, 0.007804, 0.007727, 0.007658");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.001422, 0.002905, 0.005737, 0.01015, 0.01634, 0.02448, 0.03475, 0.04727, 0.06221");
          values("0.02809, 0.02809, 0.0281, 0.02811, 0.02814, 0.02817, 0.02819, 0.02823, 0.02838, 0.02951",\
                 "0.02799, 0.028, 0.02802, 0.02805, 0.02809, 0.02813, 0.02817, 0.02821, 0.02837, 0.02952",\
                 "0.02779, 0.02779, 0.02783, 0.02789, 0.02794, 0.02801, 0.02808, 0.02813, 0.02833, 0.02956",\
                 "0.02763, 0.02763, 0.02766, 0.02773, 0.0278, 0.02789, 0.02796, 0.02804, 0.02827, 0.02972",\
                 "0.02753, 0.02754, 0.02756, 0.02761, 0.02768, 0.02775, 0.02783, 0.02793, 0.02822, 0.03",\
                 "0.02747, 0.02748, 0.0275, 0.02753, 0.02758, 0.02766, 0.02773, 0.02782, 0.02822, 0.03059",\
                 "0.02742, 0.02743, 0.02745, 0.0275, 0.02753, 0.02759, 0.02766, 0.02776, 0.02837, 0.03177",\
                 "0.02741, 0.02741, 0.02742, 0.02744, 0.02751, 0.02756, 0.0276, 0.02776, 0.02882, 0.0341",\
                 "0.02744, 0.02744, 0.02744, 0.02744, 0.02747, 0.02754, 0.02762, 0.0279, 0.03006, 0.03879",\
                 "0.02755, 0.02755, 0.02754, 0.02752, 0.02751, 0.02753, 0.02768, 0.02858, 0.03336, 0.04768");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.001422, 0.002905, 0.005737, 0.01015, 0.01634, 0.02448, 0.03475, 0.04727, 0.06221");
          values("0.227, 0.239, 0.2816, 0.3623, 0.4881, 0.6644, 0.8963, 1.189, 1.545, 1.971",\
                 "0.2522, 0.2642, 0.3072, 0.3882, 0.5145, 0.6912, 0.9232, 1.215, 1.572, 1.998",\
                 "0.3441, 0.3566, 0.4001, 0.4822, 0.6096, 0.7865, 1.019, 1.312, 1.669, 2.095",\
                 "0.4767, 0.4948, 0.5535, 0.6534, 0.7888, 0.9669, 1.201, 1.494, 1.851, 2.276",\
                 "0.5921, 0.6166, 0.6974, 0.833, 1.015, 1.232, 1.48, 1.775, 2.132, 2.558",\
                 "0.6818, 0.7137, 0.8175, 0.9921, 1.225, 1.502, 1.813, 2.155, 2.527, 2.953",\
                 "0.7424, 0.7812, 0.9089, 1.124, 1.411, 1.751, 2.132, 2.548, 2.992, 3.464",\
                 "0.7708, 0.8175, 0.9697, 1.226, 1.569, 1.974, 2.427, 2.922, 3.448, 4.003",\
                 "0.7621, 0.8173, 0.9962, 1.295, 1.694, 2.168, 2.698, 3.271, 3.882, 4.524",\
                 "0.7182, 0.7797, 0.9834, 1.327, 1.785, 2.328, 2.934, 3.593, 4.292, 5.026");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.001422, 0.002905, 0.005737, 0.01015, 0.01634, 0.02448, 0.03475, 0.04727, 0.06221");
          values("0.6827, 0.7281, 0.8865, 1.189, 1.658, 2.316, 3.18, 4.269, 5.599, 7.181",\
                 "0.7008, 0.7471, 0.909, 1.215, 1.688, 2.349, 3.216, 4.304, 5.633, 7.218",\
                 "0.7753, 0.822, 0.9857, 1.296, 1.774, 2.44, 3.312, 4.405, 5.735, 7.321",\
                 "0.9641, 1.009, 1.168, 1.477, 1.955, 2.623, 3.498, 4.592, 5.927, 7.516",\
                 "1.289, 1.334, 1.488, 1.785, 2.259, 2.924, 3.797, 4.896, 6.233, 7.823",\
                 "1.666, 1.723, 1.912, 2.237, 2.703, 3.362, 4.232, 5.33, 6.665, 8.258",\
                 "2.071, 2.139, 2.366, 2.756, 3.288, 3.954, 4.817, 5.911, 7.243, 8.835",\
                 "2.504, 2.585, 2.851, 3.306, 3.925, 4.68, 5.564, 6.652, 7.982, 9.571",\
                 "2.971, 3.061, 3.365, 3.886, 4.595, 5.457, 6.447, 7.564, 8.891, 10.47",\
                 "3.47, 3.572, 3.914, 4.5, 5.301, 6.271, 7.381, 8.617, 9.979, 11.56");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.001422, 0.002905, 0.005737, 0.01015, 0.01634, 0.02448, 0.03475, 0.04727, 0.06221");
          values("0.2995, 0.3193, 0.3918, 0.5288, 0.7435, 1.042, 1.435, 1.932, 2.535, 3.261",\
                 "0.2993, 0.3195, 0.3918, 0.5289, 0.7433, 1.042, 1.435, 1.93, 2.537, 3.261",\
                 "0.3086, 0.3264, 0.3928, 0.5292, 0.7432, 1.043, 1.436, 1.932, 2.539, 3.262",\
                 "0.4352, 0.4517, 0.5085, 0.6092, 0.7758, 1.047, 1.436, 1.931, 2.536, 3.261",\
                 "0.6026, 0.6242, 0.695, 0.8198, 0.99, 1.204, 1.51, 1.947, 2.54, 3.261",\
                 "0.7916, 0.8184, 0.9084, 1.06, 1.265, 1.518, 1.814, 2.168, 2.647, 3.289",\
                 "0.9962, 1.03, 1.142, 1.324, 1.571, 1.867, 2.211, 2.598, 3.026, 3.553",\
                 "1.218, 1.257, 1.388, 1.605, 1.897, 2.247, 2.644, 3.082, 3.571, 4.091",\
                 "1.449, 1.497, 1.65, 1.904, 2.242, 2.645, 3.101, 3.609, 4.147, 4.731",\
                 "1.69, 1.745, 1.925, 2.219, 2.606, 3.068, 3.584, 4.151, 4.758, 5.412");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.001422, 0.002905, 0.005737, 0.01015, 0.01634, 0.02448, 0.03475, 0.04727, 0.06221");
          values("1.112, 1.187, 1.456, 1.959, 2.74, 3.831, 5.269, 7.076, 9.28, 11.9",\
                 "1.11, 1.185, 1.452, 1.961, 2.739, 3.831, 5.265, 7.076, 9.278, 11.91",\
                 "1.1, 1.177, 1.452, 1.958, 2.743, 3.831, 5.267, 7.075, 9.28, 11.91",\
                 "1.064, 1.144, 1.428, 1.951, 2.742, 3.833, 5.266, 7.076, 9.277, 11.9",\
                 "1.155, 1.215, 1.445, 1.929, 2.73, 3.831, 5.268, 7.074, 9.281, 11.91",\
                 "1.413, 1.471, 1.673, 2.058, 2.743, 3.825, 5.268, 7.073, 9.281, 11.91",\
                 "1.709, 1.778, 1.997, 2.397, 2.984, 3.9, 5.265, 7.072, 9.279, 11.91",\
                 "2.016, 2.095, 2.35, 2.797, 3.417, 4.233, 5.415, 7.088, 9.283, 11.91",\
                 "2.327, 2.418, 2.712, 3.223, 3.905, 4.768, 5.836, 7.32, 9.33, 11.91",\
                 "2.641, 2.744, 3.078, 3.656, 4.42, 5.366, 6.478, 7.816, 9.616, 12");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.001422, 0.002905, 0.005737, 0.01015, 0.01634, 0.02448, 0.03475, 0.04727, 0.06221");
          values("0.2498, 0.2615, 0.3043, 0.385, 0.5105, 0.6867, 0.9189, 1.211, 1.568, 1.993",\
                 "0.2792, 0.2913, 0.334, 0.4151, 0.5414, 0.7181, 0.9502, 1.242, 1.599, 2.025",\
                 "0.3601, 0.3726, 0.416, 0.4981, 0.625, 0.8023, 1.035, 1.328, 1.685, 2.11",\
                 "0.4744, 0.4902, 0.5435, 0.6376, 0.7723, 0.9515, 1.185, 1.478, 1.836, 2.262",\
                 "0.5873, 0.6078, 0.6764, 0.7942, 0.9574, 1.164, 1.412, 1.709, 2.067, 2.493",\
                 "0.6818, 0.7089, 0.7972, 0.9464, 1.147, 1.392, 1.679, 2.011, 2.386, 2.816",\
                 "0.7506, 0.7835, 0.8936, 1.079, 1.325, 1.619, 1.956, 2.333, 2.755, 3.222",\
                 "0.7871, 0.8286, 0.9612, 1.186, 1.481, 1.834, 2.228, 2.661, 3.137, 3.655",\
                 "0.7902, 0.838, 0.9957, 1.26, 1.61, 2.022, 2.484, 2.984, 3.522, 4.099",\
                 "0.7552, 0.8113, 0.9947, 1.302, 1.707, 2.183, 2.713, 3.289, 3.898, 4.546");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.001422, 0.002905, 0.005737, 0.01015, 0.01634, 0.02448, 0.03475, 0.04727, 0.06221");
          values("0.8552, 0.9003, 1.059, 1.362, 1.832, 2.491, 3.356, 4.446, 5.776, 7.36",\
                 "0.87, 0.9156, 1.076, 1.38, 1.851, 2.51, 3.377, 4.467, 5.796, 7.381",\
                 "0.956, 1.002, 1.164, 1.47, 1.945, 2.607, 3.475, 4.567, 5.898, 7.483",\
                 "1.148, 1.194, 1.355, 1.661, 2.136, 2.8, 3.67, 4.763, 6.095, 7.683",\
                 "1.472, 1.516, 1.671, 1.973, 2.446, 3.109, 3.98, 5.073, 6.407, 7.993",\
                 "1.896, 1.948, 2.121, 2.426, 2.893, 3.553, 4.421, 5.514, 6.846, 8.435",\
                 "2.352, 2.413, 2.621, 2.984, 3.487, 4.146, 5.01, 6.101, 7.432, 9.019",\
                 "2.836, 2.907, 3.15, 3.573, 4.16, 4.886, 5.757, 6.845, 8.173, 9.759",\
                 "3.351, 3.434, 3.712, 4.197, 4.866, 5.694, 6.655, 7.76, 9.086, 10.67",\
                 "3.901, 3.995, 4.307, 4.852, 5.607, 6.539, 7.618, 8.826, 10.18, 11.76");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.001422, 0.002905, 0.005737, 0.01015, 0.01634, 0.02448, 0.03475, 0.04727, 0.06221");
          values("0.2996, 0.3194, 0.3919, 0.5289, 0.7434, 1.042, 1.436, 1.932, 2.539, 3.259",\
                 "0.2993, 0.3193, 0.3914, 0.5281, 0.7424, 1.041, 1.436, 1.931, 2.539, 3.261",\
                 "0.304, 0.3233, 0.3929, 0.529, 0.7419, 1.043, 1.435, 1.931, 2.538, 3.262",\
                 "0.3825, 0.4004, 0.464, 0.58, 0.7662, 1.046, 1.434, 1.932, 2.538, 3.261",\
                 "0.5014, 0.521, 0.5888, 0.712, 0.8984, 1.151, 1.491, 1.95, 2.54, 3.259",\
                 "0.658, 0.6782, 0.753, 0.8874, 1.081, 1.346, 1.682, 2.096, 2.623, 3.292",\
                 "0.8344, 0.8604, 0.9478, 1.101, 1.314, 1.589, 1.935, 2.363, 2.87, 3.475",\
                 "1.03, 1.061, 1.164, 1.34, 1.579, 1.88, 2.244, 2.681, 3.2, 3.81",\
                 "1.241, 1.279, 1.396, 1.601, 1.876, 2.207, 2.603, 3.054, 3.589, 4.215",\
                 "1.463, 1.504, 1.644, 1.876, 2.186, 2.56, 2.991, 3.48, 4.046, 4.672");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.001422, 0.002905, 0.005737, 0.01015, 0.01634, 0.02448, 0.03475, 0.04727, 0.06221");
          values("1.274, 1.349, 1.615, 2.119, 2.901, 3.995, 5.435, 7.242, 9.451, 12.08",\
                 "1.271, 1.35, 1.616, 2.119, 2.903, 3.995, 5.435, 7.243, 9.451, 12.08",\
                 "1.269, 1.346, 1.614, 2.12, 2.903, 3.995, 5.432, 7.244, 9.452, 12.08",\
                 "1.25, 1.329, 1.606, 2.118, 2.902, 3.996, 5.434, 7.244, 9.452, 12.08",\
                 "1.264, 1.334, 1.586, 2.1, 2.897, 3.997, 5.435, 7.244, 9.452, 12.08",\
                 "1.48, 1.539, 1.743, 2.166, 2.891, 3.99, 5.432, 7.241, 9.452, 12.08",\
                 "1.77, 1.837, 2.06, 2.46, 3.073, 4.035, 5.432, 7.24, 9.452, 12.08",\
                 "2.087, 2.163, 2.415, 2.857, 3.478, 4.317, 5.541, 7.252, 9.451, 12.08",\
                 "2.41, 2.497, 2.787, 3.282, 3.967, 4.827, 5.924, 7.434, 9.488, 12.08",\
                 "2.734, 2.832, 3.162, 3.728, 4.49, 5.428, 6.544, 7.906, 9.74, 12.15");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.001422, 0.002905, 0.005737, 0.01015, 0.01634, 0.02448, 0.03475, 0.04727, 0.06221");
          values("0.2712, 0.2817, 0.3184, 0.3869, 0.4912, 0.6348, 0.8214, 1.055, 1.339, 1.676",\
                 "0.3014, 0.312, 0.3487, 0.4171, 0.5214, 0.665, 0.8518, 1.085, 1.369, 1.706",\
                 "0.4059, 0.4163, 0.453, 0.5212, 0.6255, 0.7692, 0.9561, 1.19, 1.474, 1.811",\
                 "0.5897, 0.6023, 0.6452, 0.7195, 0.8246, 0.9676, 1.154, 1.388, 1.672, 2.009",\
                 "0.772, 0.7898, 0.8487, 0.9514, 1.093, 1.265, 1.463, 1.698, 1.982, 2.319",\
                 "0.9328, 0.9558, 1.033, 1.166, 1.35, 1.574, 1.83, 2.112, 2.415, 2.755",\
                 "1.066, 1.095, 1.19, 1.356, 1.585, 1.864, 2.183, 2.533, 2.907, 3.303",\
                 "1.167, 1.201, 1.316, 1.516, 1.792, 2.129, 2.514, 2.935, 3.386, 3.861",\
                 "1.232, 1.273, 1.407, 1.641, 1.966, 2.363, 2.815, 3.312, 3.844, 4.404",\
                 "1.261, 1.307, 1.461, 1.731, 2.102, 2.562, 3.085, 3.658, 4.274, 4.921");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.001422, 0.002905, 0.005737, 0.01015, 0.01634, 0.02448, 0.03475, 0.04727, 0.06221");
          values("0.9095, 0.9478, 1.082, 1.339, 1.738, 2.297, 3.033, 3.959, 5.09, 6.438",\
                 "0.9322, 0.9708, 1.107, 1.364, 1.764, 2.325, 3.06, 3.987, 5.118, 6.466",\
                 "1.031, 1.07, 1.207, 1.466, 1.869, 2.43, 3.168, 4.095, 5.227, 6.576",\
                 "1.232, 1.271, 1.407, 1.666, 2.068, 2.632, 3.37, 4.298, 5.432, 6.781",\
                 "1.531, 1.571, 1.709, 1.968, 2.37, 2.932, 3.671, 4.601, 5.734, 7.084",\
                 "1.893, 1.939, 2.096, 2.378, 2.788, 3.35, 4.089, 5.018, 6.152, 7.503",\
                 "2.292, 2.347, 2.53, 2.853, 3.31, 3.898, 4.64, 5.57, 6.704, 8.054",\
                 "2.719, 2.782, 2.998, 3.369, 3.889, 4.543, 5.326, 6.264, 7.397, 8.749",\
                 "3.163, 3.24, 3.49, 3.921, 4.512, 5.243, 6.106, 7.1, 8.247, 9.597",\
                 "3.63, 3.717, 4.005, 4.499, 5.171, 5.991, 6.945, 8.027, 9.242, 10.61");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.001422, 0.002905, 0.005737, 0.01015, 0.01634, 0.02448, 0.03475, 0.04727, 0.06221");
          values("0.3185, 0.3345, 0.3925, 0.5034, 0.6727, 0.9107, 1.222, 1.618, 2.1, 2.674",\
                 "0.3172, 0.3344, 0.3927, 0.502, 0.6735, 0.9096, 1.223, 1.618, 2.098, 2.674",\
                 "0.3133, 0.3298, 0.3895, 0.5009, 0.6732, 0.9099, 1.224, 1.617, 2.099, 2.674",\
                 "0.3984, 0.4128, 0.4578, 0.543, 0.6872, 0.9114, 1.222, 1.618, 2.099, 2.673",\
                 "0.5596, 0.5776, 0.639, 0.7452, 0.8842, 1.057, 1.298, 1.641, 2.101, 2.673",\
                 "0.7374, 0.7626, 0.8414, 0.9776, 1.157, 1.369, 1.611, 1.884, 2.248, 2.733",\
                 "0.9322, 0.9606, 1.061, 1.228, 1.455, 1.715, 2.009, 2.33, 2.675, 3.063",\
                 "1.136, 1.173, 1.297, 1.504, 1.767, 2.086, 2.436, 2.818, 3.225, 3.648",\
                 "1.352, 1.397, 1.543, 1.783, 2.107, 2.477, 2.892, 3.34, 3.81, 4.302",\
                 "1.584, 1.637, 1.803, 2.082, 2.46, 2.893, 3.37, 3.886, 4.422, 4.988");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.001422, 0.002905, 0.005737, 0.01015, 0.01634, 0.02448, 0.03475, 0.04727, 0.06221");
          values("0.9963, 1.058, 1.281, 1.705, 2.365, 3.287, 4.501, 6.028, 7.89, 10.1",\
                 "0.9965, 1.058, 1.281, 1.706, 2.366, 3.289, 4.5, 6.028, 7.888, 10.1",\
                 "0.9976, 1.06, 1.281, 1.705, 2.364, 3.288, 4.5, 6.027, 7.889, 10.1",\
                 "0.998, 1.06, 1.281, 1.707, 2.366, 3.289, 4.499, 6.027, 7.888, 10.11",\
                 "1.045, 1.102, 1.307, 1.716, 2.366, 3.289, 4.501, 6.025, 7.889, 10.11",\
                 "1.208, 1.265, 1.454, 1.815, 2.407, 3.294, 4.501, 6.028, 7.89, 10.11",\
                 "1.425, 1.486, 1.686, 2.056, 2.601, 3.397, 4.527, 6.033, 7.888, 10.11",\
                 "1.697, 1.761, 1.975, 2.356, 2.925, 3.675, 4.7, 6.092, 7.898, 10.11",\
                 "1.999, 2.069, 2.304, 2.719, 3.306, 4.085, 5.064, 6.334, 8.008, 10.13",\
                 "2.326, 2.408, 2.664, 3.114, 3.744, 4.55, 5.562, 6.782, 8.322, 10.3");
        }
      }

      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.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.001422, 0.002905, 0.005737, 0.01015, 0.01634, 0.02448, 0.03475, 0.04727, 0.06221");
          values("0.2324, 0.2433, 0.2807, 0.3501, 0.4555, 0.6, 0.7875, 1.022, 1.306, 1.643",\
                 "0.2627, 0.2735, 0.3109, 0.3802, 0.4855, 0.63, 0.8174, 1.051, 1.336, 1.673",\
                 "0.3688, 0.3792, 0.4157, 0.4844, 0.5893, 0.7338, 0.9212, 1.155, 1.439, 1.777",\
                 "0.543, 0.5566, 0.6024, 0.6808, 0.7887, 0.9324, 1.119, 1.353, 1.637, 1.975",\
                 "0.7077, 0.7268, 0.7902, 0.8992, 1.047, 1.225, 1.428, 1.664, 1.947, 2.285",\
                 "0.8499, 0.8747, 0.9575, 1.099, 1.291, 1.523, 1.786, 2.072, 2.379, 2.72",\
                 "0.9643, 0.9952, 1.097, 1.273, 1.512, 1.801, 2.128, 2.484, 2.865, 3.265",\
                 "1.045, 1.082, 1.204, 1.416, 1.705, 2.053, 2.448, 2.877, 3.336, 3.816",\
                 "1.092, 1.135, 1.278, 1.524, 1.863, 2.274, 2.738, 3.245, 3.784, 4.351",\
                 "1.099, 1.147, 1.312, 1.596, 1.985, 2.459, 2.996, 3.581, 4.205, 4.86");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.001422, 0.002905, 0.005737, 0.01015, 0.01634, 0.02448, 0.03475, 0.04727, 0.06221");
          values("1.032, 1.077, 1.235, 1.537, 2.006, 2.662, 3.526, 4.618, 5.943, 7.527",\
                 "1.053, 1.099, 1.258, 1.561, 2.032, 2.689, 3.554, 4.643, 5.971, 7.555",\
                 "1.151, 1.196, 1.357, 1.661, 2.133, 2.793, 3.66, 4.75, 6.08, 7.664",\
                 "1.346, 1.391, 1.551, 1.856, 2.329, 2.989, 3.856, 4.948, 6.28, 7.866",\
                 "1.628, 1.675, 1.836, 2.139, 2.611, 3.272, 4.14, 5.234, 6.564, 8.15",\
                 "1.969, 2.021, 2.198, 2.519, 2.995, 3.655, 4.523, 5.614, 6.947, 8.533",\
                 "2.35, 2.408, 2.606, 2.962, 3.477, 4.153, 5.021, 6.114, 7.445, 9.032",\
                 "2.764, 2.831, 3.055, 3.453, 4.019, 4.75, 5.646, 6.741, 8.074, 9.66",\
                 "3.205, 3.282, 3.539, 3.985, 4.611, 5.407, 6.37, 7.501, 8.84, 10.43",\
                 "3.671, 3.759, 4.05, 4.554, 5.25, 6.119, 7.158, 8.367, 9.747, 11.34");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.001422, 0.002905, 0.005737, 0.01015, 0.01634, 0.02448, 0.03475, 0.04727, 0.06221");
          values("0.3075, 0.3243, 0.3834, 0.4923, 0.6615, 0.8985, 1.211, 1.603, 2.084, 2.659",\
                 "0.3059, 0.3231, 0.3819, 0.4911, 0.6615, 0.8999, 1.21, 1.605, 2.083, 2.659",\
                 "0.3005, 0.3168, 0.3748, 0.488, 0.6605, 0.899, 1.209, 1.603, 2.085, 2.659",\
                 "0.4108, 0.4242, 0.469, 0.5484, 0.6844, 0.8998, 1.208, 1.603, 2.085, 2.658",\
                 "0.5756, 0.594, 0.6546, 0.7584, 0.8986, 1.066, 1.297, 1.633, 2.088, 2.656",\
                 "0.7602, 0.7844, 0.8608, 0.9956, 1.173, 1.387, 1.624, 1.895, 2.244, 2.726",\
                 "0.9574, 0.9874, 1.086, 1.252, 1.474, 1.733, 2.027, 2.346, 2.684, 3.07",\
                 "1.165, 1.204, 1.325, 1.531, 1.794, 2.108, 2.459, 2.836, 3.238, 3.661",\
                 "1.386, 1.432, 1.575, 1.819, 2.135, 2.503, 2.918, 3.36, 3.824, 4.314",\
                 "1.619, 1.671, 1.841, 2.12, 2.488, 2.922, 3.397, 3.906, 4.444, 5.006");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.001422, 0.002905, 0.005737, 0.01015, 0.01634, 0.02448, 0.03475, 0.04727, 0.06221");
          values("1.122, 1.196, 1.457, 1.96, 2.739, 3.83, 5.265, 7.073, 9.276, 11.9",\
                 "1.121, 1.195, 1.458, 1.96, 2.739, 3.829, 5.267, 7.074, 9.275, 11.9",\
                 "1.123, 1.197, 1.458, 1.959, 2.737, 3.831, 5.267, 7.074, 9.282, 11.9",\
                 "1.124, 1.197, 1.46, 1.96, 2.739, 3.831, 5.268, 7.073, 9.282, 11.9",\
                 "1.161, 1.228, 1.475, 1.964, 2.74, 3.832, 5.269, 7.075, 9.277, 11.91",\
                 "1.299, 1.365, 1.596, 2.041, 2.766, 3.835, 5.267, 7.075, 9.282, 11.9",\
                 "1.468, 1.541, 1.788, 2.24, 2.915, 3.904, 5.279, 7.077, 9.278, 11.9",\
                 "1.687, 1.759, 2.015, 2.484, 3.182, 4.121, 5.402, 7.109, 9.289, 11.91",\
                 "1.948, 2.029, 2.294, 2.779, 3.495, 4.46, 5.684, 7.28, 9.342, 11.93",\
                 "2.252, 2.336, 2.616, 3.124, 3.86, 4.842, 6.098, 7.624, 9.572, 12.01");
        }
      }

      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.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.001422, 0.002905, 0.005737, 0.01015, 0.01634, 0.02448, 0.03475, 0.04727, 0.06221");
          values("0.2344, 0.2453, 0.2826, 0.3521, 0.4572, 0.6018, 0.7893, 1.023, 1.307, 1.645",\
                 "0.2647, 0.2755, 0.3128, 0.3821, 0.4874, 0.6319, 0.8194, 1.053, 1.337, 1.675",\
                 "0.3706, 0.3811, 0.4175, 0.4862, 0.5912, 0.7356, 0.923, 1.157, 1.441, 1.779",\
                 "0.5453, 0.559, 0.6046, 0.683, 0.7905, 0.9341, 1.121, 1.355, 1.639, 1.976",\
                 "0.7113, 0.7305, 0.7936, 0.9022, 1.049, 1.227, 1.43, 1.665, 1.949, 2.286",\
                 "0.855, 0.8795, 0.9617, 1.103, 1.294, 1.526, 1.788, 2.074, 2.381, 2.722",\
                 "0.9695, 1.001, 1.102, 1.278, 1.516, 1.805, 2.131, 2.487, 2.867, 3.266",\
                 "1.052, 1.088, 1.211, 1.422, 1.71, 2.057, 2.451, 2.881, 3.338, 3.819",\
                 "1.1, 1.143, 1.286, 1.531, 1.869, 2.278, 2.742, 3.248, 3.787, 4.353",\
                 "1.108, 1.156, 1.321, 1.604, 1.992, 2.464, 3.001, 3.586, 4.209, 4.862");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.001422, 0.002905, 0.005737, 0.01015, 0.01634, 0.02448, 0.03475, 0.04727, 0.06221");
          values("1.224, 1.27, 1.429, 1.732, 2.202, 2.861, 3.726, 4.816, 6.146, 7.73",\
                 "1.247, 1.293, 1.453, 1.757, 2.228, 2.888, 3.754, 4.844, 6.174, 7.759",\
                 "1.346, 1.392, 1.553, 1.858, 2.332, 2.993, 3.86, 4.951, 6.282, 7.868",\
                 "1.541, 1.587, 1.748, 2.053, 2.526, 3.189, 4.058, 5.15, 6.482, 8.068",\
                 "1.825, 1.871, 2.032, 2.337, 2.81, 3.472, 4.341, 5.434, 6.767, 8.354",\
                 "2.188, 2.238, 2.408, 2.72, 3.194, 3.855, 4.724, 5.816, 7.15, 8.738",\
                 "2.596, 2.651, 2.84, 3.183, 3.685, 4.354, 5.223, 6.316, 7.648, 9.236",\
                 "3.045, 3.106, 3.318, 3.697, 4.246, 4.962, 5.849, 6.943, 8.275, 9.864",\
                 "3.527, 3.598, 3.836, 4.258, 4.86, 5.636, 6.585, 7.707, 9.043, 10.63",\
                 "4.04, 4.119, 4.387, 4.86, 5.524, 6.369, 7.388, 8.582, 9.954, 11.55");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.001422, 0.002905, 0.005737, 0.01015, 0.01634, 0.02448, 0.03475, 0.04727, 0.06221");
          values("0.3405, 0.3572, 0.4179, 0.5321, 0.7068, 0.9481, 1.262, 1.655, 2.136, 2.709",\
                 "0.339, 0.3566, 0.4163, 0.5314, 0.7065, 0.9478, 1.262, 1.655, 2.136, 2.709",\
                 "0.3316, 0.3486, 0.4101, 0.5267, 0.7045, 0.9469, 1.261, 1.655, 2.136, 2.709",\
                 "0.45, 0.4638, 0.506, 0.5886, 0.7292, 0.9494, 1.26, 1.655, 2.136, 2.71",\
                 "0.6448, 0.6624, 0.72, 0.8182, 0.9514, 1.116, 1.349, 1.684, 2.14, 2.709",\
                 "0.8636, 0.887, 0.9572, 1.081, 1.25, 1.453, 1.681, 1.945, 2.298, 2.776",\
                 "1.096, 1.122, 1.211, 1.364, 1.57, 1.816, 2.1, 2.407, 2.74, 3.121",\
                 "1.34, 1.372, 1.484, 1.667, 1.911, 2.209, 2.545, 2.911, 3.303, 3.719",\
                 "1.595, 1.637, 1.762, 1.982, 2.272, 2.624, 3.02, 3.446, 3.905, 4.385",\
                 "1.862, 1.91, 2.054, 2.312, 2.653, 3.065, 3.517, 4.01, 4.532, 5.082");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.001422, 0.002905, 0.005737, 0.01015, 0.01634, 0.02448, 0.03475, 0.04727, 0.06221");
          values("1.277, 1.354, 1.618, 2.12, 2.901, 3.996, 5.432, 7.24, 9.45, 12.08",\
                 "1.278, 1.354, 1.618, 2.122, 2.903, 3.995, 5.431, 7.243, 9.452, 12.08",\
                 "1.279, 1.354, 1.618, 2.12, 2.903, 3.997, 5.434, 7.244, 9.451, 12.08",\
                 "1.279, 1.354, 1.618, 2.121, 2.903, 3.995, 5.432, 7.242, 9.45, 12.08",\
                 "1.294, 1.367, 1.624, 2.123, 2.902, 3.995, 5.435, 7.244, 9.452, 12.08",\
                 "1.409, 1.476, 1.712, 2.171, 2.915, 3.998, 5.434, 7.244, 9.451, 12.08",\
                 "1.578, 1.65, 1.898, 2.348, 3.038, 4.047, 5.441, 7.241, 9.45, 12.08",\
                 "1.787, 1.863, 2.12, 2.589, 3.293, 4.238, 5.54, 7.267, 9.45, 12.08",\
                 "2.042, 2.119, 2.387, 2.877, 3.597, 4.57, 5.8, 7.418, 9.502, 12.08",\
                 "2.332, 2.42, 2.702, 3.208, 3.954, 4.944, 6.202, 7.748, 9.708, 12.17");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.001422, 0.002905, 0.005737, 0.01015, 0.01634, 0.02448, 0.03475, 0.04727, 0.06221");
          values("0.2712, 0.2817, 0.3184, 0.3869, 0.4912, 0.6348, 0.8214, 1.055, 1.339, 1.676",\
                 "0.3014, 0.312, 0.3487, 0.4171, 0.5214, 0.665, 0.8518, 1.085, 1.369, 1.706",\
                 "0.4059, 0.4163, 0.453, 0.5212, 0.6255, 0.7692, 0.9561, 1.19, 1.474, 1.811",\
                 "0.5897, 0.6023, 0.6452, 0.7195, 0.8246, 0.9676, 1.154, 1.388, 1.672, 2.009",\
                 "0.772, 0.7898, 0.8487, 0.9514, 1.093, 1.265, 1.463, 1.698, 1.982, 2.319",\
                 "0.9328, 0.9558, 1.033, 1.166, 1.35, 1.574, 1.83, 2.112, 2.415, 2.755",\
                 "1.066, 1.095, 1.19, 1.356, 1.585, 1.864, 2.183, 2.533, 2.907, 3.303",\
                 "1.167, 1.201, 1.316, 1.516, 1.792, 2.129, 2.514, 2.935, 3.386, 3.861",\
                 "1.232, 1.273, 1.407, 1.641, 1.966, 2.363, 2.815, 3.312, 3.844, 4.404",\
                 "1.261, 1.307, 1.461, 1.731, 2.102, 2.562, 3.085, 3.658, 4.274, 4.921");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.001422, 0.002905, 0.005737, 0.01015, 0.01634, 0.02448, 0.03475, 0.04727, 0.06221");
          values("1.224, 1.27, 1.429, 1.732, 2.202, 2.861, 3.726, 4.816, 6.146, 7.73",\
                 "1.247, 1.293, 1.453, 1.757, 2.228, 2.888, 3.754, 4.844, 6.174, 7.759",\
                 "1.346, 1.392, 1.553, 1.858, 2.332, 2.993, 3.86, 4.951, 6.282, 7.868",\
                 "1.541, 1.587, 1.748, 2.053, 2.526, 3.189, 4.058, 5.15, 6.482, 8.068",\
                 "1.825, 1.871, 2.032, 2.337, 2.81, 3.472, 4.341, 5.434, 6.767, 8.354",\
                 "2.188, 2.238, 2.408, 2.72, 3.194, 3.855, 4.724, 5.816, 7.15, 8.738",\
                 "2.596, 2.651, 2.84, 3.183, 3.685, 4.354, 5.223, 6.316, 7.648, 9.236",\
                 "3.045, 3.106, 3.318, 3.697, 4.246, 4.962, 5.849, 6.943, 8.275, 9.864",\
                 "3.527, 3.598, 3.836, 4.258, 4.86, 5.636, 6.585, 7.707, 9.043, 10.63",\
                 "4.04, 4.119, 4.387, 4.86, 5.524, 6.369, 7.388, 8.582, 9.954, 11.55");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.001422, 0.002905, 0.005737, 0.01015, 0.01634, 0.02448, 0.03475, 0.04727, 0.06221");
          values("0.3405, 0.3572, 0.4179, 0.5321, 0.7068, 0.9481, 1.262, 1.655, 2.136, 2.709",\
                 "0.339, 0.3566, 0.4163, 0.5314, 0.7065, 0.9478, 1.262, 1.655, 2.136, 2.709",\
                 "0.3316, 0.3486, 0.4101, 0.5267, 0.7045, 0.9469, 1.261, 1.655, 2.136, 2.709",\
                 "0.45, 0.4638, 0.506, 0.5886, 0.7292, 0.9494, 1.26, 1.655, 2.136, 2.71",\
                 "0.6448, 0.6624, 0.72, 0.8182, 0.9514, 1.116, 1.349, 1.684, 2.14, 2.709",\
                 "0.8636, 0.887, 0.9572, 1.081, 1.25, 1.453, 1.681, 1.945, 2.298, 2.776",\
                 "1.096, 1.122, 1.211, 1.364, 1.57, 1.816, 2.1, 2.407, 2.74, 3.121",\
                 "1.34, 1.372, 1.484, 1.667, 1.911, 2.209, 2.545, 2.911, 3.303, 3.719",\
                 "1.595, 1.637, 1.762, 1.982, 2.272, 2.624, 3.02, 3.446, 3.905, 4.385",\
                 "1.862, 1.91, 2.054, 2.312, 2.653, 3.065, 3.517, 4.01, 4.532, 5.082");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.001422, 0.002905, 0.005737, 0.01015, 0.01634, 0.02448, 0.03475, 0.04727, 0.06221");
          values("1.277, 1.354, 1.618, 2.12, 2.901, 3.996, 5.432, 7.24, 9.45, 12.08",\
                 "1.278, 1.354, 1.618, 2.122, 2.903, 3.995, 5.431, 7.243, 9.452, 12.08",\
                 "1.279, 1.354, 1.618, 2.12, 2.903, 3.997, 5.434, 7.244, 9.451, 12.08",\
                 "1.279, 1.354, 1.618, 2.121, 2.903, 3.995, 5.432, 7.242, 9.45, 12.08",\
                 "1.294, 1.367, 1.624, 2.123, 2.902, 3.995, 5.435, 7.244, 9.452, 12.08",\
                 "1.409, 1.476, 1.712, 2.171, 2.915, 3.998, 5.434, 7.244, 9.451, 12.08",\
                 "1.578, 1.65, 1.898, 2.348, 3.038, 4.047, 5.441, 7.241, 9.45, 12.08",\
                 "1.787, 1.863, 2.12, 2.589, 3.293, 4.238, 5.54, 7.267, 9.45, 12.08",\
                 "2.042, 2.119, 2.387, 2.877, 3.597, 4.57, 5.8, 7.418, 9.502, 12.08",\
                 "2.332, 2.42, 2.702, 3.208, 3.954, 4.944, 6.202, 7.748, 9.708, 12.17");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.001422, 0.002905, 0.005737, 0.01015, 0.01634, 0.02448, 0.03475, 0.04727, 0.06221");
          values("0.2921, 0.3034, 0.3427, 0.4151, 0.5238, 0.672, 0.8627, 1.1, 1.386, 1.726",\
                 "0.3201, 0.3315, 0.3707, 0.4429, 0.5516, 0.6996, 0.8903, 1.127, 1.414, 1.753",\
                 "0.4238, 0.4348, 0.4733, 0.5449, 0.6532, 0.8011, 0.9918, 1.229, 1.515, 1.855",\
                 "0.6196, 0.6318, 0.6738, 0.7467, 0.8533, 0.9988, 1.189, 1.426, 1.712, 2.051",\
                 "0.8241, 0.8414, 0.8984, 0.9984, 1.136, 1.304, 1.5, 1.736, 2.022, 2.362",\
                 "1.012, 1.034, 1.108, 1.236, 1.413, 1.631, 1.881, 2.157, 2.457, 2.798",\
                 "1.175, 1.202, 1.292, 1.451, 1.672, 1.941, 2.251, 2.594, 2.962, 3.352",\
                 "1.306, 1.339, 1.449, 1.639, 1.902, 2.228, 2.601, 3.012, 3.455, 3.923",\
                 "1.405, 1.442, 1.569, 1.793, 2.102, 2.485, 2.923, 3.408, 3.928, 4.479",\
                 "1.468, 1.512, 1.656, 1.912, 2.267, 2.708, 3.214, 3.773, 4.375, 5.011");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.001422, 0.002905, 0.005737, 0.01015, 0.01634, 0.02448, 0.03475, 0.04727, 0.06221");
          values("0.981, 1.019, 1.154, 1.41, 1.809, 2.369, 3.105, 4.032, 5.163, 6.509",\
                 "1.011, 1.05, 1.186, 1.443, 1.843, 2.404, 3.14, 4.066, 5.198, 6.545",\
                 "1.119, 1.158, 1.294, 1.554, 1.955, 2.517, 3.255, 4.182, 5.314, 6.663",\
                 "1.305, 1.343, 1.48, 1.739, 2.141, 2.704, 3.442, 4.371, 5.504, 6.854",\
                 "1.569, 1.609, 1.746, 2.005, 2.407, 2.969, 3.708, 4.638, 5.771, 7.121",\
                 "1.882, 1.926, 2.077, 2.353, 2.762, 3.324, 4.063, 4.992, 6.126, 7.476",\
                 "2.225, 2.274, 2.442, 2.746, 3.191, 3.777, 4.519, 5.449, 6.582, 7.932",\
                 "2.598, 2.653, 2.839, 3.174, 3.66, 4.295, 5.077, 6.017, 7.15, 8.501",\
                 "2.999, 3.061, 3.267, 3.637, 4.167, 4.854, 5.694, 6.687, 7.84, 9.193",\
                 "3.429, 3.498, 3.729, 4.136, 4.716, 5.457, 6.359, 7.417, 8.634, 10.01");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.001422, 0.002905, 0.005737, 0.01015, 0.01634, 0.02448, 0.03475, 0.04727, 0.06221");
          values("0.3603, 0.3782, 0.4372, 0.55, 0.7219, 0.961, 1.272, 1.664, 2.145, 2.719",\
                 "0.3589, 0.3763, 0.4365, 0.5488, 0.7213, 0.9591, 1.272, 1.664, 2.145, 2.719",\
                 "0.349, 0.3666, 0.4293, 0.544, 0.7187, 0.9592, 1.271, 1.663, 2.145, 2.718",\
                 "0.4194, 0.434, 0.4792, 0.5686, 0.7226, 0.9538, 1.268, 1.663, 2.145, 2.718",\
                 "0.5806, 0.6012, 0.6602, 0.7642, 0.9042, 1.076, 1.324, 1.676, 2.146, 2.718",\
                 "0.7596, 0.785, 0.8614, 0.9934, 1.172, 1.384, 1.623, 1.901, 2.269, 2.764",\
                 "0.9534, 0.9818, 1.082, 1.248, 1.466, 1.726, 2.019, 2.337, 2.68, 3.077",\
                 "1.16, 1.196, 1.316, 1.512, 1.78, 2.095, 2.442, 2.822, 3.227, 3.65",\
                 "1.371, 1.416, 1.56, 1.795, 2.11, 2.481, 2.894, 3.337, 3.805, 4.301",\
                 "1.598, 1.648, 1.814, 2.086, 2.453, 2.889, 3.368, 3.875, 4.422, 4.984");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.001422, 0.002905, 0.005737, 0.01015, 0.01634, 0.02448, 0.03475, 0.04727, 0.06221");
          values("0.9958, 1.059, 1.281, 1.706, 2.366, 3.288, 4.501, 6.026, 7.888, 10.11",\
                 "0.9962, 1.059, 1.281, 1.704, 2.366, 3.289, 4.5, 6.028, 7.889, 10.1",\
                 "0.9956, 1.059, 1.283, 1.705, 2.365, 3.288, 4.5, 6.026, 7.889, 10.11",\
                 "0.997, 1.062, 1.281, 1.706, 2.366, 3.288, 4.501, 6.028, 7.889, 10.1",\
                 "1.03, 1.088, 1.299, 1.711, 2.366, 3.288, 4.501, 6.026, 7.888, 10.1",\
                 "1.148, 1.209, 1.412, 1.791, 2.401, 3.294, 4.503, 6.028, 7.89, 10.11",\
                 "1.287, 1.35, 1.568, 1.971, 2.56, 3.39, 4.529, 6.031, 7.888, 10.11",\
                 "1.446, 1.512, 1.743, 2.168, 2.792, 3.619, 4.691, 6.103, 7.903, 10.11",\
                 "1.631, 1.702, 1.944, 2.388, 3.042, 3.91, 4.995, 6.33, 8.028, 10.15",\
                 "1.858, 1.928, 2.182, 2.64, 3.318, 4.222, 5.346, 6.706, 8.326, 10.33");
        }
      }

      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.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.001422, 0.002905, 0.005737, 0.01015, 0.01634, 0.02448, 0.03475, 0.04727, 0.06221");
          values("0.2397, 0.2515, 0.2918, 0.366, 0.4771, 0.6276, 0.8205, 1.059, 1.347, 1.688",\
                 "0.2687, 0.2803, 0.3204, 0.3943, 0.5052, 0.6554, 0.8482, 1.087, 1.375, 1.716",\
                 "0.3766, 0.3876, 0.4259, 0.498, 0.6075, 0.7571, 0.9497, 1.188, 1.476, 1.817",\
                 "0.5642, 0.5781, 0.6235, 0.7015, 0.81, 0.9563, 1.147, 1.385, 1.673, 2.014",\
                 "0.7516, 0.7701, 0.8319, 0.9381, 1.083, 1.259, 1.459, 1.697, 1.983, 2.323",\
                 "0.9201, 0.9444, 1.024, 1.16, 1.347, 1.573, 1.832, 2.114, 2.418, 2.76",\
                 "1.064, 1.094, 1.191, 1.36, 1.591, 1.872, 2.191, 2.541, 2.916, 3.311",\
                 "1.176, 1.211, 1.328, 1.531, 1.808, 2.145, 2.53, 2.95, 3.4, 3.875",\
                 "1.255, 1.296, 1.431, 1.668, 1.992, 2.389, 2.84, 3.335, 3.864, 4.422",\
                 "1.298, 1.344, 1.499, 1.768, 2.142, 2.598, 3.119, 3.691, 4.303, 4.945");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.001422, 0.002905, 0.005737, 0.01015, 0.01634, 0.02448, 0.03475, 0.04727, 0.06221");
          values("1.103, 1.148, 1.306, 1.607, 2.076, 2.733, 3.597, 4.685, 6.014, 7.598",\
                 "1.132, 1.177, 1.337, 1.639, 2.109, 2.767, 3.632, 4.721, 6.052, 7.633",\
                 "1.237, 1.283, 1.443, 1.748, 2.219, 2.881, 3.747, 4.836, 6.166, 7.752",\
                 "1.421, 1.467, 1.627, 1.931, 2.404, 3.064, 3.932, 5.023, 6.355, 7.94",\
                 "1.681, 1.727, 1.887, 2.191, 2.663, 3.323, 4.191, 5.283, 6.617, 8.201",\
                 "1.992, 2.042, 2.214, 2.529, 3.003, 3.663, 4.532, 5.623, 6.955, 8.541",\
                 "2.331, 2.386, 2.572, 2.914, 3.419, 4.091, 4.96, 6.051, 7.382, 8.973",\
                 "2.697, 2.757, 2.961, 3.331, 3.873, 4.591, 5.484, 6.578, 7.911, 9.496",\
                 "3.09, 3.155, 3.378, 3.78, 4.363, 5.129, 6.077, 7.209, 8.546, 10.13",\
                 "3.512, 3.585, 3.828, 4.263, 4.892, 5.709, 6.714, 7.907, 9.292, 10.89");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.001422, 0.002905, 0.005737, 0.01015, 0.01634, 0.02448, 0.03475, 0.04727, 0.06221");
          values("0.3459, 0.3636, 0.4253, 0.5406, 0.7134, 0.9525, 1.265, 1.658, 2.137, 2.709",\
                 "0.3425, 0.3597, 0.4225, 0.5376, 0.7116, 0.9524, 1.265, 1.658, 2.135, 2.708",\
                 "0.329, 0.3466, 0.4101, 0.528, 0.7063, 0.9483, 1.263, 1.656, 2.137, 2.709",\
                 "0.4356, 0.4486, 0.4932, 0.576, 0.7178, 0.9438, 1.256, 1.653, 2.135, 2.708",\
                 "0.605, 0.6232, 0.6838, 0.7846, 0.9216, 1.089, 1.328, 1.672, 2.135, 2.706",\
                 "0.7904, 0.8144, 0.892, 1.022, 1.198, 1.406, 1.643, 1.911, 2.272, 2.761",\
                 "0.989, 1.018, 1.117, 1.282, 1.495, 1.753, 2.042, 2.357, 2.697, 3.087",\
                 "1.2, 1.236, 1.354, 1.554, 1.814, 2.127, 2.47, 2.846, 3.251, 3.669",\
                 "1.419, 1.467, 1.602, 1.841, 2.15, 2.516, 2.925, 3.368, 3.831, 4.322",\
                 "1.652, 1.706, 1.869, 2.137, 2.501, 2.935, 3.399, 3.911, 4.444, 5.006");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.001422, 0.002905, 0.005737, 0.01015, 0.01634, 0.02448, 0.03475, 0.04727, 0.06221");
          values("1.121, 1.196, 1.46, 1.959, 2.738, 3.831, 5.266, 7.074, 9.276, 11.9",\
                 "1.122, 1.197, 1.458, 1.96, 2.74, 3.831, 5.268, 7.075, 9.281, 11.9",\
                 "1.121, 1.197, 1.458, 1.96, 2.738, 3.832, 5.266, 7.073, 9.279, 11.91",\
                 "1.123, 1.198, 1.459, 1.96, 2.739, 3.831, 5.268, 7.075, 9.281, 11.9",\
                 "1.143, 1.217, 1.47, 1.962, 2.739, 3.83, 5.265, 7.073, 9.28, 11.9",\
                 "1.247, 1.316, 1.556, 2.017, 2.757, 3.835, 5.265, 7.075, 9.279, 11.91",\
                 "1.37, 1.443, 1.701, 2.172, 2.877, 3.89, 5.277, 7.076, 9.281, 11.91",\
                 "1.509, 1.586, 1.854, 2.351, 3.088, 4.075, 5.387, 7.111, 9.294, 11.9",\
                 "1.666, 1.749, 2.031, 2.547, 3.318, 4.344, 5.634, 7.27, 9.352, 11.93",\
                 "1.856, 1.942, 2.234, 2.764, 3.566, 4.634, 5.964, 7.582, 9.568, 12.03");
        }
      }

      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.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.001422, 0.002905, 0.005737, 0.01015, 0.01634, 0.02448, 0.03475, 0.04727, 0.06221");
          values("0.2419, 0.2536, 0.2939, 0.368, 0.479, 0.6294, 0.8222, 1.061, 1.349, 1.69",\
                 "0.2709, 0.2825, 0.3225, 0.3964, 0.507, 0.6574, 0.8501, 1.089, 1.377, 1.717",\
                 "0.3786, 0.3896, 0.4279, 0.4999, 0.6094, 0.759, 0.9514, 1.19, 1.478, 1.819",\
                 "0.5669, 0.5806, 0.6259, 0.7037, 0.8117, 0.958, 1.149, 1.387, 1.675, 2.016",\
                 "0.755, 0.7736, 0.8351, 0.9412, 1.086, 1.261, 1.461, 1.698, 1.985, 2.325",\
                 "0.9249, 0.9487, 1.028, 1.164, 1.35, 1.577, 1.834, 2.116, 2.42, 2.761",\
                 "1.07, 1.099, 1.196, 1.364, 1.595, 1.875, 2.194, 2.544, 2.918, 3.313",\
                 "1.183, 1.218, 1.334, 1.537, 1.812, 2.149, 2.533, 2.953, 3.403, 3.877",\
                 "1.264, 1.304, 1.438, 1.673, 1.998, 2.394, 2.844, 3.339, 3.867, 4.425",\
                 "1.306, 1.353, 1.508, 1.777, 2.148, 2.604, 3.124, 3.695, 4.307, 4.949");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.001422, 0.002905, 0.005737, 0.01015, 0.01634, 0.02448, 0.03475, 0.04727, 0.06221");
          values("1.295, 1.34, 1.5, 1.803, 2.273, 2.932, 3.797, 4.887, 6.217, 7.801",\
                 "1.326, 1.371, 1.531, 1.835, 2.307, 2.966, 3.832, 4.922, 6.252, 7.837",\
                 "1.433, 1.479, 1.64, 1.945, 2.418, 3.079, 3.947, 5.038, 6.369, 7.954",\
                 "1.616, 1.662, 1.823, 2.128, 2.602, 3.264, 4.133, 5.226, 6.558, 8.144",\
                 "1.877, 1.923, 2.083, 2.388, 2.861, 3.523, 4.392, 5.485, 6.818, 8.405",\
                 "2.203, 2.252, 2.419, 2.728, 3.201, 3.863, 4.732, 5.824, 7.157, 8.745",\
                 "2.561, 2.614, 2.796, 3.129, 3.624, 4.292, 5.16, 6.253, 7.585, 9.172",\
                 "2.95, 3.007, 3.203, 3.563, 4.094, 4.801, 5.687, 6.781, 8.113, 9.7",\
                 "3.368, 3.429, 3.642, 4.03, 4.6, 5.353, 6.291, 7.413, 8.75, 10.34",\
                 "3.816, 3.885, 4.115, 4.535, 5.146, 5.947, 6.939, 8.123, 9.499, 11.09");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.001422, 0.002905, 0.005737, 0.01015, 0.01634, 0.02448, 0.03475, 0.04727, 0.06221");
          values("0.3847, 0.4033, 0.4669, 0.5846, 0.7622, 1.004, 1.317, 1.71, 2.188, 2.76",\
                 "0.3812, 0.3995, 0.4636, 0.5825, 0.7604, 1.003, 1.317, 1.709, 2.188, 2.76",\
                 "0.366, 0.3842, 0.45, 0.5721, 0.7544, 0.9999, 1.315, 1.708, 2.188, 2.76",\
                 "0.4778, 0.4908, 0.5334, 0.6186, 0.766, 0.994, 1.309, 1.706, 2.187, 2.759",\
                 "0.6766, 0.6938, 0.7492, 0.8444, 0.9758, 1.141, 1.38, 1.723, 2.186, 2.757",\
                 "0.899, 0.9166, 0.9866, 1.108, 1.272, 1.47, 1.7, 1.965, 2.324, 2.811",\
                 "1.128, 1.154, 1.242, 1.392, 1.59, 1.835, 2.116, 2.418, 2.752, 3.138",\
                 "1.371, 1.403, 1.508, 1.687, 1.929, 2.223, 2.555, 2.92, 3.316, 3.726",\
                 "1.623, 1.662, 1.786, 2.002, 2.294, 2.637, 3.026, 3.45, 3.905, 4.388",\
                 "1.89, 1.935, 2.081, 2.323, 2.661, 3.071, 3.518, 4.014, 4.536, 5.084");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.001422, 0.002905, 0.005737, 0.01015, 0.01634, 0.02448, 0.03475, 0.04727, 0.06221");
          values("1.279, 1.354, 1.618, 2.121, 2.903, 3.995, 5.434, 7.244, 9.449, 12.08",\
                 "1.278, 1.355, 1.618, 2.121, 2.903, 3.996, 5.432, 7.244, 9.45, 12.07",\
                 "1.279, 1.354, 1.618, 2.121, 2.903, 3.996, 5.434, 7.243, 9.452, 12.08",\
                 "1.279, 1.354, 1.616, 2.12, 2.901, 3.995, 5.434, 7.243, 9.45, 12.07",\
                 "1.288, 1.361, 1.621, 2.122, 2.903, 3.995, 5.435, 7.243, 9.452, 12.08",\
                 "1.372, 1.441, 1.686, 2.157, 2.911, 3.997, 5.434, 7.243, 9.451, 12.08",\
                 "1.5, 1.575, 1.828, 2.296, 3.011, 4.039, 5.441, 7.244, 9.45, 12.08",\
                 "1.639, 1.717, 1.987, 2.48, 3.215, 4.204, 5.532, 7.268, 9.453, 12.08",\
                 "1.796, 1.879, 2.162, 2.677, 3.443, 4.468, 5.764, 7.416, 9.512, 12.09",\
                 "1.98, 2.066, 2.356, 2.894, 3.694, 4.756, 6.092, 7.71, 9.714, 12.19");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.001422, 0.002905, 0.005737, 0.01015, 0.01634, 0.02448, 0.03475, 0.04727, 0.06221");
          values("0.2921, 0.3034, 0.3427, 0.4151, 0.5238, 0.672, 0.8627, 1.1, 1.386, 1.726",\
                 "0.3201, 0.3315, 0.3707, 0.4429, 0.5516, 0.6996, 0.8903, 1.127, 1.414, 1.753",\
                 "0.4238, 0.4348, 0.4733, 0.5449, 0.6532, 0.8011, 0.9918, 1.229, 1.515, 1.855",\
                 "0.6196, 0.6318, 0.6738, 0.7467, 0.8533, 0.9988, 1.189, 1.426, 1.712, 2.051",\
                 "0.8241, 0.8414, 0.8984, 0.9984, 1.136, 1.304, 1.5, 1.736, 2.022, 2.362",\
                 "1.012, 1.034, 1.108, 1.236, 1.413, 1.631, 1.881, 2.157, 2.457, 2.798",\
                 "1.175, 1.202, 1.292, 1.451, 1.672, 1.941, 2.251, 2.594, 2.962, 3.352",\
                 "1.306, 1.339, 1.449, 1.639, 1.902, 2.228, 2.601, 3.012, 3.455, 3.923",\
                 "1.405, 1.442, 1.569, 1.793, 2.102, 2.485, 2.923, 3.408, 3.928, 4.479",\
                 "1.468, 1.512, 1.656, 1.912, 2.267, 2.708, 3.214, 3.773, 4.375, 5.011");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.001422, 0.002905, 0.005737, 0.01015, 0.01634, 0.02448, 0.03475, 0.04727, 0.06221");
          values("1.295, 1.34, 1.5, 1.803, 2.273, 2.932, 3.797, 4.887, 6.217, 7.801",\
                 "1.326, 1.371, 1.531, 1.835, 2.307, 2.966, 3.832, 4.922, 6.252, 7.837",\
                 "1.433, 1.479, 1.64, 1.945, 2.418, 3.079, 3.947, 5.038, 6.369, 7.954",\
                 "1.616, 1.662, 1.823, 2.128, 2.602, 3.264, 4.133, 5.226, 6.558, 8.144",\
                 "1.877, 1.923, 2.083, 2.388, 2.861, 3.523, 4.392, 5.485, 6.818, 8.405",\
                 "2.203, 2.252, 2.419, 2.728, 3.201, 3.863, 4.732, 5.824, 7.157, 8.745",\
                 "2.561, 2.614, 2.796, 3.129, 3.624, 4.292, 5.16, 6.253, 7.585, 9.172",\
                 "2.95, 3.007, 3.203, 3.563, 4.094, 4.801, 5.687, 6.781, 8.113, 9.7",\
                 "3.368, 3.429, 3.642, 4.03, 4.6, 5.353, 6.291, 7.413, 8.75, 10.34",\
                 "3.816, 3.885, 4.115, 4.535, 5.146, 5.947, 6.939, 8.123, 9.499, 11.09");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.001422, 0.002905, 0.005737, 0.01015, 0.01634, 0.02448, 0.03475, 0.04727, 0.06221");
          values("0.3847, 0.4033, 0.4669, 0.5846, 0.7622, 1.004, 1.317, 1.71, 2.188, 2.76",\
                 "0.3812, 0.3995, 0.4636, 0.5825, 0.7604, 1.003, 1.317, 1.709, 2.188, 2.76",\
                 "0.366, 0.3842, 0.45, 0.5721, 0.7544, 0.9999, 1.315, 1.708, 2.188, 2.76",\
                 "0.4778, 0.4908, 0.5334, 0.6186, 0.766, 0.994, 1.309, 1.706, 2.187, 2.759",\
                 "0.6766, 0.6938, 0.7492, 0.8444, 0.9758, 1.141, 1.38, 1.723, 2.186, 2.757",\
                 "0.899, 0.9166, 0.9866, 1.108, 1.272, 1.47, 1.7, 1.965, 2.324, 2.811",\
                 "1.128, 1.154, 1.242, 1.392, 1.59, 1.835, 2.116, 2.418, 2.752, 3.138",\
                 "1.371, 1.403, 1.508, 1.687, 1.929, 2.223, 2.555, 2.92, 3.316, 3.726",\
                 "1.623, 1.662, 1.786, 2.002, 2.294, 2.637, 3.026, 3.45, 3.905, 4.388",\
                 "1.89, 1.935, 2.081, 2.323, 2.661, 3.071, 3.518, 4.014, 4.536, 5.084");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.001422, 0.002905, 0.005737, 0.01015, 0.01634, 0.02448, 0.03475, 0.04727, 0.06221");
          values("1.279, 1.354, 1.618, 2.121, 2.903, 3.995, 5.434, 7.244, 9.449, 12.08",\
                 "1.278, 1.355, 1.618, 2.121, 2.903, 3.996, 5.432, 7.244, 9.45, 12.07",\
                 "1.279, 1.354, 1.618, 2.121, 2.903, 3.996, 5.434, 7.243, 9.452, 12.08",\
                 "1.279, 1.354, 1.616, 2.12, 2.901, 3.995, 5.434, 7.243, 9.45, 12.07",\
                 "1.288, 1.361, 1.621, 2.122, 2.903, 3.995, 5.435, 7.243, 9.452, 12.08",\
                 "1.372, 1.441, 1.686, 2.157, 2.911, 3.997, 5.434, 7.243, 9.451, 12.08",\
                 "1.5, 1.575, 1.828, 2.296, 3.011, 4.039, 5.441, 7.244, 9.45, 12.08",\
                 "1.639, 1.717, 1.987, 2.48, 3.215, 4.204, 5.532, 7.268, 9.453, 12.08",\
                 "1.796, 1.879, 2.162, 2.677, 3.443, 4.468, 5.764, 7.416, 9.512, 12.09",\
                 "1.98, 2.066, 2.356, 2.894, 3.694, 4.756, 6.092, 7.71, 9.714, 12.19");
        }
      }
    }
  }