cells/oai211/gf180mcu_fd_sc_mcu9t5v0__oai211_4__ss_n40C_3v00.lib

  cell(gf180mcu_fd_sc_mcu9t5v0__oai211_4) {
    area : 90.316800 ;

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

        fall_power(pwr_tin_10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          values("0.09151, 0.09124, 0.09099, 0.09089, 0.09091, 0.091, 0.09102, 0.09096, \
                  0.09097, 0.09097");
        }

        rise_power(pwr_tin_10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          values("-0.007872, -0.007476, -0.00763, -0.007693, -0.008021, -0.008074, \
                  -0.008204, -0.008385, -0.00871, -0.009251");
        }
      }

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

        fall_power(pwr_tin_10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          values("0.09151, 0.09129, 0.09106, 0.0909, 0.091, 0.09099, 0.09098, 0.09098, \
                  0.09106, 0.09098");
        }

        rise_power(pwr_tin_10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          values("-0.007784, -0.007582, -0.007593, -0.007729, -0.007958, -0.008165, \
                  -0.008252, -0.008471, -0.008743, -0.009317");
        }
      }

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

        fall_power(pwr_tin_10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          values("0.09151, 0.09128, 0.09106, 0.0909, 0.09096, 0.09094, 0.09097, \
                  0.09098, 0.09102, 0.09096");
        }

        rise_power(pwr_tin_10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          values("0.06703, 0.06735, 0.06726, 0.06705, 0.06659, 0.06646, 0.06626, \
                  0.06589, 0.06551, 0.06468");
        }
      }

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

        fall_power(pwr_tin_10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          values("0.0944, 0.09432, 0.09419, 0.09405, 0.09408, 0.09393, 0.09383, \
                  0.09374, 0.09356, 0.09319");
        }

        rise_power(pwr_tin_10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          values("-0.08626, -0.086, -0.08742, -0.08817, -0.08882, -0.08908, -0.08926, \
                  -0.08934, -0.08942, -0.08947");
        }
      }

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

        fall_power(pwr_tin_10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          values("0.0944, 0.09433, 0.09433, 0.09411, 0.09413, 0.09399, 0.09387, \
                  0.09368, 0.09347, 0.09321");
        }

        rise_power(pwr_tin_10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          values("-0.08612, -0.08601, -0.08737, -0.08811, -0.08877, -0.08906, -0.08926, \
                  -0.08939, -0.08944, -0.08952");
        }
      }

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

        fall_power(pwr_tin_10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          values("0.09408, 0.09401, 0.09402, 0.09381, 0.09382, 0.09369, 0.0936, \
                  0.09348, 0.09331, 0.0931");
        }

        rise_power(pwr_tin_10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          values("-0.08615, -0.08601, -0.08727, -0.08812, -0.08874, -0.08905, -0.08926, \
                  -0.08935, -0.08941, -0.08952");
        }
      }

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

        fall_power(pwr_tin_10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          values("0.05542, 0.05531, 0.05523, 0.05521, 0.05531, 0.05528, 0.05521, \
                  0.05515, 0.05501, 0.05481");
        }

        rise_power(pwr_tin_10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          values("-0.02906, -0.02901, -0.02915, -0.02908, -0.02919, -0.02919, -0.0292, \
                  -0.02918, -0.0292, -0.02918");
        }
      }
    }

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

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

        fall_power(pwr_tin_10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          values("0.0911, 0.09099, 0.09083, 0.09076, 0.09085, 0.09093, 0.091, 0.09091, \
                  0.09101, 0.09099");
        }

        rise_power(pwr_tin_10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          values("-0.007283, -0.007161, -0.007421, -0.007565, -0.007979, -0.008093, \
                  -0.008275, -0.008416, -0.008812, -0.009249");
        }
      }

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

        fall_power(pwr_tin_10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          values("0.09112, 0.09105, 0.09089, 0.09083, 0.09106, 0.09099, 0.09098, \
                  0.09105, 0.09106, 0.09101");
        }

        rise_power(pwr_tin_10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          values("-0.007216, -0.007206, -0.00741, -0.007517, -0.008045, -0.008084, \
                  -0.008262, -0.008434, -0.008801, -0.009277");
        }
      }

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

        fall_power(pwr_tin_10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          values("0.09112, 0.09104, 0.09088, 0.09097, 0.09109, 0.09095, 0.09099, \
                  0.09101, 0.09107, 0.09106");
        }

        rise_power(pwr_tin_10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          values("0.06764, 0.06769, 0.06738, 0.06717, 0.06667, 0.06647, 0.06626, \
                  0.06596, 0.06545, 0.06471");
        }
      }

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

        fall_power(pwr_tin_10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          values("0.09437, 0.09405, 0.09398, 0.09395, 0.09405, 0.09397, 0.09392, \
                  0.09374, 0.09353, 0.09322");
        }

        rise_power(pwr_tin_10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          values("-0.08549, -0.08551, -0.08733, -0.0881, -0.08878, -0.08904, -0.08925, \
                  -0.08931, -0.08938, -0.0895");
        }
      }

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

        fall_power(pwr_tin_10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          values("0.0944, 0.09408, 0.09401, 0.09397, 0.09408, 0.09404, 0.09394, \
                  0.09377, 0.09351, 0.09319");
        }

        rise_power(pwr_tin_10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          values("-0.08542, -0.08556, -0.08736, -0.08816, -0.08888, -0.08904, -0.08918, \
                  -0.08936, -0.08943, -0.08951");
        }
      }

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

        fall_power(pwr_tin_10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          values("0.09408, 0.09377, 0.09371, 0.09367, 0.09379, 0.09371, 0.09368, \
                  0.09353, 0.09334, 0.09307");
        }

        rise_power(pwr_tin_10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          values("-0.08542, -0.08556, -0.08751, -0.08825, -0.08884, -0.08905, -0.08923, \
                  -0.08931, -0.08943, -0.0895");
        }
      }

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

        fall_power(pwr_tin_10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          values("0.07985, 0.0797, 0.07979, 0.07977, 0.07994, 0.07994, 0.07994, \
                  0.07991, 0.0799, 0.0799");
        }

        rise_power(pwr_tin_10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          values("-0.06918, -0.07397, -0.07618, -0.07701, -0.07767, -0.07794, -0.07814, \
                  -0.07823, -0.07832, -0.07842");
        }
      }
    }

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

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

        fall_power(pwr_tin_10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          values("0.07799, 0.07956, 0.08014, 0.08042, 0.08084, 0.08106, 0.08113, \
                  0.08114, 0.08098, 0.08057");
        }

        rise_power(pwr_tin_10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          values("-0.06318, -0.06297, -0.06277, -0.06268, -0.06284, -0.0628, -0.06277, \
                  -0.06273, -0.06274, -0.06277");
        }
      }

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

        fall_power(pwr_tin_10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          values("0.06656, 0.06315, 0.06286, 0.06289, 0.06295, 0.06291, 0.06294, \
                  0.06294, 0.06295, 0.06294");
        }

        rise_power(pwr_tin_10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          values("-0.06297, -0.06286, -0.06281, -0.06273, -0.06288, -0.06282, -0.06276, \
                  -0.06276, -0.06273, -0.06274");
        }
      }

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

        fall_power(pwr_tin_10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          values("0.0678, 0.06761, 0.0675, 0.06737, 0.06737, 0.06733, 0.06721, 0.06702, \
                  0.06678, 0.06653");
        }

        rise_power(pwr_tin_10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          values("-0.06236, -0.06218, -0.06208, -0.06209, -0.06236, -0.06245, -0.06261, \
                  -0.06277, -0.06304, -0.06336");
        }
      }

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

        fall_power(pwr_tin_10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          values("0.06802, 0.06773, 0.06747, 0.06731, 0.06737, 0.06725, 0.06714, \
                  0.06705, 0.06676, 0.06648");
        }

        rise_power(pwr_tin_10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          values("-0.06233, -0.06219, -0.06222, -0.06225, -0.06234, -0.06246, -0.06254, \
                  -0.06274, -0.06299, -0.06335");
        }
      }

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

        fall_power(pwr_tin_10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          values("0.06782, 0.06753, 0.06727, 0.06713, 0.06718, 0.06708, 0.06701, \
                  0.0669, 0.06659, 0.06625");
        }

        rise_power(pwr_tin_10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          values("-0.06242, -0.06228, -0.0623, -0.06232, -0.06243, -0.06258, -0.06263, \
                  -0.06282, -0.0631, -0.06344");
        }
      }
    }

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

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

        fall_power(pwr_tin_10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          values("0.0633, 0.0632, 0.06292, 0.06289, 0.0629, 0.06298, 0.06292, 0.06292, \
                  0.06296, 0.06291");
        }

        rise_power(pwr_tin_10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          values("-0.06319, -0.06295, -0.0627, -0.0626, -0.06273, -0.06277, -0.06271, \
                  -0.06272, -0.06278, -0.06277");
        }
      }

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

        fall_power(pwr_tin_10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          values("0.06324, 0.0632, 0.06303, 0.06285, 0.06297, 0.06289, 0.06291, \
                  0.06293, 0.06295, 0.06294");
        }

        rise_power(pwr_tin_10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          values("-0.06303, -0.06289, -0.06284, -0.06274, -0.06283, -0.06281, -0.06281, \
                  -0.06275, -0.06276, -0.06279");
        }
      }

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

        fall_power(pwr_tin_10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          values("0.06341, 0.06315, 0.06294, 0.06291, 0.06295, 0.06292, 0.06291, \
                  0.06294, 0.06292, 0.06288");
        }

        rise_power(pwr_tin_10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          values("-0.06311, -0.06292, -0.06276, -0.06271, -0.06278, -0.06278, -0.06273, \
                  -0.06275, -0.06274, -0.06272");
        }
      }

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

        fall_power(pwr_tin_10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          values("0.06349, 0.06327, 0.06292, 0.06287, 0.06293, 0.06295, 0.06296, \
                  0.06297, 0.06288, 0.06291");
        }

        rise_power(pwr_tin_10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          values("-0.0632, -0.06295, -0.06273, -0.06262, -0.06278, -0.06276, -0.06281, \
                  -0.06274, -0.06275, -0.06275");
        }
      }

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

        fall_power(pwr_tin_10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          values("0.06346, 0.06328, 0.06293, 0.0629, 0.06294, 0.06297, 0.06291, \
                  0.06298, 0.06294, 0.06296");
        }

        rise_power(pwr_tin_10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          values("-0.0632, -0.06295, -0.06274, -0.06263, -0.06275, -0.06279, -0.06275, \
                  -0.06273, -0.06275, -0.06278");
        }
      }
    }

    pin(ZN) {
      direction : output ;
      function : "(((!A1)&(!A2))|(!B)|(!C))" ;
      max_capacitance : 1.165 ;
      max_transition : 11.2 ;
      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.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.009034, 0.03724, 0.09109, 0.175, 0.2927, 0.4476, 0.6428, 0.881, 1.165");
          values("0.03012, 0.03056, 0.03132, 0.03174, 0.03202, 0.0321, 0.03217, 0.03223, 0.03228, 0.03231",\
                 "0.02761, 0.02912, 0.03174, 0.0337, 0.03471, 0.03529, 0.03563, 0.03581, 0.03593, 0.03601",\
                 "0.02289, 0.02459, 0.02842, 0.03195, 0.03443, 0.03594, 0.03683, 0.03745, 0.03781, 0.03805",\
                 "0.02644, 0.02666, 0.0283, 0.03103, 0.03347, 0.03523, 0.03652, 0.03736, 0.03792, 0.03828",\
                 "0.04243, 0.04111, 0.03852, 0.03738, 0.03743, 0.03778, 0.03823, 0.03864, 0.03894, 0.03916",\
                 "0.07215, 0.06912, 0.06189, 0.05481, 0.05016, 0.04724, 0.04528, 0.04402, 0.04317, 0.04254",\
                 "0.1158, 0.1112, 0.09915, 0.0856, 0.07439, 0.06646, 0.06058, 0.05618, 0.05297, 0.05057",\
                 "0.1741, 0.1679, 0.1514, 0.1312, 0.1125, 0.09809, 0.08659, 0.07768, 0.07071, 0.06538",\
                 "0.2472, 0.24, 0.2193, 0.1922, 0.1658, 0.1432, 0.125, 0.1104, 0.0985, 0.08894",\
                 "0.3362, 0.3277, 0.3034, 0.2699, 0.2354, 0.2044, 0.1775, 0.1565, 0.1379, 0.1231");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.009034, 0.03724, 0.09109, 0.175, 0.2927, 0.4476, 0.6428, 0.881, 1.165");
          values("0.2789, 0.2805, 0.2834, 0.2854, 0.287, 0.2885, 0.2904, 0.2923, 0.2972, 0.3356",\
                 "0.2716, 0.2744, 0.2806, 0.286, 0.2893, 0.292, 0.2946, 0.2971, 0.302, 0.3415",\
                 "0.2657, 0.2673, 0.272, 0.2786, 0.2849, 0.2891, 0.2922, 0.2962, 0.3028, 0.3448",\
                 "0.2734, 0.2732, 0.2731, 0.2756, 0.2802, 0.2861, 0.2898, 0.2926, 0.3013, 0.3513",\
                 "0.2942, 0.2924, 0.2878, 0.2851, 0.2845, 0.2856, 0.2895, 0.2945, 0.301, 0.3618",\
                 "0.3287, 0.3252, 0.3167, 0.3076, 0.3015, 0.2976, 0.2976, 0.2988, 0.3088, 0.3853",\
                 "0.3776, 0.3726, 0.3601, 0.3443, 0.3325, 0.3222, 0.3156, 0.3134, 0.3248, 0.4398",\
                 "0.4419, 0.4354, 0.4189, 0.398, 0.3768, 0.3611, 0.3483, 0.3393, 0.3593, 0.5425",\
                 "0.5228, 0.5148, 0.4937, 0.4668, 0.4391, 0.4147, 0.3963, 0.3829, 0.4294, 0.7519",\
                 "0.6206, 0.6114, 0.5861, 0.5538, 0.519, 0.4864, 0.4585, 0.4537, 0.5877, 1.185");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.009034, 0.03724, 0.09109, 0.175, 0.2927, 0.4476, 0.6428, 0.881, 1.165");
          values("0.07443, 0.07441, 0.07448, 0.07455, 0.07461, 0.07458, 0.07462, 0.07465, 0.07456, 0.07455",\
                 "0.06885, 0.06905, 0.06951, 0.06983, 0.07008, 0.07014, 0.07029, 0.07029, 0.07026, 0.07025",\
                 "0.06337, 0.06377, 0.06478, 0.06568, 0.06635, 0.06679, 0.06703, 0.06721, 0.06725, 0.06727",\
                 "0.06623, 0.06605, 0.06578, 0.06581, 0.06604, 0.06625, 0.06635, 0.06649, 0.06652, 0.06649",\
                 "0.08226, 0.08076, 0.07745, 0.07399, 0.0717, 0.07027, 0.0692, 0.06856, 0.06802, 0.06773",\
                 "0.1134, 0.1103, 0.1025, 0.09401, 0.08692, 0.08163, 0.07793, 0.07525, 0.07329, 0.07186",\
                 "0.1603, 0.1556, 0.1432, 0.128, 0.1145, 0.1038, 0.09533, 0.08925, 0.08462, 0.0811",\
                 "0.2236, 0.2177, 0.2008, 0.1789, 0.1574, 0.1393, 0.1246, 0.1133, 0.1046, 0.09763",\
                 "0.3035, 0.2968, 0.2759, 0.247, 0.2172, 0.1904, 0.1681, 0.15, 0.1355, 0.1238",\
                 "0.4016, 0.3939, 0.3698, 0.3338, 0.295, 0.2587, 0.2272, 0.2015, 0.1794, 0.1615");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.009034, 0.03724, 0.09109, 0.175, 0.2927, 0.4476, 0.6428, 0.881, 1.165");
          values("0.3311, 0.3326, 0.3348, 0.3364, 0.3378, 0.3393, 0.3402, 0.3434, 0.3473, 0.3864",\
                 "0.3244, 0.327, 0.3326, 0.3372, 0.3402, 0.3429, 0.345, 0.3476, 0.3524, 0.3926",\
                 "0.3144, 0.3164, 0.3221, 0.3294, 0.3353, 0.341, 0.3438, 0.3479, 0.352, 0.3966",\
                 "0.3154, 0.3162, 0.3185, 0.3229, 0.3291, 0.3346, 0.3411, 0.344, 0.352, 0.4004",\
                 "0.3309, 0.3298, 0.3279, 0.3283, 0.33, 0.3339, 0.3378, 0.3434, 0.3496, 0.4103",\
                 "0.3648, 0.3615, 0.3544, 0.3479, 0.3447, 0.3427, 0.3426, 0.3455, 0.3576, 0.4311",\
                 "0.417, 0.4117, 0.3991, 0.3847, 0.3739, 0.3676, 0.3615, 0.3592, 0.3699, 0.4769",\
                 "0.4875, 0.4808, 0.4631, 0.4411, 0.4205, 0.4063, 0.3954, 0.3872, 0.4027, 0.5646",\
                 "0.5769, 0.5687, 0.5461, 0.5169, 0.4874, 0.4621, 0.4446, 0.4327, 0.4636, 0.7319",\
                 "0.6853, 0.6756, 0.6482, 0.6121, 0.5743, 0.5392, 0.5111, 0.5004, 0.5913, 1.073");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.009034, 0.03724, 0.09109, 0.175, 0.2927, 0.4476, 0.6428, 0.881, 1.165");
          values("0.08488, 0.08506, 0.08534, 0.08553, 0.0858, 0.08588, 0.08595, 0.08594, 0.08592, 0.08592",\
                 "0.08235, 0.08283, 0.08375, 0.08456, 0.08508, 0.08546, 0.0856, 0.08563, 0.08574, 0.08574",\
                 "0.07719, 0.07795, 0.07979, 0.08166, 0.08317, 0.08402, 0.08456, 0.08499, 0.08514, 0.08525",\
                 "0.07504, 0.07559, 0.07702, 0.07907, 0.08099, 0.0823, 0.08327, 0.08394, 0.0844, 0.08461",\
                 "0.08302, 0.08271, 0.082, 0.08227, 0.0827, 0.08325, 0.08389, 0.08426, 0.08461, 0.0848",\
                 "0.1039, 0.1027, 0.09903, 0.0953, 0.09255, 0.09055, 0.08942, 0.08847, 0.08788, 0.08747",\
                 "0.1402, 0.1374, 0.13, 0.1212, 0.1136, 0.1074, 0.1027, 0.09918, 0.09651, 0.09441",\
                 "0.1926, 0.1885, 0.1768, 0.162, 0.1479, 0.1362, 0.1265, 0.1189, 0.1128, 0.108",\
                 "0.2625, 0.2569, 0.2408, 0.2192, 0.1977, 0.1784, 0.163, 0.1499, 0.1391, 0.1304",\
                 "0.3496, 0.3428, 0.3224, 0.2938, 0.2643, 0.2369, 0.2134, 0.1938, 0.1774, 0.1634");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.009034, 0.03724, 0.09109, 0.175, 0.2927, 0.4476, 0.6428, 0.881, 1.165");
          values("0.4539, 0.4543, 0.4545, 0.4551, 0.4559, 0.4577, 0.4588, 0.461, 0.4636, 0.4664",\
                 "0.4476, 0.4482, 0.4501, 0.4519, 0.4533, 0.455, 0.457, 0.4592, 0.4615, 0.4671",\
                 "0.4388, 0.4395, 0.4424, 0.4456, 0.4487, 0.4517, 0.4543, 0.4571, 0.4615, 0.4638",\
                 "0.4436, 0.4433, 0.4433, 0.4444, 0.4463, 0.4493, 0.4528, 0.4569, 0.4591, 0.4627",\
                 "0.4627, 0.4611, 0.4576, 0.4544, 0.4523, 0.4526, 0.4546, 0.4563, 0.4597, 0.4614",\
                 "0.4973, 0.4944, 0.4869, 0.478, 0.4713, 0.4667, 0.4648, 0.4644, 0.4659, 0.469",\
                 "0.547, 0.5431, 0.5319, 0.5169, 0.5033, 0.4934, 0.4855, 0.4806, 0.4781, 0.4832",\
                 "0.6129, 0.6079, 0.5942, 0.5735, 0.5529, 0.5345, 0.5215, 0.51, 0.5023, 0.5102",\
                 "0.6966, 0.6906, 0.6734, 0.648, 0.6194, 0.5923, 0.5716, 0.5542, 0.5421, 0.567",\
                 "0.7973, 0.791, 0.7709, 0.7408, 0.7045, 0.6697, 0.6382, 0.6154, 0.6069, 0.7064");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.009034, 0.03724, 0.09109, 0.175, 0.2927, 0.4476, 0.6428, 0.881, 1.165");
          values("0.03812, 0.03841, 0.03886, 0.03915, 0.03927, 0.03938, 0.03944, 0.03947, 0.03952, 0.03951",\
                 "0.03438, 0.03524, 0.03686, 0.03796, 0.03858, 0.03892, 0.03912, 0.03922, 0.03928, 0.03932",\
                 "0.02788, 0.02918, 0.03203, 0.03466, 0.03637, 0.0374, 0.03802, 0.03841, 0.03873, 0.0389",\
                 "0.02688, 0.02749, 0.02931, 0.03193, 0.034, 0.03565, 0.03671, 0.03742, 0.0379, 0.03825",\
                 "0.03728, 0.03673, 0.03579, 0.03546, 0.03601, 0.03674, 0.0373, 0.03781, 0.03819, 0.03841",\
                 "0.06178, 0.05963, 0.05465, 0.04994, 0.04662, 0.04444, 0.04309, 0.04212, 0.0416, 0.04114",\
                 "0.1022, 0.0983, 0.08844, 0.07765, 0.06853, 0.06183, 0.0569, 0.05316, 0.05037, 0.04827",\
                 "0.1591, 0.1535, 0.1385, 0.1206, 0.1046, 0.09164, 0.08134, 0.07334, 0.067, 0.0622",\
                 "0.2328, 0.2257, 0.2055, 0.1802, 0.1561, 0.1351, 0.1187, 0.1049, 0.09376, 0.08491",\
                 "0.3233, 0.3148, 0.2903, 0.2576, 0.2245, 0.1949, 0.17, 0.1496, 0.1324, 0.1183");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.009034, 0.03724, 0.09109, 0.175, 0.2927, 0.4476, 0.6428, 0.881, 1.165");
          values("0.4034, 0.4035, 0.4038, 0.4043, 0.4046, 0.4061, 0.4078, 0.4097, 0.4123, 0.4169",\
                 "0.3967, 0.3975, 0.3993, 0.4009, 0.4022, 0.4043, 0.4057, 0.4076, 0.4102, 0.4133",\
                 "0.3881, 0.3888, 0.3914, 0.3946, 0.3977, 0.4007, 0.4039, 0.4061, 0.4087, 0.4127",\
                 "0.3928, 0.3924, 0.3924, 0.3934, 0.3953, 0.3983, 0.4012, 0.404, 0.4078, 0.4119",\
                 "0.4123, 0.4105, 0.4066, 0.4034, 0.4012, 0.4025, 0.4033, 0.4062, 0.4075, 0.4118",\
                 "0.4464, 0.4438, 0.4362, 0.4265, 0.4205, 0.416, 0.4135, 0.4137, 0.4129, 0.4176",\
                 "0.4964, 0.4928, 0.4812, 0.4665, 0.4527, 0.443, 0.4342, 0.4299, 0.4272, 0.4298",\
                 "0.5627, 0.5576, 0.5436, 0.5234, 0.5011, 0.4832, 0.4708, 0.459, 0.451, 0.4566",\
                 "0.6458, 0.64, 0.6227, 0.5974, 0.569, 0.5407, 0.52, 0.5026, 0.4892, 0.5139",\
                 "0.7469, 0.7403, 0.7205, 0.69, 0.6551, 0.6187, 0.5866, 0.5628, 0.5524, 0.6489");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.009034, 0.03724, 0.09109, 0.175, 0.2927, 0.4476, 0.6428, 0.881, 1.165");
          values("0.03809, 0.03835, 0.03883, 0.0391, 0.03925, 0.03938, 0.03943, 0.03946, 0.03949, 0.0395",\
                 "0.03447, 0.03531, 0.03687, 0.03799, 0.03857, 0.03891, 0.03911, 0.03921, 0.03926, 0.03932",\
                 "0.02791, 0.02922, 0.03205, 0.03463, 0.03642, 0.03742, 0.03803, 0.03843, 0.03868, 0.03886",\
                 "0.02716, 0.02781, 0.02951, 0.03202, 0.0342, 0.03574, 0.03677, 0.03748, 0.03795, 0.03828",\
                 "0.03815, 0.03746, 0.03644, 0.03615, 0.03645, 0.03707, 0.03765, 0.03805, 0.03838, 0.03862",\
                 "0.0631, 0.06097, 0.0559, 0.05109, 0.04753, 0.04531, 0.04371, 0.04264, 0.04195, 0.04145",\
                 "0.104, 0.1002, 0.09022, 0.0791, 0.07002, 0.06309, 0.05785, 0.05399, 0.051, 0.04882",\
                 "0.1613, 0.1559, 0.1408, 0.1227, 0.1063, 0.09327, 0.08267, 0.07451, 0.06805, 0.06295",\
                 "0.2352, 0.2281, 0.2083, 0.1829, 0.1582, 0.1374, 0.1202, 0.1063, 0.09512, 0.086",\
                 "0.3259, 0.3176, 0.2932, 0.2606, 0.2273, 0.1975, 0.1723, 0.1518, 0.1342, 0.12");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.009034, 0.03724, 0.09109, 0.175, 0.2927, 0.4476, 0.6428, 0.881, 1.165");
          values("0.4473, 0.4473, 0.4475, 0.4478, 0.4485, 0.4502, 0.452, 0.4532, 0.4567, 0.4592",\
                 "0.4414, 0.442, 0.4438, 0.4458, 0.4472, 0.4499, 0.4514, 0.4529, 0.4564, 0.4598",\
                 "0.4319, 0.4329, 0.4355, 0.4391, 0.4421, 0.4457, 0.4487, 0.4511, 0.4546, 0.4565",\
                 "0.436, 0.4357, 0.4358, 0.4368, 0.439, 0.4421, 0.4463, 0.4499, 0.4522, 0.4587",\
                 "0.4546, 0.4529, 0.4497, 0.4471, 0.4453, 0.4457, 0.4472, 0.45, 0.4525, 0.4577",\
                 "0.488, 0.4858, 0.479, 0.4708, 0.4644, 0.4601, 0.4577, 0.4581, 0.4591, 0.462",\
                 "0.537, 0.5337, 0.5234, 0.5102, 0.4973, 0.4874, 0.4796, 0.4746, 0.4722, 0.4745",\
                 "0.6024, 0.598, 0.5852, 0.5665, 0.5462, 0.5291, 0.5167, 0.504, 0.497, 0.5017",\
                 "0.6847, 0.6797, 0.664, 0.6405, 0.6144, 0.5872, 0.568, 0.55, 0.5368, 0.5599",\
                 "0.7853, 0.7798, 0.7612, 0.7334, 0.7003, 0.6667, 0.6367, 0.6108, 0.6035, 0.6979");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.009034, 0.03724, 0.09109, 0.175, 0.2927, 0.4476, 0.6428, 0.881, 1.165");
          values("0.08498, 0.08518, 0.08546, 0.08571, 0.08589, 0.08595, 0.08602, 0.08601, 0.086, 0.08601",\
                 "0.08229, 0.08275, 0.0837, 0.08453, 0.08516, 0.0854, 0.08559, 0.08558, 0.08566, 0.08571",\
                 "0.07715, 0.07785, 0.07972, 0.08161, 0.08304, 0.08399, 0.08459, 0.08494, 0.0851, 0.08526",\
                 "0.07393, 0.07449, 0.0761, 0.0785, 0.08049, 0.08199, 0.08308, 0.08382, 0.08427, 0.08457",\
                 "0.08024, 0.08005, 0.07999, 0.08064, 0.08154, 0.08255, 0.08331, 0.08391, 0.08432, 0.08467",\
                 "0.09968, 0.09855, 0.09583, 0.09297, 0.09091, 0.0896, 0.0887, 0.08809, 0.08757, 0.08724",\
                 "0.1355, 0.133, 0.1264, 0.1188, 0.1119, 0.1065, 0.1024, 0.09916, 0.09659, 0.09467",\
                 "0.1887, 0.1848, 0.1739, 0.1603, 0.147, 0.1361, 0.1272, 0.1199, 0.114, 0.1094",\
                 "0.2607, 0.2553, 0.2399, 0.2194, 0.199, 0.1807, 0.1656, 0.1528, 0.1422, 0.1336",\
                 "0.3513, 0.3446, 0.3251, 0.2975, 0.2686, 0.242, 0.2188, 0.1993, 0.1832, 0.1692");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.009034, 0.03724, 0.09109, 0.175, 0.2927, 0.4476, 0.6428, 0.881, 1.165");
          values("0.5203, 0.5204, 0.5204, 0.5208, 0.5217, 0.523, 0.525, 0.5267, 0.5286, 0.533",\
                 "0.514, 0.5143, 0.5152, 0.5158, 0.5167, 0.5188, 0.5205, 0.5225, 0.525, 0.5279",\
                 "0.5087, 0.509, 0.5102, 0.5117, 0.5133, 0.5158, 0.5178, 0.5201, 0.5226, 0.5243",\
                 "0.5145, 0.5141, 0.5132, 0.513, 0.5136, 0.5158, 0.5172, 0.5192, 0.5214, 0.5262",\
                 "0.5339, 0.5325, 0.5287, 0.5246, 0.5214, 0.5206, 0.5211, 0.521, 0.5232, 0.5264",\
                 "0.5688, 0.5664, 0.5583, 0.5494, 0.5417, 0.5362, 0.5328, 0.53, 0.5315, 0.5341",\
                 "0.6204, 0.6163, 0.6055, 0.5902, 0.5759, 0.5647, 0.5553, 0.5486, 0.5456, 0.5495",\
                 "0.6888, 0.6842, 0.6699, 0.6486, 0.6268, 0.6082, 0.5931, 0.5804, 0.5711, 0.5803",\
                 "0.7754, 0.7701, 0.7527, 0.7262, 0.697, 0.6688, 0.6456, 0.6273, 0.613, 0.6403",\
                 "0.8818, 0.8751, 0.855, 0.8238, 0.7872, 0.7495, 0.7173, 0.6898, 0.6822, 0.7835");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.009034, 0.03724, 0.09109, 0.175, 0.2927, 0.4476, 0.6428, 0.881, 1.165");
          values("0.03816, 0.0385, 0.03895, 0.03924, 0.03939, 0.03946, 0.03953, 0.03954, 0.03958, 0.03962",\
                 "0.03437, 0.03524, 0.03688, 0.03797, 0.03858, 0.03889, 0.03905, 0.03923, 0.03929, 0.03937",\
                 "0.02774, 0.02901, 0.03193, 0.03456, 0.03635, 0.03738, 0.03803, 0.03843, 0.0387, 0.03887",\
                 "0.02545, 0.0261, 0.02827, 0.03122, 0.03361, 0.03537, 0.03653, 0.03727, 0.0378, 0.03818",\
                 "0.03384, 0.03363, 0.03325, 0.03379, 0.03483, 0.03592, 0.03679, 0.03747, 0.0379, 0.03824",\
                 "0.0566, 0.05487, 0.05095, 0.04724, 0.04486, 0.04327, 0.04237, 0.04169, 0.04123, 0.04087",\
                 "0.09618, 0.0927, 0.08409, 0.07467, 0.06677, 0.06083, 0.05648, 0.05304, 0.0505, 0.04849",\
                 "0.1537, 0.1486, 0.1348, 0.1184, 0.1035, 0.09137, 0.08188, 0.07432, 0.06826, 0.06344",\
                 "0.2296, 0.223, 0.204, 0.1801, 0.1569, 0.137, 0.1208, 0.1076, 0.09688, 0.08794",\
                 "0.3242, 0.316, 0.2925, 0.2606, 0.2286, 0.1997, 0.1752, 0.1553, 0.1381, 0.1239");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.009034, 0.03724, 0.09109, 0.175, 0.2927, 0.4476, 0.6428, 0.881, 1.165");
          values("0.4696, 0.4695, 0.4696, 0.47, 0.4708, 0.4723, 0.4744, 0.4763, 0.4785, 0.4822",\
                 "0.4636, 0.4638, 0.4643, 0.4649, 0.4657, 0.4678, 0.469, 0.4712, 0.4734, 0.4756",\
                 "0.4579, 0.4583, 0.4592, 0.4607, 0.4625, 0.4648, 0.4669, 0.4694, 0.471, 0.4748",\
                 "0.4637, 0.4634, 0.4624, 0.4619, 0.4626, 0.4645, 0.4666, 0.4688, 0.4713, 0.473",\
                 "0.4835, 0.4819, 0.4777, 0.4739, 0.4704, 0.4696, 0.4702, 0.4709, 0.4713, 0.4768",\
                 "0.5181, 0.5161, 0.5081, 0.4988, 0.4907, 0.4852, 0.4822, 0.4796, 0.4808, 0.4817",\
                 "0.5699, 0.5662, 0.5552, 0.5397, 0.5253, 0.5146, 0.5053, 0.4979, 0.4949, 0.4961",\
                 "0.6382, 0.6335, 0.6196, 0.5983, 0.5765, 0.5569, 0.5422, 0.5297, 0.5214, 0.5276",\
                 "0.7249, 0.7199, 0.702, 0.6759, 0.6465, 0.6178, 0.5953, 0.5763, 0.5626, 0.5816",\
                 "0.8311, 0.825, 0.8047, 0.7732, 0.7366, 0.6994, 0.6651, 0.6396, 0.6297, 0.7224");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.009034, 0.03724, 0.09109, 0.175, 0.2927, 0.4476, 0.6428, 0.881, 1.165");
          values("0.03821, 0.03838, 0.03893, 0.03922, 0.03937, 0.03947, 0.03951, 0.03955, 0.03958, 0.03959",\
                 "0.03438, 0.03527, 0.03693, 0.03792, 0.03854, 0.03888, 0.03906, 0.03921, 0.03925, 0.0393",\
                 "0.02776, 0.02908, 0.03196, 0.03458, 0.03636, 0.03741, 0.03804, 0.03845, 0.03873, 0.0389",\
                 "0.02567, 0.02645, 0.02856, 0.03131, 0.03371, 0.03544, 0.03656, 0.03731, 0.03785, 0.03821",\
                 "0.03478, 0.03448, 0.03408, 0.03452, 0.03551, 0.03637, 0.03717, 0.0377, 0.03815, 0.03844",\
                 "0.05824, 0.05647, 0.05254, 0.04865, 0.04599, 0.04435, 0.04312, 0.04233, 0.04178, 0.04133",\
                 "0.09873, 0.09528, 0.08661, 0.07694, 0.06878, 0.06264, 0.0578, 0.05422, 0.05145, 0.04934",\
                 "0.1569, 0.1518, 0.1381, 0.1214, 0.1061, 0.09372, 0.08387, 0.07596, 0.06975, 0.0647",\
                 "0.2334, 0.2268, 0.2079, 0.1838, 0.1602, 0.1399, 0.1234, 0.1096, 0.0986, 0.08964",\
                 "0.3285, 0.3201, 0.2966, 0.2648, 0.2326, 0.2033, 0.1786, 0.158, 0.1407, 0.1263");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.009034, 0.03724, 0.09109, 0.175, 0.2927, 0.4476, 0.6428, 0.881, 1.165");
          values("0.5121, 0.5126, 0.5126, 0.5128, 0.5134, 0.5152, 0.5164, 0.5187, 0.5202, 0.5237",\
                 "0.5066, 0.5072, 0.5078, 0.5086, 0.5094, 0.5116, 0.5131, 0.5157, 0.516, 0.5205",\
                 "0.5013, 0.5019, 0.5027, 0.5045, 0.506, 0.5083, 0.5107, 0.5139, 0.5151, 0.5196",\
                 "0.5068, 0.5067, 0.5057, 0.5055, 0.5063, 0.5077, 0.5101, 0.5127, 0.5154, 0.5185",\
                 "0.5256, 0.5244, 0.5211, 0.5173, 0.5144, 0.5134, 0.5137, 0.5148, 0.5148, 0.5198",\
                 "0.5602, 0.5577, 0.5509, 0.5425, 0.5353, 0.5293, 0.5254, 0.5244, 0.5247, 0.5247",\
                 "0.6109, 0.6073, 0.5975, 0.5833, 0.5699, 0.559, 0.5491, 0.5442, 0.5402, 0.5418",\
                 "0.6783, 0.6742, 0.661, 0.6423, 0.6215, 0.604, 0.5881, 0.5763, 0.5659, 0.572",\
                 "0.7647, 0.7595, 0.7441, 0.7203, 0.6921, 0.664, 0.643, 0.6238, 0.6102, 0.6317",\
                 "0.87, 0.8643, 0.8457, 0.8169, 0.7825, 0.7483, 0.7153, 0.6891, 0.6792, 0.7755");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.009034, 0.03724, 0.09109, 0.175, 0.2927, 0.4476, 0.6428, 0.881, 1.165");
          values("0.1237, 0.15, 0.2422, 0.417, 0.6891, 1.07, 1.572, 2.204, 2.975, 3.894",\
                 "0.1418, 0.1687, 0.262, 0.4379, 0.7103, 1.092, 1.594, 2.225, 2.997, 3.917",\
                 "0.1986, 0.2309, 0.328, 0.5046, 0.7781, 1.16, 1.663, 2.294, 3.067, 3.987",\
                 "0.2403, 0.2864, 0.4236, 0.6312, 0.907, 1.289, 1.791, 2.424, 3.195, 4.115",\
                 "0.2594, 0.3181, 0.4935, 0.7619, 1.097, 1.493, 1.994, 2.626, 3.398, 4.317",\
                 "0.2547, 0.3263, 0.5383, 0.8638, 1.274, 1.748, 2.282, 2.914, 3.684, 4.603",\
                 "0.2215, 0.3068, 0.5582, 0.9374, 1.418, 1.979, 2.605, 3.29, 4.064, 4.98",\
                 "0.1572, 0.2563, 0.5466, 0.9851, 1.532, 2.176, 2.896, 3.683, 4.532, 5.462",\
                 "0.0597, 0.1738, 0.5063, 1.002, 1.618, 2.339, 3.152, 4.041, 4.998, 6.021",\
                 "-0.0732, 0.0541, 0.4292, 0.9856, 1.674, 2.471, 3.371, 4.363, 5.427, 6.566");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.009034, 0.03724, 0.09109, 0.175, 0.2927, 0.4476, 0.6428, 0.881, 1.165");
          values("0.2095, 0.2552, 0.4122, 0.7068, 1.165, 1.805, 2.648, 3.71, 5.006, 6.552",\
                 "0.2243, 0.2714, 0.4324, 0.7309, 1.19, 1.833, 2.678, 3.74, 5.036, 6.58",\
                 "0.3051, 0.3506, 0.5097, 0.8096, 1.273, 1.918, 2.762, 3.826, 5.123, 6.669",\
                 "0.4385, 0.4985, 0.6777, 0.9752, 1.436, 2.082, 2.927, 3.991, 5.29, 6.84",\
                 "0.5941, 0.6687, 0.895, 1.243, 1.704, 2.345, 3.19, 4.255, 5.551, 7.099",\
                 "0.7819, 0.8682, 1.136, 1.554, 2.083, 2.728, 3.57, 4.63, 5.926, 7.47",\
                 "1.007, 1.106, 1.408, 1.89, 2.509, 3.231, 4.077, 5.133, 6.426, 7.968",\
                 "1.266, 1.381, 1.721, 2.257, 2.959, 3.786, 4.714, 5.776, 7.062, 8.601",\
                 "1.563, 1.693, 2.074, 2.665, 3.441, 4.367, 5.412, 6.557, 7.849, 9.382",\
                 "1.896, 2.042, 2.472, 3.119, 3.961, 4.979, 6.136, 7.409, 8.784, 10.32");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.009034, 0.03724, 0.09109, 0.175, 0.2927, 0.4476, 0.6428, 0.881, 1.165");
          values("0.1635, 0.2082, 0.363, 0.6548, 1.111, 1.746, 2.583, 3.639, 4.925, 6.459",\
                 "0.1615, 0.207, 0.3626, 0.656, 1.109, 1.747, 2.582, 3.639, 4.928, 6.46",\
                 "0.1977, 0.2344, 0.3647, 0.6554, 1.111, 1.748, 2.582, 3.642, 4.926, 6.462",\
                 "0.2848, 0.332, 0.4756, 0.7095, 1.113, 1.745, 2.585, 3.638, 4.926, 6.459",\
                 "0.3844, 0.4428, 0.6222, 0.8964, 1.258, 1.787, 2.586, 3.639, 4.927, 6.465",\
                 "0.5012, 0.57, 0.7776, 1.109, 1.527, 2.031, 2.699, 3.656, 4.927, 6.463",\
                 "0.6302, 0.7116, 0.9516, 1.328, 1.819, 2.39, 3.051, 3.871, 4.994, 6.468",\
                 "0.7716, 0.8676, 1.147, 1.565, 2.118, 2.771, 3.506, 4.334, 5.322, 6.623",\
                 "0.926, 1.035, 1.353, 1.825, 2.432, 3.163, 3.988, 4.895, 5.9, 7.069",\
                 "1.093, 1.219, 1.574, 2.107, 2.766, 3.559, 4.479, 5.481, 6.572, 7.764");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.009034, 0.03724, 0.09109, 0.175, 0.2927, 0.4476, 0.6428, 0.881, 1.165");
          values("0.2734, 0.3473, 0.6092, 1.106, 1.88, 2.966, 4.392, 6.192, 8.39, 11.01",\
                 "0.2729, 0.348, 0.6088, 1.107, 1.88, 2.965, 4.394, 6.197, 8.387, 11.01",\
                 "0.2846, 0.3506, 0.6084, 1.106, 1.882, 2.966, 4.392, 6.192, 8.389, 11.01",\
                 "0.3825, 0.4496, 0.6554, 1.108, 1.88, 2.969, 4.395, 6.191, 8.392, 11.01",\
                 "0.4862, 0.5718, 0.8232, 1.214, 1.891, 2.964, 4.398, 6.2, 8.391, 11.01",\
                 "0.594, 0.6924, 0.9982, 1.46, 2.058, 2.995, 4.395, 6.195, 8.395, 11.01",\
                 "0.7174, 0.8232, 1.167, 1.716, 2.391, 3.221, 4.452, 6.199, 8.392, 11.01",\
                 "0.8586, 0.9748, 1.345, 1.962, 2.747, 3.643, 4.736, 6.286, 8.4, 11.02",\
                 "1.009, 1.141, 1.536, 2.207, 3.095, 4.112, 5.244, 6.631, 8.532, 11.03",\
                 "1.173, 1.319, 1.755, 2.458, 3.428, 4.586, 5.84, 7.222, 8.938, 11.2");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.009034, 0.03724, 0.09109, 0.175, 0.2927, 0.4476, 0.6428, 0.881, 1.165");
          values("0.1689, 0.1969, 0.2921, 0.4697, 0.7435, 1.126, 1.628, 2.26, 3.031, 3.949",\
                 "0.1847, 0.2128, 0.3083, 0.4862, 0.7601, 1.142, 1.644, 2.276, 3.047, 3.966",\
                 "0.2499, 0.2786, 0.3731, 0.5512, 0.8254, 1.208, 1.71, 2.342, 3.113, 4.032",\
                 "0.3202, 0.3607, 0.4847, 0.6809, 0.9547, 1.337, 1.839, 2.471, 3.242, 4.16",\
                 "0.3688, 0.42, 0.5789, 0.8295, 1.152, 1.542, 2.043, 2.674, 3.444, 4.362",\
                 "0.3977, 0.459, 0.649, 0.9525, 1.345, 1.807, 2.332, 2.962, 3.731, 4.648",\
                 "0.4042, 0.4766, 0.697, 1.049, 1.508, 2.051, 2.664, 3.341, 4.113, 5.027",\
                 "0.3873, 0.4697, 0.7235, 1.123, 1.644, 2.265, 2.969, 3.744, 4.584, 5.51",\
                 "0.344, 0.4377, 0.7243, 1.174, 1.754, 2.448, 3.241, 4.114, 5.061, 6.075",\
                 "0.2746, 0.3786, 0.6983, 1.199, 1.839, 2.604, 3.479, 4.45, 5.503, 6.63");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.009034, 0.03724, 0.09109, 0.175, 0.2927, 0.4476, 0.6428, 0.881, 1.165");
          values("0.2498, 0.2954, 0.4517, 0.746, 1.203, 1.844, 2.687, 3.751, 5.045, 6.591",\
                 "0.2696, 0.3168, 0.4765, 0.7744, 1.234, 1.876, 2.721, 3.782, 5.079, 6.625",\
                 "0.3341, 0.3809, 0.5414, 0.8424, 1.305, 1.951, 2.795, 3.859, 5.155, 6.701",\
                 "0.4284, 0.4836, 0.6598, 0.9619, 1.425, 2.07, 2.919, 3.982, 5.281, 6.826",\
                 "0.5484, 0.6119, 0.8132, 1.149, 1.618, 2.263, 3.109, 4.175, 5.472, 7.021",\
                 "0.7017, 0.775, 1.001, 1.374, 1.887, 2.542, 3.384, 4.449, 5.747, 7.29",\
                 "0.8857, 0.9711, 1.228, 1.637, 2.196, 2.902, 3.76, 4.818, 6.112, 7.659",\
                 "1.099, 1.198, 1.49, 1.94, 2.543, 3.303, 4.217, 5.294, 6.584, 8.125",\
                 "1.342, 1.455, 1.785, 2.284, 2.934, 3.746, 4.72, 5.858, 7.168, 8.703",\
                 "1.614, 1.741, 2.113, 2.668, 3.371, 4.233, 5.265, 6.468, 7.843, 9.402");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.009034, 0.03724, 0.09109, 0.175, 0.2927, 0.4476, 0.6428, 0.881, 1.165");
          values("0.2131, 0.2577, 0.4121, 0.705, 1.159, 1.794, 2.631, 3.686, 4.971, 6.507",\
                 "0.2121, 0.2576, 0.4128, 0.7052, 1.158, 1.794, 2.631, 3.686, 4.973, 6.504",\
                 "0.2272, 0.2653, 0.41, 0.705, 1.159, 1.794, 2.631, 3.686, 4.973, 6.505",\
                 "0.3178, 0.3639, 0.505, 0.7428, 1.16, 1.795, 2.631, 3.686, 4.973, 6.504",\
                 "0.4192, 0.4786, 0.6522, 0.9248, 1.287, 1.827, 2.633, 3.686, 4.973, 6.507",\
                 "0.5322, 0.601, 0.8092, 1.137, 1.553, 2.058, 2.735, 3.701, 4.973, 6.507",\
                 "0.6574, 0.7382, 0.977, 1.356, 1.845, 2.415, 3.074, 3.904, 5.036, 6.513",\
                 "0.7906, 0.8852, 1.162, 1.589, 2.143, 2.798, 3.528, 4.356, 5.352, 6.659",\
                 "0.9322, 1.042, 1.362, 1.833, 2.446, 3.182, 4.012, 4.915, 5.918, 7.094",\
                 "1.086, 1.209, 1.572, 2.101, 2.77, 3.571, 4.492, 5.5, 6.592, 7.784");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.009034, 0.03724, 0.09109, 0.175, 0.2927, 0.4476, 0.6428, 0.881, 1.165");
          values("0.2733, 0.3475, 0.6089, 1.107, 1.879, 2.964, 4.391, 6.192, 8.391, 11",\
                 "0.2737, 0.348, 0.6084, 1.106, 1.879, 2.966, 4.394, 6.192, 8.389, 11.01",\
                 "0.2842, 0.352, 0.6086, 1.107, 1.879, 2.971, 4.394, 6.195, 8.388, 11.01",\
                 "0.3549, 0.4236, 0.65, 1.11, 1.881, 2.965, 4.401, 6.192, 8.394, 11.01",\
                 "0.4358, 0.5114, 0.76, 1.197, 1.898, 2.966, 4.395, 6.204, 8.39, 11.01",\
                 "0.5404, 0.6172, 0.8796, 1.352, 2.028, 3.009, 4.396, 6.196, 8.397, 11.01",\
                 "0.6682, 0.7478, 1.016, 1.511, 2.234, 3.181, 4.466, 6.201, 8.39, 11.01",\
                 "0.809, 0.8974, 1.179, 1.69, 2.451, 3.444, 4.685, 6.309, 8.411, 11.01",\
                 "0.961, 1.06, 1.368, 1.89, 2.674, 3.722, 5.01, 6.576, 8.556, 11.05",\
                 "1.124, 1.234, 1.573, 2.123, 2.922, 4.008, 5.356, 6.96, 8.862, 11.23");
        }
      }

      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.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.009034, 0.03724, 0.09109, 0.175, 0.2927, 0.4476, 0.6428, 0.881, 1.165");
          values("0.2249, 0.2529, 0.3481, 0.5259, 0.7996, 1.182, 1.684, 2.316, 3.087, 4.006",\
                 "0.2433, 0.2714, 0.3671, 0.5453, 0.8194, 1.202, 1.704, 2.336, 3.107, 4.026",\
                 "0.2959, 0.3248, 0.4213, 0.6002, 0.8749, 1.258, 1.76, 2.392, 3.164, 4.082",\
                 "0.3535, 0.3897, 0.5039, 0.6961, 0.9724, 1.356, 1.859, 2.491, 3.262, 4.181",\
                 "0.3917, 0.438, 0.5806, 0.8086, 1.116, 1.508, 2.012, 2.644, 3.415, 4.335",\
                 "0.4047, 0.4605, 0.6339, 0.9095, 1.266, 1.702, 2.226, 2.86, 3.632, 4.551",\
                 "0.3893, 0.4558, 0.6606, 0.984, 1.4, 1.895, 2.47, 3.139, 3.917, 4.835",\
                 "0.3436, 0.4211, 0.6588, 1.03, 1.508, 2.071, 2.713, 3.439, 4.263, 5.197",\
                 "0.2662, 0.3539, 0.6252, 1.049, 1.585, 2.219, 2.937, 3.734, 4.621, 5.609",\
                 "0.1553, 0.2534, 0.5568, 1.03, 1.632, 2.335, 3.133, 4.012, 4.974, 6.029");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.009034, 0.03724, 0.09109, 0.175, 0.2927, 0.4476, 0.6428, 0.881, 1.165");
          values("0.2259, 0.2574, 0.3644, 0.5653, 0.8756, 1.309, 1.879, 2.596, 3.471, 4.514",\
                 "0.2497, 0.281, 0.3894, 0.5914, 0.9022, 1.336, 1.906, 2.623, 3.498, 4.542",\
                 "0.3431, 0.3749, 0.4841, 0.687, 0.9994, 1.434, 2.004, 2.722, 3.598, 4.641",\
                 "0.5123, 0.5524, 0.6744, 0.8782, 1.189, 1.624, 2.195, 2.913, 3.788, 4.831",\
                 "0.7044, 0.756, 0.917, 1.169, 1.493, 1.926, 2.496, 3.212, 4.088, 5.13",\
                 "0.9219, 0.9839, 1.181, 1.495, 1.893, 2.355, 2.923, 3.639, 4.512, 5.554",\
                 "1.174, 1.245, 1.473, 1.843, 2.32, 2.875, 3.487, 4.203, 5.074, 6.114",\
                 "1.464, 1.545, 1.802, 2.222, 2.773, 3.421, 4.139, 4.913, 5.789, 6.826",\
                 "1.791, 1.883, 2.172, 2.637, 3.256, 3.992, 4.817, 5.708, 6.653, 7.7",\
                 "2.157, 2.261, 2.584, 3.098, 3.776, 4.594, 5.521, 6.529, 7.601, 8.727");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.009034, 0.03724, 0.09109, 0.175, 0.2927, 0.4476, 0.6428, 0.881, 1.165");
          values("0.2127, 0.2575, 0.4123, 0.7053, 1.159, 1.795, 2.632, 3.686, 4.972, 6.503",\
                 "0.2125, 0.2573, 0.4123, 0.705, 1.158, 1.795, 2.632, 3.685, 4.97, 6.503",\
                 "0.2255, 0.2661, 0.4136, 0.7049, 1.158, 1.794, 2.632, 3.686, 4.97, 6.507",\
                 "0.2981, 0.3382, 0.4769, 0.7334, 1.161, 1.795, 2.631, 3.685, 4.972, 6.502",\
                 "0.403, 0.4506, 0.5986, 0.8558, 1.246, 1.821, 2.633, 3.684, 4.972, 6.508",\
                 "0.524, 0.5788, 0.7496, 1.034, 1.429, 1.971, 2.709, 3.704, 4.974, 6.507",\
                 "0.6648, 0.727, 0.92, 1.235, 1.664, 2.215, 2.924, 3.838, 5.026, 6.515",\
                 "0.8182, 0.889, 1.108, 1.458, 1.93, 2.517, 3.235, 4.128, 5.231, 6.624",\
                 "0.9814, 1.062, 1.312, 1.702, 2.217, 2.852, 3.606, 4.508, 5.598, 6.905",\
                 "1.158, 1.246, 1.527, 1.966, 2.523, 3.21, 4.021, 4.959, 6.05, 7.346");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.009034, 0.03724, 0.09109, 0.175, 0.2927, 0.4476, 0.6428, 0.881, 1.165");
          values("0.3101, 0.3647, 0.5489, 0.897, 1.432, 2.174, 3.148, 4.375, 5.87, 7.652",\
                 "0.3113, 0.3634, 0.5487, 0.897, 1.432, 2.175, 3.148, 4.373, 5.868, 7.651",\
                 "0.3126, 0.3641, 0.5491, 0.8969, 1.432, 2.175, 3.149, 4.374, 5.87, 7.647",\
                 "0.424, 0.4644, 0.6002, 0.9036, 1.432, 2.175, 3.149, 4.374, 5.868, 7.652",\
                 "0.5776, 0.6328, 0.7978, 1.051, 1.474, 2.178, 3.149, 4.375, 5.87, 7.65",\
                 "0.7284, 0.7986, 1.011, 1.329, 1.718, 2.282, 3.164, 4.375, 5.87, 7.651",\
                 "0.882, 0.9632, 1.217, 1.612, 2.086, 2.622, 3.347, 4.419, 5.873, 7.652",\
                 "1.048, 1.137, 1.422, 1.883, 2.457, 3.092, 3.788, 4.692, 5.965, 7.668",\
                 "1.226, 1.325, 1.635, 2.15, 2.818, 3.572, 4.369, 5.23, 6.33, 7.826",\
                 "1.416, 1.525, 1.864, 2.42, 3.168, 4.036, 4.968, 5.936, 6.982, 8.288");
        }
      }

      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.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.009034, 0.03724, 0.09109, 0.175, 0.2927, 0.4476, 0.6428, 0.881, 1.165");
          values("0.1771, 0.2035, 0.2954, 0.47, 0.7417, 1.123, 1.625, 2.256, 3.028, 3.947",\
                 "0.1946, 0.2215, 0.3141, 0.4893, 0.7615, 1.143, 1.644, 2.276, 3.049, 3.968",\
                 "0.2398, 0.2702, 0.3673, 0.5438, 0.8171, 1.199, 1.701, 2.333, 3.104, 4.024",\
                 "0.2764, 0.3168, 0.4389, 0.6362, 0.9139, 1.296, 1.799, 2.431, 3.204, 4.123",\
                 "0.2884, 0.3408, 0.4976, 0.7381, 1.052, 1.449, 1.951, 2.584, 3.357, 4.277",\
                 "0.2743, 0.339, 0.5313, 0.8237, 1.193, 1.635, 2.165, 2.8, 3.571, 4.491",\
                 "0.231, 0.3094, 0.5385, 0.8821, 1.315, 1.821, 2.403, 3.077, 3.856, 4.776",\
                 "0.1585, 0.2486, 0.5155, 0.9134, 1.409, 1.987, 2.638, 3.37, 4.199, 5.136",\
                 "0.055, 0.1583, 0.4599, 0.9141, 1.473, 2.125, 2.854, 3.659, 4.551, 5.545",\
                 "-0.0835, 0.0326, 0.3717, 0.8798, 1.507, 2.229, 3.039, 3.93, 4.899, 5.96");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.009034, 0.03724, 0.09109, 0.175, 0.2927, 0.4476, 0.6428, 0.881, 1.165");
          values("0.2241, 0.2554, 0.363, 0.5639, 0.8742, 1.308, 1.878, 2.595, 3.47, 4.513",\
                 "0.2476, 0.2794, 0.388, 0.5899, 0.9009, 1.335, 1.905, 2.622, 3.497, 4.54",\
                 "0.3417, 0.3735, 0.4824, 0.6856, 0.9977, 1.433, 2.003, 2.721, 3.596, 4.639",\
                 "0.5106, 0.5501, 0.673, 0.8768, 1.188, 1.623, 2.193, 2.912, 3.787, 4.83",\
                 "0.7011, 0.7529, 0.9148, 1.167, 1.492, 1.925, 2.494, 3.212, 4.086, 5.129",\
                 "0.9182, 0.9811, 1.178, 1.492, 1.891, 2.354, 2.922, 3.637, 4.511, 5.552",\
                 "1.17, 1.242, 1.47, 1.84, 2.319, 2.874, 3.486, 4.203, 5.074, 6.113",\
                 "1.46, 1.541, 1.798, 2.219, 2.77, 3.419, 4.138, 4.912, 5.788, 6.825",\
                 "1.786, 1.879, 2.168, 2.634, 3.253, 3.99, 4.815, 5.706, 6.652, 7.7",\
                 "2.151, 2.256, 2.579, 3.095, 3.774, 4.591, 5.518, 6.527, 7.599, 8.727");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.009034, 0.03724, 0.09109, 0.175, 0.2927, 0.4476, 0.6428, 0.881, 1.165");
          values("0.1659, 0.2094, 0.3633, 0.6554, 1.11, 1.746, 2.584, 3.638, 4.929, 6.462",\
                 "0.1665, 0.2099, 0.363, 0.6547, 1.11, 1.746, 2.585, 3.637, 4.928, 6.461",\
                 "0.194, 0.2312, 0.3689, 0.6557, 1.109, 1.746, 2.583, 3.637, 4.925, 6.464",\
                 "0.2744, 0.3145, 0.447, 0.6962, 1.116, 1.747, 2.583, 3.639, 4.927, 6.459",\
                 "0.3822, 0.4282, 0.5768, 0.8296, 1.214, 1.781, 2.587, 3.639, 4.927, 6.46",\
                 "0.511, 0.5626, 0.7294, 1.011, 1.402, 1.94, 2.669, 3.659, 4.926, 6.463",\
                 "0.6568, 0.716, 0.9024, 1.217, 1.643, 2.19, 2.897, 3.802, 4.989, 6.472",\
                 "0.8148, 0.8818, 1.096, 1.442, 1.908, 2.494, 3.21, 4.099, 5.201, 6.588",\
                 "0.9828, 1.058, 1.3, 1.687, 2.197, 2.83, 3.584, 4.484, 5.568, 6.872",\
                 "1.163, 1.249, 1.517, 1.95, 2.507, 3.19, 3.997, 4.936, 6.026, 7.32");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.009034, 0.03724, 0.09109, 0.175, 0.2927, 0.4476, 0.6428, 0.881, 1.165");
          values("0.2666, 0.3177, 0.498, 0.8371, 1.364, 2.104, 3.075, 4.3, 5.797, 7.573",\
                 "0.2673, 0.3193, 0.4981, 0.8371, 1.364, 2.103, 3.076, 4.301, 5.794, 7.577",\
                 "0.2693, 0.3188, 0.4979, 0.8366, 1.364, 2.104, 3.075, 4.299, 5.797, 7.573",\
                 "0.3716, 0.414, 0.5484, 0.843, 1.364, 2.103, 3.075, 4.301, 5.793, 7.578",\
                 "0.4994, 0.5578, 0.7312, 0.9898, 1.406, 2.105, 3.077, 4.301, 5.797, 7.579",\
                 "0.6214, 0.697, 0.9206, 1.251, 1.648, 2.21, 3.091, 4.301, 5.797, 7.577",\
                 "0.7462, 0.8338, 1.103, 1.514, 2.003, 2.549, 3.275, 4.346, 5.8, 7.58",\
                 "0.8836, 0.9804, 1.283, 1.765, 2.358, 3.011, 3.71, 4.617, 5.892, 7.593",\
                 "1.031, 1.141, 1.475, 2.012, 2.702, 3.47, 4.285, 5.157, 6.26, 7.75",\
                 "1.185, 1.31, 1.682, 2.263, 3.032, 3.924, 4.866, 5.854, 6.91, 8.214");
        }
      }

      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.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.009034, 0.03724, 0.09109, 0.175, 0.2927, 0.4476, 0.6428, 0.881, 1.165");
          values("0.1554, 0.1774, 0.2535, 0.3983, 0.6238, 0.9395, 1.355, 1.878, 2.517, 3.278",\
                 "0.1738, 0.196, 0.273, 0.4182, 0.6438, 0.9598, 1.375, 1.899, 2.538, 3.299",\
                 "0.2279, 0.2547, 0.338, 0.4849, 0.7111, 1.027, 1.443, 1.967, 2.606, 3.367",\
                 "0.2686, 0.3077, 0.4243, 0.603, 0.8378, 1.155, 1.571, 2.095, 2.734, 3.496",\
                 "0.2819, 0.3333, 0.4866, 0.7194, 1.009, 1.353, 1.771, 2.295, 2.934, 3.697",\
                 "0.2692, 0.3326, 0.521, 0.808, 1.166, 1.578, 2.044, 2.577, 3.216, 3.978",\
                 "0.2273, 0.3032, 0.529, 0.8679, 1.292, 1.782, 2.326, 2.924, 3.586, 4.349",\
                 "0.1556, 0.2442, 0.5061, 0.8994, 1.387, 1.953, 2.583, 3.268, 4.008, 4.812",\
                 "0.0524, 0.154, 0.4513, 0.8993, 1.451, 2.092, 2.807, 3.584, 4.418, 5.31",\
                 "-0.0857, 0.029, 0.3617, 0.8643, 1.484, 2.197, 2.994, 3.865, 4.798, 5.79");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.009034, 0.03724, 0.09109, 0.175, 0.2927, 0.4476, 0.6428, 0.881, 1.165");
          values("0.2575, 0.2887, 0.3955, 0.5955, 0.9056, 1.339, 1.909, 2.626, 3.5, 4.544",\
                 "0.2818, 0.3132, 0.4205, 0.6226, 0.9331, 1.367, 1.937, 2.654, 3.529, 4.572",\
                 "0.3758, 0.4069, 0.5148, 0.7177, 1.03, 1.465, 2.035, 2.753, 3.629, 4.672",\
                 "0.5529, 0.5901, 0.7063, 0.9083, 1.219, 1.654, 2.225, 2.943, 3.819, 4.862",\
                 "0.7568, 0.8057, 0.9595, 1.204, 1.523, 1.956, 2.525, 3.243, 4.118, 5.162",\
                 "0.986, 1.045, 1.233, 1.538, 1.928, 2.386, 2.953, 3.668, 4.542, 5.585",\
                 "1.249, 1.316, 1.535, 1.895, 2.364, 2.911, 3.518, 4.234, 5.105, 6.145",\
                 "1.548, 1.625, 1.872, 2.283, 2.825, 3.464, 4.176, 4.945, 5.821, 6.857",\
                 "1.89, 1.976, 2.252, 2.707, 3.315, 4.043, 4.861, 5.746, 6.686, 7.733",\
                 "2.268, 2.367, 2.674, 3.175, 3.843, 4.654, 5.572, 6.573, 7.64, 8.761");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.009034, 0.03724, 0.09109, 0.175, 0.2927, 0.4476, 0.6428, 0.881, 1.165");
          values("0.1618, 0.1981, 0.326, 0.569, 0.9459, 1.473, 2.167, 3.043, 4.108, 5.381",\
                 "0.1619, 0.1984, 0.3262, 0.5691, 0.9459, 1.473, 2.166, 3.04, 4.11, 5.379",\
                 "0.2029, 0.2307, 0.3363, 0.5693, 0.9454, 1.473, 2.166, 3.042, 4.107, 5.383",\
                 "0.3097, 0.3426, 0.4492, 0.6372, 0.9604, 1.474, 2.168, 3.04, 4.11, 5.38",\
                 "0.433, 0.4734, 0.6042, 0.818, 1.116, 1.54, 2.177, 3.04, 4.109, 5.381",\
                 "0.5754, 0.6208, 0.771, 1.026, 1.363, 1.784, 2.325, 3.09, 4.114, 5.378",\
                 "0.736, 0.786, 0.9548, 1.245, 1.638, 2.108, 2.663, 3.339, 4.235, 5.41",\
                 "0.908, 0.966, 1.158, 1.481, 1.923, 2.456, 3.068, 3.773, 4.591, 5.631",\
                 "1.091, 1.155, 1.375, 1.737, 2.225, 2.82, 3.502, 4.262, 5.122, 6.099",\
                 "1.287, 1.358, 1.602, 2.009, 2.542, 3.193, 3.951, 4.787, 5.706, 6.738");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.009034, 0.03724, 0.09109, 0.175, 0.2927, 0.4476, 0.6428, 0.881, 1.165");
          values("0.2971, 0.3499, 0.5288, 0.8677, 1.395, 2.135, 3.106, 4.33, 5.827, 7.601",\
                 "0.2979, 0.3492, 0.5285, 0.8684, 1.396, 2.135, 3.108, 4.332, 5.825, 7.608",\
                 "0.2982, 0.349, 0.5277, 0.8687, 1.396, 2.135, 3.107, 4.332, 5.825, 7.609",\
                 "0.3904, 0.4318, 0.5684, 0.8722, 1.395, 2.135, 3.108, 4.331, 5.828, 7.606",\
                 "0.526, 0.583, 0.7492, 1.005, 1.431, 2.137, 3.109, 4.332, 5.827, 7.607",\
                 "0.6566, 0.7286, 0.9466, 1.268, 1.663, 2.233, 3.12, 4.334, 5.828, 7.61",\
                 "0.785, 0.8694, 1.134, 1.536, 2.018, 2.562, 3.295, 4.372, 5.83, 7.611",\
                 "0.924, 1.019, 1.317, 1.791, 2.378, 3.021, 3.724, 4.638, 5.92, 7.626",\
                 "1.076, 1.181, 1.506, 2.041, 2.724, 3.485, 4.298, 5.168, 6.278, 7.774",\
                 "1.235, 1.354, 1.719, 2.293, 3.059, 3.942, 4.878, 5.864, 6.912, 8.23");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.009034, 0.03724, 0.09109, 0.175, 0.2927, 0.4476, 0.6428, 0.881, 1.165");
          values("0.2249, 0.2529, 0.3481, 0.5259, 0.7996, 1.182, 1.684, 2.316, 3.087, 4.006",\
                 "0.2433, 0.2714, 0.3671, 0.5453, 0.8194, 1.202, 1.704, 2.336, 3.107, 4.026",\
                 "0.2959, 0.3248, 0.4213, 0.6002, 0.8749, 1.258, 1.76, 2.392, 3.164, 4.082",\
                 "0.3535, 0.3897, 0.5039, 0.6961, 0.9724, 1.356, 1.859, 2.491, 3.262, 4.181",\
                 "0.3917, 0.438, 0.5806, 0.8086, 1.116, 1.508, 2.012, 2.644, 3.415, 4.335",\
                 "0.4047, 0.4605, 0.6339, 0.9095, 1.266, 1.702, 2.226, 2.86, 3.632, 4.551",\
                 "0.3893, 0.4558, 0.6606, 0.984, 1.4, 1.895, 2.47, 3.139, 3.917, 4.835",\
                 "0.3436, 0.4211, 0.6588, 1.03, 1.508, 2.071, 2.713, 3.439, 4.263, 5.197",\
                 "0.2662, 0.3539, 0.6252, 1.049, 1.585, 2.219, 2.937, 3.734, 4.621, 5.609",\
                 "0.1553, 0.2534, 0.5568, 1.03, 1.632, 2.335, 3.133, 4.012, 4.974, 6.029");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.009034, 0.03724, 0.09109, 0.175, 0.2927, 0.4476, 0.6428, 0.881, 1.165");
          values("0.2575, 0.2887, 0.3955, 0.5955, 0.9056, 1.339, 1.909, 2.626, 3.5, 4.544",\
                 "0.2818, 0.3132, 0.4205, 0.6226, 0.9331, 1.367, 1.937, 2.654, 3.529, 4.572",\
                 "0.3758, 0.4069, 0.5148, 0.7177, 1.03, 1.465, 2.035, 2.753, 3.629, 4.672",\
                 "0.5529, 0.5901, 0.7063, 0.9083, 1.219, 1.654, 2.225, 2.943, 3.819, 4.862",\
                 "0.7568, 0.8057, 0.9595, 1.204, 1.523, 1.956, 2.525, 3.243, 4.118, 5.162",\
                 "0.986, 1.045, 1.233, 1.538, 1.928, 2.386, 2.953, 3.668, 4.542, 5.585",\
                 "1.249, 1.316, 1.535, 1.895, 2.364, 2.911, 3.518, 4.234, 5.105, 6.145",\
                 "1.548, 1.625, 1.872, 2.283, 2.825, 3.464, 4.176, 4.945, 5.821, 6.857",\
                 "1.89, 1.976, 2.252, 2.707, 3.315, 4.043, 4.861, 5.746, 6.686, 7.733",\
                 "2.268, 2.367, 2.674, 3.175, 3.843, 4.654, 5.572, 6.573, 7.64, 8.761");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.009034, 0.03724, 0.09109, 0.175, 0.2927, 0.4476, 0.6428, 0.881, 1.165");
          values("0.2127, 0.2575, 0.4123, 0.7053, 1.159, 1.795, 2.632, 3.686, 4.972, 6.503",\
                 "0.2125, 0.2573, 0.4123, 0.705, 1.158, 1.795, 2.632, 3.685, 4.97, 6.503",\
                 "0.2255, 0.2661, 0.4136, 0.7049, 1.158, 1.794, 2.632, 3.686, 4.97, 6.507",\
                 "0.2981, 0.3382, 0.4769, 0.7334, 1.161, 1.795, 2.631, 3.685, 4.972, 6.502",\
                 "0.403, 0.4506, 0.5986, 0.8558, 1.246, 1.821, 2.633, 3.684, 4.972, 6.508",\
                 "0.524, 0.5788, 0.7496, 1.034, 1.429, 1.971, 2.709, 3.704, 4.974, 6.507",\
                 "0.6648, 0.727, 0.92, 1.235, 1.664, 2.215, 2.924, 3.838, 5.026, 6.515",\
                 "0.8182, 0.889, 1.108, 1.458, 1.93, 2.517, 3.235, 4.128, 5.231, 6.624",\
                 "0.9814, 1.062, 1.312, 1.702, 2.217, 2.852, 3.606, 4.508, 5.598, 6.905",\
                 "1.158, 1.246, 1.527, 1.966, 2.523, 3.21, 4.021, 4.959, 6.05, 7.346");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.009034, 0.03724, 0.09109, 0.175, 0.2927, 0.4476, 0.6428, 0.881, 1.165");
          values("0.3101, 0.3647, 0.5489, 0.897, 1.432, 2.174, 3.148, 4.375, 5.87, 7.652",\
                 "0.3113, 0.3634, 0.5487, 0.897, 1.432, 2.175, 3.148, 4.373, 5.868, 7.651",\
                 "0.3126, 0.3641, 0.5491, 0.8969, 1.432, 2.175, 3.149, 4.374, 5.87, 7.647",\
                 "0.424, 0.4644, 0.6002, 0.9036, 1.432, 2.175, 3.149, 4.374, 5.868, 7.652",\
                 "0.5776, 0.6328, 0.7978, 1.051, 1.474, 2.178, 3.149, 4.375, 5.87, 7.65",\
                 "0.7284, 0.7986, 1.011, 1.329, 1.718, 2.282, 3.164, 4.375, 5.87, 7.651",\
                 "0.882, 0.9632, 1.217, 1.612, 2.086, 2.622, 3.347, 4.419, 5.873, 7.652",\
                 "1.048, 1.137, 1.422, 1.883, 2.457, 3.092, 3.788, 4.692, 5.965, 7.668",\
                 "1.226, 1.325, 1.635, 2.15, 2.818, 3.572, 4.369, 5.23, 6.33, 7.826",\
                 "1.416, 1.525, 1.864, 2.42, 3.168, 4.036, 4.968, 5.936, 6.982, 8.288");
        }
      }

      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.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.009034, 0.03724, 0.09109, 0.175, 0.2927, 0.4476, 0.6428, 0.881, 1.165");
          values("0.2393, 0.2673, 0.3626, 0.5403, 0.814, 1.196, 1.698, 2.33, 3.101, 4.02",\
                 "0.2573, 0.2854, 0.3812, 0.5593, 0.8334, 1.216, 1.718, 2.35, 3.121, 4.04",\
                 "0.2995, 0.3282, 0.4246, 0.6035, 0.8782, 1.261, 1.764, 2.396, 3.167, 4.086",\
                 "0.3389, 0.3722, 0.4806, 0.6696, 0.946, 1.329, 1.832, 2.464, 3.236, 4.155",\
                 "0.3609, 0.4011, 0.527, 0.7388, 1.039, 1.431, 1.934, 2.566, 3.338, 4.257",\
                 "0.3564, 0.4053, 0.5561, 0.7987, 1.129, 1.553, 2.076, 2.711, 3.482, 4.401",\
                 "0.3179, 0.377, 0.558, 0.8398, 1.209, 1.668, 2.228, 2.893, 3.673, 4.592",\
                 "0.2432, 0.3125, 0.5245, 0.8526, 1.27, 1.773, 2.373, 3.078, 3.895, 4.833",\
                 "0.1326, 0.2115, 0.4539, 0.8313, 1.304, 1.86, 2.506, 3.254, 4.115, 5.094",\
                 "-0.019, 0.0708, 0.345, 0.7694, 1.304, 1.921, 2.622, 3.419, 4.326, 5.351");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.009034, 0.03724, 0.09109, 0.175, 0.2927, 0.4476, 0.6428, 0.881, 1.165");
          values("0.2565, 0.2892, 0.3993, 0.6037, 0.9169, 1.352, 1.924, 2.642, 3.518, 4.562",\
                 "0.2798, 0.3124, 0.4238, 0.6283, 0.9414, 1.377, 1.948, 2.667, 3.543, 4.587",\
                 "0.3763, 0.4091, 0.5207, 0.7258, 1.039, 1.475, 2.047, 2.766, 3.642, 4.686",\
                 "0.5603, 0.5981, 0.7143, 0.9187, 1.231, 1.667, 2.238, 2.957, 3.833, 4.877",\
                 "0.7744, 0.823, 0.9756, 1.218, 1.537, 1.971, 2.541, 3.258, 4.133, 5.176",\
                 "1.014, 1.073, 1.259, 1.56, 1.946, 2.401, 2.97, 3.685, 4.559, 5.601",\
                 "1.289, 1.356, 1.572, 1.926, 2.389, 2.931, 3.536, 4.252, 5.123, 6.163",\
                 "1.605, 1.681, 1.923, 2.324, 2.858, 3.491, 4.199, 4.964, 5.839, 6.876",\
                 "1.965, 2.05, 2.318, 2.762, 3.359, 4.078, 4.888, 5.769, 6.706, 7.752",\
                 "2.371, 2.465, 2.762, 3.247, 3.9, 4.698, 5.608, 6.602, 7.665, 8.782");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.009034, 0.03724, 0.09109, 0.175, 0.2927, 0.4476, 0.6428, 0.881, 1.165");
          values("0.213, 0.2573, 0.4123, 0.7049, 1.158, 1.795, 2.632, 3.686, 4.972, 6.504",\
                 "0.2129, 0.2576, 0.4126, 0.7052, 1.159, 1.795, 2.63, 3.686, 4.973, 6.503",\
                 "0.2203, 0.2621, 0.4125, 0.7052, 1.158, 1.795, 2.632, 3.684, 4.971, 6.503",\
                 "0.268, 0.3113, 0.4584, 0.7272, 1.162, 1.795, 2.632, 3.685, 4.971, 6.505",\
                 "0.348, 0.3908, 0.5394, 0.8138, 1.232, 1.822, 2.635, 3.686, 4.973, 6.506",\
                 "0.4588, 0.5054, 0.6574, 0.9338, 1.357, 1.942, 2.705, 3.708, 4.974, 6.507",\
                 "0.5954, 0.6484, 0.8122, 1.092, 1.516, 2.108, 2.876, 3.832, 5.036, 6.522",\
                 "0.7482, 0.8062, 0.9916, 1.29, 1.719, 2.309, 3.084, 4.054, 5.217, 6.634",\
                 "0.9128, 0.9798, 1.188, 1.52, 1.964, 2.555, 3.334, 4.308, 5.488, 6.874",\
                 "1.096, 1.167, 1.397, 1.768, 2.247, 2.852, 3.624, 4.604, 5.795, 7.204");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.009034, 0.03724, 0.09109, 0.175, 0.2927, 0.4476, 0.6428, 0.881, 1.165");
          values("0.3624, 0.4161, 0.6006, 0.9497, 1.485, 2.228, 3.202, 4.43, 5.926, 7.707",\
                 "0.3607, 0.4146, 0.6012, 0.9498, 1.485, 2.228, 3.203, 4.429, 5.925, 7.707",\
                 "0.3594, 0.4138, 0.6012, 0.9496, 1.485, 2.228, 3.203, 4.428, 5.924, 7.706",\
                 "0.4493, 0.489, 0.6348, 0.9526, 1.485, 2.228, 3.203, 4.428, 5.926, 7.708",\
                 "0.6112, 0.6636, 0.823, 1.078, 1.517, 2.23, 3.203, 4.429, 5.926, 7.707",\
                 "0.7696, 0.8372, 1.043, 1.354, 1.744, 2.321, 3.215, 4.43, 5.926, 7.709",\
                 "0.9248, 1.006, 1.257, 1.642, 2.11, 2.645, 3.385, 4.468, 5.928, 7.71",\
                 "1.086, 1.173, 1.46, 1.917, 2.483, 3.114, 3.81, 4.726, 6.013, 7.722",\
                 "1.258, 1.356, 1.669, 2.182, 2.847, 3.59, 4.389, 5.254, 6.364, 7.872",\
                 "1.441, 1.547, 1.886, 2.446, 3.192, 4.058, 4.98, 5.954, 7, 8.32");
        }
      }

      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.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.009034, 0.03724, 0.09109, 0.175, 0.2927, 0.4476, 0.6428, 0.881, 1.165");
          values("0.1915, 0.218, 0.3097, 0.4843, 0.7561, 1.137, 1.64, 2.271, 3.042, 3.962",\
                 "0.2087, 0.2356, 0.3281, 0.5034, 0.7754, 1.157, 1.658, 2.291, 3.062, 3.981",\
                 "0.2458, 0.2751, 0.3708, 0.5472, 0.8205, 1.202, 1.704, 2.337, 3.109, 4.027",\
                 "0.2721, 0.3074, 0.4192, 0.6106, 0.8876, 1.27, 1.772, 2.404, 3.176, 4.096",\
                 "0.2739, 0.3188, 0.4543, 0.6725, 0.9759, 1.371, 1.874, 2.507, 3.279, 4.198",\
                 "0.244, 0.3008, 0.4683, 0.7228, 1.06, 1.488, 2.015, 2.651, 3.422, 4.342",\
                 "0.1788, 0.2478, 0.4508, 0.7519, 1.132, 1.598, 2.162, 2.83, 3.612, 4.532",\
                 "0.0783, 0.1597, 0.3975, 0.7503, 1.184, 1.697, 2.302, 3.011, 3.832, 4.772",\
                 "-0.0606, 0.0353, 0.3079, 0.713, 1.207, 1.776, 2.43, 3.183, 4.048, 5.03",\
                 "-0.2372, -0.1306, 0.1798, 0.6358, 1.193, 1.828, 2.541, 3.345, 4.256, 5.284");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.009034, 0.03724, 0.09109, 0.175, 0.2927, 0.4476, 0.6428, 0.881, 1.165");
          values("0.2543, 0.287, 0.3976, 0.6024, 0.9152, 1.351, 1.922, 2.641, 3.517, 4.561",\
                 "0.2781, 0.3108, 0.4218, 0.627, 0.94, 1.376, 1.947, 2.666, 3.542, 4.586",\
                 "0.3749, 0.4076, 0.5187, 0.724, 1.038, 1.474, 2.046, 2.764, 3.641, 4.684",\
                 "0.5587, 0.5962, 0.7131, 0.9173, 1.23, 1.666, 2.237, 2.956, 3.832, 4.876",\
                 "0.7711, 0.8206, 0.973, 1.216, 1.536, 1.969, 2.539, 3.257, 4.132, 5.176",\
                 "1.01, 1.07, 1.256, 1.558, 1.945, 2.4, 2.969, 3.684, 4.558, 5.6",\
                 "1.286, 1.352, 1.569, 1.923, 2.387, 2.93, 3.535, 4.25, 5.122, 6.162",\
                 "1.602, 1.677, 1.918, 2.321, 2.855, 3.489, 4.197, 4.963, 5.839, 6.875",\
                 "1.961, 2.046, 2.314, 2.759, 3.356, 4.076, 4.887, 5.767, 6.705, 7.751",\
                 "2.366, 2.46, 2.756, 3.244, 3.899, 4.695, 5.605, 6.601, 7.663, 8.781");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.009034, 0.03724, 0.09109, 0.175, 0.2927, 0.4476, 0.6428, 0.881, 1.165");
          values("0.1659, 0.2098, 0.3634, 0.6549, 1.109, 1.746, 2.585, 3.638, 4.926, 6.458",\
                 "0.166, 0.2099, 0.3635, 0.6547, 1.11, 1.746, 2.583, 3.638, 4.926, 6.461",\
                 "0.1837, 0.2229, 0.3661, 0.6547, 1.111, 1.746, 2.584, 3.639, 4.927, 6.461",\
                 "0.2385, 0.2784, 0.4203, 0.6872, 1.116, 1.747, 2.584, 3.638, 4.925, 6.466",\
                 "0.3274, 0.3692, 0.51, 0.778, 1.194, 1.779, 2.589, 3.64, 4.927, 6.461",\
                 "0.4498, 0.4932, 0.639, 0.9042, 1.321, 1.905, 2.665, 3.667, 4.929, 6.462",\
                 "0.5944, 0.6434, 0.8016, 1.072, 1.486, 2.073, 2.839, 3.794, 4.995, 6.478",\
                 "0.7576, 0.8098, 0.9868, 1.278, 1.694, 2.279, 3.052, 4.019, 5.18, 6.597",\
                 "0.9336, 0.9918, 1.186, 1.512, 1.947, 2.531, 3.3, 4.274, 5.455, 6.839",\
                 "1.121, 1.188, 1.401, 1.761, 2.236, 2.832, 3.598, 4.572, 5.761, 7.17");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.009034, 0.03724, 0.09109, 0.175, 0.2927, 0.4476, 0.6428, 0.881, 1.165");
          values("0.311, 0.3652, 0.547, 0.8879, 1.417, 2.156, 3.129, 4.356, 5.851, 7.632",\
                 "0.3107, 0.3639, 0.5463, 0.8882, 1.416, 2.157, 3.131, 4.356, 5.85, 7.635",\
                 "0.3101, 0.3629, 0.5461, 0.8878, 1.417, 2.156, 3.131, 4.355, 5.85, 7.629",\
                 "0.3954, 0.4372, 0.5794, 0.8912, 1.416, 2.156, 3.129, 4.355, 5.85, 7.636",\
                 "0.532, 0.5894, 0.7572, 1.015, 1.448, 2.158, 3.13, 4.356, 5.852, 7.636",\
                 "0.6644, 0.739, 0.955, 1.277, 1.674, 2.251, 3.141, 4.356, 5.852, 7.635",\
                 "0.7922, 0.8786, 1.144, 1.545, 2.029, 2.572, 3.311, 4.392, 5.854, 7.638",\
                 "0.9268, 1.023, 1.327, 1.801, 2.387, 3.031, 3.734, 4.654, 5.939, 7.649",\
                 "1.071, 1.178, 1.511, 2.047, 2.732, 3.494, 4.308, 5.179, 6.294, 7.798",\
                 "1.226, 1.344, 1.708, 2.296, 3.063, 3.948, 4.888, 5.876, 6.926, 8.248");
        }
      }

      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.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.009034, 0.03724, 0.09109, 0.175, 0.2927, 0.4476, 0.6428, 0.881, 1.165");
          values("0.1698, 0.1917, 0.268, 0.4129, 0.6382, 0.9539, 1.37, 1.893, 2.532, 3.293",\
                 "0.1877, 0.2097, 0.2871, 0.4321, 0.6576, 0.9734, 1.389, 1.913, 2.551, 3.313",\
                 "0.2273, 0.2526, 0.3339, 0.4807, 0.707, 1.023, 1.439, 1.963, 2.601, 3.363",\
                 "0.2572, 0.2901, 0.3918, 0.5588, 0.7928, 1.11, 1.526, 2.05, 2.689, 3.451",\
                 "0.2605, 0.3039, 0.4349, 0.6364, 0.9036, 1.242, 1.661, 2.185, 2.824, 3.586",\
                 "0.2313, 0.287, 0.4508, 0.6972, 1.009, 1.387, 1.84, 2.376, 3.015, 3.777",\
                 "0.167, 0.2355, 0.4348, 0.7301, 1.096, 1.525, 2.023, 2.601, 3.266, 4.03",\
                 "0.0673, 0.1478, 0.3828, 0.7297, 1.154, 1.643, 2.197, 2.824, 3.536, 4.339",\
                 "-0.0675, 0.0238, 0.2925, 0.6923, 1.179, 1.733, 2.352, 3.038, 3.803, 4.657",\
                 "-0.2437, -0.1405, 0.1646, 0.6142, 1.166, 1.788, 2.478, 3.233, 4.06, 4.97");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.009034, 0.03724, 0.09109, 0.175, 0.2927, 0.4476, 0.6428, 0.881, 1.165");
          values("0.2934, 0.3252, 0.4329, 0.6361, 0.9479, 1.383, 1.954, 2.671, 3.547, 4.591",\
                 "0.3175, 0.349, 0.4576, 0.6609, 0.9734, 1.408, 1.979, 2.697, 3.573, 4.617",\
                 "0.4142, 0.4461, 0.5552, 0.7587, 1.071, 1.507, 2.078, 2.796, 3.672, 4.716",\
                 "0.6028, 0.6374, 0.7494, 0.9518, 1.263, 1.698, 2.269, 2.988, 3.864, 4.907",\
                 "0.829, 0.8751, 1.019, 1.253, 1.569, 2.002, 2.571, 3.289, 4.163, 5.207",\
                 "1.08, 1.136, 1.313, 1.604, 1.983, 2.434, 3.001, 3.716, 4.59, 5.631",\
                 "1.365, 1.428, 1.635, 1.98, 2.434, 2.969, 3.568, 4.284, 5.154, 6.194",\
                 "1.691, 1.762, 1.994, 2.386, 2.911, 3.536, 4.236, 4.998, 5.871, 6.908",\
                 "2.062, 2.141, 2.398, 2.834, 3.42, 4.131, 4.933, 5.807, 6.74, 7.785",\
                 "2.48, 2.569, 2.851, 3.325, 3.971, 4.759, 5.66, 6.648, 7.705, 8.817");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.009034, 0.03724, 0.09109, 0.175, 0.2927, 0.4476, 0.6428, 0.881, 1.165");
          values("0.1618, 0.1983, 0.326, 0.5691, 0.945, 1.473, 2.166, 3.039, 4.11, 5.382",\
                 "0.1616, 0.1984, 0.3266, 0.5685, 0.945, 1.472, 2.167, 3.04, 4.11, 5.38",\
                 "0.1871, 0.2186, 0.3331, 0.5694, 0.9459, 1.472, 2.167, 3.041, 4.111, 5.382",\
                 "0.2643, 0.2952, 0.4065, 0.6182, 0.9606, 1.475, 2.167, 3.042, 4.109, 5.381",\
                 "0.376, 0.4096, 0.5242, 0.7366, 1.066, 1.531, 2.181, 3.041, 4.109, 5.38",\
                 "0.5154, 0.552, 0.6758, 0.8982, 1.23, 1.693, 2.298, 3.095, 4.118, 5.382",\
                 "0.677, 0.7158, 0.8522, 1.091, 1.438, 1.906, 2.519, 3.28, 4.23, 5.423",\
                 "0.8524, 0.8958, 1.048, 1.314, 1.683, 2.167, 2.784, 3.555, 4.49, 5.606",\
                 "1.042, 1.09, 1.259, 1.558, 1.959, 2.467, 3.102, 3.884, 4.822, 5.935",\
                 "1.243, 1.298, 1.487, 1.818, 2.261, 2.808, 3.46, 4.259, 5.209, 6.33");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.009034, 0.03724, 0.09109, 0.175, 0.2927, 0.4476, 0.6428, 0.881, 1.165");
          values("0.3426, 0.3965, 0.5775, 0.9191, 1.448, 2.188, 3.161, 4.388, 5.885, 7.664",\
                 "0.3426, 0.3957, 0.5777, 0.9188, 1.447, 2.188, 3.161, 4.385, 5.882, 7.664",\
                 "0.3417, 0.3957, 0.5781, 0.9195, 1.447, 2.188, 3.161, 4.387, 5.882, 7.666",\
                 "0.4132, 0.4544, 0.6024, 0.9218, 1.448, 2.188, 3.161, 4.388, 5.884, 7.666",\
                 "0.5574, 0.6134, 0.7764, 1.033, 1.474, 2.189, 3.162, 4.389, 5.884, 7.665",\
                 "0.6986, 0.7688, 0.9802, 1.295, 1.689, 2.273, 3.172, 4.388, 5.883, 7.668",\
                 "0.8332, 0.917, 1.174, 1.567, 2.043, 2.588, 3.333, 4.423, 5.887, 7.667",\
                 "0.9686, 1.064, 1.359, 1.829, 2.403, 3.044, 3.749, 4.674, 5.966, 7.68",\
                 "1.116, 1.22, 1.548, 2.078, 2.754, 3.509, 4.319, 5.196, 6.312, 7.824",\
                 "1.273, 1.387, 1.746, 2.323, 3.087, 3.968, 4.902, 5.886, 6.938, 8.268");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.009034, 0.03724, 0.09109, 0.175, 0.2927, 0.4476, 0.6428, 0.881, 1.165");
          values("0.2393, 0.2673, 0.3626, 0.5403, 0.814, 1.196, 1.698, 2.33, 3.101, 4.02",\
                 "0.2573, 0.2854, 0.3812, 0.5593, 0.8334, 1.216, 1.718, 2.35, 3.121, 4.04",\
                 "0.2995, 0.3282, 0.4246, 0.6035, 0.8782, 1.261, 1.764, 2.396, 3.167, 4.086",\
                 "0.3389, 0.3722, 0.4806, 0.6696, 0.946, 1.329, 1.832, 2.464, 3.236, 4.155",\
                 "0.3609, 0.4011, 0.527, 0.7388, 1.039, 1.431, 1.934, 2.566, 3.338, 4.257",\
                 "0.3564, 0.4053, 0.5561, 0.7987, 1.129, 1.553, 2.076, 2.711, 3.482, 4.401",\
                 "0.3179, 0.377, 0.558, 0.8398, 1.209, 1.668, 2.228, 2.893, 3.673, 4.592",\
                 "0.2432, 0.3125, 0.5245, 0.8526, 1.27, 1.773, 2.373, 3.078, 3.895, 4.833",\
                 "0.1326, 0.2115, 0.4539, 0.8313, 1.304, 1.86, 2.506, 3.254, 4.115, 5.094",\
                 "-0.019, 0.0708, 0.345, 0.7694, 1.304, 1.921, 2.622, 3.419, 4.326, 5.351");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.009034, 0.03724, 0.09109, 0.175, 0.2927, 0.4476, 0.6428, 0.881, 1.165");
          values("0.2934, 0.3252, 0.4329, 0.6361, 0.9479, 1.383, 1.954, 2.671, 3.547, 4.591",\
                 "0.3175, 0.349, 0.4576, 0.6609, 0.9734, 1.408, 1.979, 2.697, 3.573, 4.617",\
                 "0.4142, 0.4461, 0.5552, 0.7587, 1.071, 1.507, 2.078, 2.796, 3.672, 4.716",\
                 "0.6028, 0.6374, 0.7494, 0.9518, 1.263, 1.698, 2.269, 2.988, 3.864, 4.907",\
                 "0.829, 0.8751, 1.019, 1.253, 1.569, 2.002, 2.571, 3.289, 4.163, 5.207",\
                 "1.08, 1.136, 1.313, 1.604, 1.983, 2.434, 3.001, 3.716, 4.59, 5.631",\
                 "1.365, 1.428, 1.635, 1.98, 2.434, 2.969, 3.568, 4.284, 5.154, 6.194",\
                 "1.691, 1.762, 1.994, 2.386, 2.911, 3.536, 4.236, 4.998, 5.871, 6.908",\
                 "2.062, 2.141, 2.398, 2.834, 3.42, 4.131, 4.933, 5.807, 6.74, 7.785",\
                 "2.48, 2.569, 2.851, 3.325, 3.971, 4.759, 5.66, 6.648, 7.705, 8.817");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.009034, 0.03724, 0.09109, 0.175, 0.2927, 0.4476, 0.6428, 0.881, 1.165");
          values("0.213, 0.2573, 0.4123, 0.7049, 1.158, 1.795, 2.632, 3.686, 4.972, 6.504",\
                 "0.2129, 0.2576, 0.4126, 0.7052, 1.159, 1.795, 2.63, 3.686, 4.973, 6.503",\
                 "0.2203, 0.2621, 0.4125, 0.7052, 1.158, 1.795, 2.632, 3.684, 4.971, 6.503",\
                 "0.268, 0.3113, 0.4584, 0.7272, 1.162, 1.795, 2.632, 3.685, 4.971, 6.505",\
                 "0.348, 0.3908, 0.5394, 0.8138, 1.232, 1.822, 2.635, 3.686, 4.973, 6.506",\
                 "0.4588, 0.5054, 0.6574, 0.9338, 1.357, 1.942, 2.705, 3.708, 4.974, 6.507",\
                 "0.5954, 0.6484, 0.8122, 1.092, 1.516, 2.108, 2.876, 3.832, 5.036, 6.522",\
                 "0.7482, 0.8062, 0.9916, 1.29, 1.719, 2.309, 3.084, 4.054, 5.217, 6.634",\
                 "0.9128, 0.9798, 1.188, 1.52, 1.964, 2.555, 3.334, 4.308, 5.488, 6.874",\
                 "1.096, 1.167, 1.397, 1.768, 2.247, 2.852, 3.624, 4.604, 5.795, 7.204");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.09717, 0.368, 0.8853, 1.691, 2.822, 4.31, 6.184, 8.473, 11.2");
          index_2("0.001, 0.009034, 0.03724, 0.09109, 0.175, 0.2927, 0.4476, 0.6428, 0.881, 1.165");
          values("0.3624, 0.4161, 0.6006, 0.9497, 1.485, 2.228, 3.202, 4.43, 5.926, 7.707",\
                 "0.3607, 0.4146, 0.6012, 0.9498, 1.485, 2.228, 3.203, 4.429, 5.925, 7.707",\
                 "0.3594, 0.4138, 0.6012, 0.9496, 1.485, 2.228, 3.203, 4.428, 5.924, 7.706",\
                 "0.4493, 0.489, 0.6348, 0.9526, 1.485, 2.228, 3.203, 4.428, 5.926, 7.708",\
                 "0.6112, 0.6636, 0.823, 1.078, 1.517, 2.23, 3.203, 4.429, 5.926, 7.707",\
                 "0.7696, 0.8372, 1.043, 1.354, 1.744, 2.321, 3.215, 4.43, 5.926, 7.709",\
                 "0.9248, 1.006, 1.257, 1.642, 2.11, 2.645, 3.385, 4.468, 5.928, 7.71",\
                 "1.086, 1.173, 1.46, 1.917, 2.483, 3.114, 3.81, 4.726, 6.013, 7.722",\
                 "1.258, 1.356, 1.669, 2.182, 2.847, 3.59, 4.389, 5.254, 6.364, 7.872",\
                 "1.441, 1.547, 1.886, 2.446, 3.192, 4.058, 4.98, 5.954, 7, 8.32");
        }
      }
    }
  }