  cell(gf180mcu_fd_sc_mcu9t5v0__xnor3_1) {
    area : 64.915200 ;

    leakage_power() {
      related_pg_pin : "VDD" ;
      when : "!A1&!A2&!A3" ;
      value : "0.0003237084" ;
    }

    leakage_power() {
      related_pg_pin : "VDD" ;
      when : "!A1&!A2&A3" ;
      value : "0.0003199176" ;
    }

    leakage_power() {
      related_pg_pin : "VDD" ;
      when : "!A1&A2&!A3" ;
      value : "0.0003046086" ;
    }

    leakage_power() {
      related_pg_pin : "VDD" ;
      when : "!A1&A2&A3" ;
      value : "0.000306747" ;
    }

    leakage_power() {
      related_pg_pin : "VDD" ;
      when : "A1&!A2&!A3" ;
      value : "0.0003112182" ;
    }

    leakage_power() {
      related_pg_pin : "VDD" ;
      when : "A1&!A2&A3" ;
      value : "0.0003133566" ;
    }

    leakage_power() {
      related_pg_pin : "VDD" ;
      when : "A1&A2&!A3" ;
      value : "0.0002982096" ;
    }

    leakage_power() {
      related_pg_pin : "VDD" ;
      when : "A1&A2&A3" ;
      value : "0.0002944188" ;
    }

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

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

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

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

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

    pin(A3) {
      capacitance : 0.009515 ;
      direction : input ;
      driver_waveform_rise : driver_waveform_default_rise ;
      driver_waveform_fall : driver_waveform_default_fall ;
      input_voltage : default ;
      max_transition : 20 ;
      related_ground_pin : VSS ;
      related_power_pin : VDD ;
    }

    pin(ZN) {
      direction : output ;
      function : "(!(A1^A2^A3))" ;
      max_capacitance : 0.1065 ;
      max_transition : 20 ;
      min_capacitance : 0.001 ;
      output_voltage : default ;
      related_ground_pin : VSS ;
      related_power_pin : VDD ;

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.001728, 0.004284, 0.009164, 0.01677, 0.02744, 0.04147, 0.05916, 0.08075, 0.1065");
          values("0.04332, 0.04333, 0.04337, 0.04344, 0.04353, 0.04361, 0.04368, 0.04373, 0.04378, 0.0438",\
                 "0.04336, 0.04337, 0.04341, 0.04348, 0.04356, 0.04365, 0.04371, 0.04377, 0.04381, 0.04384",\
                 "0.04332, 0.04333, 0.04338, 0.04345, 0.04353, 0.04361, 0.04369, 0.04374, 0.04378, 0.0438",\
                 "0.0431, 0.04311, 0.04316, 0.04322, 0.04331, 0.04339, 0.04346, 0.04352, 0.04356, 0.04357",\
                 "0.04286, 0.04287, 0.04291, 0.04298, 0.04307, 0.04315, 0.04322, 0.04327, 0.04332, 0.04331",\
                 "0.04265, 0.04266, 0.0427, 0.04278, 0.04286, 0.04294, 0.04302, 0.04307, 0.04309, 0.04306",\
                 "0.04248, 0.0425, 0.04254, 0.04261, 0.0427, 0.04278, 0.04285, 0.04289, 0.0429, 0.04277",\
                 "0.04234, 0.04235, 0.04239, 0.04245, 0.04254, 0.04262, 0.04268, 0.0427, 0.0426, 0.0422",\
                 "0.04211, 0.04213, 0.04217, 0.04224, 0.04231, 0.04238, 0.0424, 0.04226, 0.04173, 0.04067",\
                 "0.0417, 0.04171, 0.04175, 0.04178, 0.04181, 0.04174, 0.04128, 0.04016, 0.0388, 0.0377");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.001728, 0.004284, 0.009164, 0.01677, 0.02744, 0.04147, 0.05916, 0.08075, 0.1065");
          values("0.03607, 0.03611, 0.03622, 0.03639, 0.03658, 0.03682, 0.03725, 0.04028, 0.05429, 0.08362",\
                 "0.03604, 0.03607, 0.03618, 0.03635, 0.03654, 0.03678, 0.03722, 0.04035, 0.05469, 0.08412",\
                 "0.03595, 0.03597, 0.03609, 0.03625, 0.03644, 0.03668, 0.03718, 0.04077, 0.05623, 0.08595",\
                 "0.03585, 0.03588, 0.03599, 0.03617, 0.03637, 0.0366, 0.03725, 0.04186, 0.05953, 0.08961",\
                 "0.03575, 0.03579, 0.0359, 0.03607, 0.03626, 0.03651, 0.03751, 0.04423, 0.06505, 0.09431",\
                 "0.03559, 0.03562, 0.03573, 0.03591, 0.03612, 0.03641, 0.03837, 0.0491, 0.07288, 0.09861",\
                 "0.03538, 0.03541, 0.03553, 0.03569, 0.03589, 0.03657, 0.04144, 0.05799, 0.08065, 0.09947",\
                 "0.03521, 0.03524, 0.03535, 0.03551, 0.03588, 0.03858, 0.05011, 0.06747, 0.08184, 0.09244",\
                 "0.03499, 0.03501, 0.0351, 0.03541, 0.03804, 0.04658, 0.05605, 0.06316, 0.06829, 0.07202",\
                 "0.02687, 0.02689, 0.02717, 0.02782, 0.02851, 0.02905, 0.02942, 0.02968, 0.02985, 0.02997");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.001728, 0.004284, 0.009164, 0.01677, 0.02744, 0.04147, 0.05916, 0.08075, 0.1065");
          values("0.05404, 0.05407, 0.05415, 0.05424, 0.05432, 0.05437, 0.05437, 0.05435, 0.05432, 0.05429",\
                 "0.054, 0.05403, 0.05411, 0.0542, 0.05428, 0.05432, 0.05432, 0.05431, 0.05428, 0.05425",\
                 "0.0539, 0.05393, 0.05401, 0.0541, 0.05418, 0.05422, 0.05422, 0.0542, 0.05417, 0.05414",\
                 "0.05382, 0.05384, 0.05392, 0.05402, 0.05409, 0.05413, 0.05414, 0.05412, 0.05408, 0.05406",\
                 "0.05372, 0.05374, 0.05382, 0.05391, 0.05399, 0.05403, 0.05404, 0.05402, 0.05399, 0.05394",\
                 "0.05355, 0.05357, 0.05366, 0.05375, 0.05383, 0.05387, 0.05387, 0.05385, 0.05381, 0.05374",\
                 "0.05334, 0.05336, 0.05346, 0.05355, 0.05362, 0.05366, 0.05366, 0.05364, 0.05358, 0.05338",\
                 "0.05317, 0.05318, 0.05327, 0.05336, 0.05344, 0.05349, 0.05348, 0.0534, 0.05309, 0.05239",\
                 "0.05295, 0.05298, 0.05305, 0.05314, 0.05322, 0.05314, 0.05265, 0.05164, 0.05056, 0.04971",\
                 "0.03679, 0.03683, 0.03695, 0.03711, 0.03724, 0.03733, 0.03735, 0.03736, 0.03734, 0.03732");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.001728, 0.004284, 0.009164, 0.01677, 0.02744, 0.04147, 0.05916, 0.08075, 0.1065");
          values("0.06031, 0.06031, 0.06033, 0.06034, 0.06036, 0.06037, 0.06038, 0.06036, 0.06066, 0.06337",\
                 "0.06035, 0.06035, 0.06036, 0.06037, 0.06039, 0.06043, 0.0604, 0.06041, 0.06074, 0.06353",\
                 "0.0603, 0.06032, 0.06034, 0.06035, 0.06038, 0.06036, 0.06038, 0.06037, 0.0608, 0.06416",\
                 "0.06009, 0.06008, 0.06011, 0.06011, 0.06016, 0.06014, 0.06011, 0.06016, 0.06074, 0.06534",\
                 "0.05983, 0.05983, 0.05985, 0.05987, 0.0599, 0.0599, 0.05991, 0.05997, 0.06118, 0.06812",\
                 "0.05963, 0.05964, 0.05964, 0.05967, 0.0597, 0.05969, 0.05969, 0.05991, 0.06238, 0.07397",\
                 "0.05945, 0.05946, 0.05945, 0.05949, 0.0595, 0.05951, 0.05955, 0.06033, 0.06612, 0.08578",\
                 "0.05928, 0.05928, 0.05929, 0.0593, 0.05932, 0.05935, 0.05966, 0.06285, 0.07691, 0.1054",\
                 "0.05905, 0.05905, 0.05907, 0.05907, 0.05911, 0.05936, 0.06217, 0.07475, 0.0983, 0.1218",\
                 "0.05874, 0.05877, 0.05878, 0.05885, 0.0597, 0.06531, 0.07836, 0.09111, 0.1006, 0.1077");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.001728, 0.004284, 0.009164, 0.01677, 0.02744, 0.04147, 0.05916, 0.08075, 0.1065");
          values("0.03972, 0.03974, 0.03978, 0.03986, 0.03995, 0.04002, 0.04009, 0.04014, 0.04018, 0.04021",\
                 "0.03977, 0.03979, 0.03984, 0.03991, 0.04, 0.04007, 0.04014, 0.0402, 0.04024, 0.04026",\
                 "0.0396, 0.03962, 0.03966, 0.03974, 0.03983, 0.03991, 0.03998, 0.04003, 0.04007, 0.0401",\
                 "0.03935, 0.03937, 0.03941, 0.03949, 0.03958, 0.03966, 0.03973, 0.03978, 0.03982, 0.03984",\
                 "0.03913, 0.03914, 0.03919, 0.03926, 0.03934, 0.03943, 0.03949, 0.03954, 0.03958, 0.03959",\
                 "0.03895, 0.03896, 0.039, 0.03906, 0.03915, 0.03923, 0.0393, 0.03936, 0.03939, 0.03937",\
                 "0.03879, 0.0388, 0.03884, 0.0389, 0.03898, 0.03905, 0.03912, 0.03917, 0.03918, 0.03905",\
                 "0.03864, 0.03865, 0.03868, 0.03873, 0.0388, 0.03887, 0.03892, 0.0389, 0.03865, 0.03794",\
                 "0.03812, 0.03812, 0.03814, 0.03817, 0.03818, 0.03813, 0.03775, 0.03675, 0.0354, 0.03428",\
                 "0.02938, 0.02907, 0.02809, 0.02689, 0.02578, 0.02478, 0.02399, 0.02341, 0.02299, 0.02269");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.001728, 0.004284, 0.009164, 0.01677, 0.02744, 0.04147, 0.05916, 0.08075, 0.1065");
          values("0.02304, 0.02308, 0.02322, 0.02344, 0.02368, 0.02392, 0.02415, 0.02525, 0.03202, 0.05427",\
                 "0.02305, 0.02309, 0.02323, 0.02344, 0.02369, 0.02394, 0.02417, 0.02527, 0.03225, 0.05481",\
                 "0.02302, 0.02307, 0.02321, 0.02342, 0.02367, 0.02393, 0.02416, 0.02541, 0.03312, 0.05674",\
                 "0.02294, 0.02298, 0.02311, 0.02331, 0.02355, 0.02377, 0.02406, 0.02567, 0.0349, 0.06054",\
                 "0.02277, 0.02279, 0.0229, 0.02308, 0.0233, 0.02354, 0.02388, 0.02623, 0.03823, 0.06641",\
                 "0.02257, 0.0226, 0.0227, 0.02285, 0.02304, 0.02327, 0.02382, 0.02777, 0.04407, 0.07405",\
                 "0.02242, 0.02245, 0.02254, 0.02268, 0.02284, 0.02308, 0.0242, 0.03144, 0.05287, 0.08179",\
                 "0.0223, 0.02232, 0.02239, 0.02253, 0.02271, 0.02308, 0.02592, 0.03917, 0.0633, 0.08638",\
                 "0.02226, 0.02228, 0.02234, 0.02244, 0.02262, 0.02395, 0.03213, 0.05059, 0.06946, 0.08377",\
                 "0.02243, 0.02245, 0.02251, 0.02261, 0.0236, 0.02996, 0.04292, 0.05469, 0.0634, 0.06975");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.001728, 0.004284, 0.009164, 0.01677, 0.02744, 0.04147, 0.05916, 0.08075, 0.1065");
          values("0.03141, 0.03144, 0.03152, 0.03162, 0.0317, 0.03175, 0.03176, 0.03174, 0.03171, 0.03168",\
                 "0.03141, 0.03144, 0.03151, 0.03162, 0.0317, 0.03175, 0.03176, 0.03174, 0.03171, 0.03168",\
                 "0.03139, 0.03142, 0.03149, 0.0316, 0.03168, 0.03173, 0.03173, 0.03172, 0.03169, 0.03166",\
                 "0.03128, 0.03132, 0.0314, 0.03149, 0.03158, 0.03163, 0.03163, 0.03162, 0.03159, 0.03156",\
                 "0.03109, 0.03112, 0.03121, 0.03131, 0.03139, 0.03144, 0.03146, 0.03145, 0.03142, 0.03139",\
                 "0.03091, 0.03093, 0.03101, 0.03111, 0.03121, 0.03127, 0.03129, 0.03128, 0.03126, 0.03123",\
                 "0.03074, 0.03077, 0.03086, 0.03096, 0.03106, 0.03112, 0.03115, 0.03115, 0.03113, 0.03109",\
                 "0.03063, 0.03065, 0.03074, 0.03084, 0.03094, 0.03102, 0.03105, 0.03106, 0.03104, 0.03094",\
                 "0.03057, 0.03059, 0.03066, 0.03077, 0.03087, 0.03095, 0.031, 0.031, 0.03089, 0.0305",\
                 "0.03073, 0.03075, 0.03082, 0.03092, 0.03103, 0.03111, 0.03108, 0.0307, 0.02985, 0.02886");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.001728, 0.004284, 0.009164, 0.01677, 0.02744, 0.04147, 0.05916, 0.08075, 0.1065");
          values("0.05672, 0.05672, 0.05672, 0.05674, 0.05676, 0.05678, 0.05677, 0.05678, 0.05693, 0.05853",\
                 "0.05676, 0.05677, 0.05678, 0.05679, 0.05682, 0.05683, 0.05684, 0.05683, 0.05699, 0.05872",\
                 "0.05659, 0.0566, 0.05661, 0.05664, 0.05666, 0.05667, 0.05666, 0.05667, 0.05688, 0.05888",\
                 "0.05633, 0.05634, 0.05636, 0.05639, 0.0564, 0.0564, 0.05642, 0.05641, 0.05675, 0.05959",\
                 "0.05611, 0.05612, 0.05613, 0.05615, 0.05617, 0.05619, 0.05617, 0.05618, 0.05691, 0.06172",\
                 "0.05593, 0.05593, 0.05595, 0.05597, 0.05599, 0.05599, 0.056, 0.05614, 0.058, 0.0678",\
                 "0.05577, 0.05578, 0.05577, 0.0558, 0.05582, 0.05583, 0.05589, 0.05682, 0.0633, 0.08428",\
                 "0.05557, 0.05557, 0.05557, 0.0556, 0.05564, 0.05571, 0.05673, 0.0639, 0.08458, 0.1131",\
                 "0.05505, 0.05507, 0.05509, 0.05517, 0.05569, 0.06045, 0.07343, 0.08766, 0.09851, 0.1065",\
                 "0.02381, 0.02381, 0.02381, 0.02381, 0.02381, 0.02381, 0.02381, 0.0238, 0.0238, 0.02379");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.001728, 0.004284, 0.009164, 0.01677, 0.02744, 0.04147, 0.05916, 0.08075, 0.1065");
          values("0.04074, 0.04075, 0.0408, 0.04088, 0.04097, 0.04105, 0.04111, 0.04116, 0.0412, 0.04122",\
                 "0.04077, 0.04079, 0.04084, 0.04091, 0.04099, 0.04108, 0.04115, 0.0412, 0.04123, 0.04126",\
                 "0.04075, 0.04076, 0.04081, 0.04089, 0.04098, 0.04105, 0.04112, 0.04118, 0.04121, 0.04123",\
                 "0.04061, 0.04063, 0.04068, 0.04075, 0.04084, 0.04092, 0.04099, 0.04104, 0.04108, 0.04109",\
                 "0.04046, 0.04048, 0.04053, 0.0406, 0.04069, 0.04077, 0.04084, 0.04089, 0.04092, 0.04093",\
                 "0.04034, 0.04036, 0.0404, 0.04048, 0.04057, 0.04064, 0.04071, 0.04076, 0.04079, 0.04077",\
                 "0.04025, 0.04026, 0.04031, 0.04038, 0.04047, 0.04055, 0.04061, 0.04066, 0.04066, 0.04056",\
                 "0.04018, 0.04019, 0.04024, 0.04032, 0.0404, 0.04048, 0.04054, 0.04056, 0.04049, 0.04015",\
                 "0.0401, 0.04011, 0.04016, 0.04023, 0.04031, 0.04038, 0.0404, 0.04032, 0.03989, 0.03893",\
                 "0.04002, 0.04003, 0.04006, 0.04012, 0.04016, 0.04013, 0.03981, 0.03891, 0.03756, 0.03638");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.001728, 0.004284, 0.009164, 0.01677, 0.02744, 0.04147, 0.05916, 0.08075, 0.1065");
          values("0.03602, 0.03607, 0.03617, 0.03634, 0.03653, 0.03676, 0.03718, 0.04001, 0.05351, 0.08261",\
                 "0.03592, 0.03596, 0.03606, 0.03622, 0.03642, 0.03666, 0.03708, 0.04003, 0.05379, 0.08298",\
                 "0.03578, 0.03581, 0.03591, 0.03609, 0.03628, 0.03651, 0.03699, 0.04032, 0.0551, 0.08473",\
                 "0.03566, 0.03569, 0.0358, 0.03596, 0.03615, 0.0364, 0.037, 0.04128, 0.05827, 0.08837",\
                 "0.03558, 0.03561, 0.03571, 0.03589, 0.03608, 0.03633, 0.03727, 0.04361, 0.06401, 0.09345",\
                 "0.03548, 0.03551, 0.03562, 0.03579, 0.03598, 0.0363, 0.03821, 0.04877, 0.07249, 0.09839",\
                 "0.03538, 0.03541, 0.03552, 0.03568, 0.03588, 0.03659, 0.04171, 0.05852, 0.08095, 0.09935",\
                 "0.0353, 0.03533, 0.03543, 0.03561, 0.03602, 0.0393, 0.05153, 0.06809, 0.08128, 0.09099",\
                 "0.03514, 0.03516, 0.03524, 0.03569, 0.03929, 0.04742, 0.05483, 0.06027, 0.06419, 0.06702",\
                 "0.01733, 0.01734, 0.01731, 0.01729, 0.01729, 0.01727, 0.01726, 0.01725, 0.01725, 0.01724");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.001728, 0.004284, 0.009164, 0.01677, 0.02744, 0.04147, 0.05916, 0.08075, 0.1065");
          values("0.05292, 0.05295, 0.05303, 0.05313, 0.0532, 0.05325, 0.05325, 0.05323, 0.0532, 0.05317",\
                 "0.05282, 0.05285, 0.05292, 0.05302, 0.0531, 0.05313, 0.05314, 0.05312, 0.05309, 0.05305",\
                 "0.05268, 0.0527, 0.05279, 0.05287, 0.05295, 0.05299, 0.05299, 0.05297, 0.05294, 0.05291",\
                 "0.05255, 0.05258, 0.05266, 0.05276, 0.05283, 0.05287, 0.05287, 0.05286, 0.05283, 0.05279",\
                 "0.05247, 0.0525, 0.05257, 0.05268, 0.05275, 0.05279, 0.05279, 0.05277, 0.05274, 0.0527",\
                 "0.05237, 0.0524, 0.05248, 0.05257, 0.05265, 0.05269, 0.05269, 0.05267, 0.05264, 0.05256",\
                 "0.05227, 0.05229, 0.05237, 0.05246, 0.05254, 0.05259, 0.05258, 0.05256, 0.05249, 0.05229",\
                 "0.0522, 0.05222, 0.0523, 0.05239, 0.05247, 0.05251, 0.0525, 0.05239, 0.052, 0.05122",\
                 "0.05204, 0.05206, 0.05214, 0.05224, 0.05226, 0.05199, 0.05112, 0.04995, 0.04899, 0.04825",\
                 "0.02682, 0.02683, 0.02684, 0.02684, 0.02683, 0.02679, 0.02674, 0.02668, 0.02663, 0.02659");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.001728, 0.004284, 0.009164, 0.01677, 0.02744, 0.04147, 0.05916, 0.08075, 0.1065");
          values("0.05794, 0.05793, 0.05795, 0.05797, 0.058, 0.05801, 0.05802, 0.058, 0.05825, 0.06062",\
                 "0.05798, 0.05798, 0.05799, 0.05801, 0.05803, 0.05804, 0.05805, 0.05805, 0.05831, 0.06079",\
                 "0.05795, 0.05795, 0.05796, 0.05798, 0.058, 0.05799, 0.05802, 0.05798, 0.05833, 0.06133",\
                 "0.0578, 0.05782, 0.05782, 0.05784, 0.05788, 0.05787, 0.05787, 0.05784, 0.05847, 0.06247",\
                 "0.05765, 0.05767, 0.05768, 0.05769, 0.05771, 0.0577, 0.05772, 0.05775, 0.05878, 0.06495",\
                 "0.05752, 0.05753, 0.05755, 0.05755, 0.05759, 0.05759, 0.05761, 0.05777, 0.05988, 0.07027",\
                 "0.05741, 0.0574, 0.05742, 0.05744, 0.05746, 0.05747, 0.05751, 0.05812, 0.063, 0.08104",\
                 "0.05733, 0.05734, 0.05734, 0.05736, 0.05739, 0.05741, 0.05761, 0.06013, 0.0725, 0.1001",\
                 "0.05724, 0.05725, 0.05727, 0.05728, 0.05728, 0.05747, 0.05949, 0.07029, 0.09337, 0.1188",\
                 "0.05723, 0.05725, 0.05725, 0.05732, 0.05777, 0.06182, 0.07443, 0.08966, 0.1017, 0.1104");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.001728, 0.004284, 0.009164, 0.01677, 0.02744, 0.04147, 0.05916, 0.08075, 0.1065");
          values("0.04194, 0.04195, 0.042, 0.04207, 0.04216, 0.04224, 0.04231, 0.04237, 0.04241, 0.04243",\
                 "0.0418, 0.04181, 0.04185, 0.04193, 0.04201, 0.0421, 0.04217, 0.04222, 0.04227, 0.0423",\
                 "0.04165, 0.04166, 0.04171, 0.04178, 0.04187, 0.04195, 0.04203, 0.04208, 0.04213, 0.04215",\
                 "0.04149, 0.04151, 0.04155, 0.04162, 0.04171, 0.0418, 0.04186, 0.04192, 0.04197, 0.042",\
                 "0.04134, 0.04135, 0.04139, 0.04147, 0.04155, 0.04164, 0.04171, 0.04177, 0.0418, 0.04182",\
                 "0.0412, 0.04122, 0.04126, 0.04132, 0.0414, 0.04148, 0.04155, 0.04161, 0.04165, 0.04162",\
                 "0.04106, 0.04107, 0.0411, 0.04117, 0.04124, 0.04132, 0.04138, 0.04143, 0.04143, 0.04125",\
                 "0.04086, 0.04087, 0.0409, 0.04095, 0.04102, 0.04108, 0.04112, 0.04108, 0.04075, 0.03993",\
                 "0.04011, 0.04012, 0.04014, 0.04015, 0.04015, 0.04001, 0.03944, 0.03823, 0.03691, 0.03587",\
                 "0.02719, 0.02694, 0.02623, 0.02534, 0.02446, 0.02378, 0.02329, 0.02295, 0.02272, 0.02257");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.001728, 0.004284, 0.009164, 0.01677, 0.02744, 0.04147, 0.05916, 0.08075, 0.1065");
          values("0.02367, 0.02371, 0.02384, 0.02406, 0.02431, 0.02458, 0.02485, 0.02586, 0.03273, 0.05511",\
                 "0.0237, 0.02374, 0.02387, 0.02409, 0.02434, 0.02457, 0.02485, 0.02594, 0.03301, 0.05571",\
                 "0.02373, 0.02376, 0.0239, 0.02412, 0.02437, 0.0246, 0.02486, 0.02614, 0.03391, 0.05767",\
                 "0.02367, 0.0237, 0.02384, 0.02404, 0.02429, 0.02452, 0.02481, 0.02642, 0.03563, 0.06128",\
                 "0.02353, 0.02356, 0.02368, 0.02386, 0.02409, 0.02434, 0.02469, 0.027, 0.03881, 0.06686",\
                 "0.02336, 0.02339, 0.02349, 0.02367, 0.02388, 0.02412, 0.02464, 0.02841, 0.04428, 0.07415",\
                 "0.0232, 0.02323, 0.02332, 0.02348, 0.02367, 0.02391, 0.02493, 0.03174, 0.05266, 0.08191",\
                 "0.02307, 0.02309, 0.02317, 0.0233, 0.0235, 0.02386, 0.02641, 0.03893, 0.06308, 0.08698",\
                 "0.02298, 0.023, 0.02308, 0.02319, 0.02335, 0.02453, 0.03196, 0.05025, 0.07005, 0.08526",\
                 "0.02308, 0.0231, 0.02316, 0.02329, 0.02408, 0.02978, 0.04294, 0.05582, 0.06538, 0.07238");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.001728, 0.004284, 0.009164, 0.01677, 0.02744, 0.04147, 0.05916, 0.08075, 0.1065");
          values("0.03202, 0.03205, 0.03213, 0.03223, 0.03232, 0.03237, 0.03237, 0.03235, 0.03233, 0.0323",\
                 "0.03205, 0.03208, 0.03215, 0.03226, 0.03234, 0.03239, 0.0324, 0.03238, 0.03235, 0.03232",\
                 "0.03206, 0.0321, 0.03218, 0.03228, 0.03236, 0.03241, 0.03241, 0.0324, 0.03237, 0.03234",\
                 "0.032, 0.03204, 0.03211, 0.03221, 0.0323, 0.03234, 0.03235, 0.03233, 0.0323, 0.03228",\
                 "0.03187, 0.03189, 0.03197, 0.03208, 0.03216, 0.0322, 0.03222, 0.0322, 0.03217, 0.03215",\
                 "0.03168, 0.03171, 0.03179, 0.0319, 0.03198, 0.03204, 0.03206, 0.03205, 0.03202, 0.03199",\
                 "0.03152, 0.03155, 0.03161, 0.03172, 0.03182, 0.03188, 0.0319, 0.0319, 0.03188, 0.03183",\
                 "0.03138, 0.03141, 0.03148, 0.03158, 0.03168, 0.03175, 0.03179, 0.03179, 0.03176, 0.03167",\
                 "0.03126, 0.03129, 0.03137, 0.03147, 0.03158, 0.03165, 0.0317, 0.0317, 0.0316, 0.03125",\
                 "0.03136, 0.03138, 0.03146, 0.03157, 0.03167, 0.03174, 0.03174, 0.03146, 0.0307, 0.02972");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.001728, 0.004284, 0.009164, 0.01677, 0.02744, 0.04147, 0.05916, 0.08075, 0.1065");
          values("0.05878, 0.05879, 0.05879, 0.05881, 0.05882, 0.05882, 0.05883, 0.05879, 0.05895, 0.06095",\
                 "0.05863, 0.05864, 0.05866, 0.05867, 0.05869, 0.05871, 0.0587, 0.05869, 0.05893, 0.06086",\
                 "0.05848, 0.05849, 0.05851, 0.05853, 0.05855, 0.05857, 0.05856, 0.05853, 0.05881, 0.06117",\
                 "0.05833, 0.05833, 0.05833, 0.05834, 0.05837, 0.05839, 0.05839, 0.05841, 0.05877, 0.06212",\
                 "0.05816, 0.05817, 0.05819, 0.05817, 0.05823, 0.05823, 0.05823, 0.05826, 0.05914, 0.06466",\
                 "0.05802, 0.05803, 0.05803, 0.05805, 0.05808, 0.0581, 0.05809, 0.0583, 0.06055, 0.07166",\
                 "0.05787, 0.05787, 0.05789, 0.0579, 0.05793, 0.05793, 0.058, 0.05923, 0.06692, 0.08975",\
                 "0.05763, 0.05765, 0.05765, 0.05767, 0.05772, 0.05781, 0.05927, 0.06814, 0.09032, 0.1175",\
                 "0.05697, 0.057, 0.05703, 0.05711, 0.05822, 0.06486, 0.07749, 0.08879, 0.09699, 0.1032",\
                 "0.02263, 0.02263, 0.02263, 0.02263, 0.02262, 0.02262, 0.02262, 0.02261, 0.02262, 0.02262");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.001728, 0.004284, 0.009164, 0.01677, 0.02744, 0.04147, 0.05916, 0.08075, 0.1065");
          values("0.000915, 0.0009195, 0.0009182, 0.0009177, 0.0009157, 0.0009156, 0.000914, 0.0009136, 0.0009135, 0.0009137",\
                 "0.0008847, 0.0009044, 0.0009314, 0.0009635, 0.0009904, 0.0009945, 0.001003, 0.001014, 0.001018, 0.001019",\
                 "0.0006604, 0.0007052, 0.0008032, 0.000933, 0.001017, 0.001079, 0.001111, 0.001139, 0.001158, 0.001173",\
                 "0.00029, 0.000345, 0.0005016, 0.0006935, 0.0008619, 0.0009833, 0.001071, 0.00113, 0.001172, 0.001203",\
                 "-3.683e-05, 1.96e-05, 0.0001666, 0.0003854, 0.0006114, 0.0007982, 0.0009323, 0.001031, 0.001104, 0.001155",\
                 "-0.0002384, -0.0001978, -7.995e-05, 0.0001209, 0.0003506, 0.0005719, 0.0007504, 0.0008866, 0.0009875, 0.001066",\
                 "-0.0003304, -0.000303, -0.0002185, -6.645e-05, 0.000142, 0.0003547, 0.0005551, 0.0007205, 0.0008508, 0.0009475",\
                 "-0.0003151, -0.0003027, -0.0002509, -0.0001493, 1.655e-06, 0.0001903, 0.0003847, 0.0005571, 0.0007046, 0.0007986",\
                 "-0.0002171, -0.0002155, -0.0002009, -0.0001474, -4.709e-05, 9.411e-05, 0.0002585, 0.000417, 0.0005305, 0.0004652",\
                 "0.0003257, 0.000322, 0.0003104, 0.0003122, 0.0003579, 0.0004459, 0.0005429, 0.0004798, -8.154e-05, -0.000938");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.001728, 0.004284, 0.009164, 0.01677, 0.02744, 0.04147, 0.05916, 0.08075, 0.1065");
          values("0.02046, 0.02048, 0.0205, 0.02055, 0.02058, 0.02062, 0.02068, 0.02123, 0.02573, 0.04369",\
                 "0.02005, 0.0201, 0.02023, 0.02035, 0.02047, 0.02057, 0.02067, 0.02127, 0.02594, 0.04422",\
                 "0.01933, 0.01939, 0.01959, 0.01985, 0.0201, 0.02031, 0.0205, 0.02126, 0.02647, 0.04595",\
                 "0.01887, 0.01891, 0.01907, 0.01932, 0.01961, 0.01989, 0.02016, 0.02121, 0.02765, 0.04937",\
                 "0.01865, 0.01868, 0.01877, 0.01896, 0.0192, 0.01948, 0.01982, 0.02137, 0.03018, 0.05525",\
                 "0.01857, 0.01859, 0.01867, 0.01878, 0.01895, 0.01919, 0.01959, 0.0223, 0.03529, 0.06407",\
                 "0.01859, 0.0186, 0.01864, 0.01872, 0.01883, 0.019, 0.01982, 0.02549, 0.04495, 0.07484",\
                 "0.01867, 0.01868, 0.01868, 0.01871, 0.0188, 0.01908, 0.0217, 0.03453, 0.05868, 0.08224",\
                 "0.01883, 0.01882, 0.01879, 0.01879, 0.01891, 0.0209, 0.03113, 0.0492, 0.06523, 0.07717",\
                 "0.0181, 0.01809, 0.01807, 0.01822, 0.02127, 0.02981, 0.03775, 0.04365, 0.04795, 0.05108");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.001728, 0.004284, 0.009164, 0.01677, 0.02744, 0.04147, 0.05916, 0.08075, 0.1065");
          values("0.03822, 0.03817, 0.03798, 0.03766, 0.03724, 0.03681, 0.03643, 0.0361, 0.03583, 0.03562",\
                 "0.03812, 0.03806, 0.03789, 0.03757, 0.03715, 0.03672, 0.03632, 0.03599, 0.03572, 0.0355",\
                 "0.03805, 0.03799, 0.03783, 0.03755, 0.03716, 0.03673, 0.03632, 0.03598, 0.03569, 0.03546",\
                 "0.03781, 0.03779, 0.03766, 0.03745, 0.03713, 0.03676, 0.03639, 0.03604, 0.03573, 0.03547",\
                 "0.03743, 0.0374, 0.03733, 0.0372, 0.03699, 0.03672, 0.03643, 0.03611, 0.03582, 0.03555",\
                 "0.03699, 0.03698, 0.03695, 0.03688, 0.03676, 0.03658, 0.03637, 0.03612, 0.03587, 0.03562",\
                 "0.03666, 0.03665, 0.03664, 0.03659, 0.03654, 0.03643, 0.03627, 0.03609, 0.03588, 0.03563",\
                 "0.03636, 0.03634, 0.03635, 0.03634, 0.03632, 0.03626, 0.03616, 0.03602, 0.03582, 0.03544",\
                 "0.03603, 0.03603, 0.03604, 0.03604, 0.03604, 0.036, 0.03592, 0.03571, 0.03516, 0.0341",\
                 "0.03471, 0.03472, 0.03471, 0.03466, 0.03456, 0.03421, 0.03327, 0.0318, 0.03046, 0.0294");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.001728, 0.004284, 0.009164, 0.01677, 0.02744, 0.04147, 0.05916, 0.08075, 0.1065");
          values("0.02685, 0.02685, 0.0268, 0.02665, 0.0264, 0.02608, 0.02574, 0.02546, 0.02516, 0.02532",\
                 "0.02684, 0.02684, 0.02681, 0.02668, 0.02645, 0.02616, 0.02582, 0.02554, 0.02526, 0.02537",\
                 "0.0267, 0.02668, 0.02665, 0.02657, 0.02637, 0.0261, 0.0258, 0.02549, 0.0253, 0.02546",\
                 "0.02594, 0.02594, 0.02591, 0.02585, 0.02577, 0.02563, 0.02542, 0.0252, 0.02504, 0.02535",\
                 "0.02511, 0.02511, 0.02511, 0.02514, 0.02512, 0.02507, 0.02502, 0.02488, 0.02482, 0.02553",\
                 "0.02452, 0.02453, 0.02456, 0.02458, 0.02462, 0.02463, 0.02463, 0.0246, 0.02467, 0.02618",\
                 "0.02411, 0.02412, 0.02414, 0.02415, 0.02421, 0.02429, 0.02433, 0.02434, 0.02476, 0.0281",\
                 "0.02376, 0.02378, 0.02378, 0.02384, 0.02387, 0.02389, 0.024, 0.02423, 0.02569, 0.03382",\
                 "0.0235, 0.02351, 0.02353, 0.02356, 0.02361, 0.0236, 0.02368, 0.02447, 0.03044, 0.05017",\
                 "0.02378, 0.0238, 0.02381, 0.02381, 0.02386, 0.02393, 0.02478, 0.03112, 0.05086, 0.07985");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.001728, 0.004284, 0.009164, 0.01677, 0.02744, 0.04147, 0.05916, 0.08075, 0.1065");
          values("0.03822, 0.03817, 0.03798, 0.03766, 0.03724, 0.03681, 0.03643, 0.0361, 0.03583, 0.03562",\
                 "0.03812, 0.03806, 0.03789, 0.03757, 0.03715, 0.03672, 0.03632, 0.03599, 0.03572, 0.0355",\
                 "0.03805, 0.038, 0.03783, 0.03755, 0.03716, 0.03674, 0.03633, 0.03598, 0.03569, 0.03546",\
                 "0.03782, 0.03778, 0.03766, 0.03745, 0.03713, 0.03676, 0.03639, 0.03605, 0.03573, 0.03547",\
                 "0.03743, 0.0374, 0.03732, 0.0372, 0.03698, 0.03672, 0.03642, 0.03611, 0.03582, 0.03555",\
                 "0.03699, 0.03698, 0.03695, 0.03689, 0.03676, 0.03658, 0.03637, 0.03612, 0.03587, 0.03562",\
                 "0.03664, 0.03664, 0.03663, 0.0366, 0.03654, 0.03643, 0.03627, 0.0361, 0.03588, 0.03564",\
                 "0.03635, 0.03635, 0.03635, 0.03633, 0.03632, 0.03626, 0.03616, 0.03602, 0.03582, 0.03544",\
                 "0.03604, 0.03603, 0.03603, 0.03604, 0.03603, 0.036, 0.03592, 0.03571, 0.03517, 0.03411",\
                 "0.03471, 0.03471, 0.0347, 0.03466, 0.03456, 0.03422, 0.03327, 0.0318, 0.03045, 0.0294");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.001728, 0.004284, 0.009164, 0.01677, 0.02744, 0.04147, 0.05916, 0.08075, 0.1065");
          values("0.02685, 0.02685, 0.02679, 0.02665, 0.0264, 0.02609, 0.02574, 0.02546, 0.02523, 0.02532",\
                 "0.02684, 0.02684, 0.02681, 0.02668, 0.02645, 0.02616, 0.02582, 0.02554, 0.02526, 0.02537",\
                 "0.02669, 0.02668, 0.02665, 0.02657, 0.02637, 0.0261, 0.0258, 0.02549, 0.0253, 0.02544",\
                 "0.02594, 0.02593, 0.02592, 0.02587, 0.02577, 0.02561, 0.02544, 0.0252, 0.02502, 0.02542",\
                 "0.02511, 0.02511, 0.02512, 0.02515, 0.02513, 0.02508, 0.02502, 0.02489, 0.02485, 0.02553",\
                 "0.02453, 0.02452, 0.02456, 0.02457, 0.02462, 0.02465, 0.02464, 0.02462, 0.02467, 0.02616",\
                 "0.02411, 0.02412, 0.02414, 0.02415, 0.02421, 0.02429, 0.02433, 0.02434, 0.02476, 0.02803",\
                 "0.02378, 0.02377, 0.0238, 0.02384, 0.02387, 0.02389, 0.024, 0.02423, 0.02569, 0.03381",\
                 "0.0235, 0.02351, 0.02352, 0.02356, 0.02361, 0.0236, 0.02368, 0.02452, 0.03044, 0.05017",\
                 "0.02378, 0.0238, 0.02382, 0.02381, 0.02389, 0.02391, 0.02478, 0.0312, 0.05076, 0.0798");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.001728, 0.004284, 0.009164, 0.01677, 0.02744, 0.04147, 0.05916, 0.08075, 0.1065");
          values("0.0009183, 0.0009136, 0.0009181, 0.0009175, 0.0009166, 0.0009154, 0.0009149, 0.0009141, 0.0009141, 0.0009133",\
                 "0.0008834, 0.0009033, 0.0009304, 0.0009644, 0.0009878, 0.0009947, 0.001004, 0.001015, 0.001023, 0.00102",\
                 "0.0006537, 0.0007044, 0.0008082, 0.0009207, 0.001018, 0.00108, 0.001112, 0.001141, 0.001159, 0.001171",\
                 "0.0002909, 0.0003432, 0.0004984, 0.0006929, 0.0008656, 0.0009845, 0.001072, 0.001134, 0.001179, 0.001208",\
                 "-3.47e-05, 8.801e-06, 0.0001617, 0.0003857, 0.0006139, 0.0007965, 0.0009363, 0.001035, 0.001104, 0.001157",\
                 "-0.0002392, -0.0002027, -7.54e-05, 0.0001179, 0.0003497, 0.000573, 0.0007513, 0.0008831, 0.0009897, 0.001065",\
                 "-0.000335, -0.0003093, -0.0002202, -6.417e-05, 0.0001399, 0.0003565, 0.0005574, 0.0007206, 0.0008501, 0.000947",\
                 "-0.0003167, -0.0003053, -0.0002534, -0.0001534, 3.611e-06, 0.0001898, 0.0003819, 0.0005594, 0.0007048, 0.0007997",\
                 "-0.0002156, -0.0002165, -0.0001973, -0.00015, -4.675e-05, 9.298e-05, 0.0002592, 0.0004191, 0.0005322, 0.0004689",\
                 "0.0003253, 0.0003216, 0.0003105, 0.0003147, 0.0003544, 0.0004437, 0.0005475, 0.0004792, -7.599e-05, -0.0009324");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.001728, 0.004284, 0.009164, 0.01677, 0.02744, 0.04147, 0.05916, 0.08075, 0.1065");
          values("0.02047, 0.02049, 0.02052, 0.02056, 0.02059, 0.02063, 0.02069, 0.02124, 0.02575, 0.04381",\
                 "0.02006, 0.02011, 0.02024, 0.02037, 0.02049, 0.02058, 0.02069, 0.02129, 0.02594, 0.04423",\
                 "0.01935, 0.0194, 0.0196, 0.01987, 0.02012, 0.02032, 0.02052, 0.02127, 0.02651, 0.04598",\
                 "0.01888, 0.01893, 0.01909, 0.01934, 0.01962, 0.0199, 0.02017, 0.02121, 0.02769, 0.0494",\
                 "0.01867, 0.0187, 0.01879, 0.01898, 0.01923, 0.01952, 0.01984, 0.02141, 0.0302, 0.05532",\
                 "0.01859, 0.01861, 0.01868, 0.0188, 0.01897, 0.0192, 0.0196, 0.0223, 0.0353, 0.06412",\
                 "0.01861, 0.01861, 0.01865, 0.01873, 0.01885, 0.01902, 0.01984, 0.02549, 0.04495, 0.0749",\
                 "0.01869, 0.0187, 0.0187, 0.01873, 0.01884, 0.0191, 0.02173, 0.03454, 0.05868, 0.08227",\
                 "0.01884, 0.01883, 0.01882, 0.01881, 0.01893, 0.0209, 0.03116, 0.04921, 0.06524, 0.07718",\
                 "0.01811, 0.01811, 0.01808, 0.01822, 0.0213, 0.02984, 0.03774, 0.04367, 0.04796, 0.0511");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.001728, 0.004284, 0.009164, 0.01677, 0.02744, 0.04147, 0.05916, 0.08075, 0.1065");
          values("5.992, 6.045, 6.219, 6.514, 6.915, 7.411, 8.002, 8.692, 9.492, 10.42",\
                 "6.052, 6.106, 6.28, 6.574, 6.975, 7.472, 8.063, 8.753, 9.553, 10.48",\
                 "6.238, 6.291, 6.465, 6.76, 7.161, 7.657, 8.248, 8.938, 9.739, 10.66",\
                 "6.545, 6.598, 6.772, 7.067, 7.468, 7.965, 8.555, 9.245, 10.05, 10.97",\
                 "6.906, 6.959, 7.133, 7.429, 7.83, 8.326, 8.916, 9.606, 10.41, 11.33",\
                 "7.25, 7.303, 7.477, 7.772, 8.173, 8.67, 9.26, 9.95, 10.75, 11.67",\
                 "7.557, 7.61, 7.784, 8.079, 8.479, 8.976, 9.566, 10.26, 11.06, 11.98",\
                 "7.811, 7.864, 8.038, 8.332, 8.733, 9.229, 9.819, 10.51, 11.31, 12.24",\
                 "8.01, 8.063, 8.237, 8.532, 8.931, 9.428, 10.02, 10.71, 11.51, 12.43",\
                 "8.143, 8.196, 8.369, 8.663, 9.064, 9.56, 10.15, 10.84, 11.64, 12.56");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.001728, 0.004284, 0.009164, 0.01677, 0.02744, 0.04147, 0.05916, 0.08075, 0.1065");
          values("6.557, 6.639, 6.921, 7.457, 8.285, 9.44, 10.95, 12.86, 15.17, 17.93",\
                 "6.605, 6.687, 6.97, 7.505, 8.333, 9.488, 11, 12.9, 15.22, 17.97",\
                 "6.793, 6.875, 7.158, 7.693, 8.521, 9.677, 11.19, 13.09, 15.41, 18.16",\
                 "7.148, 7.23, 7.513, 8.048, 8.877, 10.03, 11.55, 13.45, 15.76, 18.52",\
                 "7.675, 7.756, 8.039, 8.574, 9.403, 10.56, 12.07, 13.97, 16.29, 19.04",\
                 "8.393, 8.474, 8.757, 9.292, 10.12, 11.28, 12.79, 14.69, 17, 19.76",\
                 "9.319, 9.4, 9.684, 10.22, 11.05, 12.2, 13.71, 15.62, 17.93, 20.69",\
                 "10.43, 10.52, 10.8, 11.33, 12.16, 13.32, 14.83, 16.73, 19.05, 21.8",\
                 "11.68, 11.76, 12.04, 12.58, 13.4, 14.56, 16.07, 17.97, 20.29, 23.05",\
                 "13.04, 13.12, 13.41, 13.94, 14.77, 15.92, 17.44, 19.34, 21.66, 24.41");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.001728, 0.004284, 0.009164, 0.01677, 0.02744, 0.04147, 0.05916, 0.08075, 0.1065");
          values("1.147, 1.202, 1.383, 1.696, 2.139, 2.72, 3.467, 4.406, 5.564, 6.976",\
                 "1.147, 1.202, 1.382, 1.696, 2.139, 2.721, 3.468, 4.406, 5.567, 6.971",\
                 "1.146, 1.201, 1.384, 1.693, 2.136, 2.718, 3.465, 4.406, 5.563, 6.976",\
                 "1.147, 1.201, 1.385, 1.693, 2.139, 2.722, 3.467, 4.405, 5.565, 6.974",\
                 "1.147, 1.202, 1.383, 1.696, 2.137, 2.721, 3.467, 4.408, 5.564, 6.978",\
                 "1.146, 1.201, 1.384, 1.696, 2.136, 2.722, 3.468, 4.406, 5.568, 6.978",\
                 "1.148, 1.202, 1.382, 1.69, 2.136, 2.722, 3.468, 4.408, 5.564, 6.976",\
                 "1.14, 1.196, 1.38, 1.69, 2.136, 2.72, 3.468, 4.408, 5.568, 6.978",\
                 "1.14, 1.194, 1.376, 1.69, 2.132, 2.72, 3.462, 4.4, 5.566, 6.974",\
                 "1.142, 1.198, 1.378, 1.688, 2.13, 2.72, 3.462, 4.4, 5.564, 6.97");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.001728, 0.004284, 0.009164, 0.01677, 0.02744, 0.04147, 0.05916, 0.08075, 0.1065");
          values("1.392, 1.522, 1.965, 2.827, 4.161, 6.046, 8.519, 11.65, 15.45, 20.01",\
                 "1.393, 1.522, 1.967, 2.826, 4.16, 6.046, 8.522, 11.65, 15.45, 20.01",\
                 "1.394, 1.521, 1.967, 2.825, 4.159, 6.047, 8.525, 11.64, 15.45, 19.99",\
                 "1.392, 1.52, 1.967, 2.826, 4.165, 6.045, 8.522, 11.64, 15.46, 20.01",\
                 "1.394, 1.521, 1.967, 2.827, 4.158, 6.044, 8.524, 11.64, 15.45, 19.99",\
                 "1.392, 1.52, 1.966, 2.826, 4.17, 6.046, 8.52, 11.65, 15.45, 19.97",\
                 "1.396, 1.518, 1.964, 2.826, 4.164, 6.046, 8.528, 11.65, 15.44, 19.98",\
                 "1.394, 1.522, 1.966, 2.824, 4.17, 6.05, 8.526, 11.63, 15.46, 20.01",\
                 "1.394, 1.522, 1.966, 2.826, 4.162, 6.044, 8.522, 11.64, 15.46, 20",\
                 "1.396, 1.522, 1.97, 2.826, 4.162, 6.046, 8.518, 11.65, 15.46, 20.01");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.001728, 0.004284, 0.009164, 0.01677, 0.02744, 0.04147, 0.05916, 0.08075, 0.1065");
          values("3.579, 3.611, 3.717, 3.909, 4.191, 4.572, 5.063, 5.675, 6.42, 7.308",\
                 "3.627, 3.659, 3.765, 3.956, 4.239, 4.62, 5.11, 5.723, 6.468, 7.356",\
                 "3.804, 3.836, 3.942, 4.133, 4.416, 4.796, 5.287, 5.9, 6.645, 7.533",\
                 "4.14, 4.172, 4.278, 4.469, 4.752, 5.133, 5.623, 6.236, 6.981, 7.869",\
                 "4.656, 4.688, 4.794, 4.985, 5.267, 5.648, 6.139, 6.752, 7.497, 8.384",\
                 "5.297, 5.328, 5.435, 5.626, 5.908, 6.29, 6.781, 7.393, 8.139, 9.027",\
                 "5.969, 6.001, 6.107, 6.299, 6.582, 6.964, 7.456, 8.068, 8.814, 9.702",\
                 "6.646, 6.678, 6.785, 6.977, 7.26, 7.642, 8.133, 8.746, 9.492, 10.38",\
                 "7.321, 7.352, 7.459, 7.651, 7.934, 8.317, 8.809, 9.422, 10.17, 11.05",\
                 "7.983, 8.015, 8.122, 8.313, 8.597, 8.979, 9.471, 10.08, 10.83, 11.72");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.001728, 0.004284, 0.009164, 0.01677, 0.02744, 0.04147, 0.05916, 0.08075, 0.1065");
          values("6.521, 6.562, 6.701, 6.958, 7.347, 7.884, 8.583, 9.459, 10.53, 11.79",\
                 "6.586, 6.627, 6.766, 7.024, 7.412, 7.949, 8.648, 9.524, 10.59, 11.86",\
                 "6.765, 6.805, 6.944, 7.201, 7.591, 8.127, 8.826, 9.702, 10.77, 12.04",\
                 "7.122, 7.163, 7.302, 7.559, 7.949, 8.485, 9.184, 10.06, 11.13, 12.39",\
                 "7.71, 7.75, 7.889, 8.146, 8.535, 9.073, 9.771, 10.65, 11.71, 12.98",\
                 "8.559, 8.599, 8.739, 8.996, 9.385, 9.921, 10.62, 11.49, 12.56, 13.83",\
                 "9.692, 9.732, 9.871, 10.13, 10.52, 11.05, 11.75, 12.63, 13.69, 14.96",\
                 "11.1, 11.14, 11.28, 11.53, 11.92, 12.46, 13.16, 14.04, 15.1, 16.37",\
                 "12.69, 12.73, 12.87, 13.13, 13.52, 14.06, 14.76, 15.64, 16.7, 17.97",\
                 "14.4, 14.44, 14.58, 14.84, 15.23, 15.77, 16.47, 17.35, 18.41, 19.69");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.001728, 0.004284, 0.009164, 0.01677, 0.02744, 0.04147, 0.05916, 0.08075, 0.1065");
          values("0.5704, 0.6128, 0.7586, 1.032, 1.455, 2.054, 2.847, 3.861, 5.111, 6.603",\
                 "0.5702, 0.6128, 0.7586, 1.033, 1.455, 2.052, 2.849, 3.863, 5.11, 6.597",\
                 "0.5702, 0.6126, 0.7586, 1.033, 1.454, 2.052, 2.849, 3.861, 5.111, 6.603",\
                 "0.5702, 0.6128, 0.759, 1.032, 1.454, 2.051, 2.847, 3.861, 5.109, 6.601",\
                 "0.5702, 0.6126, 0.76, 1.032, 1.455, 2.052, 2.849, 3.861, 5.111, 6.603",\
                 "0.5712, 0.6134, 0.759, 1.032, 1.454, 2.054, 2.848, 3.861, 5.11, 6.6",\
                 "0.572, 0.614, 0.76, 1.034, 1.456, 2.052, 2.85, 3.864, 5.11, 6.604",\
                 "0.574, 0.614, 0.76, 1.034, 1.458, 2.054, 2.848, 3.858, 5.108, 6.6",\
                 "0.578, 0.618, 0.764, 1.038, 1.46, 2.054, 2.852, 3.862, 5.108, 6.592",\
                 "0.578, 0.62, 0.766, 1.038, 1.46, 2.056, 2.85, 3.864, 5.108, 6.598");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.001728, 0.004284, 0.009164, 0.01677, 0.02744, 0.04147, 0.05916, 0.08075, 0.1065");
          values("0.9486, 1.007, 1.216, 1.618, 2.245, 3.132, 4.302, 5.779, 7.577, 9.719",\
                 "0.948, 1.009, 1.217, 1.617, 2.241, 3.132, 4.302, 5.779, 7.577, 9.719",\
                 "0.9482, 1.008, 1.216, 1.615, 2.242, 3.13, 4.303, 5.778, 7.576, 9.72",\
                 "0.9506, 1.008, 1.215, 1.615, 2.242, 3.133, 4.301, 5.78, 7.578, 9.72",\
                 "0.947, 1.008, 1.217, 1.613, 2.241, 3.13, 4.304, 5.778, 7.576, 9.72",\
                 "0.948, 1.008, 1.216, 1.616, 2.24, 3.132, 4.304, 5.776, 7.576, 9.716",\
                 "0.946, 1.008, 1.218, 1.616, 2.244, 3.132, 4.3, 5.772, 7.578, 9.72",\
                 "0.95, 1.01, 1.216, 1.616, 2.242, 3.13, 4.3, 5.778, 7.574, 9.712",\
                 "0.95, 1.01, 1.216, 1.616, 2.244, 3.13, 4.302, 5.778, 7.572, 9.72",\
                 "0.948, 1.01, 1.218, 1.618, 2.24, 3.126, 4.3, 5.774, 7.574, 9.718");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.001728, 0.004284, 0.009164, 0.01677, 0.02744, 0.04147, 0.05916, 0.08075, 0.1065");
          values("5.992, 6.045, 6.219, 6.514, 6.915, 7.411, 8.002, 8.692, 9.492, 10.42",\
                 "6.052, 6.106, 6.28, 6.574, 6.975, 7.472, 8.063, 8.753, 9.553, 10.48",\
                 "6.238, 6.291, 6.465, 6.76, 7.161, 7.657, 8.248, 8.938, 9.739, 10.66",\
                 "6.545, 6.598, 6.772, 7.067, 7.468, 7.965, 8.555, 9.245, 10.05, 10.97",\
                 "6.906, 6.959, 7.133, 7.429, 7.83, 8.326, 8.916, 9.606, 10.41, 11.33",\
                 "7.25, 7.303, 7.477, 7.772, 8.173, 8.67, 9.26, 9.95, 10.75, 11.67",\
                 "7.557, 7.61, 7.784, 8.079, 8.479, 8.976, 9.566, 10.26, 11.06, 11.98",\
                 "7.811, 7.864, 8.038, 8.332, 8.733, 9.229, 9.819, 10.51, 11.31, 12.24",\
                 "8.01, 8.063, 8.237, 8.532, 8.931, 9.428, 10.02, 10.71, 11.51, 12.43",\
                 "8.143, 8.196, 8.369, 8.663, 9.064, 9.56, 10.15, 10.84, 11.64, 12.56");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.001728, 0.004284, 0.009164, 0.01677, 0.02744, 0.04147, 0.05916, 0.08075, 0.1065");
          values("6.557, 6.639, 6.921, 7.457, 8.285, 9.44, 10.95, 12.86, 15.17, 17.93",\
                 "6.605, 6.687, 6.97, 7.505, 8.333, 9.488, 11, 12.9, 15.22, 17.97",\
                 "6.793, 6.875, 7.158, 7.693, 8.521, 9.677, 11.19, 13.09, 15.41, 18.16",\
                 "7.148, 7.23, 7.513, 8.048, 8.877, 10.03, 11.55, 13.45, 15.76, 18.52",\
                 "7.675, 7.756, 8.039, 8.574, 9.403, 10.56, 12.07, 13.97, 16.29, 19.04",\
                 "8.393, 8.474, 8.757, 9.292, 10.12, 11.28, 12.79, 14.69, 17, 19.76",\
                 "9.319, 9.4, 9.684, 10.22, 11.05, 12.2, 13.71, 15.62, 17.93, 20.69",\
                 "10.43, 10.52, 10.8, 11.33, 12.16, 13.32, 14.83, 16.73, 19.05, 21.8",\
                 "11.68, 11.76, 12.04, 12.58, 13.4, 14.56, 16.07, 17.97, 20.29, 23.05",\
                 "13.04, 13.12, 13.41, 13.94, 14.77, 15.92, 17.44, 19.34, 21.66, 24.41");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.001728, 0.004284, 0.009164, 0.01677, 0.02744, 0.04147, 0.05916, 0.08075, 0.1065");
          values("1.147, 1.202, 1.383, 1.696, 2.139, 2.72, 3.467, 4.406, 5.564, 6.976",\
                 "1.147, 1.202, 1.382, 1.696, 2.139, 2.721, 3.468, 4.406, 5.567, 6.971",\
                 "1.146, 1.201, 1.384, 1.693, 2.136, 2.718, 3.465, 4.406, 5.563, 6.976",\
                 "1.147, 1.201, 1.385, 1.693, 2.139, 2.722, 3.467, 4.405, 5.565, 6.974",\
                 "1.147, 1.202, 1.383, 1.696, 2.137, 2.721, 3.467, 4.408, 5.564, 6.978",\
                 "1.146, 1.201, 1.384, 1.696, 2.136, 2.722, 3.468, 4.406, 5.568, 6.978",\
                 "1.148, 1.202, 1.382, 1.69, 2.136, 2.722, 3.468, 4.408, 5.564, 6.976",\
                 "1.14, 1.196, 1.38, 1.69, 2.136, 2.72, 3.468, 4.408, 5.568, 6.978",\
                 "1.14, 1.194, 1.376, 1.69, 2.132, 2.72, 3.462, 4.4, 5.566, 6.974",\
                 "1.142, 1.198, 1.378, 1.688, 2.13, 2.72, 3.462, 4.4, 5.564, 6.97");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.001728, 0.004284, 0.009164, 0.01677, 0.02744, 0.04147, 0.05916, 0.08075, 0.1065");
          values("1.392, 1.522, 1.965, 2.827, 4.161, 6.046, 8.519, 11.65, 15.45, 20.01",\
                 "1.393, 1.522, 1.967, 2.826, 4.16, 6.046, 8.522, 11.65, 15.45, 20.01",\
                 "1.394, 1.521, 1.967, 2.825, 4.159, 6.047, 8.525, 11.64, 15.45, 19.99",\
                 "1.392, 1.52, 1.967, 2.826, 4.165, 6.045, 8.522, 11.64, 15.46, 20.01",\
                 "1.394, 1.521, 1.967, 2.827, 4.158, 6.044, 8.524, 11.64, 15.45, 19.99",\
                 "1.392, 1.52, 1.966, 2.826, 4.17, 6.046, 8.52, 11.65, 15.45, 19.97",\
                 "1.396, 1.518, 1.964, 2.826, 4.164, 6.046, 8.528, 11.65, 15.44, 19.98",\
                 "1.394, 1.522, 1.966, 2.824, 4.17, 6.05, 8.526, 11.63, 15.46, 20.01",\
                 "1.394, 1.522, 1.966, 2.826, 4.162, 6.044, 8.522, 11.64, 15.46, 20",\
                 "1.396, 1.522, 1.97, 2.826, 4.162, 6.046, 8.518, 11.65, 15.46, 20.01");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.001728, 0.004284, 0.009164, 0.01677, 0.02744, 0.04147, 0.05916, 0.08075, 0.1065");
          values("7.305, 7.337, 7.443, 7.634, 7.916, 8.297, 8.787, 9.399, 10.14, 11.03",\
                 "7.354, 7.385, 7.491, 7.682, 7.964, 8.345, 8.835, 9.447, 10.19, 11.08",\
                 "7.542, 7.573, 7.679, 7.87, 8.152, 8.533, 9.023, 9.635, 10.38, 11.27",\
                 "7.897, 7.928, 8.035, 8.225, 8.507, 8.888, 9.378, 9.991, 10.74, 11.62",\
                 "8.423, 8.454, 8.56, 8.751, 9.033, 9.414, 9.904, 10.52, 11.26, 12.15",\
                 "9.141, 9.172, 9.279, 9.469, 9.751, 10.13, 10.62, 11.23, 11.98, 12.87",\
                 "10.07, 10.1, 10.21, 10.4, 10.68, 11.06, 11.55, 12.16, 12.91, 13.79",\
                 "11.18, 11.21, 11.32, 11.51, 11.79, 12.18, 12.66, 13.28, 14.02, 14.91",\
                 "12.43, 12.46, 12.56, 12.76, 13.04, 13.42, 13.91, 14.52, 15.27, 16.15",\
                 "13.79, 13.83, 13.93, 14.12, 14.41, 14.79, 15.28, 15.89, 16.64, 17.52");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.001728, 0.004284, 0.009164, 0.01677, 0.02744, 0.04147, 0.05916, 0.08075, 0.1065");
          values("7.849, 7.889, 8.028, 8.286, 8.675, 9.212, 9.911, 10.79, 11.85, 13.12",\
                 "7.909, 7.95, 8.089, 8.346, 8.736, 9.272, 9.971, 10.85, 11.91, 13.18",\
                 "8.095, 8.135, 8.275, 8.532, 8.921, 9.458, 10.16, 11.03, 12.1, 13.37",\
                 "8.402, 8.443, 8.582, 8.839, 9.229, 9.764, 10.46, 11.34, 12.4, 13.67",\
                 "8.764, 8.804, 8.943, 9.201, 9.59, 10.13, 10.83, 11.7, 12.77, 14.04",\
                 "9.107, 9.148, 9.287, 9.544, 9.934, 10.47, 11.17, 12.04, 13.11, 14.38",\
                 "9.414, 9.455, 9.594, 9.851, 10.24, 10.78, 11.48, 12.35, 13.42, 14.68",\
                 "9.666, 9.706, 9.846, 10.1, 10.49, 11.03, 11.73, 12.6, 13.67, 14.94",\
                 "9.866, 9.907, 10.05, 10.3, 10.69, 11.23, 11.93, 12.8, 13.87, 15.14",\
                 "9.999, 10.04, 10.18, 10.43, 10.83, 11.36, 12.06, 12.94, 14, 15.27");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.001728, 0.004284, 0.009164, 0.01677, 0.02744, 0.04147, 0.05916, 0.08075, 0.1065");
          values("0.5686, 0.611, 0.756, 1.031, 1.454, 2.053, 2.848, 3.861, 5.109, 6.602",\
                 "0.569, 0.6098, 0.756, 1.031, 1.454, 2.053, 2.848, 3.863, 5.109, 6.602",\
                 "0.5692, 0.611, 0.757, 1.031, 1.455, 2.053, 2.847, 3.862, 5.11, 6.604",\
                 "0.569, 0.6106, 0.7572, 1.031, 1.455, 2.053, 2.849, 3.862, 5.11, 6.602",\
                 "0.568, 0.61, 0.756, 1.03, 1.454, 2.054, 2.846, 3.86, 5.108, 6.604",\
                 "0.568, 0.61, 0.756, 1.032, 1.456, 2.052, 2.848, 3.864, 5.106, 6.602",\
                 "0.57, 0.612, 0.758, 1.03, 1.456, 2.052, 2.846, 3.862, 5.11, 6.602",\
                 "0.568, 0.61, 0.756, 1.03, 1.456, 2.05, 2.846, 3.86, 5.106, 6.604",\
                 "0.568, 0.61, 0.756, 1.032, 1.456, 2.05, 2.85, 3.864, 5.104, 6.596",\
                 "0.568, 0.61, 0.756, 1.028, 1.454, 2.054, 2.846, 3.862, 5.108, 6.594");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.001728, 0.004284, 0.009164, 0.01677, 0.02744, 0.04147, 0.05916, 0.08075, 0.1065");
          values("0.9468, 1.009, 1.216, 1.614, 2.244, 3.132, 4.303, 5.773, 7.575, 9.718",\
                 "0.9488, 1.01, 1.219, 1.617, 2.243, 3.131, 4.303, 5.777, 7.576, 9.72",\
                 "0.9488, 1.007, 1.217, 1.617, 2.243, 3.132, 4.303, 5.773, 7.576, 9.722",\
                 "0.9478, 1.009, 1.217, 1.614, 2.244, 3.131, 4.302, 5.778, 7.574, 9.72",\
                 "0.95, 1.008, 1.216, 1.618, 2.244, 3.132, 4.302, 5.772, 7.576, 9.72",\
                 "0.948, 1.008, 1.22, 1.614, 2.242, 3.132, 4.302, 5.774, 7.578, 9.72",\
                 "0.946, 1.008, 1.218, 1.614, 2.244, 3.13, 4.298, 5.778, 7.578, 9.718",\
                 "0.946, 1.008, 1.218, 1.616, 2.246, 3.13, 4.298, 5.774, 7.574, 9.718",\
                 "0.95, 1.01, 1.218, 1.618, 2.24, 3.128, 4.302, 5.776, 7.576, 9.714",\
                 "0.95, 1.01, 1.214, 1.616, 2.242, 3.128, 4.302, 5.782, 7.574, 9.712");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.001728, 0.004284, 0.009164, 0.01677, 0.02744, 0.04147, 0.05916, 0.08075, 0.1065");
          values("4.669, 4.721, 4.894, 5.187, 5.584, 6.077, 6.664, 7.352, 8.15, 9.072",\
                 "4.734, 4.786, 4.959, 5.252, 5.649, 6.142, 6.729, 7.417, 8.215, 9.137",\
                 "4.912, 4.964, 5.137, 5.429, 5.828, 6.321, 6.908, 7.596, 8.394, 9.316",\
                 "5.269, 5.321, 5.494, 5.787, 6.185, 6.678, 7.266, 7.953, 8.751, 9.673",\
                 "5.857, 5.91, 6.082, 6.375, 6.773, 7.266, 7.854, 8.54, 9.338, 10.26",\
                 "6.706, 6.759, 6.931, 7.224, 7.622, 8.116, 8.703, 9.391, 10.19, 11.11",\
                 "7.839, 7.891, 8.064, 8.356, 8.754, 9.248, 9.836, 10.52, 11.32, 12.24",\
                 "9.235, 9.289, 9.463, 9.759, 10.16, 10.66, 11.24, 11.94, 12.73, 13.66",\
                 "10.8, 10.85, 11.04, 11.34, 11.75, 12.26, 12.86, 13.55, 14.35, 15.28",\
                 "12.45, 12.51, 12.71, 13.03, 13.46, 13.98, 14.59, 15.29, 16.1, 17.03");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.001728, 0.004284, 0.009164, 0.01677, 0.02744, 0.04147, 0.05916, 0.08075, 0.1065");
          values("2.781, 2.865, 3.154, 3.697, 4.529, 5.686, 7.2, 9.101, 11.41, 14.17",\
                 "2.828, 2.912, 3.202, 3.744, 4.577, 5.734, 7.248, 9.149, 11.46, 14.22",\
                 "3.006, 3.089, 3.379, 3.921, 4.754, 5.911, 7.426, 9.326, 11.64, 14.39",\
                 "3.343, 3.427, 3.715, 4.256, 5.088, 6.245, 7.759, 9.661, 11.98, 14.74",\
                 "3.859, 3.942, 4.229, 4.768, 5.598, 6.755, 8.269, 10.17, 12.49, 15.25",\
                 "4.491, 4.575, 4.863, 5.401, 6.229, 7.385, 8.899, 10.8, 13.12, 15.88",\
                 "5.146, 5.23, 5.521, 6.061, 6.89, 8.044, 9.557, 11.46, 13.78, 16.53",\
                 "5.805, 5.89, 6.182, 6.724, 7.553, 8.708, 10.22, 12.12, 14.44, 17.2",\
                 "6.456, 6.542, 6.838, 7.382, 8.212, 9.366, 10.88, 12.78, 15.1, 17.86",\
                 "7.089, 7.179, 7.478, 8.027, 8.858, 10.01, 11.53, 13.43, 15.74, 18.5");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.001728, 0.004284, 0.009164, 0.01677, 0.02744, 0.04147, 0.05916, 0.08075, 0.1065");
          values("1.134, 1.188, 1.372, 1.68, 2.124, 2.709, 3.454, 4.392, 5.554, 6.964",\
                 "1.133, 1.188, 1.372, 1.679, 2.125, 2.709, 3.455, 4.393, 5.552, 6.965",\
                 "1.135, 1.188, 1.371, 1.682, 2.121, 2.707, 3.454, 4.392, 5.554, 6.965",\
                 "1.134, 1.188, 1.37, 1.681, 2.124, 2.705, 3.451, 4.391, 5.55, 6.963",\
                 "1.133, 1.187, 1.37, 1.681, 2.12, 2.706, 3.454, 4.393, 5.55, 6.962",\
                 "1.133, 1.189, 1.369, 1.681, 2.124, 2.708, 3.45, 4.392, 5.552, 6.964",\
                 "1.136, 1.194, 1.37, 1.68, 2.124, 2.706, 3.456, 4.394, 5.554, 6.964",\
                 "1.162, 1.216, 1.398, 1.704, 2.144, 2.722, 3.462, 4.4, 5.554, 6.966",\
                 "1.242, 1.296, 1.47, 1.772, 2.21, 2.776, 3.504, 4.432, 5.58, 6.978",\
                 "1.34, 1.394, 1.574, 1.878, 2.3, 2.864, 3.586, 4.502, 5.636, 7.022");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.001728, 0.004284, 0.009164, 0.01677, 0.02744, 0.04147, 0.05916, 0.08075, 0.1065");
          values("1.431, 1.555, 1.995, 2.838, 4.17, 6.048, 8.524, 11.64, 15.46, 20",\
                 "1.432, 1.554, 1.994, 2.841, 4.173, 6.055, 8.524, 11.64, 15.46, 19.99",\
                 "1.431, 1.554, 1.993, 2.841, 4.173, 6.052, 8.525, 11.65, 15.45, 20",\
                 "1.431, 1.554, 1.993, 2.839, 4.174, 6.05, 8.527, 11.64, 15.45, 20.01",\
                 "1.435, 1.557, 1.995, 2.839, 4.174, 6.055, 8.526, 11.64, 15.45, 20",\
                 "1.444, 1.567, 2.003, 2.845, 4.174, 6.054, 8.523, 11.64, 15.45, 20",\
                 "1.465, 1.586, 2.018, 2.855, 4.174, 6.048, 8.524, 11.64, 15.44, 19.98",\
                 "1.486, 1.608, 2.038, 2.868, 4.182, 6.052, 8.53, 11.65, 15.44, 19.99",\
                 "1.52, 1.64, 2.064, 2.884, 4.194, 6.06, 8.524, 11.64, 15.45, 20.01",\
                 "1.556, 1.676, 2.092, 2.904, 4.202, 6.062, 8.536, 11.65, 15.45, 20");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.001728, 0.004284, 0.009164, 0.01677, 0.02744, 0.04147, 0.05916, 0.08075, 0.1065");
          values("7.305, 7.337, 7.443, 7.634, 7.916, 8.297, 8.787, 9.399, 10.14, 11.03",\
                 "7.354, 7.385, 7.491, 7.682, 7.964, 8.345, 8.835, 9.447, 10.19, 11.08",\
                 "7.542, 7.573, 7.679, 7.87, 8.152, 8.533, 9.023, 9.635, 10.38, 11.27",\
                 "7.897, 7.928, 8.035, 8.225, 8.507, 8.888, 9.378, 9.991, 10.74, 11.62",\
                 "8.423, 8.454, 8.56, 8.751, 9.033, 9.414, 9.904, 10.52, 11.26, 12.15",\
                 "9.141, 9.172, 9.279, 9.469, 9.751, 10.13, 10.62, 11.23, 11.98, 12.87",\
                 "10.07, 10.1, 10.21, 10.4, 10.68, 11.06, 11.55, 12.16, 12.91, 13.79",\
                 "11.18, 11.21, 11.32, 11.51, 11.79, 12.18, 12.66, 13.28, 14.02, 14.91",\
                 "12.43, 12.46, 12.56, 12.76, 13.04, 13.42, 13.91, 14.52, 15.27, 16.15",\
                 "13.79, 13.83, 13.93, 14.12, 14.41, 14.79, 15.28, 15.89, 16.64, 17.52");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.001728, 0.004284, 0.009164, 0.01677, 0.02744, 0.04147, 0.05916, 0.08075, 0.1065");
          values("2.781, 2.865, 3.154, 3.697, 4.529, 5.686, 7.2, 9.101, 11.41, 14.17",\
                 "2.828, 2.912, 3.202, 3.744, 4.577, 5.734, 7.248, 9.149, 11.46, 14.22",\
                 "3.006, 3.089, 3.379, 3.921, 4.754, 5.911, 7.426, 9.326, 11.64, 14.39",\
                 "3.343, 3.427, 3.715, 4.256, 5.088, 6.245, 7.759, 9.661, 11.98, 14.74",\
                 "3.859, 3.942, 4.229, 4.768, 5.598, 6.755, 8.269, 10.17, 12.49, 15.25",\
                 "4.491, 4.575, 4.863, 5.401, 6.229, 7.385, 8.899, 10.8, 13.12, 15.88",\
                 "5.146, 5.23, 5.521, 6.061, 6.89, 8.044, 9.557, 11.46, 13.78, 16.53",\
                 "5.805, 5.89, 6.182, 6.724, 7.553, 8.708, 10.22, 12.12, 14.44, 17.2",\
                 "6.456, 6.542, 6.838, 7.382, 8.212, 9.366, 10.88, 12.78, 15.1, 17.86",\
                 "7.089, 7.179, 7.478, 8.027, 8.858, 10.01, 11.53, 13.43, 15.74, 18.5");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.001728, 0.004284, 0.009164, 0.01677, 0.02744, 0.04147, 0.05916, 0.08075, 0.1065");
          values("1.134, 1.188, 1.372, 1.68, 2.124, 2.709, 3.454, 4.392, 5.554, 6.964",\
                 "1.133, 1.188, 1.372, 1.679, 2.125, 2.709, 3.455, 4.393, 5.552, 6.965",\
                 "1.135, 1.188, 1.371, 1.682, 2.121, 2.707, 3.454, 4.392, 5.554, 6.965",\
                 "1.134, 1.188, 1.37, 1.681, 2.124, 2.705, 3.451, 4.391, 5.55, 6.963",\
                 "1.133, 1.187, 1.37, 1.681, 2.12, 2.706, 3.454, 4.393, 5.55, 6.962",\
                 "1.133, 1.189, 1.369, 1.681, 2.124, 2.708, 3.45, 4.392, 5.552, 6.964",\
                 "1.136, 1.194, 1.37, 1.68, 2.124, 2.706, 3.456, 4.394, 5.554, 6.964",\
                 "1.162, 1.216, 1.398, 1.704, 2.144, 2.722, 3.462, 4.4, 5.554, 6.966",\
                 "1.242, 1.296, 1.47, 1.772, 2.21, 2.776, 3.504, 4.432, 5.58, 6.978",\
                 "1.34, 1.394, 1.574, 1.878, 2.3, 2.864, 3.586, 4.502, 5.636, 7.022");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.001728, 0.004284, 0.009164, 0.01677, 0.02744, 0.04147, 0.05916, 0.08075, 0.1065");
          values("1.431, 1.555, 1.995, 2.838, 4.17, 6.048, 8.524, 11.64, 15.46, 20",\
                 "1.432, 1.554, 1.994, 2.841, 4.173, 6.055, 8.524, 11.64, 15.46, 19.99",\
                 "1.431, 1.554, 1.993, 2.841, 4.173, 6.052, 8.525, 11.65, 15.45, 20",\
                 "1.431, 1.554, 1.993, 2.839, 4.174, 6.05, 8.527, 11.64, 15.45, 20.01",\
                 "1.435, 1.557, 1.995, 2.839, 4.174, 6.055, 8.526, 11.64, 15.45, 20",\
                 "1.444, 1.567, 2.003, 2.845, 4.174, 6.054, 8.523, 11.64, 15.45, 20",\
                 "1.465, 1.586, 2.018, 2.855, 4.174, 6.048, 8.524, 11.64, 15.44, 19.98",\
                 "1.486, 1.608, 2.038, 2.868, 4.182, 6.052, 8.53, 11.65, 15.44, 19.99",\
                 "1.52, 1.64, 2.064, 2.884, 4.194, 6.06, 8.524, 11.64, 15.45, 20.01",\
                 "1.556, 1.676, 2.092, 2.904, 4.202, 6.062, 8.536, 11.65, 15.45, 20");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.001728, 0.004284, 0.009164, 0.01677, 0.02744, 0.04147, 0.05916, 0.08075, 0.1065");
          values("5.681, 5.733, 5.906, 6.198, 6.596, 7.089, 7.677, 8.364, 9.162, 10.08",\
                 "5.737, 5.79, 5.962, 6.254, 6.652, 7.145, 7.733, 8.42, 9.218, 10.14",\
                 "5.915, 5.968, 6.14, 6.433, 6.832, 7.324, 7.911, 8.599, 9.397, 10.32",\
                 "6.226, 6.278, 6.451, 6.743, 7.141, 7.635, 8.222, 8.91, 9.708, 10.63",\
                 "6.579, 6.632, 6.805, 7.097, 7.495, 7.988, 8.575, 9.263, 10.06, 10.98",\
                 "6.91, 6.963, 7.135, 7.428, 7.826, 8.32, 8.907, 9.594, 10.39, 11.31",\
                 "7.199, 7.251, 7.424, 7.717, 8.114, 8.608, 9.196, 9.883, 10.68, 11.6",\
                 "7.444, 7.497, 7.669, 7.961, 8.358, 8.851, 9.438, 10.12, 10.92, 11.84",\
                 "7.624, 7.677, 7.849, 8.141, 8.539, 9.032, 9.619, 10.3, 11.1, 12.02",\
                 "7.732, 7.784, 7.958, 8.25, 8.648, 9.141, 9.728, 10.41, 11.21, 12.13");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.001728, 0.004284, 0.009164, 0.01677, 0.02744, 0.04147, 0.05916, 0.08075, 0.1065");
          values("6.336, 6.418, 6.7, 7.236, 8.064, 9.219, 10.73, 12.63, 14.95, 17.71",\
                 "6.368, 6.449, 6.732, 7.268, 8.095, 9.251, 10.76, 12.67, 14.98, 17.74",\
                 "6.518, 6.599, 6.882, 7.417, 8.245, 9.4, 10.91, 12.81, 15.13, 17.89",\
                 "6.871, 6.952, 7.234, 7.77, 8.598, 9.753, 11.27, 13.17, 15.48, 18.24",\
                 "7.467, 7.548, 7.83, 8.366, 9.194, 10.35, 11.86, 13.76, 16.08, 18.84",\
                 "8.323, 8.404, 8.687, 9.223, 10.05, 11.21, 12.72, 14.62, 16.94, 19.69",\
                 "9.458, 9.539, 9.822, 10.36, 11.18, 12.34, 13.85, 15.75, 18.07, 20.83",\
                 "10.83, 10.91, 11.2, 11.73, 12.56, 13.71, 15.23, 17.13, 19.45, 22.2",\
                 "12.35, 12.44, 12.72, 13.25, 14.08, 15.24, 16.75, 18.65, 20.97, 23.72",\
                 "13.99, 14.07, 14.35, 14.89, 15.71, 16.87, 18.38, 20.29, 22.6, 25.36");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.001728, 0.004284, 0.009164, 0.01677, 0.02744, 0.04147, 0.05916, 0.08075, 0.1065");
          values("1.135, 1.19, 1.37, 1.68, 2.124, 2.704, 3.451, 4.39, 5.552, 6.962",\
                 "1.133, 1.188, 1.372, 1.68, 2.125, 2.706, 3.453, 4.393, 5.554, 6.964",\
                 "1.135, 1.19, 1.372, 1.681, 2.12, 2.706, 3.452, 4.391, 5.551, 6.962",\
                 "1.135, 1.189, 1.371, 1.682, 2.124, 2.706, 3.453, 4.393, 5.551, 6.964",\
                 "1.134, 1.188, 1.37, 1.681, 2.12, 2.704, 3.451, 4.392, 5.552, 6.964",\
                 "1.132, 1.188, 1.371, 1.678, 2.124, 2.706, 3.454, 4.39, 5.55, 6.964",\
                 "1.134, 1.184, 1.368, 1.678, 2.118, 2.706, 3.452, 4.392, 5.554, 6.958",\
                 "1.13, 1.184, 1.364, 1.676, 2.116, 2.7, 3.444, 4.386, 5.544, 6.96",\
                 "1.132, 1.188, 1.37, 1.676, 2.116, 2.7, 3.446, 4.384, 5.542, 6.948",\
                 "1.132, 1.186, 1.364, 1.678, 2.116, 2.702, 3.446, 4.384, 5.544, 6.948");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.001728, 0.004284, 0.009164, 0.01677, 0.02744, 0.04147, 0.05916, 0.08075, 0.1065");
          values("1.396, 1.522, 1.966, 2.826, 4.159, 6.049, 8.53, 11.64, 15.45, 20.01",\
                 "1.396, 1.521, 1.968, 2.826, 4.162, 6.049, 8.52, 11.65, 15.45, 20",\
                 "1.392, 1.521, 1.964, 2.826, 4.16, 6.045, 8.522, 11.64, 15.46, 20",\
                 "1.394, 1.52, 1.968, 2.826, 4.165, 6.048, 8.524, 11.65, 15.45, 20.01",\
                 "1.394, 1.518, 1.968, 2.827, 4.16, 6.046, 8.522, 11.65, 15.45, 19.98",\
                 "1.394, 1.52, 1.968, 2.826, 4.162, 6.046, 8.52, 11.64, 15.45, 19.98",\
                 "1.392, 1.52, 1.964, 2.822, 4.162, 6.046, 8.528, 11.65, 15.44, 20",\
                 "1.394, 1.52, 1.966, 2.826, 4.17, 6.05, 8.522, 11.64, 15.45, 20",\
                 "1.398, 1.522, 1.968, 2.824, 4.162, 6.044, 8.528, 11.64, 15.46, 20",\
                 "1.396, 1.522, 1.968, 2.822, 4.166, 6.044, 8.522, 11.64, 15.45, 19.99");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.001728, 0.004284, 0.009164, 0.01677, 0.02744, 0.04147, 0.05916, 0.08075, 0.1065");
          values("3.631, 3.662, 3.768, 3.96, 4.242, 4.623, 5.114, 5.726, 6.472, 7.359",\
                 "3.69, 3.721, 3.827, 4.019, 4.301, 4.682, 5.173, 5.785, 6.53, 7.418",\
                 "3.859, 3.89, 3.997, 4.188, 4.47, 4.851, 5.342, 5.954, 6.7, 7.587",\
                 "4.145, 4.177, 4.283, 4.474, 4.757, 5.138, 5.628, 6.241, 6.986, 7.873",\
                 "4.575, 4.606, 4.713, 4.904, 5.186, 5.567, 6.058, 6.671, 7.415, 8.303",\
                 "5.12, 5.152, 5.258, 5.45, 5.732, 6.114, 6.604, 7.217, 7.962, 8.85",\
                 "5.719, 5.75, 5.857, 6.048, 6.331, 6.713, 7.204, 7.817, 8.562, 9.45",\
                 "6.346, 6.378, 6.485, 6.676, 6.959, 7.341, 7.833, 8.446, 9.191, 10.08",\
                 "6.988, 7.02, 7.127, 7.319, 7.602, 7.985, 8.477, 9.09, 9.835, 10.72",\
                 "7.632, 7.663, 7.77, 7.963, 8.246, 8.629, 9.121, 9.735, 10.48, 11.37");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.001728, 0.004284, 0.009164, 0.01677, 0.02744, 0.04147, 0.05916, 0.08075, 0.1065");
          values("6.907, 6.948, 7.087, 7.343, 7.732, 8.269, 8.968, 9.844, 10.91, 12.18",\
                 "6.94, 6.981, 7.12, 7.377, 7.766, 8.303, 9.002, 9.878, 10.94, 12.21",\
                 "7.123, 7.163, 7.303, 7.56, 7.949, 8.486, 9.185, 10.06, 11.13, 12.39",\
                 "7.497, 7.538, 7.675, 7.932, 8.322, 8.859, 9.557, 10.43, 11.5, 12.77",\
                 "8.096, 8.137, 8.276, 8.532, 8.923, 9.458, 10.16, 11.03, 12.1, 13.37",\
                 "8.953, 8.994, 9.133, 9.39, 9.78, 10.32, 11.02, 11.89, 12.96, 14.23",\
                 "10.09, 10.13, 10.27, 10.53, 10.92, 11.45, 12.15, 13.03, 14.1, 15.36",\
                 "11.51, 11.56, 11.69, 11.95, 12.34, 12.88, 13.58, 14.45, 15.52, 16.79",\
                 "13.16, 13.2, 13.34, 13.6, 13.99, 14.53, 15.23, 16.1, 17.17, 18.44",\
                 "14.94, 14.98, 15.12, 15.38, 15.77, 16.3, 17, 17.88, 18.95, 20.22");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.001728, 0.004284, 0.009164, 0.01677, 0.02744, 0.04147, 0.05916, 0.08075, 0.1065");
          values("0.57, 0.613, 0.7586, 1.032, 1.454, 2.052, 2.849, 3.863, 5.109, 6.597",\
                 "0.5702, 0.6126, 0.7588, 1.032, 1.455, 2.051, 2.847, 3.861, 5.111, 6.603",\
                 "0.5698, 0.6134, 0.7588, 1.032, 1.455, 2.054, 2.849, 3.862, 5.108, 6.604",\
                 "0.5702, 0.6128, 0.7588, 1.032, 1.455, 2.054, 2.849, 3.863, 5.108, 6.601",\
                 "0.5704, 0.6118, 0.7582, 1.032, 1.455, 2.053, 2.847, 3.861, 5.111, 6.604",\
                 "0.571, 0.6124, 0.7588, 1.034, 1.455, 2.054, 2.849, 3.864, 5.109, 6.6",\
                 "0.572, 0.614, 0.76, 1.034, 1.456, 2.052, 2.848, 3.862, 5.11, 6.602",\
                 "0.574, 0.616, 0.762, 1.036, 1.458, 2.052, 2.848, 3.862, 5.104, 6.596",\
                 "0.574, 0.618, 0.762, 1.034, 1.46, 2.054, 2.848, 3.86, 5.108, 6.594",\
                 "0.576, 0.62, 0.764, 1.04, 1.46, 2.054, 2.85, 3.862, 5.104, 6.6");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.001728, 0.004284, 0.009164, 0.01677, 0.02744, 0.04147, 0.05916, 0.08075, 0.1065");
          values("0.9478, 1.008, 1.218, 1.618, 2.243, 3.132, 4.3, 5.778, 7.573, 9.715",\
                 "0.9484, 1.008, 1.216, 1.615, 2.242, 3.13, 4.301, 5.778, 7.576, 9.72",\
                 "0.9458, 1.007, 1.216, 1.618, 2.242, 3.131, 4.299, 5.774, 7.575, 9.72",\
                 "0.948, 1.009, 1.219, 1.618, 2.242, 3.131, 4.302, 5.775, 7.576, 9.714",\
                 "0.9462, 1.008, 1.217, 1.617, 2.24, 3.13, 4.302, 5.778, 7.574, 9.714",\
                 "0.95, 1.008, 1.214, 1.616, 2.242, 3.13, 4.302, 5.778, 7.574, 9.72",\
                 "0.948, 1.006, 1.216, 1.614, 2.242, 3.132, 4.3, 5.778, 7.578, 9.716",\
                 "0.948, 1.008, 1.218, 1.616, 2.242, 3.13, 4.302, 5.774, 7.578, 9.718",\
                 "0.948, 1.008, 1.216, 1.614, 2.242, 3.128, 4.298, 5.774, 7.576, 9.72",\
                 "0.952, 1.012, 1.216, 1.616, 2.242, 3.126, 4.296, 5.776, 7.574, 9.718");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.001728, 0.004284, 0.009164, 0.01677, 0.02744, 0.04147, 0.05916, 0.08075, 0.1065");
          values("5.681, 5.733, 5.906, 6.198, 6.596, 7.089, 7.677, 8.364, 9.162, 10.08",\
                 "5.737, 5.79, 5.962, 6.254, 6.652, 7.145, 7.733, 8.42, 9.218, 10.14",\
                 "5.915, 5.968, 6.14, 6.433, 6.832, 7.324, 7.911, 8.599, 9.397, 10.32",\
                 "6.226, 6.278, 6.451, 6.743, 7.141, 7.635, 8.222, 8.91, 9.708, 10.63",\
                 "6.579, 6.632, 6.805, 7.097, 7.495, 7.988, 8.575, 9.263, 10.06, 10.98",\
                 "6.91, 6.963, 7.135, 7.428, 7.826, 8.32, 8.907, 9.594, 10.39, 11.31",\
                 "7.199, 7.251, 7.424, 7.717, 8.114, 8.608, 9.196, 9.883, 10.68, 11.6",\
                 "7.444, 7.497, 7.669, 7.961, 8.358, 8.851, 9.438, 10.12, 10.92, 11.84",\
                 "7.624, 7.677, 7.849, 8.141, 8.539, 9.032, 9.619, 10.3, 11.1, 12.02",\
                 "7.732, 7.784, 7.958, 8.25, 8.648, 9.141, 9.728, 10.41, 11.21, 12.13");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.001728, 0.004284, 0.009164, 0.01677, 0.02744, 0.04147, 0.05916, 0.08075, 0.1065");
          values("6.336, 6.418, 6.7, 7.236, 8.064, 9.219, 10.73, 12.63, 14.95, 17.71",\
                 "6.368, 6.449, 6.732, 7.268, 8.095, 9.251, 10.76, 12.67, 14.98, 17.74",\
                 "6.518, 6.599, 6.882, 7.417, 8.245, 9.4, 10.91, 12.81, 15.13, 17.89",\
                 "6.871, 6.952, 7.234, 7.77, 8.598, 9.753, 11.27, 13.17, 15.48, 18.24",\
                 "7.467, 7.548, 7.83, 8.366, 9.194, 10.35, 11.86, 13.76, 16.08, 18.84",\
                 "8.323, 8.404, 8.687, 9.223, 10.05, 11.21, 12.72, 14.62, 16.94, 19.69",\
                 "9.458, 9.539, 9.822, 10.36, 11.18, 12.34, 13.85, 15.75, 18.07, 20.83",\
                 "10.83, 10.91, 11.2, 11.73, 12.56, 13.71, 15.23, 17.13, 19.45, 22.2",\
                 "12.35, 12.44, 12.72, 13.25, 14.08, 15.24, 16.75, 18.65, 20.97, 23.72",\
                 "13.99, 14.07, 14.35, 14.89, 15.71, 16.87, 18.38, 20.29, 22.6, 25.36");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.001728, 0.004284, 0.009164, 0.01677, 0.02744, 0.04147, 0.05916, 0.08075, 0.1065");
          values("1.135, 1.19, 1.37, 1.68, 2.124, 2.704, 3.451, 4.39, 5.552, 6.962",\
                 "1.133, 1.188, 1.372, 1.68, 2.125, 2.706, 3.453, 4.393, 5.554, 6.964",\
                 "1.135, 1.19, 1.372, 1.681, 2.12, 2.706, 3.452, 4.391, 5.551, 6.962",\
                 "1.135, 1.189, 1.371, 1.682, 2.124, 2.706, 3.453, 4.393, 5.551, 6.964",\
                 "1.134, 1.188, 1.37, 1.681, 2.12, 2.704, 3.451, 4.392, 5.552, 6.964",\
                 "1.132, 1.188, 1.371, 1.678, 2.124, 2.706, 3.454, 4.39, 5.55, 6.964",\
                 "1.134, 1.184, 1.368, 1.678, 2.118, 2.706, 3.452, 4.392, 5.554, 6.958",\
                 "1.13, 1.184, 1.364, 1.676, 2.116, 2.7, 3.444, 4.386, 5.544, 6.96",\
                 "1.132, 1.188, 1.37, 1.676, 2.116, 2.7, 3.446, 4.384, 5.542, 6.948",\
                 "1.132, 1.186, 1.364, 1.678, 2.116, 2.702, 3.446, 4.384, 5.544, 6.948");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.001728, 0.004284, 0.009164, 0.01677, 0.02744, 0.04147, 0.05916, 0.08075, 0.1065");
          values("1.396, 1.522, 1.966, 2.826, 4.159, 6.049, 8.53, 11.64, 15.45, 20.01",\
                 "1.396, 1.521, 1.968, 2.826, 4.162, 6.049, 8.52, 11.65, 15.45, 20",\
                 "1.392, 1.521, 1.964, 2.826, 4.16, 6.045, 8.522, 11.64, 15.46, 20",\
                 "1.394, 1.52, 1.968, 2.826, 4.165, 6.048, 8.524, 11.65, 15.45, 20.01",\
                 "1.394, 1.518, 1.968, 2.827, 4.16, 6.046, 8.522, 11.65, 15.45, 19.98",\
                 "1.394, 1.52, 1.968, 2.826, 4.162, 6.046, 8.52, 11.64, 15.45, 19.98",\
                 "1.392, 1.52, 1.964, 2.822, 4.162, 6.046, 8.528, 11.65, 15.44, 20",\
                 "1.394, 1.52, 1.966, 2.826, 4.17, 6.05, 8.522, 11.64, 15.45, 20",\
                 "1.398, 1.522, 1.968, 2.824, 4.162, 6.044, 8.528, 11.64, 15.46, 20",\
                 "1.396, 1.522, 1.968, 2.822, 4.166, 6.044, 8.522, 11.64, 15.45, 19.99");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.001728, 0.004284, 0.009164, 0.01677, 0.02744, 0.04147, 0.05916, 0.08075, 0.1065");
          values("7.084, 7.116, 7.221, 7.413, 7.695, 8.075, 8.566, 9.178, 9.923, 10.81",\
                 "7.117, 7.148, 7.254, 7.445, 7.727, 8.107, 8.598, 9.21, 9.955, 10.84",\
                 "7.266, 7.297, 7.403, 7.594, 7.875, 8.256, 8.747, 9.359, 10.1, 10.99",\
                 "7.619, 7.65, 7.756, 7.947, 8.229, 8.61, 9.1, 9.712, 10.46, 11.35",\
                 "8.213, 8.245, 8.352, 8.542, 8.824, 9.205, 9.695, 10.31, 11.05, 11.94",\
                 "9.071, 9.103, 9.208, 9.399, 9.681, 10.06, 10.55, 11.16, 11.91, 12.8",\
                 "10.21, 10.24, 10.34, 10.53, 10.82, 11.2, 11.69, 12.3, 13.04, 13.93",\
                 "11.58, 11.61, 11.72, 11.91, 12.19, 12.57, 13.06, 13.68, 14.42, 15.31",\
                 "13.11, 13.14, 13.24, 13.44, 13.72, 14.1, 14.59, 15.2, 15.94, 16.83",\
                 "14.74, 14.78, 14.88, 15.07, 15.35, 15.73, 16.23, 16.84, 17.58, 18.47");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.001728, 0.004284, 0.009164, 0.01677, 0.02744, 0.04147, 0.05916, 0.08075, 0.1065");
          values("7.533, 7.574, 7.713, 7.97, 8.359, 8.896, 9.595, 10.47, 11.54, 12.8",\
                 "7.59, 7.63, 7.769, 8.027, 8.415, 8.952, 9.651, 10.53, 11.59, 12.86",\
                 "7.768, 7.808, 7.948, 8.205, 8.594, 9.13, 9.83, 10.71, 11.77, 13.04",\
                 "8.079, 8.119, 8.258, 8.516, 8.905, 9.441, 10.14, 11.02, 12.08, 13.35",\
                 "8.432, 8.473, 8.612, 8.869, 9.258, 9.794, 10.49, 11.37, 12.44, 13.7",\
                 "8.762, 8.803, 8.942, 9.199, 9.588, 10.12, 10.82, 11.7, 12.77, 14.03",\
                 "9.051, 9.092, 9.23, 9.488, 9.877, 10.41, 11.11, 11.99, 13.05, 14.32",\
                 "9.294, 9.336, 9.474, 9.732, 10.12, 10.66, 11.36, 12.23, 13.3, 14.57",\
                 "9.475, 9.516, 9.655, 9.912, 10.3, 10.84, 11.54, 12.41, 13.48, 14.75",\
                 "9.583, 9.624, 9.763, 10.02, 10.41, 10.95, 11.64, 12.52, 13.59, 14.86");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.001728, 0.004284, 0.009164, 0.01677, 0.02744, 0.04147, 0.05916, 0.08075, 0.1065");
          values("0.5686, 0.611, 0.7568, 1.031, 1.454, 2.053, 2.849, 3.861, 5.111, 6.604",\
                 "0.5682, 0.6104, 0.7564, 1.03, 1.454, 2.053, 2.846, 3.859, 5.111, 6.604",\
                 "0.5686, 0.6118, 0.759, 1.03, 1.454, 2.051, 2.849, 3.863, 5.109, 6.596",\
                 "0.5686, 0.611, 0.757, 1.03, 1.455, 2.052, 2.848, 3.861, 5.11, 6.602",\
                 "0.569, 0.6114, 0.7556, 1.032, 1.454, 2.05, 2.848, 3.86, 5.108, 6.604",\
                 "0.57, 0.612, 0.756, 1.03, 1.454, 2.05, 2.848, 3.864, 5.11, 6.602",\
                 "0.57, 0.612, 0.758, 1.03, 1.454, 2.052, 2.85, 3.86, 5.112, 6.604",\
                 "0.57, 0.612, 0.758, 1.03, 1.454, 2.052, 2.85, 3.864, 5.106, 6.6",\
                 "0.568, 0.61, 0.758, 1.03, 1.456, 2.054, 2.846, 3.862, 5.106, 6.602",\
                 "0.57, 0.61, 0.756, 1.03, 1.454, 2.054, 2.848, 3.862, 5.108, 6.6");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.001728, 0.004284, 0.009164, 0.01677, 0.02744, 0.04147, 0.05916, 0.08075, 0.1065");
          values("0.9456, 1.009, 1.215, 1.615, 2.242, 3.13, 4.302, 5.779, 7.577, 9.72",\
                 "0.9478, 1.008, 1.216, 1.615, 2.245, 3.132, 4.301, 5.779, 7.577, 9.72",\
                 "0.948, 1.01, 1.216, 1.614, 2.243, 3.133, 4.303, 5.777, 7.574, 9.718",\
                 "0.9482, 1.007, 1.218, 1.617, 2.24, 3.132, 4.302, 5.778, 7.576, 9.722",\
                 "0.949, 1.006, 1.218, 1.618, 2.242, 3.134, 4.302, 5.778, 7.576, 9.72",\
                 "0.946, 1.006, 1.216, 1.618, 2.244, 3.13, 4.304, 5.778, 7.576, 9.722",\
                 "0.948, 1.01, 1.22, 1.618, 2.242, 3.132, 4.302, 5.78, 7.578, 9.72",\
                 "0.95, 1.01, 1.216, 1.618, 2.244, 3.13, 4.298, 5.778, 7.574, 9.722",\
                 "0.944, 1.008, 1.216, 1.618, 2.244, 3.128, 4.3, 5.774, 7.572, 9.72",\
                 "0.946, 1.008, 1.22, 1.618, 2.242, 3.132, 4.3, 5.776, 7.572, 9.712");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.001728, 0.004284, 0.009164, 0.01677, 0.02744, 0.04147, 0.05916, 0.08075, 0.1065");
          values("5.049, 5.102, 5.276, 5.571, 5.972, 6.469, 7.059, 7.75, 8.55, 9.474",\
                 "5.082, 5.135, 5.31, 5.605, 6.006, 6.502, 7.092, 7.782, 8.583, 9.507",\
                 "5.265, 5.318, 5.492, 5.787, 6.188, 6.685, 7.276, 7.966, 8.766, 9.69",\
                 "5.638, 5.691, 5.865, 6.161, 6.562, 7.058, 7.649, 8.339, 9.14, 10.06",\
                 "6.239, 6.291, 6.466, 6.761, 7.162, 7.658, 8.249, 8.939, 9.74, 10.66",\
                 "7.095, 7.149, 7.322, 7.617, 8.018, 8.514, 9.105, 9.796, 10.6, 11.52",\
                 "8.233, 8.286, 8.46, 8.755, 9.156, 9.652, 10.24, 10.93, 11.73, 12.66",\
                 "9.651, 9.704, 9.879, 10.17, 10.58, 11.08, 11.67, 12.36, 13.16, 14.08",\
                 "11.27, 11.33, 11.51, 11.81, 12.22, 12.73, 13.33, 14.02, 14.82, 15.75",\
                 "13, 13.06, 13.25, 13.57, 14, 14.51, 15.12, 15.83, 16.64, 17.57");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.001728, 0.004284, 0.009164, 0.01677, 0.02744, 0.04147, 0.05916, 0.08075, 0.1065");
          values("2.832, 2.916, 3.205, 3.748, 4.58, 5.738, 7.251, 9.152, 11.47, 14.23",\
                 "2.891, 2.974, 3.264, 3.807, 4.639, 5.796, 7.309, 9.211, 11.53, 14.28",\
                 "3.06, 3.144, 3.434, 3.976, 4.809, 5.966, 7.48, 9.382, 11.69, 14.45",\
                 "3.348, 3.432, 3.721, 4.262, 5.094, 6.252, 7.766, 9.668, 11.98, 14.74",\
                 "3.777, 3.86, 4.148, 4.689, 5.52, 6.677, 8.191, 10.09, 12.41, 15.17",\
                 "4.311, 4.394, 4.684, 5.223, 6.053, 7.209, 8.724, 10.63, 12.94, 15.7",\
                 "4.891, 4.975, 5.265, 5.807, 6.637, 7.792, 9.307, 11.21, 13.52, 16.28",\
                 "5.5, 5.586, 5.878, 6.42, 7.251, 8.406, 9.92, 11.82, 14.14, 16.9",\
                 "6.123, 6.209, 6.504, 7.05, 7.88, 9.035, 10.55, 12.45, 14.77, 17.53",\
                 "6.742, 6.831, 7.129, 7.678, 8.51, 9.665, 11.18, 13.08, 15.4, 18.16");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.001728, 0.004284, 0.009164, 0.01677, 0.02744, 0.04147, 0.05916, 0.08075, 0.1065");
          values("1.146, 1.2, 1.385, 1.693, 2.138, 2.722, 3.466, 4.405, 5.565, 6.976",\
                 "1.146, 1.202, 1.385, 1.695, 2.135, 2.721, 3.47, 4.408, 5.565, 6.977",\
                 "1.147, 1.201, 1.385, 1.694, 2.134, 2.72, 3.47, 4.408, 5.565, 6.977",\
                 "1.147, 1.201, 1.383, 1.693, 2.137, 2.721, 3.466, 4.404, 5.563, 6.972",\
                 "1.147, 1.202, 1.384, 1.696, 2.136, 2.72, 3.47, 4.405, 5.566, 6.974",\
                 "1.148, 1.2, 1.385, 1.694, 2.134, 2.72, 3.47, 4.408, 5.564, 6.976",\
                 "1.148, 1.202, 1.386, 1.698, 2.136, 2.72, 3.468, 4.406, 5.564, 6.974",\
                 "1.164, 1.216, 1.398, 1.708, 2.146, 2.73, 3.476, 4.412, 5.572, 6.978",\
                 "1.222, 1.278, 1.456, 1.762, 2.194, 2.77, 3.506, 4.436, 5.586, 6.988",\
                 "1.316, 1.372, 1.554, 1.856, 2.282, 2.848, 3.576, 4.496, 5.628, 7.022");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.001728, 0.004284, 0.009164, 0.01677, 0.02744, 0.04147, 0.05916, 0.08075, 0.1065");
          values("1.429, 1.556, 1.994, 2.841, 4.17, 6.052, 8.535, 11.64, 15.45, 19.99",\
                 "1.431, 1.553, 1.994, 2.837, 4.173, 6.047, 8.534, 11.65, 15.46, 19.99",\
                 "1.432, 1.554, 1.996, 2.841, 4.173, 6.051, 8.517, 11.64, 15.45, 19.99",\
                 "1.432, 1.553, 1.993, 2.841, 4.171, 6.051, 8.524, 11.64, 15.45, 20.01",\
                 "1.433, 1.557, 1.995, 2.841, 4.171, 6.051, 8.526, 11.64, 15.45, 20.01",\
                 "1.443, 1.566, 2.002, 2.844, 4.175, 6.052, 8.521, 11.64, 15.45, 20",\
                 "1.459, 1.587, 2.018, 2.854, 4.172, 6.046, 8.528, 11.64, 15.45, 19.98",\
                 "1.482, 1.608, 2.034, 2.864, 4.18, 6.048, 8.528, 11.65, 15.45, 19.98",\
                 "1.508, 1.628, 2.056, 2.882, 4.192, 6.06, 8.526, 11.64, 15.44, 20.01",\
                 "1.536, 1.658, 2.082, 2.898, 4.202, 6.066, 8.526, 11.64, 15.44, 20");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.001728, 0.004284, 0.009164, 0.01677, 0.02744, 0.04147, 0.05916, 0.08075, 0.1065");
          values("7.084, 7.116, 7.221, 7.413, 7.695, 8.075, 8.566, 9.178, 9.923, 10.81",\
                 "7.117, 7.148, 7.254, 7.445, 7.727, 8.107, 8.598, 9.21, 9.955, 10.84",\
                 "7.266, 7.297, 7.403, 7.594, 7.875, 8.256, 8.747, 9.359, 10.1, 10.99",\
                 "7.619, 7.65, 7.756, 7.947, 8.229, 8.61, 9.1, 9.712, 10.46, 11.35",\
                 "8.213, 8.245, 8.352, 8.542, 8.824, 9.205, 9.695, 10.31, 11.05, 11.94",\
                 "9.071, 9.103, 9.208, 9.399, 9.681, 10.06, 10.55, 11.16, 11.91, 12.8",\
                 "10.21, 10.24, 10.34, 10.53, 10.82, 11.2, 11.69, 12.3, 13.04, 13.93",\
                 "11.58, 11.61, 11.72, 11.91, 12.19, 12.57, 13.06, 13.68, 14.42, 15.31",\
                 "13.11, 13.14, 13.24, 13.44, 13.72, 14.1, 14.59, 15.2, 15.94, 16.83",\
                 "14.74, 14.78, 14.88, 15.07, 15.35, 15.73, 16.23, 16.84, 17.58, 18.47");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.001728, 0.004284, 0.009164, 0.01677, 0.02744, 0.04147, 0.05916, 0.08075, 0.1065");
          values("2.832, 2.916, 3.205, 3.748, 4.58, 5.738, 7.251, 9.152, 11.47, 14.23",\
                 "2.891, 2.974, 3.264, 3.807, 4.639, 5.796, 7.309, 9.211, 11.53, 14.28",\
                 "3.06, 3.144, 3.434, 3.976, 4.809, 5.966, 7.48, 9.382, 11.69, 14.45",\
                 "3.348, 3.432, 3.721, 4.262, 5.094, 6.252, 7.766, 9.668, 11.98, 14.74",\
                 "3.777, 3.86, 4.148, 4.689, 5.52, 6.677, 8.191, 10.09, 12.41, 15.17",\
                 "4.311, 4.394, 4.684, 5.223, 6.053, 7.209, 8.724, 10.63, 12.94, 15.7",\
                 "4.891, 4.975, 5.265, 5.807, 6.637, 7.792, 9.307, 11.21, 13.52, 16.28",\
                 "5.5, 5.586, 5.878, 6.42, 7.251, 8.406, 9.92, 11.82, 14.14, 16.9",\
                 "6.123, 6.209, 6.504, 7.05, 7.88, 9.035, 10.55, 12.45, 14.77, 17.53",\
                 "6.742, 6.831, 7.129, 7.678, 8.51, 9.665, 11.18, 13.08, 15.4, 18.16");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.001728, 0.004284, 0.009164, 0.01677, 0.02744, 0.04147, 0.05916, 0.08075, 0.1065");
          values("1.146, 1.2, 1.385, 1.693, 2.138, 2.722, 3.466, 4.405, 5.565, 6.976",\
                 "1.146, 1.202, 1.385, 1.695, 2.135, 2.721, 3.47, 4.408, 5.565, 6.977",\
                 "1.147, 1.201, 1.385, 1.694, 2.134, 2.72, 3.47, 4.408, 5.565, 6.977",\
                 "1.147, 1.201, 1.383, 1.693, 2.137, 2.721, 3.466, 4.404, 5.563, 6.972",\
                 "1.147, 1.202, 1.384, 1.696, 2.136, 2.72, 3.47, 4.405, 5.566, 6.974",\
                 "1.148, 1.2, 1.385, 1.694, 2.134, 2.72, 3.47, 4.408, 5.564, 6.976",\
                 "1.148, 1.202, 1.386, 1.698, 2.136, 2.72, 3.468, 4.406, 5.564, 6.974",\
                 "1.164, 1.216, 1.398, 1.708, 2.146, 2.73, 3.476, 4.412, 5.572, 6.978",\
                 "1.222, 1.278, 1.456, 1.762, 2.194, 2.77, 3.506, 4.436, 5.586, 6.988",\
                 "1.316, 1.372, 1.554, 1.856, 2.282, 2.848, 3.576, 4.496, 5.628, 7.022");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.001728, 0.004284, 0.009164, 0.01677, 0.02744, 0.04147, 0.05916, 0.08075, 0.1065");
          values("1.429, 1.556, 1.994, 2.841, 4.17, 6.052, 8.535, 11.64, 15.45, 19.99",\
                 "1.431, 1.553, 1.994, 2.837, 4.173, 6.047, 8.534, 11.65, 15.46, 19.99",\
                 "1.432, 1.554, 1.996, 2.841, 4.173, 6.051, 8.517, 11.64, 15.45, 19.99",\
                 "1.432, 1.553, 1.993, 2.841, 4.171, 6.051, 8.524, 11.64, 15.45, 20.01",\
                 "1.433, 1.557, 1.995, 2.841, 4.171, 6.051, 8.526, 11.64, 15.45, 20.01",\
                 "1.443, 1.566, 2.002, 2.844, 4.175, 6.052, 8.521, 11.64, 15.45, 20",\
                 "1.459, 1.587, 2.018, 2.854, 4.172, 6.046, 8.528, 11.64, 15.45, 19.98",\
                 "1.482, 1.608, 2.034, 2.864, 4.18, 6.048, 8.528, 11.65, 15.45, 19.98",\
                 "1.508, 1.628, 2.056, 2.882, 4.192, 6.06, 8.526, 11.64, 15.44, 20.01",\
                 "1.536, 1.658, 2.082, 2.898, 4.202, 6.066, 8.526, 11.64, 15.44, 20");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.001728, 0.004284, 0.009164, 0.01677, 0.02744, 0.04147, 0.05916, 0.08075, 0.1065");
          values("0.3473, 0.372, 0.4589, 0.6253, 0.8858, 1.253, 1.737, 2.347, 3.092, 3.981",\
                 "0.3971, 0.422, 0.5101, 0.6777, 0.9394, 1.307, 1.791, 2.402, 3.147, 4.035",\
                 "0.5771, 0.6027, 0.6925, 0.8625, 1.126, 1.496, 1.981, 2.592, 3.337, 4.227",\
                 "0.8573, 0.894, 1.012, 1.206, 1.474, 1.844, 2.331, 2.942, 3.689, 4.579",\
                 "1.138, 1.19, 1.356, 1.624, 1.972, 2.38, 2.87, 3.482, 4.229, 5.118",\
                 "1.41, 1.478, 1.696, 2.048, 2.498, 3.02, 3.6, 4.237, 4.984, 5.874",\
                 "1.66, 1.748, 2.024, 2.464, 3.025, 3.675, 4.387, 5.153, 5.97, 6.873",\
                 "1.886, 1.992, 2.329, 2.869, 3.551, 4.333, 5.189, 6.103, 7.07, 8.087",\
                 "2.077, 2.205, 2.607, 3.252, 4.064, 4.988, 5.996, 7.068, 8.193, 9.372",\
                 "2.223, 2.372, 2.849, 3.601, 4.553, 5.63, 6.797, 8.034, 9.332, 10.69");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.001728, 0.004284, 0.009164, 0.01677, 0.02744, 0.04147, 0.05916, 0.08075, 0.1065");
          values("1.073, 1.151, 1.427, 1.95, 2.764, 3.905, 5.405, 7.293, 9.601, 12.35",\
                 "1.105, 1.186, 1.469, 2.001, 2.821, 3.967, 5.472, 7.358, 9.666, 12.42",\
                 "1.253, 1.336, 1.624, 2.166, 2.997, 4.152, 5.661, 7.558, 9.872, 12.62",\
                 "1.615, 1.696, 1.981, 2.521, 3.355, 4.514, 6.03, 7.936, 10.25, 13",\
                 "2.207, 2.295, 2.583, 3.117, 3.947, 5.106, 6.624, 8.529, 10.85, 13.61",\
                 "2.914, 3.027, 3.385, 3.973, 4.804, 5.959, 7.475, 9.381, 11.7, 14.46",\
                 "3.692, 3.833, 4.274, 4.997, 5.933, 7.1, 8.612, 10.52, 12.83, 15.59",\
                 "4.541, 4.711, 5.241, 6.108, 7.224, 8.524, 10.06, 11.96, 14.27, 17.04",\
                 "5.46, 5.656, 6.284, 7.297, 8.606, 10.12, 11.8, 13.73, 16.04, 18.8",\
                 "6.439, 6.666, 7.397, 8.568, 10.07, 11.82, 13.74, 15.81, 18.16, 20.91");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.001728, 0.004284, 0.009164, 0.01677, 0.02744, 0.04147, 0.05916, 0.08075, 0.1065");
          values("0.4495, 0.4921, 0.6425, 0.9283, 1.375, 1.998, 2.82, 3.849, 5.106, 6.605",\
                 "0.451, 0.4931, 0.6446, 0.9303, 1.376, 2.002, 2.818, 3.849, 5.108, 6.597",\
                 "0.4583, 0.4987, 0.6444, 0.9328, 1.379, 2.002, 2.819, 3.847, 5.102, 6.592",\
                 "0.651, 0.6848, 0.7994, 1.007, 1.391, 2.001, 2.822, 3.848, 5.102, 6.602",\
                 "0.923, 0.9668, 1.11, 1.345, 1.669, 2.13, 2.846, 3.847, 5.106, 6.602",\
                 "1.244, 1.296, 1.478, 1.759, 2.146, 2.615, 3.188, 3.999, 5.132, 6.599",\
                 "1.609, 1.672, 1.88, 2.228, 2.679, 3.223, 3.853, 4.567, 5.491, 6.75",\
                 "2.011, 2.088, 2.336, 2.739, 3.267, 3.899, 4.618, 5.416, 6.296, 7.35",\
                 "2.458, 2.552, 2.834, 3.304, 3.914, 4.63, 5.444, 6.34, 7.322, 8.388",\
                 "2.95, 3.056, 3.38, 3.916, 4.606, 5.424, 6.332, 7.348, 8.424, 9.598");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.001728, 0.004284, 0.009164, 0.01677, 0.02744, 0.04147, 0.05916, 0.08075, 0.1065");
          values("1.373, 1.505, 1.952, 2.822, 4.16, 6.04, 8.515, 11.64, 15.45, 19.98",\
                 "1.371, 1.502, 1.953, 2.816, 4.16, 6.046, 8.517, 11.64, 15.44, 19.99",\
                 "1.374, 1.502, 1.952, 2.815, 4.159, 6.036, 8.522, 11.64, 15.44, 19.98",\
                 "1.371, 1.5, 1.953, 2.819, 4.159, 6.041, 8.513, 11.63, 15.45, 19.99",\
                 "1.555, 1.649, 2.014, 2.821, 4.159, 6.043, 8.521, 11.63, 15.44, 19.99",\
                 "1.99, 2.088, 2.403, 3.026, 4.193, 6.04, 8.519, 11.63, 15.44, 19.99",\
                 "2.481, 2.597, 2.972, 3.593, 4.542, 6.136, 8.532, 11.64, 15.44, 19.97",\
                 "3.024, 3.166, 3.586, 4.308, 5.274, 6.594, 8.674, 11.66, 15.44, 19.97",\
                 "3.6, 3.752, 4.252, 5.072, 6.16, 7.474, 9.244, 11.85, 15.49, 19.98",\
                 "4.202, 4.384, 4.956, 5.898, 7.11, 8.568, 10.26, 12.52, 15.74, 20.06");
        }
      }

      timing() {
        related_pin : "A3" ;
        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.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.001728, 0.004284, 0.009164, 0.01677, 0.02744, 0.04147, 0.05916, 0.08075, 0.1065");
          values("0.3471, 0.3718, 0.4588, 0.6253, 0.886, 1.253, 1.737, 2.348, 3.093, 3.981",\
                 "0.397, 0.4219, 0.51, 0.6777, 0.9392, 1.307, 1.791, 2.402, 3.147, 4.035",\
                 "0.5771, 0.6027, 0.6924, 0.8625, 1.126, 1.496, 1.981, 2.592, 3.338, 4.227",\
                 "0.8574, 0.8939, 1.012, 1.206, 1.474, 1.845, 2.331, 2.943, 3.689, 4.578",\
                 "1.139, 1.19, 1.356, 1.624, 1.972, 2.38, 2.87, 3.483, 4.229, 5.118",\
                 "1.41, 1.478, 1.695, 2.047, 2.497, 3.02, 3.6, 4.237, 4.986, 5.874",\
                 "1.661, 1.748, 2.023, 2.465, 3.028, 3.675, 4.387, 5.154, 5.971, 6.871",\
                 "1.886, 1.992, 2.329, 2.869, 3.551, 4.332, 5.188, 6.103, 7.071, 8.085",\
                 "2.076, 2.204, 2.607, 3.251, 4.064, 4.988, 5.996, 7.067, 8.195, 9.372",\
                 "2.222, 2.373, 2.848, 3.602, 4.552, 5.631, 6.797, 8.035, 9.333, 10.69");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.001728, 0.004284, 0.009164, 0.01677, 0.02744, 0.04147, 0.05916, 0.08075, 0.1065");
          values("1.071, 1.149, 1.425, 1.949, 2.763, 3.904, 5.404, 7.294, 9.601, 12.35",\
                 "1.103, 1.184, 1.468, 2, 2.82, 3.966, 5.467, 7.358, 9.666, 12.42",\
                 "1.252, 1.335, 1.623, 2.165, 2.996, 4.151, 5.662, 7.56, 9.866, 12.62",\
                 "1.614, 1.695, 1.98, 2.521, 3.355, 4.516, 6.033, 7.931, 10.25, 13",\
                 "2.208, 2.295, 2.583, 3.117, 3.947, 5.106, 6.626, 8.529, 10.85, 13.61",\
                 "2.916, 3.027, 3.386, 3.973, 4.805, 5.96, 7.476, 9.381, 11.71, 14.47",\
                 "3.693, 3.831, 4.275, 4.998, 5.934, 7.101, 8.614, 10.52, 12.84, 15.61",\
                 "4.542, 4.71, 5.241, 6.108, 7.223, 8.526, 10.06, 11.96, 14.28, 17.04",\
                 "5.46, 5.656, 6.282, 7.295, 8.609, 10.12, 11.8, 13.73, 16.04, 18.8",\
                 "6.442, 6.668, 7.386, 8.572, 10.08, 11.82, 13.74, 15.81, 18.16, 20.91");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.001728, 0.004284, 0.009164, 0.01677, 0.02744, 0.04147, 0.05916, 0.08075, 0.1065");
          values("0.449, 0.4911, 0.6407, 0.927, 1.374, 2.001, 2.818, 3.851, 5.107, 6.593",\
                 "0.4507, 0.4928, 0.6443, 0.9288, 1.376, 2.002, 2.818, 3.851, 5.104, 6.598",\
                 "0.4582, 0.4984, 0.6455, 0.9326, 1.379, 2.002, 2.819, 3.85, 5.102, 6.592",\
                 "0.6518, 0.686, 0.7982, 1.007, 1.391, 2.002, 2.822, 3.848, 5.103, 6.598",\
                 "0.9236, 0.9672, 1.107, 1.345, 1.668, 2.131, 2.844, 3.848, 5.105, 6.602",\
                 "1.247, 1.298, 1.475, 1.759, 2.148, 2.614, 3.186, 3.994, 5.134, 6.598",\
                 "1.606, 1.672, 1.88, 2.224, 2.678, 3.227, 3.856, 4.57, 5.491, 6.75",\
                 "2.01, 2.088, 2.335, 2.74, 3.27, 3.898, 4.614, 5.42, 6.296, 7.348",\
                 "2.462, 2.55, 2.832, 3.304, 3.91, 4.63, 5.446, 6.344, 7.326, 8.39",\
                 "2.952, 3.052, 3.38, 3.914, 4.61, 5.418, 6.33, 7.338, 8.428, 9.596");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.001728, 0.004284, 0.009164, 0.01677, 0.02744, 0.04147, 0.05916, 0.08075, 0.1065");
          values("1.373, 1.504, 1.96, 2.816, 4.163, 6.047, 8.527, 11.65, 15.46, 20.02",\
                 "1.371, 1.503, 1.956, 2.82, 4.164, 6.045, 8.523, 11.64, 15.45, 19.98",\
                 "1.375, 1.502, 1.954, 2.82, 4.164, 6.049, 8.528, 11.64, 15.44, 20",\
                 "1.372, 1.5, 1.955, 2.823, 4.161, 6.048, 8.519, 11.64, 15.44, 20",\
                 "1.555, 1.652, 2.015, 2.822, 4.162, 6.055, 8.521, 11.64, 15.44, 19.99",\
                 "1.992, 2.09, 2.404, 3.029, 4.198, 6.044, 8.526, 11.65, 15.46, 20",\
                 "2.482, 2.599, 2.973, 3.594, 4.542, 6.134, 8.526, 11.65, 15.46, 19.99",\
                 "3.024, 3.168, 3.59, 4.314, 5.274, 6.596, 8.672, 11.66, 15.45, 19.99",\
                 "3.602, 3.754, 4.258, 5.092, 6.164, 7.474, 9.244, 11.85, 15.49, 19.99",\
                 "4.212, 4.392, 4.956, 5.902, 7.112, 8.586, 10.26, 12.52, 15.73, 20.07");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.001728, 0.004284, 0.009164, 0.01677, 0.02744, 0.04147, 0.05916, 0.08075, 0.1065");
          values("0.3471, 0.3718, 0.4588, 0.6253, 0.886, 1.253, 1.737, 2.348, 3.093, 3.981",\
                 "0.397, 0.4219, 0.51, 0.6777, 0.9392, 1.307, 1.791, 2.402, 3.147, 4.035",\
                 "0.5771, 0.6027, 0.6924, 0.8625, 1.126, 1.496, 1.981, 2.592, 3.338, 4.227",\
                 "0.8574, 0.8939, 1.012, 1.206, 1.474, 1.845, 2.331, 2.943, 3.689, 4.578",\
                 "1.139, 1.19, 1.356, 1.624, 1.972, 2.38, 2.87, 3.483, 4.229, 5.118",\
                 "1.41, 1.478, 1.695, 2.047, 2.497, 3.02, 3.6, 4.237, 4.986, 5.874",\
                 "1.661, 1.748, 2.023, 2.465, 3.028, 3.675, 4.387, 5.154, 5.971, 6.871",\
                 "1.886, 1.992, 2.329, 2.869, 3.551, 4.332, 5.188, 6.103, 7.071, 8.085",\
                 "2.076, 2.204, 2.607, 3.251, 4.064, 4.988, 5.996, 7.067, 8.195, 9.372",\
                 "2.222, 2.373, 2.848, 3.602, 4.552, 5.631, 6.797, 8.035, 9.333, 10.69");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.001728, 0.004284, 0.009164, 0.01677, 0.02744, 0.04147, 0.05916, 0.08075, 0.1065");
          values("1.071, 1.149, 1.425, 1.949, 2.763, 3.904, 5.404, 7.294, 9.601, 12.35",\
                 "1.103, 1.184, 1.468, 2, 2.82, 3.966, 5.467, 7.358, 9.666, 12.42",\
                 "1.252, 1.335, 1.623, 2.165, 2.996, 4.151, 5.662, 7.56, 9.866, 12.62",\
                 "1.614, 1.695, 1.98, 2.521, 3.355, 4.516, 6.033, 7.931, 10.25, 13",\
                 "2.208, 2.295, 2.583, 3.117, 3.947, 5.106, 6.626, 8.529, 10.85, 13.61",\
                 "2.916, 3.027, 3.386, 3.973, 4.805, 5.96, 7.476, 9.381, 11.71, 14.47",\
                 "3.693, 3.831, 4.275, 4.998, 5.934, 7.101, 8.614, 10.52, 12.84, 15.61",\
                 "4.542, 4.71, 5.241, 6.108, 7.223, 8.526, 10.06, 11.96, 14.28, 17.04",\
                 "5.46, 5.656, 6.282, 7.295, 8.609, 10.12, 11.8, 13.73, 16.04, 18.8",\
                 "6.442, 6.668, 7.386, 8.572, 10.08, 11.82, 13.74, 15.81, 18.16, 20.91");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.001728, 0.004284, 0.009164, 0.01677, 0.02744, 0.04147, 0.05916, 0.08075, 0.1065");
          values("0.4495, 0.4921, 0.6425, 0.9283, 1.375, 1.998, 2.82, 3.849, 5.106, 6.605",\
                 "0.451, 0.4931, 0.6446, 0.9303, 1.376, 2.002, 2.818, 3.849, 5.108, 6.597",\
                 "0.4583, 0.4987, 0.6444, 0.9328, 1.379, 2.002, 2.819, 3.847, 5.102, 6.592",\
                 "0.651, 0.6848, 0.7994, 1.007, 1.391, 2.001, 2.822, 3.848, 5.102, 6.602",\
                 "0.923, 0.9668, 1.11, 1.345, 1.669, 2.13, 2.846, 3.847, 5.106, 6.602",\
                 "1.244, 1.296, 1.478, 1.759, 2.146, 2.615, 3.188, 3.999, 5.132, 6.599",\
                 "1.609, 1.672, 1.88, 2.228, 2.679, 3.223, 3.853, 4.567, 5.491, 6.75",\
                 "2.011, 2.088, 2.336, 2.739, 3.267, 3.899, 4.618, 5.416, 6.296, 7.35",\
                 "2.458, 2.552, 2.834, 3.304, 3.914, 4.63, 5.444, 6.34, 7.322, 8.388",\
                 "2.95, 3.056, 3.38, 3.916, 4.606, 5.424, 6.332, 7.348, 8.424, 9.598");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.001728, 0.004284, 0.009164, 0.01677, 0.02744, 0.04147, 0.05916, 0.08075, 0.1065");
          values("1.373, 1.504, 1.96, 2.816, 4.163, 6.047, 8.527, 11.65, 15.46, 20.02",\
                 "1.371, 1.503, 1.956, 2.82, 4.164, 6.045, 8.523, 11.64, 15.45, 19.98",\
                 "1.375, 1.502, 1.954, 2.82, 4.164, 6.049, 8.528, 11.64, 15.44, 20",\
                 "1.372, 1.5, 1.955, 2.823, 4.161, 6.048, 8.519, 11.64, 15.44, 20",\
                 "1.555, 1.652, 2.015, 2.822, 4.162, 6.055, 8.521, 11.64, 15.44, 19.99",\
                 "1.992, 2.09, 2.404, 3.029, 4.198, 6.044, 8.526, 11.65, 15.46, 20",\
                 "2.482, 2.599, 2.973, 3.594, 4.542, 6.134, 8.526, 11.65, 15.46, 19.99",\
                 "3.024, 3.168, 3.59, 4.314, 5.274, 6.596, 8.672, 11.66, 15.45, 19.99",\
                 "3.602, 3.754, 4.258, 5.092, 6.164, 7.474, 9.244, 11.85, 15.49, 19.99",\
                 "4.212, 4.392, 4.956, 5.902, 7.112, 8.586, 10.26, 12.52, 15.73, 20.07");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.001728, 0.004284, 0.009164, 0.01677, 0.02744, 0.04147, 0.05916, 0.08075, 0.1065");
          values("2.185, 2.215, 2.316, 2.501, 2.778, 3.156, 3.647, 4.261, 5.01, 5.901",\
                 "2.24, 2.27, 2.372, 2.557, 2.833, 3.211, 3.702, 4.316, 5.064, 5.956",\
                 "2.461, 2.491, 2.593, 2.779, 3.056, 3.434, 3.925, 4.538, 5.286, 6.177",\
                 "2.89, 2.921, 3.024, 3.212, 3.491, 3.871, 4.361, 4.976, 5.723, 6.613",\
                 "3.566, 3.597, 3.702, 3.892, 4.174, 4.557, 5.05, 5.665, 6.412, 7.302",\
                 "4.493, 4.524, 4.631, 4.824, 5.11, 5.496, 5.992, 6.61, 7.359, 8.249",\
                 "5.578, 5.611, 5.722, 5.921, 6.213, 6.604, 7.104, 7.724, 8.475, 9.367",\
                 "6.758, 6.793, 6.909, 7.115, 7.415, 7.812, 8.318, 8.942, 9.696, 10.59",\
                 "8.032, 8.069, 8.191, 8.404, 8.711, 9.116, 9.626, 10.25, 11.01, 11.91",\
                 "9.39, 9.43, 9.557, 9.78, 10.1, 10.51, 11.03, 11.66, 12.42, 13.31");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.001728, 0.004284, 0.009164, 0.01677, 0.02744, 0.04147, 0.05916, 0.08075, 0.1065");
          values("2.049, 2.088, 2.221, 2.468, 2.843, 3.364, 4.049, 4.913, 5.97, 7.232",\
                 "2.107, 2.146, 2.28, 2.527, 2.903, 3.425, 4.11, 4.974, 6.031, 7.293",\
                 "2.268, 2.308, 2.442, 2.69, 3.068, 3.591, 4.277, 5.141, 6.198, 7.46",\
                 "2.523, 2.562, 2.697, 2.948, 3.329, 3.857, 4.547, 5.414, 6.473, 7.736",\
                 "2.903, 2.943, 3.079, 3.332, 3.717, 4.249, 4.944, 5.814, 6.876, 8.141",\
                 "3.36, 3.399, 3.539, 3.794, 4.183, 4.718, 5.414, 6.288, 7.352, 8.618",\
                 "3.859, 3.901, 4.042, 4.3, 4.69, 5.224, 5.921, 6.798, 7.863, 9.131",\
                 "4.377, 4.419, 4.563, 4.826, 5.218, 5.754, 6.451, 7.325, 8.389, 9.659",\
                 "4.896, 4.94, 5.086, 5.353, 5.747, 6.286, 6.985, 7.86, 8.924, 10.19",\
                 "5.4, 5.445, 5.595, 5.866, 6.264, 6.805, 7.505, 8.381, 9.447, 10.72");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.001728, 0.004284, 0.009164, 0.01677, 0.02744, 0.04147, 0.05916, 0.08075, 0.1065");
          values("0.6514, 0.6958, 0.8484, 1.135, 1.571, 2.182, 2.99, 4.015, 5.271, 6.77",\
                 "0.6512, 0.6954, 0.8486, 1.133, 1.572, 2.183, 2.991, 4.017, 5.272, 6.767",\
                 "0.651, 0.6928, 0.8468, 1.134, 1.569, 2.182, 2.991, 4.014, 5.269, 6.768",\
                 "0.6508, 0.6954, 0.8486, 1.133, 1.57, 2.183, 2.991, 4.014, 5.27, 6.77",\
                 "0.6532, 0.697, 0.8498, 1.136, 1.57, 2.183, 2.991, 4.016, 5.274, 6.77",\
                 "0.66, 0.7038, 0.855, 1.139, 1.576, 2.188, 2.995, 4.019, 5.276, 6.773",\
                 "0.674, 0.718, 0.872, 1.156, 1.592, 2.198, 3.004, 4.026, 5.28, 6.774",\
                 "0.698, 0.742, 0.892, 1.174, 1.604, 2.208, 3.006, 4.024, 5.28, 6.772",\
                 "0.732, 0.776, 0.926, 1.206, 1.632, 2.23, 3.018, 4.026, 5.268, 6.762",\
                 "0.782, 0.824, 0.974, 1.25, 1.668, 2.254, 3.036, 4.036, 5.27, 6.758");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.001728, 0.004284, 0.009164, 0.01677, 0.02744, 0.04147, 0.05916, 0.08075, 0.1065");
          values("0.96, 1.019, 1.23, 1.631, 2.259, 3.146, 4.314, 5.782, 7.584, 9.723",\
                 "0.958, 1.021, 1.233, 1.631, 2.259, 3.146, 4.312, 5.786, 7.581, 9.722",\
                 "0.96, 1.019, 1.233, 1.631, 2.259, 3.143, 4.312, 5.785, 7.58, 9.722",\
                 "0.9638, 1.022, 1.231, 1.632, 2.261, 3.144, 4.313, 5.785, 7.579, 9.723",\
                 "0.9676, 1.029, 1.237, 1.636, 2.261, 3.143, 4.314, 5.78, 7.58, 9.723",\
                 "0.9574, 1.017, 1.225, 1.624, 2.253, 3.144, 4.311, 5.783, 7.578, 9.719",\
                 "0.976, 1.034, 1.24, 1.627, 2.239, 3.114, 4.283, 5.768, 7.576, 9.722",\
                 "1.006, 1.064, 1.266, 1.648, 2.254, 3.12, 4.274, 5.736, 7.54, 9.698",\
                 "1.042, 1.098, 1.298, 1.676, 2.274, 3.132, 4.282, 5.744, 7.53, 9.668",\
                 "1.08, 1.138, 1.334, 1.708, 2.298, 3.15, 4.292, 5.75, 7.532, 9.664");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.001728, 0.004284, 0.009164, 0.01677, 0.02744, 0.04147, 0.05916, 0.08075, 0.1065");
          values("2.185, 2.215, 2.316, 2.501, 2.778, 3.156, 3.647, 4.261, 5.01, 5.901",\
                 "2.24, 2.27, 2.372, 2.557, 2.833, 3.211, 3.702, 4.316, 5.064, 5.956",\
                 "2.46, 2.491, 2.593, 2.779, 3.056, 3.434, 3.924, 4.538, 5.286, 6.177",\
                 "2.891, 2.921, 3.024, 3.211, 3.491, 3.871, 4.361, 4.975, 5.723, 6.613",\
                 "3.566, 3.597, 3.702, 3.892, 4.174, 4.556, 5.049, 5.664, 6.413, 7.302",\
                 "4.493, 4.524, 4.631, 4.824, 5.11, 5.496, 5.992, 6.609, 7.359, 8.249",\
                 "5.578, 5.61, 5.721, 5.921, 6.211, 6.603, 7.104, 7.723, 8.474, 9.367",\
                 "6.759, 6.793, 6.909, 7.115, 7.415, 7.812, 8.318, 8.942, 9.696, 10.59",\
                 "8.032, 8.069, 8.188, 8.404, 8.711, 9.116, 9.627, 10.25, 11.01, 11.91",\
                 "9.391, 9.429, 9.557, 9.78, 10.1, 10.51, 11.02, 11.66, 12.42, 13.31");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.001728, 0.004284, 0.009164, 0.01677, 0.02744, 0.04147, 0.05916, 0.08075, 0.1065");
          values("2.049, 2.088, 2.221, 2.468, 2.843, 3.364, 4.049, 4.913, 5.97, 7.232",\
                 "2.107, 2.146, 2.28, 2.527, 2.903, 3.425, 4.11, 4.974, 6.031, 7.293",\
                 "2.268, 2.307, 2.442, 2.69, 3.067, 3.59, 4.277, 5.141, 6.198, 7.46",\
                 "2.523, 2.562, 2.697, 2.948, 3.33, 3.857, 4.547, 5.414, 6.473, 7.736",\
                 "2.903, 2.943, 3.079, 3.333, 3.718, 4.249, 4.943, 5.814, 6.876, 8.141",\
                 "3.36, 3.399, 3.538, 3.794, 4.183, 4.719, 5.415, 6.288, 7.352, 8.618",\
                 "3.859, 3.901, 4.042, 4.3, 4.69, 5.224, 5.922, 6.798, 7.863, 9.131",\
                 "4.378, 4.419, 4.563, 4.826, 5.218, 5.754, 6.451, 7.325, 8.389, 9.659",\
                 "4.896, 4.94, 5.086, 5.353, 5.747, 6.286, 6.985, 7.86, 8.924, 10.19",\
                 "5.4, 5.445, 5.596, 5.865, 6.266, 6.805, 7.505, 8.381, 9.448, 10.71");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.001728, 0.004284, 0.009164, 0.01677, 0.02744, 0.04147, 0.05916, 0.08075, 0.1065");
          values("0.6512, 0.6958, 0.8484, 1.134, 1.571, 2.182, 2.99, 4.015, 5.271, 6.77",\
                 "0.651, 0.6952, 0.8484, 1.133, 1.572, 2.183, 2.991, 4.017, 5.272, 6.767",\
                 "0.651, 0.6928, 0.8468, 1.134, 1.57, 2.182, 2.99, 4.014, 5.268, 6.767",\
                 "0.6508, 0.6954, 0.8488, 1.133, 1.569, 2.183, 2.99, 4.017, 5.269, 6.77",\
                 "0.6532, 0.6948, 0.8488, 1.136, 1.571, 2.183, 2.992, 4.018, 5.273, 6.77",\
                 "0.66, 0.7038, 0.8548, 1.14, 1.576, 2.187, 2.997, 4.022, 5.277, 6.773",\
                 "0.674, 0.718, 0.872, 1.156, 1.59, 2.198, 3.004, 4.024, 5.28, 6.774",\
                 "0.696, 0.742, 0.892, 1.176, 1.604, 2.208, 3.006, 4.024, 5.28, 6.772",\
                 "0.732, 0.776, 0.928, 1.206, 1.632, 2.228, 3.016, 4.026, 5.27, 6.762",\
                 "0.78, 0.824, 0.974, 1.25, 1.67, 2.258, 3.04, 4.036, 5.266, 6.758");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.001728, 0.004284, 0.009164, 0.01677, 0.02744, 0.04147, 0.05916, 0.08075, 0.1065");
          values("0.9596, 1.018, 1.228, 1.631, 2.259, 3.145, 4.314, 5.782, 7.581, 9.723",\
                 "0.958, 1.021, 1.233, 1.631, 2.259, 3.146, 4.312, 5.786, 7.581, 9.722",\
                 "0.9606, 1.019, 1.232, 1.631, 2.261, 3.144, 4.314, 5.782, 7.58, 9.722",\
                 "0.9638, 1.024, 1.235, 1.632, 2.26, 3.143, 4.314, 5.784, 7.579, 9.72",\
                 "0.9676, 1.029, 1.237, 1.635, 2.262, 3.146, 4.311, 5.78, 7.578, 9.721",\
                 "0.9562, 1.017, 1.226, 1.624, 2.253, 3.145, 4.31, 5.783, 7.577, 9.722",\
                 "0.9766, 1.035, 1.24, 1.627, 2.239, 3.114, 4.283, 5.768, 7.574, 9.722",\
                 "1.006, 1.064, 1.266, 1.648, 2.254, 3.122, 4.274, 5.738, 7.54, 9.696",\
                 "1.042, 1.098, 1.298, 1.676, 2.274, 3.132, 4.282, 5.74, 7.53, 9.668",\
                 "1.08, 1.138, 1.334, 1.708, 2.298, 3.148, 4.292, 5.75, 7.534, 9.668");
        }
      }

      timing() {
        related_pin : "A3" ;
        timing_sense : positive_unate ;
        timing_type : combinational ;

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.001728, 0.004284, 0.009164, 0.01677, 0.02744, 0.04147, 0.05916, 0.08075, 0.1065");
          values("2.185, 2.215, 2.316, 2.501, 2.778, 3.156, 3.647, 4.261, 5.01, 5.901",\
                 "2.24, 2.27, 2.372, 2.557, 2.833, 3.211, 3.702, 4.316, 5.064, 5.956",\
                 "2.46, 2.491, 2.593, 2.779, 3.056, 3.434, 3.924, 4.538, 5.286, 6.177",\
                 "2.891, 2.921, 3.024, 3.211, 3.491, 3.871, 4.361, 4.975, 5.723, 6.613",\
                 "3.566, 3.597, 3.702, 3.892, 4.174, 4.556, 5.049, 5.664, 6.413, 7.302",\
                 "4.493, 4.524, 4.631, 4.824, 5.11, 5.496, 5.992, 6.609, 7.359, 8.249",\
                 "5.578, 5.61, 5.721, 5.921, 6.211, 6.603, 7.104, 7.723, 8.474, 9.367",\
                 "6.759, 6.793, 6.909, 7.115, 7.415, 7.812, 8.318, 8.942, 9.696, 10.59",\
                 "8.032, 8.069, 8.188, 8.404, 8.711, 9.116, 9.627, 10.25, 11.01, 11.91",\
                 "9.391, 9.429, 9.557, 9.78, 10.1, 10.51, 11.02, 11.66, 12.42, 13.31");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.001728, 0.004284, 0.009164, 0.01677, 0.02744, 0.04147, 0.05916, 0.08075, 0.1065");
          values("2.049, 2.088, 2.221, 2.468, 2.843, 3.364, 4.049, 4.913, 5.97, 7.232",\
                 "2.107, 2.146, 2.28, 2.527, 2.903, 3.425, 4.11, 4.974, 6.031, 7.293",\
                 "2.268, 2.308, 2.442, 2.69, 3.068, 3.591, 4.277, 5.141, 6.198, 7.46",\
                 "2.523, 2.562, 2.697, 2.948, 3.329, 3.857, 4.547, 5.414, 6.473, 7.736",\
                 "2.903, 2.943, 3.079, 3.332, 3.717, 4.249, 4.944, 5.814, 6.876, 8.141",\
                 "3.36, 3.399, 3.539, 3.794, 4.183, 4.718, 5.414, 6.288, 7.352, 8.618",\
                 "3.859, 3.901, 4.042, 4.3, 4.69, 5.224, 5.921, 6.798, 7.863, 9.131",\
                 "4.377, 4.419, 4.563, 4.826, 5.218, 5.754, 6.451, 7.325, 8.389, 9.659",\
                 "4.896, 4.94, 5.086, 5.353, 5.747, 6.286, 6.985, 7.86, 8.924, 10.19",\
                 "5.4, 5.445, 5.595, 5.866, 6.264, 6.805, 7.505, 8.381, 9.447, 10.72");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.001728, 0.004284, 0.009164, 0.01677, 0.02744, 0.04147, 0.05916, 0.08075, 0.1065");
          values("0.6514, 0.6958, 0.8484, 1.135, 1.571, 2.182, 2.99, 4.015, 5.271, 6.77",\
                 "0.6512, 0.6954, 0.8486, 1.133, 1.572, 2.183, 2.991, 4.017, 5.272, 6.767",\
                 "0.651, 0.6928, 0.8468, 1.134, 1.569, 2.182, 2.991, 4.014, 5.269, 6.768",\
                 "0.6508, 0.6954, 0.8486, 1.133, 1.57, 2.183, 2.991, 4.014, 5.27, 6.77",\
                 "0.6532, 0.697, 0.8498, 1.136, 1.57, 2.183, 2.991, 4.016, 5.274, 6.77",\
                 "0.66, 0.7038, 0.855, 1.139, 1.576, 2.188, 2.995, 4.019, 5.276, 6.773",\
                 "0.674, 0.718, 0.872, 1.156, 1.592, 2.198, 3.004, 4.026, 5.28, 6.774",\
                 "0.698, 0.742, 0.892, 1.174, 1.604, 2.208, 3.006, 4.024, 5.28, 6.772",\
                 "0.732, 0.776, 0.926, 1.206, 1.632, 2.23, 3.018, 4.026, 5.268, 6.762",\
                 "0.782, 0.824, 0.974, 1.25, 1.668, 2.254, 3.036, 4.036, 5.27, 6.758");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1579, 0.642, 1.566, 3.007, 5.027, 7.686, 11.04, 15.13, 20");
          index_2("0.001, 0.001728, 0.004284, 0.009164, 0.01677, 0.02744, 0.04147, 0.05916, 0.08075, 0.1065");
          values("0.96, 1.019, 1.23, 1.631, 2.259, 3.146, 4.314, 5.782, 7.584, 9.723",\
                 "0.958, 1.021, 1.233, 1.631, 2.259, 3.146, 4.312, 5.786, 7.581, 9.722",\
                 "0.96, 1.019, 1.233, 1.631, 2.259, 3.143, 4.312, 5.785, 7.58, 9.722",\
                 "0.9638, 1.022, 1.231, 1.632, 2.261, 3.144, 4.313, 5.785, 7.579, 9.723",\
                 "0.9676, 1.029, 1.237, 1.636, 2.261, 3.143, 4.314, 5.78, 7.58, 9.723",\
                 "0.9574, 1.017, 1.225, 1.624, 2.253, 3.144, 4.311, 5.783, 7.578, 9.719",\
                 "0.976, 1.034, 1.24, 1.627, 2.239, 3.114, 4.283, 5.768, 7.576, 9.722",\
                 "1.006, 1.064, 1.266, 1.648, 2.254, 3.12, 4.274, 5.736, 7.54, 9.698",\
                 "1.042, 1.098, 1.298, 1.676, 2.274, 3.132, 4.282, 5.744, 7.53, 9.668",\
                 "1.08, 1.138, 1.334, 1.708, 2.298, 3.15, 4.292, 5.75, 7.532, 9.664");
        }
      }
    }
  }