/*
 * Copyright 2022 GlobalFoundries PDK Authors
 *
 * Licensed under the Apache License, Version 2.0 (the "License");
 * you may not use this file except in compliance with the License.
 * You may obtain a copy of the License at
 *
 *      http://www.apache.org/licenses/LICENSE-2.0
 *
 * Unless required by applicable law or agreed to in writing, software
 * distributed under the License is distributed on an "AS IS" BASIS,
 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 * See the License for the specific language governing permissions and
 * limitations under the License.
 */

  cell(gf180mcu_fd_sc_mcu7t5v0__xnor3_2) {
    area : 61.465600 ;

    leakage_power() {
      related_pg_pin : "VDD" ;
      when : "!A1&!A2&!A3" ;
      value : "5.18742e-05" ;
    }

    leakage_power() {
      related_pg_pin : "VDD" ;
      when : "!A1&!A2&A3" ;
      value : "5.07132e-05" ;
    }

    leakage_power() {
      related_pg_pin : "VDD" ;
      when : "!A1&A2&!A3" ;
      value : "3.38058e-05" ;
    }

    leakage_power() {
      related_pg_pin : "VDD" ;
      when : "!A1&A2&A3" ;
      value : "3.38058e-05" ;
    }

    leakage_power() {
      related_pg_pin : "VDD" ;
      when : "A1&!A2&!A3" ;
      value : "4.20678e-05" ;
    }

    leakage_power() {
      related_pg_pin : "VDD" ;
      when : "A1&!A2&A3" ;
      value : "4.20678e-05" ;
    }

    leakage_power() {
      related_pg_pin : "VDD" ;
      when : "A1&A2&!A3" ;
      value : "4.25736e-05" ;
    }

    leakage_power() {
      related_pg_pin : "VDD" ;
      when : "A1&A2&A3" ;
      value : "4.14126e-05" ;
    }

    leakage_power() {
      related_pg_pin : "VDD" ;
      value : "5.18742e-05" ;
    }

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

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

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

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

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

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

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003835, 0.01378, 0.03279, 0.06239, 0.1039, 0.1586, 0.2274, 0.3115, 0.4117");
          values("0.07767, 0.07779, 0.07811, 0.07856, 0.07889, 0.07913, 0.07929, 0.07939, 0.07945, 0.0795",\
                 "0.0777, 0.07779, 0.07813, 0.07855, 0.07891, 0.07915, 0.0793, 0.0794, 0.07947, 0.07951",\
                 "0.0776, 0.07772, 0.07806, 0.07847, 0.07883, 0.07907, 0.07922, 0.07932, 0.07939, 0.07944",\
                 "0.07744, 0.07754, 0.07788, 0.07831, 0.07865, 0.07889, 0.07904, 0.07915, 0.07921, 0.07925",\
                 "0.0773, 0.07741, 0.07773, 0.07815, 0.07851, 0.07874, 0.0789, 0.07899, 0.07906, 0.0791",\
                 "0.07723, 0.07736, 0.07768, 0.0781, 0.07845, 0.07868, 0.07884, 0.07894, 0.07901, 0.07906",\
                 "0.07729, 0.07738, 0.07772, 0.07814, 0.07848, 0.07872, 0.07888, 0.07898, 0.07904, 0.07908",\
                 "0.07743, 0.07754, 0.07791, 0.07831, 0.07868, 0.07891, 0.07906, 0.07915, 0.07922, 0.07927",\
                 "0.07771, 0.07784, 0.07818, 0.07861, 0.07897, 0.07921, 0.07937, 0.07947, 0.07953, 0.07957",\
                 "0.07816, 0.07827, 0.07859, 0.07903, 0.07939, 0.07962, 0.07977, 0.07987, 0.07994, 0.07998");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003835, 0.01378, 0.03279, 0.06239, 0.1039, 0.1586, 0.2274, 0.3115, 0.4117");
          values("0.07404, 0.07412, 0.07446, 0.0749, 0.07539, 0.07585, 0.07643, 0.07692, 0.07972, 0.09956",\
                 "0.07388, 0.07404, 0.07433, 0.07475, 0.0753, 0.07569, 0.07614, 0.07684, 0.07918, 0.09975",\
                 "0.07371, 0.0738, 0.07421, 0.07459, 0.07514, 0.07551, 0.07589, 0.0763, 0.07947, 0.1015",\
                 "0.07356, 0.07366, 0.07402, 0.07448, 0.07501, 0.07538, 0.07576, 0.07622, 0.07998, 0.105",\
                 "0.07344, 0.07357, 0.07388, 0.07434, 0.07496, 0.07526, 0.07574, 0.07612, 0.08098, 0.112",\
                 "0.07332, 0.07343, 0.07378, 0.07419, 0.07473, 0.07515, 0.07553, 0.07618, 0.08315, 0.1249",\
                 "0.07328, 0.07338, 0.07375, 0.07416, 0.07474, 0.07504, 0.07548, 0.07646, 0.08817, 0.1473",\
                 "0.07335, 0.07345, 0.07382, 0.07425, 0.07482, 0.0752, 0.07584, 0.0782, 0.09965, 0.1871",\
                 "0.07364, 0.07373, 0.07411, 0.0745, 0.07514, 0.07542, 0.07626, 0.08257, 0.1258, 0.2507",\
                 "0.07404, 0.07419, 0.07453, 0.07488, 0.07543, 0.07593, 0.07798, 0.09811, 0.184, 0.3359");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003835, 0.01378, 0.03279, 0.06239, 0.1039, 0.1586, 0.2274, 0.3115, 0.4117");
          values("0.06636, 0.06645, 0.06672, 0.0671, 0.06746, 0.06772, 0.06791, 0.06802, 0.0681, 0.06815",\
                 "0.06623, 0.06632, 0.0666, 0.06699, 0.06734, 0.0676, 0.06778, 0.06789, 0.06797, 0.06803",\
                 "0.06606, 0.06614, 0.06641, 0.0668, 0.06717, 0.06741, 0.06759, 0.06771, 0.06779, 0.06784",\
                 "0.06593, 0.066, 0.06627, 0.06668, 0.06704, 0.06729, 0.06747, 0.06758, 0.06766, 0.06772",\
                 "0.0658, 0.06588, 0.06615, 0.06654, 0.0669, 0.06716, 0.06733, 0.06745, 0.06753, 0.06759",\
                 "0.06566, 0.06576, 0.06601, 0.06642, 0.06677, 0.06702, 0.0672, 0.06732, 0.06741, 0.06745",\
                 "0.06562, 0.06571, 0.06598, 0.06638, 0.06674, 0.06699, 0.06717, 0.06729, 0.06737, 0.06742",\
                 "0.06573, 0.06582, 0.06611, 0.06649, 0.06685, 0.06711, 0.06728, 0.06739, 0.06747, 0.06753",\
                 "0.06598, 0.06604, 0.06635, 0.06673, 0.0671, 0.06735, 0.06753, 0.06764, 0.06772, 0.06777",\
                 "0.06642, 0.0665, 0.06677, 0.06714, 0.0675, 0.06777, 0.06795, 0.06806, 0.06814, 0.06816");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003835, 0.01378, 0.03279, 0.06239, 0.1039, 0.1586, 0.2274, 0.3115, 0.4117");
          values("0.06096, 0.06109, 0.06132, 0.06171, 0.06225, 0.06274, 0.06314, 0.06339, 0.0654, 0.0813",\
                 "0.06095, 0.06108, 0.06133, 0.06178, 0.06226, 0.06276, 0.06321, 0.06344, 0.06598, 0.08202",\
                 "0.06088, 0.06101, 0.06125, 0.0617, 0.06225, 0.06271, 0.06314, 0.06347, 0.06558, 0.08372",\
                 "0.06073, 0.06084, 0.06111, 0.06153, 0.06196, 0.06249, 0.06294, 0.06357, 0.06639, 0.08609",\
                 "0.0606, 0.06067, 0.06094, 0.06136, 0.06187, 0.06235, 0.06274, 0.06331, 0.06635, 0.0908",\
                 "0.06054, 0.06064, 0.06092, 0.06131, 0.06181, 0.06229, 0.06271, 0.06318, 0.0674, 0.09721",\
                 "0.06059, 0.06068, 0.06095, 0.06144, 0.06189, 0.06233, 0.06278, 0.06344, 0.06961, 0.1088",\
                 "0.06077, 0.06086, 0.06111, 0.06158, 0.06212, 0.06254, 0.06294, 0.06421, 0.07409, 0.1264",\
                 "0.06106, 0.06117, 0.0614, 0.06185, 0.06214, 0.06283, 0.06356, 0.06492, 0.08107, 0.1555",\
                 "0.06149, 0.06159, 0.06182, 0.06237, 0.06271, 0.06316, 0.06375, 0.06787, 0.09694, 0.2003");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003835, 0.01378, 0.03279, 0.06239, 0.1039, 0.1586, 0.2274, 0.3115, 0.4117");
          values("0.07425, 0.07438, 0.07471, 0.07513, 0.07546, 0.0757, 0.07586, 0.07596, 0.07603, 0.07607",\
                 "0.07426, 0.07436, 0.0747, 0.07511, 0.07545, 0.07569, 0.07585, 0.07595, 0.07601, 0.07605",\
                 "0.07407, 0.07419, 0.07451, 0.07493, 0.07528, 0.07551, 0.07567, 0.07577, 0.07584, 0.07588",\
                 "0.07385, 0.07398, 0.0743, 0.07473, 0.07508, 0.07531, 0.07547, 0.07557, 0.07563, 0.07568",\
                 "0.07374, 0.07385, 0.07421, 0.07463, 0.07497, 0.07521, 0.07536, 0.07546, 0.07553, 0.07558",\
                 "0.07378, 0.07387, 0.07424, 0.07465, 0.07498, 0.07522, 0.07538, 0.07549, 0.07554, 0.07559",\
                 "0.07396, 0.07405, 0.0744, 0.07482, 0.07517, 0.0754, 0.07556, 0.07566, 0.07573, 0.07577",\
                 "0.07424, 0.07436, 0.07469, 0.0751, 0.07545, 0.07569, 0.07584, 0.07594, 0.076, 0.07605",\
                 "0.07466, 0.07477, 0.0751, 0.07553, 0.07589, 0.07613, 0.07628, 0.07638, 0.07644, 0.07648",\
                 "0.07524, 0.07532, 0.07567, 0.07608, 0.07643, 0.07669, 0.07683, 0.07694, 0.07699, 0.07698");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003835, 0.01378, 0.03279, 0.06239, 0.1039, 0.1586, 0.2274, 0.3115, 0.4117");
          values("0.05254, 0.05266, 0.05297, 0.05349, 0.05404, 0.05435, 0.05473, 0.05511, 0.05677, 0.07057",\
                 "0.05253, 0.05268, 0.05303, 0.05347, 0.05405, 0.05437, 0.05475, 0.05525, 0.05677, 0.07055",\
                 "0.05252, 0.05267, 0.05301, 0.0534, 0.054, 0.05432, 0.05468, 0.05514, 0.05685, 0.07221",\
                 "0.05247, 0.05259, 0.05293, 0.05333, 0.05396, 0.05428, 0.05459, 0.05501, 0.0574, 0.07441",\
                 "0.05242, 0.05253, 0.05285, 0.05328, 0.0538, 0.05421, 0.0546, 0.05515, 0.05781, 0.07899",\
                 "0.05233, 0.05246, 0.0528, 0.05322, 0.05375, 0.05415, 0.05451, 0.05504, 0.05907, 0.08607",\
                 "0.05237, 0.05247, 0.05287, 0.05331, 0.05384, 0.05415, 0.05477, 0.05524, 0.06123, 0.09829",\
                 "0.05253, 0.05265, 0.05299, 0.05344, 0.054, 0.05435, 0.05495, 0.05598, 0.06548, 0.1186",\
                 "0.05278, 0.05294, 0.05321, 0.05364, 0.05409, 0.05469, 0.0552, 0.05675, 0.07391, 0.1508",\
                 "0.05319, 0.05328, 0.05361, 0.05409, 0.05445, 0.05478, 0.05534, 0.06018, 0.09283, 0.2028");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003835, 0.01378, 0.03279, 0.06239, 0.1039, 0.1586, 0.2274, 0.3115, 0.4117");
          values("0.04491, 0.045, 0.04526, 0.04564, 0.04599, 0.04625, 0.04643, 0.04655, 0.04663, 0.04669",\
                 "0.0449, 0.04499, 0.04525, 0.04564, 0.04599, 0.04625, 0.04643, 0.04655, 0.04663, 0.04669",\
                 "0.04488, 0.04497, 0.04522, 0.0456, 0.04596, 0.04622, 0.04641, 0.04653, 0.04661, 0.04666",\
                 "0.04479, 0.04485, 0.04513, 0.04551, 0.04586, 0.04613, 0.04631, 0.04643, 0.04651, 0.04657",\
                 "0.04468, 0.04476, 0.04502, 0.04539, 0.04574, 0.04602, 0.04619, 0.04632, 0.0464, 0.04646",\
                 "0.04459, 0.04467, 0.04493, 0.0453, 0.04566, 0.04593, 0.04613, 0.04625, 0.04633, 0.04639",\
                 "0.04466, 0.04472, 0.04496, 0.04535, 0.04571, 0.04596, 0.04615, 0.04628, 0.04636, 0.04643",\
                 "0.04481, 0.04485, 0.04511, 0.04547, 0.04583, 0.0461, 0.0463, 0.04643, 0.04651, 0.04658",\
                 "0.04508, 0.04514, 0.04539, 0.04574, 0.04608, 0.04635, 0.04655, 0.04669, 0.04678, 0.04684",\
                 "0.04551, 0.04556, 0.04581, 0.04614, 0.04647, 0.04675, 0.04695, 0.04709, 0.04718, 0.04725");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003835, 0.01378, 0.03279, 0.06239, 0.1039, 0.1586, 0.2274, 0.3115, 0.4117");
          values("0.05761, 0.05772, 0.05797, 0.05842, 0.05892, 0.0594, 0.0598, 0.06026, 0.0618, 0.076",\
                 "0.05761, 0.05772, 0.05802, 0.05841, 0.0589, 0.05942, 0.05987, 0.06021, 0.06184, 0.07573",\
                 "0.05748, 0.05755, 0.05784, 0.05823, 0.05872, 0.0592, 0.05971, 0.05998, 0.06178, 0.07681",\
                 "0.05725, 0.05737, 0.05761, 0.05803, 0.05853, 0.059, 0.05942, 0.05982, 0.06197, 0.0799",\
                 "0.05712, 0.05722, 0.05754, 0.05793, 0.05844, 0.05895, 0.05926, 0.05996, 0.06318, 0.08537",\
                 "0.05712, 0.05723, 0.05752, 0.05788, 0.0584, 0.05893, 0.05929, 0.06002, 0.06418, 0.09476",\
                 "0.05722, 0.05732, 0.05761, 0.05801, 0.05847, 0.05895, 0.0594, 0.06019, 0.06811, 0.1148",\
                 "0.05742, 0.05753, 0.05783, 0.05813, 0.05869, 0.05913, 0.05964, 0.0612, 0.07722, 0.1509",\
                 "0.05782, 0.05788, 0.05806, 0.0585, 0.05908, 0.05951, 0.06005, 0.06466, 0.1006, 0.2146",\
                 "0.0583, 0.05839, 0.05858, 0.059, 0.05934, 0.05992, 0.06153, 0.07799, 0.1563, 0.3062");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003835, 0.01378, 0.03279, 0.06239, 0.1039, 0.1586, 0.2274, 0.3115, 0.4117");
          values("0.07527, 0.07537, 0.07569, 0.07612, 0.07646, 0.0767, 0.07686, 0.07695, 0.07702, 0.07706",\
                 "0.07529, 0.07537, 0.07572, 0.07613, 0.0765, 0.07673, 0.0769, 0.07699, 0.07706, 0.0771",\
                 "0.07524, 0.07534, 0.07566, 0.0761, 0.07645, 0.07668, 0.07684, 0.07694, 0.07701, 0.07705",\
                 "0.0751, 0.0752, 0.07556, 0.07597, 0.07632, 0.07655, 0.07672, 0.07682, 0.07688, 0.07693",\
                 "0.07502, 0.07513, 0.07547, 0.0759, 0.07624, 0.07647, 0.07663, 0.07673, 0.0768, 0.07685",\
                 "0.07503, 0.07513, 0.07548, 0.0759, 0.07623, 0.07648, 0.07663, 0.07673, 0.0768, 0.07684",\
                 "0.07513, 0.07524, 0.07557, 0.076, 0.07634, 0.07657, 0.07672, 0.07682, 0.07688, 0.07693",\
                 "0.07535, 0.07544, 0.07574, 0.07619, 0.07654, 0.07678, 0.07692, 0.07702, 0.07708, 0.07713",\
                 "0.07562, 0.07572, 0.07606, 0.0765, 0.07685, 0.07708, 0.07724, 0.07734, 0.0774, 0.07744",\
                 "0.07606, 0.07616, 0.07651, 0.07692, 0.07729, 0.07753, 0.07766, 0.07776, 0.07783, 0.07787");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003835, 0.01378, 0.03279, 0.06239, 0.1039, 0.1586, 0.2274, 0.3115, 0.4117");
          values("0.07289, 0.07302, 0.07338, 0.07382, 0.07433, 0.0747, 0.07508, 0.07545, 0.07804, 0.09766",\
                 "0.0727, 0.07285, 0.07316, 0.07364, 0.07415, 0.07449, 0.07483, 0.0752, 0.07791, 0.09785",\
                 "0.07248, 0.07258, 0.07296, 0.07333, 0.07386, 0.07427, 0.07465, 0.07506, 0.07807, 0.09911",\
                 "0.07238, 0.07247, 0.07284, 0.07327, 0.07376, 0.07418, 0.07456, 0.07504, 0.07833, 0.103",\
                 "0.07234, 0.07246, 0.07278, 0.07325, 0.07386, 0.07416, 0.0745, 0.07502, 0.07975, 0.1105",\
                 "0.07237, 0.07249, 0.07287, 0.07328, 0.07383, 0.07414, 0.07469, 0.07518, 0.08237, 0.1246",\
                 "0.07253, 0.07265, 0.073, 0.0734, 0.07392, 0.07432, 0.0747, 0.07596, 0.08831, 0.1504",\
                 "0.07277, 0.07289, 0.07321, 0.07366, 0.07421, 0.07461, 0.07498, 0.0778, 0.1015, 0.1944",\
                 "0.07311, 0.07322, 0.07357, 0.07409, 0.07451, 0.07492, 0.07583, 0.08363, 0.1326, 0.265",\
                 "0.0736, 0.07372, 0.07404, 0.07443, 0.07494, 0.0755, 0.07804, 0.1036, 0.2007, 0.3517");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003835, 0.01378, 0.03279, 0.06239, 0.1039, 0.1586, 0.2274, 0.3115, 0.4117");
          values("0.06526, 0.06535, 0.06562, 0.06601, 0.06636, 0.06662, 0.0668, 0.06692, 0.067, 0.06705",\
                 "0.06507, 0.06516, 0.06543, 0.06582, 0.06617, 0.06643, 0.06661, 0.06673, 0.0668, 0.06686",\
                 "0.06483, 0.06492, 0.0652, 0.06559, 0.06594, 0.0662, 0.06638, 0.0665, 0.06657, 0.06663",\
                 "0.06475, 0.06481, 0.06508, 0.06549, 0.06584, 0.06609, 0.06628, 0.06639, 0.06647, 0.06653",\
                 "0.0647, 0.06479, 0.06505, 0.06544, 0.0658, 0.06606, 0.06624, 0.06636, 0.06644, 0.06649",\
                 "0.06475, 0.06484, 0.06512, 0.0655, 0.06585, 0.06611, 0.06629, 0.06641, 0.06648, 0.06654",\
                 "0.06488, 0.06498, 0.06526, 0.06564, 0.06599, 0.06626, 0.06644, 0.06655, 0.06663, 0.06669",\
                 "0.06513, 0.06522, 0.06547, 0.06588, 0.06624, 0.0665, 0.06668, 0.06679, 0.06687, 0.06693",\
                 "0.06549, 0.06555, 0.06585, 0.06623, 0.06659, 0.06686, 0.06702, 0.06714, 0.06721, 0.06727",\
                 "0.06593, 0.06602, 0.06629, 0.06667, 0.06703, 0.06729, 0.06747, 0.06759, 0.06766, 0.06767");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003835, 0.01378, 0.03279, 0.06239, 0.1039, 0.1586, 0.2274, 0.3115, 0.4117");
          values("0.0586, 0.05872, 0.05896, 0.0594, 0.05993, 0.06037, 0.06082, 0.06133, 0.06346, 0.07897",\
                 "0.05866, 0.05876, 0.05904, 0.05944, 0.06002, 0.06043, 0.06077, 0.0614, 0.06357, 0.07902",\
                 "0.0586, 0.05871, 0.05898, 0.0594, 0.0599, 0.06037, 0.06077, 0.06119, 0.06321, 0.0807",\
                 "0.05849, 0.05858, 0.05882, 0.05924, 0.05973, 0.06021, 0.06063, 0.06101, 0.06351, 0.08322",\
                 "0.0584, 0.05851, 0.05877, 0.05921, 0.0597, 0.06019, 0.06054, 0.06131, 0.06458, 0.08698",\
                 "0.05841, 0.0585, 0.05877, 0.05921, 0.0597, 0.06018, 0.06057, 0.06128, 0.06567, 0.09349",\
                 "0.05848, 0.05855, 0.05891, 0.05928, 0.0599, 0.06027, 0.06066, 0.06153, 0.06759, 0.1042",\
                 "0.05869, 0.05877, 0.05909, 0.05939, 0.06006, 0.06054, 0.06083, 0.06173, 0.07079, 0.1217",\
                 "0.05899, 0.0591, 0.05937, 0.0598, 0.06018, 0.06068, 0.0615, 0.06288, 0.07775, 0.1487",\
                 "0.05944, 0.05955, 0.05978, 0.06019, 0.06067, 0.06093, 0.06136, 0.06568, 0.09243, 0.1914");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003835, 0.01378, 0.03279, 0.06239, 0.1039, 0.1586, 0.2274, 0.3115, 0.4117");
          values("0.076, 0.0761, 0.07643, 0.07687, 0.0772, 0.07744, 0.07759, 0.0777, 0.07776, 0.0778",\
                 "0.07589, 0.076, 0.07634, 0.07677, 0.0771, 0.07734, 0.0775, 0.07759, 0.07766, 0.0777",\
                 "0.07577, 0.07587, 0.07622, 0.07665, 0.07699, 0.07723, 0.07739, 0.07748, 0.07755, 0.07759",\
                 "0.07565, 0.07576, 0.0761, 0.07652, 0.07688, 0.07711, 0.07727, 0.07737, 0.07743, 0.07748",\
                 "0.0756, 0.07572, 0.07604, 0.07649, 0.07682, 0.07706, 0.07721, 0.07732, 0.07738, 0.07743",\
                 "0.07565, 0.07575, 0.07611, 0.07653, 0.07687, 0.0771, 0.07726, 0.07735, 0.07743, 0.07747",\
                 "0.07582, 0.07593, 0.07625, 0.07668, 0.07703, 0.07726, 0.07742, 0.07753, 0.07759, 0.07763",\
                 "0.07613, 0.07622, 0.07658, 0.07698, 0.07732, 0.07757, 0.07773, 0.07783, 0.07789, 0.07793",\
                 "0.07655, 0.07663, 0.07694, 0.0774, 0.07775, 0.07799, 0.07815, 0.07824, 0.07831, 0.07835",\
                 "0.07709, 0.07722, 0.07752, 0.07796, 0.07831, 0.07855, 0.07871, 0.07881, 0.07886, 0.07884");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003835, 0.01378, 0.03279, 0.06239, 0.1039, 0.1586, 0.2274, 0.3115, 0.4117");
          values("0.05325, 0.05339, 0.05369, 0.05413, 0.05463, 0.05508, 0.0554, 0.05589, 0.05746, 0.0715",\
                 "0.05328, 0.05339, 0.05368, 0.05415, 0.05465, 0.05509, 0.05545, 0.05592, 0.05746, 0.07185",\
                 "0.05331, 0.05343, 0.05375, 0.05415, 0.05469, 0.05508, 0.05544, 0.05581, 0.05818, 0.07292",\
                 "0.05322, 0.05334, 0.05368, 0.05419, 0.05474, 0.05506, 0.05542, 0.05595, 0.05791, 0.075",\
                 "0.05316, 0.05328, 0.05364, 0.05408, 0.05454, 0.05497, 0.05531, 0.05585, 0.0584, 0.07932",\
                 "0.05306, 0.05318, 0.05356, 0.05397, 0.05447, 0.05491, 0.05524, 0.05568, 0.05949, 0.08584",\
                 "0.05304, 0.05318, 0.05354, 0.05397, 0.05454, 0.05491, 0.05549, 0.05601, 0.06164, 0.09742",\
                 "0.05314, 0.05326, 0.05354, 0.05397, 0.05454, 0.05499, 0.05551, 0.05612, 0.06536, 0.1157",\
                 "0.05333, 0.05342, 0.0537, 0.05425, 0.05462, 0.05515, 0.05578, 0.05731, 0.0734, 0.1466",\
                 "0.05362, 0.05375, 0.05405, 0.05453, 0.05489, 0.05524, 0.0557, 0.05998, 0.09047, 0.1958");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003835, 0.01378, 0.03279, 0.06239, 0.1039, 0.1586, 0.2274, 0.3115, 0.4117");
          values("0.04561, 0.04569, 0.04595, 0.04634, 0.04669, 0.04695, 0.04713, 0.04725, 0.04733, 0.04739",\
                 "0.04563, 0.04572, 0.04598, 0.04636, 0.04671, 0.04698, 0.04716, 0.04728, 0.04736, 0.04742",\
                 "0.04565, 0.04572, 0.04599, 0.04637, 0.04673, 0.04699, 0.04717, 0.04729, 0.04737, 0.04743",\
                 "0.04555, 0.04565, 0.04591, 0.04629, 0.04664, 0.0469, 0.04708, 0.04721, 0.04729, 0.04734",\
                 "0.04545, 0.04555, 0.0458, 0.04618, 0.04653, 0.0468, 0.04698, 0.0471, 0.04718, 0.04724",\
                 "0.04536, 0.04543, 0.04569, 0.04607, 0.04642, 0.0467, 0.04689, 0.047, 0.04709, 0.04715",\
                 "0.04533, 0.04539, 0.04567, 0.04605, 0.0464, 0.04665, 0.04684, 0.04696, 0.04705, 0.04711",\
                 "0.04541, 0.04547, 0.04572, 0.0461, 0.04645, 0.04672, 0.04691, 0.04704, 0.04712, 0.04718",\
                 "0.04561, 0.04566, 0.04591, 0.04629, 0.04663, 0.04691, 0.0471, 0.04723, 0.04732, 0.04738",\
                 "0.04595, 0.04601, 0.04623, 0.04657, 0.04692, 0.0472, 0.04739, 0.04753, 0.04762, 0.04769");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003835, 0.01378, 0.03279, 0.06239, 0.1039, 0.1586, 0.2274, 0.3115, 0.4117");
          values("0.0593, 0.05937, 0.05965, 0.06006, 0.06054, 0.06107, 0.06152, 0.06181, 0.0637, 0.07775",\
                 "0.05922, 0.05934, 0.05954, 0.06, 0.06047, 0.06093, 0.06142, 0.06174, 0.06348, 0.07803",\
                 "0.0591, 0.05915, 0.05942, 0.05985, 0.06042, 0.06086, 0.06122, 0.06178, 0.06396, 0.07954",\
                 "0.05895, 0.05907, 0.05933, 0.05976, 0.0602, 0.06073, 0.06118, 0.06175, 0.0643, 0.08227",\
                 "0.05892, 0.05901, 0.05927, 0.05971, 0.06018, 0.0607, 0.06113, 0.06145, 0.06501, 0.08759",\
                 "0.05892, 0.05902, 0.05934, 0.05968, 0.06022, 0.06068, 0.06104, 0.06193, 0.06638, 0.0988",\
                 "0.05901, 0.05912, 0.05942, 0.05981, 0.06036, 0.06077, 0.06127, 0.06197, 0.071, 0.1189",\
                 "0.05923, 0.05928, 0.05963, 0.05996, 0.06045, 0.06095, 0.06144, 0.06315, 0.08037, 0.1579",\
                 "0.0596, 0.05969, 0.0599, 0.06023, 0.06085, 0.0612, 0.06187, 0.06753, 0.1054, 0.2245",\
                 "0.06011, 0.06019, 0.06036, 0.06075, 0.06119, 0.06181, 0.0635, 0.08235, 0.1659, 0.3168");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003835, 0.01378, 0.03279, 0.06239, 0.1039, 0.1586, 0.2274, 0.3115, 0.4117");
          values("0.04782, 0.04792, 0.04821, 0.04859, 0.04892, 0.04918, 0.04935, 0.04947, 0.04955, 0.04961",\
                 "0.04781, 0.04791, 0.0482, 0.04858, 0.04892, 0.04918, 0.04935, 0.04947, 0.04954, 0.0496",\
                 "0.04751, 0.04759, 0.04788, 0.04827, 0.04861, 0.04886, 0.04904, 0.04915, 0.04924, 0.04929",\
                 "0.04692, 0.04701, 0.04729, 0.04767, 0.04803, 0.04828, 0.04845, 0.04856, 0.04864, 0.0487",\
                 "0.04648, 0.04656, 0.04686, 0.04726, 0.0476, 0.04786, 0.04803, 0.04814, 0.04822, 0.04828",\
                 "0.04623, 0.04635, 0.04665, 0.04702, 0.04739, 0.04765, 0.04781, 0.04792, 0.048, 0.04805",\
                 "0.04616, 0.04623, 0.04655, 0.04697, 0.04733, 0.04757, 0.04772, 0.04783, 0.04791, 0.04796",\
                 "0.04629, 0.04634, 0.04666, 0.04706, 0.04744, 0.04768, 0.04785, 0.04796, 0.04803, 0.04808",\
                 "0.04655, 0.04663, 0.04693, 0.04736, 0.04771, 0.04795, 0.04811, 0.04821, 0.0483, 0.04835",\
                 "0.04697, 0.04705, 0.04737, 0.04779, 0.04814, 0.04839, 0.04855, 0.04866, 0.04873, 0.04878");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003835, 0.01378, 0.03279, 0.06239, 0.1039, 0.1586, 0.2274, 0.3115, 0.4117");
          values("0.0553, 0.05541, 0.0558, 0.05621, 0.05674, 0.0571, 0.05749, 0.0582, 0.05916, 0.07087",\
                 "0.0552, 0.05532, 0.05568, 0.05611, 0.05662, 0.05699, 0.05738, 0.0577, 0.05898, 0.07083",\
                 "0.05504, 0.05518, 0.05547, 0.05594, 0.05647, 0.05684, 0.05722, 0.05794, 0.05907, 0.07191",\
                 "0.05488, 0.05496, 0.05528, 0.05574, 0.05635, 0.05663, 0.05706, 0.05771, 0.05914, 0.07325",\
                 "0.05451, 0.05462, 0.05496, 0.0554, 0.05599, 0.05632, 0.0567, 0.05721, 0.05933, 0.07717",\
                 "0.05416, 0.05422, 0.05461, 0.05501, 0.05557, 0.05591, 0.0563, 0.05691, 0.06007, 0.08397",\
                 "0.0539, 0.05399, 0.05435, 0.05476, 0.05529, 0.05575, 0.05611, 0.05673, 0.06242, 0.09679",\
                 "0.05384, 0.05394, 0.05435, 0.05473, 0.05525, 0.05576, 0.05622, 0.05702, 0.06718, 0.1215",\
                 "0.05405, 0.05414, 0.05444, 0.05476, 0.05538, 0.05591, 0.05646, 0.05859, 0.07949, 0.1657",\
                 "0.05445, 0.05455, 0.05479, 0.05526, 0.05557, 0.056, 0.0571, 0.06448, 0.1107, 0.2405");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003835, 0.01378, 0.03279, 0.06239, 0.1039, 0.1586, 0.2274, 0.3115, 0.4117");
          values("0.04197, 0.04209, 0.04243, 0.04286, 0.0432, 0.04344, 0.04359, 0.04368, 0.04375, 0.04379",\
                 "0.04189, 0.04202, 0.04236, 0.04279, 0.04313, 0.04336, 0.04351, 0.04361, 0.04367, 0.04372",\
                 "0.04138, 0.04151, 0.04187, 0.04229, 0.04264, 0.04287, 0.04302, 0.04312, 0.04318, 0.04323",\
                 "0.04093, 0.04105, 0.04139, 0.0418, 0.04214, 0.04239, 0.04255, 0.04266, 0.04273, 0.04278",\
                 "0.0407, 0.0408, 0.04107, 0.04145, 0.0418, 0.04208, 0.04226, 0.04239, 0.04248, 0.04253",\
                 "0.04075, 0.04082, 0.04099, 0.04132, 0.04166, 0.04194, 0.04215, 0.0423, 0.04241, 0.04248",\
                 "0.04101, 0.041, 0.04113, 0.04138, 0.04169, 0.04196, 0.04219, 0.04235, 0.04246, 0.04255",\
                 "0.04144, 0.04141, 0.04147, 0.04164, 0.0419, 0.04217, 0.04238, 0.04254, 0.04268, 0.04277",\
                 "0.04203, 0.04199, 0.04193, 0.04203, 0.04225, 0.0425, 0.04273, 0.0429, 0.04304, 0.04313",\
                 "0.04279, 0.04268, 0.04259, 0.04266, 0.0428, 0.04302, 0.04321, 0.04341, 0.04353, 0.04366");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003835, 0.01378, 0.03279, 0.06239, 0.1039, 0.1586, 0.2274, 0.3115, 0.4117");
          values("0.02397, 0.0241, 0.02457, 0.02514, 0.02564, 0.02604, 0.02635, 0.02699, 0.02786, 0.03533",\
                 "0.02392, 0.02405, 0.02451, 0.02513, 0.02562, 0.02604, 0.02635, 0.0267, 0.0277, 0.03552",\
                 "0.02382, 0.02395, 0.02438, 0.02495, 0.02546, 0.02592, 0.02621, 0.02657, 0.02736, 0.03591",\
                 "0.02347, 0.0236, 0.02395, 0.02449, 0.02495, 0.02543, 0.02588, 0.02657, 0.02736, 0.0366",\
                 "0.02323, 0.02334, 0.02364, 0.02406, 0.02454, 0.02509, 0.02558, 0.02594, 0.02731, 0.03908",\
                 "0.02311, 0.0232, 0.02333, 0.0238, 0.02425, 0.02466, 0.02516, 0.02579, 0.02764, 0.04313",\
                 "0.02318, 0.02321, 0.02339, 0.02363, 0.02411, 0.02486, 0.02505, 0.02587, 0.02846, 0.05011",\
                 "0.02342, 0.02344, 0.02352, 0.02369, 0.02405, 0.02459, 0.02543, 0.02573, 0.03014, 0.06104",\
                 "0.02384, 0.02389, 0.02399, 0.02403, 0.02436, 0.02457, 0.02547, 0.02662, 0.03474, 0.0818",\
                 "0.0245, 0.02445, 0.0245, 0.02462, 0.02488, 0.02507, 0.02558, 0.02765, 0.04432, 0.1179");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003835, 0.01378, 0.03279, 0.06239, 0.1039, 0.1586, 0.2274, 0.3115, 0.4117");
          values("0.04197, 0.04209, 0.04243, 0.04286, 0.0432, 0.04344, 0.04358, 0.04368, 0.04375, 0.04379",\
                 "0.0419, 0.04202, 0.04236, 0.04278, 0.04313, 0.04336, 0.04351, 0.04361, 0.04367, 0.04372",\
                 "0.04138, 0.04151, 0.04187, 0.04229, 0.04264, 0.04287, 0.04303, 0.04312, 0.04318, 0.04323",\
                 "0.04094, 0.04107, 0.04139, 0.0418, 0.04215, 0.04239, 0.04256, 0.04266, 0.04273, 0.04278",\
                 "0.04075, 0.0408, 0.04107, 0.04145, 0.0418, 0.04208, 0.04226, 0.0424, 0.04247, 0.04253",\
                 "0.04077, 0.04082, 0.04103, 0.04131, 0.04167, 0.04194, 0.04215, 0.0423, 0.04241, 0.04248",\
                 "0.04101, 0.04101, 0.04113, 0.04138, 0.04169, 0.04196, 0.04219, 0.04234, 0.04246, 0.04255",\
                 "0.04144, 0.04141, 0.04147, 0.04164, 0.0419, 0.04217, 0.04238, 0.04255, 0.04268, 0.04277",\
                 "0.04203, 0.04199, 0.04193, 0.04205, 0.04225, 0.04249, 0.04272, 0.04291, 0.04304, 0.04313",\
                 "0.04279, 0.04268, 0.04255, 0.04266, 0.04279, 0.04302, 0.04321, 0.04341, 0.04354, 0.04366");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003835, 0.01378, 0.03279, 0.06239, 0.1039, 0.1586, 0.2274, 0.3115, 0.4117");
          values("0.02397, 0.0241, 0.02457, 0.02514, 0.02564, 0.02604, 0.02637, 0.02699, 0.02786, 0.03533",\
                 "0.02392, 0.02405, 0.02451, 0.02513, 0.02562, 0.02604, 0.02635, 0.0267, 0.02734, 0.03552",\
                 "0.02379, 0.02396, 0.02436, 0.02495, 0.02548, 0.02592, 0.02628, 0.0265, 0.02745, 0.03598",\
                 "0.0235, 0.02359, 0.02395, 0.02448, 0.02495, 0.02543, 0.02595, 0.0262, 0.02766, 0.03732",\
                 "0.02322, 0.02333, 0.02362, 0.02405, 0.02452, 0.02505, 0.02576, 0.02592, 0.02749, 0.03935",\
                 "0.0231, 0.02319, 0.02336, 0.02383, 0.02423, 0.02471, 0.0252, 0.02576, 0.02774, 0.04322",\
                 "0.02318, 0.02321, 0.02339, 0.0236, 0.02413, 0.02478, 0.02505, 0.02551, 0.02852, 0.05025",\
                 "0.02342, 0.02344, 0.02353, 0.02369, 0.02407, 0.0246, 0.02534, 0.0259, 0.03061, 0.06104",\
                 "0.02384, 0.02386, 0.02394, 0.02411, 0.02436, 0.0246, 0.02529, 0.0266, 0.03469, 0.08178",\
                 "0.0245, 0.02446, 0.0245, 0.0247, 0.02488, 0.02507, 0.02558, 0.02765, 0.04432, 0.1179");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003835, 0.01378, 0.03279, 0.06239, 0.1039, 0.1586, 0.2274, 0.3115, 0.4117");
          values("0.04782, 0.04792, 0.0482, 0.04859, 0.04892, 0.04918, 0.04935, 0.04947, 0.04955, 0.0496",\
                 "0.04781, 0.0479, 0.04818, 0.04858, 0.04892, 0.04917, 0.04934, 0.04946, 0.04954, 0.0496",\
                 "0.0475, 0.04758, 0.04787, 0.04826, 0.0486, 0.04885, 0.04902, 0.04914, 0.04922, 0.04928",\
                 "0.04691, 0.04699, 0.04728, 0.04767, 0.04801, 0.04827, 0.04844, 0.04856, 0.04864, 0.04869",\
                 "0.04647, 0.04655, 0.04684, 0.04723, 0.04758, 0.04784, 0.04801, 0.04813, 0.04821, 0.04826",\
                 "0.04625, 0.04634, 0.04662, 0.04702, 0.04738, 0.04763, 0.0478, 0.04791, 0.04799, 0.04804",\
                 "0.04614, 0.04623, 0.04655, 0.04695, 0.04732, 0.04756, 0.04772, 0.04783, 0.04791, 0.04796",\
                 "0.04626, 0.04636, 0.04666, 0.04706, 0.04742, 0.04766, 0.04783, 0.04795, 0.04802, 0.04807",\
                 "0.04655, 0.04665, 0.04692, 0.04735, 0.0477, 0.04794, 0.04811, 0.04822, 0.0483, 0.04835",\
                 "0.04695, 0.04705, 0.04738, 0.04778, 0.04813, 0.04838, 0.04854, 0.04864, 0.04872, 0.04878");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003835, 0.01378, 0.03279, 0.06239, 0.1039, 0.1586, 0.2274, 0.3115, 0.4117");
          values("0.05529, 0.0554, 0.05577, 0.05619, 0.05673, 0.05715, 0.05749, 0.05781, 0.0592, 0.07066",\
                 "0.05519, 0.05532, 0.0557, 0.05615, 0.05673, 0.05704, 0.05737, 0.0577, 0.05924, 0.07084",\
                 "0.05506, 0.05514, 0.05552, 0.05595, 0.05649, 0.05688, 0.05722, 0.05764, 0.05905, 0.0715",\
                 "0.05488, 0.055, 0.05526, 0.05573, 0.05633, 0.05665, 0.05703, 0.05749, 0.05912, 0.07363",\
                 "0.05452, 0.05463, 0.05495, 0.05543, 0.05599, 0.05634, 0.05672, 0.05718, 0.05956, 0.07714",\
                 "0.05412, 0.05426, 0.05457, 0.055, 0.05559, 0.05595, 0.05627, 0.05675, 0.06011, 0.08438",\
                 "0.05392, 0.05401, 0.0544, 0.05481, 0.05529, 0.05573, 0.05611, 0.05699, 0.06216, 0.09731",\
                 "0.05388, 0.05397, 0.05433, 0.05476, 0.05529, 0.05571, 0.05624, 0.05733, 0.06713, 0.1214",\
                 "0.05405, 0.05413, 0.05451, 0.05487, 0.05536, 0.05602, 0.05648, 0.05845, 0.07915, 0.1657",\
                 "0.05444, 0.05457, 0.05487, 0.05523, 0.05559, 0.05598, 0.05708, 0.06442, 0.1107, 0.2404");
        }
      }

      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.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003835, 0.01378, 0.03279, 0.06239, 0.1039, 0.1586, 0.2274, 0.3115, 0.4117");
          values("4.071, 4.129, 4.287, 4.508, 4.782, 5.115, 5.519, 6.007, 6.593, 7.289",\
                 "4.104, 4.162, 4.32, 4.541, 4.815, 5.148, 5.551, 6.04, 6.626, 7.322",\
                 "4.202, 4.26, 4.417, 4.639, 4.913, 5.245, 5.649, 6.138, 6.724, 7.419",\
                 "4.339, 4.397, 4.554, 4.776, 5.05, 5.382, 5.786, 6.274, 6.861, 7.556",\
                 "4.457, 4.516, 4.673, 4.894, 5.168, 5.501, 5.904, 6.393, 6.979, 7.674",\
                 "4.545, 4.604, 4.761, 4.982, 5.257, 5.59, 5.993, 6.482, 7.068, 7.764",\
                 "4.595, 4.654, 4.811, 5.032, 5.307, 5.639, 6.043, 6.531, 7.117, 7.812",\
                 "4.596, 4.655, 4.812, 5.033, 5.308, 5.64, 6.043, 6.533, 7.119, 7.815",\
                 "4.548, 4.606, 4.764, 4.985, 5.259, 5.592, 5.995, 6.484, 7.07, 7.765",\
                 "4.446, 4.504, 4.662, 4.883, 5.156, 5.489, 5.892, 6.381, 6.967, 7.662");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003835, 0.01378, 0.03279, 0.06239, 0.1039, 0.1586, 0.2274, 0.3115, 0.4117");
          values("4.209, 4.264, 4.441, 4.765, 5.264, 5.962, 6.876, 8.027, 9.431, 11.11",\
                 "4.23, 4.285, 4.462, 4.786, 5.285, 5.982, 6.898, 8.048, 9.452, 11.13",\
                 "4.323, 4.378, 4.555, 4.879, 5.378, 6.075, 6.99, 8.14, 9.546, 11.22",\
                 "4.501, 4.557, 4.734, 5.058, 5.558, 6.255, 7.17, 8.32, 9.725, 11.4",\
                 "4.772, 4.828, 5.005, 5.329, 5.829, 6.525, 7.44, 8.59, 9.996, 11.67",\
                 "5.141, 5.196, 5.373, 5.697, 6.197, 6.894, 7.809, 8.959, 10.36, 12.04",\
                 "5.588, 5.643, 5.82, 6.144, 6.644, 7.34, 8.255, 9.405, 10.81, 12.48",\
                 "6.092, 6.147, 6.325, 6.649, 7.148, 7.846, 8.76, 9.911, 11.32, 12.99",\
                 "6.664, 6.72, 6.897, 7.221, 7.72, 8.416, 9.331, 10.48, 11.89, 13.56",\
                 "7.306, 7.362, 7.539, 7.864, 8.363, 9.06, 9.974, 11.12, 12.53, 14.2");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003835, 0.01378, 0.03279, 0.06239, 0.1039, 0.1586, 0.2274, 0.3115, 0.4117");
          values("0.3358, 0.384, 0.5194, 0.7406, 1.06, 1.501, 2.096, 2.87, 3.843, 5.013",\
                 "0.3358, 0.3822, 0.519, 0.741, 1.061, 1.5, 2.095, 2.873, 3.843, 5.013",\
                 "0.3358, 0.3822, 0.5196, 0.7402, 1.06, 1.501, 2.098, 2.87, 3.843, 5.018",\
                 "0.336, 0.382, 0.5186, 0.7416, 1.061, 1.5, 2.098, 2.873, 3.84, 5.018",\
                 "0.3358, 0.3818, 0.5194, 0.7402, 1.061, 1.5, 2.096, 2.869, 3.839, 5.018",\
                 "0.3356, 0.3826, 0.5186, 0.7412, 1.059, 1.5, 2.097, 2.873, 3.843, 5.019",\
                 "0.3354, 0.3838, 0.5188, 0.7418, 1.06, 1.502, 2.097, 2.87, 3.84, 5.017",\
                 "0.3352, 0.3822, 0.5192, 0.7402, 1.062, 1.5, 2.097, 2.872, 3.844, 5.014",\
                 "0.336, 0.3814, 0.518, 0.742, 1.062, 1.502, 2.098, 2.868, 3.838, 5.01",\
                 "0.336, 0.382, 0.52, 0.74, 1.06, 1.5, 2.094, 2.872, 3.838, 5.018");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003835, 0.01378, 0.03279, 0.06239, 0.1039, 0.1586, 0.2274, 0.3115, 0.4117");
          values("0.2688, 0.3398, 0.6062, 1.143, 1.986, 3.171, 4.734, 6.709, 9.116, 11.99",\
                 "0.2684, 0.3398, 0.6064, 1.142, 1.986, 3.173, 4.733, 6.705, 9.106, 11.98",\
                 "0.2688, 0.3412, 0.6052, 1.141, 1.985, 3.174, 4.736, 6.706, 9.115, 11.98",\
                 "0.2692, 0.3402, 0.6062, 1.141, 1.985, 3.174, 4.736, 6.706, 9.115, 11.98",\
                 "0.269, 0.3394, 0.6062, 1.141, 1.987, 3.172, 4.732, 6.706, 9.115, 11.98",\
                 "0.2694, 0.3396, 0.6054, 1.142, 1.985, 3.171, 4.735, 6.704, 9.116, 11.98",\
                 "0.269, 0.3408, 0.6064, 1.141, 1.987, 3.171, 4.733, 6.708, 9.11, 11.99",\
                 "0.27, 0.34, 0.606, 1.142, 1.986, 3.17, 4.736, 6.71, 9.12, 11.98",\
                 "0.27, 0.34, 0.606, 1.142, 1.984, 3.17, 4.738, 6.71, 9.116, 11.98",\
                 "0.27, 0.34, 0.606, 1.14, 1.986, 3.172, 4.732, 6.702, 9.112, 11.98");
        }
      }

      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.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003835, 0.01378, 0.03279, 0.06239, 0.1039, 0.1586, 0.2274, 0.3115, 0.4117");
          values("2.096, 2.156, 2.317, 2.541, 2.819, 3.154, 3.56, 4.05, 4.637, 5.333",\
                 "2.12, 2.18, 2.341, 2.565, 2.843, 3.178, 3.584, 4.074, 4.661, 5.358",\
                 "2.206, 2.266, 2.426, 2.651, 2.928, 3.264, 3.669, 4.159, 4.747, 5.443",\
                 "2.367, 2.427, 2.587, 2.812, 3.089, 3.425, 3.83, 4.32, 4.908, 5.604",\
                 "2.596, 2.655, 2.816, 3.04, 3.318, 3.654, 4.059, 4.549, 5.137, 5.833",\
                 "2.826, 2.886, 3.046, 3.271, 3.549, 3.883, 4.29, 4.779, 5.367, 6.063",\
                 "3.024, 3.084, 3.244, 3.469, 3.746, 4.082, 4.489, 4.979, 5.566, 6.263",\
                 "3.184, 3.244, 3.405, 3.63, 3.908, 4.243, 4.649, 5.139, 5.727, 6.423",\
                 "3.3, 3.36, 3.521, 3.746, 4.024, 4.36, 4.766, 5.256, 5.844, 6.54",\
                 "3.369, 3.43, 3.591, 3.816, 4.095, 4.43, 4.836, 5.326, 5.914, 6.61");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003835, 0.01378, 0.03279, 0.06239, 0.1039, 0.1586, 0.2274, 0.3115, 0.4117");
          values("2.798, 2.864, 3.06, 3.394, 3.895, 4.592, 5.506, 6.657, 8.061, 9.733",\
                 "2.829, 2.895, 3.092, 3.425, 3.926, 4.623, 5.537, 6.688, 8.092, 9.763",\
                 "2.926, 2.992, 3.188, 3.521, 4.022, 4.72, 5.634, 6.785, 8.189, 9.86",\
                 "3.124, 3.19, 3.387, 3.72, 4.22, 4.918, 5.832, 6.983, 8.387, 10.06",\
                 "3.451, 3.517, 3.713, 4.047, 4.547, 5.245, 6.16, 7.31, 8.713, 10.39",\
                 "3.925, 3.991, 4.188, 4.52, 5.021, 5.719, 6.633, 7.784, 9.187, 10.86",\
                 "4.545, 4.612, 4.808, 5.141, 5.642, 6.339, 7.254, 8.404, 9.807, 11.48",\
                 "5.264, 5.331, 5.528, 5.862, 6.363, 7.06, 7.975, 9.125, 10.53, 12.2",\
                 "6.034, 6.102, 6.301, 6.635, 7.136, 7.834, 8.748, 9.899, 11.3, 12.98",\
                 "6.85, 6.919, 7.12, 7.456, 7.957, 8.654, 9.568, 10.72, 12.12, 13.8");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003835, 0.01378, 0.03279, 0.06239, 0.1039, 0.1586, 0.2274, 0.3115, 0.4117");
          values("0.3488, 0.3954, 0.5312, 0.753, 1.073, 1.513, 2.105, 2.88, 3.848, 5.024",\
                 "0.3486, 0.395, 0.5308, 0.7538, 1.073, 1.513, 2.107, 2.88, 3.85, 5.016",\
                 "0.349, 0.3948, 0.531, 0.7532, 1.071, 1.511, 2.106, 2.878, 3.849, 5.023",\
                 "0.3484, 0.395, 0.5312, 0.7556, 1.071, 1.512, 2.105, 2.88, 3.85, 5.017",\
                 "0.349, 0.3952, 0.5312, 0.7528, 1.073, 1.513, 2.106, 2.88, 3.845, 5.024",\
                 "0.3486, 0.395, 0.5318, 0.7546, 1.072, 1.513, 2.107, 2.877, 3.846, 5.022",\
                 "0.3496, 0.3958, 0.5326, 0.7546, 1.073, 1.513, 2.105, 2.877, 3.847, 5.023",\
                 "0.3512, 0.3972, 0.5324, 0.7544, 1.073, 1.512, 2.105, 2.879, 3.848, 5.024",\
                 "0.3522, 0.3982, 0.5336, 0.7546, 1.073, 1.513, 2.106, 2.882, 3.846, 5.016",\
                 "0.354, 0.4, 0.536, 0.758, 1.074, 1.514, 2.108, 2.882, 3.844, 5.016");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003835, 0.01378, 0.03279, 0.06239, 0.1039, 0.1586, 0.2274, 0.3115, 0.4117");
          values("0.3322, 0.4034, 0.6556, 1.166, 2, 3.181, 4.743, 6.715, 9.119, 11.99",\
                 "0.3324, 0.4038, 0.6566, 1.164, 1.998, 3.185, 4.746, 6.71, 9.109, 11.99",\
                 "0.3332, 0.4048, 0.6556, 1.166, 1.999, 3.183, 4.745, 6.713, 9.114, 11.99",\
                 "0.3318, 0.4036, 0.6548, 1.166, 1.999, 3.183, 4.744, 6.715, 9.118, 11.99",\
                 "0.3324, 0.4038, 0.6566, 1.167, 2, 3.184, 4.746, 6.708, 9.12, 11.99",\
                 "0.3326, 0.4038, 0.6558, 1.167, 1.998, 3.186, 4.743, 6.709, 9.116, 11.98",\
                 "0.3336, 0.4052, 0.6572, 1.167, 2, 3.182, 4.746, 6.715, 9.122, 11.99",\
                 "0.338, 0.4084, 0.6602, 1.168, 1.999, 3.186, 4.748, 6.708, 9.11, 11.99",\
                 "0.344, 0.414, 0.662, 1.17, 1.998, 3.18, 4.746, 6.714, 9.122, 11.98",\
                 "0.35, 0.42, 0.668, 1.172, 2.002, 3.182, 4.74, 6.708, 9.11, 11.99");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003835, 0.01378, 0.03279, 0.06239, 0.1039, 0.1586, 0.2274, 0.3115, 0.4117");
          values("4.071, 4.129, 4.287, 4.508, 4.782, 5.115, 5.519, 6.007, 6.593, 7.289",\
                 "4.104, 4.162, 4.32, 4.541, 4.815, 5.148, 5.551, 6.04, 6.626, 7.322",\
                 "4.202, 4.26, 4.417, 4.639, 4.913, 5.245, 5.649, 6.138, 6.724, 7.419",\
                 "4.339, 4.397, 4.554, 4.776, 5.05, 5.382, 5.786, 6.274, 6.861, 7.556",\
                 "4.457, 4.516, 4.673, 4.894, 5.168, 5.501, 5.904, 6.393, 6.979, 7.674",\
                 "4.545, 4.604, 4.761, 4.982, 5.257, 5.59, 5.993, 6.482, 7.068, 7.764",\
                 "4.595, 4.654, 4.811, 5.032, 5.307, 5.639, 6.043, 6.531, 7.117, 7.812",\
                 "4.596, 4.655, 4.812, 5.033, 5.308, 5.64, 6.043, 6.533, 7.119, 7.815",\
                 "4.548, 4.606, 4.764, 4.985, 5.259, 5.592, 5.995, 6.484, 7.07, 7.765",\
                 "4.446, 4.504, 4.662, 4.883, 5.156, 5.489, 5.892, 6.381, 6.967, 7.662");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003835, 0.01378, 0.03279, 0.06239, 0.1039, 0.1586, 0.2274, 0.3115, 0.4117");
          values("4.209, 4.264, 4.441, 4.765, 5.264, 5.962, 6.876, 8.027, 9.431, 11.11",\
                 "4.23, 4.285, 4.462, 4.786, 5.285, 5.982, 6.898, 8.048, 9.452, 11.13",\
                 "4.323, 4.378, 4.555, 4.879, 5.378, 6.075, 6.99, 8.14, 9.546, 11.22",\
                 "4.501, 4.557, 4.734, 5.058, 5.558, 6.255, 7.17, 8.32, 9.725, 11.4",\
                 "4.772, 4.828, 5.005, 5.329, 5.829, 6.525, 7.44, 8.59, 9.996, 11.67",\
                 "5.141, 5.196, 5.373, 5.697, 6.197, 6.894, 7.809, 8.959, 10.36, 12.04",\
                 "5.588, 5.643, 5.82, 6.144, 6.644, 7.34, 8.255, 9.405, 10.81, 12.48",\
                 "6.092, 6.147, 6.325, 6.649, 7.148, 7.846, 8.76, 9.911, 11.32, 12.99",\
                 "6.664, 6.72, 6.897, 7.221, 7.72, 8.416, 9.331, 10.48, 11.89, 13.56",\
                 "7.306, 7.362, 7.539, 7.864, 8.363, 9.06, 9.974, 11.12, 12.53, 14.2");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003835, 0.01378, 0.03279, 0.06239, 0.1039, 0.1586, 0.2274, 0.3115, 0.4117");
          values("0.3488, 0.3954, 0.5312, 0.753, 1.073, 1.513, 2.105, 2.88, 3.848, 5.024",\
                 "0.3486, 0.395, 0.5308, 0.7538, 1.073, 1.513, 2.107, 2.88, 3.85, 5.016",\
                 "0.349, 0.3948, 0.531, 0.7532, 1.071, 1.511, 2.106, 2.878, 3.849, 5.023",\
                 "0.3484, 0.395, 0.5312, 0.7556, 1.071, 1.512, 2.105, 2.88, 3.85, 5.017",\
                 "0.349, 0.3952, 0.5312, 0.7528, 1.073, 1.513, 2.106, 2.88, 3.845, 5.024",\
                 "0.3486, 0.395, 0.5318, 0.7546, 1.072, 1.513, 2.107, 2.877, 3.846, 5.022",\
                 "0.3496, 0.3958, 0.5326, 0.7546, 1.073, 1.513, 2.105, 2.877, 3.847, 5.023",\
                 "0.3512, 0.3972, 0.5324, 0.7544, 1.073, 1.512, 2.105, 2.879, 3.848, 5.024",\
                 "0.3522, 0.3982, 0.5336, 0.7546, 1.073, 1.513, 2.106, 2.882, 3.846, 5.016",\
                 "0.354, 0.4, 0.536, 0.758, 1.074, 1.514, 2.108, 2.882, 3.844, 5.016");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003835, 0.01378, 0.03279, 0.06239, 0.1039, 0.1586, 0.2274, 0.3115, 0.4117");
          values("0.3322, 0.4034, 0.6556, 1.166, 2, 3.181, 4.743, 6.715, 9.119, 11.99",\
                 "0.3324, 0.4038, 0.6566, 1.164, 1.998, 3.185, 4.746, 6.71, 9.109, 11.99",\
                 "0.3332, 0.4048, 0.6556, 1.166, 1.999, 3.183, 4.745, 6.713, 9.114, 11.99",\
                 "0.3318, 0.4036, 0.6548, 1.166, 1.999, 3.183, 4.744, 6.715, 9.118, 11.99",\
                 "0.3324, 0.4038, 0.6566, 1.167, 2, 3.184, 4.746, 6.708, 9.12, 11.99",\
                 "0.3326, 0.4038, 0.6558, 1.167, 1.998, 3.186, 4.743, 6.709, 9.116, 11.98",\
                 "0.3336, 0.4052, 0.6572, 1.167, 2, 3.182, 4.746, 6.715, 9.122, 11.99",\
                 "0.338, 0.4084, 0.6602, 1.168, 1.999, 3.186, 4.748, 6.708, 9.11, 11.99",\
                 "0.344, 0.414, 0.662, 1.17, 1.998, 3.18, 4.746, 6.714, 9.122, 11.98",\
                 "0.35, 0.42, 0.668, 1.172, 2.002, 3.182, 4.74, 6.708, 9.11, 11.99");
        }
      }

      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.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003835, 0.01378, 0.03279, 0.06239, 0.1039, 0.1586, 0.2274, 0.3115, 0.4117");
          values("3.506, 3.566, 3.726, 3.95, 4.228, 4.563, 4.968, 5.458, 6.046, 6.742",\
                 "3.527, 3.587, 3.747, 3.971, 4.248, 4.584, 4.989, 5.479, 6.066, 6.763",\
                 "3.62, 3.68, 3.84, 4.064, 4.341, 4.677, 5.082, 5.572, 6.159, 6.855",\
                 "3.799, 3.859, 4.019, 4.243, 4.521, 4.855, 5.261, 5.751, 6.339, 7.034",\
                 "4.07, 4.129, 4.289, 4.514, 4.791, 5.127, 5.532, 6.022, 6.609, 7.305",\
                 "4.438, 4.497, 4.658, 4.882, 5.16, 5.494, 5.9, 6.39, 6.978, 7.673",\
                 "4.884, 4.944, 5.104, 5.328, 5.606, 5.941, 6.346, 6.836, 7.423, 8.12",\
                 "5.389, 5.449, 5.609, 5.834, 6.111, 6.446, 6.852, 7.342, 7.929, 8.625",\
                 "5.96, 6.02, 6.179, 6.404, 6.681, 7.017, 7.422, 7.912, 8.499, 9.196",\
                 "6.602, 6.662, 6.822, 7.047, 7.324, 7.659, 8.064, 8.554, 9.141, 9.837");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003835, 0.01378, 0.03279, 0.06239, 0.1039, 0.1586, 0.2274, 0.3115, 0.4117");
          values("3.342, 3.409, 3.606, 3.939, 4.439, 5.137, 6.052, 7.202, 8.606, 10.28",\
                 "3.375, 3.442, 3.638, 3.972, 4.472, 5.17, 6.085, 7.235, 8.639, 10.31",\
                 "3.474, 3.54, 3.737, 4.07, 4.571, 5.268, 6.183, 7.334, 8.737, 10.41",\
                 "3.611, 3.678, 3.874, 4.208, 4.708, 5.406, 6.32, 7.47, 8.874, 10.55",\
                 "3.73, 3.796, 3.993, 4.326, 4.827, 5.525, 6.439, 7.59, 8.994, 10.67",\
                 "3.818, 3.884, 4.081, 4.414, 4.915, 5.612, 6.527, 7.678, 9.081, 10.75",\
                 "3.865, 3.931, 4.128, 4.461, 4.962, 5.658, 6.573, 7.723, 9.127, 10.8",\
                 "3.867, 3.933, 4.13, 4.463, 4.964, 5.661, 6.576, 7.725, 9.129, 10.8",\
                 "3.818, 3.884, 4.081, 4.415, 4.915, 5.612, 6.527, 7.677, 9.08, 10.75",\
                 "3.715, 3.782, 3.978, 4.312, 4.813, 5.51, 6.425, 7.575, 8.979, 10.65");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003835, 0.01378, 0.03279, 0.06239, 0.1039, 0.1586, 0.2274, 0.3115, 0.4117");
          values("0.3478, 0.394, 0.53, 0.7518, 1.071, 1.512, 2.106, 2.877, 3.847, 5.021",\
                 "0.3472, 0.3936, 0.5296, 0.7524, 1.072, 1.51, 2.103, 2.88, 3.849, 5.023",\
                 "0.3472, 0.393, 0.5296, 0.7524, 1.072, 1.51, 2.103, 2.88, 3.849, 5.023",\
                 "0.347, 0.3934, 0.53, 0.7516, 1.072, 1.51, 2.103, 2.876, 3.849, 5.023",\
                 "0.3472, 0.3942, 0.5298, 0.7516, 1.072, 1.512, 2.106, 2.88, 3.849, 5.022",\
                 "0.3484, 0.3938, 0.5302, 0.7516, 1.07, 1.51, 2.104, 2.88, 3.848, 5.024",\
                 "0.3482, 0.3934, 0.5296, 0.7522, 1.072, 1.511, 2.106, 2.879, 3.85, 5.017",\
                 "0.3476, 0.3936, 0.53, 0.7526, 1.071, 1.51, 2.106, 2.878, 3.844, 5.024",\
                 "0.348, 0.394, 0.53, 0.752, 1.068, 1.512, 2.106, 2.876, 3.846, 5.02",\
                 "0.348, 0.394, 0.53, 0.752, 1.07, 1.51, 2.104, 2.876, 3.846, 5.014");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003835, 0.01378, 0.03279, 0.06239, 0.1039, 0.1586, 0.2274, 0.3115, 0.4117");
          values("0.333, 0.4048, 0.6564, 1.165, 2, 3.181, 4.744, 6.711, 9.111, 11.99",\
                 "0.3332, 0.4046, 0.656, 1.167, 1.998, 3.186, 4.746, 6.708, 9.116, 11.98",\
                 "0.3332, 0.4046, 0.6556, 1.167, 1.998, 3.184, 4.747, 6.714, 9.118, 11.99",\
                 "0.3332, 0.4046, 0.6554, 1.167, 1.997, 3.186, 4.747, 6.713, 9.12, 11.98",\
                 "0.334, 0.4044, 0.6556, 1.167, 2, 3.185, 4.746, 6.715, 9.121, 11.99",\
                 "0.3332, 0.405, 0.656, 1.166, 1.999, 3.183, 4.744, 6.714, 9.114, 11.98",\
                 "0.3334, 0.4042, 0.6562, 1.165, 2, 3.183, 4.74, 6.716, 9.122, 11.99",\
                 "0.3326, 0.404, 0.6562, 1.166, 1.996, 3.18, 4.745, 6.714, 9.122, 11.98",\
                 "0.3334, 0.4056, 0.6556, 1.166, 1.998, 3.178, 4.738, 6.704, 9.118, 11.98",\
                 "0.334, 0.402, 0.656, 1.168, 1.998, 3.184, 4.74, 6.702, 9.104, 11.97");
        }
      }

      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.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003835, 0.01378, 0.03279, 0.06239, 0.1039, 0.1586, 0.2274, 0.3115, 0.4117");
          values("3.53, 3.588, 3.746, 3.967, 4.241, 4.574, 4.977, 5.466, 6.052, 6.747",\
                 "3.561, 3.619, 3.776, 3.998, 4.272, 4.605, 5.008, 5.497, 6.083, 6.779",\
                 "3.657, 3.715, 3.872, 4.094, 4.368, 4.7, 5.104, 5.593, 6.179, 6.874",\
                 "3.855, 3.914, 4.071, 4.292, 4.566, 4.899, 5.302, 5.791, 6.378, 7.073",\
                 "4.183, 4.241, 4.398, 4.62, 4.894, 5.226, 5.63, 6.118, 6.705, 7.401",\
                 "4.656, 4.714, 4.872, 5.093, 5.367, 5.7, 6.103, 6.592, 7.178, 7.873",\
                 "5.264, 5.322, 5.479, 5.701, 5.975, 6.308, 6.712, 7.2, 7.786, 8.482",\
                 "5.948, 6.006, 6.163, 6.384, 6.659, 6.991, 7.395, 7.883, 8.47, 9.165",\
                 "6.674, 6.732, 6.89, 7.111, 7.385, 7.718, 8.121, 8.609, 9.196, 9.891",\
                 "7.445, 7.504, 7.661, 7.882, 8.157, 8.489, 8.893, 9.381, 9.967, 10.66");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003835, 0.01378, 0.03279, 0.06239, 0.1039, 0.1586, 0.2274, 0.3115, 0.4117");
          values("2.802, 2.857, 3.034, 3.359, 3.858, 4.555, 5.469, 6.62, 8.025, 9.698",\
                 "2.826, 2.882, 3.059, 3.383, 3.882, 4.579, 5.494, 6.644, 8.049, 9.72",\
                 "2.912, 2.967, 3.144, 3.468, 3.967, 4.664, 5.579, 6.73, 8.133, 9.805",\
                 "3.074, 3.129, 3.306, 3.63, 4.129, 4.826, 5.741, 6.891, 8.296, 9.97",\
                 "3.304, 3.359, 3.536, 3.861, 4.36, 5.057, 5.972, 7.123, 8.526, 10.2",\
                 "3.538, 3.594, 3.771, 4.095, 4.594, 5.292, 6.206, 7.356, 8.762, 10.43",\
                 "3.743, 3.798, 3.975, 4.299, 4.798, 5.494, 6.41, 7.56, 8.965, 10.64",\
                 "3.908, 3.964, 4.14, 4.465, 4.964, 5.661, 6.575, 7.726, 9.129, 10.8",\
                 "4.03, 4.086, 4.263, 4.587, 5.086, 5.783, 6.697, 7.848, 9.252, 10.93",\
                 "4.106, 4.161, 4.338, 4.662, 5.161, 5.859, 6.773, 7.923, 9.327, 11");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003835, 0.01378, 0.03279, 0.06239, 0.1039, 0.1586, 0.2274, 0.3115, 0.4117");
          values("0.3354, 0.3826, 0.5186, 0.7406, 1.06, 1.501, 2.097, 2.87, 3.842, 5.019",\
                 "0.3358, 0.3826, 0.519, 0.7406, 1.059, 1.5, 2.098, 2.871, 3.843, 5.01",\
                 "0.3356, 0.382, 0.5194, 0.7412, 1.06, 1.5, 2.096, 2.873, 3.844, 5.019",\
                 "0.3352, 0.3814, 0.5192, 0.7406, 1.06, 1.502, 2.098, 2.871, 3.841, 5.014",\
                 "0.336, 0.382, 0.519, 0.7406, 1.06, 1.5, 2.098, 2.871, 3.844, 5.016",\
                 "0.3356, 0.382, 0.5192, 0.7422, 1.06, 1.5, 2.095, 2.871, 3.844, 5.02",\
                 "0.336, 0.3822, 0.5188, 0.7408, 1.061, 1.502, 2.097, 2.87, 3.842, 5.016",\
                 "0.336, 0.382, 0.52, 0.74, 1.062, 1.502, 2.098, 2.874, 3.846, 5.014",\
                 "0.336, 0.382, 0.518, 0.74, 1.062, 1.504, 2.094, 2.872, 3.844, 5.02",\
                 "0.334, 0.382, 0.518, 0.74, 1.06, 1.502, 2.092, 2.872, 3.838, 5.012");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003835, 0.01378, 0.03279, 0.06239, 0.1039, 0.1586, 0.2274, 0.3115, 0.4117");
          values("0.2694, 0.3404, 0.6054, 1.141, 1.987, 3.173, 4.731, 6.705, 9.116, 11.98",\
                 "0.2692, 0.3398, 0.6062, 1.142, 1.986, 3.173, 4.731, 6.703, 9.106, 11.99",\
                 "0.2684, 0.3402, 0.605, 1.142, 1.986, 3.172, 4.73, 6.705, 9.108, 11.99",\
                 "0.2688, 0.3398, 0.6062, 1.142, 1.986, 3.172, 4.734, 6.704, 9.117, 11.99",\
                 "0.2694, 0.3394, 0.605, 1.141, 1.985, 3.173, 4.731, 6.704, 9.107, 11.98",\
                 "0.2694, 0.3406, 0.6052, 1.141, 1.985, 3.173, 4.731, 6.705, 9.117, 11.98",\
                 "0.27, 0.3408, 0.6062, 1.141, 1.985, 3.174, 4.736, 6.701, 9.11, 11.98",\
                 "0.2694, 0.34, 0.6062, 1.142, 1.985, 3.168, 4.734, 6.708, 9.112, 11.99",\
                 "0.2694, 0.3396, 0.6064, 1.142, 1.984, 3.17, 4.732, 6.698, 9.108, 11.97",\
                 "0.27, 0.34, 0.604, 1.142, 1.988, 3.172, 4.73, 6.696, 9.096, 11.96");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003835, 0.01378, 0.03279, 0.06239, 0.1039, 0.1586, 0.2274, 0.3115, 0.4117");
          values("3.53, 3.588, 3.746, 3.967, 4.241, 4.574, 4.977, 5.466, 6.052, 6.747",\
                 "3.561, 3.619, 3.776, 3.998, 4.272, 4.605, 5.008, 5.497, 6.083, 6.779",\
                 "3.657, 3.715, 3.872, 4.094, 4.368, 4.7, 5.104, 5.593, 6.179, 6.874",\
                 "3.855, 3.914, 4.071, 4.292, 4.566, 4.899, 5.302, 5.791, 6.378, 7.073",\
                 "4.183, 4.241, 4.398, 4.62, 4.894, 5.226, 5.63, 6.118, 6.705, 7.401",\
                 "4.656, 4.714, 4.872, 5.093, 5.367, 5.7, 6.103, 6.592, 7.178, 7.873",\
                 "5.264, 5.322, 5.479, 5.701, 5.975, 6.308, 6.712, 7.2, 7.786, 8.482",\
                 "5.948, 6.006, 6.163, 6.384, 6.659, 6.991, 7.395, 7.883, 8.47, 9.165",\
                 "6.674, 6.732, 6.89, 7.111, 7.385, 7.718, 8.121, 8.609, 9.196, 9.891",\
                 "7.445, 7.504, 7.661, 7.882, 8.157, 8.489, 8.893, 9.381, 9.967, 10.66");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003835, 0.01378, 0.03279, 0.06239, 0.1039, 0.1586, 0.2274, 0.3115, 0.4117");
          values("2.802, 2.857, 3.034, 3.359, 3.858, 4.555, 5.469, 6.62, 8.025, 9.698",\
                 "2.826, 2.882, 3.059, 3.383, 3.882, 4.579, 5.494, 6.644, 8.049, 9.72",\
                 "2.912, 2.967, 3.144, 3.468, 3.967, 4.664, 5.579, 6.73, 8.133, 9.805",\
                 "3.074, 3.129, 3.306, 3.63, 4.129, 4.826, 5.741, 6.891, 8.296, 9.97",\
                 "3.304, 3.359, 3.536, 3.861, 4.36, 5.057, 5.972, 7.123, 8.526, 10.2",\
                 "3.538, 3.594, 3.771, 4.095, 4.594, 5.292, 6.206, 7.356, 8.762, 10.43",\
                 "3.743, 3.798, 3.975, 4.299, 4.798, 5.494, 6.41, 7.56, 8.965, 10.64",\
                 "3.908, 3.964, 4.14, 4.465, 4.964, 5.661, 6.575, 7.726, 9.129, 10.8",\
                 "4.03, 4.086, 4.263, 4.587, 5.086, 5.783, 6.697, 7.848, 9.252, 10.93",\
                 "4.106, 4.161, 4.338, 4.662, 5.161, 5.859, 6.773, 7.923, 9.327, 11");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003835, 0.01378, 0.03279, 0.06239, 0.1039, 0.1586, 0.2274, 0.3115, 0.4117");
          values("0.3478, 0.394, 0.53, 0.7518, 1.071, 1.512, 2.106, 2.877, 3.847, 5.021",\
                 "0.3472, 0.3936, 0.5296, 0.7524, 1.072, 1.51, 2.103, 2.88, 3.849, 5.023",\
                 "0.3472, 0.393, 0.5296, 0.7524, 1.072, 1.51, 2.103, 2.88, 3.849, 5.023",\
                 "0.347, 0.3934, 0.53, 0.7516, 1.072, 1.51, 2.103, 2.876, 3.849, 5.023",\
                 "0.3472, 0.3942, 0.5298, 0.7516, 1.072, 1.512, 2.106, 2.88, 3.849, 5.022",\
                 "0.3484, 0.3938, 0.5302, 0.7516, 1.07, 1.51, 2.104, 2.88, 3.848, 5.024",\
                 "0.3482, 0.3934, 0.5296, 0.7522, 1.072, 1.511, 2.106, 2.879, 3.85, 5.017",\
                 "0.3476, 0.3936, 0.53, 0.7526, 1.071, 1.51, 2.106, 2.878, 3.844, 5.024",\
                 "0.348, 0.394, 0.53, 0.752, 1.068, 1.512, 2.106, 2.876, 3.846, 5.02",\
                 "0.348, 0.394, 0.53, 0.752, 1.07, 1.51, 2.104, 2.876, 3.846, 5.014");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003835, 0.01378, 0.03279, 0.06239, 0.1039, 0.1586, 0.2274, 0.3115, 0.4117");
          values("0.333, 0.4048, 0.6564, 1.165, 2, 3.181, 4.744, 6.711, 9.111, 11.99",\
                 "0.3332, 0.4046, 0.656, 1.167, 1.998, 3.186, 4.746, 6.708, 9.116, 11.98",\
                 "0.3332, 0.4046, 0.6556, 1.167, 1.998, 3.184, 4.747, 6.714, 9.118, 11.99",\
                 "0.3332, 0.4046, 0.6554, 1.167, 1.997, 3.186, 4.747, 6.713, 9.12, 11.98",\
                 "0.334, 0.4044, 0.6556, 1.167, 2, 3.185, 4.746, 6.715, 9.121, 11.99",\
                 "0.3332, 0.405, 0.656, 1.166, 1.999, 3.183, 4.744, 6.714, 9.114, 11.98",\
                 "0.3334, 0.4042, 0.6562, 1.165, 2, 3.183, 4.74, 6.716, 9.122, 11.99",\
                 "0.3326, 0.404, 0.6562, 1.166, 1.996, 3.18, 4.745, 6.714, 9.122, 11.98",\
                 "0.3334, 0.4056, 0.6556, 1.166, 1.998, 3.178, 4.738, 6.704, 9.118, 11.98",\
                 "0.334, 0.402, 0.656, 1.168, 1.998, 3.184, 4.74, 6.702, 9.104, 11.97");
        }
      }

      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.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003835, 0.01378, 0.03279, 0.06239, 0.1039, 0.1586, 0.2274, 0.3115, 0.4117");
          values("3.944, 4.003, 4.16, 4.381, 4.655, 4.988, 5.391, 5.88, 6.467, 7.161",\
                 "3.974, 4.032, 4.19, 4.411, 4.685, 5.018, 5.421, 5.91, 6.496, 7.192",\
                 "4.068, 4.127, 4.284, 4.505, 4.779, 5.112, 5.516, 6.004, 6.591, 7.286",\
                 "4.2, 4.258, 4.416, 4.636, 4.911, 5.244, 5.647, 6.136, 6.722, 7.418",\
                 "4.311, 4.369, 4.527, 4.747, 5.022, 5.355, 5.758, 6.247, 6.833, 7.529",\
                 "4.388, 4.446, 4.603, 4.824, 5.099, 5.432, 5.835, 6.324, 6.91, 7.606",\
                 "4.426, 4.484, 4.641, 4.862, 5.137, 5.469, 5.873, 6.361, 6.948, 7.642",\
                 "4.417, 4.475, 4.632, 4.854, 5.128, 5.462, 5.864, 6.353, 6.939, 7.634",\
                 "4.354, 4.412, 4.569, 4.791, 5.065, 5.398, 5.802, 6.29, 6.876, 7.571",\
                 "4.234, 4.292, 4.449, 4.671, 4.946, 5.278, 5.682, 6.17, 6.757, 7.452");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003835, 0.01378, 0.03279, 0.06239, 0.1039, 0.1586, 0.2274, 0.3115, 0.4117");
          values("4.107, 4.162, 4.34, 4.664, 5.163, 5.86, 6.775, 7.925, 9.33, 11",\
                 "4.119, 4.174, 4.351, 4.676, 5.174, 5.871, 6.786, 7.936, 9.341, 11.01",\
                 "4.198, 4.253, 4.43, 4.754, 5.254, 5.951, 6.866, 8.016, 9.421, 11.1",\
                 "4.398, 4.453, 4.63, 4.955, 5.453, 6.151, 7.066, 8.216, 9.621, 11.29",\
                 "4.732, 4.787, 4.965, 5.289, 5.788, 6.485, 7.399, 8.55, 9.955, 11.63",\
                 "5.204, 5.26, 5.437, 5.76, 6.26, 6.957, 7.871, 9.022, 10.43, 12.1",\
                 "5.778, 5.833, 6.011, 6.334, 6.834, 7.53, 8.445, 9.596, 11, 12.67",\
                 "6.405, 6.46, 6.637, 6.961, 7.461, 8.157, 9.072, 10.22, 11.63, 13.3",\
                 "7.084, 7.14, 7.318, 7.642, 8.14, 8.837, 9.752, 10.9, 12.31, 13.98",\
                 "7.824, 7.879, 8.056, 8.38, 8.88, 9.576, 10.49, 11.64, 13.05, 14.72");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003835, 0.01378, 0.03279, 0.06239, 0.1039, 0.1586, 0.2274, 0.3115, 0.4117");
          values("0.336, 0.3814, 0.5192, 0.7408, 1.059, 1.5, 2.097, 2.871, 3.843, 5.019",\
                 "0.3358, 0.3818, 0.5186, 0.7404, 1.062, 1.501, 2.098, 2.873, 3.844, 5.016",\
                 "0.336, 0.3826, 0.5196, 0.7418, 1.06, 1.5, 2.097, 2.869, 3.842, 5.015",\
                 "0.3358, 0.3816, 0.5188, 0.7426, 1.061, 1.501, 2.097, 2.869, 3.841, 5.015",\
                 "0.3364, 0.3822, 0.5188, 0.7416, 1.059, 1.5, 2.094, 2.873, 3.845, 5.014",\
                 "0.3356, 0.3836, 0.519, 0.742, 1.06, 1.502, 2.098, 2.871, 3.843, 5.015",\
                 "0.3358, 0.3826, 0.5192, 0.7408, 1.061, 1.501, 2.096, 2.871, 3.838, 5.019",\
                 "0.3354, 0.3822, 0.519, 0.7412, 1.06, 1.502, 2.097, 2.87, 3.839, 5.018",\
                 "0.3364, 0.3818, 0.5178, 0.74, 1.064, 1.502, 2.094, 2.868, 3.838, 5.01",\
                 "0.334, 0.38, 0.52, 0.74, 1.06, 1.502, 2.096, 2.872, 3.844, 5.012");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003835, 0.01378, 0.03279, 0.06239, 0.1039, 0.1586, 0.2274, 0.3115, 0.4117");
          values("0.2688, 0.3402, 0.6052, 1.141, 1.984, 3.174, 4.736, 6.704, 9.114, 11.98",\
                 "0.2698, 0.3404, 0.6064, 1.142, 1.986, 3.169, 4.737, 6.704, 9.109, 11.99",\
                 "0.269, 0.3398, 0.605, 1.141, 1.986, 3.173, 4.737, 6.708, 9.118, 11.97",\
                 "0.2692, 0.3406, 0.6054, 1.141, 1.986, 3.174, 4.736, 6.706, 9.115, 11.98",\
                 "0.2688, 0.3396, 0.606, 1.141, 1.987, 3.172, 4.736, 6.706, 9.116, 11.98",\
                 "0.269, 0.3404, 0.6062, 1.143, 1.987, 3.171, 4.732, 6.701, 9.106, 11.99",\
                 "0.2692, 0.3402, 0.6064, 1.142, 1.984, 3.174, 4.736, 6.706, 9.114, 11.98",\
                 "0.268, 0.34, 0.606, 1.14, 1.986, 3.174, 4.736, 6.702, 9.108, 11.99",\
                 "0.27, 0.34, 0.606, 1.14, 1.986, 3.172, 4.736, 6.71, 9.116, 11.99",\
                 "0.27, 0.338, 0.606, 1.142, 1.984, 3.172, 4.732, 6.708, 9.116, 11.97");
        }
      }

      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.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003835, 0.01378, 0.03279, 0.06239, 0.1039, 0.1586, 0.2274, 0.3115, 0.4117");
          values("2.12, 2.179, 2.34, 2.564, 2.842, 3.177, 3.583, 4.073, 4.66, 5.356",\
                 "2.147, 2.207, 2.367, 2.592, 2.869, 3.205, 3.61, 4.1, 4.688, 5.384",\
                 "2.218, 2.278, 2.438, 2.663, 2.94, 3.276, 3.682, 4.172, 4.759, 5.455",\
                 "2.343, 2.403, 2.563, 2.788, 3.065, 3.401, 3.806, 4.296, 4.884, 5.58",\
                 "2.519, 2.579, 2.739, 2.964, 3.241, 3.577, 3.983, 4.473, 5.06, 5.756",\
                 "2.705, 2.764, 2.925, 3.149, 3.427, 3.763, 4.168, 4.658, 5.246, 5.942",\
                 "2.871, 2.931, 3.092, 3.317, 3.595, 3.93, 4.336, 4.826, 5.413, 6.11",\
                 "3.008, 3.067, 3.228, 3.453, 3.731, 4.067, 4.473, 4.962, 5.55, 6.246",\
                 "3.103, 3.163, 3.324, 3.549, 3.828, 4.163, 4.569, 5.059, 5.647, 6.343",\
                 "3.154, 3.215, 3.376, 3.601, 3.879, 4.215, 4.621, 5.111, 5.7, 6.395");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003835, 0.01378, 0.03279, 0.06239, 0.1039, 0.1586, 0.2274, 0.3115, 0.4117");
          values("2.953, 3.019, 3.216, 3.549, 4.05, 4.747, 5.662, 6.812, 8.216, 9.887",\
                 "2.976, 3.042, 3.238, 3.572, 4.072, 4.77, 5.684, 6.835, 8.239, 9.91",\
                 "3.078, 3.144, 3.341, 3.674, 4.175, 4.872, 5.787, 6.937, 8.341, 10.01",\
                 "3.284, 3.35, 3.547, 3.88, 4.381, 5.078, 5.993, 7.143, 8.547, 10.22",\
                 "3.616, 3.682, 3.879, 4.212, 4.713, 5.41, 6.325, 7.475, 8.879, 10.55",\
                 "4.092, 4.158, 4.355, 4.688, 5.189, 5.886, 6.801, 7.951, 9.355, 11.03",\
                 "4.719, 4.785, 4.982, 5.315, 5.816, 6.514, 7.428, 8.578, 9.982, 11.65",\
                 "5.461, 5.527, 5.725, 6.058, 6.559, 7.257, 8.171, 9.322, 10.73, 12.4",\
                 "6.262, 6.329, 6.528, 6.862, 7.363, 8.06, 8.975, 10.13, 11.53, 13.2",\
                 "7.11, 7.179, 7.38, 7.714, 8.216, 8.913, 9.828, 10.98, 12.38, 14.05");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003835, 0.01378, 0.03279, 0.06239, 0.1039, 0.1586, 0.2274, 0.3115, 0.4117");
          values("0.3486, 0.3944, 0.531, 0.7526, 1.071, 1.513, 2.104, 2.88, 3.848, 5.024",\
                 "0.3484, 0.3948, 0.5316, 0.7532, 1.073, 1.512, 2.103, 2.88, 3.848, 5.023",\
                 "0.3484, 0.3952, 0.5312, 0.7542, 1.073, 1.513, 2.103, 2.88, 3.847, 5.024",\
                 "0.349, 0.3952, 0.5312, 0.7528, 1.072, 1.512, 2.107, 2.879, 3.849, 5.02",\
                 "0.349, 0.3952, 0.5308, 0.7528, 1.073, 1.512, 2.107, 2.877, 3.847, 5.022",\
                 "0.349, 0.3948, 0.5312, 0.7548, 1.073, 1.512, 2.107, 2.879, 3.847, 5.018",\
                 "0.3502, 0.3964, 0.5318, 0.7548, 1.071, 1.511, 2.107, 2.88, 3.85, 5.015",\
                 "0.3512, 0.3974, 0.5326, 0.755, 1.072, 1.511, 2.108, 2.879, 3.845, 5.019",\
                 "0.3522, 0.3982, 0.533, 0.7558, 1.073, 1.514, 2.107, 2.879, 3.848, 5.016",\
                 "0.354, 0.4, 0.534, 0.756, 1.074, 1.516, 2.106, 2.88, 3.848, 5.016");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003835, 0.01378, 0.03279, 0.06239, 0.1039, 0.1586, 0.2274, 0.3115, 0.4117");
          values("0.3336, 0.4046, 0.6548, 1.165, 1.999, 3.185, 4.747, 6.707, 9.113, 11.99",\
                 "0.3338, 0.406, 0.6556, 1.167, 2, 3.183, 4.746, 6.709, 9.113, 11.99",\
                 "0.334, 0.405, 0.656, 1.167, 1.998, 3.185, 4.744, 6.712, 9.119, 11.98",\
                 "0.3334, 0.4048, 0.6546, 1.167, 1.997, 3.186, 4.747, 6.712, 9.12, 11.98",\
                 "0.3336, 0.4044, 0.6562, 1.167, 1.998, 3.186, 4.747, 6.708, 9.116, 11.98",\
                 "0.3332, 0.4042, 0.6572, 1.165, 1.999, 3.182, 4.745, 6.714, 9.119, 11.99",\
                 "0.3336, 0.405, 0.6566, 1.166, 2, 3.187, 4.746, 6.706, 9.114, 11.97",\
                 "0.337, 0.4084, 0.6592, 1.167, 2, 3.186, 4.748, 6.706, 9.122, 11.99",\
                 "0.342, 0.414, 0.662, 1.168, 1.998, 3.184, 4.746, 6.714, 9.12, 11.98",\
                 "0.35, 0.422, 0.668, 1.17, 2.002, 3.182, 4.74, 6.714, 9.12, 11.98");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003835, 0.01378, 0.03279, 0.06239, 0.1039, 0.1586, 0.2274, 0.3115, 0.4117");
          values("3.944, 4.003, 4.16, 4.381, 4.655, 4.988, 5.391, 5.88, 6.467, 7.161",\
                 "3.974, 4.032, 4.19, 4.411, 4.685, 5.018, 5.421, 5.91, 6.496, 7.192",\
                 "4.068, 4.127, 4.284, 4.505, 4.779, 5.112, 5.516, 6.004, 6.591, 7.286",\
                 "4.2, 4.258, 4.416, 4.636, 4.911, 5.244, 5.647, 6.136, 6.722, 7.418",\
                 "4.311, 4.369, 4.527, 4.747, 5.022, 5.355, 5.758, 6.247, 6.833, 7.529",\
                 "4.388, 4.446, 4.603, 4.824, 5.099, 5.432, 5.835, 6.324, 6.91, 7.606",\
                 "4.426, 4.484, 4.641, 4.862, 5.137, 5.469, 5.873, 6.361, 6.948, 7.642",\
                 "4.417, 4.475, 4.632, 4.854, 5.128, 5.462, 5.864, 6.353, 6.939, 7.634",\
                 "4.354, 4.412, 4.569, 4.791, 5.065, 5.398, 5.802, 6.29, 6.876, 7.571",\
                 "4.234, 4.292, 4.449, 4.671, 4.946, 5.278, 5.682, 6.17, 6.757, 7.452");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003835, 0.01378, 0.03279, 0.06239, 0.1039, 0.1586, 0.2274, 0.3115, 0.4117");
          values("4.107, 4.162, 4.34, 4.664, 5.163, 5.86, 6.775, 7.925, 9.33, 11",\
                 "4.119, 4.174, 4.351, 4.676, 5.174, 5.871, 6.786, 7.936, 9.341, 11.01",\
                 "4.198, 4.253, 4.43, 4.754, 5.254, 5.951, 6.866, 8.016, 9.421, 11.1",\
                 "4.398, 4.453, 4.63, 4.955, 5.453, 6.151, 7.066, 8.216, 9.621, 11.29",\
                 "4.732, 4.787, 4.965, 5.289, 5.788, 6.485, 7.399, 8.55, 9.955, 11.63",\
                 "5.204, 5.26, 5.437, 5.76, 6.26, 6.957, 7.871, 9.022, 10.43, 12.1",\
                 "5.778, 5.833, 6.011, 6.334, 6.834, 7.53, 8.445, 9.596, 11, 12.67",\
                 "6.405, 6.46, 6.637, 6.961, 7.461, 8.157, 9.072, 10.22, 11.63, 13.3",\
                 "7.084, 7.14, 7.318, 7.642, 8.14, 8.837, 9.752, 10.9, 12.31, 13.98",\
                 "7.824, 7.879, 8.056, 8.38, 8.88, 9.576, 10.49, 11.64, 13.05, 14.72");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003835, 0.01378, 0.03279, 0.06239, 0.1039, 0.1586, 0.2274, 0.3115, 0.4117");
          values("0.3486, 0.3944, 0.531, 0.7526, 1.071, 1.513, 2.104, 2.88, 3.848, 5.024",\
                 "0.3484, 0.3948, 0.5316, 0.7532, 1.073, 1.512, 2.103, 2.88, 3.848, 5.023",\
                 "0.3484, 0.3952, 0.5312, 0.7542, 1.073, 1.513, 2.103, 2.88, 3.847, 5.024",\
                 "0.349, 0.3952, 0.5312, 0.7528, 1.072, 1.512, 2.107, 2.879, 3.849, 5.02",\
                 "0.349, 0.3952, 0.5308, 0.7528, 1.073, 1.512, 2.107, 2.877, 3.847, 5.022",\
                 "0.349, 0.3948, 0.5312, 0.7548, 1.073, 1.512, 2.107, 2.879, 3.847, 5.018",\
                 "0.3502, 0.3964, 0.5318, 0.7548, 1.071, 1.511, 2.107, 2.88, 3.85, 5.015",\
                 "0.3512, 0.3974, 0.5326, 0.755, 1.072, 1.511, 2.108, 2.879, 3.845, 5.019",\
                 "0.3522, 0.3982, 0.533, 0.7558, 1.073, 1.514, 2.107, 2.879, 3.848, 5.016",\
                 "0.354, 0.4, 0.534, 0.756, 1.074, 1.516, 2.106, 2.88, 3.848, 5.016");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003835, 0.01378, 0.03279, 0.06239, 0.1039, 0.1586, 0.2274, 0.3115, 0.4117");
          values("0.3336, 0.4046, 0.6548, 1.165, 1.999, 3.185, 4.747, 6.707, 9.113, 11.99",\
                 "0.3338, 0.406, 0.6556, 1.167, 2, 3.183, 4.746, 6.709, 9.113, 11.99",\
                 "0.334, 0.405, 0.656, 1.167, 1.998, 3.185, 4.744, 6.712, 9.119, 11.98",\
                 "0.3334, 0.4048, 0.6546, 1.167, 1.997, 3.186, 4.747, 6.712, 9.12, 11.98",\
                 "0.3336, 0.4044, 0.6562, 1.167, 1.998, 3.186, 4.747, 6.708, 9.116, 11.98",\
                 "0.3332, 0.4042, 0.6572, 1.165, 1.999, 3.182, 4.745, 6.714, 9.119, 11.99",\
                 "0.3336, 0.405, 0.6566, 1.166, 2, 3.187, 4.746, 6.706, 9.114, 11.97",\
                 "0.337, 0.4084, 0.6592, 1.167, 2, 3.186, 4.748, 6.706, 9.122, 11.99",\
                 "0.342, 0.414, 0.662, 1.168, 1.998, 3.184, 4.746, 6.714, 9.12, 11.98",\
                 "0.35, 0.422, 0.668, 1.17, 2.002, 3.182, 4.74, 6.714, 9.12, 11.98");
        }
      }

      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.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003835, 0.01378, 0.03279, 0.06239, 0.1039, 0.1586, 0.2274, 0.3115, 0.4117");
          values("3.404, 3.464, 3.624, 3.849, 4.126, 4.461, 4.867, 5.356, 5.944, 6.64",\
                 "3.416, 3.476, 3.636, 3.86, 4.137, 4.473, 4.878, 5.368, 5.956, 6.652",\
                 "3.495, 3.555, 3.715, 3.939, 4.217, 4.552, 4.957, 5.447, 6.035, 6.731",\
                 "3.695, 3.754, 3.914, 4.139, 4.417, 4.751, 5.157, 5.646, 6.234, 6.93",\
                 "4.029, 4.088, 4.249, 4.473, 4.75, 5.086, 5.491, 5.981, 6.568, 7.264",\
                 "4.501, 4.561, 4.721, 4.945, 5.223, 5.558, 5.963, 6.453, 7.04, 7.737",\
                 "5.075, 5.134, 5.294, 5.519, 5.796, 6.131, 6.537, 7.027, 7.614, 8.31",\
                 "5.701, 5.761, 5.921, 6.145, 6.423, 6.758, 7.163, 7.653, 8.241, 8.937",\
                 "6.381, 6.44, 6.601, 6.825, 7.102, 7.438, 7.843, 8.333, 8.92, 9.617",\
                 "7.119, 7.178, 7.338, 7.563, 7.84, 8.175, 8.581, 9.071, 9.658, 10.35");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003835, 0.01378, 0.03279, 0.06239, 0.1039, 0.1586, 0.2274, 0.3115, 0.4117");
          values("3.212, 3.278, 3.475, 3.808, 4.309, 5.006, 5.921, 7.071, 8.475, 10.15",\
                 "3.242, 3.308, 3.504, 3.837, 4.339, 5.036, 5.951, 7.101, 8.505, 10.18",\
                 "3.336, 3.403, 3.599, 3.932, 4.433, 5.131, 6.045, 7.196, 8.6, 10.27",\
                 "3.468, 3.534, 3.731, 4.064, 4.565, 5.262, 6.177, 7.328, 8.731, 10.4",\
                 "3.579, 3.645, 3.842, 4.175, 4.676, 5.373, 6.288, 7.438, 8.842, 10.51",\
                 "3.655, 3.721, 3.918, 4.251, 4.752, 5.45, 6.364, 7.514, 8.918, 10.59",\
                 "3.693, 3.759, 3.956, 4.289, 4.79, 5.487, 6.402, 7.551, 8.955, 10.63",\
                 "3.685, 3.751, 3.947, 4.281, 4.781, 5.479, 6.393, 7.543, 8.947, 10.62",\
                 "3.621, 3.687, 3.884, 4.217, 4.718, 5.415, 6.329, 7.48, 8.883, 10.56",\
                 "3.502, 3.568, 3.764, 4.097, 4.598, 5.296, 6.21, 7.361, 8.764, 10.44");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003835, 0.01378, 0.03279, 0.06239, 0.1039, 0.1586, 0.2274, 0.3115, 0.4117");
          values("0.347, 0.3934, 0.5298, 0.7518, 1.072, 1.51, 2.103, 2.88, 3.849, 5.022",\
                 "0.347, 0.3934, 0.5294, 0.7514, 1.07, 1.509, 2.103, 2.88, 3.849, 5.023",\
                 "0.3474, 0.3934, 0.5296, 0.7522, 1.07, 1.509, 2.103, 2.88, 3.848, 5.023",\
                 "0.3472, 0.3936, 0.53, 0.7522, 1.071, 1.511, 2.106, 2.879, 3.849, 5.024",\
                 "0.3472, 0.3934, 0.53, 0.7518, 1.069, 1.512, 2.103, 2.88, 3.848, 5.023",\
                 "0.3472, 0.3932, 0.5304, 0.7524, 1.069, 1.51, 2.103, 2.88, 3.85, 5.017",\
                 "0.3474, 0.3934, 0.53, 0.7528, 1.069, 1.51, 2.103, 2.88, 3.849, 5.024",\
                 "0.3472, 0.3936, 0.5292, 0.7514, 1.07, 1.51, 2.104, 2.878, 3.848, 5.024",\
                 "0.348, 0.394, 0.53, 0.752, 1.07, 1.51, 2.104, 2.876, 3.844, 5.02",\
                 "0.348, 0.394, 0.53, 0.754, 1.072, 1.512, 2.104, 2.874, 3.844, 5.016");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003835, 0.01378, 0.03279, 0.06239, 0.1039, 0.1586, 0.2274, 0.3115, 0.4117");
          values("0.3328, 0.4038, 0.6556, 1.166, 1.999, 3.186, 4.74, 6.711, 9.117, 11.99",\
                 "0.3322, 0.4036, 0.6548, 1.166, 1.999, 3.186, 4.746, 6.71, 9.118, 11.98",\
                 "0.3326, 0.4036, 0.6548, 1.166, 1.999, 3.182, 4.744, 6.714, 9.118, 11.99",\
                 "0.3328, 0.4038, 0.657, 1.166, 1.999, 3.183, 4.744, 6.715, 9.117, 11.99",\
                 "0.3328, 0.4038, 0.6558, 1.167, 1.998, 3.181, 4.745, 6.712, 9.116, 11.98",\
                 "0.3328, 0.4042, 0.6558, 1.167, 1.998, 3.186, 4.746, 6.71, 9.117, 11.97",\
                 "0.332, 0.4044, 0.6568, 1.164, 1.999, 3.185, 4.745, 6.712, 9.116, 11.99",\
                 "0.333, 0.4036, 0.656, 1.165, 1.996, 3.18, 4.743, 6.717, 9.122, 11.99",\
                 "0.332, 0.4032, 0.6544, 1.166, 1.996, 3.18, 4.738, 6.708, 9.12, 11.98",\
                 "0.332, 0.404, 0.656, 1.166, 1.998, 3.18, 4.738, 6.706, 9.106, 11.97");
        }
      }

      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.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003835, 0.01378, 0.03279, 0.06239, 0.1039, 0.1586, 0.2274, 0.3115, 0.4117");
          values("3.679, 3.737, 3.895, 4.116, 4.39, 4.723, 5.126, 5.615, 6.201, 6.897",\
                 "3.702, 3.76, 3.917, 4.139, 4.413, 4.746, 5.149, 5.638, 6.224, 6.92",\
                 "3.804, 3.862, 4.02, 4.241, 4.515, 4.848, 5.251, 5.739, 6.326, 7.021",\
                 "4.01, 4.068, 4.226, 4.447, 4.721, 5.054, 5.457, 5.946, 6.532, 7.227",\
                 "4.342, 4.401, 4.557, 4.779, 5.053, 5.386, 5.79, 6.278, 6.864, 7.56",\
                 "4.818, 4.876, 5.033, 5.256, 5.529, 5.862, 6.266, 6.754, 7.341, 8.035",\
                 "5.436, 5.495, 5.652, 5.873, 6.148, 6.48, 6.884, 7.372, 7.959, 8.654",\
                 "6.148, 6.206, 6.363, 6.585, 6.859, 7.192, 7.595, 8.084, 8.67, 9.366",\
                 "6.907, 6.966, 7.123, 7.344, 7.618, 7.95, 8.354, 8.842, 9.428, 10.12",\
                 "7.711, 7.77, 7.927, 8.148, 8.421, 8.754, 9.157, 9.645, 10.23, 10.93");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003835, 0.01378, 0.03279, 0.06239, 0.1039, 0.1586, 0.2274, 0.3115, 0.4117");
          values("2.825, 2.88, 3.057, 3.381, 3.88, 4.577, 5.492, 6.643, 8.048, 9.719",\
                 "2.852, 2.908, 3.084, 3.408, 3.908, 4.605, 5.519, 6.67, 8.074, 9.746",\
                 "2.924, 2.979, 3.156, 3.48, 3.979, 4.676, 5.591, 6.741, 8.145, 9.819",\
                 "3.049, 3.105, 3.282, 3.606, 4.105, 4.802, 5.717, 6.868, 8.272, 9.946",\
                 "3.227, 3.282, 3.459, 3.783, 4.282, 4.979, 5.894, 7.044, 8.449, 10.12",\
                 "3.415, 3.47, 3.647, 3.971, 4.47, 5.167, 6.082, 7.232, 8.638, 10.31",\
                 "3.585, 3.641, 3.817, 4.141, 4.641, 5.338, 6.253, 7.402, 8.807, 10.48",\
                 "3.725, 3.78, 3.958, 4.281, 4.78, 5.477, 6.391, 7.543, 8.947, 10.62",\
                 "3.825, 3.881, 4.058, 4.382, 4.881, 5.578, 6.492, 7.642, 9.047, 10.72",\
                 "3.883, 3.938, 4.115, 4.439, 4.938, 5.635, 6.55, 7.7, 9.103, 10.77");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003835, 0.01378, 0.03279, 0.06239, 0.1039, 0.1586, 0.2274, 0.3115, 0.4117");
          values("0.3356, 0.384, 0.5188, 0.7414, 1.061, 1.502, 2.096, 2.87, 3.84, 5.016",\
                 "0.3358, 0.3822, 0.519, 0.7404, 1.06, 1.5, 2.094, 2.873, 3.843, 5.019",\
                 "0.3356, 0.3818, 0.5192, 0.7404, 1.059, 1.5, 2.098, 2.871, 3.841, 5.017",\
                 "0.3358, 0.3828, 0.5188, 0.741, 1.06, 1.5, 2.095, 2.873, 3.844, 5.019",\
                 "0.3358, 0.3826, 0.5194, 0.7422, 1.061, 1.5, 2.098, 2.872, 3.844, 5.018",\
                 "0.3358, 0.3836, 0.519, 0.7424, 1.06, 1.5, 2.095, 2.873, 3.841, 5.019",\
                 "0.336, 0.3816, 0.519, 0.7412, 1.061, 1.5, 2.096, 2.873, 3.844, 5.016",\
                 "0.336, 0.382, 0.52, 0.742, 1.06, 1.502, 2.098, 2.87, 3.842, 5.016",\
                 "0.336, 0.382, 0.518, 0.74, 1.062, 1.5, 2.098, 2.872, 3.844, 5.018",\
                 "0.336, 0.382, 0.518, 0.742, 1.06, 1.5, 2.096, 2.872, 3.838, 5.016");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003835, 0.01378, 0.03279, 0.06239, 0.1039, 0.1586, 0.2274, 0.3115, 0.4117");
          values("0.2682, 0.3396, 0.6064, 1.14, 1.985, 3.174, 4.731, 6.705, 9.116, 11.99",\
                 "0.269, 0.3396, 0.605, 1.14, 1.985, 3.174, 4.731, 6.705, 9.109, 11.99",\
                 "0.2694, 0.341, 0.605, 1.14, 1.985, 3.173, 4.734, 6.706, 9.115, 11.99",\
                 "0.2692, 0.3404, 0.606, 1.142, 1.987, 3.172, 4.731, 6.703, 9.107, 11.98",\
                 "0.2688, 0.3392, 0.6062, 1.141, 1.984, 3.173, 4.734, 6.702, 9.113, 11.98",\
                 "0.2688, 0.3396, 0.605, 1.141, 1.985, 3.174, 4.737, 6.707, 9.106, 11.99",\
                 "0.2692, 0.34, 0.6064, 1.14, 1.987, 3.173, 4.733, 6.71, 9.118, 11.99",\
                 "0.2688, 0.3404, 0.606, 1.14, 1.984, 3.169, 4.737, 6.709, 9.11, 11.98",\
                 "0.2692, 0.34, 0.6054, 1.142, 1.984, 3.172, 4.732, 6.7, 9.112, 11.98",\
                 "0.27, 0.34, 0.606, 1.142, 1.984, 3.172, 4.736, 6.694, 9.096, 11.97");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003835, 0.01378, 0.03279, 0.06239, 0.1039, 0.1586, 0.2274, 0.3115, 0.4117");
          values("3.679, 3.737, 3.895, 4.116, 4.39, 4.723, 5.126, 5.615, 6.201, 6.897",\
                 "3.702, 3.76, 3.917, 4.139, 4.413, 4.746, 5.149, 5.638, 6.224, 6.92",\
                 "3.804, 3.862, 4.02, 4.241, 4.515, 4.848, 5.251, 5.739, 6.326, 7.021",\
                 "4.01, 4.068, 4.226, 4.447, 4.721, 5.054, 5.457, 5.946, 6.532, 7.227",\
                 "4.342, 4.401, 4.557, 4.779, 5.053, 5.386, 5.79, 6.278, 6.864, 7.56",\
                 "4.818, 4.876, 5.033, 5.256, 5.529, 5.862, 6.266, 6.754, 7.341, 8.035",\
                 "5.436, 5.495, 5.652, 5.873, 6.148, 6.48, 6.884, 7.372, 7.959, 8.654",\
                 "6.148, 6.206, 6.363, 6.585, 6.859, 7.192, 7.595, 8.084, 8.67, 9.366",\
                 "6.907, 6.966, 7.123, 7.344, 7.618, 7.95, 8.354, 8.842, 9.428, 10.12",\
                 "7.711, 7.77, 7.927, 8.148, 8.421, 8.754, 9.157, 9.645, 10.23, 10.93");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003835, 0.01378, 0.03279, 0.06239, 0.1039, 0.1586, 0.2274, 0.3115, 0.4117");
          values("2.825, 2.88, 3.057, 3.381, 3.88, 4.577, 5.492, 6.643, 8.048, 9.719",\
                 "2.852, 2.908, 3.084, 3.408, 3.908, 4.605, 5.519, 6.67, 8.074, 9.746",\
                 "2.924, 2.979, 3.156, 3.48, 3.979, 4.676, 5.591, 6.741, 8.145, 9.819",\
                 "3.049, 3.105, 3.282, 3.606, 4.105, 4.802, 5.717, 6.868, 8.272, 9.946",\
                 "3.227, 3.282, 3.459, 3.783, 4.282, 4.979, 5.894, 7.044, 8.449, 10.12",\
                 "3.415, 3.47, 3.647, 3.971, 4.47, 5.167, 6.082, 7.232, 8.638, 10.31",\
                 "3.585, 3.641, 3.817, 4.141, 4.641, 5.338, 6.253, 7.402, 8.807, 10.48",\
                 "3.725, 3.78, 3.958, 4.281, 4.78, 5.477, 6.391, 7.543, 8.947, 10.62",\
                 "3.825, 3.881, 4.058, 4.382, 4.881, 5.578, 6.492, 7.642, 9.047, 10.72",\
                 "3.883, 3.938, 4.115, 4.439, 4.938, 5.635, 6.55, 7.7, 9.103, 10.77");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003835, 0.01378, 0.03279, 0.06239, 0.1039, 0.1586, 0.2274, 0.3115, 0.4117");
          values("0.347, 0.3934, 0.5298, 0.7518, 1.072, 1.51, 2.103, 2.88, 3.849, 5.022",\
                 "0.347, 0.3934, 0.5294, 0.7514, 1.07, 1.509, 2.103, 2.88, 3.849, 5.023",\
                 "0.3474, 0.3934, 0.5296, 0.7522, 1.07, 1.509, 2.103, 2.88, 3.848, 5.023",\
                 "0.3472, 0.3936, 0.53, 0.7522, 1.071, 1.511, 2.106, 2.879, 3.849, 5.024",\
                 "0.3472, 0.3934, 0.53, 0.7518, 1.069, 1.512, 2.103, 2.88, 3.848, 5.023",\
                 "0.3472, 0.3932, 0.5304, 0.7524, 1.069, 1.51, 2.103, 2.88, 3.85, 5.017",\
                 "0.3474, 0.3934, 0.53, 0.7528, 1.069, 1.51, 2.103, 2.88, 3.849, 5.024",\
                 "0.3472, 0.3936, 0.5292, 0.7514, 1.07, 1.51, 2.104, 2.878, 3.848, 5.024",\
                 "0.348, 0.394, 0.53, 0.752, 1.07, 1.51, 2.104, 2.876, 3.844, 5.02",\
                 "0.348, 0.394, 0.53, 0.754, 1.072, 1.512, 2.104, 2.874, 3.844, 5.016");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003835, 0.01378, 0.03279, 0.06239, 0.1039, 0.1586, 0.2274, 0.3115, 0.4117");
          values("0.3328, 0.4038, 0.6556, 1.166, 1.999, 3.186, 4.74, 6.711, 9.117, 11.99",\
                 "0.3322, 0.4036, 0.6548, 1.166, 1.999, 3.186, 4.746, 6.71, 9.118, 11.98",\
                 "0.3326, 0.4036, 0.6548, 1.166, 1.999, 3.182, 4.744, 6.714, 9.118, 11.99",\
                 "0.3328, 0.4038, 0.657, 1.166, 1.999, 3.183, 4.744, 6.715, 9.117, 11.99",\
                 "0.3328, 0.4038, 0.6558, 1.167, 1.998, 3.181, 4.745, 6.712, 9.116, 11.98",\
                 "0.3328, 0.4042, 0.6558, 1.167, 1.998, 3.186, 4.746, 6.71, 9.117, 11.97",\
                 "0.332, 0.4044, 0.6568, 1.164, 1.999, 3.185, 4.745, 6.712, 9.116, 11.99",\
                 "0.333, 0.4036, 0.656, 1.165, 1.996, 3.18, 4.743, 6.717, 9.122, 11.99",\
                 "0.332, 0.4032, 0.6544, 1.166, 1.996, 3.18, 4.738, 6.708, 9.12, 11.98",\
                 "0.332, 0.404, 0.656, 1.166, 1.998, 3.18, 4.738, 6.706, 9.106, 11.97");
        }
      }

      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.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003835, 0.01378, 0.03279, 0.06239, 0.1039, 0.1586, 0.2274, 0.3115, 0.4117");
          values("1.747, 1.807, 1.967, 2.192, 2.469, 2.804, 3.208, 3.699, 4.286, 4.982",\
                 "1.777, 1.837, 1.997, 2.221, 2.498, 2.833, 3.238, 3.728, 4.316, 5.012",\
                 "1.867, 1.926, 2.086, 2.311, 2.588, 2.923, 3.328, 3.818, 4.406, 5.102",\
                 "2.014, 2.074, 2.234, 2.458, 2.735, 3.07, 3.476, 3.965, 4.553, 5.249",\
                 "2.163, 2.222, 2.382, 2.607, 2.884, 3.219, 3.624, 4.114, 4.702, 5.398",\
                 "2.284, 2.343, 2.502, 2.727, 3.004, 3.339, 3.745, 4.235, 4.823, 5.519",\
                 "2.37, 2.429, 2.588, 2.812, 3.089, 3.424, 3.829, 4.319, 4.908, 5.604",\
                 "2.415, 2.474, 2.634, 2.856, 3.134, 3.469, 3.874, 4.364, 4.951, 5.647",\
                 "2.415, 2.474, 2.633, 2.857, 3.133, 3.468, 3.873, 4.362, 4.95, 5.646",\
                 "2.364, 2.423, 2.582, 2.805, 3.082, 3.417, 3.822, 4.312, 4.899, 5.595");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003835, 0.01378, 0.03279, 0.06239, 0.1039, 0.1586, 0.2274, 0.3115, 0.4117");
          values("2.104, 2.16, 2.337, 2.661, 3.16, 3.857, 4.772, 5.923, 7.326, 8.999",\
                 "2.132, 2.187, 2.364, 2.688, 3.187, 3.884, 4.799, 5.949, 7.354, 9.028",\
                 "2.233, 2.288, 2.465, 2.789, 3.288, 3.985, 4.9, 6.051, 7.455, 9.126",\
                 "2.413, 2.469, 2.645, 2.97, 3.469, 4.166, 5.081, 6.232, 7.636, 9.307",\
                 "2.685, 2.74, 2.917, 3.241, 3.741, 4.438, 5.352, 6.503, 7.907, 9.58",\
                 "3.054, 3.109, 3.287, 3.61, 4.11, 4.807, 5.721, 6.873, 8.277, 9.949",\
                 "3.494, 3.55, 3.729, 4.053, 4.552, 5.249, 6.164, 7.314, 8.72, 10.39",\
                 "3.992, 4.047, 4.226, 4.549, 5.048, 5.746, 6.66, 7.812, 9.216, 10.89",\
                 "4.548, 4.604, 4.783, 5.107, 5.607, 6.303, 7.217, 8.368, 9.773, 11.45",\
                 "5.169, 5.227, 5.405, 5.73, 6.228, 6.925, 7.84, 8.99, 10.39, 12.07");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003835, 0.01378, 0.03279, 0.06239, 0.1039, 0.1586, 0.2274, 0.3115, 0.4117");
          values("0.3478, 0.3932, 0.5302, 0.7524, 1.07, 1.511, 2.106, 2.88, 3.845, 5.016",\
                 "0.3468, 0.3928, 0.53, 0.7522, 1.071, 1.511, 2.103, 2.879, 3.85, 5.018",\
                 "0.3472, 0.3936, 0.5294, 0.7512, 1.072, 1.512, 2.106, 2.878, 3.847, 5.021",\
                 "0.3472, 0.3934, 0.5298, 0.7514, 1.071, 1.511, 2.105, 2.879, 3.849, 5.021",\
                 "0.3466, 0.3928, 0.529, 0.7522, 1.071, 1.511, 2.105, 2.877, 3.849, 5.022",\
                 "0.3424, 0.3892, 0.5274, 0.7504, 1.071, 1.512, 2.106, 2.88, 3.85, 5.02",\
                 "0.3416, 0.3896, 0.5258, 0.7488, 1.068, 1.509, 2.104, 2.882, 3.852, 5.025",\
                 "0.3416, 0.3878, 0.5252, 0.7494, 1.069, 1.508, 2.104, 2.875, 3.843, 5.019",\
                 "0.3414, 0.3882, 0.5256, 0.7506, 1.068, 1.508, 2.105, 2.874, 3.843, 5.016",\
                 "0.3418, 0.3882, 0.526, 0.7492, 1.07, 1.508, 2.102, 2.876, 3.85, 5.014");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003835, 0.01378, 0.03279, 0.06239, 0.1039, 0.1586, 0.2274, 0.3115, 0.4117");
          values("0.2686, 0.34, 0.605, 1.141, 1.985, 3.173, 4.737, 6.708, 9.109, 11.99",\
                 "0.2696, 0.3414, 0.6058, 1.141, 1.985, 3.174, 4.736, 6.704, 9.115, 11.98",\
                 "0.2698, 0.3392, 0.606, 1.141, 1.985, 3.174, 4.731, 6.706, 9.109, 11.99",\
                 "0.2696, 0.3404, 0.6058, 1.141, 1.986, 3.174, 4.736, 6.709, 9.105, 11.99",\
                 "0.2694, 0.3406, 0.6066, 1.142, 1.987, 3.172, 4.731, 6.705, 9.108, 11.99",\
                 "0.2704, 0.3404, 0.6056, 1.143, 1.987, 3.174, 4.736, 6.703, 9.108, 11.99",\
                 "0.273, 0.344, 0.6078, 1.142, 1.986, 3.174, 4.737, 6.707, 9.119, 11.98",\
                 "0.2776, 0.3468, 0.6078, 1.143, 1.984, 3.172, 4.735, 6.7, 9.118, 11.99",\
                 "0.2822, 0.3494, 0.61, 1.142, 1.99, 3.168, 4.728, 6.698, 9.112, 11.99",\
                 "0.286, 0.354, 0.612, 1.144, 1.986, 3.174, 4.73, 6.698, 9.1, 11.98");
        }
      }

      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.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003835, 0.01378, 0.03279, 0.06239, 0.1039, 0.1586, 0.2274, 0.3115, 0.4117");
          values("1.753, 1.813, 1.973, 2.197, 2.475, 2.81, 3.215, 3.706, 4.293, 4.989",\
                 "1.782, 1.842, 2.002, 2.227, 2.504, 2.84, 3.245, 3.735, 4.323, 5.019",\
                 "1.872, 1.932, 2.092, 2.317, 2.594, 2.93, 3.335, 3.825, 4.413, 5.109",\
                 "2.021, 2.081, 2.241, 2.465, 2.743, 3.079, 3.484, 3.974, 4.561, 5.258",\
                 "2.17, 2.23, 2.391, 2.616, 2.893, 3.228, 3.634, 4.123, 4.711, 5.407",\
                 "2.292, 2.351, 2.511, 2.736, 3.014, 3.349, 3.755, 4.245, 4.833, 5.528",\
                 "2.378, 2.438, 2.597, 2.821, 3.098, 3.433, 3.839, 4.329, 4.918, 5.614",\
                 "2.423, 2.482, 2.642, 2.865, 3.143, 3.478, 3.883, 4.373, 4.961, 5.657",\
                 "2.422, 2.481, 2.641, 2.865, 3.142, 3.477, 3.882, 4.372, 4.959, 5.656",\
                 "2.372, 2.431, 2.59, 2.814, 3.091, 3.426, 3.831, 4.321, 4.908, 5.605");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003835, 0.01378, 0.03279, 0.06239, 0.1039, 0.1586, 0.2274, 0.3115, 0.4117");
          values("2.109, 2.164, 2.341, 2.665, 3.164, 3.861, 4.776, 5.927, 7.331, 9.005",\
                 "2.136, 2.192, 2.369, 2.693, 3.192, 3.889, 4.803, 5.954, 7.359, 9.033",\
                 "2.237, 2.293, 2.47, 2.794, 3.293, 3.99, 4.905, 6.055, 7.459, 9.134",\
                 "2.418, 2.473, 2.65, 2.974, 3.473, 4.17, 5.085, 6.236, 7.64, 9.314",\
                 "2.688, 2.744, 2.92, 3.245, 3.744, 4.44, 5.356, 6.506, 7.911, 9.583",\
                 "3.056, 3.112, 3.289, 3.613, 4.112, 4.809, 5.723, 6.873, 8.279, 9.95",\
                 "3.497, 3.552, 3.73, 4.054, 4.553, 5.25, 6.165, 7.316, 8.719, 10.39",\
                 "3.993, 4.049, 4.227, 4.551, 5.05, 5.747, 6.661, 7.812, 9.216, 10.89",\
                 "4.549, 4.606, 4.784, 5.108, 5.607, 6.304, 7.218, 8.369, 9.774, 11.45",\
                 "5.17, 5.227, 5.407, 5.731, 6.23, 6.926, 7.841, 8.991, 10.39, 12.07");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003835, 0.01378, 0.03279, 0.06239, 0.1039, 0.1586, 0.2274, 0.3115, 0.4117");
          values("0.3474, 0.3944, 0.5308, 0.7532, 1.072, 1.512, 2.105, 2.881, 3.848, 5.016",\
                 "0.3474, 0.3942, 0.5304, 0.7522, 1.072, 1.512, 2.103, 2.881, 3.846, 5.024",\
                 "0.3482, 0.3944, 0.5306, 0.7536, 1.072, 1.512, 2.107, 2.879, 3.848, 5.02",\
                 "0.3484, 0.3942, 0.5302, 0.7524, 1.073, 1.512, 2.104, 2.88, 3.849, 5.022",\
                 "0.3486, 0.3944, 0.5296, 0.7548, 1.072, 1.512, 2.106, 2.881, 3.85, 5.021",\
                 "0.3442, 0.3902, 0.5288, 0.752, 1.071, 1.513, 2.106, 2.881, 3.846, 5.024",\
                 "0.3424, 0.3888, 0.5262, 0.7504, 1.069, 1.509, 2.105, 2.881, 3.851, 5.021",\
                 "0.3424, 0.389, 0.5264, 0.7492, 1.071, 1.509, 2.104, 2.875, 3.844, 5.019",\
                 "0.3424, 0.3892, 0.5268, 0.7508, 1.068, 1.509, 2.105, 2.877, 3.844, 5.015",\
                 "0.3424, 0.389, 0.526, 0.7506, 1.068, 1.51, 2.102, 2.876, 3.848, 5.018");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003835, 0.01378, 0.03279, 0.06239, 0.1039, 0.1586, 0.2274, 0.3115, 0.4117");
          values("0.269, 0.34, 0.6058, 1.14, 1.985, 3.174, 4.736, 6.706, 9.108, 11.98",\
                 "0.2698, 0.3396, 0.6064, 1.142, 1.986, 3.172, 4.737, 6.706, 9.117, 11.98",\
                 "0.2696, 0.3412, 0.6066, 1.141, 1.986, 3.174, 4.731, 6.699, 9.11, 11.99",\
                 "0.2692, 0.341, 0.605, 1.14, 1.986, 3.173, 4.731, 6.705, 9.106, 11.98",\
                 "0.269, 0.34, 0.6064, 1.142, 1.987, 3.174, 4.732, 6.705, 9.12, 11.99",\
                 "0.2704, 0.3412, 0.6066, 1.14, 1.987, 3.172, 4.736, 6.705, 9.116, 11.99",\
                 "0.2724, 0.3428, 0.608, 1.14, 1.988, 3.169, 4.737, 6.71, 9.107, 11.98",\
                 "0.2766, 0.3462, 0.6078, 1.14, 1.984, 3.17, 4.734, 6.708, 9.112, 11.99",\
                 "0.2804, 0.3502, 0.61, 1.144, 1.988, 3.166, 4.73, 6.704, 9.108, 11.99",\
                 "0.286, 0.352, 0.612, 1.142, 1.988, 3.172, 4.73, 6.696, 9.098, 11.97");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003835, 0.01378, 0.03279, 0.06239, 0.1039, 0.1586, 0.2274, 0.3115, 0.4117");
          values("1.753, 1.813, 1.973, 2.197, 2.475, 2.81, 3.215, 3.706, 4.293, 4.989",\
                 "1.782, 1.842, 2.002, 2.227, 2.504, 2.84, 3.245, 3.735, 4.323, 5.019",\
                 "1.872, 1.932, 2.092, 2.317, 2.594, 2.93, 3.335, 3.825, 4.413, 5.109",\
                 "2.021, 2.081, 2.241, 2.465, 2.743, 3.079, 3.484, 3.974, 4.561, 5.258",\
                 "2.17, 2.23, 2.391, 2.616, 2.893, 3.228, 3.634, 4.123, 4.711, 5.407",\
                 "2.292, 2.351, 2.511, 2.736, 3.014, 3.349, 3.755, 4.245, 4.833, 5.528",\
                 "2.378, 2.438, 2.597, 2.821, 3.098, 3.433, 3.839, 4.329, 4.918, 5.614",\
                 "2.423, 2.482, 2.642, 2.865, 3.143, 3.478, 3.883, 4.373, 4.961, 5.657",\
                 "2.422, 2.481, 2.641, 2.865, 3.142, 3.477, 3.882, 4.372, 4.959, 5.656",\
                 "2.372, 2.431, 2.59, 2.814, 3.091, 3.426, 3.831, 4.321, 4.908, 5.605");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003835, 0.01378, 0.03279, 0.06239, 0.1039, 0.1586, 0.2274, 0.3115, 0.4117");
          values("2.109, 2.164, 2.341, 2.665, 3.164, 3.861, 4.776, 5.927, 7.331, 9.005",\
                 "2.136, 2.192, 2.369, 2.693, 3.192, 3.889, 4.803, 5.954, 7.359, 9.033",\
                 "2.237, 2.293, 2.47, 2.794, 3.293, 3.99, 4.905, 6.055, 7.459, 9.134",\
                 "2.418, 2.473, 2.65, 2.974, 3.473, 4.17, 5.085, 6.236, 7.64, 9.314",\
                 "2.688, 2.744, 2.92, 3.245, 3.744, 4.44, 5.356, 6.506, 7.911, 9.583",\
                 "3.056, 3.112, 3.289, 3.613, 4.112, 4.809, 5.723, 6.873, 8.279, 9.95",\
                 "3.497, 3.552, 3.73, 4.054, 4.553, 5.25, 6.165, 7.316, 8.719, 10.39",\
                 "3.993, 4.049, 4.227, 4.551, 5.05, 5.747, 6.661, 7.812, 9.216, 10.89",\
                 "4.549, 4.606, 4.784, 5.108, 5.607, 6.304, 7.218, 8.369, 9.774, 11.45",\
                 "5.17, 5.227, 5.407, 5.731, 6.23, 6.926, 7.841, 8.991, 10.39, 12.07");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003835, 0.01378, 0.03279, 0.06239, 0.1039, 0.1586, 0.2274, 0.3115, 0.4117");
          values("0.3478, 0.3932, 0.5302, 0.7524, 1.07, 1.511, 2.106, 2.88, 3.845, 5.016",\
                 "0.3468, 0.3928, 0.53, 0.7522, 1.071, 1.511, 2.103, 2.879, 3.85, 5.018",\
                 "0.3472, 0.3936, 0.5294, 0.7512, 1.072, 1.512, 2.106, 2.878, 3.847, 5.021",\
                 "0.3472, 0.3934, 0.5298, 0.7514, 1.071, 1.511, 2.105, 2.879, 3.849, 5.021",\
                 "0.3466, 0.3928, 0.529, 0.7522, 1.071, 1.511, 2.105, 2.877, 3.849, 5.022",\
                 "0.3424, 0.3892, 0.5274, 0.7504, 1.071, 1.512, 2.106, 2.88, 3.85, 5.02",\
                 "0.3416, 0.3896, 0.5258, 0.7488, 1.068, 1.509, 2.104, 2.882, 3.852, 5.025",\
                 "0.3416, 0.3878, 0.5252, 0.7494, 1.069, 1.508, 2.104, 2.875, 3.843, 5.019",\
                 "0.3414, 0.3882, 0.5256, 0.7506, 1.068, 1.508, 2.105, 2.874, 3.843, 5.016",\
                 "0.3418, 0.3882, 0.526, 0.7492, 1.07, 1.508, 2.102, 2.876, 3.85, 5.014");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003835, 0.01378, 0.03279, 0.06239, 0.1039, 0.1586, 0.2274, 0.3115, 0.4117");
          values("0.2686, 0.34, 0.605, 1.141, 1.985, 3.173, 4.737, 6.708, 9.109, 11.99",\
                 "0.2696, 0.3414, 0.6058, 1.141, 1.985, 3.174, 4.736, 6.704, 9.115, 11.98",\
                 "0.2698, 0.3392, 0.606, 1.141, 1.985, 3.174, 4.731, 6.706, 9.109, 11.99",\
                 "0.2696, 0.3404, 0.6058, 1.141, 1.986, 3.174, 4.736, 6.709, 9.105, 11.99",\
                 "0.2694, 0.3406, 0.6066, 1.142, 1.987, 3.172, 4.731, 6.705, 9.108, 11.99",\
                 "0.2704, 0.3404, 0.6056, 1.143, 1.987, 3.174, 4.736, 6.703, 9.108, 11.99",\
                 "0.273, 0.344, 0.6078, 1.142, 1.986, 3.174, 4.737, 6.707, 9.119, 11.98",\
                 "0.2776, 0.3468, 0.6078, 1.143, 1.984, 3.172, 4.735, 6.7, 9.118, 11.99",\
                 "0.2822, 0.3494, 0.61, 1.142, 1.99, 3.168, 4.728, 6.698, 9.112, 11.99",\
                 "0.286, 0.354, 0.612, 1.144, 1.986, 3.174, 4.73, 6.698, 9.1, 11.98");
        }
      }

      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.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003835, 0.01378, 0.03279, 0.06239, 0.1039, 0.1586, 0.2274, 0.3115, 0.4117");
          values("1.166, 1.224, 1.382, 1.604, 1.878, 2.211, 2.615, 3.103, 3.69, 4.385",\
                 "1.194, 1.252, 1.41, 1.632, 1.906, 2.239, 2.643, 3.131, 3.718, 4.414",\
                 "1.287, 1.346, 1.503, 1.725, 2, 2.333, 2.736, 3.225, 3.812, 4.507",\
                 "1.489, 1.547, 1.705, 1.926, 2.201, 2.534, 2.938, 3.426, 4.013, 4.708",\
                 "1.822, 1.881, 2.038, 2.259, 2.534, 2.867, 3.271, 3.76, 4.346, 5.042",\
                 "2.274, 2.334, 2.496, 2.721, 2.998, 3.332, 3.736, 4.225, 4.812, 5.508",\
                 "2.769, 2.837, 3.013, 3.25, 3.536, 3.875, 4.283, 4.774, 5.361, 6.056",\
                 "3.292, 3.368, 3.561, 3.814, 4.11, 4.458, 4.871, 5.366, 5.954, 6.651",\
                 "3.844, 3.925, 4.138, 4.411, 4.721, 5.076, 5.494, 5.991, 6.583, 7.282",\
                 "4.425, 4.514, 4.745, 5.039, 5.365, 5.731, 6.155, 6.654, 7.248, 7.945");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003835, 0.01378, 0.03279, 0.06239, 0.1039, 0.1586, 0.2274, 0.3115, 0.4117");
          values("0.6862, 0.7474, 0.9363, 1.266, 1.766, 2.462, 3.376, 4.526, 5.929, 7.604",\
                 "0.7126, 0.7738, 0.9627, 1.292, 1.792, 2.489, 3.403, 4.553, 5.956, 7.63",\
                 "0.807, 0.8683, 1.057, 1.386, 1.886, 2.583, 3.498, 4.647, 6.051, 7.723",\
                 "0.9833, 1.045, 1.233, 1.562, 2.062, 2.758, 3.674, 4.823, 6.227, 7.901",\
                 "1.199, 1.263, 1.455, 1.785, 2.285, 2.982, 3.898, 5.049, 6.453, 8.125",\
                 "1.403, 1.47, 1.667, 2, 2.503, 3.2, 4.115, 5.267, 6.67, 8.342",\
                 "1.584, 1.657, 1.862, 2.197, 2.699, 3.399, 4.315, 5.466, 6.871, 8.541",\
                 "1.74, 1.818, 2.033, 2.372, 2.874, 3.572, 4.489, 5.642, 7.045, 8.72",\
                 "1.863, 1.948, 2.175, 2.521, 3.023, 3.72, 4.636, 5.788, 7.195, 8.868",\
                 "1.951, 2.043, 2.285, 2.639, 3.142, 3.838, 4.754, 5.906, 7.312, 8.986");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003835, 0.01378, 0.03279, 0.06239, 0.1039, 0.1586, 0.2274, 0.3115, 0.4117");
          values("0.3366, 0.3828, 0.5198, 0.7416, 1.063, 1.503, 2.099, 2.874, 3.843, 5.016",\
                 "0.3366, 0.3826, 0.5196, 0.7418, 1.062, 1.503, 2.099, 2.871, 3.845, 5.018",\
                 "0.3364, 0.3842, 0.5198, 0.743, 1.062, 1.503, 2.097, 2.872, 3.841, 5.02",\
                 "0.3364, 0.3832, 0.5198, 0.7422, 1.063, 1.503, 2.095, 2.871, 3.839, 5.019",\
                 "0.3366, 0.383, 0.5208, 0.7432, 1.063, 1.502, 2.099, 2.873, 3.845, 5.013",\
                 "0.3644, 0.4076, 0.5364, 0.7542, 1.07, 1.506, 2.101, 2.873, 3.844, 5.014",\
                 "0.421, 0.4696, 0.5898, 0.7968, 1.103, 1.531, 2.115, 2.88, 3.847, 5.021",\
                 "0.4786, 0.5276, 0.6556, 0.8508, 1.149, 1.571, 2.146, 2.903, 3.864, 5.028",\
                 "0.5352, 0.5896, 0.7266, 0.9186, 1.199, 1.61, 2.174, 2.928, 3.88, 5.038",\
                 "0.594, 0.652, 0.8, 0.994, 1.26, 1.656, 2.208, 2.948, 3.892, 5.054");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003835, 0.01378, 0.03279, 0.06239, 0.1039, 0.1586, 0.2274, 0.3115, 0.4117");
          values("0.2985, 0.3704, 0.6318, 1.154, 1.995, 3.183, 4.752, 6.723, 9.13, 11.99",\
                 "0.298, 0.3716, 0.6316, 1.155, 1.993, 3.181, 4.749, 6.722, 9.128, 12",\
                 "0.2985, 0.371, 0.6308, 1.155, 1.993, 3.181, 4.748, 6.722, 9.128, 12",\
                 "0.2996, 0.3738, 0.6314, 1.155, 1.993, 3.185, 4.744, 6.723, 9.129, 11.98",\
                 "0.32, 0.3916, 0.6448, 1.158, 1.993, 3.184, 4.748, 6.712, 9.12, 12",\
                 "0.348, 0.4162, 0.6618, 1.171, 2.001, 3.183, 4.743, 6.718, 9.128, 12",\
                 "0.3836, 0.449, 0.6836, 1.178, 2.009, 3.189, 4.747, 6.715, 9.132, 12.01",\
                 "0.4282, 0.4892, 0.7104, 1.192, 2.011, 3.196, 4.752, 6.722, 9.126, 11.99",\
                 "0.476, 0.5382, 0.7486, 1.207, 2.017, 3.205, 4.753, 6.72, 9.122, 11.98",\
                 "0.5234, 0.5892, 0.79, 1.23, 2.02, 3.198, 4.756, 6.722, 9.124, 11.98");
        }
      }

      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.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003835, 0.01378, 0.03279, 0.06239, 0.1039, 0.1586, 0.2274, 0.3115, 0.4117");
          values("1.166, 1.224, 1.382, 1.604, 1.878, 2.211, 2.615, 3.103, 3.69, 4.385",\
                 "1.194, 1.252, 1.41, 1.632, 1.906, 2.239, 2.643, 3.131, 3.718, 4.414",\
                 "1.287, 1.346, 1.503, 1.725, 2, 2.333, 2.736, 3.225, 3.812, 4.507",\
                 "1.489, 1.547, 1.705, 1.927, 2.201, 2.534, 2.938, 3.426, 4.013, 4.708",\
                 "1.822, 1.881, 2.038, 2.259, 2.534, 2.867, 3.271, 3.76, 4.346, 5.041",\
                 "2.274, 2.335, 2.496, 2.721, 2.997, 3.332, 3.736, 4.225, 4.812, 5.508",\
                 "2.769, 2.837, 3.013, 3.25, 3.535, 3.876, 4.283, 4.773, 5.361, 6.056",\
                 "3.292, 3.368, 3.561, 3.814, 4.11, 4.458, 4.87, 5.366, 5.955, 6.651",\
                 "3.844, 3.925, 4.138, 4.412, 4.721, 5.076, 5.495, 5.993, 6.584, 7.282",\
                 "4.425, 4.514, 4.745, 5.039, 5.366, 5.731, 6.155, 6.654, 7.247, 7.945");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003835, 0.01378, 0.03279, 0.06239, 0.1039, 0.1586, 0.2274, 0.3115, 0.4117");
          values("0.6862, 0.7474, 0.9363, 1.266, 1.766, 2.462, 3.376, 4.526, 5.929, 7.604",\
                 "0.7126, 0.7738, 0.9627, 1.292, 1.792, 2.489, 3.403, 4.553, 5.956, 7.63",\
                 "0.807, 0.8681, 1.057, 1.386, 1.886, 2.583, 3.498, 4.648, 6.051, 7.724",\
                 "0.9836, 1.045, 1.233, 1.562, 2.062, 2.759, 3.674, 4.824, 6.227, 7.902",\
                 "1.199, 1.262, 1.455, 1.785, 2.285, 2.983, 3.897, 5.049, 6.453, 8.123",\
                 "1.403, 1.47, 1.667, 2.001, 2.502, 3.2, 4.115, 5.267, 6.67, 8.343",\
                 "1.584, 1.657, 1.862, 2.197, 2.699, 3.398, 4.314, 5.466, 6.872, 8.544",\
                 "1.74, 1.818, 2.033, 2.372, 2.874, 3.572, 4.489, 5.642, 7.045, 8.721",\
                 "1.863, 1.948, 2.175, 2.521, 3.023, 3.72, 4.637, 5.788, 7.195, 8.867",\
                 "1.951, 2.043, 2.285, 2.64, 3.142, 3.838, 4.754, 5.906, 7.311, 8.986");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003835, 0.01378, 0.03279, 0.06239, 0.1039, 0.1586, 0.2274, 0.3115, 0.4117");
          values("0.3366, 0.3828, 0.5198, 0.7418, 1.063, 1.503, 2.098, 2.872, 3.843, 5.016",\
                 "0.3364, 0.3826, 0.5196, 0.7418, 1.062, 1.503, 2.099, 2.871, 3.845, 5.018",\
                 "0.3364, 0.3842, 0.5198, 0.743, 1.062, 1.503, 2.097, 2.872, 3.841, 5.02",\
                 "0.3362, 0.3824, 0.5198, 0.7418, 1.062, 1.503, 2.098, 2.871, 3.844, 5.019",\
                 "0.3376, 0.383, 0.5212, 0.7432, 1.063, 1.503, 2.096, 2.871, 3.841, 5.019",\
                 "0.3642, 0.4074, 0.5366, 0.7548, 1.07, 1.506, 2.1, 2.872, 3.84, 5.013",\
                 "0.4206, 0.4688, 0.5898, 0.7952, 1.102, 1.532, 2.116, 2.881, 3.848, 5.021",\
                 "0.4786, 0.5276, 0.6558, 0.8508, 1.149, 1.571, 2.147, 2.904, 3.863, 5.026",\
                 "0.5352, 0.5896, 0.7266, 0.9176, 1.199, 1.608, 2.174, 2.928, 3.878, 5.038",\
                 "0.594, 0.652, 0.8, 0.994, 1.262, 1.656, 2.208, 2.946, 3.896, 5.054");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003835, 0.01378, 0.03279, 0.06239, 0.1039, 0.1586, 0.2274, 0.3115, 0.4117");
          values("0.2985, 0.3704, 0.6318, 1.154, 1.995, 3.184, 4.752, 6.723, 9.13, 11.99",\
                 "0.298, 0.3716, 0.6316, 1.155, 1.993, 3.181, 4.749, 6.722, 9.128, 12",\
                 "0.298, 0.3704, 0.6312, 1.155, 1.994, 3.18, 4.746, 6.721, 9.125, 12",\
                 "0.3004, 0.3734, 0.6322, 1.155, 1.993, 3.183, 4.748, 6.715, 9.13, 11.99",\
                 "0.3196, 0.3906, 0.6454, 1.157, 1.993, 3.182, 4.752, 6.713, 9.125, 12",\
                 "0.348, 0.4154, 0.6622, 1.171, 2.001, 3.184, 4.744, 6.72, 9.128, 12",\
                 "0.3836, 0.449, 0.6816, 1.18, 2.008, 3.188, 4.749, 6.719, 9.131, 12",\
                 "0.4282, 0.4892, 0.7104, 1.192, 2.011, 3.197, 4.753, 6.72, 9.118, 11.99",\
                 "0.476, 0.5376, 0.7468, 1.209, 2.017, 3.199, 4.759, 6.72, 9.122, 11.99",\
                 "0.5234, 0.5892, 0.79, 1.228, 2.02, 3.198, 4.756, 6.722, 9.124, 11.98");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003835, 0.01378, 0.03279, 0.06239, 0.1039, 0.1586, 0.2274, 0.3115, 0.4117");
          values("1.166, 1.224, 1.382, 1.604, 1.878, 2.211, 2.615, 3.103, 3.69, 4.385",\
                 "1.194, 1.252, 1.41, 1.632, 1.906, 2.239, 2.643, 3.131, 3.718, 4.414",\
                 "1.287, 1.346, 1.503, 1.725, 2, 2.333, 2.736, 3.225, 3.812, 4.507",\
                 "1.489, 1.547, 1.705, 1.927, 2.201, 2.534, 2.938, 3.426, 4.013, 4.708",\
                 "1.822, 1.881, 2.038, 2.259, 2.534, 2.867, 3.271, 3.76, 4.346, 5.041",\
                 "2.274, 2.335, 2.496, 2.721, 2.997, 3.332, 3.736, 4.225, 4.812, 5.508",\
                 "2.769, 2.837, 3.013, 3.25, 3.535, 3.876, 4.283, 4.773, 5.361, 6.056",\
                 "3.292, 3.368, 3.561, 3.814, 4.11, 4.458, 4.87, 5.366, 5.955, 6.651",\
                 "3.844, 3.925, 4.138, 4.412, 4.721, 5.076, 5.495, 5.993, 6.584, 7.282",\
                 "4.425, 4.514, 4.745, 5.039, 5.366, 5.731, 6.155, 6.654, 7.247, 7.945");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003835, 0.01378, 0.03279, 0.06239, 0.1039, 0.1586, 0.2274, 0.3115, 0.4117");
          values("0.6862, 0.7474, 0.9363, 1.266, 1.766, 2.462, 3.376, 4.526, 5.929, 7.604",\
                 "0.7126, 0.7738, 0.9627, 1.292, 1.792, 2.489, 3.403, 4.553, 5.956, 7.63",\
                 "0.807, 0.8681, 1.057, 1.386, 1.886, 2.583, 3.498, 4.648, 6.051, 7.724",\
                 "0.9836, 1.045, 1.233, 1.562, 2.062, 2.759, 3.674, 4.824, 6.227, 7.902",\
                 "1.199, 1.262, 1.455, 1.785, 2.285, 2.983, 3.897, 5.049, 6.453, 8.123",\
                 "1.403, 1.47, 1.667, 2.001, 2.502, 3.2, 4.115, 5.267, 6.67, 8.343",\
                 "1.584, 1.657, 1.862, 2.197, 2.699, 3.398, 4.314, 5.466, 6.872, 8.544",\
                 "1.74, 1.818, 2.033, 2.372, 2.874, 3.572, 4.489, 5.642, 7.045, 8.721",\
                 "1.863, 1.948, 2.175, 2.521, 3.023, 3.72, 4.637, 5.788, 7.195, 8.867",\
                 "1.951, 2.043, 2.285, 2.64, 3.142, 3.838, 4.754, 5.906, 7.311, 8.986");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003835, 0.01378, 0.03279, 0.06239, 0.1039, 0.1586, 0.2274, 0.3115, 0.4117");
          values("0.3366, 0.3828, 0.5198, 0.7418, 1.063, 1.503, 2.098, 2.872, 3.843, 5.016",\
                 "0.3364, 0.3826, 0.5196, 0.7418, 1.062, 1.503, 2.099, 2.871, 3.845, 5.018",\
                 "0.3364, 0.3842, 0.5198, 0.743, 1.062, 1.503, 2.097, 2.872, 3.841, 5.02",\
                 "0.3362, 0.3824, 0.5198, 0.7418, 1.062, 1.503, 2.098, 2.871, 3.844, 5.019",\
                 "0.3376, 0.383, 0.5212, 0.7432, 1.063, 1.503, 2.096, 2.871, 3.841, 5.019",\
                 "0.3642, 0.4074, 0.5366, 0.7548, 1.07, 1.506, 2.1, 2.872, 3.84, 5.013",\
                 "0.4206, 0.4688, 0.5898, 0.7952, 1.102, 1.532, 2.116, 2.881, 3.848, 5.021",\
                 "0.4786, 0.5276, 0.6558, 0.8508, 1.149, 1.571, 2.147, 2.904, 3.863, 5.026",\
                 "0.5352, 0.5896, 0.7266, 0.9176, 1.199, 1.608, 2.174, 2.928, 3.878, 5.038",\
                 "0.594, 0.652, 0.8, 0.994, 1.262, 1.656, 2.208, 2.946, 3.896, 5.054");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.003835, 0.01378, 0.03279, 0.06239, 0.1039, 0.1586, 0.2274, 0.3115, 0.4117");
          values("0.2985, 0.3704, 0.6318, 1.154, 1.995, 3.183, 4.752, 6.723, 9.13, 11.99",\
                 "0.298, 0.3716, 0.6316, 1.155, 1.993, 3.181, 4.749, 6.722, 9.128, 12",\
                 "0.2985, 0.371, 0.6308, 1.155, 1.993, 3.181, 4.748, 6.722, 9.128, 12",\
                 "0.2996, 0.3738, 0.6314, 1.155, 1.993, 3.185, 4.744, 6.723, 9.129, 11.98",\
                 "0.32, 0.3916, 0.6448, 1.158, 1.993, 3.184, 4.748, 6.712, 9.12, 12",\
                 "0.348, 0.4162, 0.6618, 1.171, 2.001, 3.183, 4.743, 6.718, 9.128, 12",\
                 "0.3836, 0.449, 0.6836, 1.178, 2.009, 3.189, 4.747, 6.715, 9.132, 12.01",\
                 "0.4282, 0.4892, 0.7104, 1.192, 2.011, 3.196, 4.752, 6.722, 9.126, 11.99",\
                 "0.476, 0.5382, 0.7486, 1.207, 2.017, 3.205, 4.753, 6.72, 9.122, 11.98",\
                 "0.5234, 0.5892, 0.79, 1.23, 2.02, 3.198, 4.756, 6.722, 9.124, 11.98");
        }
      }
    }
  }