  cell(gf180mcu_fd_sc_mcu9t5v0__xnor3_2) {
    area : 79.027200 ;

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

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

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

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

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

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

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

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

    leakage_power() {
      related_pg_pin : "VDD" ;
      value : "5.13702e-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.005825 ;
      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.006332 ;
      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.009201 ;
      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.6285 ;
      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.005331, 0.02053, 0.04957, 0.0948, 0.1583, 0.2418, 0.347, 0.4754, 0.6285");
          values("0.1034, 0.1036, 0.1042, 0.1049, 0.1054, 0.1058, 0.106, 0.1061, 0.1062, 0.1063",\
                 "0.1033, 0.1035, 0.1042, 0.1049, 0.1054, 0.1058, 0.106, 0.1061, 0.1062, 0.1063",\
                 "0.1032, 0.1034, 0.104, 0.1047, 0.1052, 0.1056, 0.1058, 0.1059, 0.106, 0.1061",\
                 "0.1027, 0.1029, 0.1035, 0.1043, 0.1048, 0.1051, 0.1054, 0.1055, 0.1056, 0.1057",\
                 "0.1024, 0.1026, 0.1033, 0.104, 0.1045, 0.1048, 0.1051, 0.1052, 0.1053, 0.1054",\
                 "0.1023, 0.1025, 0.1031, 0.1038, 0.1043, 0.1047, 0.1049, 0.1051, 0.1051, 0.1052",\
                 "0.1023, 0.1024, 0.1031, 0.1038, 0.1043, 0.1047, 0.1049, 0.105, 0.1051, 0.1052",\
                 "0.1024, 0.1025, 0.1032, 0.1039, 0.1044, 0.1048, 0.105, 0.1051, 0.1052, 0.1053",\
                 "0.1026, 0.1028, 0.1034, 0.1042, 0.1047, 0.1051, 0.1053, 0.1055, 0.1055, 0.1056",\
                 "0.1031, 0.1033, 0.1039, 0.1046, 0.1051, 0.1055, 0.1057, 0.1058, 0.1059, 0.106");
        }

        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.005331, 0.02053, 0.04957, 0.0948, 0.1583, 0.2418, 0.347, 0.4754, 0.6285");
          values("0.102, 0.1022, 0.1028, 0.1036, 0.1044, 0.105, 0.1056, 0.1063, 0.1097, 0.1384",\
                 "0.1019, 0.1021, 0.1027, 0.1035, 0.1043, 0.1051, 0.1059, 0.1064, 0.11, 0.1384",\
                 "0.1017, 0.1019, 0.1025, 0.1034, 0.1043, 0.105, 0.1056, 0.1064, 0.1105, 0.1412",\
                 "0.1016, 0.1018, 0.1024, 0.1032, 0.1039, 0.1046, 0.1052, 0.106, 0.1108, 0.1471",\
                 "0.1013, 0.1016, 0.1022, 0.103, 0.1038, 0.1045, 0.1053, 0.1057, 0.1121, 0.1563",\
                 "0.1011, 0.1013, 0.1019, 0.1027, 0.1035, 0.1041, 0.1049, 0.1058, 0.1154, 0.1754",\
                 "0.1009, 0.1012, 0.1018, 0.1025, 0.1033, 0.1042, 0.1045, 0.1066, 0.1218, 0.2077",\
                 "0.1009, 0.1012, 0.1018, 0.1026, 0.1035, 0.1042, 0.1045, 0.1082, 0.1372, 0.2643",\
                 "0.1011, 0.1013, 0.1019, 0.1026, 0.1036, 0.1041, 0.105, 0.1134, 0.1737, 0.3582",\
                 "0.1015, 0.1017, 0.1023, 0.1031, 0.1037, 0.1047, 0.1073, 0.1334, 0.2564, 0.4885");
        }
      }

      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.005331, 0.02053, 0.04957, 0.0948, 0.1583, 0.2418, 0.347, 0.4754, 0.6285");
          values("0.09038, 0.09051, 0.09105, 0.0917, 0.09225, 0.09265, 0.09291, 0.09308, 0.0932, 0.09327",\
                 "0.09028, 0.09045, 0.09096, 0.09161, 0.09217, 0.09258, 0.09284, 0.09301, 0.09312, 0.09319",\
                 "0.09011, 0.09026, 0.09078, 0.09144, 0.09199, 0.09239, 0.09266, 0.09283, 0.09295, 0.09302",\
                 "0.08996, 0.0901, 0.09062, 0.09126, 0.09183, 0.09223, 0.0925, 0.09268, 0.09278, 0.09287",\
                 "0.08975, 0.08988, 0.09041, 0.09106, 0.09163, 0.09202, 0.09228, 0.09245, 0.09257, 0.09263",\
                 "0.08948, 0.08964, 0.09015, 0.09081, 0.09139, 0.09177, 0.09204, 0.09221, 0.09231, 0.09239",\
                 "0.08934, 0.08947, 0.09001, 0.09066, 0.09123, 0.09164, 0.09188, 0.09205, 0.09217, 0.09224",\
                 "0.08937, 0.0895, 0.09003, 0.09069, 0.09124, 0.09164, 0.09189, 0.09206, 0.09217, 0.09225",\
                 "0.08954, 0.08968, 0.09019, 0.09084, 0.09143, 0.09182, 0.09209, 0.09224, 0.09236, 0.09243",\
                 "0.0899, 0.09004, 0.09056, 0.09122, 0.09179, 0.09218, 0.09244, 0.09263, 0.09274, 0.09278");
        }

        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.005331, 0.02053, 0.04957, 0.0948, 0.1583, 0.2418, 0.347, 0.4754, 0.6285");
          values("0.08124, 0.0814, 0.08187, 0.08267, 0.08344, 0.08422, 0.08478, 0.08547, 0.08797, 0.1099",\
                 "0.08116, 0.08138, 0.08185, 0.08262, 0.08345, 0.08424, 0.08487, 0.08544, 0.08815, 0.1105",\
                 "0.08105, 0.0812, 0.08173, 0.08242, 0.08327, 0.08404, 0.08462, 0.08519, 0.08825, 0.1123",\
                 "0.0806, 0.08081, 0.08128, 0.08204, 0.08288, 0.08366, 0.08413, 0.08488, 0.08819, 0.1156",\
                 "0.08031, 0.08059, 0.08108, 0.08179, 0.08263, 0.08339, 0.08392, 0.08473, 0.08879, 0.1217",\
                 "0.08019, 0.08036, 0.08087, 0.08166, 0.08252, 0.08328, 0.08393, 0.08448, 0.09109, 0.1324",\
                 "0.08014, 0.08031, 0.08089, 0.08161, 0.0825, 0.08323, 0.08384, 0.08484, 0.09308, 0.1477",\
                 "0.08026, 0.08049, 0.08091, 0.08168, 0.08272, 0.08357, 0.08397, 0.08522, 0.09838, 0.1742",\
                 "0.08057, 0.08078, 0.08131, 0.08197, 0.0827, 0.08361, 0.08472, 0.08657, 0.1088, 0.2158",\
                 "0.08098, 0.08121, 0.08175, 0.08246, 0.08324, 0.08375, 0.08426, 0.09028, 0.1313, 0.2836");
        }
      }

      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.005331, 0.02053, 0.04957, 0.0948, 0.1583, 0.2418, 0.347, 0.4754, 0.6285");
          values("0.09894, 0.09913, 0.09976, 0.1005, 0.101, 0.1014, 0.1016, 0.1017, 0.1018, 0.1019",\
                 "0.09893, 0.09913, 0.09974, 0.1004, 0.101, 0.1013, 0.1016, 0.1017, 0.1018, 0.1019",\
                 "0.09858, 0.0988, 0.09939, 0.1001, 0.1006, 0.101, 0.1012, 0.1014, 0.1014, 0.1015",\
                 "0.09823, 0.0984, 0.09903, 0.09972, 0.1003, 0.1006, 0.1008, 0.101, 0.1011, 0.1011",\
                 "0.09797, 0.09817, 0.09879, 0.0995, 0.1001, 0.1004, 0.1006, 0.1008, 0.1008, 0.1009",\
                 "0.09792, 0.0981, 0.0987, 0.09943, 0.09996, 0.1003, 0.1005, 0.1007, 0.1008, 0.1008",\
                 "0.09795, 0.09817, 0.09877, 0.09947, 0.1, 0.1003, 0.1006, 0.1007, 0.1008, 0.1009",\
                 "0.0981, 0.0983, 0.09892, 0.09963, 0.1002, 0.1005, 0.1007, 0.1009, 0.101, 0.101",\
                 "0.0984, 0.09859, 0.0992, 0.09992, 0.1005, 0.1008, 0.101, 0.1012, 0.1013, 0.1013",\
                 "0.09882, 0.09901, 0.09965, 0.1003, 0.1009, 0.1012, 0.1014, 0.1016, 0.1017, 0.1017");
        }

        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.005331, 0.02053, 0.04957, 0.0948, 0.1583, 0.2418, 0.347, 0.4754, 0.6285");
          values("0.07392, 0.0742, 0.07478, 0.0755, 0.07635, 0.07701, 0.07746, 0.07864, 0.08069, 0.09966",\
                 "0.07393, 0.07415, 0.07476, 0.07557, 0.07632, 0.07721, 0.07746, 0.07819, 0.08033, 0.09966",\
                 "0.07389, 0.07411, 0.07469, 0.07546, 0.07623, 0.07694, 0.07744, 0.07817, 0.08056, 0.1017",\
                 "0.07372, 0.07395, 0.0746, 0.07528, 0.07606, 0.07668, 0.07728, 0.07801, 0.08083, 0.1052",\
                 "0.0735, 0.0738, 0.07442, 0.0751, 0.07588, 0.07676, 0.07708, 0.07785, 0.0819, 0.1116",\
                 "0.07329, 0.07354, 0.07411, 0.07489, 0.07579, 0.0764, 0.07687, 0.07821, 0.08309, 0.1219",\
                 "0.07325, 0.07344, 0.07408, 0.07478, 0.07569, 0.07647, 0.0768, 0.07791, 0.08615, 0.1397",\
                 "0.07325, 0.07349, 0.07401, 0.07476, 0.07572, 0.07641, 0.07717, 0.07816, 0.092, 0.1705",\
                 "0.07341, 0.07365, 0.0742, 0.07499, 0.07547, 0.07656, 0.07764, 0.0795, 0.1052, 0.2203",\
                 "0.07367, 0.07389, 0.07444, 0.07528, 0.07597, 0.07645, 0.07735, 0.08434, 0.134, 0.303");
        }
      }

      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.005331, 0.02053, 0.04957, 0.0948, 0.1583, 0.2418, 0.347, 0.4754, 0.6285");
          values("0.06235, 0.06251, 0.06301, 0.06365, 0.06422, 0.06462, 0.06489, 0.06506, 0.06518, 0.06525",\
                 "0.06235, 0.06251, 0.063, 0.06363, 0.06422, 0.06461, 0.06488, 0.06505, 0.06517, 0.06524",\
                 "0.06229, 0.06244, 0.06295, 0.06359, 0.06416, 0.06456, 0.06482, 0.065, 0.06512, 0.06519",\
                 "0.06208, 0.06223, 0.06274, 0.06337, 0.06394, 0.06434, 0.06461, 0.06478, 0.06489, 0.06498",\
                 "0.06182, 0.06199, 0.06248, 0.06311, 0.06368, 0.06408, 0.06434, 0.06452, 0.06464, 0.06472",\
                 "0.06163, 0.06178, 0.06224, 0.06289, 0.06345, 0.06386, 0.06413, 0.06431, 0.06444, 0.06452",\
                 "0.06155, 0.06169, 0.06217, 0.06281, 0.06336, 0.06377, 0.06405, 0.06423, 0.06435, 0.06444",\
                 "0.06163, 0.06176, 0.0622, 0.06281, 0.06339, 0.06381, 0.06411, 0.06429, 0.06441, 0.06451",\
                 "0.06185, 0.06195, 0.06238, 0.06302, 0.06357, 0.06398, 0.06426, 0.06447, 0.06461, 0.06469",\
                 "0.06222, 0.06235, 0.06274, 0.06332, 0.06387, 0.06431, 0.06461, 0.06482, 0.06494, 0.06505");
        }

        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.005331, 0.02053, 0.04957, 0.0948, 0.1583, 0.2418, 0.347, 0.4754, 0.6285");
          values("0.07693, 0.07711, 0.07762, 0.07845, 0.07932, 0.08005, 0.0807, 0.08133, 0.08391, 0.1028",\
                 "0.07693, 0.07709, 0.07763, 0.07841, 0.07925, 0.08, 0.08065, 0.08174, 0.08395, 0.1028",\
                 "0.07656, 0.07675, 0.07727, 0.07807, 0.07891, 0.07971, 0.08034, 0.0808, 0.08392, 0.1043",\
                 "0.07623, 0.07642, 0.07692, 0.07768, 0.07851, 0.0793, 0.07986, 0.08048, 0.08396, 0.1077",\
                 "0.07596, 0.07614, 0.07667, 0.07748, 0.07828, 0.07901, 0.07961, 0.08033, 0.08403, 0.1139",\
                 "0.07585, 0.07603, 0.07653, 0.07733, 0.07812, 0.07897, 0.07955, 0.08067, 0.08679, 0.1278",\
                 "0.07583, 0.076, 0.07659, 0.07733, 0.07812, 0.07894, 0.07966, 0.08045, 0.09158, 0.1544",\
                 "0.0759, 0.07607, 0.07655, 0.07728, 0.07801, 0.07886, 0.07949, 0.08154, 0.1022, 0.2024",\
                 "0.07622, 0.07638, 0.07681, 0.07744, 0.07826, 0.07921, 0.0799, 0.0856, 0.1288, 0.2874",\
                 "0.07661, 0.07676, 0.07717, 0.07775, 0.0784, 0.07919, 0.08111, 0.0989, 0.1969, 0.4186");
        }
      }

      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.005331, 0.02053, 0.04957, 0.0948, 0.1583, 0.2418, 0.347, 0.4754, 0.6285");
          values("0.09961, 0.09982, 0.1004, 0.1011, 0.1017, 0.102, 0.1022, 0.1024, 0.1025, 0.1025",\
                 "0.09965, 0.09987, 0.1005, 0.1012, 0.1017, 0.1021, 0.1023, 0.1024, 0.1025, 0.1026",\
                 "0.09957, 0.09974, 0.1004, 0.1011, 0.1016, 0.102, 0.1022, 0.1023, 0.1024, 0.1025",\
                 "0.09936, 0.09955, 0.1002, 0.1009, 0.1014, 0.1018, 0.102, 0.1021, 0.1022, 0.1023",\
                 "0.09921, 0.09939, 0.1, 0.1007, 0.1013, 0.1016, 0.1019, 0.102, 0.1021, 0.1021",\
                 "0.09918, 0.09936, 0.1, 0.1007, 0.1012, 0.1016, 0.1018, 0.1019, 0.102, 0.1021",\
                 "0.09921, 0.09942, 0.1, 0.1007, 0.1013, 0.1016, 0.1019, 0.102, 0.1021, 0.1022",\
                 "0.09942, 0.0996, 0.1002, 0.1009, 0.1015, 0.1018, 0.102, 0.1022, 0.1023, 0.1023",\
                 "0.09973, 0.09997, 0.1006, 0.1012, 0.1018, 0.1022, 0.1024, 0.1025, 0.1026, 0.1027",\
                 "0.1002, 0.1004, 0.101, 0.1017, 0.1023, 0.1026, 0.1029, 0.103, 0.1031, 0.1031");
        }

        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.005331, 0.02053, 0.04957, 0.0948, 0.1583, 0.2418, 0.347, 0.4754, 0.6285");
          values("0.1005, 0.1007, 0.1014, 0.1021, 0.1029, 0.1035, 0.104, 0.1052, 0.1082, 0.1358",\
                 "0.1003, 0.1005, 0.1011, 0.1019, 0.1027, 0.1034, 0.1039, 0.1047, 0.1083, 0.1364",\
                 "0.1001, 0.1004, 0.1009, 0.1017, 0.1024, 0.1034, 0.1036, 0.1044, 0.1081, 0.1382",\
                 "0.09993, 0.1002, 0.1008, 0.1016, 0.1025, 0.103, 0.1036, 0.1047, 0.1093, 0.1445",\
                 "0.09986, 0.1001, 0.1007, 0.1014, 0.1022, 0.1029, 0.1037, 0.1044, 0.1107, 0.1554",\
                 "0.09983, 0.1, 0.1006, 0.1014, 0.1022, 0.1029, 0.1034, 0.1047, 0.1146, 0.1751",\
                 "0.09984, 0.1001, 0.1006, 0.1014, 0.1022, 0.1029, 0.1035, 0.1051, 0.1223, 0.2117",\
                 "0.1, 0.1002, 0.1009, 0.1016, 0.1024, 0.1031, 0.1036, 0.1075, 0.1406, 0.2749",\
                 "0.1003, 0.1005, 0.1012, 0.1019, 0.1028, 0.1035, 0.1042, 0.1146, 0.1841, 0.3795",\
                 "0.1007, 0.101, 0.1016, 0.1023, 0.1031, 0.104, 0.107, 0.1409, 0.2809, 0.514");
        }
      }

      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.005331, 0.02053, 0.04957, 0.0948, 0.1583, 0.2418, 0.347, 0.4754, 0.6285");
          values("0.08891, 0.08906, 0.08957, 0.09023, 0.09078, 0.09118, 0.09144, 0.09161, 0.09172, 0.09181",\
                 "0.0887, 0.08887, 0.08938, 0.09003, 0.09059, 0.091, 0.09126, 0.09143, 0.09154, 0.09162",\
                 "0.08847, 0.08865, 0.08915, 0.0898, 0.09037, 0.09076, 0.09103, 0.0912, 0.09131, 0.09138",\
                 "0.08836, 0.0885, 0.089, 0.08966, 0.09022, 0.09062, 0.09089, 0.09106, 0.09116, 0.09124",\
                 "0.08826, 0.08839, 0.08889, 0.08956, 0.09012, 0.09053, 0.0908, 0.09097, 0.09108, 0.09115",\
                 "0.08819, 0.08834, 0.08885, 0.08952, 0.09007, 0.09048, 0.09074, 0.09091, 0.09102, 0.0911",\
                 "0.08826, 0.08844, 0.08893, 0.08959, 0.09016, 0.09055, 0.09081, 0.09098, 0.09109, 0.09117",\
                 "0.08844, 0.0886, 0.08909, 0.08975, 0.09032, 0.09071, 0.09097, 0.09113, 0.09124, 0.09133",\
                 "0.08874, 0.08887, 0.0894, 0.09004, 0.09062, 0.09103, 0.09127, 0.09144, 0.09155, 0.09162",\
                 "0.08918, 0.0893, 0.08982, 0.09048, 0.09104, 0.09145, 0.09171, 0.09188, 0.09199, 0.09203");
        }

        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.005331, 0.02053, 0.04957, 0.0948, 0.1583, 0.2418, 0.347, 0.4754, 0.6285");
          values("0.07758, 0.07778, 0.0783, 0.07899, 0.0799, 0.08061, 0.08121, 0.0819, 0.08486, 0.1058",\
                 "0.07762, 0.07785, 0.07837, 0.07912, 0.0799, 0.08068, 0.08128, 0.08185, 0.08492, 0.1057",\
                 "0.07754, 0.07773, 0.07825, 0.07903, 0.07986, 0.08068, 0.08131, 0.08177, 0.08513, 0.1085",\
                 "0.07733, 0.07753, 0.07803, 0.07879, 0.07963, 0.08036, 0.08094, 0.0817, 0.08501, 0.1111",\
                 "0.0772, 0.0774, 0.07789, 0.0787, 0.0795, 0.0803, 0.08077, 0.08143, 0.08556, 0.1169",\
                 "0.07715, 0.07737, 0.0779, 0.07863, 0.07945, 0.08021, 0.08079, 0.08159, 0.08678, 0.1266",\
                 "0.0772, 0.07739, 0.07786, 0.07876, 0.07956, 0.08032, 0.08083, 0.08182, 0.08953, 0.1416",\
                 "0.07739, 0.07758, 0.07804, 0.07881, 0.07972, 0.0807, 0.08093, 0.08207, 0.09482, 0.1663",\
                 "0.07773, 0.07792, 0.07848, 0.0791, 0.07979, 0.08068, 0.08198, 0.08361, 0.1048, 0.2073",\
                 "0.07819, 0.0784, 0.07893, 0.07962, 0.08046, 0.0807, 0.08157, 0.0873, 0.1253, 0.2703");
        }
      }

      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.005331, 0.02053, 0.04957, 0.0948, 0.1583, 0.2418, 0.347, 0.4754, 0.6285");
          values("0.1018, 0.102, 0.1026, 0.1033, 0.1038, 0.1042, 0.1044, 0.1045, 0.1046, 0.1047",\
                 "0.1016, 0.1018, 0.1024, 0.1031, 0.1036, 0.104, 0.1042, 0.1044, 0.1045, 0.1045",\
                 "0.1014, 0.1016, 0.1022, 0.1029, 0.1035, 0.1038, 0.104, 0.1042, 0.1042, 0.1043",\
                 "0.1012, 0.1014, 0.102, 0.1027, 0.1032, 0.1036, 0.1038, 0.1039, 0.104, 0.1041",\
                 "0.101, 0.1012, 0.1018, 0.1025, 0.1031, 0.1034, 0.1036, 0.1038, 0.1039, 0.1039",\
                 "0.101, 0.1012, 0.1018, 0.1025, 0.103, 0.1034, 0.1036, 0.1037, 0.1038, 0.1039",\
                 "0.101, 0.1012, 0.1018, 0.1025, 0.1031, 0.1034, 0.1036, 0.1038, 0.1039, 0.1039",\
                 "0.1012, 0.1014, 0.102, 0.1027, 0.1032, 0.1036, 0.1038, 0.104, 0.104, 0.1041",\
                 "0.1015, 0.1016, 0.1023, 0.103, 0.1035, 0.1039, 0.1041, 0.1042, 0.1043, 0.1044",\
                 "0.1019, 0.1021, 0.1027, 0.1034, 0.1039, 0.1043, 0.1045, 0.1046, 0.1047, 0.1047");
        }

        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.005331, 0.02053, 0.04957, 0.0948, 0.1583, 0.2418, 0.347, 0.4754, 0.6285");
          values("0.07481, 0.07506, 0.07566, 0.07635, 0.07718, 0.07786, 0.07846, 0.0794, 0.08152, 0.1001",\
                 "0.07484, 0.07511, 0.07573, 0.07649, 0.07731, 0.07816, 0.07851, 0.07919, 0.08143, 0.1015",\
                 "0.07486, 0.07507, 0.07571, 0.07649, 0.07726, 0.07815, 0.07849, 0.07917, 0.08152, 0.1028",\
                 "0.07471, 0.0749, 0.07552, 0.07629, 0.07724, 0.07777, 0.07829, 0.07902, 0.08205, 0.1062",\
                 "0.07451, 0.07477, 0.07538, 0.07617, 0.07691, 0.07779, 0.07811, 0.07884, 0.08258, 0.1121",\
                 "0.07426, 0.07449, 0.07518, 0.0759, 0.07684, 0.07755, 0.0779, 0.07868, 0.08376, 0.1215",\
                 "0.07413, 0.07437, 0.07491, 0.07577, 0.07654, 0.07721, 0.07808, 0.07902, 0.08694, 0.139",\
                 "0.07409, 0.07429, 0.0748, 0.07557, 0.07659, 0.07739, 0.07759, 0.07897, 0.09242, 0.1673",\
                 "0.07412, 0.07429, 0.07487, 0.0757, 0.07628, 0.07721, 0.07823, 0.08046, 0.1044, 0.2169",\
                 "0.07426, 0.07451, 0.07504, 0.0759, 0.07639, 0.07714, 0.07787, 0.08443, 0.1318, 0.2959");
        }
      }

      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.005331, 0.02053, 0.04957, 0.0948, 0.1583, 0.2418, 0.347, 0.4754, 0.6285");
          values("0.06323, 0.06336, 0.06387, 0.06452, 0.0651, 0.06549, 0.06575, 0.06593, 0.06604, 0.06612",\
                 "0.06327, 0.06342, 0.06391, 0.06457, 0.06513, 0.06553, 0.06579, 0.06597, 0.06608, 0.06616",\
                 "0.06326, 0.06341, 0.06393, 0.06457, 0.06513, 0.06553, 0.0658, 0.06597, 0.06609, 0.06616",\
                 "0.06308, 0.06324, 0.06375, 0.06439, 0.06497, 0.06536, 0.06562, 0.06579, 0.06591, 0.06598",\
                 "0.06285, 0.06298, 0.0635, 0.06414, 0.06471, 0.06511, 0.06538, 0.06555, 0.06567, 0.06574",\
                 "0.06262, 0.06276, 0.06324, 0.0639, 0.06446, 0.06487, 0.06514, 0.06531, 0.06543, 0.06551",\
                 "0.06245, 0.06258, 0.06307, 0.06371, 0.06428, 0.06469, 0.06495, 0.06514, 0.06526, 0.06535",\
                 "0.06243, 0.06254, 0.06302, 0.06365, 0.0642, 0.06462, 0.0649, 0.06508, 0.0652, 0.06529",\
                 "0.0625, 0.06261, 0.06308, 0.06369, 0.06425, 0.06467, 0.06494, 0.06515, 0.06528, 0.06537",\
                 "0.06269, 0.06281, 0.06327, 0.06389, 0.06441, 0.06484, 0.06512, 0.06533, 0.06545, 0.06555");
        }

        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.005331, 0.02053, 0.04957, 0.0948, 0.1583, 0.2418, 0.347, 0.4754, 0.6285");
          values("0.07966, 0.07983, 0.08039, 0.08113, 0.08191, 0.0827, 0.08333, 0.08381, 0.08673, 0.1067",\
                 "0.07951, 0.07967, 0.08017, 0.08097, 0.08184, 0.0825, 0.08322, 0.0837, 0.08657, 0.1058",\
                 "0.0793, 0.07945, 0.07996, 0.08075, 0.08159, 0.08234, 0.08299, 0.08404, 0.08658, 0.1078",\
                 "0.07906, 0.07927, 0.07977, 0.08052, 0.08143, 0.08209, 0.08267, 0.08323, 0.08643, 0.1113",\
                 "0.07892, 0.07909, 0.07965, 0.08038, 0.08118, 0.08194, 0.08258, 0.08316, 0.08733, 0.1195",\
                 "0.07883, 0.07909, 0.07952, 0.0803, 0.0811, 0.08185, 0.08241, 0.08373, 0.08938, 0.1329",\
                 "0.07884, 0.07901, 0.07957, 0.08023, 0.08105, 0.08182, 0.08237, 0.08347, 0.09423, 0.1607",\
                 "0.07891, 0.07913, 0.07957, 0.08039, 0.08119, 0.08192, 0.08248, 0.0846, 0.1065, 0.2121",\
                 "0.07914, 0.07934, 0.07977, 0.08043, 0.08127, 0.08225, 0.0829, 0.08864, 0.137, 0.3031",\
                 "0.07955, 0.07969, 0.08011, 0.08059, 0.08137, 0.0823, 0.08421, 0.1045, 0.2114, 0.4376");
        }
      }

      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.005331, 0.02053, 0.04957, 0.0948, 0.1583, 0.2418, 0.347, 0.4754, 0.6285");
          values("0.06535, 0.0655, 0.06602, 0.06667, 0.06721, 0.0676, 0.06785, 0.06802, 0.06814, 0.06822",\
                 "0.06534, 0.06551, 0.06603, 0.06666, 0.06721, 0.06759, 0.06785, 0.06802, 0.06813, 0.06821",\
                 "0.06483, 0.06498, 0.06551, 0.06614, 0.0667, 0.06708, 0.06734, 0.06751, 0.06762, 0.0677",\
                 "0.06384, 0.06398, 0.06451, 0.06515, 0.06571, 0.0661, 0.06635, 0.06652, 0.06664, 0.06672",\
                 "0.0631, 0.06326, 0.06378, 0.06445, 0.06502, 0.0654, 0.06565, 0.06582, 0.06593, 0.06601",\
                 "0.06265, 0.06281, 0.06336, 0.064, 0.06458, 0.06495, 0.06519, 0.06535, 0.06547, 0.06554",\
                 "0.06233, 0.06249, 0.06304, 0.06375, 0.06431, 0.06468, 0.06491, 0.06508, 0.06518, 0.06524",\
                 "0.06229, 0.06246, 0.06302, 0.06368, 0.06426, 0.06461, 0.06486, 0.065, 0.06509, 0.06516",\
                 "0.06237, 0.06258, 0.06313, 0.06379, 0.06437, 0.06471, 0.06496, 0.0651, 0.06523, 0.06531",\
                 "0.06264, 0.06279, 0.06341, 0.06406, 0.06459, 0.06498, 0.06522, 0.06538, 0.06548, 0.06556");
        }

        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.005331, 0.02053, 0.04957, 0.0948, 0.1583, 0.2418, 0.347, 0.4754, 0.6285");
          values("0.07812, 0.07836, 0.07903, 0.07973, 0.08057, 0.08142, 0.08168, 0.0823, 0.0842, 0.1001",\
                 "0.078, 0.07824, 0.0788, 0.07958, 0.08037, 0.08102, 0.08155, 0.08217, 0.084, 0.1004",\
                 "0.07767, 0.07793, 0.07856, 0.07926, 0.08012, 0.08066, 0.08121, 0.08181, 0.08401, 0.102",\
                 "0.07735, 0.07754, 0.07821, 0.07895, 0.07976, 0.08061, 0.0813, 0.0816, 0.08388, 0.1043",\
                 "0.07669, 0.07691, 0.07756, 0.07823, 0.07918, 0.07996, 0.0802, 0.08088, 0.08404, 0.1096",\
                 "0.07611, 0.07629, 0.0769, 0.07766, 0.07848, 0.07931, 0.07979, 0.08089, 0.08494, 0.1194",\
                 "0.07566, 0.07581, 0.07638, 0.07726, 0.07797, 0.07877, 0.0793, 0.08024, 0.08771, 0.1374",\
                 "0.07536, 0.07556, 0.07606, 0.07681, 0.07774, 0.07841, 0.07921, 0.08019, 0.09417, 0.1714",\
                 "0.07527, 0.07548, 0.07606, 0.0767, 0.07727, 0.07834, 0.07908, 0.08177, 0.1098, 0.2336",\
                 "0.07538, 0.07553, 0.07612, 0.07679, 0.07736, 0.07784, 0.07931, 0.08862, 0.1515, 0.3399");
        }
      }

      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.005331, 0.02053, 0.04957, 0.0948, 0.1583, 0.2418, 0.347, 0.4754, 0.6285");
          values("0.05781, 0.05801, 0.05862, 0.05935, 0.05989, 0.06023, 0.06044, 0.06058, 0.06067, 0.06073",\
                 "0.0576, 0.05782, 0.05843, 0.05917, 0.05972, 0.06006, 0.06026, 0.0604, 0.06049, 0.06055",\
                 "0.05676, 0.05696, 0.05761, 0.05834, 0.05888, 0.05922, 0.05943, 0.05957, 0.05965, 0.05971",\
                 "0.05606, 0.05625, 0.05685, 0.05754, 0.05811, 0.05846, 0.0587, 0.05884, 0.05895, 0.05902",\
                 "0.05577, 0.05591, 0.0564, 0.057, 0.05758, 0.05798, 0.05826, 0.05845, 0.05859, 0.05866",\
                 "0.05584, 0.05593, 0.05625, 0.05681, 0.05735, 0.05779, 0.0581, 0.05833, 0.05848, 0.05858",\
                 "0.05615, 0.05617, 0.05645, 0.05685, 0.05738, 0.0578, 0.05814, 0.05838, 0.05856, 0.05868",\
                 "0.05679, 0.05675, 0.05686, 0.05723, 0.05765, 0.05807, 0.05843, 0.05868, 0.05888, 0.05902",\
                 "0.05764, 0.05753, 0.05751, 0.05774, 0.05817, 0.05855, 0.0589, 0.05918, 0.05939, 0.05954",\
                 "0.05875, 0.05854, 0.05844, 0.05863, 0.0589, 0.05931, 0.0596, 0.05989, 0.06012, 0.06027");
        }

        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.005331, 0.02053, 0.04957, 0.0948, 0.1583, 0.2418, 0.347, 0.4754, 0.6285");
          values("0.03195, 0.03222, 0.03303, 0.03407, 0.03484, 0.03557, 0.03591, 0.03698, 0.03806, 0.04974",\
                 "0.03188, 0.03216, 0.03298, 0.03395, 0.03478, 0.03549, 0.03584, 0.0368, 0.03795, 0.04942",\
                 "0.03164, 0.03193, 0.03267, 0.03362, 0.03444, 0.03513, 0.03568, 0.03614, 0.03798, 0.05041",\
                 "0.03112, 0.03133, 0.03194, 0.03281, 0.03363, 0.03438, 0.03501, 0.03571, 0.03723, 0.05225",\
                 "0.0307, 0.03087, 0.03139, 0.03206, 0.03304, 0.03368, 0.03445, 0.0349, 0.03743, 0.05541",\
                 "0.03052, 0.03065, 0.03096, 0.03166, 0.03246, 0.03312, 0.03391, 0.03481, 0.03748, 0.06109",\
                 "0.03061, 0.0307, 0.03094, 0.03143, 0.03235, 0.03326, 0.03373, 0.03423, 0.03898, 0.071",\
                 "0.03091, 0.03102, 0.0312, 0.03161, 0.0321, 0.03292, 0.03413, 0.03494, 0.04095, 0.08676",\
                 "0.03157, 0.03165, 0.03172, 0.03211, 0.0325, 0.03294, 0.03402, 0.03623, 0.04749, 0.1166",\
                 "0.03245, 0.03244, 0.03262, 0.03287, 0.03323, 0.03373, 0.03421, 0.03721, 0.06094, 0.1701");
        }
      }

      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.005331, 0.02053, 0.04957, 0.0948, 0.1583, 0.2418, 0.347, 0.4754, 0.6285");
          values("0.05781, 0.05801, 0.05862, 0.05934, 0.05989, 0.06023, 0.06044, 0.06058, 0.06067, 0.06073",\
                 "0.0576, 0.05782, 0.05845, 0.05916, 0.05972, 0.06006, 0.06026, 0.0604, 0.06048, 0.06054",\
                 "0.05675, 0.05696, 0.05762, 0.05833, 0.05889, 0.05922, 0.05943, 0.05956, 0.05965, 0.05971",\
                 "0.05606, 0.05628, 0.05684, 0.05753, 0.0581, 0.05847, 0.05871, 0.05884, 0.05896, 0.05901",\
                 "0.05574, 0.0559, 0.05637, 0.057, 0.05756, 0.058, 0.05826, 0.05845, 0.05857, 0.05866",\
                 "0.05583, 0.05591, 0.05626, 0.05681, 0.05735, 0.05779, 0.0581, 0.05832, 0.05848, 0.05858",\
                 "0.05616, 0.05616, 0.05639, 0.05687, 0.05735, 0.0578, 0.05815, 0.05839, 0.05856, 0.05869",\
                 "0.05679, 0.05674, 0.05686, 0.05723, 0.05765, 0.05808, 0.05843, 0.05868, 0.05888, 0.05902",\
                 "0.05764, 0.05753, 0.05749, 0.05774, 0.05817, 0.05855, 0.0589, 0.05918, 0.05939, 0.05954",\
                 "0.05875, 0.05855, 0.05843, 0.05863, 0.05889, 0.05931, 0.05962, 0.0599, 0.0601, 0.06028");
        }

        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.005331, 0.02053, 0.04957, 0.0948, 0.1583, 0.2418, 0.347, 0.4754, 0.6285");
          values("0.03195, 0.03223, 0.03303, 0.03407, 0.03484, 0.03557, 0.03591, 0.037, 0.03806, 0.04974",\
                 "0.03192, 0.0322, 0.03304, 0.03396, 0.03478, 0.03549, 0.03584, 0.0368, 0.03795, 0.04942",\
                 "0.03162, 0.0319, 0.03272, 0.03362, 0.03444, 0.03513, 0.03568, 0.03664, 0.03778, 0.05041",\
                 "0.03115, 0.03133, 0.03196, 0.03283, 0.03361, 0.03447, 0.03505, 0.03574, 0.03765, 0.05225",\
                 "0.03069, 0.03093, 0.0314, 0.03206, 0.03287, 0.03375, 0.0344, 0.03495, 0.03704, 0.05577",\
                 "0.03054, 0.03065, 0.03099, 0.03175, 0.0325, 0.03315, 0.03393, 0.03508, 0.03753, 0.06132",\
                 "0.03061, 0.0307, 0.03094, 0.03143, 0.03235, 0.03326, 0.03372, 0.03423, 0.03851, 0.071",\
                 "0.031, 0.03106, 0.0312, 0.0317, 0.03203, 0.03292, 0.03413, 0.0346, 0.04095, 0.08788",\
                 "0.03162, 0.03165, 0.03177, 0.03213, 0.03244, 0.03308, 0.03413, 0.03609, 0.04775, 0.1166",\
                 "0.03247, 0.03249, 0.03264, 0.03279, 0.03327, 0.03373, 0.03407, 0.03736, 0.06107, 0.1701");
        }
      }

      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.005331, 0.02053, 0.04957, 0.0948, 0.1583, 0.2418, 0.347, 0.4754, 0.6285");
          values("0.06535, 0.0655, 0.06601, 0.06666, 0.0672, 0.06758, 0.06784, 0.06802, 0.06813, 0.06821",\
                 "0.06533, 0.06549, 0.066, 0.06666, 0.0672, 0.06758, 0.06784, 0.06801, 0.06813, 0.0682",\
                 "0.06481, 0.06498, 0.06549, 0.06613, 0.06668, 0.06707, 0.06733, 0.0675, 0.06761, 0.0677",\
                 "0.06383, 0.06397, 0.06449, 0.06514, 0.06569, 0.06608, 0.06634, 0.06651, 0.06662, 0.0667",\
                 "0.06309, 0.06325, 0.06376, 0.06444, 0.065, 0.06539, 0.06564, 0.0658, 0.06592, 0.06599",\
                 "0.06262, 0.06277, 0.06336, 0.06398, 0.06455, 0.06493, 0.06518, 0.06534, 0.06545, 0.06553",\
                 "0.06233, 0.06252, 0.06305, 0.06374, 0.0643, 0.06467, 0.0649, 0.06506, 0.06517, 0.06523",\
                 "0.06226, 0.06241, 0.06297, 0.06369, 0.06425, 0.06458, 0.06485, 0.065, 0.06509, 0.06518",\
                 "0.06238, 0.06253, 0.06312, 0.06378, 0.06433, 0.06471, 0.06496, 0.0651, 0.06521, 0.06528",\
                 "0.06267, 0.06285, 0.06335, 0.06406, 0.06461, 0.06497, 0.06522, 0.06536, 0.06548, 0.06556");
        }

        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.005331, 0.02053, 0.04957, 0.0948, 0.1583, 0.2418, 0.347, 0.4754, 0.6285");
          values("0.07811, 0.07837, 0.07894, 0.07973, 0.0805, 0.08139, 0.08175, 0.08232, 0.08418, 0.1003",\
                 "0.07796, 0.07822, 0.07879, 0.07953, 0.0805, 0.08097, 0.08152, 0.08221, 0.08416, 0.1004",\
                 "0.07768, 0.07794, 0.07852, 0.07932, 0.08008, 0.08095, 0.08123, 0.08187, 0.08399, 0.1019",\
                 "0.07734, 0.07756, 0.07818, 0.07896, 0.07974, 0.08059, 0.08094, 0.08165, 0.08388, 0.1043",\
                 "0.07668, 0.07691, 0.07761, 0.07824, 0.07906, 0.07995, 0.08035, 0.0809, 0.08402, 0.1097",\
                 "0.07608, 0.07636, 0.07691, 0.07766, 0.07846, 0.07908, 0.07963, 0.08061, 0.08495, 0.1203",\
                 "0.07562, 0.07577, 0.07643, 0.07728, 0.07799, 0.07887, 0.07946, 0.07994, 0.08775, 0.1374",\
                 "0.07534, 0.07559, 0.07608, 0.07683, 0.07774, 0.07845, 0.07926, 0.08073, 0.09416, 0.1721",\
                 "0.07527, 0.07546, 0.076, 0.07663, 0.07729, 0.07834, 0.0791, 0.08181, 0.11, 0.2334",\
                 "0.07537, 0.07554, 0.07611, 0.07671, 0.07745, 0.0778, 0.07952, 0.08891, 0.1515, 0.3402");
        }
      }

      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.005331, 0.02053, 0.04957, 0.0948, 0.1583, 0.2418, 0.347, 0.4754, 0.6285");
          values("3.668, 3.727, 3.879, 4.089, 4.35, 4.668, 5.056, 5.528, 6.096, 6.77",\
                 "3.699, 3.758, 3.91, 4.121, 4.382, 4.7, 5.088, 5.559, 6.127, 6.802",\
                 "3.791, 3.85, 4.003, 4.213, 4.474, 4.792, 5.179, 5.651, 6.219, 6.893",\
                 "3.938, 3.996, 4.148, 4.359, 4.62, 4.938, 5.326, 5.797, 6.365, 7.04",\
                 "4.078, 4.137, 4.289, 4.5, 4.761, 5.078, 5.466, 5.937, 6.505, 7.18",\
                 "4.191, 4.249, 4.402, 4.613, 4.874, 5.191, 5.579, 6.051, 6.619, 7.293",\
                 "4.266, 4.324, 4.476, 4.688, 4.948, 5.266, 5.654, 6.125, 6.693, 7.367",\
                 "4.3, 4.358, 4.51, 4.721, 4.981, 5.299, 5.687, 6.158, 6.726, 7.401",\
                 "4.287, 4.346, 4.498, 4.708, 4.97, 5.288, 5.675, 6.147, 6.715, 7.389",\
                 "4.223, 4.281, 4.434, 4.644, 4.905, 5.223, 5.611, 6.082, 6.65, 7.325");
        }

        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.005331, 0.02053, 0.04957, 0.0948, 0.1583, 0.2418, 0.347, 0.4754, 0.6285");
          values("3.868, 3.924, 4.102, 4.428, 4.93, 5.632, 6.552, 7.71, 9.124, 10.81",\
                 "3.894, 3.95, 4.128, 4.454, 4.957, 5.658, 6.578, 7.736, 9.15, 10.83",\
                 "3.993, 4.049, 4.227, 4.553, 5.056, 5.756, 6.678, 7.835, 9.247, 10.93",\
                 "4.175, 4.231, 4.408, 4.735, 5.237, 5.938, 6.859, 8.017, 9.43, 11.11",\
                 "4.448, 4.504, 4.681, 5.008, 5.51, 6.211, 7.132, 8.289, 9.703, 11.38",\
                 "4.82, 4.876, 5.054, 5.38, 5.883, 6.584, 7.504, 8.662, 10.07, 11.76",\
                 "5.271, 5.328, 5.505, 5.831, 6.334, 7.035, 7.955, 9.113, 10.53, 12.21",\
                 "5.779, 5.835, 6.013, 6.339, 6.842, 7.542, 8.462, 9.621, 11.03, 12.72",\
                 "6.349, 6.405, 6.583, 6.909, 7.411, 8.112, 9.033, 10.19, 11.6, 13.29",\
                 "6.986, 7.042, 7.22, 7.546, 8.048, 8.749, 9.669, 10.83, 12.24, 13.92");
        }

        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.005331, 0.02053, 0.04957, 0.0948, 0.1583, 0.2418, 0.347, 0.4754, 0.6285");
          values("0.2914, 0.3368, 0.47, 0.6842, 0.9928, 1.424, 2.004, 2.761, 3.703, 4.842",\
                 "0.2914, 0.3372, 0.4694, 0.6838, 0.9932, 1.422, 2.002, 2.761, 3.706, 4.846",\
                 "0.2916, 0.337, 0.4696, 0.6844, 0.993, 1.423, 2.004, 2.759, 3.706, 4.84",\
                 "0.2916, 0.3372, 0.4698, 0.6844, 0.9938, 1.423, 2.004, 2.761, 3.706, 4.847",\
                 "0.2914, 0.3376, 0.4696, 0.685, 0.9938, 1.421, 2.004, 2.761, 3.706, 4.841",\
                 "0.2922, 0.337, 0.4694, 0.6844, 0.9936, 1.422, 2.005, 2.76, 3.706, 4.843",\
                 "0.2914, 0.3374, 0.47, 0.6844, 0.9942, 1.422, 2.004, 2.759, 3.7, 4.843",\
                 "0.292, 0.337, 0.4698, 0.6842, 0.9924, 1.423, 2.002, 2.761, 3.706, 4.844",\
                 "0.2916, 0.3366, 0.4698, 0.685, 0.994, 1.424, 2.002, 2.758, 3.7, 4.838",\
                 "0.292, 0.338, 0.47, 0.684, 0.994, 1.424, 2.004, 2.758, 3.706, 4.84");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.005331, 0.02053, 0.04957, 0.0948, 0.1583, 0.2418, 0.347, 0.4754, 0.6285");
          values("0.2262, 0.2982, 0.5682, 1.109, 1.959, 3.152, 4.724, 6.699, 9.116, 12.01",\
                 "0.226, 0.2982, 0.5678, 1.109, 1.959, 3.149, 4.724, 6.705, 9.126, 12",\
                 "0.226, 0.298, 0.5688, 1.11, 1.958, 3.151, 4.72, 6.705, 9.128, 12.01",\
                 "0.2262, 0.2982, 0.5688, 1.11, 1.958, 3.152, 4.718, 6.703, 9.124, 12.01",\
                 "0.2264, 0.2984, 0.5678, 1.108, 1.959, 3.148, 4.724, 6.698, 9.119, 12.01",\
                 "0.2262, 0.2986, 0.5678, 1.11, 1.958, 3.15, 4.723, 6.703, 9.125, 12.01",\
                 "0.2264, 0.2982, 0.5686, 1.11, 1.957, 3.152, 4.721, 6.704, 9.128, 12.01",\
                 "0.2258, 0.2982, 0.5688, 1.108, 1.958, 3.152, 4.72, 6.704, 9.12, 12.01",\
                 "0.226, 0.298, 0.57, 1.108, 1.958, 3.148, 4.722, 6.702, 9.128, 12.01",\
                 "0.226, 0.298, 0.568, 1.11, 1.958, 3.146, 4.716, 6.692, 9.12, 12");
        }
      }

      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.005331, 0.02053, 0.04957, 0.0948, 0.1583, 0.2418, 0.347, 0.4754, 0.6285");
          values("1.86, 1.92, 2.076, 2.29, 2.554, 2.875, 3.264, 3.737, 4.306, 4.981",\
                 "1.887, 1.947, 2.102, 2.316, 2.58, 2.901, 3.29, 3.764, 4.332, 5.007",\
                 "1.981, 2.041, 2.196, 2.41, 2.674, 2.995, 3.384, 3.857, 4.426, 5.101",\
                 "2.157, 2.217, 2.373, 2.587, 2.851, 3.171, 3.561, 4.034, 4.603, 5.278",\
                 "2.405, 2.465, 2.621, 2.835, 3.099, 3.419, 3.809, 4.282, 4.851, 5.526",\
                 "2.66, 2.72, 2.876, 3.09, 3.354, 3.675, 4.064, 4.537, 5.106, 5.781",\
                 "2.897, 2.958, 3.113, 3.327, 3.592, 3.913, 4.303, 4.775, 5.344, 6.019",\
                 "3.113, 3.173, 3.329, 3.543, 3.807, 4.128, 4.518, 4.991, 5.56, 6.234",\
                 "3.301, 3.361, 3.517, 3.732, 3.996, 4.316, 4.706, 5.179, 5.748, 6.423",\
                 "3.458, 3.518, 3.674, 3.889, 4.154, 4.475, 4.865, 5.338, 5.907, 6.582");
        }

        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.005331, 0.02053, 0.04957, 0.0948, 0.1583, 0.2418, 0.347, 0.4754, 0.6285");
          values("2.334, 2.401, 2.595, 2.928, 3.432, 4.133, 5.053, 6.211, 7.624, 9.307",\
                 "2.365, 2.431, 2.626, 2.958, 3.462, 4.163, 5.084, 6.241, 7.653, 9.336",\
                 "2.46, 2.526, 2.721, 3.053, 3.557, 4.258, 5.178, 6.336, 7.749, 9.431",\
                 "2.658, 2.725, 2.919, 3.252, 3.755, 4.457, 5.378, 6.535, 7.947, 9.63",\
                 "2.987, 3.053, 3.248, 3.581, 4.084, 4.786, 5.706, 6.863, 8.276, 9.959",\
                 "3.459, 3.526, 3.72, 4.053, 4.556, 5.258, 6.178, 7.335, 8.749, 10.43",\
                 "4.054, 4.121, 4.316, 4.649, 5.152, 5.853, 6.774, 7.931, 9.344, 11.03",\
                 "4.706, 4.773, 4.969, 5.303, 5.806, 6.507, 7.427, 8.586, 9.998, 11.68",\
                 "5.392, 5.461, 5.659, 5.993, 6.496, 7.198, 8.118, 9.276, 10.69, 12.37",\
                 "6.113, 6.183, 6.382, 6.717, 7.221, 7.922, 8.843, 10, 11.41, 13.1");
        }

        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.005331, 0.02053, 0.04957, 0.0948, 0.1583, 0.2418, 0.347, 0.4754, 0.6285");
          values("0.3044, 0.3508, 0.4816, 0.6968, 1.006, 1.433, 2.013, 2.764, 3.708, 4.847",\
                 "0.3036, 0.3508, 0.4812, 0.6968, 1.006, 1.433, 2.013, 2.764, 3.709, 4.847",\
                 "0.3034, 0.3492, 0.4818, 0.6964, 1.006, 1.432, 2.012, 2.767, 3.711, 4.847",\
                 "0.3032, 0.3492, 0.4814, 0.6966, 1.003, 1.431, 2.013, 2.768, 3.71, 4.851",\
                 "0.304, 0.3486, 0.482, 0.6956, 1.005, 1.434, 2.012, 2.765, 3.71, 4.844",\
                 "0.304, 0.3496, 0.482, 0.6956, 1.005, 1.433, 2.013, 2.764, 3.708, 4.848",\
                 "0.305, 0.3524, 0.4824, 0.6968, 1.004, 1.433, 2.013, 2.768, 3.709, 4.852",\
                 "0.3052, 0.3508, 0.4824, 0.6972, 1.006, 1.434, 2.012, 2.766, 3.706, 4.849",\
                 "0.306, 0.3532, 0.4834, 0.6972, 1.005, 1.434, 2.011, 2.768, 3.708, 4.842",\
                 "0.308, 0.354, 0.486, 0.698, 1.008, 1.432, 2.012, 2.766, 3.706, 4.844");
        }

        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.005331, 0.02053, 0.04957, 0.0948, 0.1583, 0.2418, 0.347, 0.4754, 0.6285");
          values("0.2784, 0.3506, 0.6066, 1.127, 1.97, 3.162, 4.732, 6.706, 9.13, 12.02",\
                 "0.2786, 0.3506, 0.606, 1.127, 1.97, 3.162, 4.732, 6.71, 9.132, 12.01",\
                 "0.2786, 0.3508, 0.6066, 1.128, 1.97, 3.161, 4.729, 6.709, 9.128, 12.02",\
                 "0.2784, 0.3506, 0.607, 1.127, 1.969, 3.159, 4.729, 6.712, 9.131, 12.02",\
                 "0.2786, 0.3514, 0.6066, 1.128, 1.97, 3.161, 4.731, 6.712, 9.126, 12",\
                 "0.279, 0.3514, 0.6068, 1.128, 1.969, 3.162, 4.732, 6.711, 9.13, 12",\
                 "0.2804, 0.3522, 0.608, 1.128, 1.97, 3.162, 4.733, 6.703, 9.131, 12.02",\
                 "0.2858, 0.358, 0.6114, 1.129, 1.97, 3.163, 4.73, 6.712, 9.132, 12.02",\
                 "0.294, 0.364, 0.616, 1.13, 1.97, 3.162, 4.73, 6.71, 9.12, 12",\
                 "0.302, 0.372, 0.618, 1.132, 1.972, 3.164, 4.726, 6.702, 9.126, 12.01");
        }
      }

      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.005331, 0.02053, 0.04957, 0.0948, 0.1583, 0.2418, 0.347, 0.4754, 0.6285");
          values("3.668, 3.727, 3.879, 4.089, 4.35, 4.668, 5.056, 5.528, 6.096, 6.77",\
                 "3.699, 3.758, 3.91, 4.121, 4.382, 4.7, 5.088, 5.559, 6.127, 6.802",\
                 "3.791, 3.85, 4.003, 4.213, 4.474, 4.792, 5.179, 5.651, 6.219, 6.893",\
                 "3.938, 3.996, 4.148, 4.359, 4.62, 4.938, 5.326, 5.797, 6.365, 7.04",\
                 "4.078, 4.137, 4.289, 4.5, 4.761, 5.078, 5.466, 5.937, 6.505, 7.18",\
                 "4.191, 4.249, 4.402, 4.613, 4.874, 5.191, 5.579, 6.051, 6.619, 7.293",\
                 "4.266, 4.324, 4.476, 4.688, 4.948, 5.266, 5.654, 6.125, 6.693, 7.367",\
                 "4.3, 4.358, 4.51, 4.721, 4.981, 5.299, 5.687, 6.158, 6.726, 7.401",\
                 "4.287, 4.346, 4.498, 4.708, 4.97, 5.288, 5.675, 6.147, 6.715, 7.389",\
                 "4.223, 4.281, 4.434, 4.644, 4.905, 5.223, 5.611, 6.082, 6.65, 7.325");
        }

        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.005331, 0.02053, 0.04957, 0.0948, 0.1583, 0.2418, 0.347, 0.4754, 0.6285");
          values("3.868, 3.924, 4.102, 4.428, 4.93, 5.632, 6.552, 7.71, 9.124, 10.81",\
                 "3.894, 3.95, 4.128, 4.454, 4.957, 5.658, 6.578, 7.736, 9.15, 10.83",\
                 "3.993, 4.049, 4.227, 4.553, 5.056, 5.756, 6.678, 7.835, 9.247, 10.93",\
                 "4.175, 4.231, 4.408, 4.735, 5.237, 5.938, 6.859, 8.017, 9.43, 11.11",\
                 "4.448, 4.504, 4.681, 5.008, 5.51, 6.211, 7.132, 8.289, 9.703, 11.38",\
                 "4.82, 4.876, 5.054, 5.38, 5.883, 6.584, 7.504, 8.662, 10.07, 11.76",\
                 "5.271, 5.328, 5.505, 5.831, 6.334, 7.035, 7.955, 9.113, 10.53, 12.21",\
                 "5.779, 5.835, 6.013, 6.339, 6.842, 7.542, 8.462, 9.621, 11.03, 12.72",\
                 "6.349, 6.405, 6.583, 6.909, 7.411, 8.112, 9.033, 10.19, 11.6, 13.29",\
                 "6.986, 7.042, 7.22, 7.546, 8.048, 8.749, 9.669, 10.83, 12.24, 13.92");
        }

        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.005331, 0.02053, 0.04957, 0.0948, 0.1583, 0.2418, 0.347, 0.4754, 0.6285");
          values("0.3044, 0.3508, 0.4816, 0.6968, 1.006, 1.433, 2.013, 2.764, 3.708, 4.847",\
                 "0.3036, 0.3508, 0.4812, 0.6968, 1.006, 1.433, 2.013, 2.764, 3.709, 4.847",\
                 "0.3034, 0.3492, 0.4818, 0.6964, 1.006, 1.432, 2.012, 2.767, 3.711, 4.847",\
                 "0.3032, 0.3492, 0.4814, 0.6966, 1.003, 1.431, 2.013, 2.768, 3.71, 4.851",\
                 "0.304, 0.3486, 0.482, 0.6956, 1.005, 1.434, 2.012, 2.765, 3.71, 4.844",\
                 "0.304, 0.3496, 0.482, 0.6956, 1.005, 1.433, 2.013, 2.764, 3.708, 4.848",\
                 "0.305, 0.3524, 0.4824, 0.6968, 1.004, 1.433, 2.013, 2.768, 3.709, 4.852",\
                 "0.3052, 0.3508, 0.4824, 0.6972, 1.006, 1.434, 2.012, 2.766, 3.706, 4.849",\
                 "0.306, 0.3532, 0.4834, 0.6972, 1.005, 1.434, 2.011, 2.768, 3.708, 4.842",\
                 "0.308, 0.354, 0.486, 0.698, 1.008, 1.432, 2.012, 2.766, 3.706, 4.844");
        }

        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.005331, 0.02053, 0.04957, 0.0948, 0.1583, 0.2418, 0.347, 0.4754, 0.6285");
          values("0.2784, 0.3506, 0.6066, 1.127, 1.97, 3.162, 4.732, 6.706, 9.13, 12.02",\
                 "0.2786, 0.3506, 0.606, 1.127, 1.97, 3.162, 4.732, 6.71, 9.132, 12.01",\
                 "0.2786, 0.3508, 0.6066, 1.128, 1.97, 3.161, 4.729, 6.709, 9.128, 12.02",\
                 "0.2784, 0.3506, 0.607, 1.127, 1.969, 3.159, 4.729, 6.712, 9.131, 12.02",\
                 "0.2786, 0.3514, 0.6066, 1.128, 1.97, 3.161, 4.731, 6.712, 9.126, 12",\
                 "0.279, 0.3514, 0.6068, 1.128, 1.969, 3.162, 4.732, 6.711, 9.13, 12",\
                 "0.2804, 0.3522, 0.608, 1.128, 1.97, 3.162, 4.733, 6.703, 9.131, 12.02",\
                 "0.2858, 0.358, 0.6114, 1.129, 1.97, 3.163, 4.73, 6.712, 9.132, 12.02",\
                 "0.294, 0.364, 0.616, 1.13, 1.97, 3.162, 4.73, 6.71, 9.12, 12",\
                 "0.302, 0.372, 0.618, 1.132, 1.972, 3.164, 4.726, 6.702, 9.126, 12.01");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.005331, 0.02053, 0.04957, 0.0948, 0.1583, 0.2418, 0.347, 0.4754, 0.6285");
          values("3.299, 3.358, 3.514, 3.728, 3.992, 4.312, 4.701, 5.174, 5.743, 6.418",\
                 "3.324, 3.385, 3.54, 3.754, 4.018, 4.338, 4.727, 5.2, 5.769, 6.444",\
                 "3.424, 3.484, 3.639, 3.853, 4.117, 4.437, 4.826, 5.299, 5.868, 6.543",\
                 "3.605, 3.665, 3.821, 4.035, 4.299, 4.618, 5.008, 5.481, 6.05, 6.725",\
                 "3.878, 3.938, 4.093, 4.308, 4.571, 4.891, 5.281, 5.754, 6.323, 6.997",\
                 "4.251, 4.31, 4.466, 4.68, 4.944, 5.264, 5.653, 6.126, 6.695, 7.37",\
                 "4.701, 4.761, 4.917, 5.131, 5.394, 5.715, 6.104, 6.577, 7.146, 7.82",\
                 "5.208, 5.268, 5.424, 5.637, 5.901, 6.221, 6.611, 7.084, 7.653, 8.328",\
                 "5.778, 5.838, 5.993, 6.208, 6.471, 6.791, 7.181, 7.654, 8.222, 8.897",\
                 "6.414, 6.473, 6.63, 6.844, 7.107, 7.428, 7.817, 8.29, 8.859, 9.533");
        }

        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.005331, 0.02053, 0.04957, 0.0948, 0.1583, 0.2418, 0.347, 0.4754, 0.6285");
          values("2.903, 2.969, 3.164, 3.497, 4, 4.702, 5.622, 6.779, 8.192, 9.875",\
                 "2.934, 3, 3.195, 3.528, 4.031, 4.733, 5.653, 6.811, 8.223, 9.905",\
                 "3.027, 3.093, 3.288, 3.621, 4.124, 4.826, 5.746, 6.904, 8.316, 9.998",\
                 "3.174, 3.24, 3.435, 3.768, 4.271, 4.973, 5.893, 7.05, 8.462, 10.15",\
                 "3.315, 3.381, 3.576, 3.909, 4.412, 5.114, 6.034, 7.192, 8.604, 10.29",\
                 "3.428, 3.495, 3.689, 4.022, 4.526, 5.227, 6.147, 7.305, 8.718, 10.4",\
                 "3.502, 3.569, 3.764, 4.096, 4.6, 5.302, 6.222, 7.379, 8.791, 10.47",\
                 "3.536, 3.602, 3.798, 4.13, 4.634, 5.335, 6.255, 7.413, 8.824, 10.51",\
                 "3.524, 3.589, 3.785, 4.118, 4.621, 5.323, 6.243, 7.399, 8.812, 10.5",\
                 "3.459, 3.525, 3.72, 4.053, 4.557, 5.258, 6.179, 7.336, 8.748, 10.43");
        }

        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.005331, 0.02053, 0.04957, 0.0948, 0.1583, 0.2418, 0.347, 0.4754, 0.6285");
          values("0.3028, 0.35, 0.4804, 0.6946, 1.003, 1.431, 2.011, 2.767, 3.708, 4.845",\
                 "0.3024, 0.348, 0.4808, 0.6952, 1.002, 1.431, 2.01, 2.767, 3.71, 4.849",\
                 "0.3028, 0.3482, 0.4812, 0.696, 1.005, 1.432, 2.011, 2.766, 3.707, 4.843",\
                 "0.3028, 0.3478, 0.4804, 0.695, 1.004, 1.432, 2.011, 2.767, 3.709, 4.85",\
                 "0.3024, 0.348, 0.4808, 0.6952, 1.003, 1.431, 2.011, 2.767, 3.708, 4.851",\
                 "0.3028, 0.35, 0.4808, 0.6956, 1.004, 1.433, 2.01, 2.767, 3.708, 4.843",\
                 "0.3024, 0.3484, 0.4802, 0.6948, 1.005, 1.432, 2.011, 2.767, 3.708, 4.851",\
                 "0.3024, 0.348, 0.4808, 0.695, 1.003, 1.433, 2.01, 2.766, 3.712, 4.848",\
                 "0.302, 0.35, 0.48, 0.696, 1.006, 1.43, 2.01, 2.762, 3.71, 4.846",\
                 "0.302, 0.348, 0.48, 0.696, 1.004, 1.432, 2.01, 2.768, 3.706, 4.842");
        }

        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.005331, 0.02053, 0.04957, 0.0948, 0.1583, 0.2418, 0.347, 0.4754, 0.6285");
          values("0.2798, 0.3514, 0.6062, 1.128, 1.97, 3.159, 4.73, 6.713, 9.126, 12",\
                 "0.279, 0.3516, 0.6072, 1.128, 1.969, 3.158, 4.728, 6.712, 9.119, 12.01",\
                 "0.2794, 0.3514, 0.6068, 1.126, 1.969, 3.16, 4.728, 6.71, 9.127, 12.01",\
                 "0.279, 0.3512, 0.6074, 1.128, 1.969, 3.159, 4.73, 6.713, 9.127, 12",\
                 "0.2792, 0.3526, 0.6074, 1.128, 1.968, 3.158, 4.729, 6.713, 9.126, 12",\
                 "0.2794, 0.352, 0.6072, 1.128, 1.968, 3.159, 4.732, 6.705, 9.132, 12.02",\
                 "0.2798, 0.351, 0.6076, 1.127, 1.97, 3.161, 4.726, 6.712, 9.127, 12",\
                 "0.2786, 0.3512, 0.6076, 1.126, 1.967, 3.157, 4.732, 6.711, 9.13, 12.02",\
                 "0.2786, 0.3512, 0.607, 1.128, 1.967, 3.162, 4.724, 6.7, 9.118, 12.01",\
                 "0.278, 0.352, 0.606, 1.128, 1.968, 3.16, 4.73, 6.708, 9.112, 12");
        }
      }

      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.005331, 0.02053, 0.04957, 0.0948, 0.1583, 0.2418, 0.347, 0.4754, 0.6285");
          values("3.098, 3.157, 3.31, 3.52, 3.781, 4.099, 4.486, 4.958, 5.526, 6.2",\
                 "3.129, 3.187, 3.339, 3.55, 3.811, 4.129, 4.517, 4.987, 5.556, 6.23",\
                 "3.222, 3.281, 3.433, 3.644, 3.905, 4.223, 4.61, 5.082, 5.65, 6.324",\
                 "3.421, 3.479, 3.632, 3.843, 4.103, 4.421, 4.809, 5.281, 5.849, 6.523",\
                 "3.75, 3.809, 3.961, 4.172, 4.433, 4.75, 5.138, 5.609, 6.177, 6.852",\
                 "4.221, 4.28, 4.432, 4.643, 4.904, 5.222, 5.609, 6.081, 6.649, 7.323",\
                 "4.804, 4.863, 5.015, 5.226, 5.487, 5.805, 6.192, 6.664, 7.231, 7.905",\
                 "5.436, 5.494, 5.647, 5.857, 6.118, 6.436, 6.823, 7.295, 7.863, 8.537",\
                 "6.1, 6.158, 6.311, 6.522, 6.783, 7.101, 7.488, 7.959, 8.527, 9.201",\
                 "6.795, 6.854, 7.006, 7.217, 7.478, 7.795, 8.182, 8.653, 9.221, 9.895");
        }

        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.005331, 0.02053, 0.04957, 0.0948, 0.1583, 0.2418, 0.347, 0.4754, 0.6285");
          values("2.434, 2.489, 2.667, 2.993, 3.496, 4.197, 5.117, 6.275, 7.688, 9.372",\
                 "2.46, 2.516, 2.693, 3.019, 3.522, 4.223, 5.143, 6.301, 7.715, 9.396",\
                 "2.554, 2.61, 2.787, 3.113, 3.616, 4.317, 5.237, 6.395, 7.809, 9.49",\
                 "2.731, 2.787, 2.964, 3.291, 3.793, 4.494, 5.414, 6.572, 7.986, 9.669",\
                 "2.981, 3.037, 3.215, 3.541, 4.043, 4.744, 5.665, 6.823, 8.236, 9.918",\
                 "3.24, 3.296, 3.474, 3.8, 4.302, 5.003, 5.924, 7.082, 8.496, 10.18",\
                 "3.483, 3.539, 3.717, 4.043, 4.545, 5.246, 6.166, 7.324, 8.738, 10.42",\
                 "3.703, 3.759, 3.937, 4.263, 4.765, 5.466, 6.386, 7.544, 8.958, 10.64",\
                 "3.897, 3.953, 4.131, 4.457, 4.959, 5.66, 6.58, 7.738, 9.15, 10.84",\
                 "4.06, 4.116, 4.294, 4.62, 5.122, 5.823, 6.743, 7.901, 9.313, 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.005331, 0.02053, 0.04957, 0.0948, 0.1583, 0.2418, 0.347, 0.4754, 0.6285");
          values("0.2912, 0.3368, 0.4696, 0.684, 0.9942, 1.422, 2.003, 2.761, 3.706, 4.842",\
                 "0.2912, 0.3366, 0.47, 0.6844, 0.994, 1.422, 2.004, 2.76, 3.706, 4.846",\
                 "0.2916, 0.3368, 0.4702, 0.6842, 0.9924, 1.422, 2.003, 2.761, 3.705, 4.847",\
                 "0.2922, 0.3368, 0.4702, 0.6844, 0.9934, 1.423, 2.003, 2.76, 3.701, 4.846",\
                 "0.2916, 0.3382, 0.4702, 0.6844, 0.9942, 1.423, 2.004, 2.761, 3.706, 4.842",\
                 "0.2922, 0.3382, 0.4704, 0.6844, 0.9924, 1.423, 2.004, 2.759, 3.705, 4.846",\
                 "0.2914, 0.337, 0.4696, 0.684, 0.9928, 1.422, 2.003, 2.759, 3.705, 4.846",\
                 "0.2916, 0.3386, 0.4696, 0.6844, 0.9924, 1.424, 2.002, 2.762, 3.706, 4.844",\
                 "0.292, 0.336, 0.47, 0.684, 0.994, 1.422, 2.002, 2.758, 3.704, 4.842",\
                 "0.29, 0.338, 0.468, 0.684, 0.994, 1.422, 2.002, 2.756, 3.7, 4.838");
        }

        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.005331, 0.02053, 0.04957, 0.0948, 0.1583, 0.2418, 0.347, 0.4754, 0.6285");
          values("0.2258, 0.299, 0.569, 1.11, 1.959, 3.148, 4.719, 6.706, 9.128, 12.01",\
                 "0.226, 0.2988, 0.569, 1.11, 1.956, 3.152, 4.723, 6.698, 9.12, 12.01",\
                 "0.2264, 0.2988, 0.5688, 1.11, 1.957, 3.152, 4.723, 6.697, 9.118, 12.01",\
                 "0.2262, 0.2978, 0.5674, 1.11, 1.957, 3.152, 4.721, 6.702, 9.118, 12.01",\
                 "0.2266, 0.299, 0.5688, 1.108, 1.957, 3.151, 4.722, 6.699, 9.121, 12.01",\
                 "0.2266, 0.2978, 0.5688, 1.11, 1.958, 3.152, 4.721, 6.705, 9.116, 12.01",\
                 "0.2266, 0.298, 0.5684, 1.107, 1.958, 3.151, 4.723, 6.7, 9.115, 12.01",\
                 "0.226, 0.298, 0.5678, 1.108, 1.956, 3.146, 4.72, 6.702, 9.12, 12.01",\
                 "0.226, 0.2982, 0.568, 1.109, 1.956, 3.148, 4.714, 6.692, 9.118, 12",\
                 "0.226, 0.298, 0.568, 1.108, 1.958, 3.15, 4.718, 6.69, 9.104, 11.99");
        }
      }

      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.005331, 0.02053, 0.04957, 0.0948, 0.1583, 0.2418, 0.347, 0.4754, 0.6285");
          values("3.098, 3.157, 3.31, 3.52, 3.781, 4.099, 4.486, 4.958, 5.526, 6.2",\
                 "3.129, 3.187, 3.339, 3.55, 3.811, 4.129, 4.517, 4.987, 5.556, 6.23",\
                 "3.222, 3.281, 3.433, 3.644, 3.905, 4.223, 4.61, 5.082, 5.65, 6.324",\
                 "3.421, 3.479, 3.632, 3.843, 4.103, 4.421, 4.809, 5.281, 5.849, 6.523",\
                 "3.75, 3.809, 3.961, 4.172, 4.433, 4.75, 5.138, 5.609, 6.177, 6.852",\
                 "4.221, 4.28, 4.432, 4.643, 4.904, 5.222, 5.609, 6.081, 6.649, 7.323",\
                 "4.804, 4.863, 5.015, 5.226, 5.487, 5.805, 6.192, 6.664, 7.231, 7.905",\
                 "5.436, 5.494, 5.647, 5.857, 6.118, 6.436, 6.823, 7.295, 7.863, 8.537",\
                 "6.1, 6.158, 6.311, 6.522, 6.783, 7.101, 7.488, 7.959, 8.527, 9.201",\
                 "6.795, 6.854, 7.006, 7.217, 7.478, 7.795, 8.182, 8.653, 9.221, 9.895");
        }

        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.005331, 0.02053, 0.04957, 0.0948, 0.1583, 0.2418, 0.347, 0.4754, 0.6285");
          values("2.434, 2.489, 2.667, 2.993, 3.496, 4.197, 5.117, 6.275, 7.688, 9.372",\
                 "2.46, 2.516, 2.693, 3.019, 3.522, 4.223, 5.143, 6.301, 7.715, 9.396",\
                 "2.554, 2.61, 2.787, 3.113, 3.616, 4.317, 5.237, 6.395, 7.809, 9.49",\
                 "2.731, 2.787, 2.964, 3.291, 3.793, 4.494, 5.414, 6.572, 7.986, 9.669",\
                 "2.981, 3.037, 3.215, 3.541, 4.043, 4.744, 5.665, 6.823, 8.236, 9.918",\
                 "3.24, 3.296, 3.474, 3.8, 4.302, 5.003, 5.924, 7.082, 8.496, 10.18",\
                 "3.483, 3.539, 3.717, 4.043, 4.545, 5.246, 6.166, 7.324, 8.738, 10.42",\
                 "3.703, 3.759, 3.937, 4.263, 4.765, 5.466, 6.386, 7.544, 8.958, 10.64",\
                 "3.897, 3.953, 4.131, 4.457, 4.959, 5.66, 6.58, 7.738, 9.15, 10.84",\
                 "4.06, 4.116, 4.294, 4.62, 5.122, 5.823, 6.743, 7.901, 9.313, 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.005331, 0.02053, 0.04957, 0.0948, 0.1583, 0.2418, 0.347, 0.4754, 0.6285");
          values("0.3028, 0.35, 0.4804, 0.6946, 1.003, 1.431, 2.011, 2.767, 3.708, 4.845",\
                 "0.3024, 0.348, 0.4808, 0.6952, 1.002, 1.431, 2.01, 2.767, 3.71, 4.849",\
                 "0.3028, 0.3482, 0.4812, 0.696, 1.005, 1.432, 2.011, 2.766, 3.707, 4.843",\
                 "0.3028, 0.3478, 0.4804, 0.695, 1.004, 1.432, 2.011, 2.767, 3.709, 4.85",\
                 "0.3024, 0.348, 0.4808, 0.6952, 1.003, 1.431, 2.011, 2.767, 3.708, 4.851",\
                 "0.3028, 0.35, 0.4808, 0.6956, 1.004, 1.433, 2.01, 2.767, 3.708, 4.843",\
                 "0.3024, 0.3484, 0.4802, 0.6948, 1.005, 1.432, 2.011, 2.767, 3.708, 4.851",\
                 "0.3024, 0.348, 0.4808, 0.695, 1.003, 1.433, 2.01, 2.766, 3.712, 4.848",\
                 "0.302, 0.35, 0.48, 0.696, 1.006, 1.43, 2.01, 2.762, 3.71, 4.846",\
                 "0.302, 0.348, 0.48, 0.696, 1.004, 1.432, 2.01, 2.768, 3.706, 4.842");
        }

        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.005331, 0.02053, 0.04957, 0.0948, 0.1583, 0.2418, 0.347, 0.4754, 0.6285");
          values("0.2798, 0.3514, 0.6062, 1.128, 1.97, 3.159, 4.73, 6.713, 9.126, 12",\
                 "0.279, 0.3516, 0.6072, 1.128, 1.969, 3.158, 4.728, 6.712, 9.119, 12.01",\
                 "0.2794, 0.3514, 0.6068, 1.126, 1.969, 3.16, 4.728, 6.71, 9.127, 12.01",\
                 "0.279, 0.3512, 0.6074, 1.128, 1.969, 3.159, 4.73, 6.713, 9.127, 12",\
                 "0.2792, 0.3526, 0.6074, 1.128, 1.968, 3.158, 4.729, 6.713, 9.126, 12",\
                 "0.2794, 0.352, 0.6072, 1.128, 1.968, 3.159, 4.732, 6.705, 9.132, 12.02",\
                 "0.2798, 0.351, 0.6076, 1.127, 1.97, 3.161, 4.726, 6.712, 9.127, 12",\
                 "0.2786, 0.3512, 0.6076, 1.126, 1.967, 3.157, 4.732, 6.711, 9.13, 12.02",\
                 "0.2786, 0.3512, 0.607, 1.128, 1.967, 3.162, 4.724, 6.7, 9.118, 12.01",\
                 "0.278, 0.352, 0.606, 1.128, 1.968, 3.16, 4.73, 6.708, 9.112, 12");
        }
      }

      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.005331, 0.02053, 0.04957, 0.0948, 0.1583, 0.2418, 0.347, 0.4754, 0.6285");
          values("3.516, 3.574, 3.726, 3.937, 4.197, 4.516, 4.903, 5.375, 5.943, 6.617",\
                 "3.545, 3.603, 3.756, 3.966, 4.228, 4.545, 4.933, 5.404, 5.972, 6.646",\
                 "3.64, 3.698, 3.851, 4.062, 4.322, 4.64, 5.028, 5.499, 6.067, 6.742",\
                 "3.787, 3.846, 3.998, 4.209, 4.47, 4.787, 5.175, 5.647, 6.215, 6.889",\
                 "3.922, 3.98, 4.133, 4.344, 4.604, 4.922, 5.31, 5.781, 6.349, 7.024",\
                 "4.026, 4.085, 4.237, 4.448, 4.71, 5.027, 5.415, 5.886, 6.455, 7.128",\
                 "4.095, 4.153, 4.305, 4.516, 4.777, 5.095, 5.483, 5.954, 6.522, 7.196",\
                 "4.118, 4.176, 4.329, 4.539, 4.8, 5.118, 5.506, 5.976, 6.544, 7.219",\
                 "4.089, 4.147, 4.3, 4.51, 4.771, 5.089, 5.477, 5.948, 6.516, 7.19",\
                 "4.007, 4.065, 4.217, 4.429, 4.689, 5.007, 5.395, 5.866, 6.434, 7.109");
        }

        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.005331, 0.02053, 0.04957, 0.0948, 0.1583, 0.2418, 0.347, 0.4754, 0.6285");
          values("3.774, 3.831, 4.008, 4.334, 4.837, 5.538, 6.458, 7.617, 9.03, 10.71",\
                 "3.792, 3.848, 4.025, 4.352, 4.854, 5.555, 6.476, 7.634, 9.046, 10.73",\
                 "3.878, 3.933, 4.111, 4.437, 4.94, 5.641, 6.561, 7.719, 9.133, 10.81",\
                 "4.079, 4.135, 4.313, 4.639, 5.142, 5.843, 6.763, 7.921, 9.333, 11.02",\
                 "4.414, 4.47, 4.648, 4.974, 5.476, 6.178, 7.098, 8.256, 9.669, 11.35",\
                 "4.888, 4.943, 5.121, 5.447, 5.95, 6.651, 7.571, 8.73, 10.14, 11.83",\
                 "5.463, 5.519, 5.696, 6.022, 6.524, 7.225, 8.146, 9.304, 10.72, 12.4",\
                 "6.09, 6.146, 6.323, 6.65, 7.152, 7.853, 8.774, 9.932, 11.35, 13.03",\
                 "6.77, 6.825, 7.004, 7.329, 7.832, 8.533, 9.453, 10.61, 12.02, 13.71",\
                 "7.503, 7.559, 7.738, 8.063, 8.566, 9.267, 10.19, 11.34, 12.76, 14.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.005331, 0.02053, 0.04957, 0.0948, 0.1583, 0.2418, 0.347, 0.4754, 0.6285");
          values("0.2914, 0.3368, 0.4696, 0.6844, 0.9928, 1.422, 2.004, 2.759, 3.701, 4.842",\
                 "0.2916, 0.3368, 0.4696, 0.6838, 0.9932, 1.422, 2.005, 2.76, 3.703, 4.843",\
                 "0.2912, 0.3376, 0.47, 0.685, 0.9926, 1.422, 2.004, 2.761, 3.706, 4.846",\
                 "0.2916, 0.3382, 0.4702, 0.6842, 0.9944, 1.422, 2.004, 2.761, 3.706, 4.84",\
                 "0.2924, 0.337, 0.47, 0.6852, 0.9944, 1.423, 2.004, 2.759, 3.706, 4.84",\
                 "0.2936, 0.337, 0.47, 0.6842, 0.9926, 1.422, 2.003, 2.761, 3.701, 4.845",\
                 "0.292, 0.3368, 0.4702, 0.685, 0.9944, 1.423, 2.004, 2.759, 3.7, 4.847",\
                 "0.292, 0.337, 0.4688, 0.6856, 0.9938, 1.422, 2.002, 2.759, 3.703, 4.842",\
                 "0.2918, 0.3366, 0.4702, 0.6848, 0.9932, 1.424, 2.004, 2.76, 3.7, 4.838",\
                 "0.292, 0.338, 0.47, 0.684, 0.994, 1.424, 2.004, 2.758, 3.704, 4.84");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.005331, 0.02053, 0.04957, 0.0948, 0.1583, 0.2418, 0.347, 0.4754, 0.6285");
          values("0.2264, 0.2978, 0.569, 1.11, 1.959, 3.152, 4.722, 6.706, 9.115, 12.01",\
                 "0.2268, 0.299, 0.5688, 1.109, 1.958, 3.152, 4.719, 6.703, 9.125, 12.01",\
                 "0.2268, 0.299, 0.5688, 1.11, 1.959, 3.152, 4.723, 6.696, 9.12, 12.01",\
                 "0.2266, 0.2982, 0.569, 1.11, 1.958, 3.152, 4.719, 6.705, 9.13, 12.01",\
                 "0.2264, 0.298, 0.569, 1.109, 1.958, 3.152, 4.723, 6.705, 9.125, 12.01",\
                 "0.2264, 0.2982, 0.5682, 1.11, 1.959, 3.152, 4.721, 6.706, 9.128, 12.01",\
                 "0.2266, 0.298, 0.568, 1.109, 1.958, 3.153, 4.721, 6.702, 9.124, 12.01",\
                 "0.226, 0.298, 0.568, 1.11, 1.958, 3.152, 4.722, 6.706, 9.128, 12",\
                 "0.226, 0.298, 0.568, 1.11, 1.956, 3.15, 4.72, 6.702, 9.13, 12.01",\
                 "0.226, 0.298, 0.568, 1.108, 1.96, 3.148, 4.718, 6.694, 9.122, 12");
        }
      }

      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.005331, 0.02053, 0.04957, 0.0948, 0.1583, 0.2418, 0.347, 0.4754, 0.6285");
          values("1.884, 1.944, 2.1, 2.314, 2.578, 2.899, 3.288, 3.761, 4.33, 5.005",\
                 "1.915, 1.975, 2.131, 2.345, 2.609, 2.929, 3.319, 3.792, 4.361, 5.036",\
                 "1.998, 2.058, 2.214, 2.428, 2.692, 3.012, 3.402, 3.875, 4.444, 5.119",\
                 "2.143, 2.203, 2.358, 2.573, 2.836, 3.157, 3.546, 4.019, 4.588, 5.264",\
                 "2.346, 2.406, 2.561, 2.775, 3.039, 3.36, 3.75, 4.223, 4.792, 5.466",\
                 "2.567, 2.627, 2.783, 2.997, 3.261, 3.582, 3.972, 4.445, 5.014, 5.688",\
                 "2.784, 2.845, 3, 3.215, 3.479, 3.799, 4.189, 4.662, 5.231, 5.906",\
                 "2.988, 3.048, 3.203, 3.417, 3.682, 4.002, 4.392, 4.866, 5.434, 6.109",\
                 "3.167, 3.227, 3.383, 3.597, 3.862, 4.182, 4.572, 5.045, 5.614, 6.289",\
                 "3.318, 3.379, 3.535, 3.749, 4.014, 4.335, 4.725, 5.198, 5.767, 6.442");
        }

        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.005331, 0.02053, 0.04957, 0.0948, 0.1583, 0.2418, 0.347, 0.4754, 0.6285");
          values("2.492, 2.558, 2.753, 3.086, 3.589, 4.291, 5.21, 6.369, 7.781, 9.464",\
                 "2.514, 2.58, 2.775, 3.108, 3.611, 4.313, 5.233, 6.391, 7.803, 9.486",\
                 "2.615, 2.681, 2.876, 3.209, 3.713, 4.414, 5.335, 6.492, 7.904, 9.588",\
                 "2.822, 2.888, 3.083, 3.416, 3.919, 4.621, 5.541, 6.699, 8.111, 9.793",\
                 "3.155, 3.221, 3.416, 3.749, 4.252, 4.954, 5.874, 7.032, 8.444, 10.13",\
                 "3.63, 3.696, 3.891, 4.224, 4.728, 5.429, 6.349, 7.507, 8.92, 10.6",\
                 "4.24, 4.307, 4.502, 4.835, 5.338, 6.04, 6.96, 8.117, 9.53, 11.21",\
                 "4.926, 4.993, 5.189, 5.522, 6.025, 6.727, 7.647, 8.806, 10.22, 11.9",\
                 "5.648, 5.717, 5.914, 6.248, 6.751, 7.453, 8.373, 9.531, 10.94, 12.63",\
                 "6.407, 6.476, 6.676, 7.009, 7.513, 8.214, 9.134, 10.29, 11.71, 13.39");
        }

        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.005331, 0.02053, 0.04957, 0.0948, 0.1583, 0.2418, 0.347, 0.4754, 0.6285");
          values("0.3034, 0.3492, 0.4818, 0.6954, 1.005, 1.433, 2.012, 2.768, 3.711, 4.849",\
                 "0.3042, 0.3508, 0.481, 0.6974, 1.005, 1.433, 2.012, 2.768, 3.712, 4.851",\
                 "0.3044, 0.349, 0.4812, 0.696, 1.004, 1.432, 2.013, 2.766, 3.711, 4.844",\
                 "0.3036, 0.3506, 0.4816, 0.6956, 1.005, 1.433, 2.012, 2.767, 3.712, 4.847",\
                 "0.3032, 0.349, 0.4816, 0.696, 1.006, 1.432, 2.013, 2.766, 3.71, 4.85",\
                 "0.304, 0.3492, 0.4808, 0.697, 1.006, 1.434, 2.012, 2.766, 3.707, 4.851",\
                 "0.3056, 0.3502, 0.4812, 0.697, 1.004, 1.433, 2.011, 2.766, 3.711, 4.851",\
                 "0.3054, 0.3506, 0.4824, 0.6978, 1.005, 1.434, 2.013, 2.765, 3.706, 4.848",\
                 "0.306, 0.3514, 0.483, 0.6984, 1.007, 1.433, 2.014, 2.768, 3.71, 4.844",\
                 "0.308, 0.352, 0.484, 0.698, 1.006, 1.436, 2.012, 2.768, 3.706, 4.842");
        }

        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.005331, 0.02053, 0.04957, 0.0948, 0.1583, 0.2418, 0.347, 0.4754, 0.6285");
          values("0.279, 0.3522, 0.6066, 1.128, 1.97, 3.162, 4.73, 6.707, 9.129, 12.02",\
                 "0.2796, 0.3514, 0.607, 1.127, 1.97, 3.161, 4.729, 6.709, 9.129, 12.01",\
                 "0.2796, 0.3516, 0.608, 1.128, 1.97, 3.161, 4.732, 6.71, 9.132, 12.02",\
                 "0.279, 0.3516, 0.6068, 1.128, 1.97, 3.16, 4.728, 6.71, 9.12, 12.01",\
                 "0.2794, 0.3514, 0.6072, 1.126, 1.969, 3.16, 4.726, 6.703, 9.124, 12.02",\
                 "0.2792, 0.3528, 0.6064, 1.128, 1.97, 3.161, 4.728, 6.71, 9.125, 12.01",\
                 "0.2804, 0.3526, 0.6086, 1.127, 1.968, 3.158, 4.729, 6.713, 9.124, 12",\
                 "0.2852, 0.357, 0.612, 1.129, 1.967, 3.163, 4.732, 6.706, 9.124, 12",\
                 "0.292, 0.362, 0.614, 1.13, 1.968, 3.158, 4.732, 6.706, 9.118, 12.02",\
                 "0.3, 0.368, 0.618, 1.132, 1.972, 3.164, 4.728, 6.708, 9.13, 12.01");
        }
      }

      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.005331, 0.02053, 0.04957, 0.0948, 0.1583, 0.2418, 0.347, 0.4754, 0.6285");
          values("3.516, 3.574, 3.726, 3.937, 4.197, 4.516, 4.903, 5.375, 5.943, 6.617",\
                 "3.545, 3.603, 3.756, 3.966, 4.228, 4.545, 4.933, 5.404, 5.972, 6.646",\
                 "3.64, 3.698, 3.851, 4.062, 4.322, 4.64, 5.028, 5.499, 6.067, 6.742",\
                 "3.787, 3.846, 3.998, 4.209, 4.47, 4.787, 5.175, 5.647, 6.215, 6.889",\
                 "3.922, 3.98, 4.133, 4.344, 4.604, 4.922, 5.31, 5.781, 6.349, 7.024",\
                 "4.026, 4.085, 4.237, 4.448, 4.71, 5.027, 5.415, 5.886, 6.455, 7.128",\
                 "4.095, 4.153, 4.305, 4.516, 4.777, 5.095, 5.483, 5.954, 6.522, 7.196",\
                 "4.118, 4.176, 4.329, 4.539, 4.8, 5.118, 5.506, 5.976, 6.544, 7.219",\
                 "4.089, 4.147, 4.3, 4.51, 4.771, 5.089, 5.477, 5.948, 6.516, 7.19",\
                 "4.007, 4.065, 4.217, 4.429, 4.689, 5.007, 5.395, 5.866, 6.434, 7.109");
        }

        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.005331, 0.02053, 0.04957, 0.0948, 0.1583, 0.2418, 0.347, 0.4754, 0.6285");
          values("3.774, 3.831, 4.008, 4.334, 4.837, 5.538, 6.458, 7.617, 9.03, 10.71",\
                 "3.792, 3.848, 4.025, 4.352, 4.854, 5.555, 6.476, 7.634, 9.046, 10.73",\
                 "3.878, 3.933, 4.111, 4.437, 4.94, 5.641, 6.561, 7.719, 9.133, 10.81",\
                 "4.079, 4.135, 4.313, 4.639, 5.142, 5.843, 6.763, 7.921, 9.333, 11.02",\
                 "4.414, 4.47, 4.648, 4.974, 5.476, 6.178, 7.098, 8.256, 9.669, 11.35",\
                 "4.888, 4.943, 5.121, 5.447, 5.95, 6.651, 7.571, 8.73, 10.14, 11.83",\
                 "5.463, 5.519, 5.696, 6.022, 6.524, 7.225, 8.146, 9.304, 10.72, 12.4",\
                 "6.09, 6.146, 6.323, 6.65, 7.152, 7.853, 8.774, 9.932, 11.35, 13.03",\
                 "6.77, 6.825, 7.004, 7.329, 7.832, 8.533, 9.453, 10.61, 12.02, 13.71",\
                 "7.503, 7.559, 7.738, 8.063, 8.566, 9.267, 10.19, 11.34, 12.76, 14.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.005331, 0.02053, 0.04957, 0.0948, 0.1583, 0.2418, 0.347, 0.4754, 0.6285");
          values("0.3034, 0.3492, 0.4818, 0.6954, 1.005, 1.433, 2.012, 2.768, 3.711, 4.849",\
                 "0.3042, 0.3508, 0.481, 0.6974, 1.005, 1.433, 2.012, 2.768, 3.712, 4.851",\
                 "0.3044, 0.349, 0.4812, 0.696, 1.004, 1.432, 2.013, 2.766, 3.711, 4.844",\
                 "0.3036, 0.3506, 0.4816, 0.6956, 1.005, 1.433, 2.012, 2.767, 3.712, 4.847",\
                 "0.3032, 0.349, 0.4816, 0.696, 1.006, 1.432, 2.013, 2.766, 3.71, 4.85",\
                 "0.304, 0.3492, 0.4808, 0.697, 1.006, 1.434, 2.012, 2.766, 3.707, 4.851",\
                 "0.3056, 0.3502, 0.4812, 0.697, 1.004, 1.433, 2.011, 2.766, 3.711, 4.851",\
                 "0.3054, 0.3506, 0.4824, 0.6978, 1.005, 1.434, 2.013, 2.765, 3.706, 4.848",\
                 "0.306, 0.3514, 0.483, 0.6984, 1.007, 1.433, 2.014, 2.768, 3.71, 4.844",\
                 "0.308, 0.352, 0.484, 0.698, 1.006, 1.436, 2.012, 2.768, 3.706, 4.842");
        }

        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.005331, 0.02053, 0.04957, 0.0948, 0.1583, 0.2418, 0.347, 0.4754, 0.6285");
          values("0.279, 0.3522, 0.6066, 1.128, 1.97, 3.162, 4.73, 6.707, 9.129, 12.02",\
                 "0.2796, 0.3514, 0.607, 1.127, 1.97, 3.161, 4.729, 6.709, 9.129, 12.01",\
                 "0.2796, 0.3516, 0.608, 1.128, 1.97, 3.161, 4.732, 6.71, 9.132, 12.02",\
                 "0.279, 0.3516, 0.6068, 1.128, 1.97, 3.16, 4.728, 6.71, 9.12, 12.01",\
                 "0.2794, 0.3514, 0.6072, 1.126, 1.969, 3.16, 4.726, 6.703, 9.124, 12.02",\
                 "0.2792, 0.3528, 0.6064, 1.128, 1.97, 3.161, 4.728, 6.71, 9.125, 12.01",\
                 "0.2804, 0.3526, 0.6086, 1.127, 1.968, 3.158, 4.729, 6.713, 9.124, 12",\
                 "0.2852, 0.357, 0.612, 1.129, 1.967, 3.163, 4.732, 6.706, 9.124, 12",\
                 "0.292, 0.362, 0.614, 1.13, 1.968, 3.158, 4.732, 6.706, 9.118, 12.02",\
                 "0.3, 0.368, 0.618, 1.132, 1.972, 3.164, 4.728, 6.708, 9.13, 12.01");
        }
      }

      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.005331, 0.02053, 0.04957, 0.0948, 0.1583, 0.2418, 0.347, 0.4754, 0.6285");
          values("3.205, 3.265, 3.42, 3.635, 3.898, 4.218, 4.608, 5.081, 5.65, 6.325",\
                 "3.222, 3.282, 3.437, 3.652, 3.915, 4.236, 4.625, 5.098, 5.667, 6.342",\
                 "3.308, 3.368, 3.523, 3.737, 4.001, 4.321, 4.711, 5.183, 5.752, 6.427",\
                 "3.51, 3.57, 3.725, 3.939, 4.203, 4.523, 4.912, 5.385, 5.954, 6.629",\
                 "3.845, 3.904, 4.06, 4.273, 4.538, 4.858, 5.247, 5.72, 6.289, 6.964",\
                 "4.318, 4.378, 4.533, 4.747, 5.011, 5.331, 5.72, 6.194, 6.763, 7.437",\
                 "4.893, 4.953, 5.108, 5.322, 5.586, 5.906, 6.295, 6.769, 7.337, 8.012",\
                 "5.519, 5.579, 5.734, 5.949, 6.212, 6.532, 6.922, 7.395, 7.964, 8.638",\
                 "6.198, 6.258, 6.413, 6.627, 6.891, 7.212, 7.601, 8.074, 8.643, 9.318",\
                 "6.932, 6.991, 7.146, 7.361, 7.625, 7.945, 8.335, 8.808, 9.377, 10.05");
        }

        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.005331, 0.02053, 0.04957, 0.0948, 0.1583, 0.2418, 0.347, 0.4754, 0.6285");
          values("2.751, 2.818, 3.012, 3.345, 3.849, 4.551, 5.471, 6.628, 8.041, 9.724",\
                 "2.781, 2.848, 3.042, 3.375, 3.878, 4.58, 5.5, 6.658, 8.07, 9.751",\
                 "2.876, 2.942, 3.137, 3.469, 3.973, 4.675, 5.594, 6.753, 8.165, 9.847",\
                 "3.024, 3.09, 3.284, 3.617, 4.121, 4.822, 5.743, 6.9, 8.313, 9.995",\
                 "3.159, 3.225, 3.42, 3.752, 4.256, 4.958, 5.877, 7.035, 8.447, 10.13",\
                 "3.263, 3.329, 3.524, 3.856, 4.36, 5.061, 5.981, 7.139, 8.551, 10.23",\
                 "3.33, 3.396, 3.591, 3.924, 4.427, 5.129, 6.049, 7.206, 8.618, 10.3",\
                 "3.353, 3.419, 3.614, 3.947, 4.45, 5.152, 6.071, 7.229, 8.642, 10.32",\
                 "3.325, 3.391, 3.586, 3.919, 4.422, 5.124, 6.044, 7.201, 8.613, 10.3",\
                 "3.243, 3.309, 3.504, 3.836, 4.34, 5.041, 5.962, 7.119, 8.531, 10.21");
        }

        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.005331, 0.02053, 0.04957, 0.0948, 0.1583, 0.2418, 0.347, 0.4754, 0.6285");
          values("0.3024, 0.3482, 0.4808, 0.6958, 1.003, 1.431, 2.01, 2.766, 3.708, 4.851",\
                 "0.3028, 0.3482, 0.4808, 0.6954, 1.002, 1.431, 2.01, 2.767, 3.71, 4.851",\
                 "0.3032, 0.3482, 0.4808, 0.6954, 1.004, 1.431, 2.01, 2.767, 3.709, 4.851",\
                 "0.3024, 0.3482, 0.4804, 0.6946, 1.003, 1.431, 2.011, 2.767, 3.708, 4.851",\
                 "0.3026, 0.3482, 0.4804, 0.6956, 1.005, 1.433, 2.012, 2.766, 3.71, 4.846",\
                 "0.303, 0.35, 0.481, 0.6948, 1.003, 1.431, 2.012, 2.766, 3.707, 4.845",\
                 "0.303, 0.348, 0.4806, 0.6948, 1.005, 1.432, 2.012, 2.766, 3.711, 4.85",\
                 "0.3042, 0.3478, 0.481, 0.693, 1.002, 1.432, 2.01, 2.766, 3.706, 4.85",\
                 "0.302, 0.348, 0.482, 0.696, 1.002, 1.432, 2.01, 2.764, 3.708, 4.85",\
                 "0.302, 0.35, 0.482, 0.696, 1.002, 1.432, 2.01, 2.764, 3.71, 4.84");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.005331, 0.02053, 0.04957, 0.0948, 0.1583, 0.2418, 0.347, 0.4754, 0.6285");
          values("0.2782, 0.3508, 0.6058, 1.125, 1.969, 3.16, 4.73, 6.712, 9.132, 12.02",\
                 "0.2784, 0.3508, 0.6064, 1.126, 1.968, 3.158, 4.731, 6.71, 9.132, 12.01",\
                 "0.2786, 0.351, 0.6072, 1.127, 1.97, 3.161, 4.729, 6.709, 9.13, 12.02",\
                 "0.278, 0.3508, 0.6062, 1.127, 1.969, 3.161, 4.73, 6.712, 9.121, 12.01",\
                 "0.2786, 0.3514, 0.6068, 1.127, 1.97, 3.16, 4.725, 6.712, 9.121, 12",\
                 "0.2782, 0.3512, 0.607, 1.126, 1.97, 3.158, 4.726, 6.712, 9.127, 12",\
                 "0.278, 0.3508, 0.6072, 1.126, 1.97, 3.16, 4.73, 6.713, 9.126, 12",\
                 "0.2782, 0.3508, 0.6068, 1.127, 1.967, 3.156, 4.729, 6.711, 9.128, 12.01",\
                 "0.2782, 0.3506, 0.6062, 1.127, 1.969, 3.159, 4.724, 6.702, 9.118, 12.02",\
                 "0.28, 0.35, 0.608, 1.128, 1.97, 3.16, 4.724, 6.704, 9.112, 12");
        }
      }

      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.005331, 0.02053, 0.04957, 0.0948, 0.1583, 0.2418, 0.347, 0.4754, 0.6285");
          values("3.255, 3.313, 3.466, 3.677, 3.937, 4.255, 4.643, 5.114, 5.682, 6.357",\
                 "3.277, 3.335, 3.487, 3.699, 3.959, 4.277, 4.665, 5.136, 5.704, 6.378",\
                 "3.377, 3.436, 3.588, 3.799, 4.06, 4.378, 4.766, 5.237, 5.805, 6.479",\
                 "3.584, 3.643, 3.795, 4.005, 4.266, 4.584, 4.972, 5.444, 6.012, 6.686",\
                 "3.917, 3.976, 4.128, 4.339, 4.6, 4.918, 5.306, 5.777, 6.345, 7.02",\
                 "4.392, 4.45, 4.603, 4.814, 5.075, 5.392, 5.78, 6.251, 6.819, 7.494",\
                 "4.995, 5.054, 5.206, 5.417, 5.678, 5.996, 6.383, 6.855, 7.423, 8.097",\
                 "5.662, 5.72, 5.873, 6.083, 6.344, 6.662, 7.05, 7.521, 8.089, 8.764",\
                 "6.363, 6.422, 6.573, 6.785, 7.045, 7.363, 7.75, 8.221, 8.79, 9.464",\
                 "7.096, 7.155, 7.308, 7.52, 7.78, 8.097, 8.484, 8.956, 9.524, 10.2");
        }

        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.005331, 0.02053, 0.04957, 0.0948, 0.1583, 0.2418, 0.347, 0.4754, 0.6285");
          values("2.457, 2.513, 2.691, 3.017, 3.519, 4.221, 5.141, 6.299, 7.712, 9.396",\
                 "2.488, 2.544, 2.722, 3.048, 3.55, 4.251, 5.172, 6.329, 7.744, 9.425",\
                 "2.571, 2.627, 2.805, 3.131, 3.633, 4.334, 5.255, 6.412, 7.826, 9.508",\
                 "2.716, 2.772, 2.95, 3.276, 3.778, 4.479, 5.4, 6.558, 7.97, 9.654",\
                 "2.92, 2.976, 3.154, 3.48, 3.983, 4.684, 5.604, 6.762, 8.176, 9.858",\
                 "3.144, 3.2, 3.378, 3.704, 4.207, 4.908, 5.828, 6.986, 8.4, 10.08",\
                 "3.365, 3.421, 3.599, 3.925, 4.427, 5.129, 6.049, 7.207, 8.618, 10.3",\
                 "3.572, 3.628, 3.805, 4.131, 4.634, 5.335, 6.254, 7.412, 8.826, 10.51",\
                 "3.756, 3.811, 3.989, 4.315, 4.818, 5.519, 6.439, 7.596, 9.008, 10.69",\
                 "3.912, 3.968, 4.145, 4.472, 4.974, 5.675, 6.596, 7.753, 9.165, 10.85");
        }

        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.005331, 0.02053, 0.04957, 0.0948, 0.1583, 0.2418, 0.347, 0.4754, 0.6285");
          values("0.2914, 0.3366, 0.4702, 0.684, 0.9946, 1.423, 2.004, 2.761, 3.706, 4.846",\
                 "0.2912, 0.3368, 0.4696, 0.6854, 0.9944, 1.422, 2.003, 2.759, 3.7, 4.846",\
                 "0.2924, 0.3386, 0.4698, 0.6842, 0.9956, 1.422, 2.004, 2.758, 3.701, 4.845",\
                 "0.2912, 0.337, 0.4696, 0.684, 0.9938, 1.422, 2.003, 2.761, 3.705, 4.847",\
                 "0.2914, 0.3378, 0.4698, 0.6842, 0.993, 1.422, 2.004, 2.761, 3.706, 4.846",\
                 "0.2918, 0.3368, 0.4702, 0.6858, 0.9946, 1.423, 2.003, 2.761, 3.706, 4.846",\
                 "0.2912, 0.3384, 0.47, 0.6844, 0.9922, 1.423, 2.003, 2.76, 3.703, 4.847",\
                 "0.291, 0.3368, 0.4692, 0.6842, 0.994, 1.424, 2.004, 2.758, 3.706, 4.844",\
                 "0.29, 0.336, 0.47, 0.684, 0.992, 1.422, 2, 2.76, 3.702, 4.842",\
                 "0.29, 0.338, 0.47, 0.684, 0.994, 1.42, 2.004, 2.758, 3.7, 4.84");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.005331, 0.02053, 0.04957, 0.0948, 0.1583, 0.2418, 0.347, 0.4754, 0.6285");
          values("0.226, 0.2982, 0.5688, 1.11, 1.958, 3.148, 4.719, 6.706, 9.128, 12",\
                 "0.2266, 0.299, 0.569, 1.11, 1.956, 3.152, 4.724, 6.698, 9.117, 12.01",\
                 "0.2264, 0.2988, 0.5684, 1.11, 1.957, 3.151, 4.724, 6.698, 9.117, 12.01",\
                 "0.226, 0.2992, 0.5678, 1.108, 1.958, 3.152, 4.719, 6.703, 9.126, 12.01",\
                 "0.2262, 0.2992, 0.5688, 1.11, 1.957, 3.151, 4.724, 6.699, 9.115, 12.01",\
                 "0.2266, 0.2984, 0.568, 1.109, 1.958, 3.151, 4.724, 6.698, 9.114, 12.01",\
                 "0.2266, 0.2976, 0.5682, 1.107, 1.959, 3.151, 4.723, 6.704, 9.129, 12.01",\
                 "0.2264, 0.2982, 0.5686, 1.108, 1.956, 3.146, 4.722, 6.699, 9.122, 12",\
                 "0.2264, 0.2984, 0.5686, 1.109, 1.956, 3.148, 4.716, 6.7, 9.112, 12.01",\
                 "0.226, 0.3, 0.57, 1.11, 1.958, 3.15, 4.718, 6.692, 9.104, 12");
        }
      }

      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.005331, 0.02053, 0.04957, 0.0948, 0.1583, 0.2418, 0.347, 0.4754, 0.6285");
          values("3.255, 3.313, 3.466, 3.677, 3.937, 4.255, 4.643, 5.114, 5.682, 6.357",\
                 "3.277, 3.335, 3.487, 3.699, 3.959, 4.277, 4.665, 5.136, 5.704, 6.378",\
                 "3.377, 3.436, 3.588, 3.799, 4.06, 4.378, 4.766, 5.237, 5.805, 6.479",\
                 "3.584, 3.643, 3.795, 4.005, 4.266, 4.584, 4.972, 5.444, 6.012, 6.686",\
                 "3.917, 3.976, 4.128, 4.339, 4.6, 4.918, 5.306, 5.777, 6.345, 7.02",\
                 "4.392, 4.45, 4.603, 4.814, 5.075, 5.392, 5.78, 6.251, 6.819, 7.494",\
                 "4.995, 5.054, 5.206, 5.417, 5.678, 5.996, 6.383, 6.855, 7.423, 8.097",\
                 "5.662, 5.72, 5.873, 6.083, 6.344, 6.662, 7.05, 7.521, 8.089, 8.764",\
                 "6.363, 6.422, 6.573, 6.785, 7.045, 7.363, 7.75, 8.221, 8.79, 9.464",\
                 "7.096, 7.155, 7.308, 7.52, 7.78, 8.097, 8.484, 8.956, 9.524, 10.2");
        }

        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.005331, 0.02053, 0.04957, 0.0948, 0.1583, 0.2418, 0.347, 0.4754, 0.6285");
          values("2.457, 2.513, 2.691, 3.017, 3.519, 4.221, 5.141, 6.299, 7.712, 9.396",\
                 "2.488, 2.544, 2.722, 3.048, 3.55, 4.251, 5.172, 6.329, 7.744, 9.425",\
                 "2.571, 2.627, 2.805, 3.131, 3.633, 4.334, 5.255, 6.412, 7.826, 9.508",\
                 "2.716, 2.772, 2.95, 3.276, 3.778, 4.479, 5.4, 6.558, 7.97, 9.654",\
                 "2.92, 2.976, 3.154, 3.48, 3.983, 4.684, 5.604, 6.762, 8.176, 9.858",\
                 "3.144, 3.2, 3.378, 3.704, 4.207, 4.908, 5.828, 6.986, 8.4, 10.08",\
                 "3.365, 3.421, 3.599, 3.925, 4.427, 5.129, 6.049, 7.207, 8.618, 10.3",\
                 "3.572, 3.628, 3.805, 4.131, 4.634, 5.335, 6.254, 7.412, 8.826, 10.51",\
                 "3.756, 3.811, 3.989, 4.315, 4.818, 5.519, 6.439, 7.596, 9.008, 10.69",\
                 "3.912, 3.968, 4.145, 4.472, 4.974, 5.675, 6.596, 7.753, 9.165, 10.85");
        }

        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.005331, 0.02053, 0.04957, 0.0948, 0.1583, 0.2418, 0.347, 0.4754, 0.6285");
          values("0.3024, 0.3482, 0.4808, 0.6958, 1.003, 1.431, 2.01, 2.766, 3.708, 4.851",\
                 "0.3028, 0.3482, 0.4808, 0.6954, 1.002, 1.431, 2.01, 2.767, 3.71, 4.851",\
                 "0.3032, 0.3482, 0.4808, 0.6954, 1.004, 1.431, 2.01, 2.767, 3.709, 4.851",\
                 "0.3024, 0.3482, 0.4804, 0.6946, 1.003, 1.431, 2.011, 2.767, 3.708, 4.851",\
                 "0.3026, 0.3482, 0.4804, 0.6956, 1.005, 1.433, 2.012, 2.766, 3.71, 4.846",\
                 "0.303, 0.35, 0.481, 0.6948, 1.003, 1.431, 2.012, 2.766, 3.707, 4.845",\
                 "0.303, 0.348, 0.4806, 0.6948, 1.005, 1.432, 2.012, 2.766, 3.711, 4.85",\
                 "0.3042, 0.3478, 0.481, 0.693, 1.002, 1.432, 2.01, 2.766, 3.706, 4.85",\
                 "0.302, 0.348, 0.482, 0.696, 1.002, 1.432, 2.01, 2.764, 3.708, 4.85",\
                 "0.302, 0.35, 0.482, 0.696, 1.002, 1.432, 2.01, 2.764, 3.71, 4.84");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.005331, 0.02053, 0.04957, 0.0948, 0.1583, 0.2418, 0.347, 0.4754, 0.6285");
          values("0.2782, 0.3508, 0.6058, 1.125, 1.969, 3.16, 4.73, 6.712, 9.132, 12.02",\
                 "0.2784, 0.3508, 0.6064, 1.126, 1.968, 3.158, 4.731, 6.71, 9.132, 12.01",\
                 "0.2786, 0.351, 0.6072, 1.127, 1.97, 3.161, 4.729, 6.709, 9.13, 12.02",\
                 "0.278, 0.3508, 0.6062, 1.127, 1.969, 3.161, 4.73, 6.712, 9.121, 12.01",\
                 "0.2786, 0.3514, 0.6068, 1.127, 1.97, 3.16, 4.725, 6.712, 9.121, 12",\
                 "0.2782, 0.3512, 0.607, 1.126, 1.97, 3.158, 4.726, 6.712, 9.127, 12",\
                 "0.278, 0.3508, 0.6072, 1.126, 1.97, 3.16, 4.73, 6.713, 9.126, 12",\
                 "0.2782, 0.3508, 0.6068, 1.127, 1.967, 3.156, 4.729, 6.711, 9.128, 12.01",\
                 "0.2782, 0.3506, 0.6062, 1.127, 1.969, 3.159, 4.724, 6.702, 9.118, 12.02",\
                 "0.28, 0.35, 0.608, 1.128, 1.97, 3.16, 4.724, 6.704, 9.112, 12");
        }
      }

      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.005331, 0.02053, 0.04957, 0.0948, 0.1583, 0.2418, 0.347, 0.4754, 0.6285");
          values("1.589, 1.648, 1.804, 2.017, 2.281, 2.601, 2.991, 3.463, 4.032, 4.707",\
                 "1.621, 1.681, 1.836, 2.05, 2.314, 2.634, 3.023, 3.496, 4.065, 4.74",\
                 "1.719, 1.779, 1.934, 2.147, 2.412, 2.732, 3.121, 3.594, 4.163, 4.838",\
                 "1.881, 1.941, 2.096, 2.31, 2.574, 2.894, 3.283, 3.756, 4.325, 5",\
                 "2.057, 2.117, 2.272, 2.486, 2.75, 3.07, 3.46, 3.932, 4.501, 5.176",\
                 "2.222, 2.281, 2.436, 2.65, 2.914, 3.234, 3.624, 4.097, 4.666, 5.341",\
                 "2.368, 2.427, 2.582, 2.795, 3.058, 3.378, 3.767, 4.24, 4.81, 5.485",\
                 "2.488, 2.547, 2.702, 2.915, 3.178, 3.498, 3.887, 4.36, 4.929, 5.603",\
                 "2.579, 2.638, 2.793, 3.006, 3.269, 3.588, 3.978, 4.451, 5.019, 5.695",\
                 "2.637, 2.696, 2.851, 3.065, 3.327, 3.647, 4.036, 4.509, 5.077, 5.753");
        }

        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.005331, 0.02053, 0.04957, 0.0948, 0.1583, 0.2418, 0.347, 0.4754, 0.6285");
          values("1.848, 1.904, 2.082, 2.408, 2.911, 3.611, 4.532, 5.689, 7.103, 8.784",\
                 "1.875, 1.931, 2.109, 2.435, 2.937, 3.638, 4.559, 5.716, 7.13, 8.811",\
                 "1.975, 2.031, 2.209, 2.535, 3.038, 3.738, 4.659, 5.817, 7.23, 8.914",\
                 "2.157, 2.213, 2.39, 2.716, 3.219, 3.92, 4.84, 5.998, 7.412, 9.093",\
                 "2.43, 2.486, 2.663, 2.99, 3.492, 4.193, 5.114, 6.271, 7.685, 9.367",\
                 "2.796, 2.851, 3.029, 3.355, 3.858, 4.559, 5.48, 6.638, 8.051, 9.735",\
                 "3.218, 3.274, 3.452, 3.779, 4.281, 4.982, 5.903, 7.061, 8.474, 10.16",\
                 "3.686, 3.743, 3.922, 4.247, 4.749, 5.45, 6.37, 7.529, 8.942, 10.63",\
                 "4.198, 4.256, 4.435, 4.76, 5.263, 5.964, 6.883, 8.041, 9.454, 11.14",\
                 "4.754, 4.812, 4.992, 5.318, 5.82, 6.522, 7.441, 8.598, 10.01, 11.69");
        }

        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.005331, 0.02053, 0.04957, 0.0948, 0.1583, 0.2418, 0.347, 0.4754, 0.6285");
          values("0.3024, 0.3482, 0.4802, 0.6956, 1.005, 1.432, 2.012, 2.763, 3.707, 4.848",\
                 "0.3022, 0.3474, 0.4802, 0.6956, 1.004, 1.432, 2.012, 2.766, 3.711, 4.847",\
                 "0.302, 0.3478, 0.4802, 0.6962, 1.004, 1.432, 2.011, 2.767, 3.711, 4.85",\
                 "0.3022, 0.3476, 0.4808, 0.6956, 1.004, 1.432, 2.012, 2.767, 3.71, 4.843",\
                 "0.3024, 0.3474, 0.4796, 0.6952, 1.004, 1.432, 2.011, 2.767, 3.711, 4.85",\
                 "0.2982, 0.344, 0.4778, 0.6932, 1.005, 1.433, 2.012, 2.765, 3.708, 4.851",\
                 "0.2974, 0.3428, 0.4772, 0.694, 1.002, 1.429, 2.01, 2.768, 3.714, 4.854",\
                 "0.2976, 0.3432, 0.4764, 0.6916, 1.002, 1.429, 2.01, 2.765, 3.705, 4.846",\
                 "0.297, 0.3434, 0.4768, 0.6924, 1.002, 1.429, 2.01, 2.763, 3.703, 4.843",\
                 "0.2976, 0.3432, 0.4768, 0.692, 1, 1.43, 2.01, 2.762, 3.708, 4.842");
        }

        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.005331, 0.02053, 0.04957, 0.0948, 0.1583, 0.2418, 0.347, 0.4754, 0.6285");
          values("0.227, 0.299, 0.569, 1.11, 1.956, 3.152, 4.723, 6.698, 9.12, 12.01",\
                 "0.227, 0.299, 0.5672, 1.11, 1.957, 3.151, 4.718, 6.697, 9.12, 12.01",\
                 "0.226, 0.298, 0.568, 1.11, 1.959, 3.152, 4.722, 6.7, 9.118, 12.01",\
                 "0.2266, 0.2992, 0.5688, 1.11, 1.956, 3.151, 4.723, 6.697, 9.119, 12.01",\
                 "0.2268, 0.2986, 0.569, 1.11, 1.958, 3.152, 4.723, 6.697, 9.12, 12.01",\
                 "0.2284, 0.3006, 0.5684, 1.11, 1.958, 3.151, 4.718, 6.704, 9.114, 12.01",\
                 "0.231, 0.3018, 0.5684, 1.11, 1.956, 3.15, 4.719, 6.705, 9.126, 12.01",\
                 "0.2346, 0.3046, 0.5712, 1.108, 1.955, 3.147, 4.72, 6.702, 9.116, 12.01",\
                 "0.2386, 0.308, 0.5724, 1.108, 1.954, 3.148, 4.714, 6.698, 9.114, 11.99",\
                 "0.244, 0.312, 0.572, 1.112, 1.96, 3.15, 4.72, 6.688, 9.112, 12");
        }
      }

      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.005331, 0.02053, 0.04957, 0.0948, 0.1583, 0.2418, 0.347, 0.4754, 0.6285");
          values("1.594, 1.654, 1.809, 2.023, 2.287, 2.607, 2.997, 3.47, 4.039, 4.714",\
                 "1.626, 1.686, 1.842, 2.056, 2.32, 2.64, 3.03, 3.503, 4.072, 4.747",\
                 "1.724, 1.784, 1.94, 2.154, 2.418, 2.738, 3.128, 3.601, 4.169, 4.845",\
                 "1.888, 1.948, 2.103, 2.317, 2.581, 2.902, 3.291, 3.764, 4.333, 5.008",\
                 "2.065, 2.125, 2.28, 2.495, 2.758, 3.079, 3.468, 3.941, 4.51, 5.185",\
                 "2.229, 2.289, 2.444, 2.658, 2.923, 3.243, 3.633, 4.106, 4.675, 5.35",\
                 "2.375, 2.434, 2.59, 2.803, 3.067, 3.387, 3.776, 4.25, 4.819, 5.495",\
                 "2.495, 2.555, 2.71, 2.923, 3.186, 3.506, 3.895, 4.369, 4.937, 5.612",\
                 "2.587, 2.646, 2.801, 3.014, 3.277, 3.597, 3.986, 4.459, 5.027, 5.703",\
                 "2.644, 2.703, 2.858, 3.071, 3.334, 3.655, 4.044, 4.516, 5.086, 5.761");
        }

        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.005331, 0.02053, 0.04957, 0.0948, 0.1583, 0.2418, 0.347, 0.4754, 0.6285");
          values("1.853, 1.909, 2.086, 2.413, 2.915, 3.616, 4.536, 5.694, 7.108, 8.789",\
                 "1.88, 1.936, 2.113, 2.44, 2.942, 3.643, 4.563, 5.721, 7.134, 8.816",\
                 "1.98, 2.036, 2.214, 2.54, 3.043, 3.744, 4.664, 5.822, 7.236, 8.919",\
                 "2.161, 2.217, 2.395, 2.721, 3.224, 3.924, 4.845, 6.002, 7.417, 9.098",\
                 "2.433, 2.489, 2.667, 2.993, 3.495, 4.196, 5.117, 6.274, 7.688, 9.372",\
                 "2.797, 2.854, 3.031, 3.357, 3.86, 4.561, 5.481, 6.64, 8.053, 9.735",\
                 "3.219, 3.275, 3.454, 3.78, 4.282, 4.984, 5.904, 7.062, 8.475, 10.16",\
                 "3.688, 3.744, 3.923, 4.249, 4.751, 5.452, 6.371, 7.531, 8.943, 10.63",\
                 "4.199, 4.256, 4.436, 4.761, 5.263, 5.964, 6.884, 8.042, 9.455, 11.14",\
                 "4.755, 4.813, 4.993, 5.318, 5.821, 6.521, 7.442, 8.599, 10.01, 11.69");
        }

        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.005331, 0.02053, 0.04957, 0.0948, 0.1583, 0.2418, 0.347, 0.4754, 0.6285");
          values("0.3034, 0.3482, 0.481, 0.6964, 1.005, 1.431, 2.011, 2.766, 3.71, 4.844",\
                 "0.3036, 0.3508, 0.481, 0.695, 1.006, 1.433, 2.013, 2.766, 3.711, 4.844",\
                 "0.303, 0.3482, 0.481, 0.6964, 1.005, 1.433, 2.013, 2.766, 3.711, 4.851",\
                 "0.3032, 0.3506, 0.481, 0.695, 1.005, 1.433, 2.013, 2.767, 3.711, 4.851",\
                 "0.3032, 0.3484, 0.4806, 0.696, 1.005, 1.433, 2.013, 2.767, 3.712, 4.847",\
                 "0.2994, 0.345, 0.479, 0.6942, 1.006, 1.434, 2.013, 2.766, 3.71, 4.852",\
                 "0.2982, 0.3444, 0.4774, 0.6924, 1.002, 1.431, 2.01, 2.769, 3.715, 4.849",\
                 "0.2978, 0.344, 0.4768, 0.6936, 1.003, 1.432, 2.01, 2.766, 3.707, 4.848",\
                 "0.2978, 0.3438, 0.4782, 0.6924, 1.001, 1.43, 2.011, 2.763, 3.705, 4.843",\
                 "0.2982, 0.3442, 0.4774, 0.694, 1.002, 1.43, 2.01, 2.764, 3.71, 4.85");
        }

        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.005331, 0.02053, 0.04957, 0.0948, 0.1583, 0.2418, 0.347, 0.4754, 0.6285");
          values("0.2262, 0.299, 0.5686, 1.11, 1.957, 3.151, 4.724, 6.696, 9.119, 12.01",\
                 "0.2258, 0.299, 0.5682, 1.11, 1.958, 3.152, 4.719, 6.703, 9.125, 12.01",\
                 "0.2262, 0.299, 0.568, 1.11, 1.957, 3.152, 4.723, 6.696, 9.119, 12",\
                 "0.2268, 0.298, 0.5684, 1.11, 1.956, 3.152, 4.724, 6.697, 9.119, 12.01",\
                 "0.2266, 0.2984, 0.568, 1.11, 1.959, 3.152, 4.719, 6.698, 9.118, 12.01",\
                 "0.2284, 0.3002, 0.5686, 1.11, 1.957, 3.152, 4.719, 6.705, 9.12, 12.01",\
                 "0.2304, 0.302, 0.5682, 1.11, 1.958, 3.152, 4.724, 6.703, 9.124, 11.99",\
                 "0.2352, 0.304, 0.5698, 1.109, 1.954, 3.148, 4.722, 6.703, 9.114, 12.01",\
                 "0.2384, 0.3078, 0.572, 1.11, 1.956, 3.148, 4.716, 6.698, 9.12, 12",\
                 "0.242, 0.312, 0.572, 1.112, 1.96, 3.15, 4.716, 6.692, 9.114, 12");
        }
      }

      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.005331, 0.02053, 0.04957, 0.0948, 0.1583, 0.2418, 0.347, 0.4754, 0.6285");
          values("1.594, 1.654, 1.809, 2.023, 2.287, 2.607, 2.997, 3.47, 4.039, 4.714",\
                 "1.626, 1.686, 1.842, 2.056, 2.32, 2.64, 3.03, 3.503, 4.072, 4.747",\
                 "1.724, 1.784, 1.94, 2.154, 2.418, 2.738, 3.128, 3.601, 4.169, 4.845",\
                 "1.888, 1.948, 2.103, 2.317, 2.581, 2.902, 3.291, 3.764, 4.333, 5.008",\
                 "2.065, 2.125, 2.28, 2.495, 2.758, 3.079, 3.468, 3.941, 4.51, 5.185",\
                 "2.229, 2.289, 2.444, 2.658, 2.923, 3.243, 3.633, 4.106, 4.675, 5.35",\
                 "2.375, 2.434, 2.59, 2.803, 3.067, 3.387, 3.776, 4.25, 4.819, 5.495",\
                 "2.495, 2.555, 2.71, 2.923, 3.186, 3.506, 3.895, 4.369, 4.937, 5.612",\
                 "2.587, 2.646, 2.801, 3.014, 3.277, 3.597, 3.986, 4.459, 5.027, 5.703",\
                 "2.644, 2.703, 2.858, 3.071, 3.334, 3.655, 4.044, 4.516, 5.086, 5.761");
        }

        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.005331, 0.02053, 0.04957, 0.0948, 0.1583, 0.2418, 0.347, 0.4754, 0.6285");
          values("1.853, 1.909, 2.086, 2.413, 2.915, 3.616, 4.536, 5.694, 7.108, 8.789",\
                 "1.88, 1.936, 2.113, 2.44, 2.942, 3.643, 4.563, 5.721, 7.134, 8.816",\
                 "1.98, 2.036, 2.214, 2.54, 3.043, 3.744, 4.664, 5.822, 7.236, 8.919",\
                 "2.161, 2.217, 2.395, 2.721, 3.224, 3.924, 4.845, 6.002, 7.417, 9.098",\
                 "2.433, 2.489, 2.667, 2.993, 3.495, 4.196, 5.117, 6.274, 7.688, 9.372",\
                 "2.797, 2.854, 3.031, 3.357, 3.86, 4.561, 5.481, 6.64, 8.053, 9.735",\
                 "3.219, 3.275, 3.454, 3.78, 4.282, 4.984, 5.904, 7.062, 8.475, 10.16",\
                 "3.688, 3.744, 3.923, 4.249, 4.751, 5.452, 6.371, 7.531, 8.943, 10.63",\
                 "4.199, 4.256, 4.436, 4.761, 5.263, 5.964, 6.884, 8.042, 9.455, 11.14",\
                 "4.755, 4.813, 4.993, 5.318, 5.821, 6.521, 7.442, 8.599, 10.01, 11.69");
        }

        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.005331, 0.02053, 0.04957, 0.0948, 0.1583, 0.2418, 0.347, 0.4754, 0.6285");
          values("0.3024, 0.3482, 0.4802, 0.6956, 1.005, 1.432, 2.012, 2.763, 3.707, 4.848",\
                 "0.3022, 0.3474, 0.4802, 0.6956, 1.004, 1.432, 2.012, 2.766, 3.711, 4.847",\
                 "0.302, 0.3478, 0.4802, 0.6962, 1.004, 1.432, 2.011, 2.767, 3.711, 4.85",\
                 "0.3022, 0.3476, 0.4808, 0.6956, 1.004, 1.432, 2.012, 2.767, 3.71, 4.843",\
                 "0.3024, 0.3474, 0.4796, 0.6952, 1.004, 1.432, 2.011, 2.767, 3.711, 4.85",\
                 "0.2982, 0.344, 0.4778, 0.6932, 1.005, 1.433, 2.012, 2.765, 3.708, 4.851",\
                 "0.2974, 0.3428, 0.4772, 0.694, 1.002, 1.429, 2.01, 2.768, 3.714, 4.854",\
                 "0.2976, 0.3432, 0.4764, 0.6916, 1.002, 1.429, 2.01, 2.765, 3.705, 4.846",\
                 "0.297, 0.3434, 0.4768, 0.6924, 1.002, 1.429, 2.01, 2.763, 3.703, 4.843",\
                 "0.2976, 0.3432, 0.4768, 0.692, 1, 1.43, 2.01, 2.762, 3.708, 4.842");
        }

        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.005331, 0.02053, 0.04957, 0.0948, 0.1583, 0.2418, 0.347, 0.4754, 0.6285");
          values("0.2262, 0.299, 0.5686, 1.11, 1.957, 3.151, 4.724, 6.696, 9.119, 12.01",\
                 "0.2258, 0.299, 0.5682, 1.11, 1.958, 3.152, 4.719, 6.703, 9.125, 12.01",\
                 "0.2262, 0.299, 0.568, 1.11, 1.957, 3.152, 4.723, 6.696, 9.119, 12",\
                 "0.2268, 0.298, 0.5684, 1.11, 1.956, 3.152, 4.724, 6.697, 9.119, 12.01",\
                 "0.2266, 0.2984, 0.568, 1.11, 1.959, 3.152, 4.719, 6.698, 9.118, 12.01",\
                 "0.2284, 0.3002, 0.5686, 1.11, 1.957, 3.152, 4.719, 6.705, 9.12, 12.01",\
                 "0.2304, 0.302, 0.5682, 1.11, 1.958, 3.152, 4.724, 6.703, 9.124, 11.99",\
                 "0.2352, 0.304, 0.5698, 1.109, 1.954, 3.148, 4.722, 6.703, 9.114, 12.01",\
                 "0.2384, 0.3078, 0.572, 1.11, 1.956, 3.148, 4.716, 6.698, 9.12, 12",\
                 "0.242, 0.312, 0.572, 1.112, 1.96, 3.15, 4.716, 6.692, 9.114, 12");
        }
      }

      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.005331, 0.02053, 0.04957, 0.0948, 0.1583, 0.2418, 0.347, 0.4754, 0.6285");
          values("1.05, 1.109, 1.262, 1.473, 1.734, 2.052, 2.439, 2.911, 3.479, 4.154",\
                 "1.076, 1.135, 1.288, 1.498, 1.76, 2.078, 2.466, 2.937, 3.506, 4.179",\
                 "1.167, 1.226, 1.379, 1.59, 1.851, 2.169, 2.557, 3.029, 3.597, 4.271",\
                 "1.369, 1.428, 1.581, 1.792, 2.053, 2.371, 2.759, 3.231, 3.799, 4.473",\
                 "1.704, 1.763, 1.915, 2.127, 2.388, 2.706, 3.094, 3.566, 4.134, 4.808",\
                 "2.144, 2.207, 2.366, 2.581, 2.846, 3.166, 3.554, 4.026, 4.595, 5.269",\
                 "2.618, 2.689, 2.864, 3.092, 3.365, 3.691, 4.083, 4.557, 5.125, 5.799",\
                 "3.12, 3.199, 3.393, 3.636, 3.919, 4.252, 4.649, 5.127, 5.698, 6.373",\
                 "3.652, 3.737, 3.95, 4.214, 4.51, 4.849, 5.251, 5.73, 6.302, 6.98",\
                 "4.213, 4.306, 4.539, 4.824, 5.137, 5.485, 5.891, 6.372, 6.944, 7.622");
        }

        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.005331, 0.02053, 0.04957, 0.0948, 0.1583, 0.2418, 0.347, 0.4754, 0.6285");
          values("0.5953, 0.6573, 0.8459, 1.177, 1.679, 2.38, 3.3, 4.456, 5.868, 7.554",\
                 "0.6221, 0.6838, 0.8725, 1.203, 1.706, 2.407, 3.326, 4.483, 5.895, 7.58",\
                 "0.7171, 0.7788, 0.9672, 1.297, 1.8, 2.502, 3.421, 4.577, 5.989, 7.675",\
                 "0.8914, 0.9534, 1.141, 1.471, 1.974, 2.676, 3.595, 4.753, 6.166, 7.851",\
                 "1.09, 1.155, 1.347, 1.679, 2.182, 2.883, 3.804, 4.962, 6.374, 8.061",\
                 "1.275, 1.344, 1.541, 1.875, 2.38, 3.082, 4.003, 5.162, 6.574, 8.26",\
                 "1.439, 1.513, 1.717, 2.053, 2.558, 3.261, 4.183, 5.34, 6.756, 8.436",\
                 "1.574, 1.656, 1.87, 2.209, 2.712, 3.414, 4.337, 5.498, 6.909, 8.594",\
                 "1.679, 1.768, 1.995, 2.338, 2.842, 3.543, 4.465, 5.625, 7.04, 8.724",\
                 "1.748, 1.845, 2.09, 2.439, 2.942, 3.642, 4.562, 5.723, 7.137, 8.822");
        }

        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.005331, 0.02053, 0.04957, 0.0948, 0.1583, 0.2418, 0.347, 0.4754, 0.6285");
          values("0.2922, 0.3378, 0.4704, 0.6844, 0.9958, 1.423, 2.005, 2.76, 3.707, 4.844",\
                 "0.292, 0.3378, 0.47, 0.6862, 0.995, 1.425, 2.003, 2.761, 3.702, 4.847",\
                 "0.2918, 0.3392, 0.4704, 0.685, 0.9948, 1.423, 2.005, 2.76, 3.701, 4.843",\
                 "0.2928, 0.3374, 0.4708, 0.6862, 0.9952, 1.423, 2.005, 2.758, 3.705, 4.84",\
                 "0.2936, 0.3394, 0.4724, 0.6872, 0.9958, 1.425, 2.004, 2.762, 3.707, 4.844",\
                 "0.3298, 0.3726, 0.4954, 0.7016, 1.006, 1.431, 2.009, 2.763, 3.703, 4.841",\
                 "0.384, 0.4288, 0.5492, 0.744, 1.041, 1.458, 2.027, 2.773, 3.71, 4.846",\
                 "0.4404, 0.4892, 0.6128, 0.7984, 1.081, 1.492, 2.054, 2.794, 3.724, 4.856",\
                 "0.4944, 0.5494, 0.6818, 0.8632, 1.135, 1.527, 2.082, 2.812, 3.742, 4.868",\
                 "0.548, 0.61, 0.754, 0.938, 1.192, 1.572, 2.108, 2.832, 3.754, 4.882");
        }

        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.005331, 0.02053, 0.04957, 0.0948, 0.1583, 0.2418, 0.347, 0.4754, 0.6285");
          values("0.2499, 0.3256, 0.5883, 1.119, 1.965, 3.162, 4.735, 6.718, 9.139, 12.03",\
                 "0.2508, 0.3251, 0.5886, 1.118, 1.965, 3.163, 4.734, 6.718, 9.136, 12.03",\
                 "0.251, 0.3247, 0.5888, 1.118, 1.967, 3.162, 4.736, 6.717, 9.14, 12.02",\
                 "0.2552, 0.3284, 0.5898, 1.119, 1.967, 3.162, 4.737, 6.717, 9.139, 12.01",\
                 "0.2748, 0.3468, 0.6034, 1.124, 1.966, 3.159, 4.737, 6.718, 9.138, 12.02",\
                 "0.3052, 0.3712, 0.618, 1.135, 1.973, 3.161, 4.729, 6.715, 9.14, 12.01",\
                 "0.3394, 0.4044, 0.6396, 1.142, 1.978, 3.168, 4.737, 6.712, 9.137, 12.03",\
                 "0.3814, 0.4442, 0.6638, 1.152, 1.982, 3.174, 4.74, 6.717, 9.134, 12.01",\
                 "0.4276, 0.4912, 0.6972, 1.165, 1.986, 3.174, 4.748, 6.719, 9.13, 12.01",\
                 "0.475, 0.542, 0.7426, 1.183, 1.99, 3.176, 4.746, 6.724, 9.132, 12");
        }
      }

      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.005331, 0.02053, 0.04957, 0.0948, 0.1583, 0.2418, 0.347, 0.4754, 0.6285");
          values("1.05, 1.109, 1.262, 1.473, 1.734, 2.052, 2.439, 2.911, 3.479, 4.154",\
                 "1.076, 1.135, 1.288, 1.499, 1.76, 2.078, 2.465, 2.937, 3.506, 4.179",\
                 "1.167, 1.226, 1.379, 1.589, 1.851, 2.169, 2.557, 3.028, 3.597, 4.271",\
                 "1.369, 1.428, 1.58, 1.792, 2.053, 2.371, 2.759, 3.23, 3.799, 4.473",\
                 "1.705, 1.763, 1.915, 2.126, 2.388, 2.706, 3.094, 3.566, 4.134, 4.808",\
                 "2.144, 2.206, 2.366, 2.581, 2.846, 3.166, 3.554, 4.026, 4.595, 5.269",\
                 "2.618, 2.689, 2.864, 3.092, 3.364, 3.691, 4.083, 4.557, 5.125, 5.8",\
                 "3.12, 3.198, 3.393, 3.637, 3.919, 4.252, 4.649, 5.126, 5.697, 6.372",\
                 "3.652, 3.737, 3.949, 4.214, 4.51, 4.849, 5.251, 5.73, 6.302, 6.98",\
                 "4.213, 4.307, 4.539, 4.824, 5.136, 5.485, 5.891, 6.371, 6.944, 7.622");
        }

        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.005331, 0.02053, 0.04957, 0.0948, 0.1583, 0.2418, 0.347, 0.4754, 0.6285");
          values("0.5953, 0.6573, 0.8459, 1.177, 1.679, 2.38, 3.3, 4.456, 5.868, 7.554",\
                 "0.622, 0.6837, 0.8725, 1.203, 1.706, 2.407, 3.326, 4.483, 5.895, 7.58",\
                 "0.7171, 0.7789, 0.9671, 1.297, 1.8, 2.502, 3.421, 4.577, 5.989, 7.676",\
                 "0.8916, 0.9534, 1.142, 1.471, 1.974, 2.676, 3.595, 4.752, 6.164, 7.851",\
                 "1.09, 1.155, 1.347, 1.679, 2.181, 2.884, 3.805, 4.962, 6.375, 8.059",\
                 "1.275, 1.344, 1.541, 1.875, 2.38, 3.082, 4.003, 5.16, 6.574, 8.258",\
                 "1.439, 1.513, 1.717, 2.053, 2.558, 3.261, 4.183, 5.34, 6.756, 8.436",\
                 "1.575, 1.656, 1.87, 2.209, 2.712, 3.414, 4.337, 5.498, 6.909, 8.593",\
                 "1.679, 1.768, 1.996, 2.339, 2.841, 3.543, 4.465, 5.624, 7.04, 8.724",\
                 "1.748, 1.845, 2.09, 2.438, 2.942, 3.642, 4.562, 5.723, 7.137, 8.822");
        }

        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.005331, 0.02053, 0.04957, 0.0948, 0.1583, 0.2418, 0.347, 0.4754, 0.6285");
          values("0.2921, 0.3378, 0.4704, 0.6844, 0.9958, 1.423, 2.005, 2.76, 3.707, 4.844",\
                 "0.2924, 0.3378, 0.4706, 0.685, 0.9954, 1.425, 2.005, 2.759, 3.702, 4.846",\
                 "0.292, 0.3374, 0.4698, 0.6844, 0.9948, 1.424, 2.005, 2.758, 3.704, 4.846",\
                 "0.293, 0.3372, 0.4706, 0.6852, 0.9952, 1.423, 2.005, 2.758, 3.704, 4.843",\
                 "0.2934, 0.3392, 0.472, 0.6856, 0.9952, 1.425, 2.004, 2.762, 3.706, 4.844",\
                 "0.3294, 0.372, 0.4952, 0.7016, 1.006, 1.431, 2.008, 2.763, 3.703, 4.841",\
                 "0.3836, 0.4284, 0.5484, 0.7446, 1.041, 1.459, 2.026, 2.77, 3.71, 4.848",\
                 "0.4394, 0.492, 0.6132, 0.7992, 1.082, 1.492, 2.055, 2.795, 3.725, 4.857",\
                 "0.4944, 0.5494, 0.6826, 0.8632, 1.135, 1.527, 2.082, 2.812, 3.742, 4.868",\
                 "0.55, 0.61, 0.752, 0.938, 1.19, 1.572, 2.11, 2.834, 3.756, 4.884");
        }

        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.005331, 0.02053, 0.04957, 0.0948, 0.1583, 0.2418, 0.347, 0.4754, 0.6285");
          values("0.2499, 0.3254, 0.5884, 1.12, 1.965, 3.162, 4.735, 6.718, 9.138, 12.03",\
                 "0.251, 0.3246, 0.5886, 1.118, 1.967, 3.163, 4.734, 6.718, 9.136, 12.03",\
                 "0.2507, 0.3247, 0.5894, 1.118, 1.966, 3.161, 4.736, 6.717, 9.14, 12.02",\
                 "0.2546, 0.3286, 0.59, 1.12, 1.967, 3.159, 4.737, 6.717, 9.141, 12.01",\
                 "0.2752, 0.3478, 0.6036, 1.125, 1.967, 3.158, 4.731, 6.714, 9.14, 12.01",\
                 "0.304, 0.3712, 0.6178, 1.135, 1.973, 3.162, 4.728, 6.72, 9.137, 12.02",\
                 "0.3394, 0.4046, 0.6396, 1.142, 1.978, 3.168, 4.737, 6.711, 9.133, 12.03",\
                 "0.3822, 0.4454, 0.6638, 1.15, 1.983, 3.175, 4.74, 6.715, 9.134, 12.02",\
                 "0.4296, 0.4908, 0.6976, 1.165, 1.987, 3.174, 4.744, 6.718, 9.128, 12.02",\
                 "0.4738, 0.5404, 0.7424, 1.183, 1.99, 3.176, 4.746, 6.724, 9.132, 12");
        }
      }

      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.005331, 0.02053, 0.04957, 0.0948, 0.1583, 0.2418, 0.347, 0.4754, 0.6285");
          values("1.05, 1.109, 1.262, 1.473, 1.734, 2.052, 2.439, 2.911, 3.479, 4.154",\
                 "1.076, 1.135, 1.288, 1.499, 1.76, 2.078, 2.465, 2.937, 3.506, 4.179",\
                 "1.167, 1.226, 1.379, 1.589, 1.851, 2.169, 2.557, 3.028, 3.597, 4.271",\
                 "1.369, 1.428, 1.58, 1.792, 2.053, 2.371, 2.759, 3.23, 3.799, 4.473",\
                 "1.705, 1.763, 1.915, 2.126, 2.388, 2.706, 3.094, 3.566, 4.134, 4.808",\
                 "2.144, 2.206, 2.366, 2.581, 2.846, 3.166, 3.554, 4.026, 4.595, 5.269",\
                 "2.618, 2.689, 2.864, 3.092, 3.364, 3.691, 4.083, 4.557, 5.125, 5.8",\
                 "3.12, 3.198, 3.393, 3.637, 3.919, 4.252, 4.649, 5.126, 5.697, 6.372",\
                 "3.652, 3.737, 3.949, 4.214, 4.51, 4.849, 5.251, 5.73, 6.302, 6.98",\
                 "4.213, 4.307, 4.539, 4.824, 5.136, 5.485, 5.891, 6.371, 6.944, 7.622");
        }

        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.005331, 0.02053, 0.04957, 0.0948, 0.1583, 0.2418, 0.347, 0.4754, 0.6285");
          values("0.5953, 0.6573, 0.8459, 1.177, 1.679, 2.38, 3.3, 4.456, 5.868, 7.554",\
                 "0.622, 0.6837, 0.8725, 1.203, 1.706, 2.407, 3.326, 4.483, 5.895, 7.58",\
                 "0.7171, 0.7789, 0.9671, 1.297, 1.8, 2.502, 3.421, 4.577, 5.989, 7.676",\
                 "0.8916, 0.9534, 1.142, 1.471, 1.974, 2.676, 3.595, 4.752, 6.164, 7.851",\
                 "1.09, 1.155, 1.347, 1.679, 2.181, 2.884, 3.805, 4.962, 6.375, 8.059",\
                 "1.275, 1.344, 1.541, 1.875, 2.38, 3.082, 4.003, 5.16, 6.574, 8.258",\
                 "1.439, 1.513, 1.717, 2.053, 2.558, 3.261, 4.183, 5.34, 6.756, 8.436",\
                 "1.575, 1.656, 1.87, 2.209, 2.712, 3.414, 4.337, 5.498, 6.909, 8.593",\
                 "1.679, 1.768, 1.996, 2.339, 2.841, 3.543, 4.465, 5.624, 7.04, 8.724",\
                 "1.748, 1.845, 2.09, 2.438, 2.942, 3.642, 4.562, 5.723, 7.137, 8.822");
        }

        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.005331, 0.02053, 0.04957, 0.0948, 0.1583, 0.2418, 0.347, 0.4754, 0.6285");
          values("0.2921, 0.3378, 0.4704, 0.6844, 0.9958, 1.423, 2.005, 2.76, 3.707, 4.844",\
                 "0.2924, 0.3378, 0.4706, 0.685, 0.9954, 1.425, 2.005, 2.759, 3.702, 4.846",\
                 "0.292, 0.3374, 0.4698, 0.6844, 0.9948, 1.424, 2.005, 2.758, 3.704, 4.846",\
                 "0.293, 0.3372, 0.4706, 0.6852, 0.9952, 1.423, 2.005, 2.758, 3.704, 4.843",\
                 "0.2934, 0.3392, 0.472, 0.6856, 0.9952, 1.425, 2.004, 2.762, 3.706, 4.844",\
                 "0.3294, 0.372, 0.4952, 0.7016, 1.006, 1.431, 2.008, 2.763, 3.703, 4.841",\
                 "0.3836, 0.4284, 0.5484, 0.7446, 1.041, 1.459, 2.026, 2.77, 3.71, 4.848",\
                 "0.4394, 0.492, 0.6132, 0.7992, 1.082, 1.492, 2.055, 2.795, 3.725, 4.857",\
                 "0.4944, 0.5494, 0.6826, 0.8632, 1.135, 1.527, 2.082, 2.812, 3.742, 4.868",\
                 "0.55, 0.61, 0.752, 0.938, 1.19, 1.572, 2.11, 2.834, 3.756, 4.884");
        }

        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.005331, 0.02053, 0.04957, 0.0948, 0.1583, 0.2418, 0.347, 0.4754, 0.6285");
          values("0.2499, 0.3256, 0.5883, 1.119, 1.965, 3.162, 4.735, 6.718, 9.139, 12.03",\
                 "0.2508, 0.3251, 0.5886, 1.118, 1.965, 3.163, 4.734, 6.718, 9.136, 12.03",\
                 "0.251, 0.3247, 0.5888, 1.118, 1.967, 3.162, 4.736, 6.717, 9.14, 12.02",\
                 "0.2552, 0.3284, 0.5898, 1.119, 1.967, 3.162, 4.737, 6.717, 9.139, 12.01",\
                 "0.2748, 0.3468, 0.6034, 1.124, 1.966, 3.159, 4.737, 6.718, 9.138, 12.02",\
                 "0.3052, 0.3712, 0.618, 1.135, 1.973, 3.161, 4.729, 6.715, 9.14, 12.01",\
                 "0.3394, 0.4044, 0.6396, 1.142, 1.978, 3.168, 4.737, 6.712, 9.137, 12.03",\
                 "0.3814, 0.4442, 0.6638, 1.152, 1.982, 3.174, 4.74, 6.717, 9.134, 12.01",\
                 "0.4276, 0.4912, 0.6972, 1.165, 1.986, 3.174, 4.748, 6.719, 9.13, 12.01",\
                 "0.475, 0.542, 0.7426, 1.183, 1.99, 3.176, 4.746, 6.724, 9.132, 12");
        }
      }
    }
  }