cells/oai211/gf180mcu_fd_sc_mcu9t5v0__oai211_2__tt_025C_1v80.lib

  cell(gf180mcu_fd_sc_mcu9t5v0__oai211_2) {
    area : 47.980800 ;

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

    leakage_power() {
      related_pg_pin : "VDD" ;
      value : "4.10058e-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.01176 ;
      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.01502, 0.01502, 0.015, 0.01497, 0.01496, 0.01496, 0.01496, 0.01496, \
                 0.01496, 0.01495");
        }

        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.0002755, 0.0003105, 0.0003177, 0.0002779, 0.0002052, 0.0001585, \
                 9.114e-05, -1.827e-06, -0.0001375, -0.0003631");
        }
      }

      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.01502, 0.01502, 0.01501, 0.01498, 0.01497, 0.01497, 0.01497, \
                 0.01496, 0.01496, 0.01496");
        }

        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.0002779, 0.0002995, 0.0002971, 0.000283, 0.0002113, 0.0001548, \
                 8.427e-05, -9.981e-06, -0.0001521, -0.0003774");
        }
      }

      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.01502, 0.01502, 0.01501, 0.01498, 0.01498, 0.01497, 0.01497, \
                 0.01496, 0.01496, 0.01496");
        }

        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.01223, 0.01224, 0.01226, 0.01223, 0.01213, 0.01205, 0.01194, \
                 0.0118, 0.01159, 0.01126");
        }
      }

      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.01497, 0.01497, 0.01498, 0.01497, 0.01497, 0.01495, 0.01494, \
                 0.01494, 0.01493, 0.01492");
        }

        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.01397, -0.01405, -0.01423, -0.01437, -0.0145, -0.01456, -0.0146, \
                 -0.01463, -0.01464, -0.01466");
        }
      }

      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.01498, 0.015, 0.01499, 0.015, 0.015, 0.01498, 0.01495, 0.01494, \
                 0.01493, 0.01493");
        }

        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.01393, -0.01404, -0.01425, -0.01438, -0.01448, -0.01455, -0.0146, \
                 -0.01462, -0.01464, -0.01466");
        }
      }

      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.01498, 0.015, 0.01499, 0.015, 0.015, 0.01497, 0.01495, 0.01494, \
                 0.01493, 0.01491");
        }

        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.01393, -0.01404, -0.01425, -0.01437, -0.01448, -0.01455, -0.0146, \
                 -0.01462, -0.01465, -0.01466");
        }
      }

      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.009657, 0.009661, 0.009632, 0.009628, 0.009649, 0.009624, 0.009606, \
                 0.009569, 0.009517, 0.009439");
        }

        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.00528, -0.005277, -0.00527, -0.005279, -0.0053, -0.005299, \
                 -0.005298, -0.005297, -0.005297, -0.0053");
        }
      }
    }

    pin(A2) {
      capacitance : 0.01219 ;
      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.01498, 0.015, 0.01496, 0.01495, 0.01496, 0.01496, 0.01495, 0.01496, \
                 0.01495, 0.01495");
        }

        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.0003833, 0.0003469, 0.0003466, 0.0002966, 0.0002109, 0.0001776, \
                 0.0001052, 8.955e-06, -0.0001333, -0.0003593");
        }
      }

      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.01499, 0.015, 0.01498, 0.01497, 0.01498, 0.01497, 0.01496, 0.01496, \
                 0.01496, 0.01496");
        }

        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.0003829, 0.0003364, 0.0003394, 0.0003052, 0.000221, 0.0001745, \
                 8.977e-05, -2.43e-06, -0.000141, -0.0003838");
        }
      }

      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.01499, 0.015, 0.01497, 0.01496, 0.01498, 0.01496, 0.01496, 0.01496, \
                 0.01495, 0.01496");
        }

        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.01234, 0.01232, 0.0123, 0.01225, 0.01214, 0.01206, 0.01195, \
                 0.01181, 0.0116, 0.01125");
        }
      }

      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.01498, 0.01497, 0.01493, 0.01495, 0.01495, 0.01496, 0.01494, \
                 0.01494, 0.01493, 0.01494");
        }

        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.01383, -0.01396, -0.01421, -0.01438, -0.01451, -0.01454, -0.01458, \
                 -0.01462, -0.01463, -0.01465");
        }
      }

      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.01499, 0.01498, 0.01494, 0.01493, 0.01497, 0.01496, 0.01495, \
                 0.01494, 0.01494, 0.01493");
        }

        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.01381, -0.01396, -0.01423, -0.01438, -0.01451, -0.01455, -0.01458, \
                 -0.01462, -0.01463, -0.01465");
        }
      }

      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.01499, 0.01501, 0.01494, 0.01495, 0.01497, 0.01496, 0.01495, \
                 0.01494, 0.01494, 0.01493");
        }

        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.01381, -0.01397, -0.01423, -0.01439, -0.01452, -0.01455, -0.01458, \
                 -0.01462, -0.01463, -0.01465");
        }
      }

      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.01289, 0.01289, 0.01287, 0.01286, 0.0129, 0.0129, 0.0129, 0.0129, \
                 0.01289, 0.0129");
        }

        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.01148, -0.0118, -0.01211, -0.01231, -0.01243, -0.01247, -0.01251, \
                 -0.01253, -0.01256, -0.01258");
        }
      }
    }

    pin(B) {
      capacitance : 0.01144 ;
      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.0105, 0.01061, 0.01063, 0.01065, 0.01063, 0.01059, \
                 0.01053, 0.01045, 0.01033");
        }

        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.01028, -0.01028, -0.01025, -0.01022, -0.01024, -0.01023, -0.01022, \
                 -0.01022, -0.01022, -0.01021");
        }
      }

      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.01043, 0.01033, 0.01028, 0.01027, 0.01026, 0.01026, 0.01026, \
                 0.01024, 0.01025, 0.01025");
        }

        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.01027, -0.01028, -0.01026, -0.01026, -0.01026, -0.01024, -0.01024, \
                 -0.01023, -0.01023, -0.01022");
        }
      }

      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.0103, 0.0103, 0.01027, 0.01027, 0.01026, 0.01025, 0.01025, 0.01023, \
                 0.01023, 0.01022");
        }

        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.01023, -0.01024, -0.01022, -0.01022, -0.01024, -0.01024, -0.01024, \
                 -0.01024, -0.01024, -0.01024");
        }
      }

      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.01035, 0.01034, 0.0103, 0.01028, 0.01028, 0.01025, 0.01025, \
                 0.01025, 0.01024, 0.01022");
        }

        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.01024, -0.01024, -0.01022, -0.01023, -0.01024, -0.01024, -0.01023, \
                 -0.01024, -0.01023, -0.01023");
        }
      }

      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.01035, 0.01034, 0.0103, 0.01028, 0.01026, 0.01025, 0.01025, \
                 0.01024, 0.01024, 0.01023");
        }

        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.01023, -0.01024, -0.01022, -0.01022, -0.01024, -0.01024, -0.01023, \
                 -0.01023, -0.01023, -0.01023");
        }
      }
    }

    pin(C) {
      capacitance : 0.01054 ;
      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.01032, 0.01031, 0.01028, 0.01025, 0.01025, 0.01025, 0.01025, \
                 0.01025, 0.01025, 0.01024");
        }

        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.01029, -0.01028, -0.01024, -0.01022, -0.01023, -0.01022, -0.01022, \
                 -0.01022, -0.01022, -0.01021");
        }
      }

      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.0103, 0.0103, 0.0103, 0.01027, 0.01027, 0.01026, 0.01025, 0.01026, \
                 0.01025, 0.01025");
        }

        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.01028, -0.01028, -0.01027, -0.01024, -0.01026, -0.01024, -0.01024, \
                 -0.01023, -0.01023, -0.01022");
        }
      }

      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.01031, 0.0103, 0.01028, 0.01025, 0.01025, 0.01026, 0.01025, \
                 0.01025, 0.01025, 0.01025");
        }

        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.01028, -0.01028, -0.01026, -0.01023, -0.01025, -0.01023, -0.01022, \
                 -0.01023, -0.01023, -0.01022");
        }
      }

      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.01033, 0.01034, 0.0103, 0.01026, 0.01027, 0.01025, 0.01025, \
                 0.01026, 0.01026, 0.01026");
        }

        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.0103, -0.01028, -0.01025, -0.01023, -0.01024, -0.01023, -0.01023, \
                 -0.01022, -0.01021, -0.01021");
        }
      }

      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.01033, 0.01034, 0.0103, 0.01026, 0.01026, 0.01026, 0.01025, \
                 0.01026, 0.01026, 0.01026");
        }

        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.01029, -0.01028, -0.01025, -0.01022, -0.01025, -0.01023, -0.01022, \
                 -0.01022, -0.01021, -0.01021");
        }
      }
    }

    pin(ZN) {
      direction : output ;
      function : "(((!A1)&(!A2))|(!B)|(!C))" ;
      max_capacitance : 0.2979 ;
      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.003049, 0.01024, 0.02398, 0.04539, 0.07542, 0.1149, 0.1647, 0.2255, 0.2979");
          values("0.008151, 0.00814, 0.008171, 0.00818, 0.008203, 0.00821, 0.008215, 0.008221, 0.008226, 0.008223",\
                 "0.008035, 0.008113, 0.008247, 0.00838, 0.008486, 0.008538, 0.00857, 0.008596, 0.008614, 0.008617",\
                 "0.007261, 0.007426, 0.007833, 0.008219, 0.008514, 0.008712, 0.008824, 0.008909, 0.008969, 0.009001",\
                 "0.006288, 0.00645, 0.006947, 0.00755, 0.00807, 0.00843, 0.008689, 0.008848, 0.008963, 0.009044",\
                 "0.005696, 0.005844, 0.006229, 0.006821, 0.007424, 0.007927, 0.008299, 0.00857, 0.008763, 0.008895",\
                 "0.005625, 0.005682, 0.005919, 0.006329, 0.006894, 0.007441, 0.007885, 0.008222, 0.008482, 0.008676",\
                 "0.006052, 0.006038, 0.006087, 0.006274, 0.006644, 0.007107, 0.007548, 0.007912, 0.008215, 0.008448",\
                 "0.006919, 0.006855, 0.006741, 0.006663, 0.006782, 0.007046, 0.007381, 0.007728, 0.008025, 0.008273",\
                 "0.008224, 0.008122, 0.007828, 0.007526, 0.007343, 0.007358, 0.007512, 0.007743, 0.007987, 0.008204",\
                 "0.009984, 0.009809, 0.009354, 0.008817, 0.008343, 0.008081, 0.007983, 0.008032, 0.00815, 0.008277");
        }

        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.003049, 0.01024, 0.02398, 0.04539, 0.07542, 0.1149, 0.1647, 0.2255, 0.2979");
          values("0.04821, 0.04828, 0.04844, 0.04862, 0.04878, 0.04891, 0.04907, 0.04932, 0.04983, 0.0542",\
                 "0.04744, 0.04765, 0.04815, 0.04867, 0.04907, 0.04936, 0.04965, 0.04995, 0.05046, 0.05503",\
                 "0.0459, 0.04615, 0.04683, 0.04769, 0.0485, 0.04911, 0.04956, 0.05001, 0.05069, 0.05584",\
                 "0.04489, 0.04504, 0.04554, 0.04637, 0.04725, 0.04816, 0.04884, 0.0494, 0.05043, 0.05648",\
                 "0.0446, 0.04469, 0.04497, 0.04547, 0.04625, 0.04708, 0.04787, 0.04866, 0.04996, 0.05745",\
                 "0.04481, 0.04482, 0.04491, 0.04522, 0.04567, 0.04636, 0.04713, 0.04782, 0.04972, 0.06018",\
                 "0.04544, 0.04542, 0.04532, 0.04535, 0.04565, 0.04602, 0.04659, 0.04731, 0.05014, 0.06635",\
                 "0.04648, 0.04638, 0.04615, 0.04592, 0.04594, 0.04616, 0.04643, 0.04721, 0.05231, 0.08018",\
                 "0.04784, 0.04772, 0.0474, 0.04699, 0.04659, 0.04661, 0.04686, 0.04806, 0.05946, 0.1098",\
                 "0.04964, 0.04946, 0.04901, 0.04837, 0.04772, 0.04736, 0.04773, 0.05255, 0.08329, 0.1703");
        }
      }

      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.003049, 0.01024, 0.02398, 0.04539, 0.07542, 0.1149, 0.1647, 0.2255, 0.2979");
          values("0.01576, 0.01576, 0.01575, 0.01575, 0.01572, 0.01573, 0.01572, 0.01573, 0.01572, 0.01572",\
                 "0.01523, 0.01523, 0.01524, 0.01526, 0.01527, 0.01527, 0.01528, 0.01528, 0.01527, 0.01527",\
                 "0.01432, 0.01436, 0.01445, 0.01455, 0.01461, 0.01465, 0.01469, 0.0147, 0.01471, 0.01471",\
                 "0.01355, 0.01359, 0.01377, 0.01396, 0.01412, 0.01424, 0.0143, 0.01437, 0.01441, 0.01444",\
                 "0.01306, 0.01312, 0.01325, 0.01351, 0.01371, 0.0139, 0.01404, 0.01414, 0.0142, 0.01425",\
                 "0.01295, 0.01297, 0.01306, 0.01322, 0.01345, 0.01366, 0.0138, 0.01393, 0.01403, 0.01409",\
                 "0.01329, 0.01325, 0.01324, 0.01329, 0.01337, 0.01354, 0.01369, 0.01383, 0.01391, 0.014",\
                 "0.01402, 0.01396, 0.01384, 0.01371, 0.01365, 0.01367, 0.01374, 0.01382, 0.0139, 0.01395",\
                 "0.01521, 0.01512, 0.01486, 0.01454, 0.01427, 0.01411, 0.01403, 0.01401, 0.01404, 0.01403",\
                 "0.01683, 0.01672, 0.01632, 0.01579, 0.01529, 0.01488, 0.01461, 0.01442, 0.01433, 0.01423");
        }

        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.003049, 0.01024, 0.02398, 0.04539, 0.07542, 0.1149, 0.1647, 0.2255, 0.2979");
          values("0.05597, 0.05603, 0.05617, 0.05628, 0.05643, 0.05658, 0.05674, 0.0569, 0.05746, 0.06192",\
                 "0.0555, 0.05566, 0.05607, 0.05647, 0.05681, 0.05707, 0.05728, 0.0575, 0.05806, 0.06273",\
                 "0.05419, 0.05439, 0.05497, 0.05575, 0.0564, 0.05692, 0.05737, 0.05775, 0.05842, 0.06363",\
                 "0.05311, 0.05325, 0.05373, 0.0545, 0.0553, 0.05608, 0.0567, 0.05728, 0.05816, 0.06438",\
                 "0.05258, 0.05268, 0.05299, 0.05356, 0.05433, 0.05511, 0.05582, 0.05653, 0.05782, 0.06542",\
                 "0.05231, 0.05234, 0.05258, 0.05303, 0.05357, 0.05428, 0.05496, 0.05581, 0.05745, 0.06796",\
                 "0.05232, 0.05237, 0.05244, 0.05268, 0.05321, 0.05372, 0.05433, 0.05519, 0.05767, 0.07337",\
                 "0.05261, 0.05263, 0.05261, 0.0527, 0.053, 0.05356, 0.05401, 0.0548, 0.05939, 0.08487",\
                 "0.05322, 0.0532, 0.05314, 0.0531, 0.05307, 0.05338, 0.054, 0.05509, 0.06477, 0.1097",\
                 "0.05435, 0.05424, 0.05402, 0.05381, 0.05359, 0.05367, 0.05408, 0.05791, 0.08232, 0.1604");
        }
      }

      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.003049, 0.01024, 0.02398, 0.04539, 0.07542, 0.1149, 0.1647, 0.2255, 0.2979");
          values("0.01731, 0.01731, 0.01732, 0.01733, 0.01735, 0.01736, 0.01735, 0.01735, 0.01735, 0.01735",\
                 "0.0171, 0.01712, 0.01717, 0.01722, 0.01727, 0.01729, 0.01731, 0.01732, 0.01732, 0.01732",\
                 "0.01664, 0.01667, 0.01681, 0.01692, 0.01704, 0.01713, 0.01718, 0.01721, 0.01724, 0.01726",\
                 "0.01603, 0.01611, 0.01626, 0.01649, 0.01669, 0.01686, 0.01698, 0.01705, 0.01712, 0.01716",\
                 "0.01547, 0.01553, 0.01572, 0.01601, 0.01627, 0.01651, 0.0167, 0.01684, 0.01694, 0.017",\
                 "0.01514, 0.01519, 0.01532, 0.01557, 0.01586, 0.01615, 0.01638, 0.01658, 0.01672, 0.01681",\
                 "0.01494, 0.01495, 0.0151, 0.0153, 0.01554, 0.01582, 0.01609, 0.0163, 0.01648, 0.01662",\
                 "0.01492, 0.01495, 0.01504, 0.01517, 0.01538, 0.0156, 0.01585, 0.01608, 0.01626, 0.01641",\
                 "0.01516, 0.01516, 0.01522, 0.01526, 0.0154, 0.01555, 0.01573, 0.01593, 0.0161, 0.01625",\
                 "0.01569, 0.01566, 0.01563, 0.01562, 0.01564, 0.0157, 0.0158, 0.01591, 0.01605, 0.01615");
        }

        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.003049, 0.01024, 0.02398, 0.04539, 0.07542, 0.1149, 0.1647, 0.2255, 0.2979");
          values("0.07751, 0.07751, 0.07754, 0.07755, 0.07765, 0.0778, 0.07804, 0.07821, 0.07859, 0.07887",\
                 "0.07707, 0.0771, 0.0772, 0.07728, 0.07746, 0.07763, 0.07786, 0.07809, 0.07844, 0.07873",\
                 "0.07559, 0.0757, 0.07596, 0.07634, 0.07666, 0.07704, 0.07739, 0.07767, 0.07801, 0.07842",\
                 "0.07435, 0.07445, 0.07472, 0.07517, 0.07569, 0.07619, 0.07674, 0.07721, 0.0777, 0.07821",\
                 "0.0738, 0.07385, 0.074, 0.07439, 0.0749, 0.0754, 0.07606, 0.07649, 0.07708, 0.07763",\
                 "0.07375, 0.07374, 0.07384, 0.07406, 0.0744, 0.07484, 0.07538, 0.07598, 0.07663, 0.07746",\
                 "0.07411, 0.07412, 0.07408, 0.07409, 0.07429, 0.07461, 0.07505, 0.07548, 0.07617, 0.07744",\
                 "0.07486, 0.07486, 0.07473, 0.07456, 0.07452, 0.0747, 0.075, 0.07538, 0.07607, 0.07805",\
                 "0.07597, 0.0759, 0.07568, 0.07535, 0.07511, 0.07507, 0.07524, 0.07548, 0.07637, 0.08232",\
                 "0.07743, 0.07734, 0.07702, 0.07653, 0.07605, 0.07568, 0.07548, 0.07596, 0.0796, 0.1003");
        }
      }

      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.003049, 0.01024, 0.02398, 0.04539, 0.07542, 0.1149, 0.1647, 0.2255, 0.2979");
          values("0.009545, 0.009563, 0.009573, 0.009585, 0.009602, 0.00961, 0.009623, 0.009623, 0.009632, 0.009632",\
                 "0.00927, 0.009294, 0.009401, 0.009468, 0.009527, 0.009554, 0.009572, 0.009588, 0.009605, 0.009605",\
                 "0.008592, 0.008701, 0.008883, 0.009121, 0.009256, 0.009365, 0.009441, 0.009481, 0.009511, 0.009536",\
                 "0.007814, 0.00796, 0.008247, 0.008592, 0.008874, 0.009071, 0.009219, 0.009318, 0.009396, 0.009444",\
                 "0.007351, 0.007447, 0.007686, 0.008064, 0.008416, 0.008715, 0.008932, 0.009095, 0.009205, 0.009302",\
                 "0.007105, 0.007142, 0.007345, 0.007655, 0.008006, 0.008344, 0.00862, 0.008833, 0.008995, 0.009119",\
                 "0.006992, 0.007034, 0.007178, 0.007409, 0.007718, 0.008036, 0.008331, 0.008575, 0.008768, 0.008924",\
                 "0.007088, 0.007113, 0.007185, 0.007351, 0.007573, 0.007844, 0.008107, 0.008362, 0.008578, 0.008744",\
                 "0.00744, 0.007418, 0.007454, 0.007515, 0.007642, 0.007821, 0.008028, 0.008239, 0.008449, 0.008621",\
                 "0.008087, 0.008059, 0.008003, 0.007955, 0.007969, 0.008036, 0.008142, 0.008284, 0.008432, 0.008559");
        }

        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.003049, 0.01024, 0.02398, 0.04539, 0.07542, 0.1149, 0.1647, 0.2255, 0.2979");
          values("0.06991, 0.06993, 0.06991, 0.06992, 0.07, 0.07014, 0.07024, 0.0704, 0.07052, 0.07071",\
                 "0.06945, 0.0695, 0.06956, 0.06968, 0.06982, 0.06996, 0.07015, 0.07034, 0.07046, 0.07068",\
                 "0.06796, 0.06805, 0.06832, 0.06868, 0.06903, 0.06937, 0.06957, 0.06977, 0.06999, 0.07023",\
                 "0.06673, 0.06682, 0.06709, 0.06755, 0.06807, 0.06856, 0.06903, 0.06933, 0.0696, 0.07006",\
                 "0.06616, 0.06623, 0.06645, 0.06674, 0.06721, 0.06778, 0.0683, 0.06883, 0.06901, 0.06963",\
                 "0.0661, 0.06611, 0.06618, 0.06646, 0.06676, 0.06719, 0.06761, 0.0682, 0.06856, 0.06921",\
                 "0.06652, 0.0665, 0.06644, 0.06649, 0.06663, 0.06697, 0.06734, 0.0678, 0.06809, 0.06932",\
                 "0.06724, 0.06723, 0.06712, 0.06696, 0.06679, 0.06701, 0.06729, 0.06757, 0.06785, 0.06966",\
                 "0.06838, 0.06829, 0.06807, 0.06783, 0.06753, 0.06734, 0.06753, 0.06778, 0.06822, 0.07337",\
                 "0.06983, 0.06975, 0.06938, 0.06897, 0.06843, 0.06799, 0.06791, 0.0681, 0.0711, 0.09003");
        }
      }

      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.003049, 0.01024, 0.02398, 0.04539, 0.07542, 0.1149, 0.1647, 0.2255, 0.2979");
          values("0.009558, 0.009535, 0.009584, 0.009585, 0.009609, 0.009623, 0.009622, 0.009615, 0.009621, 0.009626",\
                 "0.009269, 0.009298, 0.009387, 0.009466, 0.009522, 0.009554, 0.009574, 0.009595, 0.0096, 0.009607",\
                 "0.008613, 0.008685, 0.008896, 0.009114, 0.00927, 0.009366, 0.009439, 0.009485, 0.009511, 0.009535",\
                 "0.007892, 0.007967, 0.008278, 0.0086, 0.008883, 0.009082, 0.009224, 0.00932, 0.009389, 0.009437",\
                 "0.007377, 0.007428, 0.007696, 0.008059, 0.008426, 0.008714, 0.00894, 0.009097, 0.00921, 0.009298",\
                 "0.007102, 0.007147, 0.007347, 0.007653, 0.008004, 0.00835, 0.008617, 0.008836, 0.008991, 0.009118",\
                 "0.00699, 0.007031, 0.007178, 0.007413, 0.007719, 0.008031, 0.008333, 0.008576, 0.008775, 0.008931",\
                 "0.007098, 0.007146, 0.007211, 0.007366, 0.007598, 0.007844, 0.008121, 0.008368, 0.008583, 0.008756",\
                 "0.007442, 0.007465, 0.00748, 0.007534, 0.007664, 0.007841, 0.008042, 0.008251, 0.008456, 0.008632",\
                 "0.008135, 0.008088, 0.008038, 0.007984, 0.008008, 0.008063, 0.00817, 0.008299, 0.008446, 0.008591");
        }

        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.003049, 0.01024, 0.02398, 0.04539, 0.07542, 0.1149, 0.1647, 0.2255, 0.2979");
          values("0.07646, 0.07646, 0.07645, 0.07648, 0.07657, 0.07667, 0.07681, 0.07686, 0.07721, 0.0775",\
                 "0.07616, 0.07619, 0.07628, 0.07639, 0.07657, 0.07673, 0.07683, 0.07699, 0.07714, 0.07759",\
                 "0.07469, 0.07479, 0.07502, 0.07541, 0.0758, 0.07615, 0.07647, 0.07673, 0.07703, 0.07714",\
                 "0.0734, 0.07346, 0.07372, 0.07418, 0.07473, 0.07525, 0.0758, 0.07609, 0.07655, 0.0771",\
                 "0.07278, 0.0728, 0.07302, 0.07333, 0.07376, 0.07437, 0.07496, 0.07538, 0.07614, 0.07653",\
                 "0.07266, 0.07267, 0.07277, 0.07301, 0.07329, 0.07374, 0.07431, 0.07474, 0.07522, 0.0758",\
                 "0.07302, 0.07302, 0.07292, 0.07298, 0.07322, 0.0736, 0.07375, 0.07429, 0.07498, 0.07564",\
                 "0.07368, 0.07369, 0.07356, 0.07341, 0.07337, 0.07361, 0.07382, 0.07407, 0.07451, 0.07619",\
                 "0.07476, 0.07473, 0.07451, 0.07424, 0.07389, 0.07393, 0.07408, 0.0743, 0.07474, 0.08026",\
                 "0.07617, 0.07608, 0.07584, 0.0754, 0.07498, 0.07456, 0.07454, 0.07477, 0.07779, 0.09707");
        }
      }

      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.003049, 0.01024, 0.02398, 0.04539, 0.07542, 0.1149, 0.1647, 0.2255, 0.2979");
          values("0.01729, 0.0173, 0.01731, 0.01733, 0.01735, 0.01734, 0.01735, 0.01735, 0.01734, 0.01735",\
                 "0.01708, 0.01713, 0.01716, 0.01722, 0.01726, 0.01729, 0.01731, 0.01731, 0.01732, 0.01732",\
                 "0.01663, 0.01669, 0.0168, 0.01693, 0.01704, 0.01713, 0.01719, 0.01723, 0.01725, 0.01725",\
                 "0.01603, 0.01609, 0.01627, 0.0165, 0.01671, 0.01688, 0.01698, 0.01706, 0.01712, 0.01716",\
                 "0.01548, 0.01553, 0.01573, 0.01601, 0.01628, 0.01652, 0.01671, 0.01684, 0.01694, 0.01701",\
                 "0.01513, 0.01518, 0.01532, 0.01555, 0.01585, 0.01615, 0.01638, 0.01658, 0.01672, 0.01683",\
                 "0.01487, 0.01492, 0.01505, 0.01526, 0.01552, 0.0158, 0.01607, 0.01629, 0.01647, 0.01661",\
                 "0.01482, 0.01483, 0.01495, 0.0151, 0.01531, 0.01557, 0.01582, 0.01605, 0.01624, 0.0164",\
                 "0.01494, 0.01496, 0.01502, 0.01512, 0.01526, 0.01545, 0.01566, 0.01587, 0.01607, 0.01622",\
                 "0.0153, 0.01531, 0.01532, 0.01534, 0.01542, 0.01553, 0.01566, 0.01582, 0.01596, 0.01611");
        }

        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.003049, 0.01024, 0.02398, 0.04539, 0.07542, 0.1149, 0.1647, 0.2255, 0.2979");
          values("0.08846, 0.08846, 0.08845, 0.0885, 0.08858, 0.08872, 0.08895, 0.08918, 0.08947, 0.08973",\
                 "0.08767, 0.08767, 0.08772, 0.08774, 0.08784, 0.088, 0.08821, 0.08844, 0.08869, 0.08917",\
                 "0.08667, 0.08671, 0.08682, 0.08696, 0.08714, 0.08739, 0.08767, 0.08792, 0.08824, 0.08861",\
                 "0.08587, 0.08592, 0.08604, 0.08627, 0.08651, 0.08689, 0.08726, 0.08749, 0.08778, 0.08841",\
                 "0.08551, 0.08552, 0.08562, 0.08579, 0.08604, 0.08642, 0.0869, 0.08722, 0.08765, 0.08809",\
                 "0.08546, 0.08547, 0.08552, 0.08559, 0.08579, 0.0861, 0.08649, 0.08686, 0.08732, 0.08801",\
                 "0.08581, 0.0858, 0.08572, 0.08579, 0.08588, 0.08603, 0.08636, 0.08673, 0.08689, 0.08818",\
                 "0.08645, 0.08645, 0.08631, 0.08616, 0.08611, 0.08612, 0.08638, 0.0866, 0.08716, 0.08917",\
                 "0.08749, 0.0874, 0.08719, 0.08697, 0.08662, 0.08652, 0.08667, 0.08682, 0.08752, 0.09347",\
                 "0.08885, 0.08878, 0.08847, 0.08799, 0.08759, 0.08716, 0.08704, 0.08732, 0.09091, 0.1126");
        }
      }

      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.003049, 0.01024, 0.02398, 0.04539, 0.07542, 0.1149, 0.1647, 0.2255, 0.2979");
          values("0.009533, 0.009538, 0.009577, 0.009594, 0.009597, 0.009603, 0.009612, 0.009616, 0.009623, 0.009625",\
                 "0.009257, 0.009293, 0.009387, 0.009465, 0.009515, 0.009551, 0.009574, 0.009588, 0.009602, 0.009604",\
                 "0.008602, 0.008673, 0.008907, 0.009101, 0.009259, 0.009372, 0.009446, 0.009496, 0.009522, 0.009541",\
                 "0.007862, 0.007966, 0.00826, 0.008587, 0.008878, 0.009087, 0.009225, 0.009331, 0.009394, 0.009442",\
                 "0.007343, 0.00743, 0.007692, 0.008057, 0.008422, 0.008718, 0.008938, 0.009104, 0.00922, 0.009303",\
                 "0.00707, 0.007141, 0.007312, 0.007636, 0.007993, 0.008342, 0.008619, 0.008827, 0.008988, 0.009115",\
                 "0.006907, 0.00696, 0.007125, 0.007371, 0.007684, 0.008009, 0.00832, 0.008566, 0.008765, 0.008926",\
                 "0.006935, 0.006974, 0.007073, 0.007274, 0.007509, 0.00778, 0.008063, 0.008323, 0.008554, 0.008723",\
                 "0.007169, 0.007178, 0.00725, 0.007349, 0.007509, 0.007711, 0.007946, 0.00818, 0.008392, 0.008582",\
                 "0.007643, 0.007638, 0.007631, 0.007665, 0.007728, 0.007839, 0.007994, 0.008169, 0.008347, 0.008498");
        }

        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.003049, 0.01024, 0.02398, 0.04539, 0.07542, 0.1149, 0.1647, 0.2255, 0.2979");
          values("0.08088, 0.08085, 0.08085, 0.08086, 0.08096, 0.08109, 0.0811, 0.08145, 0.08161, 0.08189",\
                 "0.08004, 0.08004, 0.08009, 0.08012, 0.08021, 0.08033, 0.0805, 0.08064, 0.08082, 0.08117",\
                 "0.07905, 0.07907, 0.07919, 0.07934, 0.07954, 0.07975, 0.07985, 0.0801, 0.08039, 0.08069",\
                 "0.07825, 0.07831, 0.07845, 0.07864, 0.07895, 0.07921, 0.07942, 0.07971, 0.07999, 0.08022",\
                 "0.0779, 0.07791, 0.07804, 0.07817, 0.07844, 0.07871, 0.07905, 0.07928, 0.07965, 0.07995",\
                 "0.0778, 0.07785, 0.07789, 0.07799, 0.07817, 0.07841, 0.07874, 0.07911, 0.07943, 0.08003",\
                 "0.07821, 0.07821, 0.07814, 0.07803, 0.07819, 0.07847, 0.0786, 0.0787, 0.07906, 0.07994",\
                 "0.07884, 0.07883, 0.07874, 0.07857, 0.0784, 0.07863, 0.07874, 0.07881, 0.07913, 0.08073",\
                 "0.07985, 0.07984, 0.07962, 0.07934, 0.07912, 0.07879, 0.07896, 0.07907, 0.07955, 0.08471",\
                 "0.0812, 0.08117, 0.08089, 0.08038, 0.07993, 0.07966, 0.07935, 0.07955, 0.08267, 0.1022");
        }
      }

      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.003049, 0.01024, 0.02398, 0.04539, 0.07542, 0.1149, 0.1647, 0.2255, 0.2979");
          values("0.009543, 0.009527, 0.009575, 0.009579, 0.009597, 0.009603, 0.009612, 0.009616, 0.009621, 0.009621",\
                 "0.009267, 0.009313, 0.009416, 0.009469, 0.009519, 0.009554, 0.009576, 0.009589, 0.009599, 0.009604",\
                 "0.008641, 0.008671, 0.008893, 0.009114, 0.009254, 0.009367, 0.009439, 0.009478, 0.009513, 0.009537",\
                 "0.007896, 0.007991, 0.008248, 0.008592, 0.008874, 0.009084, 0.009227, 0.00933, 0.009397, 0.009438",\
                 "0.007353, 0.007437, 0.007689, 0.008058, 0.008419, 0.008726, 0.008942, 0.009102, 0.009217, 0.009302",\
                 "0.007066, 0.00713, 0.007338, 0.007649, 0.008005, 0.008347, 0.008621, 0.008834, 0.008997, 0.009118",\
                 "0.006943, 0.006979, 0.007126, 0.007376, 0.007687, 0.008013, 0.008318, 0.008572, 0.008766, 0.008925",\
                 "0.006928, 0.006992, 0.007091, 0.007282, 0.007525, 0.00779, 0.008072, 0.008331, 0.008555, 0.008736",\
                 "0.007192, 0.007202, 0.007267, 0.007369, 0.007524, 0.007739, 0.007959, 0.00819, 0.008401, 0.008594",\
                 "0.007674, 0.007678, 0.007681, 0.007694, 0.007747, 0.00786, 0.00802, 0.008193, 0.008364, 0.008527");
        }

        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.003049, 0.01024, 0.02398, 0.04539, 0.07542, 0.1149, 0.1647, 0.2255, 0.2979");
          values("0.08746, 0.08747, 0.08746, 0.08745, 0.08752, 0.0877, 0.08774, 0.08781, 0.08796, 0.08824",\
                 "0.08671, 0.08672, 0.08674, 0.08676, 0.08684, 0.08696, 0.08715, 0.08732, 0.08758, 0.08784",\
                 "0.08575, 0.08576, 0.08587, 0.08601, 0.08624, 0.0864, 0.08668, 0.08679, 0.08693, 0.08744",\
                 "0.08493, 0.08497, 0.0851, 0.08531, 0.08563, 0.0859, 0.08614, 0.0865, 0.08663, 0.08696",\
                 "0.08451, 0.08458, 0.08466, 0.08481, 0.08505, 0.08541, 0.08564, 0.08602, 0.08643, 0.08672",\
                 "0.08446, 0.08445, 0.0845, 0.08466, 0.08475, 0.08508, 0.08539, 0.08573, 0.08618, 0.08679",\
                 "0.08479, 0.08474, 0.08466, 0.08467, 0.08487, 0.08504, 0.08525, 0.08539, 0.08583, 0.08657",\
                 "0.08544, 0.08539, 0.0853, 0.08517, 0.08511, 0.08521, 0.08545, 0.08552, 0.08583, 0.08754",\
                 "0.08647, 0.08633, 0.08615, 0.08589, 0.08554, 0.0856, 0.08565, 0.0857, 0.08625, 0.09154",\
                 "0.08775, 0.08757, 0.08741, 0.08694, 0.08656, 0.08615, 0.08582, 0.08636, 0.08921, 0.1095");
        }
      }

      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.003049, 0.01024, 0.02398, 0.04539, 0.07542, 0.1149, 0.1647, 0.2255, 0.2979");
          values("0.2137, 0.2374, 0.3203, 0.4781, 0.7232, 1.067, 1.52, 2.09, 2.786, 3.615",\
                 "0.2384, 0.2624, 0.3462, 0.5049, 0.7508, 1.095, 1.548, 2.118, 2.814, 3.642",\
                 "0.3251, 0.3488, 0.4323, 0.5924, 0.8396, 1.185, 1.637, 2.209, 2.905, 3.732",\
                 "0.4484, 0.4819, 0.5876, 0.7583, 1.005, 1.351, 1.806, 2.377, 3.073, 3.903",\
                 "0.551, 0.5965, 0.7393, 0.9666, 1.259, 1.613, 2.067, 2.637, 3.333, 4.163",\
                 "0.629, 0.6863, 0.8687, 1.157, 1.524, 1.952, 2.433, 3.005, 3.701, 4.531",\
                 "0.6798, 0.7504, 0.9723, 1.323, 1.769, 2.285, 2.859, 3.485, 4.188, 5.017",\
                 "0.6994, 0.7833, 1.046, 1.462, 1.989, 2.598, 3.27, 3.999, 4.781, 5.63",\
                 "0.6847, 0.7832, 1.086, 1.57, 2.179, 2.885, 3.66, 4.497, 5.39, 6.339",\
                 "0.6358, 0.7471, 1.092, 1.644, 2.34, 3.141, 4.023, 4.973, 5.98, 7.047");
        }

        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.003049, 0.01024, 0.02398, 0.04539, 0.07542, 0.1149, 0.1647, 0.2255, 0.2979");
          values("0.4514, 0.4994, 0.6654, 0.9802, 1.469, 2.154, 3.054, 4.188, 5.573, 7.226",\
                 "0.4708, 0.5201, 0.6911, 1.011, 1.502, 2.19, 3.094, 4.232, 5.61, 7.261",\
                 "0.5618, 0.6115, 0.7848, 1.109, 1.607, 2.297, 3.202, 4.339, 5.73, 7.377",\
                 "0.7669, 0.8162, 0.9864, 1.31, 1.809, 2.503, 3.411, 4.551, 5.939, 7.593",\
                 "1.049, 1.112, 1.313, 1.642, 2.138, 2.832, 3.742, 4.882, 6.273, 7.931",\
                 "1.358, 1.439, 1.692, 2.093, 2.613, 3.304, 4.212, 5.355, 6.745, 8.399",\
                 "1.693, 1.793, 2.1, 2.589, 3.208, 3.933, 4.84, 5.98, 7.373, 9.025",\
                 "2.058, 2.175, 2.538, 3.117, 3.849, 4.691, 5.636, 6.775, 8.165, 9.822",\
                 "2.455, 2.588, 3.009, 3.678, 4.524, 5.499, 6.572, 7.751, 9.139, 10.79",\
                 "2.887, 3.037, 3.508, 4.269, 5.234, 6.345, 7.565, 8.878, 10.3, 11.96");
        }

        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.003049, 0.01024, 0.02398, 0.04539, 0.07542, 0.1149, 0.1647, 0.2255, 0.2979");
          values("0.3104, 0.3511, 0.492, 0.7585, 1.173, 1.754, 2.513, 3.473, 4.644, 6.04",\
                 "0.3094, 0.3503, 0.4918, 0.7587, 1.172, 1.755, 2.512, 3.471, 4.645, 6.038",\
                 "0.3069, 0.3441, 0.4859, 0.7589, 1.173, 1.754, 2.512, 3.478, 4.644, 6.04",\
                 "0.4229, 0.4576, 0.5692, 0.7814, 1.171, 1.751, 2.515, 3.472, 4.643, 6.04",\
                 "0.5832, 0.6244, 0.7574, 0.9788, 1.294, 1.782, 2.514, 3.474, 4.644, 6.039",\
                 "0.7604, 0.8126, 0.9758, 1.238, 1.589, 2.027, 2.627, 3.495, 4.644, 6.04",\
                 "0.9556, 1.014, 1.211, 1.525, 1.93, 2.418, 2.995, 3.722, 4.726, 6.053",\
                 "1.158, 1.23, 1.463, 1.832, 2.301, 2.853, 3.49, 4.217, 5.086, 6.236",\
                 "1.37, 1.457, 1.729, 2.153, 2.692, 3.323, 4.028, 4.824, 5.708, 6.734",\
                 "1.588, 1.688, 2.004, 2.495, 3.105, 3.813, 4.608, 5.474, 6.432, 7.488");
        }

        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.003049, 0.01024, 0.02398, 0.04539, 0.07542, 0.1149, 0.1647, 0.2255, 0.2979");
          values("0.5897, 0.6667, 0.9436, 1.467, 2.284, 3.428, 4.934, 6.839, 9.148, 11.92",\
                 "0.5891, 0.6669, 0.9414, 1.467, 2.282, 3.429, 4.935, 6.843, 9.159, 11.92",\
                 "0.5887, 0.6685, 0.9418, 1.469, 2.283, 3.427, 4.936, 6.834, 9.152, 11.92",\
                 "0.6222, 0.6872, 0.9454, 1.469, 2.284, 3.43, 4.935, 6.833, 9.155, 11.92",\
                 "0.8116, 0.8726, 1.066, 1.494, 2.284, 3.429, 4.936, 6.837, 9.151, 11.91",\
                 "1.042, 1.113, 1.342, 1.719, 2.358, 3.432, 4.941, 6.834, 9.159, 11.92",\
                 "1.285, 1.373, 1.648, 2.086, 2.668, 3.559, 4.954, 6.838, 9.156, 11.92",\
                 "1.536, 1.641, 1.97, 2.484, 3.144, 3.945, 5.123, 6.87, 9.162, 11.92",\
                 "1.792, 1.915, 2.298, 2.899, 3.65, 4.532, 5.586, 7.084, 9.21, 11.93",\
                 "2.052, 2.191, 2.64, 3.32, 4.18, 5.17, 6.284, 7.618, 9.47, 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.003049, 0.01024, 0.02398, 0.04539, 0.07542, 0.1149, 0.1647, 0.2255, 0.2979");
          values("0.2842, 0.3093, 0.3959, 0.5578, 0.8066, 1.153, 1.607, 2.178, 2.874, 3.703",\
                 "0.3061, 0.3314, 0.4181, 0.5802, 0.829, 1.175, 1.629, 2.2, 2.896, 3.726",\
                 "0.3896, 0.4146, 0.5017, 0.6643, 0.9136, 1.26, 1.714, 2.285, 2.982, 3.811",\
                 "0.5422, 0.5718, 0.6673, 0.8305, 1.08, 1.426, 1.881, 2.452, 3.148, 3.978",\
                 "0.6867, 0.7261, 0.8531, 1.062, 1.339, 1.688, 2.143, 2.714, 3.41, 4.239",\
                 "0.8098, 0.8594, 1.02, 1.283, 1.628, 2.04, 2.512, 3.083, 3.778, 4.607",\
                 "0.9063, 0.9667, 1.162, 1.482, 1.9, 2.394, 2.951, 3.567, 4.266, 5.095",\
                 "0.9742, 1.046, 1.276, 1.655, 2.148, 2.73, 3.381, 4.095, 4.866, 5.71",\
                 "1.01, 1.093, 1.359, 1.797, 2.369, 3.041, 3.791, 4.609, 5.488, 6.425",\
                 "1.012, 1.106, 1.409, 1.907, 2.558, 3.323, 4.176, 5.103, 6.094, 7.148");
        }

        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.003049, 0.01024, 0.02398, 0.04539, 0.07542, 0.1149, 0.1647, 0.2255, 0.2979");
          values("0.5275, 0.5752, 0.7405, 1.055, 1.543, 2.228, 3.128, 4.264, 5.646, 7.298",\
                 "0.5586, 0.6072, 0.7768, 1.094, 1.586, 2.272, 3.173, 4.309, 5.693, 7.349",\
                 "0.6606, 0.7103, 0.8819, 1.204, 1.701, 2.39, 3.294, 4.431, 5.822, 7.468",\
                 "0.8428, 0.8923, 1.063, 1.385, 1.884, 2.577, 3.486, 4.622, 6.014, 7.663",\
                 "1.083, 1.141, 1.331, 1.661, 2.158, 2.853, 3.76, 4.902, 6.291, 7.944",\
                 "1.361, 1.427, 1.647, 2.022, 2.543, 3.238, 4.148, 5.289, 6.68, 8.336",\
                 "1.671, 1.75, 2.005, 2.431, 3.015, 3.747, 4.659, 5.802, 7.194, 8.85",\
                 "2.01, 2.103, 2.4, 2.885, 3.537, 4.344, 5.303, 6.45, 7.842, 9.499",\
                 "2.376, 2.485, 2.828, 3.382, 4.109, 4.995, 6.038, 7.237, 8.636, 10.3",\
                 "2.769, 2.894, 3.291, 3.917, 4.728, 5.701, 6.833, 8.123, 9.577, 11.24");
        }

        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.003049, 0.01024, 0.02398, 0.04539, 0.07542, 0.1149, 0.1647, 0.2255, 0.2979");
          values("0.3749, 0.4148, 0.5534, 0.8195, 1.231, 1.808, 2.57, 3.528, 4.698, 6.092",\
                 "0.3745, 0.4138, 0.5532, 0.8177, 1.231, 1.809, 2.569, 3.528, 4.697, 6.091",\
                 "0.3631, 0.4058, 0.5511, 0.8176, 1.229, 1.808, 2.568, 3.528, 4.695, 6.091",\
                 "0.4411, 0.4772, 0.5908, 0.8232, 1.23, 1.808, 2.568, 3.528, 4.698, 6.093",\
                 "0.5878, 0.6306, 0.7638, 0.9892, 1.315, 1.826, 2.568, 3.528, 4.699, 6.093",\
                 "0.7542, 0.8062, 0.9706, 1.237, 1.592, 2.038, 2.662, 3.542, 4.698, 6.093",\
                 "0.935, 0.9986, 1.197, 1.512, 1.923, 2.42, 3, 3.747, 4.769, 6.103",\
                 "1.127, 1.203, 1.437, 1.809, 2.284, 2.845, 3.489, 4.219, 5.104, 6.272",\
                 "1.326, 1.417, 1.687, 2.124, 2.667, 3.303, 4.019, 4.821, 5.71, 6.744",\
                 "1.534, 1.638, 1.954, 2.447, 3.071, 3.784, 4.586, 5.466, 6.426, 7.484");
        }

        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.003049, 0.01024, 0.02398, 0.04539, 0.07542, 0.1149, 0.1647, 0.2255, 0.2979");
          values("0.5888, 0.67, 0.9425, 1.466, 2.284, 3.427, 4.934, 6.839, 9.153, 11.91",\
                 "0.59, 0.6667, 0.9419, 1.466, 2.284, 3.427, 4.936, 6.84, 9.142, 11.91",\
                 "0.589, 0.6678, 0.9438, 1.466, 2.284, 3.428, 4.934, 6.831, 9.151, 11.91",\
                 "0.6082, 0.6802, 0.9446, 1.469, 2.284, 3.43, 4.937, 6.828, 9.155, 11.91",\
                 "0.721, 0.791, 1.025, 1.493, 2.286, 3.428, 4.935, 6.838, 9.153, 11.92",\
                 "0.8544, 0.9316, 1.189, 1.645, 2.351, 3.439, 4.941, 6.838, 9.156, 11.92",\
                 "1.019, 1.101, 1.375, 1.865, 2.568, 3.55, 4.96, 6.845, 9.149, 11.91",\
                 "1.22, 1.308, 1.597, 2.109, 2.852, 3.828, 5.119, 6.883, 9.167, 11.93",\
                 "1.448, 1.543, 1.852, 2.388, 3.165, 4.189, 5.454, 7.084, 9.228, 11.93",\
                 "1.698, 1.807, 2.136, 2.702, 3.512, 4.58, 5.896, 7.482, 9.48, 12.03");
        }
      }

      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.003049, 0.01024, 0.02398, 0.04539, 0.07542, 0.1149, 0.1647, 0.2255, 0.2979");
          values("0.3969, 0.422, 0.5085, 0.6704, 0.9191, 1.265, 1.719, 2.29, 2.986, 3.816",\
                 "0.4221, 0.4474, 0.534, 0.6963, 0.9452, 1.292, 1.746, 2.317, 3.013, 3.842",\
                 "0.5088, 0.5341, 0.6213, 0.7842, 1.034, 1.38, 1.835, 2.406, 3.102, 3.932",\
                 "0.6475, 0.6751, 0.7674, 0.932, 1.182, 1.53, 1.985, 2.556, 3.252, 4.082",\
                 "0.8006, 0.8342, 0.9447, 1.135, 1.405, 1.756, 2.212, 2.784, 3.482, 4.311",\
                 "0.945, 0.9869, 1.123, 1.352, 1.664, 2.055, 2.527, 3.102, 3.8, 4.631",\
                 "1.065, 1.117, 1.284, 1.562, 1.929, 2.376, 2.902, 3.511, 4.217, 5.049",\
                 "1.155, 1.217, 1.417, 1.749, 2.183, 2.701, 3.293, 3.965, 4.721, 5.573",\
                 "1.209, 1.283, 1.518, 1.907, 2.414, 3.013, 3.687, 4.434, 5.26, 6.174",\
                 "1.225, 1.31, 1.583, 2.031, 2.616, 3.302, 4.067, 4.904, 5.814, 6.803");
        }

        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.003049, 0.01024, 0.02398, 0.04539, 0.07542, 0.1149, 0.1647, 0.2255, 0.2979");
          values("0.4264, 0.4563, 0.5607, 0.7565, 1.058, 1.478, 2.028, 2.72, 3.564, 4.569",\
                 "0.4597, 0.49, 0.5948, 0.7912, 1.093, 1.513, 2.064, 2.756, 3.6, 4.605",\
                 "0.5771, 0.6078, 0.714, 0.9126, 1.216, 1.638, 2.189, 2.882, 3.726, 4.732",\
                 "0.8142, 0.8452, 0.9514, 1.15, 1.455, 1.878, 2.431, 3.125, 3.97, 4.976",\
                 "1.157, 1.196, 1.321, 1.528, 1.834, 2.256, 2.81, 3.504, 4.35, 5.357",\
                 "1.539, 1.59, 1.753, 2.02, 2.363, 2.792, 3.345, 4.041, 4.887, 5.894",\
                 "1.953, 2.017, 2.221, 2.555, 2.985, 3.483, 4.053, 4.747, 5.594, 6.601",\
                 "2.401, 2.478, 2.723, 3.128, 3.65, 4.254, 4.916, 5.64, 6.488, 7.494",\
                 "2.878, 2.969, 3.26, 3.735, 4.353, 5.069, 5.854, 6.686, 7.574, 8.587",\
                 "3.391, 3.496, 3.829, 4.38, 5.096, 5.928, 6.838, 7.807, 8.818, 9.88");
        }

        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.003049, 0.01024, 0.02398, 0.04539, 0.07542, 0.1149, 0.1647, 0.2255, 0.2979");
          values("0.3733, 0.4133, 0.5535, 0.8171, 1.231, 1.808, 2.57, 3.528, 4.698, 6.092",\
                 "0.3734, 0.4134, 0.5537, 0.8182, 1.23, 1.809, 2.57, 3.528, 4.696, 6.092",\
                 "0.3725, 0.4129, 0.5518, 0.8192, 1.229, 1.808, 2.57, 3.528, 4.698, 6.093",\
                 "0.4146, 0.4508, 0.5756, 0.8232, 1.23, 1.807, 2.569, 3.528, 4.698, 6.093",\
                 "0.5128, 0.5518, 0.6836, 0.923, 1.285, 1.822, 2.569, 3.527, 4.697, 6.091",\
                 "0.6488, 0.6936, 0.839, 1.091, 1.459, 1.955, 2.632, 3.543, 4.699, 6.093",\
                 "0.8142, 0.8656, 1.03, 1.309, 1.694, 2.201, 2.849, 3.676, 4.754, 6.102",\
                 "0.9934, 1.056, 1.249, 1.564, 1.985, 2.51, 3.169, 3.979, 4.97, 6.223",\
                 "1.192, 1.259, 1.485, 1.846, 2.313, 2.881, 3.557, 4.378, 5.36, 6.532",\
                 "1.407, 1.486, 1.737, 2.143, 2.673, 3.29, 4.01, 4.85, 5.844, 7.008");
        }

        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.003049, 0.01024, 0.02398, 0.04539, 0.07542, 0.1149, 0.1647, 0.2255, 0.2979");
          values("0.5282, 0.5766, 0.7513, 1.082, 1.595, 2.318, 3.267, 4.463, 5.919, 7.649",\
                 "0.5263, 0.5769, 0.7513, 1.082, 1.596, 2.319, 3.268, 4.463, 5.918, 7.65",\
                 "0.5256, 0.5753, 0.7488, 1.081, 1.596, 2.318, 3.268, 4.463, 5.918, 7.65",\
                 "0.5396, 0.5858, 0.7522, 1.081, 1.597, 2.318, 3.267, 4.463, 5.92, 7.648",\
                 "0.71, 0.7462, 0.8688, 1.128, 1.603, 2.318, 3.268, 4.463, 5.92, 7.65",\
                 "0.9432, 0.9902, 1.143, 1.384, 1.749, 2.356, 3.272, 4.464, 5.92, 7.649",\
                 "1.2, 1.258, 1.451, 1.747, 2.129, 2.616, 3.371, 4.482, 5.92, 7.651",\
                 "1.469, 1.542, 1.776, 2.143, 2.595, 3.116, 3.744, 4.66, 5.971, 7.657",\
                 "1.758, 1.844, 2.123, 2.557, 3.092, 3.701, 4.358, 5.146, 6.24, 7.748",\
                 "2.052, 2.16, 2.484, 2.992, 3.622, 4.318, 5.078, 5.884, 6.834, 8.12");
        }
      }

      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.003049, 0.01024, 0.02398, 0.04539, 0.07542, 0.1149, 0.1647, 0.2255, 0.2979");
          values("0.3246, 0.3482, 0.4313, 0.5891, 0.8337, 1.178, 1.63, 2.2, 2.897, 3.727",\
                 "0.3494, 0.3732, 0.4565, 0.6147, 0.8598, 1.204, 1.657, 2.226, 2.921, 3.754",\
                 "0.4345, 0.4588, 0.5429, 0.7023, 0.948, 1.292, 1.746, 2.316, 3.01, 3.842",\
                 "0.5573, 0.5861, 0.6817, 0.8483, 1.096, 1.441, 1.894, 2.465, 3.162, 3.992",\
                 "0.6822, 0.7191, 0.8377, 1.037, 1.313, 1.667, 2.121, 2.693, 3.39, 4.219",\
                 "0.789, 0.8365, 0.9866, 1.232, 1.557, 1.956, 2.435, 3.01, 3.708, 4.538",\
                 "0.8669, 0.9256, 1.113, 1.414, 1.801, 2.264, 2.799, 3.415, 4.124, 4.956",\
                 "0.9111, 0.9824, 1.208, 1.57, 2.032, 2.57, 3.179, 3.859, 4.623, 5.478",\
                 "0.9154, 1, 1.268, 1.694, 2.236, 2.861, 3.557, 4.316, 5.151, 6.072",\
                 "0.8787, 0.9772, 1.29, 1.785, 2.409, 3.126, 3.918, 4.771, 5.694, 6.693");
        }

        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.003049, 0.01024, 0.02398, 0.04539, 0.07542, 0.1149, 0.1647, 0.2255, 0.2979");
          values("0.4247, 0.4545, 0.559, 0.7548, 1.056, 1.476, 2.027, 2.719, 3.562, 4.567",\
                 "0.4579, 0.4881, 0.593, 0.7897, 1.091, 1.511, 2.062, 2.754, 3.598, 4.603",\
                 "0.5753, 0.6058, 0.7122, 0.9108, 1.214, 1.636, 2.187, 2.88, 3.725, 4.73",\
                 "0.8126, 0.8436, 0.9495, 1.149, 1.454, 1.877, 2.429, 3.123, 3.968, 4.974",\
                 "1.155, 1.194, 1.319, 1.527, 1.832, 2.255, 2.809, 3.503, 4.348, 5.356",\
                 "1.536, 1.587, 1.75, 2.017, 2.361, 2.791, 3.344, 4.038, 4.885, 5.892",\
                 "1.95, 2.014, 2.218, 2.553, 2.983, 3.481, 4.052, 4.746, 5.592, 6.599",\
                 "2.396, 2.472, 2.72, 3.125, 3.647, 4.253, 4.914, 5.637, 6.486, 7.492",\
                 "2.874, 2.963, 3.253, 3.733, 4.351, 5.067, 5.852, 6.685, 7.573, 8.585",\
                 "3.385, 3.49, 3.824, 4.376, 5.092, 5.924, 6.837, 7.804, 8.817, 9.877");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003049, 0.01024, 0.02398, 0.04539, 0.07542, 0.1149, 0.1647, 0.2255, 0.2979");
          values("0.3132, 0.3535, 0.4931, 0.7599, 1.172, 1.753, 2.514, 3.473, 4.643, 6.04",\
                 "0.3137, 0.3525, 0.4928, 0.7579, 1.172, 1.753, 2.514, 3.476, 4.643, 6.042",\
                 "0.3157, 0.3548, 0.4931, 0.7599, 1.173, 1.75, 2.514, 3.473, 4.644, 6.037",\
                 "0.3796, 0.416, 0.5392, 0.7774, 1.175, 1.754, 2.512, 3.471, 4.643, 6.043",\
                 "0.4926, 0.531, 0.6618, 0.896, 1.251, 1.776, 2.515, 3.473, 4.642, 6.045",\
                 "0.6428, 0.6872, 0.8328, 1.079, 1.439, 1.93, 2.593, 3.493, 4.647, 6.042",\
                 "0.8156, 0.8688, 1.037, 1.311, 1.691, 2.187, 2.83, 3.645, 4.711, 6.054",\
                 "1.009, 1.07, 1.266, 1.579, 1.994, 2.514, 3.162, 3.962, 4.945, 6.188",\
                 "1.224, 1.293, 1.513, 1.87, 2.334, 2.894, 3.56, 4.373, 5.346, 6.507",\
                 "1.451, 1.531, 1.78, 2.183, 2.701, 3.313, 4.032, 4.856, 5.838, 7");
        }

        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.003049, 0.01024, 0.02398, 0.04539, 0.07542, 0.1149, 0.1647, 0.2255, 0.2979");
          values("0.4955, 0.5444, 0.7176, 1.043, 1.553, 2.266, 3.205, 4.387, 5.83, 7.553",\
                 "0.4944, 0.5442, 0.7176, 1.043, 1.553, 2.267, 3.204, 4.388, 5.829, 7.551",\
                 "0.4944, 0.5446, 0.7156, 1.044, 1.552, 2.267, 3.206, 4.389, 5.831, 7.553",\
                 "0.5088, 0.553, 0.7192, 1.044, 1.552, 2.266, 3.204, 4.387, 5.831, 7.551",\
                 "0.6712, 0.7112, 0.8354, 1.091, 1.559, 2.268, 3.206, 4.387, 5.831, 7.552",\
                 "0.8906, 0.9416, 1.1, 1.346, 1.706, 2.305, 3.21, 4.387, 5.833, 7.553",\
                 "1.128, 1.191, 1.389, 1.694, 2.078, 2.564, 3.308, 4.405, 5.833, 7.549",\
                 "1.379, 1.458, 1.697, 2.069, 2.53, 3.057, 3.681, 4.587, 5.883, 7.558",\
                 "1.64, 1.733, 2.019, 2.464, 3.016, 3.624, 4.292, 5.068, 6.154, 7.652",\
                 "1.902, 2.014, 2.35, 2.874, 3.512, 4.226, 4.99, 5.802, 6.748, 8.022");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003049, 0.01024, 0.02398, 0.04539, 0.07542, 0.1149, 0.1647, 0.2255, 0.2979");
          values("0.289, 0.3091, 0.3792, 0.5126, 0.7201, 1.011, 1.394, 1.876, 2.464, 3.165",\
                 "0.3143, 0.3342, 0.405, 0.5385, 0.7463, 1.038, 1.42, 1.903, 2.491, 3.192",\
                 "0.4034, 0.424, 0.4954, 0.6299, 0.8389, 1.13, 1.513, 1.995, 2.584, 3.287",\
                 "0.5375, 0.5637, 0.6496, 0.7954, 1.006, 1.298, 1.682, 2.165, 2.753, 3.455",\
                 "0.6665, 0.7018, 0.8156, 1.002, 1.251, 1.558, 1.944, 2.428, 3.016, 3.718",\
                 "0.7741, 0.8203, 0.9666, 1.205, 1.513, 1.879, 2.302, 2.793, 3.384, 4.088",\
                 "0.8521, 0.9096, 1.093, 1.387, 1.765, 2.206, 2.701, 3.252, 3.864, 4.569",\
                 "0.8961, 0.9661, 1.187, 1.542, 1.995, 2.519, 3.102, 3.734, 4.422, 5.169",\
                 "0.9007, 0.984, 1.248, 1.666, 2.2, 2.812, 3.487, 4.215, 4.993, 5.826",\
                 "0.8648, 0.9615, 1.269, 1.756, 2.37, 3.077, 3.851, 4.679, 5.563, 6.494");
        }

        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.003049, 0.01024, 0.02398, 0.04539, 0.07542, 0.1149, 0.1647, 0.2255, 0.2979");
          values("0.4794, 0.509, 0.6128, 0.8076, 1.108, 1.528, 2.078, 2.77, 3.613, 4.618",\
                 "0.5141, 0.5441, 0.6478, 0.8437, 1.145, 1.565, 2.115, 2.807, 3.651, 4.656",\
                 "0.6315, 0.6618, 0.7676, 0.9652, 1.268, 1.69, 2.241, 2.934, 3.778, 4.784",\
                 "0.8684, 0.8986, 1.004, 1.202, 1.507, 1.93, 2.483, 3.177, 4.022, 5.028",\
                 "1.224, 1.26, 1.377, 1.581, 1.884, 2.308, 2.861, 3.556, 4.402, 5.408",\
                 "1.626, 1.673, 1.827, 2.082, 2.415, 2.843, 3.396, 4.091, 4.937, 5.943",\
                 "2.061, 2.121, 2.313, 2.633, 3.05, 3.537, 4.103, 4.798, 5.644, 6.65",\
                 "2.53, 2.602, 2.835, 3.222, 3.728, 4.319, 4.97, 5.69, 6.537, 7.543",\
                 "3.031, 3.116, 3.39, 3.848, 4.446, 5.147, 5.918, 6.741, 7.625, 8.637",\
                 "3.567, 3.664, 3.981, 4.509, 5.203, 6.016, 6.914, 7.87, 8.874, 9.93");
        }

        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.003049, 0.01024, 0.02398, 0.04539, 0.07542, 0.1149, 0.1647, 0.2255, 0.2979");
          values("0.2871, 0.3208, 0.4388, 0.6624, 1.01, 1.495, 2.132, 2.938, 3.917, 5.086",\
                 "0.2871, 0.3203, 0.4387, 0.6624, 1.01, 1.496, 2.133, 2.937, 3.917, 5.084",\
                 "0.2902, 0.3225, 0.4386, 0.6622, 1.01, 1.495, 2.134, 2.937, 3.917, 5.086",\
                 "0.3766, 0.4042, 0.5028, 0.6906, 1.013, 1.495, 2.133, 2.936, 3.918, 5.088",\
                 "0.516, 0.5484, 0.6592, 0.8494, 1.126, 1.537, 2.139, 2.938, 3.918, 5.084",\
                 "0.685, 0.7264, 0.8534, 1.07, 1.37, 1.754, 2.265, 2.977, 3.922, 5.085",\
                 "0.8774, 0.9218, 1.075, 1.329, 1.663, 2.077, 2.583, 3.209, 4.039, 5.119",\
                 "1.085, 1.139, 1.316, 1.607, 1.99, 2.448, 2.99, 3.628, 4.382, 5.337",\
                 "1.314, 1.377, 1.577, 1.909, 2.344, 2.863, 3.45, 4.127, 4.902, 5.797",\
                 "1.558, 1.63, 1.859, 2.23, 2.721, 3.298, 3.952, 4.682, 5.502, 6.422");
        }

        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.003049, 0.01024, 0.02398, 0.04539, 0.07542, 0.1149, 0.1647, 0.2255, 0.2979");
          values("0.531, 0.5812, 0.7546, 1.082, 1.592, 2.307, 3.247, 4.431, 5.869, 7.59",\
                 "0.529, 0.5796, 0.7521, 1.082, 1.592, 2.306, 3.247, 4.429, 5.875, 7.589",\
                 "0.5297, 0.5802, 0.754, 1.081, 1.592, 2.307, 3.245, 4.429, 5.872, 7.595",\
                 "0.5376, 0.5838, 0.7546, 1.081, 1.591, 2.307, 3.245, 4.431, 5.874, 7.589",\
                 "0.6826, 0.7188, 0.8482, 1.117, 1.597, 2.307, 3.248, 4.431, 5.874, 7.589",\
                 "0.9046, 0.9528, 1.109, 1.351, 1.722, 2.338, 3.249, 4.431, 5.875, 7.592",\
                 "1.148, 1.209, 1.398, 1.703, 2.083, 2.58, 3.339, 4.447, 5.872, 7.593",\
                 "1.404, 1.476, 1.71, 2.083, 2.538, 3.062, 3.694, 4.611, 5.918, 7.601",\
                 "1.671, 1.759, 2.038, 2.476, 3.017, 3.63, 4.294, 5.082, 6.176, 7.692",\
                 "1.944, 2.046, 2.374, 2.89, 3.522, 4.228, 4.994, 5.804, 6.754, 8.042");
        }
      }

      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.003049, 0.01024, 0.02398, 0.04539, 0.07542, 0.1149, 0.1647, 0.2255, 0.2979");
          values("0.3969, 0.422, 0.5085, 0.6704, 0.9191, 1.265, 1.719, 2.29, 2.986, 3.816",\
                 "0.4221, 0.4474, 0.534, 0.6963, 0.9452, 1.292, 1.746, 2.317, 3.013, 3.842",\
                 "0.5088, 0.5341, 0.6213, 0.7842, 1.034, 1.38, 1.835, 2.406, 3.102, 3.932",\
                 "0.6475, 0.6751, 0.7674, 0.932, 1.182, 1.53, 1.985, 2.556, 3.252, 4.082",\
                 "0.8006, 0.8342, 0.9447, 1.135, 1.405, 1.756, 2.212, 2.784, 3.482, 4.311",\
                 "0.945, 0.9869, 1.123, 1.352, 1.664, 2.055, 2.527, 3.102, 3.8, 4.631",\
                 "1.065, 1.117, 1.284, 1.562, 1.929, 2.376, 2.902, 3.511, 4.217, 5.049",\
                 "1.155, 1.217, 1.417, 1.749, 2.183, 2.701, 3.293, 3.965, 4.721, 5.573",\
                 "1.209, 1.283, 1.518, 1.907, 2.414, 3.013, 3.687, 4.434, 5.26, 6.174",\
                 "1.225, 1.31, 1.583, 2.031, 2.616, 3.302, 4.067, 4.904, 5.814, 6.803");
        }

        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.003049, 0.01024, 0.02398, 0.04539, 0.07542, 0.1149, 0.1647, 0.2255, 0.2979");
          values("0.4794, 0.509, 0.6128, 0.8076, 1.108, 1.528, 2.078, 2.77, 3.613, 4.618",\
                 "0.5141, 0.5441, 0.6478, 0.8437, 1.145, 1.565, 2.115, 2.807, 3.651, 4.656",\
                 "0.6315, 0.6618, 0.7676, 0.9652, 1.268, 1.69, 2.241, 2.934, 3.778, 4.784",\
                 "0.8684, 0.8986, 1.004, 1.202, 1.507, 1.93, 2.483, 3.177, 4.022, 5.028",\
                 "1.224, 1.26, 1.377, 1.581, 1.884, 2.308, 2.861, 3.556, 4.402, 5.408",\
                 "1.626, 1.673, 1.827, 2.082, 2.415, 2.843, 3.396, 4.091, 4.937, 5.943",\
                 "2.061, 2.121, 2.313, 2.633, 3.05, 3.537, 4.103, 4.798, 5.644, 6.65",\
                 "2.53, 2.602, 2.835, 3.222, 3.728, 4.319, 4.97, 5.69, 6.537, 7.543",\
                 "3.031, 3.116, 3.39, 3.848, 4.446, 5.147, 5.918, 6.741, 7.625, 8.637",\
                 "3.567, 3.664, 3.981, 4.509, 5.203, 6.016, 6.914, 7.87, 8.874, 9.93");
        }

        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.003049, 0.01024, 0.02398, 0.04539, 0.07542, 0.1149, 0.1647, 0.2255, 0.2979");
          values("0.3733, 0.4133, 0.5535, 0.8171, 1.231, 1.808, 2.57, 3.528, 4.698, 6.092",\
                 "0.3734, 0.4134, 0.5537, 0.8182, 1.23, 1.809, 2.57, 3.528, 4.696, 6.092",\
                 "0.3725, 0.4129, 0.5518, 0.8192, 1.229, 1.808, 2.57, 3.528, 4.698, 6.093",\
                 "0.4146, 0.4508, 0.5756, 0.8232, 1.23, 1.807, 2.569, 3.528, 4.698, 6.093",\
                 "0.5128, 0.5518, 0.6836, 0.923, 1.285, 1.822, 2.569, 3.527, 4.697, 6.091",\
                 "0.6488, 0.6936, 0.839, 1.091, 1.459, 1.955, 2.632, 3.543, 4.699, 6.093",\
                 "0.8142, 0.8656, 1.03, 1.309, 1.694, 2.201, 2.849, 3.676, 4.754, 6.102",\
                 "0.9934, 1.056, 1.249, 1.564, 1.985, 2.51, 3.169, 3.979, 4.97, 6.223",\
                 "1.192, 1.259, 1.485, 1.846, 2.313, 2.881, 3.557, 4.378, 5.36, 6.532",\
                 "1.407, 1.486, 1.737, 2.143, 2.673, 3.29, 4.01, 4.85, 5.844, 7.008");
        }

        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.003049, 0.01024, 0.02398, 0.04539, 0.07542, 0.1149, 0.1647, 0.2255, 0.2979");
          values("0.5282, 0.5766, 0.7513, 1.082, 1.595, 2.318, 3.267, 4.463, 5.919, 7.649",\
                 "0.5263, 0.5769, 0.7513, 1.082, 1.596, 2.319, 3.268, 4.463, 5.918, 7.65",\
                 "0.5256, 0.5753, 0.7488, 1.081, 1.596, 2.318, 3.268, 4.463, 5.918, 7.65",\
                 "0.5396, 0.5858, 0.7522, 1.081, 1.597, 2.318, 3.267, 4.463, 5.92, 7.648",\
                 "0.71, 0.7462, 0.8688, 1.128, 1.603, 2.318, 3.268, 4.463, 5.92, 7.65",\
                 "0.9432, 0.9902, 1.143, 1.384, 1.749, 2.356, 3.272, 4.464, 5.92, 7.649",\
                 "1.2, 1.258, 1.451, 1.747, 2.129, 2.616, 3.371, 4.482, 5.92, 7.651",\
                 "1.469, 1.542, 1.776, 2.143, 2.595, 3.116, 3.744, 4.66, 5.971, 7.657",\
                 "1.758, 1.844, 2.123, 2.557, 3.092, 3.701, 4.358, 5.146, 6.24, 7.748",\
                 "2.052, 2.16, 2.484, 2.992, 3.622, 4.318, 5.078, 5.884, 6.834, 8.12");
        }
      }

      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.003049, 0.01024, 0.02398, 0.04539, 0.07542, 0.1149, 0.1647, 0.2255, 0.2979");
          values("0.4174, 0.4425, 0.5291, 0.6909, 0.9396, 1.286, 1.74, 2.311, 3.007, 3.836",\
                 "0.4464, 0.4716, 0.5584, 0.7206, 0.9695, 1.316, 1.77, 2.341, 3.037, 3.866",\
                 "0.5243, 0.5496, 0.6369, 0.7996, 1.049, 1.396, 1.85, 2.422, 3.118, 3.947",\
                 "0.6423, 0.6694, 0.7603, 0.9245, 1.174, 1.522, 1.977, 2.548, 3.245, 4.074",\
                 "0.768, 0.799, 0.902, 1.085, 1.35, 1.702, 2.157, 2.729, 3.426, 4.256",\
                 "0.8914, 0.9273, 1.046, 1.253, 1.548, 1.93, 2.402, 2.977, 3.674, 4.505",\
                 "0.9988, 1.042, 1.183, 1.422, 1.752, 2.172, 2.683, 3.29, 3.998, 4.829",\
                 "1.079, 1.131, 1.299, 1.579, 1.954, 2.42, 2.976, 3.628, 4.378, 5.233",\
                 "1.124, 1.186, 1.384, 1.712, 2.144, 2.665, 3.274, 3.977, 4.777, 5.682",\
                 "1.13, 1.202, 1.434, 1.814, 2.31, 2.899, 3.571, 4.332, 5.188, 6.146");
        }

        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.003049, 0.01024, 0.02398, 0.04539, 0.07542, 0.1149, 0.1647, 0.2255, 0.2979");
          values("0.4837, 0.5148, 0.6225, 0.823, 1.129, 1.553, 2.106, 2.8, 3.646, 4.652",\
                 "0.5141, 0.5456, 0.6533, 0.854, 1.16, 1.583, 2.137, 2.831, 3.677, 4.683",\
                 "0.6353, 0.6667, 0.7753, 0.9768, 1.284, 1.708, 2.261, 2.956, 3.802, 4.809",\
                 "0.8764, 0.9079, 1.016, 1.218, 1.525, 1.951, 2.505, 3.2, 4.046, 5.053",\
                 "1.243, 1.279, 1.396, 1.6, 1.907, 2.332, 2.887, 3.583, 4.429, 5.437",\
                 "1.659, 1.707, 1.859, 2.111, 2.442, 2.87, 3.424, 4.12, 4.967, 5.975",\
                 "2.111, 2.17, 2.36, 2.675, 3.087, 3.569, 4.135, 4.83, 5.675, 6.684",\
                 "2.597, 2.667, 2.897, 3.278, 3.777, 4.36, 5.006, 5.724, 6.571, 7.579",\
                 "3.118, 3.2, 3.468, 3.918, 4.509, 5.199, 5.964, 6.78, 7.661, 8.673",\
                 "3.671, 3.766, 4.076, 4.595, 5.278, 6.081, 6.969, 7.918, 8.915, 9.968");
        }

        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.003049, 0.01024, 0.02398, 0.04539, 0.07542, 0.1149, 0.1647, 0.2255, 0.2979");
          values("0.3725, 0.4133, 0.554, 0.8172, 1.231, 1.809, 2.568, 3.528, 4.698, 6.093",\
                 "0.3733, 0.4143, 0.5541, 0.8182, 1.231, 1.809, 2.57, 3.528, 4.698, 6.092",\
                 "0.3728, 0.4132, 0.5527, 0.8171, 1.229, 1.809, 2.57, 3.526, 4.699, 6.092",\
                 "0.4026, 0.4392, 0.5696, 0.8216, 1.23, 1.808, 2.57, 3.528, 4.695, 6.092",\
                 "0.4664, 0.5084, 0.646, 0.899, 1.276, 1.824, 2.571, 3.526, 4.698, 6.093",\
                 "0.5586, 0.6014, 0.7464, 1.011, 1.407, 1.935, 2.631, 3.546, 4.698, 6.093",\
                 "0.6834, 0.731, 0.8842, 1.159, 1.563, 2.112, 2.81, 3.671, 4.762, 6.109",\
                 "0.8348, 0.8864, 1.058, 1.348, 1.76, 2.319, 3.034, 3.911, 4.959, 6.235",\
                 "1.01, 1.072, 1.259, 1.577, 2.007, 2.574, 3.296, 4.193, 5.259, 6.505",\
                 "1.207, 1.275, 1.487, 1.835, 2.295, 2.878, 3.611, 4.512, 5.596, 6.87");
        }

        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.003049, 0.01024, 0.02398, 0.04539, 0.07542, 0.1149, 0.1647, 0.2255, 0.2979");
          values("0.5978, 0.649, 0.8226, 1.156, 1.669, 2.392, 3.342, 4.537, 5.994, 7.725",\
                 "0.5961, 0.6467, 0.8221, 1.155, 1.669, 2.392, 3.341, 4.537, 5.993, 7.724",\
                 "0.5965, 0.6466, 0.8243, 1.155, 1.67, 2.392, 3.342, 4.537, 5.994, 7.724",\
                 "0.598, 0.647, 0.8212, 1.154, 1.669, 2.392, 3.342, 4.537, 5.993, 7.725",\
                 "0.726, 0.7636, 0.8992, 1.18, 1.672, 2.392, 3.342, 4.538, 5.993, 7.724",\
                 "0.9624, 1.008, 1.158, 1.397, 1.785, 2.418, 3.343, 4.537, 5.994, 7.724",\
                 "1.217, 1.276, 1.461, 1.759, 2.133, 2.644, 3.423, 4.551, 5.994, 7.724",\
                 "1.49, 1.565, 1.789, 2.145, 2.599, 3.115, 3.763, 4.707, 6.035, 7.728",\
                 "1.78, 1.864, 2.135, 2.56, 3.095, 3.7, 4.364, 5.162, 6.282, 7.816",\
                 "2.08, 2.182, 2.494, 2.994, 3.624, 4.316, 5.078, 5.884, 6.854, 8.16");
        }
      }

      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.003049, 0.01024, 0.02398, 0.04539, 0.07542, 0.1149, 0.1647, 0.2255, 0.2979");
          values("0.3452, 0.369, 0.4518, 0.6095, 0.8543, 1.198, 1.651, 2.221, 2.918, 3.746",\
                 "0.3737, 0.3976, 0.4809, 0.6387, 0.8841, 1.228, 1.681, 2.251, 2.948, 3.774",\
                 "0.45, 0.4743, 0.5583, 0.7177, 0.9635, 1.308, 1.76, 2.33, 3.027, 3.858",\
                 "0.5574, 0.5846, 0.6766, 0.841, 1.089, 1.434, 1.886, 2.457, 3.155, 3.982",\
                 "0.6658, 0.6978, 0.8042, 0.9911, 1.26, 1.613, 2.067, 2.638, 3.335, 4.165",\
                 "0.7645, 0.8035, 0.9301, 1.145, 1.446, 1.834, 2.31, 2.884, 3.582, 4.412",\
                 "0.839, 0.8872, 1.042, 1.296, 1.638, 2.065, 2.583, 3.194, 3.904, 4.735",\
                 "0.881, 0.94, 1.126, 1.43, 1.824, 2.302, 2.867, 3.525, 4.28, 5.137",\
                 "0.883, 0.9536, 1.178, 1.535, 1.993, 2.534, 3.155, 3.865, 4.671, 5.58",\
                 "0.8425, 0.9253, 1.188, 1.607, 2.136, 2.75, 3.44, 4.211, 5.075, 6.039");
        }

        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.003049, 0.01024, 0.02398, 0.04539, 0.07542, 0.1149, 0.1647, 0.2255, 0.2979");
          values("0.4818, 0.513, 0.6207, 0.8213, 1.127, 1.551, 2.104, 2.798, 3.644, 4.651",\
                 "0.5123, 0.5437, 0.6515, 0.8522, 1.158, 1.582, 2.135, 2.829, 3.675, 4.682",\
                 "0.6332, 0.6652, 0.7734, 0.9754, 1.282, 1.706, 2.26, 2.955, 3.8, 4.807",\
                 "0.8747, 0.9061, 1.015, 1.217, 1.524, 1.949, 2.504, 3.198, 4.045, 5.052",\
                 "1.241, 1.277, 1.394, 1.598, 1.905, 2.331, 2.885, 3.581, 4.427, 5.435",\
                 "1.656, 1.704, 1.856, 2.109, 2.44, 2.868, 3.423, 4.118, 4.965, 5.973",\
                 "2.108, 2.168, 2.357, 2.672, 3.085, 3.567, 4.133, 4.828, 5.674, 6.682",\
                 "2.593, 2.663, 2.893, 3.275, 3.775, 4.36, 5.005, 5.723, 6.57, 7.577",\
                 "3.113, 3.195, 3.466, 3.914, 4.505, 5.197, 5.961, 6.778, 7.659, 8.671",\
                 "3.665, 3.762, 4.072, 4.591, 5.275, 6.079, 6.966, 7.915, 8.913, 9.967");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003049, 0.01024, 0.02398, 0.04539, 0.07542, 0.1149, 0.1647, 0.2255, 0.2979");
          values("0.3129, 0.3526, 0.4931, 0.7583, 1.173, 1.753, 2.513, 3.472, 4.644, 6.036",\
                 "0.3137, 0.3525, 0.4925, 0.7578, 1.172, 1.753, 2.514, 3.472, 4.641, 6.039",\
                 "0.3143, 0.3538, 0.4929, 0.7591, 1.171, 1.754, 2.512, 3.475, 4.644, 6.041",\
                 "0.3582, 0.396, 0.5248, 0.7722, 1.174, 1.754, 2.512, 3.473, 4.642, 6.041",\
                 "0.4292, 0.4704, 0.6072, 0.8606, 1.236, 1.775, 2.516, 3.477, 4.649, 6.044",\
                 "0.5352, 0.5776, 0.7208, 0.9806, 1.372, 1.901, 2.589, 3.496, 4.648, 6.045",\
                 "0.6756, 0.722, 0.8746, 1.141, 1.539, 2.082, 2.777, 3.636, 4.718, 6.062",\
                 "0.8408, 0.8936, 1.062, 1.35, 1.752, 2.302, 3.008, 3.884, 4.925, 6.196",\
                 "1.03, 1.09, 1.279, 1.591, 2.012, 2.565, 3.281, 4.166, 5.231, 6.474",\
                 "1.236, 1.306, 1.521, 1.862, 2.316, 2.883, 3.602, 4.492, 5.574, 6.84");
        }

        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.003049, 0.01024, 0.02398, 0.04539, 0.07542, 0.1149, 0.1647, 0.2255, 0.2979");
          values("0.5627, 0.6144, 0.7888, 1.116, 1.625, 2.338, 3.279, 4.461, 5.904, 7.624",\
                 "0.5626, 0.6132, 0.7866, 1.116, 1.625, 2.34, 3.277, 4.459, 5.904, 7.622",\
                 "0.5625, 0.6127, 0.7883, 1.115, 1.626, 2.338, 3.279, 4.462, 5.902, 7.624",\
                 "0.5624, 0.612, 0.7856, 1.116, 1.625, 2.339, 3.279, 4.462, 5.903, 7.626",\
                 "0.693, 0.7296, 0.864, 1.14, 1.629, 2.339, 3.278, 4.462, 5.905, 7.625",\
                 "0.9114, 0.96, 1.112, 1.357, 1.739, 2.365, 3.281, 4.461, 5.903, 7.621",\
                 "1.15, 1.211, 1.403, 1.706, 2.087, 2.589, 3.36, 4.477, 5.906, 7.627",\
                 "1.403, 1.479, 1.715, 2.079, 2.538, 3.059, 3.699, 4.634, 5.945, 7.63",\
                 "1.67, 1.76, 2.036, 2.477, 3.017, 3.628, 4.298, 5.088, 6.196, 7.71",\
                 "1.942, 2.044, 2.372, 2.882, 3.518, 4.228, 4.996, 5.8, 6.766, 8.06");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003049, 0.01024, 0.02398, 0.04539, 0.07542, 0.1149, 0.1647, 0.2255, 0.2979");
          values("0.31, 0.3298, 0.4003, 0.5335, 0.7413, 1.032, 1.415, 1.897, 2.485, 3.186",\
                 "0.3387, 0.3591, 0.4296, 0.563, 0.7707, 1.062, 1.444, 1.927, 2.515, 3.216",\
                 "0.4165, 0.4371, 0.5085, 0.6429, 0.8513, 1.143, 1.526, 2.009, 2.597, 3.298",\
                 "0.5272, 0.5514, 0.6322, 0.7752, 0.9856, 1.278, 1.661, 2.144, 2.734, 3.434",\
                 "0.6402, 0.6699, 0.7673, 0.9356, 1.172, 1.479, 1.864, 2.347, 2.936, 3.639",\
                 "0.7414, 0.7788, 0.8996, 1.101, 1.375, 1.719, 2.136, 2.629, 3.22, 3.922",\
                 "0.8163, 0.8632, 1.013, 1.259, 1.58, 1.971, 2.434, 2.971, 3.586, 4.293",\
                 "0.8582, 0.9158, 1.099, 1.395, 1.776, 2.225, 2.742, 3.332, 3.998, 4.747",\
                 "0.8602, 0.9297, 1.15, 1.501, 1.949, 2.47, 3.052, 3.702, 4.426, 5.23",\
                 "0.8195, 0.9013, 1.16, 1.573, 2.092, 2.691, 3.354, 4.074, 4.865, 5.73");
        }

        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.003049, 0.01024, 0.02398, 0.04539, 0.07542, 0.1149, 0.1647, 0.2255, 0.2979");
          values("0.5453, 0.5761, 0.6818, 0.8802, 1.184, 1.606, 2.158, 2.852, 3.697, 4.703",\
                 "0.5761, 0.6067, 0.7122, 0.9108, 1.215, 1.637, 2.19, 2.883, 3.729, 4.735",\
                 "0.6979, 0.7285, 0.8349, 1.034, 1.339, 1.762, 2.315, 3.009, 3.855, 4.861",\
                 "0.9385, 0.9697, 1.076, 1.276, 1.581, 2.005, 2.559, 3.253, 4.099, 5.106",\
                 "1.311, 1.345, 1.456, 1.657, 1.962, 2.386, 2.94, 3.635, 4.481, 5.489",\
                 "1.747, 1.791, 1.934, 2.175, 2.498, 2.924, 3.478, 4.173, 5.019, 6.027",\
                 "2.22, 2.274, 2.453, 2.755, 3.153, 3.624, 4.188, 4.882, 5.728, 6.734",\
                 "2.726, 2.792, 3.009, 3.375, 3.857, 4.428, 5.063, 5.777, 6.623, 7.629",\
                 "3.268, 3.345, 3.599, 4.031, 4.602, 5.278, 6.03, 6.837, 7.714, 8.724",\
                 "3.845, 3.933, 4.228, 4.724, 5.388, 6.173, 7.045, 7.984, 8.971, 10.02");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003049, 0.01024, 0.02398, 0.04539, 0.07542, 0.1149, 0.1647, 0.2255, 0.2979");
          values("0.2873, 0.3209, 0.4388, 0.6626, 1.009, 1.495, 2.133, 2.936, 3.917, 5.084",\
                 "0.2869, 0.3208, 0.4389, 0.6624, 1.01, 1.496, 2.133, 2.937, 3.916, 5.084",\
                 "0.2897, 0.3214, 0.4393, 0.663, 1.01, 1.495, 2.133, 2.938, 3.917, 5.084",\
                 "0.3438, 0.3758, 0.4834, 0.6844, 1.013, 1.496, 2.133, 2.937, 3.917, 5.086",\
                 "0.434, 0.467, 0.582, 0.7906, 1.101, 1.535, 2.142, 2.937, 3.917, 5.086",\
                 "0.5624, 0.5984, 0.7204, 0.9354, 1.258, 1.692, 2.251, 2.985, 3.927, 5.086",\
                 "0.722, 0.7628, 0.8964, 1.125, 1.457, 1.901, 2.472, 3.171, 4.042, 5.138",\
                 "0.9064, 0.9532, 1.104, 1.356, 1.704, 2.16, 2.739, 3.456, 4.311, 5.328",\
                 "1.114, 1.167, 1.336, 1.618, 1.995, 2.469, 3.06, 3.784, 4.659, 5.676",\
                 "1.338, 1.401, 1.592, 1.906, 2.321, 2.825, 3.433, 4.166, 5.054, 6.088");
        }

        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.003049, 0.01024, 0.02398, 0.04539, 0.07542, 0.1149, 0.1647, 0.2255, 0.2979");
          values("0.595, 0.6472, 0.8223, 1.151, 1.663, 2.379, 3.319, 4.505, 5.949, 7.669",\
                 "0.5954, 0.6464, 0.8218, 1.152, 1.663, 2.377, 3.317, 4.501, 5.945, 7.664",\
                 "0.5953, 0.6457, 0.8215, 1.152, 1.663, 2.379, 3.319, 4.504, 5.948, 7.664",\
                 "0.5954, 0.6462, 0.82, 1.151, 1.663, 2.378, 3.32, 4.502, 5.948, 7.669",\
                 "0.6968, 0.7378, 0.8784, 1.169, 1.664, 2.379, 3.32, 4.503, 5.945, 7.67",\
                 "0.9216, 0.9684, 1.122, 1.367, 1.76, 2.4, 3.32, 4.504, 5.948, 7.665",\
                 "1.164, 1.224, 1.412, 1.71, 2.092, 2.607, 3.391, 4.516, 5.95, 7.669",\
                 "1.425, 1.497, 1.726, 2.09, 2.542, 3.064, 3.717, 4.659, 5.983, 7.669",\
                 "1.7, 1.786, 2.059, 2.485, 3.021, 3.632, 4.298, 5.1, 6.224, 7.754",\
                 "1.978, 2.082, 2.398, 2.9, 3.522, 4.236, 4.996, 5.806, 6.78, 8.084");
        }
      }

      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.003049, 0.01024, 0.02398, 0.04539, 0.07542, 0.1149, 0.1647, 0.2255, 0.2979");
          values("0.4174, 0.4425, 0.5291, 0.6909, 0.9396, 1.286, 1.74, 2.311, 3.007, 3.836",\
                 "0.4464, 0.4716, 0.5584, 0.7206, 0.9695, 1.316, 1.77, 2.341, 3.037, 3.866",\
                 "0.5243, 0.5496, 0.6369, 0.7996, 1.049, 1.396, 1.85, 2.422, 3.118, 3.947",\
                 "0.6423, 0.6694, 0.7603, 0.9245, 1.174, 1.522, 1.977, 2.548, 3.245, 4.074",\
                 "0.768, 0.799, 0.902, 1.085, 1.35, 1.702, 2.157, 2.729, 3.426, 4.256",\
                 "0.8914, 0.9273, 1.046, 1.253, 1.548, 1.93, 2.402, 2.977, 3.674, 4.505",\
                 "0.9988, 1.042, 1.183, 1.422, 1.752, 2.172, 2.683, 3.29, 3.998, 4.829",\
                 "1.079, 1.131, 1.299, 1.579, 1.954, 2.42, 2.976, 3.628, 4.378, 5.233",\
                 "1.124, 1.186, 1.384, 1.712, 2.144, 2.665, 3.274, 3.977, 4.777, 5.682",\
                 "1.13, 1.202, 1.434, 1.814, 2.31, 2.899, 3.571, 4.332, 5.188, 6.146");
        }

        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.003049, 0.01024, 0.02398, 0.04539, 0.07542, 0.1149, 0.1647, 0.2255, 0.2979");
          values("0.5453, 0.5761, 0.6818, 0.8802, 1.184, 1.606, 2.158, 2.852, 3.697, 4.703",\
                 "0.5761, 0.6067, 0.7122, 0.9108, 1.215, 1.637, 2.19, 2.883, 3.729, 4.735",\
                 "0.6979, 0.7285, 0.8349, 1.034, 1.339, 1.762, 2.315, 3.009, 3.855, 4.861",\
                 "0.9385, 0.9697, 1.076, 1.276, 1.581, 2.005, 2.559, 3.253, 4.099, 5.106",\
                 "1.311, 1.345, 1.456, 1.657, 1.962, 2.386, 2.94, 3.635, 4.481, 5.489",\
                 "1.747, 1.791, 1.934, 2.175, 2.498, 2.924, 3.478, 4.173, 5.019, 6.027",\
                 "2.22, 2.274, 2.453, 2.755, 3.153, 3.624, 4.188, 4.882, 5.728, 6.734",\
                 "2.726, 2.792, 3.009, 3.375, 3.857, 4.428, 5.063, 5.777, 6.623, 7.629",\
                 "3.268, 3.345, 3.599, 4.031, 4.602, 5.278, 6.03, 6.837, 7.714, 8.724",\
                 "3.845, 3.933, 4.228, 4.724, 5.388, 6.173, 7.045, 7.984, 8.971, 10.02");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003049, 0.01024, 0.02398, 0.04539, 0.07542, 0.1149, 0.1647, 0.2255, 0.2979");
          values("0.3725, 0.4133, 0.554, 0.8172, 1.231, 1.809, 2.568, 3.528, 4.698, 6.093",\
                 "0.3733, 0.4143, 0.5541, 0.8182, 1.231, 1.809, 2.57, 3.528, 4.698, 6.092",\
                 "0.3728, 0.4132, 0.5527, 0.8171, 1.229, 1.809, 2.57, 3.526, 4.699, 6.092",\
                 "0.4026, 0.4392, 0.5696, 0.8216, 1.23, 1.808, 2.57, 3.528, 4.695, 6.092",\
                 "0.4664, 0.5084, 0.646, 0.899, 1.276, 1.824, 2.571, 3.526, 4.698, 6.093",\
                 "0.5586, 0.6014, 0.7464, 1.011, 1.407, 1.935, 2.631, 3.546, 4.698, 6.093",\
                 "0.6834, 0.731, 0.8842, 1.159, 1.563, 2.112, 2.81, 3.671, 4.762, 6.109",\
                 "0.8348, 0.8864, 1.058, 1.348, 1.76, 2.319, 3.034, 3.911, 4.959, 6.235",\
                 "1.01, 1.072, 1.259, 1.577, 2.007, 2.574, 3.296, 4.193, 5.259, 6.505",\
                 "1.207, 1.275, 1.487, 1.835, 2.295, 2.878, 3.611, 4.512, 5.596, 6.87");
        }

        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.003049, 0.01024, 0.02398, 0.04539, 0.07542, 0.1149, 0.1647, 0.2255, 0.2979");
          values("0.5978, 0.649, 0.8226, 1.156, 1.669, 2.392, 3.342, 4.537, 5.994, 7.725",\
                 "0.5961, 0.6467, 0.8221, 1.155, 1.669, 2.392, 3.341, 4.537, 5.993, 7.724",\
                 "0.5965, 0.6466, 0.8243, 1.155, 1.67, 2.392, 3.342, 4.537, 5.994, 7.724",\
                 "0.598, 0.647, 0.8212, 1.154, 1.669, 2.392, 3.342, 4.537, 5.993, 7.725",\
                 "0.726, 0.7636, 0.8992, 1.18, 1.672, 2.392, 3.342, 4.538, 5.993, 7.724",\
                 "0.9624, 1.008, 1.158, 1.397, 1.785, 2.418, 3.343, 4.537, 5.994, 7.724",\
                 "1.217, 1.276, 1.461, 1.759, 2.133, 2.644, 3.423, 4.551, 5.994, 7.724",\
                 "1.49, 1.565, 1.789, 2.145, 2.599, 3.115, 3.763, 4.707, 6.035, 7.728",\
                 "1.78, 1.864, 2.135, 2.56, 3.095, 3.7, 4.364, 5.162, 6.282, 7.816",\
                 "2.08, 2.182, 2.494, 2.994, 3.624, 4.316, 5.078, 5.884, 6.854, 8.16");
        }
      }
    }
  }