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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

    leakage_power() {
      related_pg_pin : "VDD" ;
      value : "7.02126e-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.01689 ;
      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.01958, 0.01958, 0.01957, 0.01956, 0.01955, 0.01953, 0.0195, \
                 0.01949, 0.01948, 0.01945");
        }

        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.01388, -0.01387, -0.01387, -0.01386, -0.01386, -0.01388, -0.0139, \
                 -0.01394, -0.014, -0.01411");
        }
      }

      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.006337, 0.006325, 0.006336, 0.006354, 0.00638, 0.006387, 0.006386, \
                 0.006386, 0.006386, 0.006384");
        }

        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.006371, -0.006376, -0.006376, -0.006384, -0.006404, -0.006412, \
                 -0.006407, -0.006413, -0.006411, -0.00641");
        }
      }

      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.006347, 0.006334, 0.006346, 0.006362, 0.006392, 0.006397, 0.006396, \
                 0.006398, 0.006397, 0.006396");
        }

        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.00638, -0.006387, -0.006384, -0.006393, -0.006415, -0.006412, \
                 -0.006418, -0.006419, -0.006418, -0.006423");
        }
      }

      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.006346, 0.006335, 0.006364, 0.006364, 0.006399, 0.0064, 0.006391, \
                 0.006396, 0.006401, 0.006398");
        }

        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.006381, -0.006385, -0.006386, -0.0064, -0.00642, -0.006421, \
                 -0.006419, -0.006424, -0.00642, -0.006424");
        }
      }

      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.02874, 0.02875, 0.02871, 0.02865, 0.02864, 0.02856, 0.02844, \
                 0.0283, 0.02805, 0.02766");
        }

        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.006383, -0.006388, -0.006397, -0.006396, -0.006423, -0.006426, \
                 -0.006426, -0.006422, -0.006423, -0.006423");
        }
      }

      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.01908, 0.01908, 0.01906, 0.01901, 0.01902, 0.01897, 0.0189, \
                 0.01882, 0.01868, 0.01845");
        }

        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.006392, -0.006398, -0.006407, -0.006402, -0.006433, -0.006438, \
                 -0.006439, -0.006434, -0.006432, -0.006433");
        }
      }

      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.01908, 0.01909, 0.01906, 0.01902, 0.01902, 0.01897, 0.0189, \
                 0.01882, 0.01868, 0.01846");
        }

        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.006392, -0.006399, -0.006407, -0.006403, -0.006433, -0.006436, \
                 -0.006435, -0.006432, -0.006435, -0.00644");
        }
      }
    }

    pin(A2) {
      capacitance : 0.01709 ;
      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.01851, 0.01735, 0.01717, 0.01715, 0.01713, 0.01712, 0.01709, \
                 0.01708, 0.01707, 0.01706");
        }

        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.01718, -0.01717, -0.01716, -0.01713, -0.01712, -0.0171, -0.01707, \
                 -0.01706, -0.01705, -0.01704");
        }
      }

      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.006341, 0.006357, 0.006346, 0.006351, 0.006376, 0.006384, 0.00639, \
                 0.006384, 0.00639, 0.006386");
        }

        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.006371, -0.006383, -0.006384, -0.006391, -0.006407, -0.006407, \
                 -0.006406, -0.006413, -0.006413, -0.006409");
        }
      }

      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.006351, 0.00636, 0.006355, 0.006358, 0.006385, 0.006397, 0.006401, \
                 0.006397, 0.0064, 0.006394");
        }

        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.00638, -0.006405, -0.006408, -0.0064, -0.006416, -0.006417, \
                 -0.006418, -0.006419, -0.006421, -0.00642");
        }
      }

      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.00635, 0.006365, 0.006356, 0.006361, 0.006385, 0.006399, 0.006401, \
                 0.006398, 0.0064, 0.006399");
        }

        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.00638, -0.006389, -0.006406, -0.006401, -0.006422, -0.006422, \
                 -0.006419, -0.00642, -0.006419, -0.006422");
        }
      }

      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.02877, 0.02878, 0.02871, 0.02867, 0.02863, 0.02856, 0.02844, \
                 0.0283, 0.02806, 0.02766");
        }

        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.006397, -0.006398, -0.006404, -0.006417, -0.006417, -0.006427, \
                 -0.006427, -0.006426, -0.006426, -0.006425");
        }
      }

      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.01909, 0.01911, 0.01905, 0.01903, 0.01901, 0.01898, 0.01891, \
                 0.01882, 0.01868, 0.01846");
        }

        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.006405, -0.006407, -0.006415, -0.006413, -0.006427, -0.006435, \
                 -0.00644, -0.006436, -0.006437, -0.006436");
        }
      }

      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.01909, 0.0191, 0.01905, 0.01903, 0.01901, 0.01897, 0.01891, \
                 0.01881, 0.01869, 0.01846");
        }

        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.006406, -0.006408, -0.006408, -0.006432, -0.006422, -0.006435, \
                 -0.00644, -0.006431, -0.006438, -0.006431");
        }
      }
    }

    pin(B) {
      capacitance : 0.01474 ;
      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.01021, 0.0102, 0.01019, 0.01021, 0.01023, 0.01021, 0.0102, 0.01017, \
                 0.01014, 0.01009");
        }

        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.008402, -0.008402, -0.008413, -0.008439, -0.00846, -0.008453, \
                 -0.00845, -0.008452, -0.008449, -0.008456");
        }
      }

      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.01019, 0.01018, 0.01017, 0.01018, 0.01021, 0.0102, 0.01018, \
                 0.01016, 0.01013, 0.01008");
        }

        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.008424, -0.008421, -0.008434, -0.008448, -0.00848, -0.008467, \
                 -0.008475, -0.008469, -0.008471, -0.008481");
        }
      }

      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.01019, 0.01019, 0.01018, 0.01019, 0.01021, 0.0102, 0.01018, \
                 0.01016, 0.01012, 0.01008");
        }

        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.008426, -0.008423, -0.008428, -0.008446, -0.00846, -0.008471, \
                 -0.008467, -0.008475, -0.008473, -0.008475");
        }
      }

      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.0171, 0.01712, 0.01706, 0.01706, 0.0171, 0.01708, 0.01708, 0.01708, \
                 0.01708, 0.01708");
        }

        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.01401, -0.01403, -0.01439, -0.01496, -0.01546, -0.01575, -0.01594, \
                 -0.01605, -0.01615, -0.01621");
        }
      }

      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.01054, 0.01055, 0.01053, 0.01056, 0.01059, 0.01059, 0.01059, \
                 0.01059, 0.01059, 0.01059");
        }

        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.01225, -0.01213, -0.01197, -0.01193, -0.01193, -0.01193, -0.01191, \
                 -0.0119, -0.01191, -0.0119");
        }
      }
    }

    pin(C) {
      capacitance : 0.01417 ;
      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.01704, 0.01702, 0.01701, 0.01702, 0.01704, 0.01705, 0.01705, \
                 0.01704, 0.01704, 0.01705");
        }

        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.01531, -0.01561, -0.016, -0.01624, -0.01643, -0.01649, -0.01654, \
                 -0.01659, -0.01662, -0.01663");
        }
      }

      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.01704, 0.01702, 0.01699, 0.01701, 0.01703, 0.01705, 0.01703, \
                 0.01706, 0.01704, 0.01705");
        }

        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.01531, -0.01561, -0.016, -0.01625, -0.01643, -0.01649, -0.01654, \
                 -0.01659, -0.01662, -0.01664");
        }
      }

      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.01704, 0.01702, 0.01699, 0.01701, 0.01705, 0.01704, 0.01705, \
                 0.01704, 0.01705, 0.01705");
        }

        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.01532, -0.01562, -0.016, -0.01624, -0.01643, -0.0165, -0.01654, \
                 -0.01658, -0.01661, -0.01664");
        }
      }

      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.01708, 0.01705, 0.01707, 0.01707, 0.01708, 0.0171, 0.01709, \
                 0.01709, 0.01708, 0.01709");
        }

        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.01392, -0.01416, -0.01461, -0.015, -0.01542, -0.01564, -0.01583, \
                 -0.01594, -0.01602, -0.0161");
        }
      }

      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.01704, 0.01702, 0.01701, 0.01702, 0.01705, 0.01704, 0.01705, \
                 0.01705, 0.01705, 0.01705");
        }

        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.01534, -0.01561, -0.01601, -0.01625, -0.01642, -0.01649, -0.01654, \
                 -0.01659, -0.01661, -0.01663");
        }
      }
    }

    pin(ZN) {
      direction : output ;
      function : "(((!A1)&(!B)&(!C))|((!A2)&(!B)&(!C)))" ;
      max_capacitance : 0.2505 ;
      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.002722, 0.008768, 0.02031, 0.0383, 0.06353, 0.09674, 0.1386, 0.1896, 0.2505");
          values("0.005939, 0.005959, 0.006001, 0.006024, 0.006051, 0.006056, 0.006062, 0.006066, 0.006069, 0.006071",\
                 "0.005676, 0.005738, 0.00589, 0.006066, 0.006194, 0.006277, 0.006333, 0.006367, 0.006405, 0.006424",\
                 "0.004983, 0.005092, 0.005458, 0.005918, 0.006294, 0.006572, 0.006765, 0.006907, 0.006989, 0.007068",\
                 "0.004192, 0.004336, 0.004768, 0.00538, 0.005954, 0.006441, 0.006819, 0.007079, 0.007276, 0.007425",\
                 "0.003682, 0.003811, 0.004169, 0.004729, 0.005403, 0.006024, 0.006515, 0.006895, 0.007188, 0.007408",\
                 "0.003599, 0.003676, 0.003915, 0.004346, 0.004918, 0.005529, 0.006098, 0.006551, 0.00693, 0.007218",\
                 "0.004066, 0.004105, 0.004188, 0.004399, 0.004784, 0.005287, 0.005784, 0.006251, 0.006679, 0.007002",\
                 "0.00511, 0.005085, 0.005015, 0.005006, 0.005115, 0.005393, 0.005767, 0.00615, 0.006534, 0.00687",\
                 "0.006722, 0.006651, 0.006447, 0.006189, 0.006014, 0.00601, 0.006136, 0.006379, 0.006632, 0.006902",\
                 "0.008943, 0.008836, 0.008459, 0.007973, 0.007497, 0.007163, 0.007015, 0.007025, 0.007082, 0.00725");
        }

        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.002722, 0.008768, 0.02031, 0.0383, 0.06353, 0.09674, 0.1386, 0.1896, 0.2505");
          values("0.07112, 0.07119, 0.07133, 0.07153, 0.07168, 0.0718, 0.07196, 0.07217, 0.07267, 0.07646",\
                 "0.07003, 0.07019, 0.07061, 0.07113, 0.07156, 0.07191, 0.07219, 0.0725, 0.0731, 0.07707",\
                 "0.0677, 0.06786, 0.06842, 0.06918, 0.07003, 0.07076, 0.07136, 0.07189, 0.07266, 0.07705",\
                 "0.06651, 0.0666, 0.06692, 0.06754, 0.06837, 0.06924, 0.06998, 0.0707, 0.07182, 0.07702",\
                 "0.06631, 0.06636, 0.0665, 0.06684, 0.06735, 0.06802, 0.06872, 0.06949, 0.07091, 0.07747",\
                 "0.06669, 0.0667, 0.06673, 0.06684, 0.06708, 0.06748, 0.06805, 0.06872, 0.07038, 0.07924",\
                 "0.06756, 0.06751, 0.06741, 0.06739, 0.06744, 0.06752, 0.06781, 0.06844, 0.07099, 0.08359",\
                 "0.0689, 0.06881, 0.06859, 0.06833, 0.06821, 0.06815, 0.06816, 0.06864, 0.07276, 0.09347",\
                 "0.07076, 0.07064, 0.07032, 0.06986, 0.0694, 0.06915, 0.06909, 0.06994, 0.07864, 0.1152",\
                 "0.07309, 0.07296, 0.07254, 0.07195, 0.07118, 0.07068, 0.07068, 0.0742, 0.09594, 0.1581");
        }
      }

      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.002722, 0.008768, 0.02031, 0.0383, 0.06353, 0.09674, 0.1386, 0.1896, 0.2505");
          values("0.005948, 0.005977, 0.006012, 0.006024, 0.006044, 0.006049, 0.006053, 0.00606, 0.006064, 0.006065",\
                 "0.00584, 0.005871, 0.005996, 0.00614, 0.006245, 0.006314, 0.006369, 0.0064, 0.006413, 0.006441",\
                 "0.005213, 0.005321, 0.005651, 0.006065, 0.00641, 0.006658, 0.006838, 0.006948, 0.007041, 0.007094",\
                 "0.00424, 0.004392, 0.004844, 0.005479, 0.006078, 0.00654, 0.006896, 0.00715, 0.007334, 0.007463",\
                 "0.003429, 0.003559, 0.003983, 0.004644, 0.005371, 0.006029, 0.006541, 0.006924, 0.007215, 0.007432",\
                 "0.00293, 0.003043, 0.003382, 0.003962, 0.004653, 0.005372, 0.005992, 0.006502, 0.006885, 0.007186",\
                 "0.002908, 0.002972, 0.003208, 0.003617, 0.004206, 0.004838, 0.005471, 0.006031, 0.006503, 0.006873",\
                 "0.003383, 0.003394, 0.003516, 0.003736, 0.004115, 0.004618, 0.005173, 0.005696, 0.006173, 0.006578",\
                 "0.004357, 0.004342, 0.004318, 0.00435, 0.004511, 0.004789, 0.005188, 0.005617, 0.006038, 0.006413",\
                 "0.005847, 0.005797, 0.005651, 0.00548, 0.005386, 0.005448, 0.005608, 0.005866, 0.006163, 0.006478");
        }

        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.002722, 0.008768, 0.02031, 0.0383, 0.06353, 0.09674, 0.1386, 0.1896, 0.2505");
          values("0.08559, 0.0856, 0.08563, 0.08569, 0.08577, 0.08586, 0.08599, 0.08614, 0.08668, 0.09071",\
                 "0.08446, 0.0845, 0.08463, 0.08479, 0.08496, 0.08512, 0.08529, 0.08547, 0.08601, 0.09022",\
                 "0.08287, 0.08294, 0.0832, 0.08355, 0.08394, 0.0843, 0.08461, 0.08491, 0.08559, 0.09018",\
                 "0.08192, 0.08198, 0.08218, 0.08251, 0.08295, 0.08341, 0.08382, 0.08423, 0.08509, 0.09046",\
                 "0.08171, 0.08175, 0.08183, 0.08204, 0.08235, 0.08275, 0.08313, 0.0837, 0.08474, 0.09141",\
                 "0.082, 0.08201, 0.08205, 0.08212, 0.08225, 0.08244, 0.08279, 0.08326, 0.0848, 0.09376",\
                 "0.08274, 0.0827, 0.08264, 0.08261, 0.08261, 0.08264, 0.08279, 0.08312, 0.08545, 0.09884",\
                 "0.08398, 0.08389, 0.08373, 0.08349, 0.08338, 0.08327, 0.08322, 0.08362, 0.08788, 0.1097",\
                 "0.08567, 0.08554, 0.0853, 0.08488, 0.08453, 0.0843, 0.08417, 0.08509, 0.09447, 0.1325",\
                 "0.08781, 0.0877, 0.08738, 0.08686, 0.08618, 0.08561, 0.08566, 0.08961, 0.1129, 0.1768");
        }
      }

      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.002722, 0.008768, 0.02031, 0.0383, 0.06353, 0.09674, 0.1386, 0.1896, 0.2505");
          values("0.02555, 0.02555, 0.02551, 0.02553, 0.02552, 0.02553, 0.02551, 0.02554, 0.02552, 0.02553",\
                 "0.02575, 0.02575, 0.02575, 0.02578, 0.02576, 0.02575, 0.0258, 0.02576, 0.02579, 0.02578",\
                 "0.02561, 0.02564, 0.02567, 0.02573, 0.02581, 0.02583, 0.02591, 0.02593, 0.02592, 0.02596",\
                 "0.02485, 0.02491, 0.02501, 0.02519, 0.02537, 0.02553, 0.02564, 0.02574, 0.02579, 0.02585",\
                 "0.02408, 0.02411, 0.02425, 0.02445, 0.02475, 0.02498, 0.02519, 0.02538, 0.02553, 0.02562",\
                 "0.02361, 0.02364, 0.02374, 0.02392, 0.02416, 0.02448, 0.02478, 0.02497, 0.02517, 0.02533",\
                 "0.02363, 0.02364, 0.02371, 0.02384, 0.02403, 0.02425, 0.02449, 0.0247, 0.02493, 0.0251",\
                 "0.02431, 0.02434, 0.02431, 0.02429, 0.02426, 0.02437, 0.02451, 0.02466, 0.02486, 0.025",\
                 "0.02563, 0.02559, 0.02549, 0.02528, 0.02513, 0.02499, 0.02497, 0.02502, 0.02504, 0.02513",\
                 "0.02755, 0.02748, 0.02729, 0.02691, 0.02655, 0.02618, 0.02589, 0.02573, 0.02564, 0.02555");
        }

        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.002722, 0.008768, 0.02031, 0.0383, 0.06353, 0.09674, 0.1386, 0.1896, 0.2505");
          values("0.09663, 0.09665, 0.09671, 0.09679, 0.0969, 0.09702, 0.09716, 0.09735, 0.09763, 0.09898",\
                 "0.09612, 0.09621, 0.09633, 0.0965, 0.09671, 0.09688, 0.09707, 0.09731, 0.09755, 0.09899",\
                 "0.09517, 0.09525, 0.09544, 0.09573, 0.09609, 0.09641, 0.09671, 0.09699, 0.09735, 0.09905",\
                 "0.09462, 0.09465, 0.09483, 0.09511, 0.09548, 0.09587, 0.09622, 0.09661, 0.09708, 0.09903",\
                 "0.09434, 0.09439, 0.0945, 0.09472, 0.095, 0.09535, 0.09574, 0.09616, 0.09671, 0.09926",\
                 "0.09418, 0.09422, 0.09433, 0.09448, 0.09471, 0.09502, 0.09536, 0.09578, 0.09649, 0.1001",\
                 "0.09403, 0.09406, 0.09413, 0.09436, 0.09458, 0.09481, 0.09514, 0.09552, 0.09637, 0.102",\
                 "0.0941, 0.0941, 0.09415, 0.09425, 0.09444, 0.09477, 0.09502, 0.09534, 0.09719, 0.1069",\
                 "0.09442, 0.09447, 0.09443, 0.09442, 0.09449, 0.0947, 0.09503, 0.09554, 0.09945, 0.119",\
                 "0.09527, 0.0952, 0.09512, 0.09506, 0.09492, 0.09496, 0.09525, 0.09717, 0.1082, 0.1492");
        }
      }

      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.002722, 0.008768, 0.02031, 0.0383, 0.06353, 0.09674, 0.1386, 0.1896, 0.2505");
          values("0.0227, 0.02269, 0.02267, 0.02267, 0.02266, 0.02266, 0.02266, 0.02264, 0.02268, 0.02267",\
                 "0.02284, 0.02283, 0.0228, 0.02283, 0.02282, 0.02281, 0.02284, 0.02283, 0.02282, 0.02284",\
                 "0.02255, 0.02256, 0.02261, 0.02266, 0.02265, 0.02271, 0.02272, 0.02273, 0.02275, 0.02276",\
                 "0.02172, 0.02173, 0.02187, 0.022, 0.02215, 0.02229, 0.02238, 0.02242, 0.02247, 0.02249",\
                 "0.02089, 0.02093, 0.02107, 0.0213, 0.02154, 0.02174, 0.02192, 0.02208, 0.02218, 0.02224",\
                 "0.02046, 0.0205, 0.02061, 0.0208, 0.02102, 0.02129, 0.02152, 0.02171, 0.02188, 0.02199",\
                 "0.0206, 0.02062, 0.02063, 0.02073, 0.02089, 0.02109, 0.02129, 0.0215, 0.02166, 0.02179",\
                 "0.02135, 0.02133, 0.02126, 0.02121, 0.0212, 0.02128, 0.02136, 0.02148, 0.02163, 0.02175",\
                 "0.0227, 0.02269, 0.0225, 0.02229, 0.02206, 0.02189, 0.02185, 0.02184, 0.02182, 0.0219",\
                 "0.02477, 0.02465, 0.02437, 0.02395, 0.02352, 0.02313, 0.02279, 0.02258, 0.02245, 0.02233");
        }

        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.002722, 0.008768, 0.02031, 0.0383, 0.06353, 0.09674, 0.1386, 0.1896, 0.2505");
          values("0.08958, 0.08961, 0.08964, 0.08972, 0.08981, 0.08994, 0.09006, 0.09023, 0.0908, 0.09499",\
                 "0.08908, 0.08912, 0.08926, 0.08944, 0.08965, 0.08982, 0.08997, 0.09017, 0.09084, 0.09512",\
                 "0.08811, 0.08819, 0.08839, 0.08871, 0.08903, 0.08933, 0.08961, 0.08989, 0.09063, 0.09529",\
                 "0.08757, 0.08761, 0.08777, 0.08804, 0.0884, 0.08877, 0.08913, 0.08954, 0.09038, 0.09582",\
                 "0.0873, 0.08732, 0.08746, 0.08766, 0.08794, 0.08829, 0.08864, 0.08905, 0.09019, 0.09703",\
                 "0.08714, 0.08716, 0.08726, 0.08743, 0.08767, 0.08793, 0.08824, 0.0887, 0.0902, 0.09939",\
                 "0.08701, 0.08702, 0.0871, 0.08732, 0.0875, 0.08771, 0.08801, 0.08845, 0.09084, 0.1041",\
                 "0.0871, 0.08709, 0.08711, 0.0872, 0.08743, 0.08767, 0.08788, 0.08847, 0.09276, 0.114",\
                 "0.08743, 0.08744, 0.08742, 0.08738, 0.08741, 0.08767, 0.08799, 0.08913, 0.09792, 0.1345",\
                 "0.08821, 0.08815, 0.08806, 0.08801, 0.08785, 0.08788, 0.08839, 0.09219, 0.1129, 0.1736");
        }
      }

      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.002722, 0.008768, 0.02031, 0.0383, 0.06353, 0.09674, 0.1386, 0.1896, 0.2505");
          values("0.02267, 0.02267, 0.02266, 0.02266, 0.02265, 0.02264, 0.02265, 0.02264, 0.02263, 0.02265",\
                 "0.02283, 0.02282, 0.02281, 0.02281, 0.0228, 0.02279, 0.02282, 0.02281, 0.02281, 0.02282",\
                 "0.02252, 0.02254, 0.02259, 0.02264, 0.02266, 0.02269, 0.02272, 0.02271, 0.02276, 0.02274",\
                 "0.02172, 0.02176, 0.02184, 0.02199, 0.02215, 0.02228, 0.02237, 0.0224, 0.02245, 0.02251",\
                 "0.02091, 0.02094, 0.02107, 0.02128, 0.02153, 0.02174, 0.02192, 0.02208, 0.02216, 0.02223",\
                 "0.02046, 0.02051, 0.02061, 0.0208, 0.02104, 0.02129, 0.0215, 0.02171, 0.02186, 0.02198",\
                 "0.02061, 0.0206, 0.02062, 0.02071, 0.02088, 0.02109, 0.02128, 0.02149, 0.02166, 0.02178",\
                 "0.02132, 0.02132, 0.02124, 0.0212, 0.0212, 0.02125, 0.02136, 0.02148, 0.02163, 0.02173",\
                 "0.02269, 0.02265, 0.02249, 0.02226, 0.02206, 0.02189, 0.02184, 0.02182, 0.02185, 0.02189",\
                 "0.02475, 0.02467, 0.02436, 0.02394, 0.0235, 0.02311, 0.02279, 0.02258, 0.02244, 0.02233");
        }

        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.002722, 0.008768, 0.02031, 0.0383, 0.06353, 0.09674, 0.1386, 0.1896, 0.2505");
          values("0.1052, 0.1052, 0.1053, 0.1053, 0.1054, 0.1055, 0.1056, 0.1058, 0.1064, 0.1109",\
                 "0.1048, 0.1049, 0.1049, 0.1051, 0.1053, 0.1054, 0.1056, 0.1057, 0.1064, 0.111",\
                 "0.104, 0.1041, 0.1042, 0.1044, 0.1047, 0.1049, 0.1052, 0.1055, 0.1062, 0.1112",\
                 "0.1034, 0.1034, 0.1036, 0.1038, 0.1041, 0.1044, 0.1048, 0.1051, 0.106, 0.1118",\
                 "0.103, 0.103, 0.1031, 0.1033, 0.1036, 0.1039, 0.1043, 0.1047, 0.1059, 0.1131",\
                 "0.1028, 0.1028, 0.1029, 0.1031, 0.1033, 0.1036, 0.1039, 0.1043, 0.1059, 0.1157",\
                 "0.1026, 0.1027, 0.1028, 0.103, 0.1031, 0.1033, 0.1036, 0.104, 0.1065, 0.1208",\
                 "0.1026, 0.1026, 0.1027, 0.1028, 0.103, 0.1032, 0.1034, 0.104, 0.1086, 0.1312",\
                 "0.1029, 0.1029, 0.1029, 0.1029, 0.1029, 0.1032, 0.1035, 0.1048, 0.1143, 0.1527",\
                 "0.1035, 0.1034, 0.1034, 0.1033, 0.1032, 0.1033, 0.1039, 0.108, 0.1302, 0.193");
        }
      }

      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.002722, 0.008768, 0.02031, 0.0383, 0.06353, 0.09674, 0.1386, 0.1896, 0.2505");
          values("0.03515, 0.03514, 0.03514, 0.03512, 0.03509, 0.03509, 0.0351, 0.03512, 0.03509, 0.0351",\
                 "0.03456, 0.03454, 0.03451, 0.03454, 0.03451, 0.03447, 0.03448, 0.03451, 0.0345, 0.0345",\
                 "0.03364, 0.03365, 0.03367, 0.03368, 0.03366, 0.03362, 0.03365, 0.03369, 0.03368, 0.03368",\
                 "0.03297, 0.03295, 0.03299, 0.03304, 0.03309, 0.03315, 0.03315, 0.03314, 0.03315, 0.03316",\
                 "0.03245, 0.03243, 0.03248, 0.03251, 0.03256, 0.03268, 0.03274, 0.03281, 0.03286, 0.03285",\
                 "0.03219, 0.03221, 0.03221, 0.03227, 0.03233, 0.0324, 0.03251, 0.03253, 0.0326, 0.03264",\
                 "0.03239, 0.03238, 0.03235, 0.03236, 0.03236, 0.03237, 0.03242, 0.03247, 0.0325, 0.03251",\
                 "0.03313, 0.03312, 0.03302, 0.03288, 0.03278, 0.03272, 0.03263, 0.03262, 0.03262, 0.03256",\
                 "0.03446, 0.03438, 0.03423, 0.03402, 0.03369, 0.03348, 0.03326, 0.0331, 0.03295, 0.03287",\
                 "0.03636, 0.0363, 0.03604, 0.03567, 0.03519, 0.03477, 0.03431, 0.03395, 0.03363, 0.0334");
        }

        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.002722, 0.008768, 0.02031, 0.0383, 0.06353, 0.09674, 0.1386, 0.1896, 0.2505");
          values("0.1064, 0.1064, 0.1064, 0.1065, 0.1066, 0.1068, 0.1069, 0.1071, 0.1073, 0.1088",\
                 "0.1059, 0.1059, 0.106, 0.1062, 0.1064, 0.1066, 0.1068, 0.107, 0.1073, 0.1088",\
                 "0.1049, 0.1049, 0.1051, 0.1054, 0.1058, 0.1061, 0.1064, 0.1067, 0.107, 0.1087",\
                 "0.1043, 0.1044, 0.1045, 0.1048, 0.1052, 0.1056, 0.1059, 0.1063, 0.1068, 0.1088",\
                 "0.1041, 0.1041, 0.1042, 0.1044, 0.1047, 0.1051, 0.1055, 0.1059, 0.1064, 0.109",\
                 "0.1038, 0.1039, 0.104, 0.1042, 0.1044, 0.1047, 0.105, 0.1055, 0.1061, 0.1097",\
                 "0.1037, 0.1037, 0.1038, 0.104, 0.1043, 0.1045, 0.1048, 0.1052, 0.1061, 0.1114",\
                 "0.1037, 0.1037, 0.1037, 0.1038, 0.104, 0.1044, 0.1046, 0.105, 0.1066, 0.1157",\
                 "0.1039, 0.1039, 0.1039, 0.104, 0.104, 0.1042, 0.1047, 0.1052, 0.1084, 0.1256",\
                 "0.1046, 0.1046, 0.1045, 0.1044, 0.1044, 0.1043, 0.1046, 0.1062, 0.1151, 0.1504");
        }
      }

      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.002722, 0.008768, 0.02031, 0.0383, 0.06353, 0.09674, 0.1386, 0.1896, 0.2505");
          values("0.03211, 0.03212, 0.03209, 0.03206, 0.03205, 0.03206, 0.03202, 0.03202, 0.03206, 0.03205",\
                 "0.03148, 0.03148, 0.03147, 0.03146, 0.03144, 0.03142, 0.03144, 0.0314, 0.03142, 0.03143",\
                 "0.03057, 0.03058, 0.03058, 0.03057, 0.03056, 0.03054, 0.03053, 0.03053, 0.03053, 0.03051",\
                 "0.02982, 0.02982, 0.02986, 0.02989, 0.02992, 0.02998, 0.02999, 0.02997, 0.02996, 0.02998",\
                 "0.02925, 0.02928, 0.0293, 0.02934, 0.02942, 0.02948, 0.02953, 0.0296, 0.02961, 0.02961",\
                 "0.02902, 0.02902, 0.02903, 0.02907, 0.02912, 0.0292, 0.02926, 0.0293, 0.02935, 0.02938",\
                 "0.02924, 0.02922, 0.02918, 0.02916, 0.02915, 0.02914, 0.02918, 0.02922, 0.02923, 0.02925",\
                 "0.02998, 0.02996, 0.02989, 0.02972, 0.02957, 0.02948, 0.02939, 0.02933, 0.02932, 0.02925",\
                 "0.03134, 0.03132, 0.03111, 0.03082, 0.03054, 0.03019, 0.02998, 0.02979, 0.02962, 0.02951",\
                 "0.03333, 0.03327, 0.03295, 0.0325, 0.03201, 0.03149, 0.03101, 0.03059, 0.0303, 0.03003");
        }

        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.002722, 0.008768, 0.02031, 0.0383, 0.06353, 0.09674, 0.1386, 0.1896, 0.2505");
          values("0.09928, 0.09932, 0.09935, 0.09943, 0.09953, 0.09966, 0.09978, 0.09997, 0.1005, 0.1048",\
                 "0.09878, 0.09881, 0.09896, 0.09912, 0.09931, 0.0995, 0.09964, 0.09986, 0.1004, 0.1049",\
                 "0.09776, 0.09783, 0.09805, 0.09834, 0.09866, 0.09898, 0.09926, 0.09953, 0.1002, 0.105",\
                 "0.09725, 0.09731, 0.09748, 0.09771, 0.09807, 0.09844, 0.09881, 0.09919, 0.1001, 0.1056",\
                 "0.09696, 0.09699, 0.09713, 0.09732, 0.0976, 0.09795, 0.09832, 0.0987, 0.09992, 0.1068",\
                 "0.09679, 0.09683, 0.09693, 0.09709, 0.0973, 0.09759, 0.09791, 0.09832, 0.09986, 0.1091",\
                 "0.09662, 0.09665, 0.09673, 0.09694, 0.09715, 0.09736, 0.09766, 0.09811, 0.1004, 0.1135",\
                 "0.09665, 0.09665, 0.09668, 0.09676, 0.09699, 0.09731, 0.09753, 0.09806, 0.1022, 0.1224",\
                 "0.09685, 0.09686, 0.09689, 0.09689, 0.09695, 0.09716, 0.09758, 0.09858, 0.1065, 0.1406",\
                 "0.09745, 0.0974, 0.09739, 0.09727, 0.09719, 0.09726, 0.09769, 0.101, 0.1189, 0.1752");
        }
      }

      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.002722, 0.008768, 0.02031, 0.0383, 0.06353, 0.09674, 0.1386, 0.1896, 0.2505");
          values("0.03211, 0.0321, 0.03209, 0.03206, 0.03204, 0.03204, 0.03201, 0.03201, 0.03203, 0.03202",\
                 "0.03149, 0.03149, 0.03147, 0.03146, 0.03143, 0.03141, 0.03142, 0.03139, 0.03139, 0.03141",\
                 "0.03057, 0.03057, 0.03059, 0.03056, 0.03055, 0.03053, 0.03052, 0.0305, 0.0305, 0.03048",\
                 "0.02982, 0.02984, 0.02986, 0.02988, 0.02991, 0.02995, 0.02996, 0.02994, 0.02994, 0.02995",\
                 "0.02924, 0.02927, 0.0293, 0.02936, 0.02942, 0.0295, 0.02953, 0.02959, 0.02958, 0.02959",\
                 "0.029, 0.02902, 0.02902, 0.02907, 0.02912, 0.02919, 0.02926, 0.02929, 0.02935, 0.02936",\
                 "0.02923, 0.02922, 0.02917, 0.02913, 0.02917, 0.02915, 0.02917, 0.0292, 0.02923, 0.02924",\
                 "0.02999, 0.02995, 0.02986, 0.02967, 0.02956, 0.02945, 0.02937, 0.02933, 0.02929, 0.02926",\
                 "0.03134, 0.03131, 0.03109, 0.03081, 0.03052, 0.0302, 0.02996, 0.02978, 0.02964, 0.02952",\
                 "0.03332, 0.03324, 0.03295, 0.0325, 0.03197, 0.03147, 0.03097, 0.03057, 0.03028, 0.03002");
        }

        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.002722, 0.008768, 0.02031, 0.0383, 0.06353, 0.09674, 0.1386, 0.1896, 0.2505");
          values("0.1149, 0.1149, 0.1149, 0.115, 0.1151, 0.1152, 0.1153, 0.1155, 0.1161, 0.1207",\
                 "0.1145, 0.1145, 0.1146, 0.1148, 0.1149, 0.1151, 0.1152, 0.1154, 0.116, 0.1207",\
                 "0.1136, 0.1137, 0.1139, 0.1141, 0.1144, 0.1146, 0.1149, 0.1151, 0.1159, 0.121",\
                 "0.113, 0.1131, 0.1132, 0.1135, 0.1137, 0.1141, 0.1144, 0.1148, 0.1157, 0.1217",\
                 "0.1127, 0.1127, 0.1128, 0.113, 0.1133, 0.1136, 0.114, 0.1143, 0.1154, 0.1228",\
                 "0.1125, 0.1125, 0.1126, 0.1127, 0.1129, 0.1132, 0.1135, 0.1139, 0.1156, 0.1254",\
                 "0.1123, 0.1123, 0.1124, 0.1126, 0.1127, 0.1129, 0.1132, 0.1136, 0.1161, 0.1302",\
                 "0.1122, 0.1122, 0.1122, 0.1123, 0.1126, 0.1128, 0.113, 0.1136, 0.1179, 0.1396",\
                 "0.1123, 0.1123, 0.1124, 0.1124, 0.1124, 0.1127, 0.113, 0.1142, 0.1228, 0.1587",\
                 "0.1128, 0.1128, 0.1127, 0.1127, 0.1126, 0.1127, 0.1132, 0.1168, 0.136, 0.1945");
        }
      }

      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.002722, 0.008768, 0.02031, 0.0383, 0.06353, 0.09674, 0.1386, 0.1896, 0.2505");
          values("0.1887, 0.2002, 0.2402, 0.317, 0.4362, 0.6031, 0.8228, 1.099, 1.437, 1.84",\
                 "0.2134, 0.2251, 0.2656, 0.3431, 0.4624, 0.6297, 0.8498, 1.126, 1.464, 1.867",\
                 "0.3046, 0.3168, 0.3587, 0.4367, 0.5574, 0.7255, 0.9458, 1.223, 1.561, 1.964",\
                 "0.4189, 0.4377, 0.499, 0.6009, 0.7362, 0.9063, 1.127, 1.405, 1.743, 2.147",\
                 "0.5137, 0.5396, 0.6236, 0.7635, 0.9463, 1.163, 1.407, 1.687, 2.026, 2.429",\
                 "0.582, 0.6151, 0.7244, 0.9039, 1.139, 1.415, 1.723, 2.059, 2.42, 2.825",\
                 "0.6203, 0.662, 0.7952, 1.017, 1.307, 1.646, 2.024, 2.432, 2.869, 3.329",\
                 "0.6254, 0.6748, 0.8348, 1.099, 1.445, 1.852, 2.302, 2.787, 3.304, 3.846",\
                 "0.5934, 0.6512, 0.839, 1.147, 1.551, 2.025, 2.552, 3.118, 3.717, 4.347",\
                 "0.5248, 0.59, 0.8016, 1.158, 1.623, 2.166, 2.769, 3.419, 4.106, 4.826");
        }

        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.002722, 0.008768, 0.02031, 0.0383, 0.06353, 0.09674, 0.1386, 0.1896, 0.2505");
          values("0.5799, 0.6261, 0.7875, 1.095, 1.572, 2.24, 3.118, 4.224, 5.574, 7.186",\
                 "0.5936, 0.6411, 0.8067, 1.119, 1.601, 2.273, 3.154, 4.262, 5.613, 7.219",\
                 "0.6665, 0.7136, 0.8801, 1.197, 1.685, 2.363, 3.247, 4.358, 5.711, 7.323",\
                 "0.863, 0.9064, 1.065, 1.377, 1.864, 2.543, 3.432, 4.547, 5.903, 7.516",\
                 "1.18, 1.229, 1.391, 1.689, 2.168, 2.844, 3.732, 4.846, 6.208, 7.82",\
                 "1.532, 1.594, 1.796, 2.139, 2.615, 3.283, 4.167, 5.28, 6.638, 8.254",\
                 "1.912, 1.986, 2.228, 2.641, 3.194, 3.875, 4.752, 5.863, 7.217, 8.833",\
                 "2.319, 2.405, 2.691, 3.172, 3.818, 4.597, 5.5, 6.604, 7.955, 9.568",\
                 "2.761, 2.859, 3.185, 3.737, 4.475, 5.365, 6.379, 7.517, 8.865, 10.48",\
                 "3.238, 3.349, 3.714, 4.332, 5.166, 6.171, 7.308, 8.568, 9.953, 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.002722, 0.008768, 0.02031, 0.0383, 0.06353, 0.09674, 0.1386, 0.1896, 0.2505");
          values("0.2377, 0.257, 0.3257, 0.4554, 0.6586, 0.9411, 1.314, 1.783, 2.357, 3.039",\
                 "0.238, 0.2573, 0.3249, 0.4553, 0.6574, 0.9418, 1.314, 1.783, 2.356, 3.039",\
                 "0.2575, 0.2732, 0.3317, 0.4561, 0.6576, 0.9402, 1.315, 1.783, 2.358, 3.042",\
                 "0.3818, 0.3997, 0.4581, 0.5568, 0.7066, 0.9512, 1.314, 1.784, 2.358, 3.042",\
                 "0.5332, 0.5576, 0.6296, 0.755, 0.9238, 1.134, 1.411, 1.813, 2.361, 3.041",\
                 "0.7038, 0.7334, 0.8268, 0.9826, 1.186, 1.438, 1.727, 2.06, 2.497, 3.089",\
                 "0.8922, 0.9274, 1.039, 1.229, 1.478, 1.774, 2.109, 2.484, 2.901, 3.386",\
                 "1.093, 1.135, 1.27, 1.494, 1.788, 2.136, 2.525, 2.956, 3.424, 3.935",\
                 "1.302, 1.353, 1.514, 1.778, 2.116, 2.518, 2.97, 3.465, 3.987, 4.557",\
                 "1.524, 1.58, 1.767, 2.077, 2.462, 2.924, 3.437, 3.99, 4.598, 5.218");
        }

        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.002722, 0.008768, 0.02031, 0.0383, 0.06353, 0.09674, 0.1386, 0.1896, 0.2505");
          values("0.9394, 1.019, 1.293, 1.808, 2.607, 3.712, 5.172, 7.009, 9.249, 11.92",\
                 "0.9355, 1.016, 1.293, 1.811, 2.601, 3.713, 5.17, 7.007, 9.248, 11.92",\
                 "0.9186, 1.003, 1.285, 1.809, 2.605, 3.71, 5.172, 7.009, 9.248, 11.92",\
                 "0.8862, 0.965, 1.255, 1.797, 2.603, 3.72, 5.17, 7.006, 9.246, 11.91",\
                 "1.026, 1.083, 1.3, 1.776, 2.587, 3.714, 5.17, 7.009, 9.249, 11.92",\
                 "1.278, 1.339, 1.55, 1.935, 2.615, 3.703, 5.175, 7.01, 9.248, 11.92",\
                 "1.553, 1.625, 1.865, 2.275, 2.875, 3.789, 5.165, 7.008, 9.254, 11.92",\
                 "1.833, 1.92, 2.198, 2.662, 3.306, 4.137, 5.33, 7.021, 9.244, 11.92",\
                 "2.118, 2.215, 2.534, 3.07, 3.788, 4.672, 5.758, 7.258, 9.296, 11.92",\
                 "2.403, 2.518, 2.876, 3.484, 4.292, 5.262, 6.406, 7.764, 9.586, 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.002722, 0.008768, 0.02031, 0.0383, 0.06353, 0.09674, 0.1386, 0.1896, 0.2505");
          values("0.2132, 0.2247, 0.265, 0.3414, 0.4606, 0.6275, 0.8468, 1.124, 1.461, 1.864",\
                 "0.2429, 0.2543, 0.2949, 0.3719, 0.4914, 0.6585, 0.8784, 1.155, 1.493, 1.895",\
                 "0.3234, 0.3355, 0.3772, 0.4552, 0.5756, 0.7437, 0.9642, 1.241, 1.579, 1.983",\
                 "0.4277, 0.4438, 0.4973, 0.5906, 0.7223, 0.8934, 1.115, 1.393, 1.731, 2.135",\
                 "0.5264, 0.5477, 0.6182, 0.7374, 0.8988, 1.1, 1.341, 1.624, 1.963, 2.368",\
                 "0.6034, 0.6314, 0.7234, 0.8756, 1.077, 1.319, 1.6, 1.92, 2.281, 2.691",\
                 "0.6522, 0.6882, 0.8027, 0.9928, 1.242, 1.534, 1.865, 2.233, 2.64, 3.09",\
                 "0.6695, 0.7124, 0.852, 1.082, 1.383, 1.733, 2.123, 2.549, 3.01, 3.512",\
                 "0.649, 0.7008, 0.8665, 1.14, 1.494, 1.907, 2.364, 2.857, 3.383, 3.944",\
                 "0.592, 0.6505, 0.8438, 1.161, 1.574, 2.051, 2.58, 3.145, 3.744, 4.375");
        }

        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.002722, 0.008768, 0.02031, 0.0383, 0.06353, 0.09674, 0.1386, 0.1896, 0.2505");
          values("0.7748, 0.821, 0.9831, 1.291, 1.769, 2.438, 3.318, 4.424, 5.775, 7.384",\
                 "0.7874, 0.8343, 0.9976, 1.307, 1.787, 2.457, 3.337, 4.444, 5.795, 7.404",\
                 "0.871, 0.9183, 1.083, 1.396, 1.879, 2.552, 3.435, 4.544, 5.896, 7.506",\
                 "1.064, 1.111, 1.274, 1.586, 2.07, 2.744, 3.629, 4.74, 6.093, 7.705",\
                 "1.393, 1.437, 1.594, 1.899, 2.38, 3.054, 3.937, 5.05, 6.404, 8.016",\
                 "1.802, 1.857, 2.038, 2.355, 2.827, 3.497, 4.379, 5.489, 6.844, 8.456",\
                 "2.24, 2.306, 2.524, 2.901, 3.422, 4.091, 4.968, 6.076, 7.428, 9.04",\
                 "2.709, 2.784, 3.04, 3.48, 4.086, 4.83, 5.718, 6.821, 8.171, 9.779",\
                 "3.208, 3.295, 3.586, 4.091, 4.783, 5.633, 6.614, 7.737, 9.083, 10.69",\
                 "3.742, 3.841, 4.169, 4.737, 5.516, 6.47, 7.574, 8.803, 10.18, 11.78");
        }

        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.002722, 0.008768, 0.02031, 0.0383, 0.06353, 0.09674, 0.1386, 0.1896, 0.2505");
          values("0.2376, 0.2575, 0.3257, 0.4556, 0.6585, 0.941, 1.314, 1.782, 2.356, 3.042",\
                 "0.2381, 0.257, 0.325, 0.4554, 0.6585, 0.9412, 1.314, 1.784, 2.356, 3.039",\
                 "0.2484, 0.2657, 0.3285, 0.4553, 0.6577, 0.942, 1.313, 1.783, 2.356, 3.041",\
                 "0.3256, 0.3438, 0.4038, 0.518, 0.69, 0.9502, 1.314, 1.782, 2.358, 3.042",\
                 "0.4402, 0.459, 0.5266, 0.6458, 0.8238, 1.066, 1.383, 1.809, 2.36, 3.041",\
                 "0.583, 0.607, 0.6832, 0.816, 1.004, 1.256, 1.579, 1.971, 2.461, 3.082",\
                 "0.7476, 0.775, 0.8672, 1.02, 1.232, 1.496, 1.829, 2.233, 2.717, 3.286",\
                 "0.9298, 0.963, 1.069, 1.247, 1.488, 1.781, 2.133, 2.548, 3.045, 3.625",\
                 "1.125, 1.164, 1.288, 1.493, 1.766, 2.098, 2.48, 2.924, 3.431, 4.023",\
                 "1.328, 1.372, 1.518, 1.758, 2.069, 2.441, 2.865, 3.339, 3.878, 4.48");
        }

        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.002722, 0.008768, 0.02031, 0.0383, 0.06353, 0.09674, 0.1386, 0.1896, 0.2505");
          values("1.125, 1.203, 1.475, 1.989, 2.785, 3.895, 5.355, 7.193, 9.433, 12.11",\
                 "1.123, 1.201, 1.473, 1.988, 2.783, 3.895, 5.358, 7.194, 9.437, 12.1",\
                 "1.117, 1.197, 1.472, 1.988, 2.785, 3.896, 5.358, 7.194, 9.433, 12.11",\
                 "1.09, 1.173, 1.459, 1.983, 2.784, 3.894, 5.358, 7.194, 9.437, 12.11",\
                 "1.126, 1.194, 1.445, 1.962, 2.778, 3.895, 5.356, 7.194, 9.438, 12.11",\
                 "1.351, 1.412, 1.624, 2.046, 2.776, 3.887, 5.357, 7.196, 9.436, 12.11",\
                 "1.629, 1.696, 1.934, 2.349, 2.97, 3.937, 5.353, 7.194, 9.437, 12.11",\
                 "1.918, 2.002, 2.272, 2.732, 3.377, 4.229, 5.468, 7.206, 9.434, 12.11",\
                 "2.215, 2.312, 2.62, 3.146, 3.853, 4.741, 5.852, 7.388, 9.474, 12.11",\
                 "2.514, 2.624, 2.974, 3.566, 4.362, 5.33, 6.468, 7.856, 9.724, 12.17");
        }
      }

      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.002722, 0.008768, 0.02031, 0.0383, 0.06353, 0.09674, 0.1386, 0.1896, 0.2505");
          values("0.2539, 0.2651, 0.3035, 0.3748, 0.4829, 0.6312, 0.8236, 1.064, 1.356, 1.703",\
                 "0.2843, 0.2954, 0.3339, 0.4052, 0.5132, 0.6615, 0.8539, 1.094, 1.386, 1.733",\
                 "0.389, 0.4, 0.4381, 0.5092, 0.6171, 0.7657, 0.9581, 1.199, 1.491, 1.838",\
                 "0.5691, 0.5827, 0.6282, 0.7065, 0.8159, 0.9637, 1.156, 1.397, 1.689, 2.036",\
                 "0.7439, 0.7628, 0.8257, 0.9342, 1.082, 1.26, 1.464, 1.706, 1.997, 2.345",\
                 "0.8957, 0.9208, 1.003, 1.144, 1.335, 1.568, 1.831, 2.12, 2.43, 2.78",\
                 "1.021, 1.051, 1.153, 1.327, 1.567, 1.855, 2.183, 2.542, 2.925, 3.329",\
                 "1.112, 1.148, 1.271, 1.481, 1.769, 2.117, 2.513, 2.946, 3.407, 3.893",\
                 "1.169, 1.212, 1.353, 1.599, 1.938, 2.349, 2.815, 3.324, 3.867, 4.439",\
                 "1.187, 1.236, 1.399, 1.683, 2.07, 2.544, 3.082, 3.671, 4.3, 4.96");
        }

        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.002722, 0.008768, 0.02031, 0.0383, 0.06353, 0.09674, 0.1386, 0.1896, 0.2505");
          values("0.8406, 0.8796, 1.017, 1.278, 1.683, 2.251, 2.998, 3.939, 5.087, 6.456",\
                 "0.8621, 0.902, 1.04, 1.303, 1.709, 2.279, 3.026, 3.967, 5.116, 6.484",\
                 "0.9613, 1.001, 1.141, 1.404, 1.813, 2.383, 3.133, 4.075, 5.224, 6.594",\
                 "1.163, 1.203, 1.342, 1.605, 2.014, 2.587, 3.336, 4.279, 5.43, 6.801",\
                 "1.46, 1.502, 1.644, 1.909, 2.317, 2.888, 3.639, 4.583, 5.735, 7.105",\
                 "1.81, 1.859, 2.023, 2.315, 2.735, 3.307, 4.057, 5.002, 6.155, 7.524",\
                 "2.194, 2.252, 2.445, 2.78, 3.252, 3.854, 4.608, 5.553, 6.703, 8.075",\
                 "2.6, 2.669, 2.896, 3.286, 3.823, 4.494, 5.294, 6.246, 7.399, 8.77",\
                 "3.023, 3.104, 3.37, 3.823, 4.436, 5.187, 6.069, 7.081, 8.246, 9.619",\
                 "3.466, 3.558, 3.864, 4.385, 5.084, 5.929, 6.904, 8.006, 9.241, 10.63");
        }

        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.002722, 0.008768, 0.02031, 0.0383, 0.06353, 0.09674, 0.1386, 0.1896, 0.2505");
          values("0.2885, 0.3058, 0.3658, 0.4799, 0.6554, 0.899, 1.22, 1.626, 2.124, 2.712",\
                 "0.2885, 0.3053, 0.3654, 0.4798, 0.656, 0.9003, 1.222, 1.626, 2.121, 2.713",\
                 "0.2828, 0.3004, 0.3624, 0.4776, 0.6546, 0.8997, 1.221, 1.628, 2.123, 2.713",\
                 "0.3718, 0.3864, 0.435, 0.524, 0.6716, 0.9006, 1.22, 1.627, 2.121, 2.712",\
                 "0.5206, 0.5402, 0.608, 0.7188, 0.868, 1.046, 1.293, 1.649, 2.125, 2.714",\
                 "0.686, 0.7136, 0.7998, 0.9432, 1.134, 1.357, 1.606, 1.888, 2.263, 2.767",\
                 "0.8664, 0.9006, 1.01, 1.188, 1.423, 1.699, 2.002, 2.333, 2.686, 3.091",\
                 "1.06, 1.099, 1.232, 1.45, 1.734, 2.064, 2.427, 2.821, 3.239, 3.672",\
                 "1.263, 1.31, 1.463, 1.729, 2.066, 2.452, 2.88, 3.342, 3.822, 4.33",\
                 "1.472, 1.527, 1.709, 2.013, 2.404, 2.868, 3.356, 3.889, 4.446, 5.018");
        }

        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.002722, 0.008768, 0.02031, 0.0383, 0.06353, 0.09674, 0.1386, 0.1896, 0.2505");
          values("0.8598, 0.9239, 1.15, 1.58, 2.25, 3.19, 4.42, 5.971, 7.861, 10.11",\
                 "0.86, 0.9253, 1.149, 1.58, 2.252, 3.19, 4.422, 5.972, 7.863, 10.11",\
                 "0.8604, 0.926, 1.149, 1.58, 2.252, 3.188, 4.419, 5.972, 7.863, 10.11",\
                 "0.8628, 0.9266, 1.151, 1.581, 2.252, 3.189, 4.421, 5.971, 7.862, 10.11",\
                 "0.9222, 0.9788, 1.182, 1.59, 2.253, 3.19, 4.42, 5.971, 7.861, 10.12",\
                 "1.08, 1.137, 1.337, 1.702, 2.299, 3.198, 4.422, 5.971, 7.862, 10.12",\
                 "1.289, 1.349, 1.559, 1.941, 2.5, 3.304, 4.448, 5.978, 7.864, 10.12",\
                 "1.542, 1.61, 1.836, 2.237, 2.818, 3.589, 4.627, 6.038, 7.875, 10.12",\
                 "1.831, 1.903, 2.159, 2.587, 3.194, 3.994, 4.992, 6.282, 7.978, 10.14",\
                 "2.138, 2.22, 2.5, 2.974, 3.632, 4.466, 5.49, 6.732, 8.294, 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.002722, 0.008768, 0.02031, 0.0383, 0.06353, 0.09674, 0.1386, 0.1896, 0.2505");
          values("0.2128, 0.2242, 0.2636, 0.3363, 0.4456, 0.5951, 0.7884, 1.03, 1.322, 1.669",\
                 "0.2432, 0.2546, 0.2939, 0.3664, 0.4756, 0.6251, 0.8184, 1.059, 1.352, 1.699",\
                 "0.3503, 0.3611, 0.3991, 0.4706, 0.5794, 0.7287, 0.922, 1.163, 1.456, 1.803",\
                 "0.5184, 0.5333, 0.5827, 0.6661, 0.7788, 0.927, 1.12, 1.361, 1.653, 2",\
                 "0.6752, 0.6958, 0.7639, 0.8792, 1.034, 1.219, 1.428, 1.67, 1.962, 2.309",\
                 "0.8078, 0.8345, 0.9229, 1.073, 1.274, 1.515, 1.785, 2.08, 2.394, 2.745",\
                 "0.9116, 0.9451, 1.055, 1.241, 1.491, 1.79, 2.127, 2.492, 2.882, 3.291",\
                 "0.9836, 1.023, 1.153, 1.377, 1.678, 2.039, 2.446, 2.887, 3.355, 3.847",\
                 "1.019, 1.066, 1.218, 1.478, 1.832, 2.257, 2.735, 3.256, 3.806, 4.385",\
                 "1.015, 1.068, 1.242, 1.543, 1.948, 2.438, 2.991, 3.592, 4.23, 4.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.002722, 0.008768, 0.02031, 0.0383, 0.06353, 0.09674, 0.1386, 0.1896, 0.2505");
          values("0.9501, 0.9959, 1.157, 1.463, 1.939, 2.607, 3.486, 4.593, 5.939, 7.548",\
                 "0.9705, 1.017, 1.18, 1.488, 1.965, 2.633, 3.512, 4.621, 5.967, 7.576",\
                 "1.067, 1.114, 1.278, 1.588, 2.068, 2.739, 3.618, 4.725, 6.076, 7.685",\
                 "1.265, 1.311, 1.474, 1.784, 2.264, 2.937, 3.817, 4.925, 6.278, 7.887",\
                 "1.548, 1.596, 1.761, 2.07, 2.55, 3.221, 4.102, 5.214, 6.564, 8.175",\
                 "1.879, 1.933, 2.117, 2.449, 2.935, 3.606, 4.488, 5.596, 6.95, 8.56",\
                 "2.247, 2.309, 2.516, 2.884, 3.415, 4.104, 4.986, 6.096, 7.448, 9.06",\
                 "2.645, 2.717, 2.953, 3.365, 3.948, 4.697, 5.61, 6.723, 8.076, 9.686",\
                 "3.065, 3.149, 3.419, 3.887, 4.532, 5.349, 6.332, 7.483, 8.842, 10.46",\
                 "3.508, 3.603, 3.913, 4.442, 5.163, 6.055, 7.116, 8.346, 9.75, 11.37");
        }

        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.002722, 0.008768, 0.02031, 0.0383, 0.06353, 0.09674, 0.1386, 0.1896, 0.2505");
          values("0.2779, 0.2959, 0.3566, 0.4705, 0.6443, 0.8894, 1.209, 1.613, 2.108, 2.698",\
                 "0.276, 0.2942, 0.355, 0.4696, 0.645, 0.8893, 1.209, 1.614, 2.108, 2.698",\
                 "0.2706, 0.2872, 0.3474, 0.4644, 0.6418, 0.8876, 1.208, 1.612, 2.108, 2.698",\
                 "0.3838, 0.3982, 0.447, 0.53, 0.6678, 0.8894, 1.206, 1.612, 2.108, 2.697",\
                 "0.5366, 0.5566, 0.6244, 0.7354, 0.8816, 1.057, 1.295, 1.639, 2.112, 2.696",\
                 "0.7084, 0.7352, 0.8214, 0.9632, 1.152, 1.372, 1.62, 1.899, 2.263, 2.76",\
                 "0.8926, 0.9264, 1.034, 1.213, 1.448, 1.719, 2.021, 2.347, 2.698, 3.098",\
                 "1.088, 1.127, 1.26, 1.482, 1.759, 2.089, 2.449, 2.841, 3.253, 3.687",\
                 "1.293, 1.341, 1.5, 1.754, 2.095, 2.48, 2.906, 3.364, 3.84, 4.346",\
                 "1.509, 1.567, 1.751, 2.052, 2.441, 2.897, 3.384, 3.914, 4.462, 5.036");
        }

        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.002722, 0.008768, 0.02031, 0.0383, 0.06353, 0.09674, 0.1386, 0.1896, 0.2505");
          values("0.9603, 1.037, 1.303, 1.811, 2.603, 3.713, 5.17, 7.006, 9.246, 11.92",\
                 "0.9609, 1.036, 1.304, 1.812, 2.601, 3.712, 5.172, 7.006, 9.246, 11.92",\
                 "0.9612, 1.037, 1.301, 1.812, 2.603, 3.714, 5.172, 7.008, 9.243, 11.91",\
                 "0.964, 1.04, 1.302, 1.812, 2.603, 3.713, 5.173, 7.009, 9.248, 11.91",\
                 "1.011, 1.08, 1.327, 1.817, 2.602, 3.714, 5.173, 7.006, 9.247, 11.92",\
                 "1.142, 1.212, 1.453, 1.903, 2.635, 3.717, 5.171, 7.008, 9.249, 11.92",\
                 "1.303, 1.376, 1.632, 2.1, 2.792, 3.791, 5.186, 7.007, 9.245, 11.92",\
                 "1.513, 1.592, 1.857, 2.336, 3.055, 4.012, 5.308, 7.043, 9.255, 11.91",\
                 "1.76, 1.843, 2.124, 2.625, 3.359, 4.351, 5.594, 7.214, 9.308, 11.93",\
                 "2.038, 2.134, 2.438, 2.964, 3.724, 4.726, 6.012, 7.566, 9.536, 12.02");
        }
      }

      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.002722, 0.008768, 0.02031, 0.0383, 0.06353, 0.09674, 0.1386, 0.1896, 0.2505");
          values("0.2151, 0.2264, 0.2658, 0.3384, 0.4475, 0.597, 0.7903, 1.031, 1.324, 1.671",\
                 "0.2453, 0.2569, 0.2961, 0.3685, 0.4776, 0.6272, 0.8204, 1.061, 1.354, 1.701",\
                 "0.3523, 0.3632, 0.4013, 0.4727, 0.5815, 0.7307, 0.9239, 1.165, 1.457, 1.805",\
                 "0.5214, 0.5362, 0.5854, 0.6685, 0.7807, 0.9288, 1.122, 1.363, 1.655, 2.002",\
                 "0.6792, 0.6995, 0.7673, 0.8822, 1.036, 1.221, 1.43, 1.672, 1.964, 2.311",\
                 "0.8131, 0.8399, 0.9276, 1.077, 1.277, 1.517, 1.788, 2.082, 2.396, 2.747",\
                 "0.919, 0.9518, 1.061, 1.246, 1.495, 1.794, 2.131, 2.495, 2.885, 3.293",\
                 "0.9915, 1.031, 1.16, 1.383, 1.684, 2.044, 2.45, 2.89, 3.358, 3.849",\
                 "1.028, 1.074, 1.226, 1.486, 1.838, 2.262, 2.739, 3.259, 3.81, 4.388",\
                 "1.026, 1.078, 1.252, 1.55, 1.956, 2.444, 2.997, 3.597, 4.234, 4.902");
        }

        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.002722, 0.008768, 0.02031, 0.0383, 0.06353, 0.09674, 0.1386, 0.1896, 0.2505");
          values("1.164, 1.211, 1.373, 1.682, 2.16, 2.83, 3.709, 4.816, 6.166, 7.775",\
                 "1.187, 1.234, 1.397, 1.707, 2.186, 2.856, 3.736, 4.843, 6.194, 7.803",\
                 "1.286, 1.333, 1.497, 1.808, 2.289, 2.961, 3.843, 4.951, 6.303, 7.912",\
                 "1.483, 1.53, 1.694, 2.005, 2.486, 3.159, 4.042, 5.151, 6.504, 8.115",\
                 "1.77, 1.817, 1.98, 2.291, 2.772, 3.445, 4.328, 5.438, 6.791, 8.403",\
                 "2.128, 2.18, 2.356, 2.675, 3.157, 3.83, 4.712, 5.822, 7.176, 8.788",\
                 "2.529, 2.587, 2.781, 3.135, 3.648, 4.329, 5.212, 6.321, 7.675, 9.287",\
                 "2.969, 3.034, 3.252, 3.643, 4.205, 4.936, 5.838, 6.949, 8.303, 9.915",\
                 "3.44, 3.515, 3.761, 4.197, 4.815, 5.608, 6.573, 7.713, 9.07, 10.68",\
                 "3.938, 4.021, 4.301, 4.79, 5.473, 6.337, 7.375, 8.587, 9.979, 11.6");
        }

        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.002722, 0.008768, 0.02031, 0.0383, 0.06353, 0.09674, 0.1386, 0.1896, 0.2505");
          values("0.3125, 0.3307, 0.3941, 0.5133, 0.6942, 0.9442, 1.268, 1.673, 2.167, 2.756",\
                 "0.3106, 0.3293, 0.3926, 0.5124, 0.6938, 0.944, 1.268, 1.672, 2.167, 2.757",\
                 "0.3045, 0.3218, 0.385, 0.5065, 0.6916, 0.943, 1.267, 1.673, 2.167, 2.756",\
                 "0.4277, 0.4424, 0.4896, 0.573, 0.7174, 0.945, 1.265, 1.672, 2.167, 2.756",\
                 "0.618, 0.6364, 0.6978, 0.8054, 0.942, 1.115, 1.353, 1.7, 2.17, 2.756",\
                 "0.8336, 0.857, 0.9332, 1.063, 1.238, 1.447, 1.685, 1.957, 2.321, 2.817",\
                 "1.061, 1.089, 1.183, 1.342, 1.559, 1.813, 2.104, 2.418, 2.759, 3.155",\
                 "1.299, 1.333, 1.445, 1.64, 1.896, 2.205, 2.548, 2.927, 3.327, 3.752",\
                 "1.544, 1.589, 1.719, 1.953, 2.258, 2.618, 3.024, 3.463, 3.927, 4.426",\
                 "1.804, 1.852, 2.007, 2.275, 2.629, 3.05, 3.521, 4.029, 4.564, 5.126");
        }

        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.002722, 0.008768, 0.02031, 0.0383, 0.06353, 0.09674, 0.1386, 0.1896, 0.2505");
          values("1.133, 1.211, 1.478, 1.991, 2.785, 3.895, 5.357, 7.195, 9.436, 12.11",\
                 "1.132, 1.211, 1.477, 1.988, 2.785, 3.897, 5.357, 7.192, 9.434, 12.11",\
                 "1.135, 1.211, 1.479, 1.991, 2.785, 3.896, 5.357, 7.195, 9.432, 12.1",\
                 "1.135, 1.212, 1.477, 1.988, 2.783, 3.896, 5.358, 7.195, 9.435, 12.11",\
                 "1.151, 1.227, 1.487, 1.992, 2.785, 3.896, 5.358, 7.195, 9.437, 12.1",\
                 "1.27, 1.339, 1.579, 2.043, 2.798, 3.897, 5.357, 7.195, 9.436, 12.11",\
                 "1.428, 1.502, 1.757, 2.222, 2.925, 3.949, 5.363, 7.193, 9.439, 12.1",\
                 "1.623, 1.705, 1.968, 2.457, 3.176, 4.144, 5.462, 7.217, 9.434, 12.11",\
                 "1.866, 1.948, 2.228, 2.736, 3.475, 4.467, 5.724, 7.366, 9.484, 12.11",\
                 "2.144, 2.232, 2.532, 3.058, 3.826, 4.844, 6.13, 7.694, 9.686, 12.19");
        }
      }

      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.002722, 0.008768, 0.02031, 0.0383, 0.06353, 0.09674, 0.1386, 0.1896, 0.2505");
          values("0.2539, 0.2651, 0.3035, 0.3748, 0.4829, 0.6312, 0.8236, 1.064, 1.356, 1.703",\
                 "0.2843, 0.2954, 0.3339, 0.4052, 0.5132, 0.6615, 0.8539, 1.094, 1.386, 1.733",\
                 "0.389, 0.4, 0.4381, 0.5092, 0.6171, 0.7657, 0.9581, 1.199, 1.491, 1.838",\
                 "0.5691, 0.5827, 0.6282, 0.7065, 0.8159, 0.9637, 1.156, 1.397, 1.689, 2.036",\
                 "0.7439, 0.7628, 0.8257, 0.9342, 1.082, 1.26, 1.464, 1.706, 1.997, 2.345",\
                 "0.8957, 0.9208, 1.003, 1.144, 1.335, 1.568, 1.831, 2.12, 2.43, 2.78",\
                 "1.021, 1.051, 1.153, 1.327, 1.567, 1.855, 2.183, 2.542, 2.925, 3.329",\
                 "1.112, 1.148, 1.271, 1.481, 1.769, 2.117, 2.513, 2.946, 3.407, 3.893",\
                 "1.169, 1.212, 1.353, 1.599, 1.938, 2.349, 2.815, 3.324, 3.867, 4.439",\
                 "1.187, 1.236, 1.399, 1.683, 2.07, 2.544, 3.082, 3.671, 4.3, 4.96");
        }

        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.002722, 0.008768, 0.02031, 0.0383, 0.06353, 0.09674, 0.1386, 0.1896, 0.2505");
          values("1.164, 1.211, 1.373, 1.682, 2.16, 2.83, 3.709, 4.816, 6.166, 7.775",\
                 "1.187, 1.234, 1.397, 1.707, 2.186, 2.856, 3.736, 4.843, 6.194, 7.803",\
                 "1.286, 1.333, 1.497, 1.808, 2.289, 2.961, 3.843, 4.951, 6.303, 7.912",\
                 "1.483, 1.53, 1.694, 2.005, 2.486, 3.159, 4.042, 5.151, 6.504, 8.115",\
                 "1.77, 1.817, 1.98, 2.291, 2.772, 3.445, 4.328, 5.438, 6.791, 8.403",\
                 "2.128, 2.18, 2.356, 2.675, 3.157, 3.83, 4.712, 5.822, 7.176, 8.788",\
                 "2.529, 2.587, 2.781, 3.135, 3.648, 4.329, 5.212, 6.321, 7.675, 9.287",\
                 "2.969, 3.034, 3.252, 3.643, 4.205, 4.936, 5.838, 6.949, 8.303, 9.915",\
                 "3.44, 3.515, 3.761, 4.197, 4.815, 5.608, 6.573, 7.713, 9.07, 10.68",\
                 "3.938, 4.021, 4.301, 4.79, 5.473, 6.337, 7.375, 8.587, 9.979, 11.6");
        }

        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.002722, 0.008768, 0.02031, 0.0383, 0.06353, 0.09674, 0.1386, 0.1896, 0.2505");
          values("0.3125, 0.3307, 0.3941, 0.5133, 0.6942, 0.9442, 1.268, 1.673, 2.167, 2.756",\
                 "0.3106, 0.3293, 0.3926, 0.5124, 0.6938, 0.944, 1.268, 1.672, 2.167, 2.757",\
                 "0.3045, 0.3218, 0.385, 0.5065, 0.6916, 0.943, 1.267, 1.673, 2.167, 2.756",\
                 "0.4277, 0.4424, 0.4896, 0.573, 0.7174, 0.945, 1.265, 1.672, 2.167, 2.756",\
                 "0.618, 0.6364, 0.6978, 0.8054, 0.942, 1.115, 1.353, 1.7, 2.17, 2.756",\
                 "0.8336, 0.857, 0.9332, 1.063, 1.238, 1.447, 1.685, 1.957, 2.321, 2.817",\
                 "1.061, 1.089, 1.183, 1.342, 1.559, 1.813, 2.104, 2.418, 2.759, 3.155",\
                 "1.299, 1.333, 1.445, 1.64, 1.896, 2.205, 2.548, 2.927, 3.327, 3.752",\
                 "1.544, 1.589, 1.719, 1.953, 2.258, 2.618, 3.024, 3.463, 3.927, 4.426",\
                 "1.804, 1.852, 2.007, 2.275, 2.629, 3.05, 3.521, 4.029, 4.564, 5.126");
        }

        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.002722, 0.008768, 0.02031, 0.0383, 0.06353, 0.09674, 0.1386, 0.1896, 0.2505");
          values("1.133, 1.211, 1.478, 1.991, 2.785, 3.895, 5.357, 7.195, 9.436, 12.11",\
                 "1.132, 1.211, 1.477, 1.988, 2.785, 3.897, 5.357, 7.192, 9.434, 12.11",\
                 "1.135, 1.211, 1.479, 1.991, 2.785, 3.896, 5.357, 7.195, 9.432, 12.1",\
                 "1.135, 1.212, 1.477, 1.988, 2.783, 3.896, 5.358, 7.195, 9.435, 12.11",\
                 "1.151, 1.227, 1.487, 1.992, 2.785, 3.896, 5.358, 7.195, 9.437, 12.1",\
                 "1.27, 1.339, 1.579, 2.043, 2.798, 3.897, 5.357, 7.195, 9.436, 12.11",\
                 "1.428, 1.502, 1.757, 2.222, 2.925, 3.949, 5.363, 7.193, 9.439, 12.1",\
                 "1.623, 1.705, 1.968, 2.457, 3.176, 4.144, 5.462, 7.217, 9.434, 12.11",\
                 "1.866, 1.948, 2.228, 2.736, 3.475, 4.467, 5.724, 7.366, 9.484, 12.11",\
                 "2.144, 2.232, 2.532, 3.058, 3.826, 4.844, 6.13, 7.694, 9.686, 12.19");
        }
      }

      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.002722, 0.008768, 0.02031, 0.0383, 0.06353, 0.09674, 0.1386, 0.1896, 0.2505");
          values("0.2731, 0.2852, 0.3263, 0.4018, 0.5146, 0.6677, 0.8642, 1.108, 1.403, 1.752",\
                 "0.301, 0.3131, 0.3542, 0.4295, 0.5423, 0.6953, 0.8919, 1.136, 1.431, 1.78",\
                 "0.405, 0.4168, 0.4569, 0.5314, 0.6437, 0.7965, 0.9928, 1.237, 1.532, 1.881",\
                 "0.5978, 0.6117, 0.6565, 0.7334, 0.8437, 0.9943, 1.19, 1.433, 1.729, 2.078",\
                 "0.7957, 0.8139, 0.8749, 0.9799, 1.124, 1.298, 1.501, 1.744, 2.037, 2.386",\
                 "0.975, 0.9985, 1.077, 1.213, 1.397, 1.623, 1.881, 2.165, 2.472, 2.822",\
                 "1.129, 1.158, 1.255, 1.422, 1.652, 1.931, 2.251, 2.602, 2.979, 3.377",\
                 "1.251, 1.286, 1.402, 1.603, 1.878, 2.214, 2.599, 3.021, 3.475, 3.954",\
                 "1.341, 1.381, 1.516, 1.75, 2.073, 2.468, 2.92, 3.417, 3.95, 4.513",\
                 "1.394, 1.44, 1.594, 1.861, 2.232, 2.688, 3.21, 3.783, 4.399, 5.049");
        }

        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.002722, 0.008768, 0.02031, 0.0383, 0.06353, 0.09674, 0.1386, 0.1896, 0.2505");
          values("0.9076, 0.9472, 1.084, 1.345, 1.75, 2.318, 3.065, 4.006, 5.155, 6.524",\
                 "0.9374, 0.9769, 1.115, 1.377, 1.784, 2.353, 3.1, 4.042, 5.191, 6.561",\
                 "1.044, 1.084, 1.223, 1.487, 1.895, 2.466, 3.215, 4.158, 5.307, 6.677",\
                 "1.23, 1.27, 1.408, 1.672, 2.08, 2.652, 3.402, 4.346, 5.496, 6.868",\
                 "1.492, 1.533, 1.674, 1.938, 2.346, 2.917, 3.667, 4.612, 5.765, 7.134",\
                 "1.795, 1.841, 1.998, 2.283, 2.701, 3.273, 4.023, 4.967, 6.118, 7.49",\
                 "2.129, 2.18, 2.354, 2.669, 3.126, 3.725, 4.48, 5.424, 6.574, 7.945",\
                 "2.49, 2.548, 2.742, 3.089, 3.589, 4.239, 5.037, 5.992, 7.143, 8.515",\
                 "2.878, 2.943, 3.159, 3.543, 4.09, 4.794, 5.651, 6.661, 7.833, 9.205",\
                 "3.292, 3.365, 3.609, 4.034, 4.632, 5.392, 6.313, 7.389, 8.626, 10.03");
        }

        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.002722, 0.008768, 0.02031, 0.0383, 0.06353, 0.09674, 0.1386, 0.1896, 0.2505");
          values("0.3296, 0.3477, 0.4106, 0.5272, 0.704, 0.9498, 1.27, 1.673, 2.168, 2.758",\
                 "0.3272, 0.3461, 0.4079, 0.5256, 0.7035, 0.9498, 1.27, 1.673, 2.169, 2.758",\
                 "0.3151, 0.3348, 0.4001, 0.5205, 0.7002, 0.9462, 1.269, 1.673, 2.168, 2.758",\
                 "0.3914, 0.407, 0.456, 0.5476, 0.7046, 0.9426, 1.265, 1.671, 2.167, 2.757",\
                 "0.5428, 0.5648, 0.6312, 0.7398, 0.8874, 1.065, 1.321, 1.684, 2.168, 2.755",\
                 "0.7112, 0.7362, 0.8202, 0.9634, 1.15, 1.371, 1.618, 1.906, 2.289, 2.8",\
                 "0.889, 0.9254, 1.029, 1.205, 1.44, 1.709, 2.014, 2.341, 2.692, 3.104",\
                 "1.082, 1.122, 1.251, 1.464, 1.744, 2.071, 2.433, 2.826, 3.244, 3.676",\
                 "1.28, 1.328, 1.479, 1.74, 2.069, 2.457, 2.881, 3.344, 3.822, 4.328",\
                 "1.493, 1.545, 1.725, 2.024, 2.411, 2.862, 3.356, 3.883, 4.438, 5.016");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.002722, 0.008768, 0.02031, 0.0383, 0.06353, 0.09674, 0.1386, 0.1896, 0.2505");
          values("0.8614, 0.9246, 1.15, 1.58, 2.251, 3.188, 4.422, 5.97, 7.86, 10.11",\
                 "0.8612, 0.9246, 1.151, 1.581, 2.252, 3.188, 4.422, 5.972, 7.862, 10.12",\
                 "0.8612, 0.9246, 1.151, 1.58, 2.252, 3.189, 4.422, 5.972, 7.863, 10.12",\
                 "0.8628, 0.926, 1.15, 1.581, 2.252, 3.19, 4.421, 5.971, 7.861, 10.11",\
                 "0.9048, 0.9628, 1.173, 1.59, 2.252, 3.189, 4.422, 5.971, 7.861, 10.12",\
                 "1.019, 1.079, 1.289, 1.677, 2.292, 3.196, 4.422, 5.972, 7.863, 10.11",\
                 "1.144, 1.212, 1.438, 1.851, 2.457, 3.297, 4.453, 5.978, 7.862, 10.11",\
                 "1.294, 1.365, 1.604, 2.042, 2.682, 3.531, 4.618, 6.048, 7.875, 10.12",\
                 "1.473, 1.546, 1.798, 2.255, 2.93, 3.816, 4.922, 6.278, 8.002, 10.16",\
                 "1.69, 1.768, 2.03, 2.502, 3.198, 4.12, 5.272, 6.654, 8.298, 10.34");
        }
      }

      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.002722, 0.008768, 0.02031, 0.0383, 0.06353, 0.09674, 0.1386, 0.1896, 0.2505");
          values("0.218, 0.2305, 0.273, 0.3506, 0.466, 0.6216, 0.8207, 1.067, 1.363, 1.714",\
                 "0.2471, 0.2594, 0.3016, 0.3789, 0.4939, 0.6495, 0.8483, 1.094, 1.391, 1.741",\
                 "0.3566, 0.368, 0.4078, 0.4827, 0.5962, 0.7509, 0.9495, 1.195, 1.492, 1.842",\
                 "0.5393, 0.554, 0.6029, 0.6859, 0.7991, 0.9503, 1.147, 1.392, 1.688, 2.039",\
                 "0.7177, 0.7379, 0.8037, 0.9168, 1.069, 1.251, 1.459, 1.703, 1.998, 2.347",\
                 "0.8772, 0.9027, 0.9879, 1.133, 1.329, 1.564, 1.83, 2.12, 2.432, 2.783",\
                 "1.012, 1.043, 1.147, 1.326, 1.567, 1.86, 2.189, 2.548, 2.932, 3.336",\
                 "1.114, 1.151, 1.275, 1.489, 1.78, 2.129, 2.526, 2.958, 3.419, 3.904",\
                 "1.181, 1.226, 1.37, 1.619, 1.958, 2.369, 2.835, 3.343, 3.885, 4.455",\
                 "1.214, 1.264, 1.428, 1.712, 2.102, 2.575, 3.112, 3.698, 4.325, 4.983");
        }

        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.002722, 0.008768, 0.02031, 0.0383, 0.06353, 0.09674, 0.1386, 0.1896, 0.2505");
          values("1.017, 1.063, 1.224, 1.53, 2.007, 2.674, 3.551, 4.657, 6.006, 7.614",\
                 "1.045, 1.091, 1.254, 1.562, 2.039, 2.708, 3.586, 4.692, 6.042, 7.65",\
                 "1.149, 1.196, 1.36, 1.67, 2.149, 2.82, 3.7, 4.807, 6.16, 7.767",\
                 "1.333, 1.38, 1.543, 1.853, 2.333, 3.004, 3.885, 4.994, 6.346, 7.956",\
                 "1.592, 1.64, 1.804, 2.113, 2.592, 3.264, 4.147, 5.254, 6.606, 8.217",\
                 "1.895, 1.947, 2.125, 2.449, 2.933, 3.603, 4.484, 5.594, 6.946, 8.557",\
                 "2.225, 2.281, 2.476, 2.828, 3.346, 4.032, 4.914, 6.024, 7.375, 8.986",\
                 "2.581, 2.644, 2.856, 3.238, 3.796, 4.529, 5.439, 6.551, 7.904, 9.514",\
                 "2.963, 3.032, 3.264, 3.68, 4.28, 5.063, 6.03, 7.181, 8.54, 10.15",\
                 "3.371, 3.447, 3.703, 4.156, 4.803, 5.639, 6.664, 7.878, 9.286, 10.91");
        }

        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.002722, 0.008768, 0.02031, 0.0383, 0.06353, 0.09674, 0.1386, 0.1896, 0.2505");
          values("0.3121, 0.332, 0.397, 0.5153, 0.6957, 0.9421, 1.263, 1.667, 2.16, 2.748",\
                 "0.3085, 0.3271, 0.3925, 0.5135, 0.6937, 0.94, 1.264, 1.667, 2.159, 2.748",\
                 "0.2959, 0.3143, 0.3785, 0.502, 0.6877, 0.938, 1.262, 1.666, 2.159, 2.748",\
                 "0.409, 0.4228, 0.4714, 0.556, 0.7006, 0.9314, 1.255, 1.663, 2.158, 2.747",\
                 "0.5674, 0.5876, 0.6536, 0.765, 0.9058, 1.081, 1.326, 1.681, 2.158, 2.744",\
                 "0.7408, 0.766, 0.8532, 0.992, 1.177, 1.394, 1.639, 1.917, 2.293, 2.796",\
                 "0.9282, 0.961, 1.066, 1.24, 1.47, 1.738, 2.036, 2.362, 2.709, 3.115",\
                 "1.123, 1.162, 1.295, 1.506, 1.782, 2.108, 2.462, 2.853, 3.263, 3.694",\
                 "1.329, 1.375, 1.529, 1.783, 2.112, 2.493, 2.915, 3.367, 3.848, 4.353",\
                 "1.55, 1.6, 1.782, 2.07, 2.455, 2.908, 3.39, 3.914, 4.466, 5.038");
        }

        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.002722, 0.008768, 0.02031, 0.0383, 0.06353, 0.09674, 0.1386, 0.1896, 0.2505");
          values("0.9601, 1.037, 1.303, 1.812, 2.603, 3.712, 5.172, 7.007, 9.248, 11.91",\
                 "0.9604, 1.036, 1.301, 1.812, 2.604, 3.711, 5.172, 7.008, 9.248, 11.91",\
                 "0.9612, 1.037, 1.302, 1.812, 2.601, 3.711, 5.172, 7.008, 9.245, 11.91",\
                 "0.9644, 1.04, 1.304, 1.812, 2.604, 3.711, 5.172, 7.007, 9.25, 11.91",\
                 "0.9936, 1.062, 1.316, 1.814, 2.603, 3.714, 5.169, 7.007, 9.249, 11.91",\
                 "1.093, 1.164, 1.413, 1.878, 2.627, 3.714, 5.173, 7.006, 9.249, 11.91",\
                 "1.205, 1.281, 1.547, 2.032, 2.753, 3.776, 5.182, 7.009, 9.25, 11.92",\
                 "1.332, 1.414, 1.695, 2.203, 2.96, 3.966, 5.298, 7.041, 9.262, 11.92",\
                 "1.482, 1.566, 1.859, 2.394, 3.185, 4.231, 5.546, 7.208, 9.318, 11.93",\
                 "1.666, 1.756, 2.056, 2.604, 3.424, 4.512, 5.872, 7.52, 9.538, 12.04");
        }
      }

      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.002722, 0.008768, 0.02031, 0.0383, 0.06353, 0.09674, 0.1386, 0.1896, 0.2505");
          values("0.2204, 0.233, 0.2754, 0.3529, 0.4681, 0.6236, 0.8226, 1.069, 1.365, 1.716",\
                 "0.2496, 0.2618, 0.3039, 0.381, 0.4962, 0.6515, 0.8502, 1.096, 1.393, 1.743",\
                 "0.3588, 0.3702, 0.41, 0.485, 0.5983, 0.753, 0.9514, 1.197, 1.494, 1.844",\
                 "0.5421, 0.5569, 0.6054, 0.6882, 0.801, 0.9522, 1.149, 1.394, 1.691, 2.041",\
                 "0.7217, 0.7415, 0.8075, 0.9204, 1.072, 1.254, 1.46, 1.705, 1.999, 2.349",\
                 "0.8817, 0.9074, 0.9923, 1.137, 1.332, 1.567, 1.833, 2.122, 2.434, 2.785",\
                 "1.017, 1.049, 1.153, 1.331, 1.573, 1.863, 2.192, 2.551, 2.935, 3.338",\
                 "1.121, 1.158, 1.282, 1.496, 1.785, 2.134, 2.53, 2.961, 3.422, 3.907",\
                 "1.192, 1.235, 1.378, 1.626, 1.965, 2.375, 2.839, 3.348, 3.889, 4.459",\
                 "1.224, 1.274, 1.438, 1.721, 2.109, 2.581, 3.117, 3.703, 4.329, 4.987");
        }

        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.002722, 0.008768, 0.02031, 0.0383, 0.06353, 0.09674, 0.1386, 0.1896, 0.2505");
          values("1.231, 1.278, 1.44, 1.748, 2.227, 2.896, 3.776, 4.882, 6.233, 7.842",\
                 "1.261, 1.308, 1.471, 1.781, 2.26, 2.931, 3.811, 4.918, 6.268, 7.878",\
                 "1.368, 1.415, 1.579, 1.89, 2.371, 3.043, 3.925, 5.033, 6.385, 7.995",\
                 "1.551, 1.598, 1.762, 2.073, 2.555, 3.228, 4.11, 5.22, 6.573, 8.183",\
                 "1.812, 1.859, 2.022, 2.333, 2.814, 3.487, 4.37, 5.48, 6.833, 8.445",\
                 "2.135, 2.185, 2.357, 2.673, 3.155, 3.827, 4.709, 5.82, 7.173, 8.785",\
                 "2.488, 2.542, 2.728, 3.071, 3.578, 4.257, 5.139, 6.249, 7.602, 9.214",\
                 "2.87, 2.928, 3.131, 3.501, 4.044, 4.765, 5.666, 6.777, 8.13, 9.742",\
                 "3.28, 3.345, 3.565, 3.964, 4.547, 5.315, 6.269, 7.41, 8.768, 10.38",\
                 "3.721, 3.793, 4.032, 4.463, 5.088, 5.907, 6.917, 8.119, 9.517, 11.13");
        }

        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.002722, 0.008768, 0.02031, 0.0383, 0.06353, 0.09674, 0.1386, 0.1896, 0.2505");
          values("0.355, 0.3753, 0.4424, 0.5651, 0.7495, 1, 1.323, 1.727, 2.219, 2.807",\
                 "0.3506, 0.3704, 0.4379, 0.5621, 0.7477, 0.999, 1.323, 1.727, 2.219, 2.807",\
                 "0.336, 0.3547, 0.4228, 0.5509, 0.741, 0.9954, 1.32, 1.726, 2.219, 2.807",\
                 "0.4566, 0.4712, 0.5154, 0.6028, 0.7542, 0.989, 1.315, 1.723, 2.218, 2.807",\
                 "0.6516, 0.6696, 0.7284, 0.8298, 0.9678, 1.138, 1.386, 1.739, 2.217, 2.805",\
                 "0.867, 0.8914, 0.964, 1.091, 1.263, 1.468, 1.705, 1.978, 2.35, 2.854",\
                 "1.097, 1.123, 1.214, 1.37, 1.579, 1.832, 2.123, 2.432, 2.774, 3.174",\
                 "1.331, 1.365, 1.477, 1.663, 1.918, 2.223, 2.561, 2.935, 3.336, 3.762",\
                 "1.576, 1.615, 1.746, 1.971, 2.273, 2.63, 3.031, 3.469, 3.934, 4.425",\
                 "1.836, 1.881, 2.034, 2.295, 2.642, 3.068, 3.526, 4.03, 4.568, 5.126");
        }

        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.002722, 0.008768, 0.02031, 0.0383, 0.06353, 0.09674, 0.1386, 0.1896, 0.2505");
          values("1.135, 1.209, 1.478, 1.989, 2.785, 3.897, 5.356, 7.196, 9.437, 12.11",\
                 "1.132, 1.211, 1.479, 1.988, 2.785, 3.895, 5.355, 7.196, 9.437, 12.11",\
                 "1.134, 1.209, 1.478, 1.989, 2.783, 3.896, 5.357, 7.195, 9.438, 12.11",\
                 "1.132, 1.211, 1.479, 1.99, 2.784, 3.897, 5.356, 7.194, 9.437, 12.1",\
                 "1.145, 1.22, 1.483, 1.991, 2.785, 3.897, 5.358, 7.196, 9.434, 12.11",\
                 "1.232, 1.303, 1.551, 2.03, 2.796, 3.897, 5.358, 7.194, 9.434, 12.1",\
                 "1.348, 1.424, 1.688, 2.171, 2.898, 3.941, 5.364, 7.194, 9.438, 12.1",\
                 "1.48, 1.56, 1.838, 2.346, 3.098, 4.108, 5.455, 7.22, 9.436, 12.11",\
                 "1.625, 1.711, 2.002, 2.537, 3.324, 4.372, 5.688, 7.366, 9.496, 12.12",\
                 "1.8, 1.89, 2.192, 2.746, 3.564, 4.652, 6.012, 7.662, 9.694, 12.21");
        }
      }

      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.002722, 0.008768, 0.02031, 0.0383, 0.06353, 0.09674, 0.1386, 0.1896, 0.2505");
          values("0.2731, 0.2852, 0.3263, 0.4018, 0.5146, 0.6677, 0.8642, 1.108, 1.403, 1.752",\
                 "0.301, 0.3131, 0.3542, 0.4295, 0.5423, 0.6953, 0.8919, 1.136, 1.431, 1.78",\
                 "0.405, 0.4168, 0.4569, 0.5314, 0.6437, 0.7965, 0.9928, 1.237, 1.532, 1.881",\
                 "0.5978, 0.6117, 0.6565, 0.7334, 0.8437, 0.9943, 1.19, 1.433, 1.729, 2.078",\
                 "0.7957, 0.8139, 0.8749, 0.9799, 1.124, 1.298, 1.501, 1.744, 2.037, 2.386",\
                 "0.975, 0.9985, 1.077, 1.213, 1.397, 1.623, 1.881, 2.165, 2.472, 2.822",\
                 "1.129, 1.158, 1.255, 1.422, 1.652, 1.931, 2.251, 2.602, 2.979, 3.377",\
                 "1.251, 1.286, 1.402, 1.603, 1.878, 2.214, 2.599, 3.021, 3.475, 3.954",\
                 "1.341, 1.381, 1.516, 1.75, 2.073, 2.468, 2.92, 3.417, 3.95, 4.513",\
                 "1.394, 1.44, 1.594, 1.861, 2.232, 2.688, 3.21, 3.783, 4.399, 5.049");
        }

        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.002722, 0.008768, 0.02031, 0.0383, 0.06353, 0.09674, 0.1386, 0.1896, 0.2505");
          values("1.231, 1.278, 1.44, 1.748, 2.227, 2.896, 3.776, 4.882, 6.233, 7.842",\
                 "1.261, 1.308, 1.471, 1.781, 2.26, 2.931, 3.811, 4.918, 6.268, 7.878",\
                 "1.368, 1.415, 1.579, 1.89, 2.371, 3.043, 3.925, 5.033, 6.385, 7.995",\
                 "1.551, 1.598, 1.762, 2.073, 2.555, 3.228, 4.11, 5.22, 6.573, 8.183",\
                 "1.812, 1.859, 2.022, 2.333, 2.814, 3.487, 4.37, 5.48, 6.833, 8.445",\
                 "2.135, 2.185, 2.357, 2.673, 3.155, 3.827, 4.709, 5.82, 7.173, 8.785",\
                 "2.488, 2.542, 2.728, 3.071, 3.578, 4.257, 5.139, 6.249, 7.602, 9.214",\
                 "2.87, 2.928, 3.131, 3.501, 4.044, 4.765, 5.666, 6.777, 8.13, 9.742",\
                 "3.28, 3.345, 3.565, 3.964, 4.547, 5.315, 6.269, 7.41, 8.768, 10.38",\
                 "3.721, 3.793, 4.032, 4.463, 5.088, 5.907, 6.917, 8.119, 9.517, 11.13");
        }

        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.002722, 0.008768, 0.02031, 0.0383, 0.06353, 0.09674, 0.1386, 0.1896, 0.2505");
          values("0.355, 0.3753, 0.4424, 0.5651, 0.7495, 1, 1.323, 1.727, 2.219, 2.807",\
                 "0.3506, 0.3704, 0.4379, 0.5621, 0.7477, 0.999, 1.323, 1.727, 2.219, 2.807",\
                 "0.336, 0.3547, 0.4228, 0.5509, 0.741, 0.9954, 1.32, 1.726, 2.219, 2.807",\
                 "0.4566, 0.4712, 0.5154, 0.6028, 0.7542, 0.989, 1.315, 1.723, 2.218, 2.807",\
                 "0.6516, 0.6696, 0.7284, 0.8298, 0.9678, 1.138, 1.386, 1.739, 2.217, 2.805",\
                 "0.867, 0.8914, 0.964, 1.091, 1.263, 1.468, 1.705, 1.978, 2.35, 2.854",\
                 "1.097, 1.123, 1.214, 1.37, 1.579, 1.832, 2.123, 2.432, 2.774, 3.174",\
                 "1.331, 1.365, 1.477, 1.663, 1.918, 2.223, 2.561, 2.935, 3.336, 3.762",\
                 "1.576, 1.615, 1.746, 1.971, 2.273, 2.63, 3.031, 3.469, 3.934, 4.425",\
                 "1.836, 1.881, 2.034, 2.295, 2.642, 3.068, 3.526, 4.03, 4.568, 5.126");
        }

        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.002722, 0.008768, 0.02031, 0.0383, 0.06353, 0.09674, 0.1386, 0.1896, 0.2505");
          values("1.135, 1.209, 1.478, 1.989, 2.785, 3.897, 5.356, 7.196, 9.437, 12.11",\
                 "1.132, 1.211, 1.479, 1.988, 2.785, 3.895, 5.355, 7.196, 9.437, 12.11",\
                 "1.134, 1.209, 1.478, 1.989, 2.783, 3.896, 5.357, 7.195, 9.438, 12.11",\
                 "1.132, 1.211, 1.479, 1.99, 2.784, 3.897, 5.356, 7.194, 9.437, 12.1",\
                 "1.145, 1.22, 1.483, 1.991, 2.785, 3.897, 5.358, 7.196, 9.434, 12.11",\
                 "1.232, 1.303, 1.551, 2.03, 2.796, 3.897, 5.358, 7.194, 9.434, 12.1",\
                 "1.348, 1.424, 1.688, 2.171, 2.898, 3.941, 5.364, 7.194, 9.438, 12.1",\
                 "1.48, 1.56, 1.838, 2.346, 3.098, 4.108, 5.455, 7.22, 9.436, 12.11",\
                 "1.625, 1.711, 2.002, 2.537, 3.324, 4.372, 5.688, 7.366, 9.496, 12.12",\
                 "1.8, 1.89, 2.192, 2.746, 3.564, 4.652, 6.012, 7.662, 9.694, 12.21");
        }
      }
    }
  }