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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

    leakage_power() {
      related_pg_pin : "VDD" ;
      value : "2.39436e-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.004354 ;
      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.004949, 0.004948, 0.004938, 0.00493, 0.004926, 0.004912, 0.004908, \
                 0.004905, 0.004903, 0.004903");
        }

        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.003796, 0.003801, 0.003803, 0.00379, 0.003759, 0.003724, 0.003683, \
                 0.003629, 0.003546, 0.003411");
        }
      }

      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.004956, 0.004955, 0.004943, 0.004939, 0.004931, 0.004918, 0.004915, \
                 0.004908, 0.004906, 0.004903");
        }

        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.003787, 0.003791, 0.003792, 0.003779, 0.003749, 0.003712, 0.00367, \
                 0.003611, 0.003524, 0.00338");
        }
      }

      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.004955, 0.004958, 0.004946, 0.00494, 0.004936, 0.004921, 0.004916, \
                 0.00491, 0.004906, 0.004903");
        }

        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.007881, 0.007886, 0.00789, 0.007874, 0.007838, 0.007792, 0.007729, \
                 0.007652, 0.007536, 0.007343");
        }
      }

      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.004933, 0.004936, 0.004939, 0.004935, 0.004931, 0.004913, 0.004911, \
                 0.0049, 0.004898, 0.004893");
        }

        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.004598, -0.00464, -0.004712, -0.004751, -0.004774, -0.004792, \
                 -0.004792, -0.004801, -0.004803, -0.004807");
        }
      }

      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.004946, 0.004948, 0.004956, 0.004947, 0.004939, 0.004925, 0.004917, \
                 0.004909, 0.0049, 0.004899");
        }

        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.004592, -0.00464, -0.004727, -0.004769, -0.004787, -0.004794, \
                 -0.004794, -0.004807, -0.004807, -0.004807");
        }
      }

      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.004947, 0.004948, 0.004956, 0.004948, 0.004953, 0.004925, 0.004923, \
                 0.004908, 0.004904, 0.004898");
        }

        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.004598, -0.004644, -0.004726, -0.004769, -0.004787, -0.004799, \
                 -0.004798, -0.004804, -0.004806, -0.004806");
        }
      }

      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.003204, 0.003207, 0.003202, 0.003197, 0.003197, 0.003193, 0.003184, \
                 0.003173, 0.003156, 0.003129");
        }

        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.001735, -0.001739, -0.001739, -0.001737, -0.001744, -0.001742, \
                 -0.001745, -0.001745, -0.001743, -0.001745");
        }
      }
    }

    pin(A2) {
      capacitance : 0.004233 ;
      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.004928, 0.004928, 0.004924, 0.004916, 0.004923, 0.004909, 0.004904, \
                 0.004904, 0.004903, 0.004902");
        }

        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.003838, 0.003826, 0.003821, 0.003803, 0.003764, 0.003731, 0.003687, \
                 0.003631, 0.003546, 0.003412");
        }
      }

      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.004933, 0.004934, 0.004933, 0.004926, 0.004931, 0.004909, 0.004912, \
                 0.004909, 0.004904, 0.004902");
        }

        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.003828, 0.003811, 0.003808, 0.003792, 0.003757, 0.003722, 0.003671, \
                 0.003612, 0.003525, 0.003376");
        }
      }

      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.004933, 0.004937, 0.004933, 0.004926, 0.004924, 0.004915, 0.004908, \
                 0.004909, 0.004906, 0.004905");
        }

        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.007925, 0.007908, 0.007904, 0.007883, 0.007843, 0.007797, 0.00773, \
                 0.007651, 0.007533, 0.007335");
        }
      }

      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.004918, 0.00492, 0.00491, 0.004903, 0.004906, 0.004898, 0.004901, \
                 0.004898, 0.004898, 0.004896");
        }

        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.004536, -0.00458, -0.004668, -0.004725, -0.004761, -0.004769, \
                 -0.00478, -0.004792, -0.004794, -0.0048");
        }
      }

      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.004922, 0.004924, 0.004919, 0.004909, 0.00491, 0.0049, 0.004904, \
                 0.004897, 0.004899, 0.004897");
        }

        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.004528, -0.004578, -0.004672, -0.004734, -0.004767, -0.004773, \
                 -0.004788, -0.004796, -0.004801, -0.004798");
        }
      }

      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.004922, 0.00492, 0.004915, 0.004909, 0.004911, 0.004905, 0.004903, \
                 0.004898, 0.004898, 0.004897");
        }

        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.00454, -0.004583, -0.004672, -0.004733, -0.004769, -0.004772, \
                 -0.004787, -0.004795, -0.004798, -0.0048");
        }
      }

      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.004255, 0.004259, 0.004248, 0.00425, 0.004265, 0.004261, 0.004263, \
                 0.004261, 0.004261, 0.004262");
        }

        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.003778, -0.00389, -0.003996, -0.00406, -0.004102, -0.004117, \
                 -0.004133, -0.004146, -0.004151, -0.004156");
        }
      }
    }

    pin(B) {
      capacitance : 0.004014 ;
      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.003463, 0.003463, 0.003463, 0.003449, 0.003451, 0.00344, 0.003437, \
                 0.003433, 0.00343, 0.003428");
        }

        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.003469, -0.003464, -0.003452, -0.00344, -0.003439, -0.003431, \
                 -0.003427, -0.003424, -0.003423, -0.003421");
        }
      }

      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.003472, 0.00347, 0.003463, 0.00346, 0.003456, 0.003448, 0.003438, \
                 0.003435, 0.003435, 0.00343");
        }

        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.003459, -0.003459, -0.003455, -0.003449, -0.003446, -0.00344, \
                 -0.003432, -0.00343, -0.003424, -0.003421");
        }
      }

      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.003466, 0.003473, 0.00346, 0.003453, 0.003452, 0.003443, 0.003439, \
                 0.003433, 0.003432, 0.003429");
        }

        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.003432, -0.003429, -0.003425, -0.003426, -0.003433, -0.003429, \
                 -0.003429, -0.003429, -0.003428, -0.003427");
        }
      }

      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.003488, 0.00349, 0.003475, 0.003463, 0.003457, 0.003452, 0.003442, \
                 0.003437, 0.003436, 0.003438");
        }

        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.003432, -0.003431, -0.003425, -0.00343, -0.003433, -0.003428, \
                 -0.003429, -0.003428, -0.003428, -0.003428");
        }
      }

      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.003491, 0.00349, 0.003475, 0.003462, 0.003463, 0.003452, 0.00345, \
                 0.003437, 0.003436, 0.003435");
        }

        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.003432, -0.003431, -0.003425, -0.00343, -0.003434, -0.003427, \
                 -0.00343, -0.003427, -0.003429, -0.003429");
        }
      }
    }

    pin(C) {
      capacitance : 0.004167 ;
      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.003474, 0.003469, 0.003458, 0.003453, 0.003451, 0.003441, 0.003436, \
                 0.003434, 0.003432, 0.003432");
        }

        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.003468, -0.00346, -0.003454, -0.003441, -0.003441, -0.003428, \
                 -0.003426, -0.003425, -0.003424, -0.00342");
        }
      }

      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.003474, 0.003471, 0.003466, 0.003458, 0.00346, 0.003449, 0.00344, \
                 0.003435, 0.003434, 0.003432");
        }

        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.003461, -0.003459, -0.003456, -0.003454, -0.00345, -0.003442, \
                 -0.003434, -0.003431, -0.003427, -0.003421");
        }
      }

      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.003461, 0.003472, 0.003456, 0.003452, 0.003453, 0.003443, 0.003437, \
                 0.003435, 0.003434, 0.003432");
        }

        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.003467, -0.003464, -0.003461, -0.003451, -0.003448, -0.003438, \
                 -0.003433, -0.003429, -0.003426, -0.003422");
        }
      }

      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.003469, 0.00349, 0.003471, 0.003462, 0.003458, 0.003452, 0.003444, \
                 0.003439, 0.003436, 0.003436");
        }

        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.003472, -0.003465, -0.00346, -0.003449, -0.003448, -0.003433, \
                 -0.003432, -0.003427, -0.003426, -0.003422");
        }
      }

      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.003471, 0.00349, 0.003472, 0.003462, 0.003459, 0.003453, 0.003444, \
                 0.003441, 0.003437, 0.003436");
        }

        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.003469, -0.003465, -0.003462, -0.003449, -0.003445, -0.003433, \
                 -0.003431, -0.003428, -0.003425, -0.003421");
        }
      }
    }

    pin(ZN) {
      direction : output ;
      function : "(((!A1)&(!A2))|(!B)|(!C))" ;
      max_capacitance : 0.09688 ;
      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.001662, 0.003985, 0.00842, 0.01533, 0.02503, 0.03779, 0.05386, 0.07349, 0.09688");
          values("0.004707, 0.004713, 0.004717, 0.004716, 0.004719, 0.004719, 0.004721, 0.004723, 0.004721, 0.004721",\
                 "0.004717, 0.004725, 0.004761, 0.004791, 0.00481, 0.004827, 0.004836, 0.00484, 0.004845, 0.004849",\
                 "0.004548, 0.004582, 0.004659, 0.004759, 0.004836, 0.00489, 0.004927, 0.004954, 0.004969, 0.004978",\
                 "0.004256, 0.004301, 0.004415, 0.004561, 0.004697, 0.004802, 0.00488, 0.004929, 0.004965, 0.004992",\
                 "0.00402, 0.004068, 0.004174, 0.004339, 0.00451, 0.00465, 0.004762, 0.004843, 0.004906, 0.004944",\
                 "0.003966, 0.003982, 0.004058, 0.004181, 0.004339, 0.004503, 0.004635, 0.004736, 0.004816, 0.004876",\
                 "0.004067, 0.004067, 0.004087, 0.004157, 0.004265, 0.004399, 0.004533, 0.004643, 0.004735, 0.004805",\
                 "0.004328, 0.004312, 0.004285, 0.004275, 0.00431, 0.004392, 0.00449, 0.004593, 0.00468, 0.004753",\
                 "0.00474, 0.004712, 0.004635, 0.004559, 0.004508, 0.004507, 0.00455, 0.004613, 0.004681, 0.004741",\
                 "0.005309, 0.005266, 0.005151, 0.004992, 0.004853, 0.00476, 0.004725, 0.004725, 0.004758, 0.004772");
        }

        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.001662, 0.003985, 0.00842, 0.01533, 0.02503, 0.03779, 0.05386, 0.07349, 0.09688");
          values("0.01815, 0.01817, 0.0182, 0.01824, 0.01829, 0.01833, 0.01838, 0.01846, 0.01864, 0.0201",\
                 "0.01801, 0.01804, 0.01814, 0.01826, 0.01836, 0.01845, 0.01853, 0.01861, 0.01878, 0.02031",\
                 "0.01761, 0.01766, 0.01782, 0.01804, 0.01824, 0.01841, 0.01855, 0.01866, 0.01893, 0.02057",\
                 "0.01725, 0.01729, 0.01744, 0.01766, 0.01792, 0.01815, 0.01835, 0.01853, 0.01888, 0.02083",\
                 "0.01711, 0.01714, 0.01722, 0.01738, 0.0176, 0.01786, 0.01807, 0.01832, 0.01871, 0.02123",\
                 "0.01714, 0.01714, 0.01719, 0.01728, 0.01742, 0.01761, 0.01787, 0.01809, 0.01869, 0.02213",\
                 "0.01732, 0.01731, 0.01729, 0.01732, 0.01741, 0.01752, 0.01769, 0.01798, 0.01883, 0.02408",\
                 "0.01763, 0.01762, 0.01756, 0.01749, 0.01752, 0.01758, 0.01767, 0.01793, 0.01959, 0.02848",\
                 "0.0181, 0.01807, 0.01797, 0.01786, 0.01775, 0.01778, 0.0178, 0.01825, 0.02203, 0.03817",\
                 "0.01869, 0.01865, 0.01852, 0.01834, 0.01814, 0.01804, 0.01816, 0.01986, 0.02987, 0.05737");
        }
      }

      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.001662, 0.003985, 0.00842, 0.01533, 0.02503, 0.03779, 0.05386, 0.07349, 0.09688");
          values("0.007227, 0.007227, 0.007218, 0.007217, 0.007223, 0.00722, 0.007218, 0.007214, 0.007212, 0.007207",\
                 "0.007059, 0.007065, 0.007064, 0.007062, 0.007066, 0.007065, 0.007064, 0.007061, 0.007064, 0.007059",\
                 "0.006786, 0.006794, 0.006808, 0.006834, 0.006847, 0.006861, 0.00687, 0.00687, 0.006876, 0.006881",\
                 "0.006555, 0.006568, 0.006606, 0.006652, 0.006696, 0.006729, 0.006752, 0.006768, 0.006775, 0.00678",\
                 "0.006392, 0.0064, 0.006439, 0.006509, 0.006569, 0.006623, 0.006658, 0.006688, 0.006714, 0.006723",\
                 "0.006347, 0.006355, 0.006381, 0.006424, 0.006487, 0.006544, 0.006592, 0.00663, 0.006658, 0.006674",\
                 "0.006439, 0.006439, 0.006437, 0.00645, 0.006476, 0.006521, 0.006564, 0.006596, 0.006625, 0.006647",\
                 "0.006681, 0.006669, 0.006628, 0.006594, 0.006574, 0.006572, 0.006591, 0.006615, 0.006629, 0.00664",\
                 "0.007061, 0.007041, 0.006972, 0.006879, 0.006792, 0.006732, 0.006697, 0.00669, 0.006684, 0.006677",\
                 "0.007617, 0.007573, 0.007457, 0.007308, 0.007142, 0.007005, 0.006908, 0.006842, 0.006799, 0.006743");
        }

        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.001662, 0.003985, 0.00842, 0.01533, 0.02503, 0.03779, 0.05386, 0.07349, 0.09688");
          values("0.02074, 0.02075, 0.02077, 0.0208, 0.02084, 0.02089, 0.02093, 0.021, 0.02118, 0.02268",\
                 "0.02065, 0.02069, 0.02076, 0.02086, 0.02094, 0.02102, 0.02109, 0.02116, 0.02137, 0.02291",\
                 "0.02033, 0.02039, 0.02052, 0.0207, 0.02087, 0.02101, 0.02115, 0.02125, 0.02148, 0.02321",\
                 "0.01999, 0.02003, 0.02016, 0.02035, 0.02059, 0.0208, 0.02097, 0.02116, 0.02145, 0.02347",\
                 "0.01977, 0.0198, 0.0199, 0.02006, 0.02029, 0.0205, 0.02074, 0.02093, 0.02137, 0.02387",\
                 "0.01964, 0.01968, 0.01974, 0.01988, 0.02004, 0.02026, 0.02047, 0.02072, 0.02129, 0.02467",\
                 "0.01964, 0.01964, 0.01968, 0.01976, 0.01993, 0.02007, 0.02026, 0.0205, 0.02139, 0.02638",\
                 "0.01972, 0.01973, 0.01974, 0.01976, 0.01985, 0.02003, 0.02017, 0.02042, 0.02198, 0.03012",\
                 "0.01994, 0.01994, 0.01991, 0.01989, 0.0199, 0.02, 0.02019, 0.02059, 0.02383, 0.03817",\
                 "0.02031, 0.02028, 0.02024, 0.02016, 0.02011, 0.02011, 0.02028, 0.02162, 0.02957, 0.05434");
        }
      }

      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.001662, 0.003985, 0.00842, 0.01533, 0.02503, 0.03779, 0.05386, 0.07349, 0.09688");
          values("0.007711, 0.00771, 0.007711, 0.00772, 0.00772, 0.007721, 0.007726, 0.007726, 0.007724, 0.007722",\
                 "0.007655, 0.007665, 0.007672, 0.007689, 0.007697, 0.007705, 0.007708, 0.007712, 0.007713, 0.007711",\
                 "0.007515, 0.007531, 0.007553, 0.007585, 0.007621, 0.007648, 0.007672, 0.007681, 0.007685, 0.007693",\
                 "0.007338, 0.007348, 0.007389, 0.007455, 0.007515, 0.007563, 0.007601, 0.007624, 0.007643, 0.007656",\
                 "0.007149, 0.00716, 0.007216, 0.007299, 0.007379, 0.007452, 0.007508, 0.007552, 0.00758, 0.007607",\
                 "0.007015, 0.007025, 0.007074, 0.007146, 0.007234, 0.007323, 0.007401, 0.007461, 0.007507, 0.007541",\
                 "0.00693, 0.006932, 0.006969, 0.007037, 0.007119, 0.007207, 0.007294, 0.007364, 0.007424, 0.00747",\
                 "0.006883, 0.00689, 0.00692, 0.006973, 0.007043, 0.007115, 0.007199, 0.007279, 0.007337, 0.00739",\
                 "0.006921, 0.00692, 0.006942, 0.00697, 0.007018, 0.007081, 0.007145, 0.007213, 0.007278, 0.007326",\
                 "0.007031, 0.007029, 0.00703, 0.007051, 0.007068, 0.007102, 0.007153, 0.007192, 0.007245, 0.007273");
        }

        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.001662, 0.003985, 0.00842, 0.01533, 0.02503, 0.03779, 0.05386, 0.07349, 0.09688");
          values("0.0314, 0.0314, 0.03141, 0.03142, 0.03145, 0.0315, 0.03158, 0.03162, 0.03174, 0.03184",\
                 "0.03134, 0.03135, 0.03136, 0.03138, 0.03143, 0.03147, 0.03156, 0.03161, 0.03173, 0.03188",\
                 "0.03096, 0.03098, 0.03103, 0.0311, 0.03119, 0.03129, 0.0314, 0.03148, 0.03156, 0.03168",\
                 "0.03055, 0.03058, 0.03066, 0.03076, 0.0309, 0.03102, 0.03118, 0.03128, 0.03144, 0.03159",\
                 "0.03032, 0.03034, 0.03039, 0.03049, 0.03063, 0.03078, 0.03098, 0.03114, 0.03121, 0.03146",\
                 "0.03025, 0.03027, 0.03029, 0.03035, 0.03045, 0.03059, 0.03078, 0.03092, 0.03114, 0.03141",\
                 "0.03033, 0.03033, 0.03031, 0.03035, 0.03041, 0.03052, 0.03067, 0.03078, 0.031, 0.03134",\
                 "0.03055, 0.03053, 0.03049, 0.03047, 0.03045, 0.03053, 0.03064, 0.03071, 0.03089, 0.03158",\
                 "0.03086, 0.03084, 0.03079, 0.03071, 0.03064, 0.03061, 0.03068, 0.03073, 0.03102, 0.03287",\
                 "0.03133, 0.0313, 0.03122, 0.03109, 0.03093, 0.03082, 0.03075, 0.03091, 0.03202, 0.03854");
        }
      }

      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.001662, 0.003985, 0.00842, 0.01533, 0.02503, 0.03779, 0.05386, 0.07349, 0.09688");
          values("0.005135, 0.005137, 0.005144, 0.005146, 0.005148, 0.005151, 0.005153, 0.005154, 0.005157, 0.005156",\
                 "0.005061, 0.00507, 0.005092, 0.005107, 0.005124, 0.005134, 0.005139, 0.005146, 0.005146, 0.005147",\
                 "0.004884, 0.004897, 0.004943, 0.004997, 0.00504, 0.005074, 0.005097, 0.005114, 0.005124, 0.005129",\
                 "0.004663, 0.004687, 0.004748, 0.004836, 0.004918, 0.00498, 0.005026, 0.005053, 0.005078, 0.005093",\
                 "0.004466, 0.004483, 0.004557, 0.004668, 0.004768, 0.004857, 0.004928, 0.004979, 0.005017, 0.005047",\
                 "0.004348, 0.00437, 0.004424, 0.00452, 0.00463, 0.004733, 0.004819, 0.004888, 0.004943, 0.004981",\
                 "0.004293, 0.004304, 0.004344, 0.004422, 0.004516, 0.00462, 0.004717, 0.004798, 0.004862, 0.004915",\
                 "0.004277, 0.004288, 0.004315, 0.004372, 0.004453, 0.004534, 0.004627, 0.004716, 0.004787, 0.004844",\
                 "0.004343, 0.004339, 0.004358, 0.004393, 0.004447, 0.004509, 0.004583, 0.004661, 0.004733, 0.00479",\
                 "0.004481, 0.00448, 0.004479, 0.004491, 0.004513, 0.004552, 0.004599, 0.004657, 0.004713, 0.004755");
        }

        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.001662, 0.003985, 0.00842, 0.01533, 0.02503, 0.03779, 0.05386, 0.07349, 0.09688");
          values("0.02886, 0.02887, 0.02886, 0.02888, 0.0289, 0.02894, 0.02896, 0.02905, 0.02907, 0.02913",\
                 "0.0288, 0.02881, 0.02882, 0.02884, 0.02887, 0.02893, 0.02895, 0.02904, 0.02903, 0.02911",\
                 "0.02842, 0.02844, 0.0285, 0.02855, 0.02865, 0.02873, 0.0288, 0.02891, 0.02898, 0.02906",\
                 "0.02801, 0.02804, 0.0281, 0.02823, 0.02836, 0.0285, 0.02859, 0.02868, 0.02876, 0.0289",\
                 "0.02779, 0.02779, 0.02784, 0.02794, 0.02808, 0.02823, 0.02834, 0.02851, 0.02861, 0.02873",\
                 "0.0277, 0.02772, 0.02774, 0.02783, 0.02792, 0.02802, 0.02817, 0.0283, 0.02848, 0.02868",\
                 "0.02779, 0.02778, 0.02777, 0.02779, 0.02788, 0.02795, 0.02805, 0.02814, 0.02831, 0.02867",\
                 "0.028, 0.02801, 0.02794, 0.0279, 0.02792, 0.02801, 0.02806, 0.02808, 0.02824, 0.02877",\
                 "0.02832, 0.02831, 0.02824, 0.02818, 0.02807, 0.02804, 0.02812, 0.02823, 0.02835, 0.02997",\
                 "0.0288, 0.02879, 0.02869, 0.02854, 0.02839, 0.02822, 0.02822, 0.02833, 0.02922, 0.03516");
        }
      }

      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.001662, 0.003985, 0.00842, 0.01533, 0.02503, 0.03779, 0.05386, 0.07349, 0.09688");
          values("0.005134, 0.005139, 0.005136, 0.005145, 0.005147, 0.005151, 0.005152, 0.005155, 0.005156, 0.005157",\
                 "0.005066, 0.005073, 0.005088, 0.005105, 0.005122, 0.005133, 0.00514, 0.005143, 0.005146, 0.005148",\
                 "0.004881, 0.004903, 0.004946, 0.005005, 0.005045, 0.005079, 0.005098, 0.005109, 0.005119, 0.005127",\
                 "0.004665, 0.004683, 0.004759, 0.004836, 0.004918, 0.004978, 0.005024, 0.005054, 0.005078, 0.005094",\
                 "0.004471, 0.004487, 0.004565, 0.004667, 0.004769, 0.004858, 0.004928, 0.004979, 0.005018, 0.005046",\
                 "0.004354, 0.00437, 0.004426, 0.004518, 0.004629, 0.004733, 0.00482, 0.004889, 0.004942, 0.004984",\
                 "0.004291, 0.004305, 0.004352, 0.004425, 0.004517, 0.004619, 0.004718, 0.004799, 0.004864, 0.004916",\
                 "0.004288, 0.004282, 0.004326, 0.004375, 0.004454, 0.004541, 0.004631, 0.004718, 0.004791, 0.00485",\
                 "0.004349, 0.004351, 0.004369, 0.0044, 0.004458, 0.004517, 0.00459, 0.004666, 0.004739, 0.0048",\
                 "0.004497, 0.004497, 0.004494, 0.004507, 0.004524, 0.004561, 0.004611, 0.004665, 0.004723, 0.004775");
        }

        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.001662, 0.003985, 0.00842, 0.01533, 0.02503, 0.03779, 0.05386, 0.07349, 0.09688");
          values("0.03101, 0.031, 0.031, 0.03102, 0.03104, 0.0311, 0.03111, 0.03119, 0.03116, 0.03132",\
                 "0.03098, 0.03099, 0.031, 0.03102, 0.03107, 0.03111, 0.03115, 0.03121, 0.03129, 0.03137",\
                 "0.03061, 0.03062, 0.03067, 0.03076, 0.03086, 0.03096, 0.03102, 0.03115, 0.03116, 0.0313",\
                 "0.03018, 0.03022, 0.03027, 0.0304, 0.03053, 0.03068, 0.03079, 0.03094, 0.03107, 0.03121",\
                 "0.02994, 0.02996, 0.03, 0.03011, 0.03025, 0.03039, 0.03059, 0.0307, 0.03081, 0.03092",\
                 "0.02986, 0.02986, 0.0299, 0.02997, 0.03006, 0.0302, 0.03035, 0.03043, 0.03067, 0.03086",\
                 "0.02992, 0.02994, 0.02993, 0.02996, 0.03001, 0.0301, 0.0302, 0.03031, 0.03044, 0.03082",\
                 "0.03014, 0.03015, 0.03009, 0.03003, 0.03006, 0.03013, 0.03019, 0.03025, 0.0304, 0.03096",\
                 "0.03045, 0.03045, 0.0304, 0.03035, 0.03021, 0.0302, 0.03025, 0.03033, 0.03046, 0.03213",\
                 "0.0309, 0.03088, 0.0308, 0.03068, 0.03055, 0.03039, 0.03034, 0.03047, 0.0314, 0.03748");
        }
      }

      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.001662, 0.003985, 0.00842, 0.01533, 0.02503, 0.03779, 0.05386, 0.07349, 0.09688");
          values("0.007712, 0.007717, 0.007721, 0.007722, 0.007726, 0.007724, 0.007728, 0.007726, 0.007725, 0.007722",\
                 "0.007659, 0.007658, 0.00767, 0.007684, 0.007695, 0.007707, 0.007707, 0.00771, 0.007711, 0.007711",\
                 "0.007519, 0.007532, 0.007562, 0.007598, 0.007629, 0.007655, 0.007669, 0.007683, 0.007689, 0.007693",\
                 "0.007338, 0.00735, 0.007393, 0.00746, 0.007515, 0.007567, 0.0076, 0.007633, 0.007649, 0.007662",\
                 "0.007143, 0.007163, 0.007216, 0.007298, 0.007381, 0.007454, 0.007508, 0.007551, 0.007584, 0.007607",\
                 "0.007008, 0.007025, 0.007073, 0.007141, 0.007231, 0.007327, 0.007401, 0.007465, 0.007507, 0.007542",\
                 "0.006915, 0.006932, 0.006966, 0.007035, 0.007118, 0.007207, 0.007295, 0.007365, 0.007424, 0.007472",\
                 "0.006874, 0.00688, 0.006913, 0.006963, 0.007034, 0.007116, 0.007195, 0.007279, 0.007343, 0.007393",\
                 "0.006883, 0.006879, 0.006905, 0.006945, 0.006998, 0.007064, 0.007136, 0.007204, 0.007275, 0.007327",\
                 "0.006964, 0.006968, 0.006974, 0.006994, 0.007026, 0.007073, 0.007124, 0.007178, 0.007231, 0.007271");
        }

        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.001662, 0.003985, 0.00842, 0.01533, 0.02503, 0.03779, 0.05386, 0.07349, 0.09688");
          values("0.03515, 0.03515, 0.03515, 0.03517, 0.03519, 0.03524, 0.03531, 0.03536, 0.03547, 0.03553",\
                 "0.03493, 0.03493, 0.03494, 0.03496, 0.03498, 0.03503, 0.03509, 0.03514, 0.03527, 0.03533",\
                 "0.03466, 0.03466, 0.03469, 0.03472, 0.03477, 0.03484, 0.03492, 0.03498, 0.03507, 0.0352",\
                 "0.03441, 0.03441, 0.03445, 0.03451, 0.03459, 0.03467, 0.03479, 0.03488, 0.035, 0.03513",\
                 "0.03426, 0.03427, 0.03429, 0.03435, 0.03442, 0.03452, 0.03466, 0.03473, 0.03484, 0.03504",\
                 "0.03424, 0.03423, 0.03424, 0.03427, 0.03433, 0.03441, 0.03456, 0.03461, 0.03474, 0.03498",\
                 "0.03429, 0.0343, 0.03428, 0.03428, 0.03433, 0.03438, 0.03449, 0.03457, 0.03466, 0.03502",\
                 "0.03449, 0.03448, 0.03444, 0.03439, 0.03439, 0.03443, 0.03448, 0.03452, 0.03466, 0.0353",\
                 "0.03481, 0.03477, 0.03473, 0.03463, 0.03455, 0.03453, 0.03458, 0.03459, 0.03485, 0.03667",\
                 "0.03524, 0.03521, 0.03511, 0.03499, 0.03483, 0.03471, 0.03465, 0.03476, 0.03593, 0.04269");
        }
      }

      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.001662, 0.003985, 0.00842, 0.01533, 0.02503, 0.03779, 0.05386, 0.07349, 0.09688");
          values("0.005137, 0.005135, 0.005141, 0.005151, 0.005152, 0.005154, 0.005155, 0.005158, 0.005158, 0.005159",\
                 "0.005061, 0.005066, 0.005091, 0.005108, 0.005124, 0.005133, 0.005137, 0.00514, 0.005145, 0.005146",\
                 "0.004882, 0.004898, 0.004945, 0.005002, 0.005046, 0.005072, 0.005095, 0.005112, 0.005123, 0.005129",\
                 "0.004669, 0.004689, 0.004756, 0.004843, 0.004923, 0.004983, 0.005028, 0.005061, 0.005083, 0.005098",\
                 "0.004466, 0.004484, 0.004567, 0.004666, 0.00477, 0.004858, 0.004926, 0.004981, 0.005017, 0.005045",\
                 "0.004343, 0.004361, 0.004425, 0.004514, 0.004625, 0.004735, 0.004821, 0.004889, 0.004944, 0.004985",\
                 "0.004277, 0.004293, 0.004343, 0.004415, 0.004512, 0.004617, 0.00472, 0.004798, 0.00486, 0.004912",\
                 "0.00426, 0.004269, 0.004304, 0.004365, 0.00444, 0.00453, 0.004624, 0.004715, 0.004785, 0.004843",\
                 "0.004293, 0.004302, 0.004318, 0.004369, 0.004425, 0.004492, 0.00457, 0.00465, 0.004725, 0.004787",\
                 "0.004405, 0.004408, 0.004417, 0.004433, 0.004469, 0.004515, 0.004571, 0.004634, 0.004696, 0.004746");
        }

        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.001662, 0.003985, 0.00842, 0.01533, 0.02503, 0.03779, 0.05386, 0.07349, 0.09688");
          values("0.03262, 0.03261, 0.03262, 0.03263, 0.03264, 0.03269, 0.0327, 0.03274, 0.03278, 0.03285",\
                 "0.03239, 0.03239, 0.03239, 0.0324, 0.03243, 0.03246, 0.03248, 0.03252, 0.03258, 0.03269",\
                 "0.03211, 0.03213, 0.03214, 0.03218, 0.03223, 0.03227, 0.03231, 0.0324, 0.03244, 0.03253",\
                 "0.03187, 0.03188, 0.03192, 0.03197, 0.03204, 0.03213, 0.03215, 0.03229, 0.03231, 0.03245",\
                 "0.03173, 0.03174, 0.03177, 0.03179, 0.03189, 0.03198, 0.03203, 0.03215, 0.03226, 0.03229",\
                 "0.03169, 0.03168, 0.03171, 0.03174, 0.03178, 0.03185, 0.03193, 0.03206, 0.03216, 0.03229",\
                 "0.03176, 0.03175, 0.03174, 0.03174, 0.03178, 0.03183, 0.03188, 0.03193, 0.03209, 0.03223",\
                 "0.03196, 0.03193, 0.03192, 0.03186, 0.03184, 0.03185, 0.0319, 0.03195, 0.03205, 0.03252",\
                 "0.03227, 0.03226, 0.0322, 0.03212, 0.032, 0.03196, 0.032, 0.03206, 0.03211, 0.03374",\
                 "0.03271, 0.03267, 0.03259, 0.03247, 0.03232, 0.03214, 0.0321, 0.03218, 0.03316, 0.03928");
        }
      }

      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.001662, 0.003985, 0.00842, 0.01533, 0.02503, 0.03779, 0.05386, 0.07349, 0.09688");
          values("0.005138, 0.005139, 0.005135, 0.005156, 0.00515, 0.005154, 0.005156, 0.005157, 0.005157, 0.005158",\
                 "0.005071, 0.005067, 0.005087, 0.005104, 0.005121, 0.005134, 0.005138, 0.005143, 0.005145, 0.005148",\
                 "0.004893, 0.004904, 0.00495, 0.005002, 0.005046, 0.005077, 0.005097, 0.005112, 0.005125, 0.005132",\
                 "0.004668, 0.004691, 0.004756, 0.004843, 0.004923, 0.004984, 0.005028, 0.00506, 0.005082, 0.005098",\
                 "0.004475, 0.004494, 0.004564, 0.004666, 0.004774, 0.004858, 0.004929, 0.004981, 0.005017, 0.005046",\
                 "0.004358, 0.004363, 0.00442, 0.004517, 0.004631, 0.004737, 0.004823, 0.004891, 0.004945, 0.004984",\
                 "0.004274, 0.00429, 0.004346, 0.004423, 0.004514, 0.004619, 0.004717, 0.004798, 0.004861, 0.004913",\
                 "0.004262, 0.004267, 0.004305, 0.004366, 0.004444, 0.004535, 0.004628, 0.004714, 0.004788, 0.004848",\
                 "0.004291, 0.004307, 0.004329, 0.004367, 0.004433, 0.004496, 0.004575, 0.004651, 0.004729, 0.004793",\
                 "0.00441, 0.004414, 0.004418, 0.004442, 0.004485, 0.00452, 0.00458, 0.004642, 0.004703, 0.004761");
        }

        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.001662, 0.003985, 0.00842, 0.01533, 0.02503, 0.03779, 0.05386, 0.07349, 0.09688");
          values("0.0348, 0.0348, 0.0348, 0.03481, 0.03483, 0.03485, 0.03488, 0.03492, 0.03505, 0.03514",\
                 "0.03458, 0.03458, 0.03458, 0.0346, 0.03463, 0.03467, 0.03469, 0.03476, 0.03476, 0.03493",\
                 "0.03432, 0.03433, 0.03435, 0.03439, 0.03444, 0.0345, 0.03454, 0.03456, 0.03464, 0.03475",\
                 "0.03407, 0.03407, 0.03411, 0.03418, 0.03426, 0.03433, 0.03441, 0.03447, 0.03451, 0.03473",\
                 "0.03393, 0.03394, 0.03395, 0.034, 0.03406, 0.03418, 0.03421, 0.03433, 0.03446, 0.03464",\
                 "0.03386, 0.03389, 0.0339, 0.03394, 0.03398, 0.03406, 0.03412, 0.03428, 0.03439, 0.03447",\
                 "0.03395, 0.03394, 0.03393, 0.03392, 0.03398, 0.03402, 0.03411, 0.03419, 0.03424, 0.03446",\
                 "0.03414, 0.03414, 0.0341, 0.03407, 0.03404, 0.03406, 0.03412, 0.03413, 0.03423, 0.03474",\
                 "0.03445, 0.03443, 0.03437, 0.0343, 0.03422, 0.03415, 0.03424, 0.03426, 0.03436, 0.03602",\
                 "0.03485, 0.03482, 0.03479, 0.03466, 0.03451, 0.03439, 0.03428, 0.03437, 0.03538, 0.04164");
        }
      }

      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.001662, 0.003985, 0.00842, 0.01533, 0.02503, 0.03779, 0.05386, 0.07349, 0.09688");
          values("0.2743, 0.2982, 0.3824, 0.5434, 0.7938, 1.145, 1.606, 2.187, 2.898, 3.745",\
                 "0.3009, 0.3252, 0.4099, 0.5712, 0.8223, 1.174, 1.635, 2.216, 2.927, 3.774",\
                 "0.3892, 0.4132, 0.4978, 0.6603, 0.9122, 1.264, 1.727, 2.309, 3.018, 3.864",\
                 "0.5422, 0.571, 0.6649, 0.8267, 1.078, 1.431, 1.893, 2.476, 3.185, 4.03",\
                 "0.6814, 0.7207, 0.8471, 1.057, 1.336, 1.689, 2.152, 2.735, 3.446, 4.29",\
                 "0.7978, 0.8474, 1.008, 1.273, 1.622, 2.039, 2.518, 3.099, 3.81, 4.656",\
                 "0.8856, 0.9466, 1.142, 1.465, 1.889, 2.389, 2.955, 3.578, 4.291, 5.136",\
                 "0.9437, 1.015, 1.246, 1.628, 2.129, 2.719, 3.381, 4.104, 4.887, 5.746",\
                 "0.9684, 1.051, 1.319, 1.761, 2.341, 3.022, 3.784, 4.615, 5.506, 6.458",\
                 "0.9576, 1.051, 1.358, 1.86, 2.52, 3.295, 4.161, 5.101, 6.109, 7.176");
        }

        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.001662, 0.003985, 0.00842, 0.01533, 0.02503, 0.03779, 0.05386, 0.07349, 0.09688");
          values("0.5842, 0.6304, 0.7922, 1.1, 1.578, 2.25, 3.133, 4.24, 5.596, 7.22",\
                 "0.6067, 0.6541, 0.8186, 1.13, 1.61, 2.282, 3.165, 4.276, 5.638, 7.248",\
                 "0.7017, 0.7499, 0.9164, 1.232, 1.718, 2.392, 3.277, 4.39, 5.75, 7.364",\
                 "0.9057, 0.9529, 1.119, 1.434, 1.921, 2.6, 3.487, 4.603, 5.962, 7.58",\
                 "1.22, 1.274, 1.449, 1.764, 2.249, 2.928, 3.817, 4.934, 6.297, 7.915",\
                 "1.572, 1.641, 1.861, 2.226, 2.721, 3.397, 4.287, 5.406, 6.769, 8.385",\
                 "1.953, 2.037, 2.305, 2.748, 3.326, 4.024, 4.91, 6.027, 7.389, 9.008",\
                 "2.362, 2.46, 2.779, 3.301, 3.984, 4.787, 5.704, 6.818, 8.176, 9.8",\
                 "2.803, 2.916, 3.282, 3.888, 4.677, 5.604, 6.639, 7.789, 9.147, 10.77",\
                 "3.276, 3.404, 3.817, 4.501, 5.404, 6.461, 7.635, 8.913, 10.31, 11.92");
        }

        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.001662, 0.003985, 0.00842, 0.01533, 0.02503, 0.03779, 0.05386, 0.07349, 0.09688");
          values("0.4491, 0.4916, 0.6373, 0.9129, 1.336, 1.93, 2.708, 3.691, 4.882, 6.309",\
                 "0.4482, 0.4903, 0.638, 0.9109, 1.337, 1.93, 2.708, 3.69, 4.884, 6.309",\
                 "0.4313, 0.4752, 0.6293, 0.911, 1.335, 1.927, 2.711, 3.691, 4.885, 6.308",\
                 "0.5288, 0.561, 0.6704, 0.9104, 1.328, 1.928, 2.709, 3.693, 4.885, 6.31",\
                 "0.711, 0.749, 0.872, 1.088, 1.414, 1.939, 2.703, 3.686, 4.89, 6.31",\
                 "0.9206, 0.966, 1.114, 1.363, 1.707, 2.152, 2.788, 3.694, 4.883, 6.31",\
                 "1.145, 1.2, 1.376, 1.67, 2.063, 2.551, 3.13, 3.895, 4.945, 6.318",\
                 "1.382, 1.452, 1.656, 1.999, 2.454, 2.999, 3.637, 4.369, 5.274, 6.474",\
                 "1.632, 1.712, 1.952, 2.345, 2.864, 3.482, 4.188, 4.989, 5.884, 6.942",\
                 "1.891, 1.978, 2.255, 2.709, 3.294, 3.99, 4.778, 5.65, 6.618, 7.688");
        }

        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.001662, 0.003985, 0.00842, 0.01533, 0.02503, 0.03779, 0.05386, 0.07349, 0.09688");
          values("0.822, 0.9017, 1.169, 1.683, 2.483, 3.605, 5.084, 6.948, 9.218, 11.92",\
                 "0.8253, 0.9012, 1.171, 1.682, 2.483, 3.604, 5.083, 6.948, 9.216, 11.92",\
                 "0.8242, 0.899, 1.17, 1.686, 2.482, 3.604, 5.079, 6.949, 9.215, 11.92",\
                 "0.8294, 0.9026, 1.169, 1.683, 2.483, 3.608, 5.085, 6.94, 9.218, 11.93",\
                 "0.985, 1.04, 1.245, 1.696, 2.485, 3.611, 5.083, 6.948, 9.218, 11.91",\
                 "1.251, 1.313, 1.516, 1.881, 2.537, 3.608, 5.091, 6.949, 9.216, 11.93",\
                 "1.539, 1.616, 1.851, 2.257, 2.819, 3.715, 5.102, 6.944, 9.218, 11.92",\
                 "1.835, 1.924, 2.207, 2.674, 3.297, 4.085, 5.253, 6.977, 9.225, 11.93",\
                 "2.141, 2.241, 2.574, 3.122, 3.822, 4.674, 5.706, 7.186, 9.266, 11.92",\
                 "2.449, 2.571, 2.952, 3.57, 4.372, 5.326, 6.402, 7.714, 9.538, 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.001662, 0.003985, 0.00842, 0.01533, 0.02503, 0.03779, 0.05386, 0.07349, 0.09688");
          values("0.3529, 0.3781, 0.4653, 0.6298, 0.8832, 1.237, 1.7, 2.283, 2.994, 3.841",\
                 "0.3759, 0.401, 0.4884, 0.6529, 0.9064, 1.26, 1.723, 2.306, 3.017, 3.864",\
                 "0.46, 0.4851, 0.5728, 0.7378, 0.9917, 1.345, 1.809, 2.392, 3.103, 3.95",\
                 "0.6278, 0.6541, 0.7413, 0.9029, 1.157, 1.511, 1.975, 2.558, 3.269, 4.116",\
                 "0.8054, 0.8403, 0.9556, 1.151, 1.418, 1.771, 2.234, 2.817, 3.528, 4.375",\
                 "0.9616, 1.006, 1.151, 1.397, 1.728, 2.129, 2.602, 3.183, 3.894, 4.74",\
                 "1.092, 1.146, 1.322, 1.62, 2.02, 2.502, 3.052, 3.665, 4.377, 5.223",\
                 "1.193, 1.256, 1.466, 1.817, 2.289, 2.854, 3.497, 4.207, 4.978, 5.833",\
                 "1.262, 1.335, 1.576, 1.984, 2.529, 3.182, 3.922, 4.734, 5.613, 6.553",\
                 "1.299, 1.382, 1.655, 2.118, 2.739, 3.481, 4.321, 5.24, 6.23, 7.286");
        }

        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.001662, 0.003985, 0.00842, 0.01533, 0.02503, 0.03779, 0.05386, 0.07349, 0.09688");
          values("0.66, 0.7066, 0.8675, 1.176, 1.653, 2.323, 3.206, 4.318, 5.67, 7.286",\
                 "0.6939, 0.7411, 0.9044, 1.215, 1.694, 2.365, 3.248, 4.36, 5.715, 7.331",\
                 "0.8001, 0.8479, 1.014, 1.327, 1.812, 2.485, 3.37, 4.483, 5.841, 7.465",\
                 "0.9821, 1.029, 1.195, 1.51, 1.996, 2.672, 3.56, 4.674, 6.033, 7.651",\
                 "1.24, 1.293, 1.467, 1.783, 2.269, 2.948, 3.836, 4.952, 6.313, 7.932",\
                 "1.54, 1.6, 1.801, 2.153, 2.653, 3.332, 4.222, 5.338, 6.703, 8.321",\
                 "1.878, 1.947, 2.177, 2.574, 3.131, 3.837, 4.729, 5.848, 7.21, 8.832",\
                 "2.249, 2.33, 2.592, 3.042, 3.66, 4.437, 5.369, 6.491, 7.854, 9.475",\
                 "2.651, 2.744, 3.046, 3.552, 4.24, 5.092, 6.104, 7.274, 8.644, 10.27",\
                 "3.084, 3.19, 3.535, 4.106, 4.867, 5.801, 6.898, 8.156, 9.578, 11.21");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.001662, 0.003985, 0.00842, 0.01533, 0.02503, 0.03779, 0.05386, 0.07349, 0.09688");
          values("0.5202, 0.5615, 0.7042, 0.9763, 1.399, 1.99, 2.77, 3.748, 4.946, 6.372",\
                 "0.5198, 0.5613, 0.7046, 0.9771, 1.399, 1.99, 2.769, 3.748, 4.945, 6.373",\
                 "0.5084, 0.5519, 0.7023, 0.9762, 1.399, 1.991, 2.769, 3.75, 4.946, 6.37",\
                 "0.5512, 0.5852, 0.7088, 0.9652, 1.395, 1.99, 2.768, 3.749, 4.947, 6.371",\
                 "0.7222, 0.7592, 0.8844, 1.104, 1.449, 1.994, 2.768, 3.749, 4.946, 6.372",\
                 "0.922, 0.9658, 1.114, 1.366, 1.715, 2.174, 2.831, 3.753, 4.945, 6.373",\
                 "1.135, 1.19, 1.368, 1.666, 2.062, 2.556, 3.145, 3.928, 4.996, 6.379",\
                 "1.365, 1.427, 1.64, 1.985, 2.443, 2.996, 3.639, 4.379, 5.303, 6.519",\
                 "1.602, 1.678, 1.918, 2.324, 2.846, 3.471, 4.186, 4.987, 5.891, 6.966",\
                 "1.85, 1.936, 2.215, 2.674, 3.266, 3.972, 4.764, 5.644, 6.622, 7.692");
        }

        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.001662, 0.003985, 0.00842, 0.01533, 0.02503, 0.03779, 0.05386, 0.07349, 0.09688");
          values("0.8241, 0.8992, 1.169, 1.682, 2.485, 3.606, 5.086, 6.944, 9.22, 11.92",\
                 "0.8231, 0.9027, 1.169, 1.683, 2.481, 3.606, 5.081, 6.948, 9.209, 11.92",\
                 "0.8224, 0.8998, 1.172, 1.685, 2.484, 3.605, 5.083, 6.939, 9.219, 11.92",\
                 "0.83, 0.9046, 1.17, 1.685, 2.483, 3.605, 5.085, 6.949, 9.221, 11.92",\
                 "0.928, 0.9928, 1.224, 1.697, 2.485, 3.606, 5.084, 6.943, 9.209, 11.93",\
                 "1.082, 1.154, 1.398, 1.831, 2.535, 3.612, 5.086, 6.948, 9.218, 11.92",\
                 "1.265, 1.339, 1.596, 2.061, 2.738, 3.714, 5.105, 6.948, 9.213, 11.92",\
                 "1.48, 1.558, 1.828, 2.321, 3.035, 3.98, 5.255, 6.985, 9.224, 11.92",\
                 "1.729, 1.813, 2.095, 2.607, 3.358, 4.351, 5.584, 7.19, 9.29, 11.93",\
                 "2.006, 2.098, 2.398, 2.93, 3.71, 4.748, 6.032, 7.58, 9.552, 12.04");
        }
      }

      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.001662, 0.003985, 0.00842, 0.01533, 0.02503, 0.03779, 0.05386, 0.07349, 0.09688");
          values("0.541, 0.5661, 0.6533, 0.8176, 1.071, 1.425, 1.888, 2.471, 3.182, 4.029",\
                 "0.5663, 0.5914, 0.6788, 0.8434, 1.097, 1.451, 1.914, 2.497, 3.208, 4.055",\
                 "0.6568, 0.682, 0.7698, 0.935, 1.189, 1.543, 2.007, 2.59, 3.301, 4.148",\
                 "0.8076, 0.8334, 0.922, 1.087, 1.342, 1.697, 2.161, 2.745, 3.456, 4.303",\
                 "0.989, 1.019, 1.121, 1.303, 1.566, 1.922, 2.388, 2.972, 3.683, 4.531",\
                 "1.169, 1.206, 1.328, 1.542, 1.841, 2.226, 2.7, 3.286, 3.999, 4.847",\
                 "1.33, 1.375, 1.523, 1.777, 2.126, 2.561, 3.083, 3.694, 4.411, 5.261",\
                 "1.461, 1.515, 1.692, 1.993, 2.403, 2.902, 3.485, 4.155, 4.916, 5.778",\
                 "1.556, 1.62, 1.827, 2.181, 2.657, 3.232, 3.891, 4.632, 5.459, 6.38",\
                 "1.614, 1.686, 1.926, 2.333, 2.882, 3.539, 4.287, 5.113, 6.019, 7.013");
        }

        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.001662, 0.003985, 0.00842, 0.01533, 0.02503, 0.03779, 0.05386, 0.07349, 0.09688");
          values("0.5619, 0.5914, 0.6937, 0.8861, 1.181, 1.59, 2.126, 2.798, 3.617, 4.592",\
                 "0.5969, 0.627, 0.7293, 0.9216, 1.216, 1.626, 2.162, 2.834, 3.653, 4.628",\
                 "0.717, 0.7468, 0.8501, 1.043, 1.34, 1.75, 2.286, 2.959, 3.779, 4.754",\
                 "0.9528, 0.983, 1.087, 1.281, 1.578, 1.989, 2.527, 3.201, 4.021, 4.997",\
                 "1.323, 1.356, 1.462, 1.658, 1.955, 2.367, 2.905, 3.58, 4.399, 5.377",\
                 "1.759, 1.801, 1.94, 2.172, 2.486, 2.9, 3.438, 4.113, 4.934, 5.911",\
                 "2.231, 2.282, 2.454, 2.746, 3.134, 3.595, 4.144, 4.817, 5.639, 6.615",\
                 "2.734, 2.798, 3.005, 3.358, 3.828, 4.388, 5.009, 5.706, 6.527, 7.505",\
                 "3.271, 3.346, 3.591, 4.006, 4.563, 5.223, 5.961, 6.754, 7.61, 8.592",\
                 "3.842, 3.929, 4.21, 4.69, 5.334, 6.101, 6.958, 7.88, 8.851, 9.878");
        }

        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.001662, 0.003985, 0.00842, 0.01533, 0.02503, 0.03779, 0.05386, 0.07349, 0.09688");
          values("0.5211, 0.5615, 0.7053, 0.9749, 1.399, 1.99, 2.767, 3.75, 4.944, 6.37",\
                 "0.5211, 0.5614, 0.7037, 0.9773, 1.397, 1.99, 2.769, 3.749, 4.946, 6.372",\
                 "0.5206, 0.5611, 0.7034, 0.9767, 1.398, 1.989, 2.767, 3.747, 4.946, 6.372",\
                 "0.5372, 0.5742, 0.7098, 0.9772, 1.399, 1.99, 2.769, 3.749, 4.946, 6.373",\
                 "0.6366, 0.6746, 0.8048, 1.046, 1.428, 1.996, 2.77, 3.749, 4.947, 6.37",\
                 "0.7824, 0.8228, 0.9604, 1.212, 1.587, 2.099, 2.809, 3.757, 4.945, 6.372",\
                 "0.9654, 1.013, 1.167, 1.433, 1.819, 2.337, 3.001, 3.864, 4.987, 6.379",\
                 "1.174, 1.228, 1.403, 1.7, 2.116, 2.646, 3.318, 4.149, 5.179, 6.48",\
                 "1.399, 1.463, 1.662, 2, 2.453, 3.019, 3.707, 4.547, 5.554, 6.76",\
                 "1.644, 1.714, 1.939, 2.324, 2.824, 3.437, 4.164, 5.016, 6.036, 7.228");
        }

        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.001662, 0.003985, 0.00842, 0.01533, 0.02503, 0.03779, 0.05386, 0.07349, 0.09688");
          values("0.7361, 0.784, 0.952, 1.274, 1.776, 2.478, 3.4, 4.561, 5.974, 7.653",\
                 "0.7353, 0.7845, 0.9521, 1.275, 1.775, 2.478, 3.401, 4.561, 5.975, 7.653",\
                 "0.7338, 0.7836, 0.9515, 1.276, 1.775, 2.478, 3.4, 4.561, 5.974, 7.654",\
                 "0.7354, 0.7826, 0.951, 1.275, 1.775, 2.477, 3.4, 4.561, 5.974, 7.653",\
                 "0.8402, 0.8772, 1.013, 1.294, 1.777, 2.477, 3.4, 4.561, 5.975, 7.654",\
                 "1.106, 1.144, 1.273, 1.498, 1.878, 2.501, 3.402, 4.562, 5.976, 7.653",\
                 "1.396, 1.447, 1.609, 1.878, 2.224, 2.721, 3.482, 4.577, 5.975, 7.655",\
                 "1.713, 1.773, 1.968, 2.289, 2.709, 3.198, 3.827, 4.74, 6.019, 7.659",\
                 "2.044, 2.117, 2.352, 2.735, 3.223, 3.799, 4.434, 5.206, 6.284, 7.754",\
                 "2.396, 2.478, 2.75, 3.198, 3.778, 4.43, 5.158, 5.938, 6.872, 8.124");
        }
      }

      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.001662, 0.003985, 0.00842, 0.01533, 0.02503, 0.03779, 0.05386, 0.07349, 0.09688");
          values("0.46, 0.4841, 0.5684, 0.7293, 0.98, 1.33, 1.792, 2.374, 3.085, 3.93",\
                 "0.485, 0.5092, 0.5938, 0.7549, 1.006, 1.356, 1.818, 2.4, 3.11, 3.955",\
                 "0.5744, 0.5989, 0.6843, 0.8466, 1.097, 1.449, 1.911, 2.492, 3.203, 4.047",\
                 "0.7192, 0.7455, 0.8344, 0.9981, 1.25, 1.603, 2.064, 2.646, 3.357, 4.204",\
                 "0.8789, 0.9108, 1.017, 1.204, 1.472, 1.827, 2.29, 2.874, 3.584, 4.429",\
                 "1.029, 1.069, 1.2, 1.424, 1.733, 2.125, 2.603, 3.188, 3.899, 4.747",\
                 "1.154, 1.203, 1.364, 1.635, 2, 2.447, 2.976, 3.593, 4.311, 5.16",\
                 "1.246, 1.305, 1.499, 1.823, 2.254, 2.771, 3.366, 4.044, 4.811, 5.676",\
                 "1.299, 1.369, 1.597, 1.979, 2.483, 3.081, 3.758, 4.511, 5.346, 6.272",\
                 "1.311, 1.392, 1.657, 2.099, 2.68, 3.366, 4.133, 4.977, 5.894, 6.897");
        }

        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.001662, 0.003985, 0.00842, 0.01533, 0.02503, 0.03779, 0.05386, 0.07349, 0.09688");
          values("0.5602, 0.5897, 0.692, 0.8845, 1.179, 1.588, 2.124, 2.796, 3.615, 4.591",\
                 "0.5953, 0.6253, 0.7275, 0.9198, 1.215, 1.624, 2.16, 2.832, 3.652, 4.627",\
                 "0.7152, 0.7451, 0.8481, 1.042, 1.338, 1.748, 2.285, 2.958, 3.777, 4.753",\
                 "0.951, 0.9813, 1.085, 1.28, 1.577, 1.988, 2.526, 3.199, 4.02, 4.996",\
                 "1.321, 1.354, 1.46, 1.656, 1.953, 2.366, 2.903, 3.578, 4.398, 5.376",\
                 "1.757, 1.799, 1.937, 2.17, 2.484, 2.898, 3.437, 4.111, 4.932, 5.91",\
                 "2.228, 2.281, 2.453, 2.744, 3.132, 3.593, 4.142, 4.815, 5.637, 6.614",\
                 "2.73, 2.794, 3.002, 3.355, 3.827, 4.385, 5.007, 5.704, 6.526, 7.503",\
                 "3.267, 3.342, 3.586, 4.002, 4.559, 5.221, 5.958, 6.751, 7.608, 8.59",\
                 "3.839, 3.925, 4.205, 4.686, 5.332, 6.098, 6.955, 7.877, 8.849, 9.877");
        }

        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.001662, 0.003985, 0.00842, 0.01533, 0.02503, 0.03779, 0.05386, 0.07349, 0.09688");
          values("0.4566, 0.4967, 0.6418, 0.9109, 1.336, 1.928, 2.707, 3.691, 4.884, 6.313",\
                 "0.4565, 0.4981, 0.6417, 0.9109, 1.334, 1.928, 2.707, 3.692, 4.883, 6.312",\
                 "0.457, 0.4985, 0.6394, 0.9121, 1.336, 1.929, 2.706, 3.685, 4.882, 6.309",\
                 "0.4938, 0.53, 0.6588, 0.9168, 1.336, 1.931, 2.704, 3.684, 4.888, 6.309",\
                 "0.6068, 0.6448, 0.775, 1.011, 1.383, 1.939, 2.706, 3.684, 4.882, 6.313",\
                 "0.7662, 0.8082, 0.9446, 1.191, 1.559, 2.064, 2.763, 3.699, 4.883, 6.307",\
                 "0.9614, 1.007, 1.16, 1.43, 1.808, 2.317, 2.974, 3.823, 4.932, 6.318",\
                 "1.178, 1.234, 1.408, 1.706, 2.115, 2.64, 3.304, 4.124, 5.14, 6.429",\
                 "1.415, 1.476, 1.677, 2.013, 2.466, 3.025, 3.702, 4.528, 5.534, 6.73",\
                 "1.675, 1.745, 1.968, 2.347, 2.846, 3.452, 4.17, 5.012, 6.02, 7.208");
        }

        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.001662, 0.003985, 0.00842, 0.01533, 0.02503, 0.03779, 0.05386, 0.07349, 0.09688");
          values("0.7002, 0.746, 0.9156, 1.233, 1.727, 2.421, 3.333, 4.479, 5.883, 7.549",\
                 "0.6993, 0.7476, 0.9136, 1.233, 1.728, 2.42, 3.333, 4.479, 5.884, 7.552",\
                 "0.6982, 0.7465, 0.9156, 1.234, 1.728, 2.42, 3.331, 4.481, 5.881, 7.549",\
                 "0.6988, 0.7464, 0.9144, 1.233, 1.727, 2.421, 3.333, 4.482, 5.884, 7.553",\
                 "0.8044, 0.8408, 0.9716, 1.252, 1.729, 2.42, 3.334, 4.481, 5.88, 7.553",\
                 "1.056, 1.096, 1.229, 1.456, 1.831, 2.443, 3.333, 4.482, 5.882, 7.55",\
                 "1.336, 1.383, 1.55, 1.821, 2.174, 2.664, 3.415, 4.497, 5.882, 7.549",\
                 "1.627, 1.691, 1.891, 2.218, 2.644, 3.137, 3.759, 4.661, 5.929, 7.558",\
                 "1.936, 2.01, 2.252, 2.645, 3.139, 3.725, 4.358, 5.13, 6.194, 7.656",\
                 "2.252, 2.344, 2.624, 3.078, 3.666, 4.33, 5.066, 5.85, 6.78, 8.022");
        }
      }

      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.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.001662, 0.003985, 0.00842, 0.01533, 0.02503, 0.03779, 0.05386, 0.07349, 0.09688");
          values("0.4052, 0.4255, 0.497, 0.6337, 0.845, 1.143, 1.533, 2.025, 2.625, 3.34",\
                 "0.4301, 0.4508, 0.5225, 0.6594, 0.871, 1.168, 1.559, 2.051, 2.652, 3.366",\
                 "0.5218, 0.5425, 0.615, 0.7519, 0.9645, 1.262, 1.653, 2.145, 2.746, 3.461",\
                 "0.6777, 0.701, 0.7788, 0.919, 1.133, 1.431, 1.822, 2.314, 2.916, 3.633",\
                 "0.8455, 0.8758, 0.9755, 1.147, 1.384, 1.689, 2.081, 2.575, 3.176, 3.892",\
                 "0.9966, 1.035, 1.163, 1.378, 1.667, 2.022, 2.44, 2.938, 3.54, 4.257",\
                 "1.121, 1.169, 1.326, 1.591, 1.944, 2.368, 2.852, 3.399, 4.016, 4.735",\
                 "1.211, 1.269, 1.46, 1.778, 2.2, 2.701, 3.267, 3.893, 4.579, 5.33",\
                 "1.263, 1.332, 1.557, 1.932, 2.427, 3.012, 3.67, 4.386, 5.16, 5.994",\
                 "1.274, 1.354, 1.616, 2.05, 2.622, 3.296, 4.048, 4.864, 5.74, 6.67");
        }

        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.001662, 0.003985, 0.00842, 0.01533, 0.02503, 0.03779, 0.05386, 0.07349, 0.09688");
          values("0.6195, 0.6484, 0.7494, 0.9393, 1.233, 1.641, 2.176, 2.847, 3.666, 4.641",\
                 "0.6555, 0.684, 0.7855, 0.9761, 1.27, 1.678, 2.213, 2.885, 3.704, 4.679",\
                 "0.7752, 0.8043, 0.9067, 1.099, 1.393, 1.803, 2.339, 3.011, 3.831, 4.806",\
                 "1.011, 1.04, 1.143, 1.336, 1.631, 2.043, 2.579, 3.252, 4.073, 5.049",\
                 "1.384, 1.414, 1.519, 1.712, 2.008, 2.419, 2.957, 3.63, 4.451, 5.426",\
                 "1.837, 1.877, 2.007, 2.232, 2.54, 2.952, 3.489, 4.163, 4.984, 5.961",\
                 "2.326, 2.375, 2.539, 2.821, 3.196, 3.648, 4.194, 4.867, 5.688, 6.665",\
                 "2.848, 2.909, 3.107, 3.446, 3.904, 4.45, 5.062, 5.756, 6.577, 7.554",\
                 "3.406, 3.477, 3.71, 4.111, 4.651, 5.298, 6.022, 6.808, 7.66, 8.641",\
                 "3.996, 4.078, 4.348, 4.81, 5.437, 6.188, 7.031, 7.942, 8.906, 9.929");
        }

        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.001662, 0.003985, 0.00842, 0.01533, 0.02503, 0.03779, 0.05386, 0.07349, 0.09688");
          values("0.4145, 0.4484, 0.5688, 0.7987, 1.153, 1.65, 2.302, 3.124, 4.126, 5.319",\
                 "0.4133, 0.4484, 0.5687, 0.7973, 1.154, 1.65, 2.302, 3.123, 4.127, 5.32",\
                 "0.4134, 0.4486, 0.5695, 0.7978, 1.153, 1.65, 2.303, 3.125, 4.126, 5.32",\
                 "0.4664, 0.4954, 0.599, 0.8068, 1.154, 1.651, 2.302, 3.124, 4.126, 5.325",\
                 "0.6142, 0.6452, 0.7516, 0.9424, 1.23, 1.674, 2.304, 3.124, 4.126, 5.319",\
                 "0.8008, 0.837, 0.958, 1.167, 1.465, 1.859, 2.4, 3.15, 4.13, 5.32",\
                 "1.016, 1.058, 1.201, 1.437, 1.765, 2.185, 2.699, 3.35, 4.222, 5.344",\
                 "1.251, 1.299, 1.463, 1.736, 2.107, 2.563, 3.109, 3.759, 4.536, 5.533",\
                 "1.505, 1.561, 1.745, 2.058, 2.478, 2.989, 3.578, 4.261, 5.051, 5.971",\
                 "1.788, 1.847, 2.051, 2.405, 2.873, 3.44, 4.088, 4.826, 5.656, 6.594");
        }

        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.001662, 0.003985, 0.00842, 0.01533, 0.02503, 0.03779, 0.05386, 0.07349, 0.09688");
          values("0.7324, 0.7822, 0.9503, 1.27, 1.766, 2.46, 3.374, 4.522, 5.927, 7.592",\
                 "0.7337, 0.7805, 0.9505, 1.27, 1.765, 2.46, 3.374, 4.522, 5.922, 7.591",\
                 "0.7339, 0.7821, 0.95, 1.27, 1.765, 2.461, 3.374, 4.523, 5.923, 7.592",\
                 "0.732, 0.78, 0.949, 1.269, 1.766, 2.461, 3.374, 4.523, 5.922, 7.59",\
                 "0.8174, 0.8556, 0.9952, 1.283, 1.768, 2.461, 3.373, 4.523, 5.926, 7.596",\
                 "1.064, 1.104, 1.237, 1.466, 1.854, 2.483, 3.375, 4.525, 5.926, 7.597",\
                 "1.345, 1.396, 1.561, 1.83, 2.182, 2.687, 3.448, 4.537, 5.927, 7.594",\
                 "1.646, 1.708, 1.91, 2.23, 2.655, 3.143, 3.775, 4.69, 5.964, 7.603",\
                 "1.961, 2.035, 2.269, 2.656, 3.151, 3.731, 4.366, 5.144, 6.22, 7.692",\
                 "2.286, 2.376, 2.65, 3.1, 3.678, 4.344, 5.074, 5.856, 6.796, 8.048");
        }
      }

      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.001662, 0.003985, 0.00842, 0.01533, 0.02503, 0.03779, 0.05386, 0.07349, 0.09688");
          values("0.541, 0.5661, 0.6533, 0.8176, 1.071, 1.425, 1.888, 2.471, 3.182, 4.029",\
                 "0.5663, 0.5914, 0.6788, 0.8434, 1.097, 1.451, 1.914, 2.497, 3.208, 4.055",\
                 "0.6568, 0.682, 0.7698, 0.935, 1.189, 1.543, 2.007, 2.59, 3.301, 4.148",\
                 "0.8076, 0.8334, 0.922, 1.087, 1.342, 1.697, 2.161, 2.745, 3.456, 4.303",\
                 "0.989, 1.019, 1.121, 1.303, 1.566, 1.922, 2.388, 2.972, 3.683, 4.531",\
                 "1.169, 1.206, 1.328, 1.542, 1.841, 2.226, 2.7, 3.286, 3.999, 4.847",\
                 "1.33, 1.375, 1.523, 1.777, 2.126, 2.561, 3.083, 3.694, 4.411, 5.261",\
                 "1.461, 1.515, 1.692, 1.993, 2.403, 2.902, 3.485, 4.155, 4.916, 5.778",\
                 "1.556, 1.62, 1.827, 2.181, 2.657, 3.232, 3.891, 4.632, 5.459, 6.38",\
                 "1.614, 1.686, 1.926, 2.333, 2.882, 3.539, 4.287, 5.113, 6.019, 7.013");
        }

        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.001662, 0.003985, 0.00842, 0.01533, 0.02503, 0.03779, 0.05386, 0.07349, 0.09688");
          values("0.6195, 0.6484, 0.7494, 0.9393, 1.233, 1.641, 2.176, 2.847, 3.666, 4.641",\
                 "0.6555, 0.684, 0.7855, 0.9761, 1.27, 1.678, 2.213, 2.885, 3.704, 4.679",\
                 "0.7752, 0.8043, 0.9067, 1.099, 1.393, 1.803, 2.339, 3.011, 3.831, 4.806",\
                 "1.011, 1.04, 1.143, 1.336, 1.631, 2.043, 2.579, 3.252, 4.073, 5.049",\
                 "1.384, 1.414, 1.519, 1.712, 2.008, 2.419, 2.957, 3.63, 4.451, 5.426",\
                 "1.837, 1.877, 2.007, 2.232, 2.54, 2.952, 3.489, 4.163, 4.984, 5.961",\
                 "2.326, 2.375, 2.539, 2.821, 3.196, 3.648, 4.194, 4.867, 5.688, 6.665",\
                 "2.848, 2.909, 3.107, 3.446, 3.904, 4.45, 5.062, 5.756, 6.577, 7.554",\
                 "3.406, 3.477, 3.71, 4.111, 4.651, 5.298, 6.022, 6.808, 7.66, 8.641",\
                 "3.996, 4.078, 4.348, 4.81, 5.437, 6.188, 7.031, 7.942, 8.906, 9.929");
        }

        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.001662, 0.003985, 0.00842, 0.01533, 0.02503, 0.03779, 0.05386, 0.07349, 0.09688");
          values("0.5211, 0.5615, 0.7053, 0.9749, 1.399, 1.99, 2.767, 3.75, 4.944, 6.37",\
                 "0.5211, 0.5614, 0.7037, 0.9773, 1.397, 1.99, 2.769, 3.749, 4.946, 6.372",\
                 "0.5206, 0.5611, 0.7034, 0.9767, 1.398, 1.989, 2.767, 3.747, 4.946, 6.372",\
                 "0.5372, 0.5742, 0.7098, 0.9772, 1.399, 1.99, 2.769, 3.749, 4.946, 6.373",\
                 "0.6366, 0.6746, 0.8048, 1.046, 1.428, 1.996, 2.77, 3.749, 4.947, 6.37",\
                 "0.7824, 0.8228, 0.9604, 1.212, 1.587, 2.099, 2.809, 3.757, 4.945, 6.372",\
                 "0.9654, 1.013, 1.167, 1.433, 1.819, 2.337, 3.001, 3.864, 4.987, 6.379",\
                 "1.174, 1.228, 1.403, 1.7, 2.116, 2.646, 3.318, 4.149, 5.179, 6.48",\
                 "1.399, 1.463, 1.662, 2, 2.453, 3.019, 3.707, 4.547, 5.554, 6.76",\
                 "1.644, 1.714, 1.939, 2.324, 2.824, 3.437, 4.164, 5.016, 6.036, 7.228");
        }

        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.001662, 0.003985, 0.00842, 0.01533, 0.02503, 0.03779, 0.05386, 0.07349, 0.09688");
          values("0.7361, 0.784, 0.952, 1.274, 1.776, 2.478, 3.4, 4.561, 5.974, 7.653",\
                 "0.7353, 0.7845, 0.9521, 1.275, 1.775, 2.478, 3.401, 4.561, 5.975, 7.653",\
                 "0.7338, 0.7836, 0.9515, 1.276, 1.775, 2.478, 3.4, 4.561, 5.974, 7.654",\
                 "0.7354, 0.7826, 0.951, 1.275, 1.775, 2.477, 3.4, 4.561, 5.974, 7.653",\
                 "0.8402, 0.8772, 1.013, 1.294, 1.777, 2.477, 3.4, 4.561, 5.975, 7.654",\
                 "1.106, 1.144, 1.273, 1.498, 1.878, 2.501, 3.402, 4.562, 5.976, 7.653",\
                 "1.396, 1.447, 1.609, 1.878, 2.224, 2.721, 3.482, 4.577, 5.975, 7.655",\
                 "1.713, 1.773, 1.968, 2.289, 2.709, 3.198, 3.827, 4.74, 6.019, 7.659",\
                 "2.044, 2.117, 2.352, 2.735, 3.223, 3.799, 4.434, 5.206, 6.284, 7.754",\
                 "2.396, 2.478, 2.75, 3.198, 3.778, 4.43, 5.158, 5.938, 6.872, 8.124");
        }
      }

      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.001662, 0.003985, 0.00842, 0.01533, 0.02503, 0.03779, 0.05386, 0.07349, 0.09688");
          values("0.564, 0.5891, 0.6762, 0.8406, 1.094, 1.448, 1.911, 2.494, 3.205, 4.052",\
                 "0.5932, 0.6184, 0.7057, 0.8703, 1.124, 1.478, 1.941, 2.524, 3.235, 4.082",\
                 "0.6726, 0.6978, 0.7856, 0.9507, 1.205, 1.559, 2.023, 2.606, 3.317, 4.164",\
                 "0.7999, 0.8256, 0.9139, 1.08, 1.334, 1.689, 2.153, 2.737, 3.448, 4.295",\
                 "0.947, 0.9758, 1.074, 1.252, 1.515, 1.871, 2.335, 2.919, 3.631, 4.478",\
                 "1.093, 1.126, 1.237, 1.436, 1.724, 2.105, 2.58, 3.165, 3.877, 4.724",\
                 "1.231, 1.269, 1.396, 1.62, 1.94, 2.355, 2.866, 3.478, 4.196, 5.044",\
                 "1.345, 1.39, 1.539, 1.797, 2.155, 2.611, 3.164, 3.818, 4.577, 5.442",\
                 "1.427, 1.48, 1.654, 1.953, 2.361, 2.866, 3.468, 4.171, 4.977, 5.89",\
                 "1.471, 1.532, 1.735, 2.079, 2.544, 3.111, 3.77, 4.528, 5.387, 6.355");
        }

        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.001662, 0.003985, 0.00842, 0.01533, 0.02503, 0.03779, 0.05386, 0.07349, 0.09688");
          values("0.6207, 0.6507, 0.7561, 0.9517, 1.251, 1.664, 2.203, 2.877, 3.699, 4.676",\
                 "0.6514, 0.6815, 0.7873, 0.9829, 1.282, 1.695, 2.234, 2.909, 3.73, 4.707",\
                 "0.7739, 0.8039, 0.9094, 1.106, 1.406, 1.819, 2.358, 3.033, 3.855, 4.832",\
                 "1.014, 1.044, 1.15, 1.347, 1.647, 2.061, 2.601, 3.277, 4.098, 5.075",\
                 "1.394, 1.424, 1.53, 1.727, 2.027, 2.441, 2.981, 3.656, 4.479, 5.456",\
                 "1.86, 1.899, 2.03, 2.253, 2.562, 2.976, 3.516, 4.192, 5.014, 5.992",\
                 "2.363, 2.412, 2.575, 2.854, 3.227, 3.676, 4.223, 4.899, 5.72, 6.697",\
                 "2.901, 2.961, 3.158, 3.494, 3.946, 4.489, 5.097, 5.789, 6.611, 7.588",\
                 "3.475, 3.545, 3.775, 4.171, 4.706, 5.347, 6.067, 6.845, 7.696, 8.677",\
                 "4.084, 4.163, 4.428, 4.886, 5.505, 6.249, 7.083, 7.989, 8.947, 9.967");
        }

        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.001662, 0.003985, 0.00842, 0.01533, 0.02503, 0.03779, 0.05386, 0.07349, 0.09688");
          values("0.5207, 0.5616, 0.7033, 0.9747, 1.399, 1.99, 2.768, 3.75, 4.946, 6.372",\
                 "0.5206, 0.5615, 0.7038, 0.977, 1.399, 1.989, 2.767, 3.749, 4.947, 6.373",\
                 "0.5206, 0.5616, 0.7033, 0.9773, 1.397, 1.989, 2.77, 3.749, 4.947, 6.373",\
                 "0.5324, 0.5716, 0.7078, 0.977, 1.398, 1.989, 2.768, 3.75, 4.946, 6.371",\
                 "0.6048, 0.6438, 0.781, 1.033, 1.426, 1.997, 2.768, 3.749, 4.944, 6.371",\
                 "0.6968, 0.7386, 0.8838, 1.15, 1.549, 2.089, 2.812, 3.76, 4.946, 6.373",\
                 "0.8234, 0.8666, 1.018, 1.294, 1.707, 2.267, 2.975, 3.866, 4.994, 6.382",\
                 "0.9852, 1.033, 1.195, 1.478, 1.9, 2.473, 3.205, 4.1, 5.173, 6.491",\
                 "1.177, 1.227, 1.408, 1.709, 2.141, 2.724, 3.464, 4.38, 5.472, 6.745",\
                 "1.394, 1.454, 1.649, 1.977, 2.432, 3.023, 3.773, 4.698, 5.808, 7.108");
        }

        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.001662, 0.003985, 0.00842, 0.01533, 0.02503, 0.03779, 0.05386, 0.07349, 0.09688");
          values("0.8106, 0.8604, 1.029, 1.352, 1.852, 2.554, 3.477, 4.638, 6.051, 7.731",\
                 "0.8078, 0.8582, 1.029, 1.352, 1.852, 2.555, 3.478, 4.638, 6.051, 7.729",\
                 "0.8081, 0.8568, 1.03, 1.354, 1.852, 2.555, 3.477, 4.638, 6.052, 7.73",\
                 "0.805, 0.8558, 1.027, 1.351, 1.853, 2.555, 3.477, 4.638, 6.051, 7.73",\
                 "0.8748, 0.9118, 1.059, 1.358, 1.851, 2.555, 3.477, 4.638, 6.051, 7.731",\
                 "1.122, 1.162, 1.291, 1.525, 1.926, 2.569, 3.478, 4.638, 6.051, 7.731",\
                 "1.415, 1.465, 1.623, 1.887, 2.239, 2.755, 3.542, 4.649, 6.052, 7.73",\
                 "1.735, 1.798, 1.985, 2.302, 2.717, 3.207, 3.854, 4.79, 6.088, 7.735",\
                 "2.069, 2.139, 2.366, 2.751, 3.234, 3.809, 4.438, 5.228, 6.33, 7.816",\
                 "2.418, 2.496, 2.774, 3.208, 3.782, 4.432, 5.166, 5.942, 6.896, 8.164");
        }
      }

      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.001662, 0.003985, 0.00842, 0.01533, 0.02503, 0.03779, 0.05386, 0.07349, 0.09688");
          values("0.483, 0.507, 0.5916, 0.7526, 1.003, 1.353, 1.815, 2.397, 3.107, 3.954",\
                 "0.5117, 0.536, 0.6207, 0.7822, 1.033, 1.383, 1.844, 2.426, 3.138, 3.981",\
                 "0.5902, 0.6146, 0.7001, 0.8622, 1.114, 1.464, 1.928, 2.508, 3.217, 4.064",\
                 "0.7129, 0.7387, 0.8268, 0.9902, 1.242, 1.594, 2.057, 2.638, 3.348, 4.193",\
                 "0.8456, 0.875, 0.9751, 1.156, 1.421, 1.776, 2.239, 2.822, 3.532, 4.377",\
                 "0.9739, 1.008, 1.123, 1.327, 1.62, 2.004, 2.482, 3.066, 3.776, 4.625",\
                 "1.086, 1.127, 1.262, 1.496, 1.824, 2.245, 2.761, 3.375, 4.095, 4.942",\
                 "1.169, 1.218, 1.379, 1.652, 2.025, 2.49, 3.05, 3.71, 4.472, 5.34",\
                 "1.215, 1.274, 1.464, 1.784, 2.212, 2.732, 3.345, 4.054, 4.865, 5.783",\
                 "1.219, 1.288, 1.511, 1.882, 2.373, 2.959, 3.636, 4.402, 5.269, 6.241");
        }

        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.001662, 0.003985, 0.00842, 0.01533, 0.02503, 0.03779, 0.05386, 0.07349, 0.09688");
          values("0.6189, 0.6489, 0.7541, 0.95, 1.249, 1.662, 2.201, 2.876, 3.697, 4.674",\
                 "0.6495, 0.6798, 0.785, 0.9816, 1.28, 1.693, 2.232, 2.907, 3.728, 4.705",\
                 "0.7721, 0.8021, 0.9077, 1.104, 1.404, 1.817, 2.357, 3.032, 3.853, 4.83",\
                 "1.012, 1.043, 1.149, 1.346, 1.646, 2.06, 2.599, 3.275, 4.097, 5.074",\
                 "1.391, 1.423, 1.529, 1.725, 2.025, 2.44, 2.979, 3.655, 4.477, 5.454",\
                 "1.857, 1.897, 2.028, 2.252, 2.56, 2.975, 3.514, 4.19, 5.013, 5.99",\
                 "2.361, 2.41, 2.573, 2.852, 3.226, 3.675, 4.221, 4.897, 5.719, 6.695",\
                 "2.898, 2.957, 3.154, 3.49, 3.944, 4.485, 5.096, 5.788, 6.609, 7.586",\
                 "3.47, 3.54, 3.771, 4.168, 4.702, 5.344, 6.064, 6.844, 7.695, 8.676",\
                 "4.08, 4.159, 4.425, 4.881, 5.503, 6.246, 7.082, 7.987, 8.944, 9.965");
        }

        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.001662, 0.003985, 0.00842, 0.01533, 0.02503, 0.03779, 0.05386, 0.07349, 0.09688");
          values("0.4563, 0.4976, 0.64, 0.9121, 1.337, 1.926, 2.708, 3.691, 4.883, 6.308",\
                 "0.4576, 0.4976, 0.6418, 0.9113, 1.335, 1.929, 2.707, 3.688, 4.883, 6.306",\
                 "0.4566, 0.4981, 0.6394, 0.9114, 1.336, 1.926, 2.706, 3.689, 4.881, 6.309",\
                 "0.484, 0.5208, 0.6548, 0.916, 1.335, 1.926, 2.706, 3.687, 4.883, 6.31",\
                 "0.5592, 0.5992, 0.7356, 0.9896, 1.376, 1.938, 2.707, 3.687, 4.883, 6.31",\
                 "0.6622, 0.7036, 0.8464, 1.112, 1.508, 2.046, 2.762, 3.701, 4.884, 6.318",\
                 "0.8034, 0.8476, 0.9954, 1.267, 1.673, 2.231, 2.936, 3.82, 4.937, 6.325",\
                 "0.9806, 1.029, 1.186, 1.468, 1.882, 2.443, 3.17, 4.061, 5.131, 6.44",\
                 "1.184, 1.239, 1.411, 1.712, 2.137, 2.706, 3.442, 4.347, 5.437, 6.704",\
                 "1.414, 1.472, 1.668, 1.991, 2.438, 3.019, 3.754, 4.668, 5.776, 7.072");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.001662, 0.003985, 0.00842, 0.01533, 0.02503, 0.03779, 0.05386, 0.07349, 0.09688");
          values("0.7696, 0.8204, 0.9874, 1.308, 1.805, 2.497, 3.409, 4.555, 5.96, 7.63",\
                 "0.7714, 0.8205, 0.9893, 1.308, 1.803, 2.497, 3.409, 4.558, 5.96, 7.624",\
                 "0.7694, 0.8191, 0.9888, 1.309, 1.804, 2.497, 3.409, 4.555, 5.959, 7.624",\
                 "0.7668, 0.8162, 0.9856, 1.308, 1.802, 2.496, 3.409, 4.555, 5.96, 7.624",\
                 "0.8342, 0.8772, 1.018, 1.315, 1.803, 2.496, 3.408, 4.558, 5.958, 7.63",\
                 "1.076, 1.115, 1.248, 1.482, 1.879, 2.512, 3.408, 4.558, 5.958, 7.627",\
                 "1.353, 1.403, 1.566, 1.835, 2.189, 2.697, 3.474, 4.569, 5.956, 7.629",\
                 "1.652, 1.714, 1.908, 2.235, 2.654, 3.146, 3.787, 4.71, 5.996, 7.631",\
                 "1.961, 2.035, 2.273, 2.654, 3.149, 3.727, 4.362, 5.146, 6.238, 7.716",\
                 "2.286, 2.37, 2.644, 3.096, 3.672, 4.338, 5.072, 5.856, 6.804, 8.064");
        }
      }

      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.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.001662, 0.003985, 0.00842, 0.01533, 0.02503, 0.03779, 0.05386, 0.07349, 0.09688");
          values("0.4282, 0.4486, 0.5202, 0.6571, 0.8682, 1.165, 1.556, 2.048, 2.648, 3.363",\
                 "0.4577, 0.478, 0.5497, 0.6861, 0.8982, 1.196, 1.586, 2.078, 2.678, 3.396",\
                 "0.5369, 0.5573, 0.6298, 0.7672, 0.9794, 1.277, 1.668, 2.16, 2.761, 3.478",\
                 "0.6626, 0.6853, 0.7618, 0.9016, 1.115, 1.413, 1.805, 2.297, 2.898, 3.614",\
                 "0.7998, 0.8264, 0.9162, 1.077, 1.309, 1.613, 2.006, 2.499, 3.1, 3.816",\
                 "0.9324, 0.9646, 1.072, 1.259, 1.523, 1.863, 2.279, 2.777, 3.379, 4.096",\
                 "1.045, 1.085, 1.216, 1.438, 1.742, 2.124, 2.583, 3.122, 3.743, 4.461",\
                 "1.128, 1.176, 1.334, 1.599, 1.954, 2.388, 2.898, 3.487, 4.157, 4.912",\
                 "1.174, 1.231, 1.418, 1.731, 2.148, 2.645, 3.216, 3.861, 4.587, 5.397",\
                 "1.176, 1.244, 1.464, 1.83, 2.311, 2.882, 3.525, 4.238, 5.027, 5.898");
        }

        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.001662, 0.003985, 0.00842, 0.01533, 0.02503, 0.03779, 0.05386, 0.07349, 0.09688");
          values("0.6879, 0.7167, 0.8197, 1.013, 1.309, 1.72, 2.257, 2.931, 3.751, 4.727",\
                 "0.719, 0.7487, 0.8514, 1.044, 1.34, 1.751, 2.288, 2.962, 3.782, 4.758",\
                 "0.8414, 0.8713, 0.9742, 1.168, 1.464, 1.876, 2.414, 3.088, 3.908, 4.884",\
                 "1.081, 1.111, 1.215, 1.409, 1.706, 2.118, 2.656, 3.331, 4.151, 5.128",\
                 "1.46, 1.49, 1.595, 1.788, 2.085, 2.498, 3.036, 3.711, 4.532, 5.509",\
                 "1.942, 1.98, 2.103, 2.317, 2.621, 3.033, 3.571, 4.246, 5.067, 6.044",\
                 "2.463, 2.51, 2.664, 2.932, 3.294, 3.734, 4.277, 4.953, 5.773, 6.749",\
                 "3.021, 3.077, 3.263, 3.587, 4.025, 4.555, 5.154, 5.843, 6.664, 7.64",\
                 "3.611, 3.678, 3.897, 4.28, 4.798, 5.425, 6.133, 6.902, 7.75, 8.729",\
                 "4.24, 4.314, 4.57, 5.009, 5.613, 6.339, 7.161, 8.055, 9.003, 10.02");
        }

        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.001662, 0.003985, 0.00842, 0.01533, 0.02503, 0.03779, 0.05386, 0.07349, 0.09688");
          values("0.4141, 0.4476, 0.5683, 0.7983, 1.153, 1.65, 2.302, 3.125, 4.126, 5.319",\
                 "0.414, 0.4484, 0.5688, 0.7974, 1.154, 1.65, 2.302, 3.124, 4.127, 5.321",\
                 "0.4142, 0.4486, 0.5688, 0.7972, 1.153, 1.65, 2.303, 3.124, 4.127, 5.32",\
                 "0.451, 0.4826, 0.5918, 0.8068, 1.155, 1.65, 2.302, 3.127, 4.126, 5.32",\
                 "0.5438, 0.5768, 0.6922, 0.9028, 1.218, 1.674, 2.306, 3.124, 4.131, 5.321",\
                 "0.6716, 0.7064, 0.8264, 1.045, 1.374, 1.818, 2.395, 3.158, 4.132, 5.321",\
                 "0.8398, 0.8774, 1.005, 1.233, 1.571, 2.027, 2.611, 3.327, 4.23, 5.355",\
                 "1.04, 1.08, 1.222, 1.466, 1.816, 2.28, 2.877, 3.61, 4.481, 5.533",\
                 "1.264, 1.31, 1.466, 1.736, 2.108, 2.589, 3.192, 3.937, 4.831, 5.874",\
                 "1.513, 1.565, 1.739, 2.036, 2.441, 2.947, 3.566, 4.324, 5.222, 6.288");
        }

        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.001662, 0.003985, 0.00842, 0.01533, 0.02503, 0.03779, 0.05386, 0.07349, 0.09688");
          values("0.8016, 0.8516, 1.021, 1.342, 1.84, 2.536, 3.45, 4.599, 6, 7.67",\
                 "0.8017, 0.8517, 1.021, 1.342, 1.84, 2.534, 3.449, 4.598, 6.003, 7.672",\
                 "0.8015, 0.8511, 1.02, 1.341, 1.839, 2.536, 3.449, 4.6, 6.002, 7.67",\
                 "0.8, 0.8482, 1.02, 1.342, 1.839, 2.535, 3.448, 4.6, 6.002, 7.67",\
                 "0.8504, 0.8926, 1.044, 1.348, 1.84, 2.535, 3.449, 4.6, 6, 7.671",\
                 "1.081, 1.121, 1.252, 1.494, 1.902, 2.548, 3.449, 4.599, 6.002, 7.674",\
                 "1.365, 1.414, 1.578, 1.84, 2.198, 2.72, 3.508, 4.608, 5.999, 7.67",\
                 "1.669, 1.728, 1.921, 2.242, 2.662, 3.152, 3.804, 4.739, 6.036, 7.678",\
                 "1.991, 2.057, 2.291, 2.674, 3.16, 3.738, 4.37, 5.17, 6.262, 7.752",\
                 "2.316, 2.402, 2.67, 3.114, 3.686, 4.348, 5.084, 5.862, 6.82, 8.09");
        }
      }

      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.001662, 0.003985, 0.00842, 0.01533, 0.02503, 0.03779, 0.05386, 0.07349, 0.09688");
          values("0.564, 0.5891, 0.6762, 0.8406, 1.094, 1.448, 1.911, 2.494, 3.205, 4.052",\
                 "0.5932, 0.6184, 0.7057, 0.8703, 1.124, 1.478, 1.941, 2.524, 3.235, 4.082",\
                 "0.6726, 0.6978, 0.7856, 0.9507, 1.205, 1.559, 2.023, 2.606, 3.317, 4.164",\
                 "0.7999, 0.8256, 0.9139, 1.08, 1.334, 1.689, 2.153, 2.737, 3.448, 4.295",\
                 "0.947, 0.9758, 1.074, 1.252, 1.515, 1.871, 2.335, 2.919, 3.631, 4.478",\
                 "1.093, 1.126, 1.237, 1.436, 1.724, 2.105, 2.58, 3.165, 3.877, 4.724",\
                 "1.231, 1.269, 1.396, 1.62, 1.94, 2.355, 2.866, 3.478, 4.196, 5.044",\
                 "1.345, 1.39, 1.539, 1.797, 2.155, 2.611, 3.164, 3.818, 4.577, 5.442",\
                 "1.427, 1.48, 1.654, 1.953, 2.361, 2.866, 3.468, 4.171, 4.977, 5.89",\
                 "1.471, 1.532, 1.735, 2.079, 2.544, 3.111, 3.77, 4.528, 5.387, 6.355");
        }

        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.001662, 0.003985, 0.00842, 0.01533, 0.02503, 0.03779, 0.05386, 0.07349, 0.09688");
          values("0.6879, 0.7167, 0.8197, 1.013, 1.309, 1.72, 2.257, 2.931, 3.751, 4.727",\
                 "0.719, 0.7487, 0.8514, 1.044, 1.34, 1.751, 2.288, 2.962, 3.782, 4.758",\
                 "0.8414, 0.8713, 0.9742, 1.168, 1.464, 1.876, 2.414, 3.088, 3.908, 4.884",\
                 "1.081, 1.111, 1.215, 1.409, 1.706, 2.118, 2.656, 3.331, 4.151, 5.128",\
                 "1.46, 1.49, 1.595, 1.788, 2.085, 2.498, 3.036, 3.711, 4.532, 5.509",\
                 "1.942, 1.98, 2.103, 2.317, 2.621, 3.033, 3.571, 4.246, 5.067, 6.044",\
                 "2.463, 2.51, 2.664, 2.932, 3.294, 3.734, 4.277, 4.953, 5.773, 6.749",\
                 "3.021, 3.077, 3.263, 3.587, 4.025, 4.555, 5.154, 5.843, 6.664, 7.64",\
                 "3.611, 3.678, 3.897, 4.28, 4.798, 5.425, 6.133, 6.902, 7.75, 8.729",\
                 "4.24, 4.314, 4.57, 5.009, 5.613, 6.339, 7.161, 8.055, 9.003, 10.02");
        }

        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.001662, 0.003985, 0.00842, 0.01533, 0.02503, 0.03779, 0.05386, 0.07349, 0.09688");
          values("0.5207, 0.5616, 0.7033, 0.9747, 1.399, 1.99, 2.768, 3.75, 4.946, 6.372",\
                 "0.5206, 0.5615, 0.7038, 0.977, 1.399, 1.989, 2.767, 3.749, 4.947, 6.373",\
                 "0.5206, 0.5616, 0.7033, 0.9773, 1.397, 1.989, 2.77, 3.749, 4.947, 6.373",\
                 "0.5324, 0.5716, 0.7078, 0.977, 1.398, 1.989, 2.768, 3.75, 4.946, 6.371",\
                 "0.6048, 0.6438, 0.781, 1.033, 1.426, 1.997, 2.768, 3.749, 4.944, 6.371",\
                 "0.6968, 0.7386, 0.8838, 1.15, 1.549, 2.089, 2.812, 3.76, 4.946, 6.373",\
                 "0.8234, 0.8666, 1.018, 1.294, 1.707, 2.267, 2.975, 3.866, 4.994, 6.382",\
                 "0.9852, 1.033, 1.195, 1.478, 1.9, 2.473, 3.205, 4.1, 5.173, 6.491",\
                 "1.177, 1.227, 1.408, 1.709, 2.141, 2.724, 3.464, 4.38, 5.472, 6.745",\
                 "1.394, 1.454, 1.649, 1.977, 2.432, 3.023, 3.773, 4.698, 5.808, 7.108");
        }

        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.001662, 0.003985, 0.00842, 0.01533, 0.02503, 0.03779, 0.05386, 0.07349, 0.09688");
          values("0.8106, 0.8604, 1.029, 1.352, 1.852, 2.554, 3.477, 4.638, 6.051, 7.731",\
                 "0.8078, 0.8582, 1.029, 1.352, 1.852, 2.555, 3.478, 4.638, 6.051, 7.729",\
                 "0.8081, 0.8568, 1.03, 1.354, 1.852, 2.555, 3.477, 4.638, 6.052, 7.73",\
                 "0.805, 0.8558, 1.027, 1.351, 1.853, 2.555, 3.477, 4.638, 6.051, 7.73",\
                 "0.8748, 0.9118, 1.059, 1.358, 1.851, 2.555, 3.477, 4.638, 6.051, 7.731",\
                 "1.122, 1.162, 1.291, 1.525, 1.926, 2.569, 3.478, 4.638, 6.051, 7.731",\
                 "1.415, 1.465, 1.623, 1.887, 2.239, 2.755, 3.542, 4.649, 6.052, 7.73",\
                 "1.735, 1.798, 1.985, 2.302, 2.717, 3.207, 3.854, 4.79, 6.088, 7.735",\
                 "2.069, 2.139, 2.366, 2.751, 3.234, 3.809, 4.438, 5.228, 6.33, 7.816",\
                 "2.418, 2.496, 2.774, 3.208, 3.782, 4.432, 5.166, 5.942, 6.896, 8.164");
        }
      }
    }
  }