  cell(gf180mcu_fd_sc_mcu9t5v0__xor3_4) {
    area : 90.316800 ;

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

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

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

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

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

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

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

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

    leakage_power() {
      related_pg_pin : "VDD" ;
      value : "5.89608e-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.004794 ;
      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.004968 ;
      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.008136 ;
      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(Z) {
      direction : output ;
      function : "(A1^A2^A3)" ;
      max_capacitance : 1.256 ;
      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.009661, 0.04006, 0.09812, 0.1886, 0.3155, 0.4825, 0.6928, 0.9497, 1.256");
          values("0.1108, 0.1108, 0.1114, 0.1126, 0.1137, 0.1145, 0.1151, 0.1155, 0.1158, 0.116",\
                 "0.1107, 0.1107, 0.1113, 0.1124, 0.1136, 0.1144, 0.115, 0.1154, 0.1157, 0.1159",\
                 "0.1105, 0.1105, 0.1111, 0.1122, 0.1134, 0.1142, 0.1148, 0.1152, 0.1155, 0.1157",\
                 "0.1104, 0.1103, 0.111, 0.1121, 0.1133, 0.1141, 0.1147, 0.1151, 0.1154, 0.1156",\
                 "0.1103, 0.1103, 0.1108, 0.112, 0.1132, 0.114, 0.1146, 0.115, 0.1153, 0.1155",\
                 "0.1102, 0.1102, 0.1108, 0.1119, 0.1131, 0.1139, 0.1145, 0.1149, 0.1152, 0.1154",\
                 "0.1102, 0.1102, 0.1108, 0.1119, 0.1131, 0.1139, 0.1145, 0.1149, 0.1152, 0.1153",\
                 "0.1102, 0.1102, 0.1108, 0.112, 0.1132, 0.114, 0.1146, 0.115, 0.1153, 0.1155",\
                 "0.1106, 0.1105, 0.1112, 0.1123, 0.1134, 0.1143, 0.1149, 0.1153, 0.1155, 0.1157",\
                 "0.111, 0.1109, 0.1116, 0.1127, 0.1138, 0.1147, 0.1153, 0.1157, 0.1159, 0.116");
        }

        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.009661, 0.04006, 0.09812, 0.1886, 0.3155, 0.4825, 0.6928, 0.9497, 1.256");
          values("0.1023, 0.1025, 0.103, 0.1041, 0.1054, 0.1069, 0.1081, 0.1094, 0.1175, 0.1796",\
                 "0.1023, 0.1025, 0.1032, 0.104, 0.1055, 0.1071, 0.1089, 0.1099, 0.1188, 0.1829",\
                 "0.1023, 0.1024, 0.103, 0.104, 0.1053, 0.107, 0.1083, 0.1104, 0.119, 0.187",\
                 "0.1021, 0.1023, 0.1029, 0.1038, 0.1051, 0.1069, 0.1078, 0.1106, 0.1213, 0.1983",\
                 "0.1019, 0.1022, 0.1027, 0.1037, 0.105, 0.1067, 0.1085, 0.11, 0.1238, 0.2157",\
                 "0.102, 0.1021, 0.1027, 0.1036, 0.1051, 0.1066, 0.1079, 0.111, 0.1281, 0.2431",\
                 "0.102, 0.1021, 0.1026, 0.1037, 0.1051, 0.1067, 0.1081, 0.1116, 0.1375, 0.2861",\
                 "0.1021, 0.1023, 0.1029, 0.104, 0.1051, 0.1069, 0.108, 0.1126, 0.1533, 0.3554",\
                 "0.1024, 0.1026, 0.1032, 0.104, 0.1052, 0.1072, 0.1091, 0.1164, 0.1844, 0.4594",\
                 "0.1027, 0.1029, 0.1036, 0.1043, 0.1057, 0.1064, 0.1095, 0.127, 0.2465, 0.6166");
        }
      }

      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.009661, 0.04006, 0.09812, 0.1886, 0.3155, 0.4825, 0.6928, 0.9497, 1.256");
          values("0.1255, 0.1259, 0.127, 0.1283, 0.1295, 0.1303, 0.1308, 0.1311, 0.1313, 0.1315",\
                 "0.1255, 0.1259, 0.127, 0.1283, 0.1295, 0.1302, 0.1308, 0.1311, 0.1313, 0.1315",\
                 "0.1255, 0.1258, 0.127, 0.1283, 0.1294, 0.1302, 0.1307, 0.1311, 0.1313, 0.1314",\
                 "0.1253, 0.1257, 0.1268, 0.1281, 0.1293, 0.13, 0.1306, 0.1309, 0.1311, 0.1313",\
                 "0.1252, 0.1255, 0.1267, 0.128, 0.1291, 0.1299, 0.1304, 0.1308, 0.131, 0.1311",\
                 "0.1251, 0.1255, 0.1266, 0.128, 0.1291, 0.1298, 0.1304, 0.1307, 0.1309, 0.1311",\
                 "0.1251, 0.1255, 0.1266, 0.128, 0.1291, 0.1299, 0.1304, 0.1307, 0.131, 0.1311",\
                 "0.1253, 0.1256, 0.1268, 0.1282, 0.1293, 0.1301, 0.1306, 0.1309, 0.1311, 0.1313",\
                 "0.1255, 0.1258, 0.127, 0.1284, 0.1295, 0.1303, 0.1308, 0.1312, 0.1314, 0.1315",\
                 "0.1259, 0.1262, 0.1274, 0.1287, 0.1299, 0.1307, 0.1312, 0.1315, 0.1318, 0.1319");
        }

        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.009661, 0.04006, 0.09812, 0.1886, 0.3155, 0.4825, 0.6928, 0.9497, 1.256");
          values("0.113, 0.1134, 0.1143, 0.1161, 0.1177, 0.1194, 0.1204, 0.1219, 0.13, 0.1924",\
                 "0.113, 0.1132, 0.1142, 0.1159, 0.1175, 0.1195, 0.1211, 0.1219, 0.13, 0.1946",\
                 "0.1127, 0.1131, 0.114, 0.1156, 0.1174, 0.1193, 0.1208, 0.1218, 0.1309, 0.2",\
                 "0.1125, 0.113, 0.1138, 0.1155, 0.1173, 0.1189, 0.1201, 0.1217, 0.1329, 0.211",\
                 "0.1125, 0.1129, 0.1139, 0.1153, 0.1172, 0.1187, 0.1199, 0.1218, 0.1367, 0.235",\
                 "0.1124, 0.1127, 0.1137, 0.1153, 0.1171, 0.1187, 0.1205, 0.1221, 0.1445, 0.2759",\
                 "0.1124, 0.1128, 0.1137, 0.1154, 0.1171, 0.1185, 0.1199, 0.1232, 0.1598, 0.3461",\
                 "0.1125, 0.1128, 0.114, 0.1155, 0.1172, 0.1187, 0.1201, 0.1289, 0.1959, 0.4718",\
                 "0.1128, 0.1131, 0.1141, 0.1158, 0.1176, 0.1191, 0.1211, 0.1414, 0.2798, 0.6738",\
                 "0.1132, 0.1136, 0.1144, 0.1158, 0.1177, 0.1195, 0.1255, 0.1913, 0.4665, 0.934");
        }
      }

      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.009661, 0.04006, 0.09812, 0.1886, 0.3155, 0.4825, 0.6928, 0.9497, 1.256");
          values("0.08942, 0.0894, 0.08997, 0.0911, 0.09223, 0.0931, 0.0937, 0.0941, 0.09436, 0.09455",\
                 "0.08943, 0.0894, 0.09, 0.09108, 0.09222, 0.0931, 0.09369, 0.09408, 0.09436, 0.09454",\
                 "0.08935, 0.08937, 0.08992, 0.09105, 0.09219, 0.09306, 0.09367, 0.09406, 0.09433, 0.09452",\
                 "0.08927, 0.08926, 0.0898, 0.09091, 0.09206, 0.09292, 0.09351, 0.09392, 0.09419, 0.09437",\
                 "0.08904, 0.08901, 0.08958, 0.09069, 0.09182, 0.0927, 0.09329, 0.09369, 0.09396, 0.09415",\
                 "0.08883, 0.08878, 0.08937, 0.09048, 0.09163, 0.09251, 0.09312, 0.09353, 0.0938, 0.094",\
                 "0.08887, 0.08874, 0.08936, 0.09047, 0.09156, 0.09243, 0.09305, 0.09346, 0.09375, 0.09395",\
                 "0.08888, 0.08886, 0.08933, 0.09047, 0.09158, 0.09245, 0.09307, 0.09347, 0.09375, 0.09395",\
                 "0.08911, 0.08901, 0.08954, 0.09059, 0.09172, 0.09258, 0.09322, 0.09365, 0.09394, 0.09413",\
                 "0.08945, 0.08934, 0.08987, 0.09094, 0.09201, 0.09288, 0.09352, 0.09393, 0.09423, 0.09445");
        }

        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.009661, 0.04006, 0.09812, 0.1886, 0.3155, 0.4825, 0.6928, 0.9497, 1.256");
          values("0.09919, 0.09936, 0.09991, 0.101, 0.1023, 0.104, 0.1053, 0.1066, 0.1131, 0.1663",\
                 "0.09923, 0.09938, 0.09989, 0.101, 0.1024, 0.104, 0.1051, 0.1071, 0.1132, 0.1675",\
                 "0.09904, 0.09916, 0.09993, 0.1008, 0.1022, 0.1041, 0.1049, 0.1069, 0.1142, 0.1727",\
                 "0.09886, 0.09899, 0.09962, 0.1007, 0.102, 0.1035, 0.1052, 0.1068, 0.1151, 0.1829",\
                 "0.09874, 0.09883, 0.09964, 0.1005, 0.1019, 0.1035, 0.1053, 0.1071, 0.1181, 0.2035",\
                 "0.09876, 0.09883, 0.09941, 0.1005, 0.1019, 0.1034, 0.1047, 0.1071, 0.125, 0.2423",\
                 "0.09882, 0.09891, 0.09957, 0.1006, 0.1019, 0.1036, 0.1052, 0.1086, 0.1419, 0.3166",\
                 "0.099, 0.09914, 0.09971, 0.1007, 0.1021, 0.1038, 0.1049, 0.1128, 0.1795, 0.4549",\
                 "0.09941, 0.09951, 0.09993, 0.1011, 0.1024, 0.1037, 0.1058, 0.1292, 0.2784, 0.6842",\
                 "0.09991, 0.1001, 0.1005, 0.1012, 0.1024, 0.1045, 0.1122, 0.1958, 0.5026, 0.9653");
        }
      }

      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.009661, 0.04006, 0.09812, 0.1886, 0.3155, 0.4825, 0.6928, 0.9497, 1.256");
          values("0.1225, 0.1228, 0.1239, 0.1253, 0.1264, 0.1272, 0.1277, 0.128, 0.1282, 0.1284",\
                 "0.1225, 0.1228, 0.1239, 0.1253, 0.1264, 0.1272, 0.1277, 0.128, 0.1282, 0.1284",\
                 "0.1223, 0.1226, 0.1238, 0.1251, 0.1262, 0.127, 0.1275, 0.1279, 0.1281, 0.1283",\
                 "0.1221, 0.1225, 0.1235, 0.1249, 0.126, 0.1268, 0.1273, 0.1276, 0.1279, 0.128",\
                 "0.122, 0.1224, 0.1234, 0.1248, 0.1259, 0.1267, 0.1272, 0.1276, 0.1278, 0.1279",\
                 "0.122, 0.1224, 0.1234, 0.1248, 0.1259, 0.1267, 0.1272, 0.1276, 0.1278, 0.1279",\
                 "0.122, 0.1224, 0.1235, 0.1249, 0.126, 0.1268, 0.1273, 0.1276, 0.1279, 0.128",\
                 "0.1223, 0.1226, 0.1238, 0.1251, 0.1262, 0.127, 0.1275, 0.1278, 0.1281, 0.1282",\
                 "0.1224, 0.1228, 0.1239, 0.1253, 0.1264, 0.1272, 0.1277, 0.1281, 0.1283, 0.1284",\
                 "0.1228, 0.1232, 0.1243, 0.1256, 0.1268, 0.1276, 0.1281, 0.1284, 0.1287, 0.1286");
        }

        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.009661, 0.04006, 0.09812, 0.1886, 0.3155, 0.4825, 0.6928, 0.9497, 1.256");
          values("0.09148, 0.09192, 0.09289, 0.0944, 0.09611, 0.09777, 0.09891, 0.1004, 0.1055, 0.1469",\
                 "0.09143, 0.09195, 0.09274, 0.09457, 0.09615, 0.09778, 0.09891, 0.1002, 0.1053, 0.1484",\
                 "0.0915, 0.09177, 0.09282, 0.09442, 0.09606, 0.09793, 0.09947, 0.1004, 0.1062, 0.1516",\
                 "0.09141, 0.09177, 0.09278, 0.09433, 0.09588, 0.0976, 0.0988, 0.1006, 0.1064, 0.1597",\
                 "0.09131, 0.09162, 0.0926, 0.09421, 0.09595, 0.0978, 0.09879, 0.1005, 0.109, 0.173",\
                 "0.09121, 0.0916, 0.09264, 0.09419, 0.09604, 0.09753, 0.09871, 0.1006, 0.1128, 0.1959",\
                 "0.09127, 0.09153, 0.09278, 0.09413, 0.09577, 0.09762, 0.0988, 0.101, 0.1195, 0.2334",\
                 "0.09132, 0.09184, 0.09269, 0.09413, 0.09602, 0.09757, 0.0986, 0.1015, 0.131, 0.2942",\
                 "0.09169, 0.09202, 0.09291, 0.09442, 0.09573, 0.09789, 0.09973, 0.1044, 0.1569, 0.3939",\
                 "0.09209, 0.09246, 0.0933, 0.09489, 0.0966, 0.09755, 0.09932, 0.1136, 0.2141, 0.5544");
        }
      }

      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.009661, 0.04006, 0.09812, 0.1886, 0.3155, 0.4825, 0.6928, 0.9497, 1.256");
          values("0.1098, 0.1098, 0.1104, 0.1116, 0.1127, 0.1136, 0.1142, 0.1146, 0.1148, 0.115",\
                 "0.1096, 0.1096, 0.1102, 0.1113, 0.1125, 0.1134, 0.114, 0.1144, 0.1146, 0.1148",\
                 "0.1094, 0.1094, 0.11, 0.1111, 0.1123, 0.1131, 0.1137, 0.1141, 0.1144, 0.1146",\
                 "0.1093, 0.1093, 0.1099, 0.111, 0.1122, 0.113, 0.1136, 0.114, 0.1143, 0.1145",\
                 "0.1093, 0.1093, 0.1099, 0.111, 0.1122, 0.113, 0.1136, 0.114, 0.1143, 0.1145",\
                 "0.1093, 0.1093, 0.1099, 0.1111, 0.1122, 0.1131, 0.1137, 0.1141, 0.1143, 0.1145",\
                 "0.1095, 0.1095, 0.1101, 0.1112, 0.1124, 0.1132, 0.1138, 0.1142, 0.1145, 0.1147",\
                 "0.1097, 0.1097, 0.1103, 0.1115, 0.1126, 0.1135, 0.114, 0.1144, 0.1147, 0.1149",\
                 "0.11, 0.11, 0.1106, 0.1118, 0.1129, 0.1138, 0.1144, 0.1148, 0.115, 0.1152",\
                 "0.1105, 0.1104, 0.111, 0.1122, 0.1133, 0.1142, 0.1148, 0.1152, 0.1154, 0.1154");
        }

        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.009661, 0.04006, 0.09812, 0.1886, 0.3155, 0.4825, 0.6928, 0.9497, 1.256");
          values("0.1001, 0.1003, 0.101, 0.1018, 0.1031, 0.1048, 0.106, 0.1077, 0.115, 0.1754",\
                 "0.1002, 0.1003, 0.101, 0.1018, 0.1032, 0.1049, 0.1065, 0.1077, 0.1157, 0.1763",\
                 "0.1001, 0.1003, 0.101, 0.1019, 0.1033, 0.105, 0.106, 0.1085, 0.1165, 0.1814",\
                 "0.09998, 0.1002, 0.1007, 0.1018, 0.1031, 0.1047, 0.1063, 0.1082, 0.1174, 0.1924",\
                 "0.09995, 0.1001, 0.1008, 0.1017, 0.103, 0.1049, 0.1065, 0.1079, 0.1205, 0.2099",\
                 "0.09992, 0.1, 0.1006, 0.1016, 0.1031, 0.1049, 0.1057, 0.1081, 0.1249, 0.235",\
                 "0.09993, 0.1001, 0.1008, 0.1016, 0.1031, 0.1049, 0.1059, 0.1083, 0.1324, 0.2756",\
                 "0.1002, 0.1003, 0.1009, 0.1018, 0.1033, 0.1048, 0.1061, 0.1102, 0.1481, 0.3403",\
                 "0.1004, 0.1006, 0.1011, 0.1019, 0.1034, 0.1054, 0.1071, 0.1138, 0.1764, 0.4409",\
                 "0.1008, 0.101, 0.1016, 0.1025, 0.1039, 0.1044, 0.1074, 0.1235, 0.2348, 0.5922");
        }
      }

      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.009661, 0.04006, 0.09812, 0.1886, 0.3155, 0.4825, 0.6928, 0.9497, 1.256");
          values("0.1233, 0.1236, 0.1248, 0.1261, 0.1272, 0.128, 0.1285, 0.1289, 0.1291, 0.1292",\
                 "0.1233, 0.1237, 0.1248, 0.1262, 0.1273, 0.1281, 0.1286, 0.1289, 0.1291, 0.1293",\
                 "0.1233, 0.1236, 0.1248, 0.1261, 0.1272, 0.128, 0.1285, 0.1289, 0.1291, 0.1293",\
                 "0.1232, 0.1235, 0.1247, 0.126, 0.1271, 0.1279, 0.1284, 0.1288, 0.129, 0.1291",\
                 "0.1231, 0.1235, 0.1246, 0.1259, 0.1271, 0.1278, 0.1284, 0.1287, 0.1289, 0.1291",\
                 "0.1231, 0.1235, 0.1246, 0.1259, 0.127, 0.1278, 0.1283, 0.1287, 0.1289, 0.129",\
                 "0.1231, 0.1235, 0.1246, 0.126, 0.1271, 0.1279, 0.1284, 0.1287, 0.129, 0.1291",\
                 "0.1233, 0.1237, 0.1248, 0.1261, 0.1273, 0.1281, 0.1286, 0.1289, 0.1291, 0.1293",\
                 "0.1236, 0.1239, 0.125, 0.1264, 0.1275, 0.1283, 0.1288, 0.1292, 0.1294, 0.1295",\
                 "0.124, 0.1243, 0.1254, 0.1268, 0.1279, 0.1287, 0.1292, 0.1295, 0.1298, 0.1299");
        }

        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.009661, 0.04006, 0.09812, 0.1886, 0.3155, 0.4825, 0.6928, 0.9497, 1.256");
          values("0.112, 0.1124, 0.1133, 0.1149, 0.1167, 0.1182, 0.1196, 0.1211, 0.1295, 0.1903",\
                 "0.1119, 0.1122, 0.1131, 0.1148, 0.1164, 0.1181, 0.1193, 0.1206, 0.1291, 0.1899",\
                 "0.1116, 0.112, 0.113, 0.1145, 0.1164, 0.1182, 0.1191, 0.1209, 0.1295, 0.1967",\
                 "0.1115, 0.1119, 0.1128, 0.1145, 0.1163, 0.1179, 0.1189, 0.1209, 0.1313, 0.2092",\
                 "0.1115, 0.1119, 0.113, 0.1144, 0.1161, 0.1177, 0.1188, 0.1209, 0.1346, 0.2325",\
                 "0.1115, 0.1119, 0.1129, 0.1145, 0.1163, 0.1181, 0.1191, 0.1218, 0.1443, 0.2779",\
                 "0.1117, 0.112, 0.113, 0.1145, 0.1164, 0.1181, 0.1193, 0.123, 0.1623, 0.3579",\
                 "0.1119, 0.1123, 0.1133, 0.1148, 0.1168, 0.1185, 0.1203, 0.1284, 0.2053, 0.5008",\
                 "0.1122, 0.1126, 0.1134, 0.1153, 0.1168, 0.1184, 0.1205, 0.1457, 0.3064, 0.7229",\
                 "0.1127, 0.1131, 0.114, 0.1155, 0.1171, 0.1193, 0.1272, 0.2132, 0.5238, 0.9859");
        }
      }

      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.009661, 0.04006, 0.09812, 0.1886, 0.3155, 0.4825, 0.6928, 0.9497, 1.256");
          values("0.09007, 0.09006, 0.09062, 0.09174, 0.09288, 0.09374, 0.09434, 0.09475, 0.09502, 0.0952",\
                 "0.0901, 0.09009, 0.09065, 0.09177, 0.0929, 0.09379, 0.09439, 0.09477, 0.09504, 0.09523",\
                 "0.09013, 0.09006, 0.09066, 0.09179, 0.09293, 0.09379, 0.09438, 0.09479, 0.09505, 0.09525",\
                 "0.08998, 0.08998, 0.09056, 0.09166, 0.09281, 0.09368, 0.09428, 0.09467, 0.09495, 0.09513",\
                 "0.08979, 0.08981, 0.09037, 0.09148, 0.09264, 0.09349, 0.09408, 0.09449, 0.09477, 0.09495",\
                 "0.0896, 0.08961, 0.09016, 0.09126, 0.0924, 0.09328, 0.09389, 0.0943, 0.09458, 0.09478",\
                 "0.08959, 0.08957, 0.09008, 0.0912, 0.09232, 0.0932, 0.0938, 0.09421, 0.09449, 0.09468",\
                 "0.08951, 0.08948, 0.09003, 0.09111, 0.09224, 0.09314, 0.09375, 0.09415, 0.09444, 0.09463",\
                 "0.08966, 0.08958, 0.09016, 0.09118, 0.0923, 0.09319, 0.09382, 0.09424, 0.09454, 0.09474",\
                 "0.08999, 0.08993, 0.09034, 0.09139, 0.09251, 0.09338, 0.09402, 0.09443, 0.09474, 0.09494");
        }

        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.009661, 0.04006, 0.09812, 0.1886, 0.3155, 0.4825, 0.6928, 0.9497, 1.256");
          values("0.1008, 0.1009, 0.1014, 0.1026, 0.1039, 0.1055, 0.1069, 0.1084, 0.1149, 0.1719",\
                 "0.1007, 0.101, 0.1016, 0.1024, 0.1038, 0.1055, 0.1066, 0.1084, 0.1152, 0.1729",\
                 "0.1007, 0.1008, 0.1013, 0.1024, 0.1037, 0.1053, 0.1067, 0.109, 0.116, 0.177",\
                 "0.1005, 0.1006, 0.1011, 0.1023, 0.1036, 0.1052, 0.1066, 0.1087, 0.1173, 0.1885",\
                 "0.1005, 0.1006, 0.1011, 0.1022, 0.1035, 0.1052, 0.1065, 0.1092, 0.1208, 0.2104",\
                 "0.1004, 0.1006, 0.1013, 0.1022, 0.1036, 0.1053, 0.1071, 0.109, 0.1283, 0.2529",\
                 "0.1005, 0.1007, 0.1012, 0.1024, 0.1038, 0.1052, 0.1064, 0.1111, 0.1472, 0.3298",\
                 "0.1007, 0.1009, 0.1014, 0.1024, 0.1038, 0.1052, 0.1066, 0.1151, 0.1873, 0.4741",\
                 "0.1011, 0.1012, 0.1017, 0.1028, 0.1039, 0.1056, 0.1079, 0.1342, 0.2943, 0.7117",\
                 "0.1016, 0.1019, 0.1023, 0.1031, 0.1042, 0.1064, 0.1154, 0.21, 0.5319, 0.9902");
        }
      }

      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.009661, 0.04006, 0.09812, 0.1886, 0.3155, 0.4825, 0.6928, 0.9497, 1.256");
          values("0.1241, 0.1245, 0.1255, 0.1269, 0.128, 0.1288, 0.1293, 0.1297, 0.1299, 0.13",\
                 "0.124, 0.1244, 0.1255, 0.1269, 0.128, 0.1287, 0.1293, 0.1296, 0.1298, 0.1299",\
                 "0.1239, 0.1242, 0.1253, 0.1267, 0.1278, 0.1286, 0.1291, 0.1295, 0.1297, 0.1298",\
                 "0.1238, 0.1242, 0.1252, 0.1266, 0.1277, 0.1285, 0.129, 0.1294, 0.1296, 0.1298",\
                 "0.1237, 0.1241, 0.1252, 0.1265, 0.1277, 0.1285, 0.129, 0.1293, 0.1295, 0.1297",\
                 "0.1237, 0.1241, 0.1252, 0.1266, 0.1277, 0.1285, 0.129, 0.1293, 0.1296, 0.1297",\
                 "0.1239, 0.1242, 0.1253, 0.1267, 0.1278, 0.1286, 0.1291, 0.1294, 0.1297, 0.1298",\
                 "0.1241, 0.1244, 0.1255, 0.1269, 0.128, 0.1288, 0.1293, 0.1296, 0.1299, 0.13",\
                 "0.1243, 0.1247, 0.1258, 0.1271, 0.1283, 0.1291, 0.1296, 0.1299, 0.1301, 0.1302",\
                 "0.1246, 0.125, 0.126, 0.1275, 0.1286, 0.1294, 0.1299, 0.1302, 0.1304, 0.1303");
        }

        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.009661, 0.04006, 0.09812, 0.1886, 0.3155, 0.4825, 0.6928, 0.9497, 1.256");
          values("0.09218, 0.09256, 0.09346, 0.09505, 0.09678, 0.0984, 0.09951, 0.1011, 0.1059, 0.148",\
                 "0.09217, 0.09254, 0.09355, 0.09509, 0.09699, 0.09874, 0.1003, 0.1011, 0.106, 0.1492",\
                 "0.09216, 0.09251, 0.09343, 0.09498, 0.09683, 0.09868, 0.1003, 0.1011, 0.1062, 0.1523",\
                 "0.09213, 0.09253, 0.09345, 0.09505, 0.09672, 0.0985, 0.09974, 0.1007, 0.1073, 0.1594",\
                 "0.09205, 0.09231, 0.09354, 0.09498, 0.09681, 0.09832, 0.1, 0.1012, 0.1093, 0.172",\
                 "0.09191, 0.09229, 0.09346, 0.09485, 0.09679, 0.09845, 0.09985, 0.1011, 0.1119, 0.1936",\
                 "0.0919, 0.09227, 0.0935, 0.09487, 0.09665, 0.09823, 0.09936, 0.1016, 0.1182, 0.2278",\
                 "0.09202, 0.09236, 0.09327, 0.09469, 0.09681, 0.09836, 0.09954, 0.1025, 0.13, 0.2859",\
                 "0.09216, 0.09252, 0.09337, 0.09505, 0.09634, 0.09823, 0.1004, 0.1042, 0.1534, 0.3797",\
                 "0.09257, 0.09284, 0.0937, 0.09525, 0.09672, 0.09793, 0.09935, 0.1127, 0.2058, 0.5305");
        }
      }

      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.009661, 0.04006, 0.09812, 0.1886, 0.3155, 0.4825, 0.6928, 0.9497, 1.256");
          values("0.08675, 0.08675, 0.08744, 0.08855, 0.08969, 0.09053, 0.0911, 0.09148, 0.09175, 0.09193",\
                 "0.08659, 0.08665, 0.08729, 0.08842, 0.08954, 0.0904, 0.09096, 0.09135, 0.09161, 0.09179",\
                 "0.086, 0.08602, 0.08663, 0.08781, 0.08895, 0.08979, 0.09036, 0.09074, 0.091, 0.09118",\
                 "0.08531, 0.0853, 0.08589, 0.08703, 0.08816, 0.08903, 0.08962, 0.09002, 0.09029, 0.09048",\
                 "0.08482, 0.0848, 0.08533, 0.08635, 0.08743, 0.08832, 0.08897, 0.08941, 0.08971, 0.08993",\
                 "0.08485, 0.08475, 0.08509, 0.08589, 0.0869, 0.0878, 0.08849, 0.089, 0.08936, 0.08961",\
                 "0.08564, 0.08536, 0.08524, 0.0859, 0.08669, 0.08757, 0.0883, 0.08885, 0.08924, 0.08954",\
                 "0.08685, 0.08628, 0.08589, 0.08617, 0.0868, 0.08762, 0.08832, 0.08886, 0.08932, 0.08963",\
                 "0.08853, 0.08754, 0.08666, 0.08686, 0.08731, 0.08799, 0.08862, 0.08918, 0.08962, 0.08999",\
                 "0.09041, 0.08916, 0.08792, 0.08768, 0.08798, 0.08858, 0.08918, 0.08972, 0.09014, 0.09051");
        }

        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.009661, 0.04006, 0.09812, 0.1886, 0.3155, 0.4825, 0.6928, 0.9497, 1.256");
          values("0.05945, 0.05991, 0.06113, 0.06284, 0.06469, 0.06627, 0.06744, 0.0688, 0.07212, 0.09655",\
                 "0.05957, 0.05997, 0.06122, 0.06309, 0.06482, 0.06653, 0.06758, 0.06898, 0.07212, 0.09718",\
                 "0.05952, 0.05997, 0.06115, 0.06284, 0.06469, 0.06629, 0.06751, 0.06898, 0.07175, 0.09933",\
                 "0.05922, 0.05956, 0.06059, 0.06198, 0.06379, 0.06545, 0.06666, 0.06772, 0.07221, 0.1024",\
                 "0.05885, 0.05914, 0.05996, 0.06133, 0.06302, 0.06467, 0.06575, 0.06779, 0.07192, 0.1111",\
                 "0.05876, 0.05895, 0.0596, 0.0607, 0.06203, 0.06366, 0.06488, 0.06653, 0.07297, 0.1245",\
                 "0.05892, 0.05895, 0.05927, 0.06002, 0.06172, 0.0632, 0.06434, 0.06631, 0.0758, 0.1477",\
                 "0.05939, 0.05929, 0.05958, 0.06023, 0.06107, 0.06312, 0.06454, 0.06641, 0.08231, 0.1877",\
                 "0.06012, 0.05998, 0.06016, 0.06056, 0.06131, 0.06201, 0.06473, 0.06836, 0.09697, 0.2597",\
                 "0.06118, 0.06092, 0.0608, 0.06126, 0.06221, 0.06273, 0.06338, 0.07201, 0.1332, 0.3883");
        }
      }

      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.009661, 0.04006, 0.09812, 0.1886, 0.3155, 0.4825, 0.6928, 0.9497, 1.256");
          values("0.09289, 0.09329, 0.09446, 0.09579, 0.0969, 0.09767, 0.09818, 0.09851, 0.09873, 0.09888",\
                 "0.09291, 0.09329, 0.09445, 0.09582, 0.09694, 0.09769, 0.09819, 0.09852, 0.09874, 0.09889",\
                 "0.09269, 0.09306, 0.0942, 0.09557, 0.09667, 0.09742, 0.09792, 0.09825, 0.09848, 0.09861",\
                 "0.09172, 0.09208, 0.09322, 0.09456, 0.09568, 0.09645, 0.09695, 0.09729, 0.09751, 0.09766",\
                 "0.09088, 0.0912, 0.09233, 0.09372, 0.09489, 0.09565, 0.09617, 0.0965, 0.09673, 0.09687",\
                 "0.09033, 0.09068, 0.09187, 0.09321, 0.09436, 0.0951, 0.09561, 0.09596, 0.09616, 0.09632",\
                 "0.09007, 0.09037, 0.09145, 0.09283, 0.09397, 0.09478, 0.09528, 0.09561, 0.09584, 0.09598",\
                 "0.08999, 0.09032, 0.09137, 0.09269, 0.09384, 0.09459, 0.09515, 0.09552, 0.09575, 0.09589",\
                 "0.09006, 0.09041, 0.09145, 0.09273, 0.09386, 0.09467, 0.09522, 0.09554, 0.09579, 0.09597",\
                 "0.09037, 0.09068, 0.09168, 0.09294, 0.09409, 0.09489, 0.09543, 0.09579, 0.09606, 0.09622");
        }

        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.009661, 0.04006, 0.09812, 0.1886, 0.3155, 0.4825, 0.6928, 0.9497, 1.256");
          values("0.09929, 0.09964, 0.1005, 0.102, 0.1037, 0.1053, 0.1065, 0.1077, 0.1113, 0.146",\
                 "0.09925, 0.09957, 0.1004, 0.1018, 0.1035, 0.1052, 0.1064, 0.1076, 0.112, 0.1463",\
                 "0.09936, 0.09958, 0.1005, 0.1019, 0.1036, 0.1053, 0.1069, 0.1078, 0.1119, 0.1497",\
                 "0.09926, 0.09949, 0.1004, 0.1018, 0.1037, 0.1053, 0.1063, 0.1076, 0.1129, 0.157",\
                 "0.09897, 0.09927, 0.1001, 0.1015, 0.1032, 0.1048, 0.1062, 0.1077, 0.1148, 0.1719",\
                 "0.09864, 0.099, 0.09986, 0.1014, 0.1032, 0.1047, 0.1059, 0.1077, 0.1187, 0.1989",\
                 "0.09851, 0.09879, 0.0997, 0.1011, 0.1028, 0.1044, 0.1057, 0.1078, 0.1276, 0.2472",\
                 "0.09861, 0.09889, 0.09968, 0.1009, 0.1028, 0.1042, 0.1054, 0.1091, 0.147, 0.339",\
                 "0.09877, 0.09907, 0.09981, 0.1009, 0.1026, 0.1045, 0.1055, 0.1159, 0.1976, 0.5033",\
                 "0.09918, 0.09939, 0.1003, 0.1013, 0.1027, 0.1043, 0.1078, 0.1405, 0.3258, 0.7634");
        }
      }

      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.009661, 0.04006, 0.09812, 0.1886, 0.3155, 0.4825, 0.6928, 0.9497, 1.256");
          values("0.09292, 0.09329, 0.09446, 0.09578, 0.0969, 0.09767, 0.09817, 0.0985, 0.09871, 0.09886",\
                 "0.09291, 0.0933, 0.09445, 0.09582, 0.09694, 0.09769, 0.09819, 0.09852, 0.09874, 0.09889",\
                 "0.09269, 0.09306, 0.0942, 0.09555, 0.09667, 0.09742, 0.09792, 0.09826, 0.09848, 0.09861",\
                 "0.09171, 0.09208, 0.09322, 0.09456, 0.09568, 0.09645, 0.09695, 0.09729, 0.09751, 0.09766",\
                 "0.09091, 0.09121, 0.0923, 0.09371, 0.09487, 0.09566, 0.09615, 0.0965, 0.09673, 0.09688",\
                 "0.09035, 0.09068, 0.09187, 0.09319, 0.09436, 0.09511, 0.09561, 0.09593, 0.09616, 0.09632",\
                 "0.09006, 0.09037, 0.09145, 0.09283, 0.09397, 0.09478, 0.09528, 0.09561, 0.09584, 0.09598",\
                 "0.08999, 0.09032, 0.09136, 0.09269, 0.09384, 0.09461, 0.09516, 0.09552, 0.09575, 0.09589",\
                 "0.09006, 0.09043, 0.09141, 0.09273, 0.09387, 0.09467, 0.09522, 0.09555, 0.09581, 0.09597",\
                 "0.09032, 0.09061, 0.09168, 0.09294, 0.09409, 0.09488, 0.09545, 0.09578, 0.09605, 0.09622");
        }

        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.009661, 0.04006, 0.09812, 0.1886, 0.3155, 0.4825, 0.6928, 0.9497, 1.256");
          values("0.09929, 0.09964, 0.1005, 0.102, 0.1037, 0.1053, 0.1065, 0.1077, 0.1113, 0.146",\
                 "0.09933, 0.0996, 0.1004, 0.1019, 0.1036, 0.1053, 0.1065, 0.1074, 0.1118, 0.1465",\
                 "0.09936, 0.09958, 0.1004, 0.1018, 0.1038, 0.1052, 0.1065, 0.108, 0.1121, 0.1504",\
                 "0.09926, 0.09946, 0.1003, 0.1018, 0.1037, 0.1054, 0.1063, 0.1076, 0.1127, 0.1565",\
                 "0.09894, 0.09929, 0.1001, 0.1016, 0.1032, 0.105, 0.1062, 0.1077, 0.1147, 0.1715",\
                 "0.0987, 0.09899, 0.09988, 0.1014, 0.1029, 0.1047, 0.1059, 0.1071, 0.1185, 0.1977",\
                 "0.09856, 0.09874, 0.09975, 0.1012, 0.1028, 0.1044, 0.1056, 0.1078, 0.1276, 0.2478",\
                 "0.09856, 0.09889, 0.09963, 0.1009, 0.1026, 0.1042, 0.1055, 0.1093, 0.147, 0.3404",\
                 "0.09876, 0.099, 0.09991, 0.1011, 0.1026, 0.1046, 0.1055, 0.1157, 0.197, 0.5033",\
                 "0.09919, 0.09945, 0.1002, 0.1013, 0.1028, 0.1044, 0.1077, 0.1405, 0.326, 0.763");
        }
      }

      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.009661, 0.04006, 0.09812, 0.1886, 0.3155, 0.4825, 0.6928, 0.9497, 1.256");
          values("0.08676, 0.08676, 0.08741, 0.08856, 0.08968, 0.09053, 0.09109, 0.09148, 0.09174, 0.09192",\
                 "0.0866, 0.08657, 0.08726, 0.08842, 0.08955, 0.0904, 0.09097, 0.09135, 0.09161, 0.09179",\
                 "0.08596, 0.086, 0.08664, 0.0878, 0.08895, 0.08979, 0.09038, 0.09076, 0.09102, 0.0912",\
                 "0.0853, 0.08528, 0.08591, 0.08703, 0.08816, 0.08902, 0.08962, 0.09001, 0.09029, 0.09048",\
                 "0.08481, 0.08482, 0.08537, 0.08634, 0.08744, 0.08833, 0.08897, 0.08941, 0.08971, 0.08993",\
                 "0.0849, 0.08479, 0.0851, 0.08589, 0.08689, 0.08779, 0.08849, 0.08899, 0.08936, 0.08962",\
                 "0.08564, 0.08539, 0.08535, 0.08589, 0.08672, 0.08755, 0.08829, 0.08885, 0.08925, 0.08952",\
                 "0.08683, 0.08628, 0.08587, 0.08613, 0.08684, 0.08762, 0.08828, 0.0889, 0.08929, 0.08963",\
                 "0.08845, 0.08761, 0.08686, 0.08677, 0.08729, 0.08794, 0.08861, 0.0892, 0.08962, 0.08997",\
                 "0.09041, 0.08922, 0.08798, 0.08764, 0.08796, 0.08856, 0.08915, 0.08973, 0.09017, 0.09048");
        }

        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.009661, 0.04006, 0.09812, 0.1886, 0.3155, 0.4825, 0.6928, 0.9497, 1.256");
          values("0.05945, 0.05991, 0.06113, 0.06284, 0.06469, 0.06628, 0.06744, 0.0688, 0.07212, 0.09637",\
                 "0.05959, 0.05997, 0.0612, 0.06308, 0.06482, 0.06653, 0.06758, 0.06898, 0.07212, 0.09718",\
                 "0.05963, 0.05999, 0.06116, 0.06284, 0.06471, 0.06629, 0.06762, 0.06844, 0.07175, 0.09915",\
                 "0.0592, 0.05958, 0.06052, 0.06212, 0.06376, 0.06539, 0.06681, 0.06772, 0.07185, 0.1033",\
                 "0.05892, 0.05916, 0.05996, 0.0614, 0.06287, 0.06458, 0.06585, 0.06761, 0.07174, 0.1119",\
                 "0.05873, 0.05902, 0.05947, 0.06065, 0.06205, 0.06374, 0.06494, 0.06653, 0.07315, 0.1249",\
                 "0.05889, 0.05902, 0.05933, 0.06005, 0.06194, 0.06314, 0.06452, 0.06595, 0.07634, 0.1478",\
                 "0.05945, 0.05934, 0.05971, 0.06011, 0.06088, 0.06314, 0.06445, 0.06641, 0.08231, 0.1875",\
                 "0.06014, 0.06007, 0.06021, 0.06034, 0.06129, 0.0625, 0.06482, 0.06818, 0.09818, 0.2599",\
                 "0.06121, 0.06096, 0.06089, 0.06131, 0.06199, 0.06257, 0.06352, 0.07183, 0.1332, 0.3883");
        }
      }

      timing() {
        related_pin : "A1" ;
        sdf_cond : "A2===1'b0 && 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.009661, 0.04006, 0.09812, 0.1886, 0.3155, 0.4825, 0.6928, 0.9497, 1.256");
          values("4.739, 4.797, 4.942, 5.136, 5.378, 5.68, 6.058, 6.525, 7.093, 7.768",\
                 "4.771, 4.83, 4.974, 5.168, 5.41, 5.713, 6.09, 6.557, 7.125, 7.8",\
                 "4.871, 4.93, 5.074, 5.268, 5.51, 5.812, 6.19, 6.657, 7.224, 7.899",\
                 "5.012, 5.07, 5.215, 5.408, 5.651, 5.953, 6.331, 6.798, 7.366, 8.041",\
                 "5.134, 5.192, 5.337, 5.53, 5.773, 6.075, 6.452, 6.92, 7.488, 8.162",\
                 "5.223, 5.282, 5.426, 5.62, 5.862, 6.165, 6.542, 7.01, 7.577, 8.252",\
                 "5.276, 5.335, 5.479, 5.673, 5.915, 6.217, 6.595, 7.062, 7.629, 8.305",\
                 "5.281, 5.339, 5.483, 5.678, 5.92, 6.222, 6.6, 7.067, 7.634, 8.309",\
                 "5.233, 5.291, 5.435, 5.629, 5.872, 6.174, 6.552, 7.019, 7.586, 8.261",\
                 "5.131, 5.189, 5.334, 5.528, 5.77, 6.072, 6.45, 6.918, 7.485, 8.16");
        }

        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.009661, 0.04006, 0.09812, 0.1886, 0.3155, 0.4825, 0.6928, 0.9497, 1.256");
          values("4.203, 4.282, 4.499, 4.845, 5.352, 6.055, 6.975, 8.134, 9.549, 11.23",\
                 "4.224, 4.303, 4.519, 4.865, 5.372, 6.075, 6.996, 8.155, 9.567, 11.25",\
                 "4.315, 4.394, 4.61, 4.955, 5.463, 6.165, 7.086, 8.245, 9.659, 11.34",\
                 "4.49, 4.569, 4.785, 5.132, 5.639, 6.342, 7.262, 8.422, 9.837, 11.52",\
                 "4.759, 4.838, 5.054, 5.4, 5.908, 6.61, 7.531, 8.689, 10.11, 11.79",\
                 "5.129, 5.209, 5.425, 5.771, 6.278, 6.981, 7.902, 9.061, 10.48, 12.16",\
                 "5.588, 5.666, 5.882, 6.228, 6.736, 7.438, 8.359, 9.517, 10.93, 12.62",\
                 "6.107, 6.186, 6.401, 6.748, 7.255, 7.957, 8.878, 10.04, 11.45, 13.13",\
                 "6.694, 6.774, 6.989, 7.336, 7.843, 8.546, 9.467, 10.62, 12.04, 13.72",\
                 "7.354, 7.432, 7.649, 7.995, 8.503, 9.205, 10.13, 11.28, 12.69, 14.38");
        }

        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.009661, 0.04006, 0.09812, 0.1886, 0.3155, 0.4825, 0.6928, 0.9497, 1.256");
          values("0.2558, 0.3004, 0.419, 0.619, 0.9218, 1.359, 1.956, 2.732, 3.69, 4.841",\
                 "0.2558, 0.2986, 0.419, 0.6198, 0.9224, 1.359, 1.957, 2.732, 3.687, 4.836",\
                 "0.2554, 0.2984, 0.42, 0.6194, 0.9216, 1.359, 1.957, 2.733, 3.686, 4.838",\
                 "0.2554, 0.298, 0.4184, 0.6198, 0.922, 1.359, 1.955, 2.731, 3.692, 4.842",\
                 "0.2554, 0.2982, 0.4192, 0.6194, 0.9222, 1.358, 1.957, 2.732, 3.69, 4.841",\
                 "0.2562, 0.3, 0.42, 0.6212, 0.9218, 1.358, 1.957, 2.731, 3.691, 4.838",\
                 "0.2556, 0.3002, 0.4194, 0.62, 0.922, 1.358, 1.957, 2.73, 3.692, 4.841",\
                 "0.2556, 0.2982, 0.4198, 0.6198, 0.9228, 1.358, 1.954, 2.732, 3.69, 4.84",\
                 "0.256, 0.3, 0.418, 0.618, 0.922, 1.358, 1.954, 2.73, 3.686, 4.834",\
                 "0.256, 0.298, 0.42, 0.618, 0.922, 1.358, 1.956, 2.73, 3.69, 4.83");
        }

        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.009661, 0.04006, 0.09812, 0.1886, 0.3155, 0.4825, 0.6928, 0.9497, 1.256");
          values("0.2892, 0.3668, 0.625, 1.131, 1.96, 3.147, 4.723, 6.707, 9.123, 12.01",\
                 "0.2896, 0.3668, 0.6248, 1.13, 1.961, 3.147, 4.719, 6.698, 9.132, 12",\
                 "0.2886, 0.367, 0.6244, 1.13, 1.959, 3.147, 4.72, 6.706, 9.119, 12.01",\
                 "0.2888, 0.3668, 0.625, 1.131, 1.959, 3.15, 4.722, 6.706, 9.133, 11.99",\
                 "0.2898, 0.3674, 0.6258, 1.13, 1.958, 3.149, 4.723, 6.709, 9.132, 12.02",\
                 "0.289, 0.3668, 0.6252, 1.129, 1.959, 3.151, 4.719, 6.707, 9.132, 12",\
                 "0.289, 0.3672, 0.625, 1.132, 1.958, 3.149, 4.722, 6.704, 9.132, 11.99",\
                 "0.29, 0.368, 0.626, 1.13, 1.96, 3.148, 4.722, 6.704, 9.124, 12.02",\
                 "0.288, 0.366, 0.624, 1.132, 1.958, 3.148, 4.724, 6.708, 9.12, 12.01",\
                 "0.29, 0.366, 0.624, 1.132, 1.962, 3.146, 4.712, 6.698, 9.116, 12");
        }
      }

      timing() {
        related_pin : "A1" ;
        sdf_cond : "A2===1'b1 && 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.009661, 0.04006, 0.09812, 0.1886, 0.3155, 0.4825, 0.6928, 0.9497, 1.256");
          values("2.425, 2.508, 2.709, 2.968, 3.272, 3.625, 4.039, 4.528, 5.106, 5.786",\
                 "2.449, 2.532, 2.732, 2.992, 3.296, 3.649, 4.063, 4.552, 5.13, 5.809",\
                 "2.534, 2.617, 2.818, 3.077, 3.381, 3.734, 4.148, 4.637, 5.215, 5.895",\
                 "2.695, 2.778, 2.979, 3.238, 3.542, 3.895, 4.309, 4.798, 5.376, 6.056",\
                 "2.926, 3.009, 3.21, 3.468, 3.772, 4.125, 4.54, 5.028, 5.607, 6.286",\
                 "3.16, 3.243, 3.444, 3.703, 4.006, 4.359, 4.773, 5.262, 5.84, 6.52",\
                 "3.363, 3.446, 3.647, 3.906, 4.211, 4.564, 4.978, 5.467, 6.045, 6.724",\
                 "3.527, 3.61, 3.812, 4.071, 4.375, 4.729, 5.143, 5.632, 6.209, 6.889",\
                 "3.647, 3.73, 3.932, 4.191, 4.496, 4.849, 5.263, 5.752, 6.33, 7.01",\
                 "3.717, 3.801, 4.003, 4.263, 4.567, 4.921, 5.335, 5.824, 6.403, 7.082");
        }

        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.009661, 0.04006, 0.09812, 0.1886, 0.3155, 0.4825, 0.6928, 0.9497, 1.256");
          values("3.545, 3.631, 3.857, 4.209, 4.719, 5.423, 6.344, 7.503, 8.917, 10.6",\
                 "3.577, 3.662, 3.889, 4.241, 4.751, 5.455, 6.377, 7.536, 8.949, 10.63",\
                 "3.673, 3.759, 3.985, 4.337, 4.847, 5.55, 6.473, 7.632, 9.045, 10.73",\
                 "3.869, 3.955, 4.181, 4.533, 5.043, 5.747, 6.669, 7.828, 9.241, 10.92",\
                 "4.193, 4.279, 4.506, 4.857, 5.367, 6.071, 6.993, 8.152, 9.566, 11.25",\
                 "4.664, 4.75, 4.976, 5.328, 5.838, 6.541, 7.463, 8.623, 10.04, 11.72",\
                 "5.292, 5.377, 5.604, 5.955, 6.465, 7.169, 8.091, 9.25, 10.66, 12.35",\
                 "6.057, 6.143, 6.37, 6.722, 7.232, 7.936, 8.858, 10.02, 11.43, 13.11",\
                 "6.905, 6.992, 7.22, 7.573, 8.084, 8.787, 9.709, 10.87, 12.28, 13.97",\
                 "7.806, 7.894, 8.125, 8.478, 8.987, 9.692, 10.61, 11.77, 13.18, 14.87");
        }

        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.009661, 0.04006, 0.09812, 0.1886, 0.3155, 0.4825, 0.6928, 0.9497, 1.256");
          values("0.406, 0.4636, 0.6134, 0.842, 1.158, 1.581, 2.142, 2.875, 3.796, 4.913",\
                 "0.4056, 0.4636, 0.6138, 0.8416, 1.156, 1.581, 2.142, 2.874, 3.796, 4.917",\
                 "0.4056, 0.4636, 0.6134, 0.8418, 1.156, 1.581, 2.142, 2.874, 3.796, 4.913",\
                 "0.4056, 0.4638, 0.6132, 0.8422, 1.157, 1.581, 2.143, 2.875, 3.796, 4.913",\
                 "0.4058, 0.4636, 0.6136, 0.8418, 1.158, 1.582, 2.144, 2.875, 3.795, 4.916",\
                 "0.4058, 0.463, 0.6132, 0.8418, 1.158, 1.582, 2.144, 2.873, 3.794, 4.92",\
                 "0.407, 0.4648, 0.6146, 0.8432, 1.158, 1.58, 2.142, 2.875, 3.795, 4.913",\
                 "0.4078, 0.4654, 0.615, 0.8434, 1.157, 1.581, 2.144, 2.873, 3.795, 4.92",\
                 "0.4086, 0.4664, 0.6158, 0.8438, 1.16, 1.581, 2.144, 2.872, 3.792, 4.912",\
                 "0.412, 0.468, 0.616, 0.846, 1.158, 1.582, 2.146, 2.874, 3.792, 4.918");
        }

        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.009661, 0.04006, 0.09812, 0.1886, 0.3155, 0.4825, 0.6928, 0.9497, 1.256");
          values("0.335, 0.4092, 0.6588, 1.154, 1.972, 3.156, 4.728, 6.694, 9.11, 12",\
                 "0.3364, 0.4094, 0.6566, 1.152, 1.973, 3.158, 4.726, 6.703, 9.109, 12",\
                 "0.335, 0.4094, 0.659, 1.151, 1.974, 3.156, 4.725, 6.703, 9.118, 12",\
                 "0.3344, 0.409, 0.6566, 1.152, 1.973, 3.16, 4.722, 6.703, 9.117, 12",\
                 "0.3346, 0.4094, 0.6602, 1.154, 1.973, 3.16, 4.721, 6.694, 9.109, 12",\
                 "0.3354, 0.409, 0.6584, 1.154, 1.975, 3.156, 4.728, 6.702, 9.116, 12",\
                 "0.3356, 0.4098, 0.659, 1.151, 1.975, 3.16, 4.723, 6.706, 9.114, 12",\
                 "0.3364, 0.41, 0.66, 1.152, 1.974, 3.158, 4.728, 6.706, 9.116, 11.98",\
                 "0.344, 0.418, 0.664, 1.156, 1.974, 3.16, 4.724, 6.704, 9.122, 11.99",\
                 "0.352, 0.426, 0.67, 1.158, 1.976, 3.156, 4.72, 6.702, 9.114, 11.98");
        }
      }

      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.009661, 0.04006, 0.09812, 0.1886, 0.3155, 0.4825, 0.6928, 0.9497, 1.256");
          values("4.739, 4.797, 4.942, 5.136, 5.378, 5.68, 6.058, 6.525, 7.093, 7.768",\
                 "4.771, 4.83, 4.974, 5.168, 5.41, 5.713, 6.09, 6.557, 7.125, 7.8",\
                 "4.871, 4.93, 5.074, 5.268, 5.51, 5.812, 6.19, 6.657, 7.224, 7.899",\
                 "5.012, 5.07, 5.215, 5.408, 5.651, 5.953, 6.331, 6.798, 7.366, 8.041",\
                 "5.134, 5.192, 5.337, 5.53, 5.773, 6.075, 6.452, 6.92, 7.488, 8.162",\
                 "5.223, 5.282, 5.426, 5.62, 5.862, 6.165, 6.542, 7.01, 7.577, 8.252",\
                 "5.276, 5.335, 5.479, 5.673, 5.915, 6.217, 6.595, 7.062, 7.629, 8.305",\
                 "5.281, 5.339, 5.483, 5.678, 5.92, 6.222, 6.6, 7.067, 7.634, 8.309",\
                 "5.233, 5.291, 5.435, 5.629, 5.872, 6.174, 6.552, 7.019, 7.586, 8.261",\
                 "5.131, 5.189, 5.334, 5.528, 5.77, 6.072, 6.45, 6.918, 7.485, 8.16");
        }

        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.009661, 0.04006, 0.09812, 0.1886, 0.3155, 0.4825, 0.6928, 0.9497, 1.256");
          values("3.545, 3.631, 3.857, 4.209, 4.719, 5.423, 6.344, 7.503, 8.917, 10.6",\
                 "3.577, 3.662, 3.889, 4.241, 4.751, 5.455, 6.377, 7.536, 8.949, 10.63",\
                 "3.673, 3.759, 3.985, 4.337, 4.847, 5.55, 6.473, 7.632, 9.045, 10.73",\
                 "3.869, 3.955, 4.181, 4.533, 5.043, 5.747, 6.669, 7.828, 9.241, 10.92",\
                 "4.193, 4.279, 4.506, 4.857, 5.367, 6.071, 6.993, 8.152, 9.566, 11.25",\
                 "4.664, 4.75, 4.976, 5.328, 5.838, 6.541, 7.463, 8.623, 10.04, 11.72",\
                 "5.292, 5.377, 5.604, 5.955, 6.465, 7.169, 8.091, 9.25, 10.66, 12.35",\
                 "6.057, 6.143, 6.37, 6.722, 7.232, 7.936, 8.858, 10.02, 11.43, 13.11",\
                 "6.905, 6.992, 7.22, 7.573, 8.084, 8.787, 9.709, 10.87, 12.28, 13.97",\
                 "7.806, 7.894, 8.125, 8.478, 8.987, 9.692, 10.61, 11.77, 13.18, 14.87");
        }

        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.009661, 0.04006, 0.09812, 0.1886, 0.3155, 0.4825, 0.6928, 0.9497, 1.256");
          values("0.406, 0.4636, 0.6134, 0.842, 1.158, 1.581, 2.142, 2.875, 3.796, 4.913",\
                 "0.4056, 0.4636, 0.6138, 0.8416, 1.156, 1.581, 2.142, 2.874, 3.796, 4.917",\
                 "0.4056, 0.4636, 0.6134, 0.8418, 1.156, 1.581, 2.142, 2.874, 3.796, 4.913",\
                 "0.4056, 0.4638, 0.6132, 0.8422, 1.157, 1.581, 2.143, 2.875, 3.796, 4.913",\
                 "0.4058, 0.4636, 0.6136, 0.8418, 1.158, 1.582, 2.144, 2.875, 3.795, 4.916",\
                 "0.4058, 0.463, 0.6132, 0.8418, 1.158, 1.582, 2.144, 2.873, 3.794, 4.92",\
                 "0.407, 0.4648, 0.6146, 0.8432, 1.158, 1.58, 2.142, 2.875, 3.795, 4.913",\
                 "0.4078, 0.4654, 0.615, 0.8434, 1.157, 1.581, 2.144, 2.873, 3.795, 4.92",\
                 "0.4086, 0.4664, 0.6158, 0.8438, 1.16, 1.581, 2.144, 2.872, 3.792, 4.912",\
                 "0.412, 0.468, 0.616, 0.846, 1.158, 1.582, 2.146, 2.874, 3.792, 4.918");
        }

        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.009661, 0.04006, 0.09812, 0.1886, 0.3155, 0.4825, 0.6928, 0.9497, 1.256");
          values("0.2892, 0.3668, 0.625, 1.131, 1.96, 3.147, 4.723, 6.707, 9.123, 12.01",\
                 "0.2896, 0.3668, 0.6248, 1.13, 1.961, 3.147, 4.719, 6.698, 9.132, 12",\
                 "0.2886, 0.367, 0.6244, 1.13, 1.959, 3.147, 4.72, 6.706, 9.119, 12.01",\
                 "0.2888, 0.3668, 0.625, 1.131, 1.959, 3.15, 4.722, 6.706, 9.133, 11.99",\
                 "0.2898, 0.3674, 0.6258, 1.13, 1.958, 3.149, 4.723, 6.709, 9.132, 12.02",\
                 "0.289, 0.3668, 0.6252, 1.129, 1.959, 3.151, 4.719, 6.707, 9.132, 12",\
                 "0.289, 0.3672, 0.625, 1.132, 1.958, 3.149, 4.722, 6.704, 9.132, 11.99",\
                 "0.29, 0.368, 0.626, 1.13, 1.96, 3.148, 4.722, 6.704, 9.124, 12.02",\
                 "0.288, 0.366, 0.624, 1.132, 1.958, 3.148, 4.724, 6.708, 9.12, 12.01",\
                 "0.29, 0.366, 0.624, 1.132, 1.962, 3.146, 4.712, 6.698, 9.116, 12");
        }
      }

      timing() {
        related_pin : "A1" ;
        sdf_cond : "A2===1'b0 && 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.009661, 0.04006, 0.09812, 0.1886, 0.3155, 0.4825, 0.6928, 0.9497, 1.256");
          values("3.965, 4.048, 4.248, 4.508, 4.811, 5.164, 5.578, 6.066, 6.644, 7.324",\
                 "3.985, 4.068, 4.269, 4.528, 4.832, 5.185, 5.598, 6.087, 6.665, 7.345",\
                 "4.076, 4.159, 4.36, 4.619, 4.922, 5.275, 5.689, 6.178, 6.756, 7.435",\
                 "4.252, 4.335, 4.535, 4.794, 5.098, 5.45, 5.864, 6.353, 6.931, 7.61",\
                 "4.521, 4.603, 4.804, 5.063, 5.367, 5.72, 6.133, 6.622, 7.2, 7.879",\
                 "4.891, 4.974, 5.175, 5.434, 5.737, 6.09, 6.503, 6.993, 7.571, 8.25",\
                 "5.348, 5.431, 5.632, 5.89, 6.194, 6.547, 6.961, 7.449, 8.027, 8.707",\
                 "5.867, 5.95, 6.15, 6.41, 6.713, 7.066, 7.479, 7.968, 8.546, 9.226",\
                 "6.453, 6.535, 6.736, 6.996, 7.299, 7.652, 8.066, 8.555, 9.133, 9.813",\
                 "7.111, 7.194, 7.395, 7.654, 7.957, 8.311, 8.724, 9.213, 9.791, 10.47");
        }

        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.009661, 0.04006, 0.09812, 0.1886, 0.3155, 0.4825, 0.6928, 0.9497, 1.256");
          values("4.112, 4.198, 4.424, 4.776, 5.286, 5.99, 6.912, 8.071, 9.484, 11.17",\
                 "4.145, 4.231, 4.457, 4.809, 5.319, 6.023, 6.945, 8.104, 9.517, 11.2",\
                 "4.244, 4.33, 4.557, 4.909, 5.419, 6.122, 7.044, 8.203, 9.617, 11.3",\
                 "4.385, 4.47, 4.697, 5.049, 5.559, 6.263, 7.185, 8.343, 9.757, 11.44",\
                 "4.507, 4.592, 4.819, 5.171, 5.681, 6.385, 7.307, 8.465, 9.879, 11.56",\
                 "4.596, 4.682, 4.908, 5.26, 5.77, 6.474, 7.396, 8.555, 9.969, 11.65",\
                 "4.647, 4.732, 4.959, 5.311, 5.821, 6.525, 7.446, 8.605, 10.02, 11.7",\
                 "4.649, 4.734, 4.961, 5.313, 5.823, 6.526, 7.449, 8.607, 10.02, 11.7",\
                 "4.6, 4.686, 4.913, 5.265, 5.775, 6.479, 7.401, 8.559, 9.973, 11.66",\
                 "4.498, 4.584, 4.811, 5.162, 5.673, 6.376, 7.299, 8.457, 9.87, 11.55");
        }

        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.009661, 0.04006, 0.09812, 0.1886, 0.3155, 0.4825, 0.6928, 0.9497, 1.256");
          values("0.404, 0.4626, 0.6122, 0.8402, 1.156, 1.579, 2.141, 2.872, 3.791, 4.917",\
                 "0.4042, 0.4624, 0.6128, 0.8408, 1.155, 1.58, 2.142, 2.874, 3.795, 4.912",\
                 "0.4046, 0.4624, 0.6142, 0.8406, 1.156, 1.58, 2.142, 2.874, 3.795, 4.912",\
                 "0.4046, 0.4622, 0.6124, 0.8402, 1.156, 1.579, 2.141, 2.873, 3.793, 4.919",\
                 "0.4048, 0.4622, 0.6124, 0.8406, 1.156, 1.58, 2.142, 2.874, 3.793, 4.917",\
                 "0.4046, 0.4622, 0.6122, 0.8402, 1.157, 1.58, 2.14, 2.873, 3.79, 4.917",\
                 "0.4046, 0.4624, 0.6124, 0.8406, 1.155, 1.58, 2.142, 2.875, 3.796, 4.914",\
                 "0.4044, 0.4624, 0.6128, 0.842, 1.156, 1.582, 2.144, 2.872, 3.794, 4.92",\
                 "0.404, 0.462, 0.612, 0.84, 1.156, 1.58, 2.142, 2.872, 3.796, 4.914",\
                 "0.404, 0.462, 0.614, 0.842, 1.154, 1.58, 2.142, 2.872, 3.792, 4.912");
        }

        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.009661, 0.04006, 0.09812, 0.1886, 0.3155, 0.4825, 0.6928, 0.9497, 1.256");
          values("0.3352, 0.4102, 0.6582, 1.154, 1.975, 3.155, 4.728, 6.699, 9.111, 12",\
                 "0.3358, 0.41, 0.6608, 1.153, 1.975, 3.16, 4.722, 6.704, 9.122, 12",\
                 "0.3364, 0.41, 0.6596, 1.154, 1.972, 3.157, 4.728, 6.695, 9.117, 12",\
                 "0.336, 0.41, 0.6582, 1.153, 1.975, 3.159, 4.727, 6.698, 9.112, 12",\
                 "0.337, 0.4102, 0.6586, 1.152, 1.972, 3.16, 4.722, 6.705, 9.122, 12",\
                 "0.3366, 0.4104, 0.6596, 1.153, 1.974, 3.159, 4.726, 6.7, 9.109, 12",\
                 "0.336, 0.4102, 0.6594, 1.154, 1.972, 3.161, 4.728, 6.698, 9.112, 12",\
                 "0.335, 0.4112, 0.6588, 1.154, 1.973, 3.16, 4.722, 6.704, 9.12, 12",\
                 "0.3354, 0.41, 0.658, 1.154, 1.974, 3.156, 4.72, 6.702, 9.114, 12",\
                 "0.336, 0.41, 0.658, 1.152, 1.972, 3.156, 4.722, 6.694, 9.112, 11.98");
        }
      }

      timing() {
        related_pin : "A1" ;
        sdf_cond : "A2===1'b1 && 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.009661, 0.04006, 0.09812, 0.1886, 0.3155, 0.4825, 0.6928, 0.9497, 1.256");
          values("4.179, 4.238, 4.382, 4.576, 4.818, 5.12, 5.498, 5.965, 6.533, 7.208",\
                 "4.211, 4.27, 4.414, 4.608, 4.851, 5.153, 5.53, 5.997, 6.565, 7.24",\
                 "4.308, 4.366, 4.51, 4.704, 4.947, 5.249, 5.627, 6.094, 6.661, 7.337",\
                 "4.503, 4.562, 4.706, 4.9, 5.143, 5.445, 5.822, 6.29, 6.857, 7.533",\
                 "4.828, 4.886, 5.03, 5.224, 5.467, 5.769, 6.146, 6.614, 7.181, 7.856",\
                 "5.299, 5.357, 5.501, 5.695, 5.938, 6.24, 6.617, 7.085, 7.652, 8.327",\
                 "5.923, 5.981, 6.125, 6.32, 6.562, 6.864, 7.241, 7.708, 8.276, 8.951",\
                 "6.677, 6.735, 6.879, 7.073, 7.315, 7.617, 7.995, 8.462, 9.03, 9.704",\
                 "7.501, 7.561, 7.705, 7.899, 8.141, 8.443, 8.821, 9.288, 9.856, 10.53",\
                 "8.376, 8.434, 8.578, 8.773, 9.015, 9.317, 9.695, 10.16, 10.73, 11.4");
        }

        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.009661, 0.04006, 0.09812, 0.1886, 0.3155, 0.4825, 0.6928, 0.9497, 1.256");
          values("2.685, 2.763, 2.979, 3.325, 3.833, 4.536, 5.456, 6.616, 8.027, 9.71",\
                 "2.709, 2.787, 3.003, 3.349, 3.857, 4.56, 5.481, 6.639, 8.055, 9.742",\
                 "2.794, 2.872, 3.088, 3.434, 3.942, 4.644, 5.565, 6.723, 8.139, 9.827",\
                 "2.955, 3.034, 3.25, 3.596, 4.104, 4.806, 5.727, 6.885, 8.301, 9.989",\
                 "3.187, 3.266, 3.481, 3.827, 4.335, 5.038, 5.958, 7.117, 8.531, 10.21",\
                 "3.425, 3.504, 3.72, 4.066, 4.574, 5.276, 6.197, 7.355, 8.771, 10.45",\
                 "3.633, 3.711, 3.927, 4.273, 4.781, 5.484, 6.405, 7.562, 8.979, 10.66",\
                 "3.802, 3.881, 4.097, 4.443, 4.951, 5.653, 6.574, 7.732, 9.146, 10.84",\
                 "3.928, 4.007, 4.223, 4.569, 5.076, 5.779, 6.7, 7.857, 9.27, 10.95",\
                 "4.005, 4.084, 4.3, 4.646, 5.154, 5.856, 6.777, 7.935, 9.347, 11.03");
        }

        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.009661, 0.04006, 0.09812, 0.1886, 0.3155, 0.4825, 0.6928, 0.9497, 1.256");
          values("0.2564, 0.2992, 0.4194, 0.6198, 0.922, 1.358, 1.957, 2.732, 3.687, 4.836",\
                 "0.256, 0.299, 0.42, 0.6194, 0.9222, 1.358, 1.957, 2.732, 3.687, 4.841",\
                 "0.2556, 0.2992, 0.4196, 0.6196, 0.922, 1.358, 1.957, 2.732, 3.692, 4.841",\
                 "0.2562, 0.2984, 0.42, 0.6198, 0.9222, 1.358, 1.957, 2.732, 3.69, 4.834",\
                 "0.2554, 0.3002, 0.4192, 0.6194, 0.9222, 1.358, 1.957, 2.732, 3.687, 4.837",\
                 "0.256, 0.2986, 0.419, 0.6198, 0.922, 1.358, 1.957, 2.731, 3.692, 4.836",\
                 "0.2556, 0.2984, 0.4196, 0.62, 0.9224, 1.358, 1.956, 2.731, 3.692, 4.838",\
                 "0.256, 0.3, 0.42, 0.62, 0.922, 1.36, 1.956, 2.734, 3.69, 4.838",\
                 "0.254, 0.298, 0.42, 0.62, 0.922, 1.358, 1.954, 2.732, 3.688, 4.84",\
                 "0.254, 0.298, 0.418, 0.62, 0.922, 1.36, 1.956, 2.728, 3.69, 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.009661, 0.04006, 0.09812, 0.1886, 0.3155, 0.4825, 0.6928, 0.9497, 1.256");
          values("0.2888, 0.3672, 0.6258, 1.132, 1.959, 3.15, 4.72, 6.7, 9.125, 12.01",\
                 "0.2886, 0.3674, 0.6252, 1.132, 1.961, 3.15, 4.721, 6.703, 9.135, 12.03",\
                 "0.2886, 0.3668, 0.626, 1.13, 1.961, 3.146, 4.721, 6.709, 9.125, 12.03",\
                 "0.2888, 0.367, 0.6256, 1.13, 1.959, 3.15, 4.722, 6.709, 9.136, 12.03",\
                 "0.2886, 0.3672, 0.6248, 1.13, 1.959, 3.15, 4.723, 6.707, 9.119, 12",\
                 "0.289, 0.3668, 0.6254, 1.13, 1.959, 3.15, 4.722, 6.71, 9.126, 12.01",\
                 "0.2884, 0.3672, 0.6266, 1.131, 1.961, 3.151, 4.723, 6.709, 9.133, 12.02",\
                 "0.2888, 0.3676, 0.6248, 1.133, 1.959, 3.146, 4.719, 6.7, 9.132, 12.03",\
                 "0.2892, 0.3678, 0.626, 1.13, 1.96, 3.148, 4.712, 6.69, 9.118, 12",\
                 "0.29, 0.368, 0.624, 1.13, 1.96, 3.148, 4.718, 6.688, 9.104, 11.98");
        }
      }

      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.009661, 0.04006, 0.09812, 0.1886, 0.3155, 0.4825, 0.6928, 0.9497, 1.256");
          values("4.179, 4.238, 4.382, 4.576, 4.818, 5.12, 5.498, 5.965, 6.533, 7.208",\
                 "4.211, 4.27, 4.414, 4.608, 4.851, 5.153, 5.53, 5.997, 6.565, 7.24",\
                 "4.308, 4.366, 4.51, 4.704, 4.947, 5.249, 5.627, 6.094, 6.661, 7.337",\
                 "4.503, 4.562, 4.706, 4.9, 5.143, 5.445, 5.822, 6.29, 6.857, 7.533",\
                 "4.828, 4.886, 5.03, 5.224, 5.467, 5.769, 6.146, 6.614, 7.181, 7.856",\
                 "5.299, 5.357, 5.501, 5.695, 5.938, 6.24, 6.617, 7.085, 7.652, 8.327",\
                 "5.923, 5.981, 6.125, 6.32, 6.562, 6.864, 7.241, 7.708, 8.276, 8.951",\
                 "6.677, 6.735, 6.879, 7.073, 7.315, 7.617, 7.995, 8.462, 9.03, 9.704",\
                 "7.501, 7.561, 7.705, 7.899, 8.141, 8.443, 8.821, 9.288, 9.856, 10.53",\
                 "8.376, 8.434, 8.578, 8.773, 9.015, 9.317, 9.695, 10.16, 10.73, 11.4");
        }

        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.009661, 0.04006, 0.09812, 0.1886, 0.3155, 0.4825, 0.6928, 0.9497, 1.256");
          values("4.112, 4.198, 4.424, 4.776, 5.286, 5.99, 6.912, 8.071, 9.484, 11.17",\
                 "4.145, 4.231, 4.457, 4.809, 5.319, 6.023, 6.945, 8.104, 9.517, 11.2",\
                 "4.244, 4.33, 4.557, 4.909, 5.419, 6.122, 7.044, 8.203, 9.617, 11.3",\
                 "4.385, 4.47, 4.697, 5.049, 5.559, 6.263, 7.185, 8.343, 9.757, 11.44",\
                 "4.507, 4.592, 4.819, 5.171, 5.681, 6.385, 7.307, 8.465, 9.879, 11.56",\
                 "4.596, 4.682, 4.908, 5.26, 5.77, 6.474, 7.396, 8.555, 9.969, 11.65",\
                 "4.647, 4.732, 4.959, 5.311, 5.821, 6.525, 7.446, 8.605, 10.02, 11.7",\
                 "4.649, 4.734, 4.961, 5.313, 5.823, 6.526, 7.449, 8.607, 10.02, 11.7",\
                 "4.6, 4.686, 4.913, 5.265, 5.775, 6.479, 7.401, 8.559, 9.973, 11.66",\
                 "4.498, 4.584, 4.811, 5.162, 5.673, 6.376, 7.299, 8.457, 9.87, 11.55");
        }

        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.009661, 0.04006, 0.09812, 0.1886, 0.3155, 0.4825, 0.6928, 0.9497, 1.256");
          values("0.404, 0.4626, 0.6122, 0.8402, 1.156, 1.579, 2.141, 2.872, 3.791, 4.917",\
                 "0.4042, 0.4624, 0.6128, 0.8408, 1.155, 1.58, 2.142, 2.874, 3.795, 4.912",\
                 "0.4046, 0.4624, 0.6142, 0.8406, 1.156, 1.58, 2.142, 2.874, 3.795, 4.912",\
                 "0.4046, 0.4622, 0.6124, 0.8402, 1.156, 1.579, 2.141, 2.873, 3.793, 4.919",\
                 "0.4048, 0.4622, 0.6124, 0.8406, 1.156, 1.58, 2.142, 2.874, 3.793, 4.917",\
                 "0.4046, 0.4622, 0.6122, 0.8402, 1.157, 1.58, 2.14, 2.873, 3.79, 4.917",\
                 "0.4046, 0.4624, 0.6124, 0.8406, 1.155, 1.58, 2.142, 2.875, 3.796, 4.914",\
                 "0.4044, 0.4624, 0.6128, 0.842, 1.156, 1.582, 2.144, 2.872, 3.794, 4.92",\
                 "0.404, 0.462, 0.612, 0.84, 1.156, 1.58, 2.142, 2.872, 3.796, 4.914",\
                 "0.404, 0.462, 0.614, 0.842, 1.154, 1.58, 2.142, 2.872, 3.792, 4.912");
        }

        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.009661, 0.04006, 0.09812, 0.1886, 0.3155, 0.4825, 0.6928, 0.9497, 1.256");
          values("0.2888, 0.3672, 0.6258, 1.132, 1.959, 3.15, 4.72, 6.7, 9.125, 12.01",\
                 "0.2886, 0.3674, 0.6252, 1.132, 1.961, 3.15, 4.721, 6.703, 9.135, 12.03",\
                 "0.2886, 0.3668, 0.626, 1.13, 1.961, 3.146, 4.721, 6.709, 9.125, 12.03",\
                 "0.2888, 0.367, 0.6256, 1.13, 1.959, 3.15, 4.722, 6.709, 9.136, 12.03",\
                 "0.2886, 0.3672, 0.6248, 1.13, 1.959, 3.15, 4.723, 6.707, 9.119, 12",\
                 "0.289, 0.3668, 0.6254, 1.13, 1.959, 3.15, 4.722, 6.71, 9.126, 12.01",\
                 "0.2884, 0.3672, 0.6266, 1.131, 1.961, 3.151, 4.723, 6.709, 9.133, 12.02",\
                 "0.2888, 0.3676, 0.6248, 1.133, 1.959, 3.146, 4.719, 6.7, 9.132, 12.03",\
                 "0.2892, 0.3678, 0.626, 1.13, 1.96, 3.148, 4.712, 6.69, 9.118, 12",\
                 "0.29, 0.368, 0.624, 1.13, 1.96, 3.148, 4.718, 6.688, 9.104, 11.98");
        }
      }

      timing() {
        related_pin : "A2" ;
        sdf_cond : "A1===1'b0 && 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.009661, 0.04006, 0.09812, 0.1886, 0.3155, 0.4825, 0.6928, 0.9497, 1.256");
          values("4.605, 4.663, 4.807, 5.001, 5.244, 5.546, 5.924, 6.391, 6.958, 7.633",\
                 "4.634, 4.693, 4.837, 5.031, 5.273, 5.575, 5.953, 6.42, 6.988, 7.663",\
                 "4.73, 4.788, 4.932, 5.126, 5.369, 5.671, 6.048, 6.516, 7.083, 7.759",\
                 "4.865, 4.923, 5.067, 5.262, 5.504, 5.806, 6.184, 6.651, 7.218, 7.893",\
                 "4.98, 5.038, 5.182, 5.377, 5.619, 5.921, 6.299, 6.766, 7.334, 8.009",\
                 "5.061, 5.119, 5.263, 5.457, 5.7, 6.002, 6.38, 6.847, 7.414, 8.089",\
                 "5.102, 5.16, 5.304, 5.498, 5.741, 6.043, 6.421, 6.888, 7.455, 8.13",\
                 "5.098, 5.156, 5.3, 5.494, 5.737, 6.039, 6.417, 6.884, 7.451, 8.126",\
                 "5.039, 5.097, 5.24, 5.434, 5.677, 5.98, 6.357, 6.824, 7.392, 8.067",\
                 "4.923, 4.981, 5.126, 5.32, 5.563, 5.864, 6.242, 6.71, 7.277, 7.951");
        }

        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.009661, 0.04006, 0.09812, 0.1886, 0.3155, 0.4825, 0.6928, 0.9497, 1.256");
          values("4.112, 4.191, 4.407, 4.753, 5.261, 5.963, 6.884, 8.042, 9.458, 11.14",\
                 "4.123, 4.202, 4.418, 4.764, 5.272, 5.974, 6.895, 8.053, 9.469, 11.15",\
                 "4.201, 4.279, 4.495, 4.841, 5.349, 6.051, 6.972, 8.13, 9.544, 11.23",\
                 "4.398, 4.476, 4.692, 5.039, 5.547, 6.25, 7.17, 8.328, 9.742, 11.42",\
                 "4.732, 4.811, 5.027, 5.373, 5.88, 6.583, 7.503, 8.661, 10.07, 11.76",\
                 "5.206, 5.285, 5.501, 5.847, 6.354, 7.057, 7.978, 9.136, 10.55, 12.23",\
                 "5.795, 5.874, 6.09, 6.435, 6.943, 7.646, 8.567, 9.725, 11.14, 12.82",\
                 "6.446, 6.525, 6.741, 7.087, 7.595, 8.297, 9.218, 10.38, 11.79, 13.48",\
                 "7.15, 7.228, 7.444, 7.79, 8.298, 9, 9.922, 11.08, 12.49, 14.18",\
                 "7.911, 7.99, 8.206, 8.552, 9.06, 9.762, 10.68, 11.84, 13.25, 14.94");
        }

        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.009661, 0.04006, 0.09812, 0.1886, 0.3155, 0.4825, 0.6928, 0.9497, 1.256");
          values("0.2554, 0.2982, 0.4184, 0.6194, 0.9222, 1.358, 1.956, 2.733, 3.691, 4.836",\
                 "0.2558, 0.2982, 0.4192, 0.6198, 0.9222, 1.358, 1.957, 2.732, 3.687, 4.836",\
                 "0.2554, 0.2992, 0.419, 0.6198, 0.9222, 1.358, 1.957, 2.732, 3.692, 4.841",\
                 "0.256, 0.2988, 0.419, 0.6196, 0.9224, 1.358, 1.957, 2.732, 3.687, 4.836",\
                 "0.2562, 0.3, 0.42, 0.62, 0.922, 1.358, 1.957, 2.73, 3.692, 4.841",\
                 "0.2554, 0.3, 0.419, 0.6202, 0.922, 1.358, 1.957, 2.73, 3.69, 4.839",\
                 "0.2556, 0.2984, 0.4192, 0.6196, 0.9226, 1.359, 1.954, 2.731, 3.691, 4.84",\
                 "0.2554, 0.3, 0.4194, 0.6198, 0.9208, 1.357, 1.955, 2.732, 3.69, 4.838",\
                 "0.256, 0.3, 0.418, 0.62, 0.922, 1.358, 1.958, 2.728, 3.684, 4.836",\
                 "0.256, 0.298, 0.42, 0.618, 0.922, 1.358, 1.956, 2.732, 3.688, 4.836");
        }

        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.009661, 0.04006, 0.09812, 0.1886, 0.3155, 0.4825, 0.6928, 0.9497, 1.256");
          values("0.289, 0.3674, 0.6244, 1.132, 1.961, 3.146, 4.723, 6.707, 9.131, 12.02",\
                 "0.2894, 0.3672, 0.6244, 1.131, 1.959, 3.151, 4.723, 6.708, 9.134, 11.99",\
                 "0.2894, 0.3668, 0.6258, 1.13, 1.96, 3.148, 4.723, 6.709, 9.133, 12.02",\
                 "0.2892, 0.3674, 0.6258, 1.132, 1.958, 3.151, 4.722, 6.707, 9.12, 12.02",\
                 "0.2894, 0.3666, 0.6266, 1.13, 1.961, 3.151, 4.723, 6.709, 9.132, 12.02",\
                 "0.289, 0.3676, 0.6258, 1.13, 1.96, 3.147, 4.723, 6.708, 9.128, 12",\
                 "0.2898, 0.367, 0.6246, 1.13, 1.96, 3.15, 4.724, 6.702, 9.132, 11.99",\
                 "0.29, 0.366, 0.626, 1.128, 1.96, 3.146, 4.72, 6.704, 9.13, 12.02",\
                 "0.288, 0.368, 0.626, 1.132, 1.962, 3.148, 4.718, 6.702, 9.124, 12.01",\
                 "0.29, 0.368, 0.624, 1.13, 1.958, 3.148, 4.716, 6.698, 9.116, 11.99");
        }
      }

      timing() {
        related_pin : "A2" ;
        sdf_cond : "A1===1'b1 && 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.009661, 0.04006, 0.09812, 0.1886, 0.3155, 0.4825, 0.6928, 0.9497, 1.256");
          values("2.448, 2.531, 2.732, 2.991, 3.295, 3.648, 4.062, 4.551, 5.129, 5.809",\
                 "2.475, 2.558, 2.759, 3.018, 3.322, 3.675, 4.089, 4.578, 5.156, 5.835",\
                 "2.547, 2.63, 2.831, 3.089, 3.393, 3.746, 4.16, 4.649, 5.228, 5.907",\
                 "2.672, 2.754, 2.955, 3.215, 3.519, 3.871, 4.285, 4.774, 5.352, 6.032",\
                 "2.848, 2.931, 3.131, 3.39, 3.695, 4.048, 4.462, 4.95, 5.528, 6.208",\
                 "3.034, 3.117, 3.317, 3.577, 3.88, 4.233, 4.647, 5.136, 5.714, 6.394",\
                 "3.201, 3.284, 3.486, 3.746, 4.049, 4.402, 4.816, 5.305, 5.883, 6.563",\
                 "3.339, 3.423, 3.624, 3.883, 4.187, 4.541, 4.955, 5.444, 6.022, 6.701",\
                 "3.437, 3.52, 3.721, 3.981, 4.286, 4.639, 5.053, 5.542, 6.12, 6.8",\
                 "3.489, 3.572, 3.775, 4.035, 4.338, 4.692, 5.106, 5.596, 6.174, 6.853");
        }

        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.009661, 0.04006, 0.09812, 0.1886, 0.3155, 0.4825, 0.6928, 0.9497, 1.256");
          values("3.722, 3.808, 4.034, 4.386, 4.896, 5.6, 6.522, 7.681, 9.095, 10.78",\
                 "3.744, 3.83, 4.057, 4.408, 4.918, 5.623, 6.545, 7.703, 9.116, 10.8",\
                 "3.846, 3.932, 4.158, 4.51, 5.02, 5.724, 6.646, 7.805, 9.218, 10.9",\
                 "4.051, 4.136, 4.363, 4.715, 5.225, 5.929, 6.85, 8.01, 9.423, 11.11",\
                 "4.38, 4.466, 4.693, 5.045, 5.555, 6.259, 7.18, 8.34, 9.753, 11.44",\
                 "4.854, 4.94, 5.167, 5.519, 6.029, 6.733, 7.655, 8.814, 10.23, 11.91",\
                 "5.485, 5.57, 5.797, 6.15, 6.66, 7.363, 8.285, 9.444, 10.86, 12.54",\
                 "6.263, 6.349, 6.576, 6.928, 7.438, 8.142, 9.064, 10.22, 11.64, 13.32",\
                 "7.139, 7.226, 7.454, 7.807, 8.316, 9.02, 9.942, 11.1, 12.51, 14.2",\
                 "8.072, 8.16, 8.391, 8.744, 9.254, 9.958, 10.88, 12.04, 13.45, 15.14");
        }

        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.009661, 0.04006, 0.09812, 0.1886, 0.3155, 0.4825, 0.6928, 0.9497, 1.256");
          values("0.406, 0.4636, 0.6134, 0.8416, 1.156, 1.58, 2.143, 2.875, 3.796, 4.913",\
                 "0.4054, 0.4636, 0.6134, 0.8414, 1.158, 1.581, 2.144, 2.875, 3.796, 4.913",\
                 "0.4056, 0.4632, 0.6136, 0.842, 1.157, 1.581, 2.142, 2.875, 3.796, 4.916",\
                 "0.4052, 0.4634, 0.6142, 0.8416, 1.157, 1.579, 2.141, 2.874, 3.796, 4.913",\
                 "0.4056, 0.4636, 0.6142, 0.8416, 1.157, 1.581, 2.143, 2.875, 3.794, 4.913",\
                 "0.4062, 0.4636, 0.6132, 0.8416, 1.157, 1.581, 2.141, 2.873, 3.794, 4.919",\
                 "0.4066, 0.4648, 0.6138, 0.8424, 1.156, 1.583, 2.144, 2.874, 3.796, 4.914",\
                 "0.4076, 0.4656, 0.6144, 0.8432, 1.158, 1.581, 2.142, 2.872, 3.792, 4.915",\
                 "0.4084, 0.4664, 0.616, 0.8434, 1.159, 1.583, 2.144, 2.872, 3.792, 4.914",\
                 "0.41, 0.468, 0.618, 0.846, 1.16, 1.584, 2.144, 2.876, 3.794, 4.912");
        }

        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.009661, 0.04006, 0.09812, 0.1886, 0.3155, 0.4825, 0.6928, 0.9497, 1.256");
          values("0.336, 0.4102, 0.6596, 1.154, 1.973, 3.157, 4.728, 6.702, 9.117, 12",\
                 "0.3356, 0.4116, 0.6606, 1.153, 1.975, 3.16, 4.721, 6.704, 9.121, 12",\
                 "0.3368, 0.4104, 0.6572, 1.154, 1.973, 3.157, 4.728, 6.696, 9.112, 12",\
                 "0.3362, 0.4102, 0.6596, 1.153, 1.973, 3.157, 4.728, 6.695, 9.111, 12",\
                 "0.3362, 0.41, 0.6596, 1.154, 1.972, 3.157, 4.728, 6.695, 9.112, 12",\
                 "0.3358, 0.4102, 0.661, 1.153, 1.975, 3.16, 4.721, 6.704, 9.118, 12",\
                 "0.3362, 0.4102, 0.6598, 1.152, 1.973, 3.161, 4.727, 6.696, 9.116, 12",\
                 "0.338, 0.412, 0.66, 1.154, 1.972, 3.16, 4.724, 6.702, 9.118, 12",\
                 "0.342, 0.416, 0.662, 1.158, 1.972, 3.16, 4.728, 6.696, 9.11, 12",\
                 "0.352, 0.426, 0.668, 1.158, 1.974, 3.158, 4.72, 6.702, 9.12, 11.99");
        }
      }

      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.009661, 0.04006, 0.09812, 0.1886, 0.3155, 0.4825, 0.6928, 0.9497, 1.256");
          values("4.605, 4.663, 4.807, 5.001, 5.244, 5.546, 5.924, 6.391, 6.958, 7.633",\
                 "4.634, 4.693, 4.837, 5.031, 5.273, 5.575, 5.953, 6.42, 6.988, 7.663",\
                 "4.73, 4.788, 4.932, 5.126, 5.369, 5.671, 6.048, 6.516, 7.083, 7.759",\
                 "4.865, 4.923, 5.067, 5.262, 5.504, 5.806, 6.184, 6.651, 7.218, 7.893",\
                 "4.98, 5.038, 5.182, 5.377, 5.619, 5.921, 6.299, 6.766, 7.334, 8.009",\
                 "5.061, 5.119, 5.263, 5.457, 5.7, 6.002, 6.38, 6.847, 7.414, 8.089",\
                 "5.102, 5.16, 5.304, 5.498, 5.741, 6.043, 6.421, 6.888, 7.455, 8.13",\
                 "5.098, 5.156, 5.3, 5.494, 5.737, 6.039, 6.417, 6.884, 7.451, 8.126",\
                 "5.039, 5.097, 5.24, 5.434, 5.677, 5.98, 6.357, 6.824, 7.392, 8.067",\
                 "4.923, 4.981, 5.126, 5.32, 5.563, 5.864, 6.242, 6.71, 7.277, 7.951");
        }

        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.009661, 0.04006, 0.09812, 0.1886, 0.3155, 0.4825, 0.6928, 0.9497, 1.256");
          values("3.722, 3.808, 4.034, 4.386, 4.896, 5.6, 6.522, 7.681, 9.095, 10.78",\
                 "3.744, 3.83, 4.057, 4.408, 4.918, 5.623, 6.545, 7.703, 9.116, 10.8",\
                 "3.846, 3.932, 4.158, 4.51, 5.02, 5.724, 6.646, 7.805, 9.218, 10.9",\
                 "4.051, 4.136, 4.363, 4.715, 5.225, 5.929, 6.85, 8.01, 9.423, 11.11",\
                 "4.38, 4.466, 4.693, 5.045, 5.555, 6.259, 7.18, 8.34, 9.753, 11.44",\
                 "4.854, 4.94, 5.167, 5.519, 6.029, 6.733, 7.655, 8.814, 10.23, 11.91",\
                 "5.485, 5.57, 5.797, 6.15, 6.66, 7.363, 8.285, 9.444, 10.86, 12.54",\
                 "6.263, 6.349, 6.576, 6.928, 7.438, 8.142, 9.064, 10.22, 11.64, 13.32",\
                 "7.139, 7.226, 7.454, 7.807, 8.316, 9.02, 9.942, 11.1, 12.51, 14.2",\
                 "8.072, 8.16, 8.391, 8.744, 9.254, 9.958, 10.88, 12.04, 13.45, 15.14");
        }

        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.009661, 0.04006, 0.09812, 0.1886, 0.3155, 0.4825, 0.6928, 0.9497, 1.256");
          values("0.406, 0.4636, 0.6134, 0.8416, 1.156, 1.58, 2.143, 2.875, 3.796, 4.913",\
                 "0.4054, 0.4636, 0.6134, 0.8414, 1.158, 1.581, 2.144, 2.875, 3.796, 4.913",\
                 "0.4056, 0.4632, 0.6136, 0.842, 1.157, 1.581, 2.142, 2.875, 3.796, 4.916",\
                 "0.4052, 0.4634, 0.6142, 0.8416, 1.157, 1.579, 2.141, 2.874, 3.796, 4.913",\
                 "0.4056, 0.4636, 0.6142, 0.8416, 1.157, 1.581, 2.143, 2.875, 3.794, 4.913",\
                 "0.4062, 0.4636, 0.6132, 0.8416, 1.157, 1.581, 2.141, 2.873, 3.794, 4.919",\
                 "0.4066, 0.4648, 0.6138, 0.8424, 1.156, 1.583, 2.144, 2.874, 3.796, 4.914",\
                 "0.4076, 0.4656, 0.6144, 0.8432, 1.158, 1.581, 2.142, 2.872, 3.792, 4.915",\
                 "0.4084, 0.4664, 0.616, 0.8434, 1.159, 1.583, 2.144, 2.872, 3.792, 4.914",\
                 "0.41, 0.468, 0.618, 0.846, 1.16, 1.584, 2.144, 2.876, 3.794, 4.912");
        }

        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.009661, 0.04006, 0.09812, 0.1886, 0.3155, 0.4825, 0.6928, 0.9497, 1.256");
          values("0.289, 0.3674, 0.6244, 1.132, 1.961, 3.146, 4.723, 6.707, 9.131, 12.02",\
                 "0.2894, 0.3672, 0.6244, 1.131, 1.959, 3.151, 4.723, 6.708, 9.134, 11.99",\
                 "0.2894, 0.3668, 0.6258, 1.13, 1.96, 3.148, 4.723, 6.709, 9.133, 12.02",\
                 "0.2892, 0.3674, 0.6258, 1.132, 1.958, 3.151, 4.722, 6.707, 9.12, 12.02",\
                 "0.2894, 0.3666, 0.6266, 1.13, 1.961, 3.151, 4.723, 6.709, 9.132, 12.02",\
                 "0.289, 0.3676, 0.6258, 1.13, 1.96, 3.147, 4.723, 6.708, 9.128, 12",\
                 "0.2898, 0.367, 0.6246, 1.13, 1.96, 3.15, 4.724, 6.702, 9.132, 11.99",\
                 "0.29, 0.366, 0.626, 1.128, 1.96, 3.146, 4.72, 6.704, 9.13, 12.02",\
                 "0.288, 0.368, 0.626, 1.132, 1.962, 3.148, 4.718, 6.702, 9.124, 12.01",\
                 "0.29, 0.368, 0.624, 1.13, 1.958, 3.148, 4.716, 6.698, 9.116, 11.99");
        }
      }

      timing() {
        related_pin : "A2" ;
        sdf_cond : "A1===1'b0 && 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.009661, 0.04006, 0.09812, 0.1886, 0.3155, 0.4825, 0.6928, 0.9497, 1.256");
          values("3.873, 3.957, 4.157, 4.416, 4.719, 5.072, 5.486, 5.974, 6.552, 7.232",\
                 "3.885, 3.967, 4.168, 4.428, 4.731, 5.084, 5.497, 5.986, 6.564, 7.244",\
                 "3.962, 4.045, 4.245, 4.504, 4.808, 5.161, 5.575, 6.063, 6.642, 7.321",\
                 "4.16, 4.243, 4.443, 4.702, 5.006, 5.359, 5.772, 6.261, 6.839, 7.519",\
                 "4.493, 4.576, 4.776, 5.036, 5.338, 5.692, 6.105, 6.594, 7.172, 7.852",\
                 "4.967, 5.051, 5.251, 5.51, 5.814, 6.167, 6.58, 7.069, 7.647, 8.327",\
                 "5.556, 5.639, 5.84, 6.099, 6.402, 6.755, 7.169, 7.657, 8.235, 8.915",\
                 "6.206, 6.289, 6.49, 6.748, 7.051, 7.404, 7.818, 8.307, 8.885, 9.564",\
                 "6.907, 6.99, 7.191, 7.45, 7.753, 8.106, 8.52, 9.009, 9.587, 10.27",\
                 "7.668, 7.751, 7.952, 8.211, 8.515, 8.867, 9.281, 9.769, 10.35, 11.03");
        }

        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.009661, 0.04006, 0.09812, 0.1886, 0.3155, 0.4825, 0.6928, 0.9497, 1.256");
          values("3.97, 4.056, 4.282, 4.634, 5.143, 5.847, 6.77, 7.929, 9.342, 11.03",\
                 "4, 4.085, 4.312, 4.664, 5.173, 5.878, 6.8, 7.958, 9.371, 11.06",\
                 "4.095, 4.181, 4.407, 4.759, 5.269, 5.973, 6.895, 8.053, 9.467, 11.15",\
                 "4.23, 4.316, 4.543, 4.894, 5.404, 6.108, 7.03, 8.189, 9.602, 11.28",\
                 "4.346, 4.431, 4.658, 5.009, 5.519, 6.223, 7.146, 8.304, 9.717, 11.4",\
                 "4.427, 4.512, 4.739, 5.091, 5.601, 6.304, 7.227, 8.386, 9.799, 11.48",\
                 "4.467, 4.553, 4.778, 5.131, 5.641, 6.344, 7.266, 8.425, 9.838, 11.52",\
                 "4.463, 4.548, 4.774, 5.126, 5.636, 6.34, 7.262, 8.42, 9.834, 11.52",\
                 "4.404, 4.49, 4.716, 5.068, 5.577, 6.281, 7.203, 8.362, 9.775, 11.46",\
                 "4.288, 4.373, 4.601, 4.953, 5.463, 6.167, 7.088, 8.246, 9.66, 11.34");
        }

        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.009661, 0.04006, 0.09812, 0.1886, 0.3155, 0.4825, 0.6928, 0.9497, 1.256");
          values("0.404, 0.4624, 0.6138, 0.8406, 1.156, 1.579, 2.141, 2.872, 3.791, 4.917",\
                 "0.4046, 0.4622, 0.614, 0.8404, 1.155, 1.579, 2.142, 2.874, 3.796, 4.913",\
                 "0.4044, 0.4626, 0.6124, 0.8412, 1.155, 1.58, 2.142, 2.874, 3.796, 4.912",\
                 "0.4042, 0.4636, 0.6124, 0.8408, 1.154, 1.58, 2.14, 2.873, 3.791, 4.916",\
                 "0.4046, 0.4628, 0.6122, 0.8404, 1.155, 1.58, 2.14, 2.872, 3.791, 4.917",\
                 "0.4046, 0.4622, 0.6128, 0.8404, 1.156, 1.58, 2.141, 2.874, 3.795, 4.914",\
                 "0.4046, 0.4624, 0.6126, 0.8408, 1.157, 1.582, 2.142, 2.874, 3.796, 4.918",\
                 "0.406, 0.462, 0.612, 0.84, 1.158, 1.58, 2.142, 2.87, 3.792, 4.918",\
                 "0.404, 0.464, 0.612, 0.842, 1.154, 1.58, 2.144, 2.87, 3.792, 4.918",\
                 "0.406, 0.464, 0.614, 0.842, 1.156, 1.58, 2.142, 2.874, 3.792, 4.918");
        }

        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.009661, 0.04006, 0.09812, 0.1886, 0.3155, 0.4825, 0.6928, 0.9497, 1.256");
          values("0.335, 0.4088, 0.659, 1.151, 1.975, 3.156, 4.726, 6.702, 9.118, 12",\
                 "0.3348, 0.4094, 0.658, 1.152, 1.975, 3.16, 4.721, 6.703, 9.121, 11.99",\
                 "0.3346, 0.4088, 0.6602, 1.154, 1.974, 3.159, 4.726, 6.7, 9.116, 11.99",\
                 "0.334, 0.4094, 0.6586, 1.152, 1.972, 3.16, 4.721, 6.695, 9.109, 12",\
                 "0.3362, 0.4092, 0.6596, 1.152, 1.974, 3.16, 4.722, 6.704, 9.12, 12",\
                 "0.3352, 0.409, 0.6562, 1.151, 1.973, 3.157, 4.725, 6.702, 9.118, 12",\
                 "0.3344, 0.4092, 0.6586, 1.151, 1.973, 3.158, 4.727, 6.7, 9.112, 12",\
                 "0.3342, 0.4086, 0.658, 1.151, 1.971, 3.156, 4.726, 6.702, 9.12, 11.99",\
                 "0.3348, 0.4098, 0.658, 1.152, 1.972, 3.154, 4.718, 6.702, 9.112, 12",\
                 "0.336, 0.41, 0.658, 1.154, 1.972, 3.154, 4.718, 6.694, 9.108, 11.99");
        }
      }

      timing() {
        related_pin : "A2" ;
        sdf_cond : "A1===1'b1 && 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.009661, 0.04006, 0.09812, 0.1886, 0.3155, 0.4825, 0.6928, 0.9497, 1.256");
          values("4.349, 4.407, 4.552, 4.746, 4.988, 5.29, 5.668, 6.135, 6.702, 7.378",\
                 "4.371, 4.43, 4.574, 4.768, 5.01, 5.313, 5.69, 6.158, 6.725, 7.4",\
                 "4.473, 4.531, 4.675, 4.869, 5.112, 5.414, 5.792, 6.259, 6.827, 7.502",\
                 "4.678, 4.736, 4.88, 5.075, 5.317, 5.619, 5.997, 6.464, 7.031, 7.707",\
                 "5.008, 5.067, 5.211, 5.405, 5.647, 5.949, 6.326, 6.794, 7.361, 8.037",\
                 "5.482, 5.54, 5.684, 5.878, 6.121, 6.423, 6.8, 7.268, 7.835, 8.51",\
                 "6.11, 6.169, 6.313, 6.507, 6.749, 7.051, 7.429, 7.896, 8.463, 9.139",\
                 "6.878, 6.937, 7.081, 7.276, 7.517, 7.82, 8.197, 8.664, 9.232, 9.907",\
                 "7.733, 7.792, 7.936, 8.131, 8.373, 8.675, 9.053, 9.52, 10.09, 10.76",\
                 "8.639, 8.697, 8.841, 9.035, 9.278, 9.58, 9.958, 10.43, 10.99, 11.67");
        }

        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.009661, 0.04006, 0.09812, 0.1886, 0.3155, 0.4825, 0.6928, 0.9497, 1.256");
          values("2.707, 2.786, 3.002, 3.348, 3.856, 4.558, 5.479, 6.638, 8.049, 9.735",\
                 "2.735, 2.813, 3.029, 3.375, 3.883, 4.585, 5.506, 6.666, 8.077, 9.765",\
                 "2.806, 2.885, 3.101, 3.446, 3.954, 4.656, 5.577, 6.737, 8.148, 9.836",\
                 "2.931, 3.01, 3.226, 3.572, 4.08, 4.782, 5.703, 6.861, 8.278, 9.965",\
                 "3.109, 3.188, 3.404, 3.75, 4.258, 4.96, 5.881, 7.041, 8.452, 10.14",\
                 "3.301, 3.381, 3.597, 3.943, 4.45, 5.153, 6.074, 7.233, 8.644, 10.33",\
                 "3.475, 3.554, 3.77, 4.116, 4.624, 5.326, 6.247, 7.406, 8.817, 10.5",\
                 "3.618, 3.697, 3.913, 4.259, 4.767, 5.469, 6.39, 7.548, 8.963, 10.65",\
                 "3.721, 3.799, 4.015, 4.361, 4.869, 5.572, 6.493, 7.65, 9.063, 10.75",\
                 "3.778, 3.857, 4.073, 4.418, 4.926, 5.629, 6.55, 7.707, 9.12, 10.8");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.009661, 0.04006, 0.09812, 0.1886, 0.3155, 0.4825, 0.6928, 0.9497, 1.256");
          values("0.256, 0.2986, 0.4194, 0.62, 0.9224, 1.358, 1.957, 2.732, 3.688, 4.835",\
                 "0.2558, 0.2986, 0.4198, 0.6202, 0.9226, 1.358, 1.957, 2.732, 3.688, 4.835",\
                 "0.256, 0.2986, 0.4188, 0.6196, 0.9218, 1.359, 1.956, 2.733, 3.691, 4.834",\
                 "0.2554, 0.2988, 0.4186, 0.62, 0.922, 1.358, 1.957, 2.73, 3.692, 4.839",\
                 "0.2554, 0.2986, 0.4188, 0.6192, 0.921, 1.359, 1.956, 2.732, 3.69, 4.835",\
                 "0.256, 0.298, 0.42, 0.6196, 0.9222, 1.358, 1.957, 2.732, 3.686, 4.836",\
                 "0.2562, 0.2986, 0.42, 0.6212, 0.9234, 1.359, 1.956, 2.732, 3.69, 4.838",\
                 "0.256, 0.298, 0.42, 0.62, 0.922, 1.36, 1.958, 2.734, 3.686, 4.836",\
                 "0.256, 0.3, 0.42, 0.62, 0.922, 1.358, 1.956, 2.73, 3.692, 4.842",\
                 "0.256, 0.298, 0.42, 0.62, 0.922, 1.358, 1.956, 2.728, 3.688, 4.834");
        }

        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.009661, 0.04006, 0.09812, 0.1886, 0.3155, 0.4825, 0.6928, 0.9497, 1.256");
          values("0.2896, 0.3672, 0.6262, 1.13, 1.96, 3.146, 4.72, 6.702, 9.128, 12.02",\
                 "0.2886, 0.3674, 0.6258, 1.13, 1.961, 3.147, 4.719, 6.699, 9.131, 12.02",\
                 "0.2888, 0.3676, 0.6264, 1.13, 1.961, 3.148, 4.718, 6.699, 9.131, 12.02",\
                 "0.2888, 0.3668, 0.625, 1.131, 1.961, 3.151, 4.723, 6.705, 9.134, 12.03",\
                 "0.289, 0.3668, 0.6266, 1.13, 1.959, 3.15, 4.721, 6.704, 9.124, 12",\
                 "0.2892, 0.3674, 0.6268, 1.131, 1.96, 3.146, 4.718, 6.701, 9.13, 12.03",\
                 "0.2886, 0.367, 0.627, 1.13, 1.959, 3.146, 4.722, 6.699, 9.128, 12.02",\
                 "0.2898, 0.3676, 0.6262, 1.131, 1.959, 3.144, 4.721, 6.706, 9.12, 12.01",\
                 "0.2892, 0.3676, 0.6268, 1.132, 1.96, 3.15, 4.712, 6.692, 9.116, 12",\
                 "0.29, 0.368, 0.626, 1.132, 1.96, 3.152, 4.716, 6.688, 9.1, 11.99");
        }
      }

      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.009661, 0.04006, 0.09812, 0.1886, 0.3155, 0.4825, 0.6928, 0.9497, 1.256");
          values("4.349, 4.407, 4.552, 4.746, 4.988, 5.29, 5.668, 6.135, 6.702, 7.378",\
                 "4.371, 4.43, 4.574, 4.768, 5.01, 5.313, 5.69, 6.158, 6.725, 7.4",\
                 "4.473, 4.531, 4.675, 4.869, 5.112, 5.414, 5.792, 6.259, 6.827, 7.502",\
                 "4.678, 4.736, 4.88, 5.075, 5.317, 5.619, 5.997, 6.464, 7.031, 7.707",\
                 "5.008, 5.067, 5.211, 5.405, 5.647, 5.949, 6.326, 6.794, 7.361, 8.037",\
                 "5.482, 5.54, 5.684, 5.878, 6.121, 6.423, 6.8, 7.268, 7.835, 8.51",\
                 "6.11, 6.169, 6.313, 6.507, 6.749, 7.051, 7.429, 7.896, 8.463, 9.139",\
                 "6.878, 6.937, 7.081, 7.276, 7.517, 7.82, 8.197, 8.664, 9.232, 9.907",\
                 "7.733, 7.792, 7.936, 8.131, 8.373, 8.675, 9.053, 9.52, 10.09, 10.76",\
                 "8.639, 8.697, 8.841, 9.035, 9.278, 9.58, 9.958, 10.43, 10.99, 11.67");
        }

        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.009661, 0.04006, 0.09812, 0.1886, 0.3155, 0.4825, 0.6928, 0.9497, 1.256");
          values("3.97, 4.056, 4.282, 4.634, 5.143, 5.847, 6.77, 7.929, 9.342, 11.03",\
                 "4, 4.085, 4.312, 4.664, 5.173, 5.878, 6.8, 7.958, 9.371, 11.06",\
                 "4.095, 4.181, 4.407, 4.759, 5.269, 5.973, 6.895, 8.053, 9.467, 11.15",\
                 "4.23, 4.316, 4.543, 4.894, 5.404, 6.108, 7.03, 8.189, 9.602, 11.28",\
                 "4.346, 4.431, 4.658, 5.009, 5.519, 6.223, 7.146, 8.304, 9.717, 11.4",\
                 "4.427, 4.512, 4.739, 5.091, 5.601, 6.304, 7.227, 8.386, 9.799, 11.48",\
                 "4.467, 4.553, 4.778, 5.131, 5.641, 6.344, 7.266, 8.425, 9.838, 11.52",\
                 "4.463, 4.548, 4.774, 5.126, 5.636, 6.34, 7.262, 8.42, 9.834, 11.52",\
                 "4.404, 4.49, 4.716, 5.068, 5.577, 6.281, 7.203, 8.362, 9.775, 11.46",\
                 "4.288, 4.373, 4.601, 4.953, 5.463, 6.167, 7.088, 8.246, 9.66, 11.34");
        }

        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.009661, 0.04006, 0.09812, 0.1886, 0.3155, 0.4825, 0.6928, 0.9497, 1.256");
          values("0.404, 0.4624, 0.6138, 0.8406, 1.156, 1.579, 2.141, 2.872, 3.791, 4.917",\
                 "0.4046, 0.4622, 0.614, 0.8404, 1.155, 1.579, 2.142, 2.874, 3.796, 4.913",\
                 "0.4044, 0.4626, 0.6124, 0.8412, 1.155, 1.58, 2.142, 2.874, 3.796, 4.912",\
                 "0.4042, 0.4636, 0.6124, 0.8408, 1.154, 1.58, 2.14, 2.873, 3.791, 4.916",\
                 "0.4046, 0.4628, 0.6122, 0.8404, 1.155, 1.58, 2.14, 2.872, 3.791, 4.917",\
                 "0.4046, 0.4622, 0.6128, 0.8404, 1.156, 1.58, 2.141, 2.874, 3.795, 4.914",\
                 "0.4046, 0.4624, 0.6126, 0.8408, 1.157, 1.582, 2.142, 2.874, 3.796, 4.918",\
                 "0.406, 0.462, 0.612, 0.84, 1.158, 1.58, 2.142, 2.87, 3.792, 4.918",\
                 "0.404, 0.464, 0.612, 0.842, 1.154, 1.58, 2.144, 2.87, 3.792, 4.918",\
                 "0.406, 0.464, 0.614, 0.842, 1.156, 1.58, 2.142, 2.874, 3.792, 4.918");
        }

        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.009661, 0.04006, 0.09812, 0.1886, 0.3155, 0.4825, 0.6928, 0.9497, 1.256");
          values("0.2896, 0.3672, 0.6262, 1.13, 1.96, 3.146, 4.72, 6.702, 9.128, 12.02",\
                 "0.2886, 0.3674, 0.6258, 1.13, 1.961, 3.147, 4.719, 6.699, 9.131, 12.02",\
                 "0.2888, 0.3676, 0.6264, 1.13, 1.961, 3.148, 4.718, 6.699, 9.131, 12.02",\
                 "0.2888, 0.3668, 0.625, 1.131, 1.961, 3.151, 4.723, 6.705, 9.134, 12.03",\
                 "0.289, 0.3668, 0.6266, 1.13, 1.959, 3.15, 4.721, 6.704, 9.124, 12",\
                 "0.2892, 0.3674, 0.6268, 1.131, 1.96, 3.146, 4.718, 6.701, 9.13, 12.03",\
                 "0.2886, 0.367, 0.627, 1.13, 1.959, 3.146, 4.722, 6.699, 9.128, 12.02",\
                 "0.2898, 0.3676, 0.6262, 1.131, 1.959, 3.144, 4.721, 6.706, 9.12, 12.01",\
                 "0.2892, 0.3676, 0.6268, 1.132, 1.96, 3.15, 4.712, 6.692, 9.116, 12",\
                 "0.29, 0.368, 0.626, 1.132, 1.96, 3.152, 4.716, 6.688, 9.1, 11.99");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.009661, 0.04006, 0.09812, 0.1886, 0.3155, 0.4825, 0.6928, 0.9497, 1.256");
          values("1.666, 1.725, 1.869, 2.063, 2.305, 2.607, 2.984, 3.452, 4.019, 4.694",\
                 "1.693, 1.751, 1.896, 2.09, 2.332, 2.634, 3.012, 3.478, 4.046, 4.72",\
                 "1.759, 1.817, 1.962, 2.156, 2.398, 2.7, 3.078, 3.545, 4.112, 4.787",\
                 "1.869, 1.928, 2.072, 2.267, 2.508, 2.81, 3.188, 3.655, 4.222, 4.897",\
                 "2.021, 2.079, 2.224, 2.418, 2.66, 2.962, 3.34, 3.807, 4.374, 5.048",\
                 "2.172, 2.231, 2.375, 2.569, 2.812, 3.113, 3.491, 3.958, 4.525, 5.2",\
                 "2.306, 2.365, 2.51, 2.703, 2.946, 3.247, 3.624, 4.09, 4.657, 5.332",\
                 "2.404, 2.463, 2.609, 2.804, 3.046, 3.347, 3.724, 4.19, 4.756, 5.43",\
                 "2.462, 2.521, 2.667, 2.862, 3.105, 3.407, 3.784, 4.25, 4.816, 5.49",\
                 "2.474, 2.534, 2.681, 2.877, 3.12, 3.422, 3.799, 4.265, 4.832, 5.506");
        }

        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.009661, 0.04006, 0.09812, 0.1886, 0.3155, 0.4825, 0.6928, 0.9497, 1.256");
          values("1.971, 2.051, 2.27, 2.619, 3.128, 3.831, 4.753, 5.912, 7.324, 9.006",\
                 "2.002, 2.082, 2.301, 2.649, 3.159, 3.862, 4.784, 5.943, 7.356, 9.039",\
                 "2.123, 2.203, 2.422, 2.771, 3.28, 3.984, 4.904, 6.063, 7.476, 9.16",\
                 "2.361, 2.441, 2.66, 3.008, 3.518, 4.221, 5.143, 6.302, 7.714, 9.398",\
                 "2.736, 2.816, 3.036, 3.384, 3.893, 4.597, 5.519, 6.677, 8.09, 9.773",\
                 "3.246, 3.327, 3.546, 3.894, 4.404, 5.108, 6.029, 7.187, 8.601, 10.28",\
                 "3.835, 3.916, 4.135, 4.484, 4.994, 5.697, 6.619, 7.777, 9.19, 10.87",\
                 "4.468, 4.55, 4.771, 5.119, 5.629, 6.333, 7.254, 8.413, 9.826, 11.51",\
                 "5.147, 5.229, 5.451, 5.801, 6.31, 7.014, 7.936, 9.095, 10.51, 12.19",\
                 "5.876, 5.958, 6.182, 6.532, 7.041, 7.745, 8.668, 9.826, 11.24, 12.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.009661, 0.04006, 0.09812, 0.1886, 0.3155, 0.4825, 0.6928, 0.9497, 1.256");
          values("0.257, 0.2988, 0.42, 0.6184, 0.9214, 1.357, 1.954, 2.727, 3.69, 4.841",\
                 "0.2566, 0.2992, 0.4196, 0.6206, 0.9218, 1.358, 1.955, 2.731, 3.685, 4.837",\
                 "0.2568, 0.3002, 0.42, 0.6192, 0.9218, 1.357, 1.956, 2.731, 3.686, 4.836",\
                 "0.2568, 0.2994, 0.4198, 0.6212, 0.9218, 1.358, 1.954, 2.731, 3.69, 4.84",\
                 "0.2572, 0.3012, 0.4198, 0.6196, 0.9216, 1.358, 1.956, 2.73, 3.689, 4.837",\
                 "0.2566, 0.2988, 0.4192, 0.6188, 0.921, 1.357, 1.956, 2.727, 3.69, 4.84",\
                 "0.259, 0.301, 0.42, 0.6192, 0.9202, 1.354, 1.951, 2.727, 3.689, 4.834",\
                 "0.2616, 0.3028, 0.4224, 0.6226, 0.9204, 1.355, 1.953, 2.723, 3.679, 4.828",\
                 "0.2634, 0.305, 0.4248, 0.6222, 0.9232, 1.358, 1.955, 2.725, 3.68, 4.827",\
                 "0.266, 0.3076, 0.4272, 0.624, 0.924, 1.358, 1.954, 2.724, 3.684, 4.824");
        }

        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.009661, 0.04006, 0.09812, 0.1886, 0.3155, 0.4825, 0.6928, 0.9497, 1.256");
          values("0.2968, 0.3754, 0.6336, 1.14, 1.966, 3.156, 4.727, 6.705, 9.115, 12",\
                 "0.2972, 0.3754, 0.6334, 1.139, 1.965, 3.153, 4.721, 6.703, 9.123, 12",\
                 "0.2978, 0.3752, 0.6344, 1.139, 1.967, 3.156, 4.724, 6.702, 9.119, 12",\
                 "0.2978, 0.3754, 0.6334, 1.139, 1.965, 3.152, 4.721, 6.702, 9.12, 12",\
                 "0.2978, 0.376, 0.6336, 1.138, 1.967, 3.153, 4.727, 6.704, 9.12, 12",\
                 "0.2978, 0.3758, 0.6348, 1.14, 1.966, 3.156, 4.726, 6.705, 9.118, 12.01",\
                 "0.3006, 0.3786, 0.6364, 1.141, 1.965, 3.156, 4.726, 6.704, 9.123, 12.01",\
                 "0.3034, 0.3814, 0.6388, 1.141, 1.968, 3.156, 4.72, 6.7, 9.124, 12",\
                 "0.306, 0.386, 0.64, 1.142, 1.97, 3.15, 4.724, 6.704, 9.124, 12",\
                 "0.31, 0.39, 0.644, 1.144, 1.97, 3.154, 4.72, 6.696, 9.12, 11.99");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.009661, 0.04006, 0.09812, 0.1886, 0.3155, 0.4825, 0.6928, 0.9497, 1.256");
          values("1.666, 1.725, 1.869, 2.063, 2.305, 2.607, 2.985, 3.452, 4.019, 4.694",\
                 "1.693, 1.751, 1.896, 2.09, 2.332, 2.634, 3.011, 3.478, 4.046, 4.72",\
                 "1.759, 1.817, 1.962, 2.156, 2.398, 2.7, 3.078, 3.544, 4.112, 4.787",\
                 "1.869, 1.928, 2.072, 2.266, 2.508, 2.81, 3.188, 3.655, 4.222, 4.897",\
                 "2.021, 2.079, 2.224, 2.418, 2.66, 2.962, 3.34, 3.807, 4.374, 5.049",\
                 "2.172, 2.231, 2.375, 2.57, 2.812, 3.113, 3.491, 3.958, 4.525, 5.2",\
                 "2.306, 2.365, 2.51, 2.703, 2.946, 3.247, 3.624, 4.09, 4.657, 5.332",\
                 "2.404, 2.463, 2.609, 2.803, 3.046, 3.347, 3.724, 4.19, 4.756, 5.43",\
                 "2.462, 2.521, 2.667, 2.862, 3.105, 3.407, 3.784, 4.25, 4.816, 5.49",\
                 "2.475, 2.535, 2.681, 2.877, 3.119, 3.422, 3.799, 4.265, 4.832, 5.506");
        }

        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.009661, 0.04006, 0.09812, 0.1886, 0.3155, 0.4825, 0.6928, 0.9497, 1.256");
          values("1.971, 2.051, 2.27, 2.618, 3.128, 3.831, 4.753, 5.911, 7.324, 9.006",\
                 "2.002, 2.082, 2.301, 2.65, 3.159, 3.863, 4.784, 5.942, 7.355, 9.039",\
                 "2.123, 2.203, 2.422, 2.77, 3.28, 3.984, 4.905, 6.063, 7.477, 9.159",\
                 "2.361, 2.441, 2.66, 3.008, 3.518, 4.221, 5.142, 6.302, 7.714, 9.398",\
                 "2.736, 2.816, 3.036, 3.384, 3.894, 4.597, 5.519, 6.677, 8.09, 9.773",\
                 "3.246, 3.327, 3.546, 3.894, 4.404, 5.107, 6.029, 7.188, 8.601, 10.28",\
                 "3.835, 3.915, 4.135, 4.484, 4.993, 5.697, 6.619, 7.777, 9.19, 10.87",\
                 "4.468, 4.549, 4.77, 5.119, 5.629, 6.333, 7.254, 8.414, 9.826, 11.51",\
                 "5.147, 5.23, 5.451, 5.801, 6.31, 7.014, 7.937, 9.095, 10.51, 12.19",\
                 "5.877, 5.958, 6.182, 6.533, 7.042, 7.745, 8.667, 9.826, 11.24, 12.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.009661, 0.04006, 0.09812, 0.1886, 0.3155, 0.4825, 0.6928, 0.9497, 1.256");
          values("0.2568, 0.2988, 0.42, 0.6192, 0.9212, 1.357, 1.956, 2.728, 3.686, 4.836",\
                 "0.2564, 0.3, 0.4194, 0.6206, 0.9216, 1.358, 1.955, 2.731, 3.685, 4.837",\
                 "0.2568, 0.3002, 0.42, 0.6194, 0.9216, 1.357, 1.956, 2.731, 3.686, 4.836",\
                 "0.257, 0.2994, 0.4198, 0.6196, 0.9216, 1.358, 1.955, 2.731, 3.691, 4.84",\
                 "0.257, 0.2992, 0.4196, 0.6194, 0.9214, 1.357, 1.955, 2.731, 3.689, 4.84",\
                 "0.2566, 0.299, 0.4194, 0.6186, 0.921, 1.357, 1.956, 2.73, 3.69, 4.84",\
                 "0.259, 0.301, 0.42, 0.6192, 0.92, 1.354, 1.95, 2.726, 3.683, 4.84",\
                 "0.2614, 0.3028, 0.4224, 0.6228, 0.921, 1.354, 1.952, 2.723, 3.679, 4.828",\
                 "0.2634, 0.305, 0.424, 0.6222, 0.9218, 1.356, 1.955, 2.723, 3.681, 4.828",\
                 "0.2658, 0.3076, 0.4272, 0.6242, 0.924, 1.358, 1.952, 2.724, 3.686, 4.824");
        }

        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.009661, 0.04006, 0.09812, 0.1886, 0.3155, 0.4825, 0.6928, 0.9497, 1.256");
          values("0.2968, 0.3754, 0.6334, 1.14, 1.966, 3.156, 4.727, 6.705, 9.115, 12",\
                 "0.2976, 0.3758, 0.6342, 1.138, 1.966, 3.156, 4.727, 6.697, 9.118, 12.01",\
                 "0.298, 0.3752, 0.6342, 1.138, 1.966, 3.156, 4.725, 6.701, 9.123, 12",\
                 "0.2972, 0.3754, 0.6336, 1.139, 1.966, 3.151, 4.722, 6.703, 9.121, 12",\
                 "0.298, 0.3758, 0.6336, 1.14, 1.967, 3.156, 4.727, 6.704, 9.121, 12",\
                 "0.2982, 0.376, 0.6344, 1.14, 1.967, 3.156, 4.726, 6.699, 9.123, 12",\
                 "0.3006, 0.3786, 0.6364, 1.141, 1.965, 3.156, 4.723, 6.704, 9.121, 12",\
                 "0.3026, 0.3816, 0.6378, 1.141, 1.966, 3.152, 4.722, 6.702, 9.124, 12",\
                 "0.306, 0.384, 0.64, 1.142, 1.97, 3.154, 4.722, 6.704, 9.116, 12",\
                 "0.31, 0.39, 0.644, 1.146, 1.97, 3.152, 4.72, 6.696, 9.116, 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.009661, 0.04006, 0.09812, 0.1886, 0.3155, 0.4825, 0.6928, 0.9497, 1.256");
          values("1.666, 1.725, 1.869, 2.063, 2.305, 2.607, 2.985, 3.452, 4.019, 4.694",\
                 "1.693, 1.751, 1.896, 2.09, 2.332, 2.634, 3.011, 3.478, 4.046, 4.72",\
                 "1.759, 1.817, 1.962, 2.156, 2.398, 2.7, 3.078, 3.544, 4.112, 4.787",\
                 "1.869, 1.928, 2.072, 2.266, 2.508, 2.81, 3.188, 3.655, 4.222, 4.897",\
                 "2.021, 2.079, 2.224, 2.418, 2.66, 2.962, 3.34, 3.807, 4.374, 5.049",\
                 "2.172, 2.231, 2.375, 2.57, 2.812, 3.113, 3.491, 3.958, 4.525, 5.2",\
                 "2.306, 2.365, 2.51, 2.703, 2.946, 3.247, 3.624, 4.09, 4.657, 5.332",\
                 "2.404, 2.463, 2.609, 2.803, 3.046, 3.347, 3.724, 4.19, 4.756, 5.43",\
                 "2.462, 2.521, 2.667, 2.862, 3.105, 3.407, 3.784, 4.25, 4.816, 5.49",\
                 "2.475, 2.535, 2.681, 2.877, 3.119, 3.422, 3.799, 4.265, 4.832, 5.506");
        }

        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.009661, 0.04006, 0.09812, 0.1886, 0.3155, 0.4825, 0.6928, 0.9497, 1.256");
          values("1.971, 2.051, 2.27, 2.618, 3.128, 3.831, 4.753, 5.911, 7.324, 9.006",\
                 "2.002, 2.082, 2.301, 2.65, 3.159, 3.863, 4.784, 5.942, 7.355, 9.039",\
                 "2.123, 2.203, 2.422, 2.77, 3.28, 3.984, 4.905, 6.063, 7.477, 9.159",\
                 "2.361, 2.441, 2.66, 3.008, 3.518, 4.221, 5.142, 6.302, 7.714, 9.398",\
                 "2.736, 2.816, 3.036, 3.384, 3.894, 4.597, 5.519, 6.677, 8.09, 9.773",\
                 "3.246, 3.327, 3.546, 3.894, 4.404, 5.107, 6.029, 7.188, 8.601, 10.28",\
                 "3.835, 3.915, 4.135, 4.484, 4.993, 5.697, 6.619, 7.777, 9.19, 10.87",\
                 "4.468, 4.549, 4.77, 5.119, 5.629, 6.333, 7.254, 8.414, 9.826, 11.51",\
                 "5.147, 5.23, 5.451, 5.801, 6.31, 7.014, 7.937, 9.095, 10.51, 12.19",\
                 "5.877, 5.958, 6.182, 6.533, 7.042, 7.745, 8.667, 9.826, 11.24, 12.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.009661, 0.04006, 0.09812, 0.1886, 0.3155, 0.4825, 0.6928, 0.9497, 1.256");
          values("0.257, 0.2988, 0.42, 0.6184, 0.9214, 1.357, 1.954, 2.727, 3.69, 4.841",\
                 "0.2566, 0.2992, 0.4196, 0.6206, 0.9218, 1.358, 1.955, 2.731, 3.685, 4.837",\
                 "0.2568, 0.3002, 0.42, 0.6192, 0.9218, 1.357, 1.956, 2.731, 3.686, 4.836",\
                 "0.2568, 0.2994, 0.4198, 0.6212, 0.9218, 1.358, 1.954, 2.731, 3.69, 4.84",\
                 "0.2572, 0.3012, 0.4198, 0.6196, 0.9216, 1.358, 1.956, 2.73, 3.689, 4.837",\
                 "0.2566, 0.2988, 0.4192, 0.6188, 0.921, 1.357, 1.956, 2.727, 3.69, 4.84",\
                 "0.259, 0.301, 0.42, 0.6192, 0.9202, 1.354, 1.951, 2.727, 3.689, 4.834",\
                 "0.2616, 0.3028, 0.4224, 0.6226, 0.9204, 1.355, 1.953, 2.723, 3.679, 4.828",\
                 "0.2634, 0.305, 0.4248, 0.6222, 0.9232, 1.358, 1.955, 2.725, 3.68, 4.827",\
                 "0.266, 0.3076, 0.4272, 0.624, 0.924, 1.358, 1.954, 2.724, 3.684, 4.824");
        }

        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.009661, 0.04006, 0.09812, 0.1886, 0.3155, 0.4825, 0.6928, 0.9497, 1.256");
          values("0.2968, 0.3754, 0.6336, 1.14, 1.966, 3.156, 4.727, 6.705, 9.115, 12",\
                 "0.2972, 0.3754, 0.6334, 1.139, 1.965, 3.153, 4.721, 6.703, 9.123, 12",\
                 "0.2978, 0.3752, 0.6344, 1.139, 1.967, 3.156, 4.724, 6.702, 9.119, 12",\
                 "0.2978, 0.3754, 0.6334, 1.139, 1.965, 3.152, 4.721, 6.702, 9.12, 12",\
                 "0.2978, 0.376, 0.6336, 1.138, 1.967, 3.153, 4.727, 6.704, 9.12, 12",\
                 "0.2978, 0.3758, 0.6348, 1.14, 1.966, 3.156, 4.726, 6.705, 9.118, 12.01",\
                 "0.3006, 0.3786, 0.6364, 1.141, 1.965, 3.156, 4.726, 6.704, 9.123, 12.01",\
                 "0.3034, 0.3814, 0.6388, 1.141, 1.968, 3.156, 4.72, 6.7, 9.124, 12",\
                 "0.306, 0.386, 0.64, 1.142, 1.97, 3.15, 4.724, 6.704, 9.124, 12",\
                 "0.31, 0.39, 0.644, 1.144, 1.97, 3.154, 4.72, 6.696, 9.12, 11.99");
        }
      }

      timing() {
        related_pin : "A3" ;
        sdf_cond : "A1===1'b0 && 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.009661, 0.04006, 0.09812, 0.1886, 0.3155, 0.4825, 0.6928, 0.9497, 1.256");
          values("1.516, 1.598, 1.799, 2.058, 2.361, 2.714, 3.128, 3.616, 4.194, 4.874",\
                 "1.545, 1.628, 1.829, 2.088, 2.391, 2.744, 3.158, 3.646, 4.224, 4.904",\
                 "1.642, 1.725, 1.925, 2.185, 2.488, 2.841, 3.254, 3.743, 4.321, 5.001",\
                 "1.843, 1.926, 2.126, 2.385, 2.689, 3.041, 3.455, 3.944, 4.522, 5.201",\
                 "2.175, 2.258, 2.458, 2.717, 3.02, 3.373, 3.787, 4.276, 4.854, 5.533",\
                 "2.65, 2.733, 2.934, 3.193, 3.496, 3.849, 4.263, 4.752, 5.33, 6.01",\
                 "3.222, 3.313, 3.526, 3.792, 4.102, 4.457, 4.872, 5.362, 5.94, 6.62",\
                 "3.831, 3.93, 4.166, 4.452, 4.774, 5.139, 5.56, 6.052, 6.631, 7.31",\
                 "4.471, 4.58, 4.837, 5.148, 5.485, 5.861, 6.289, 6.786, 7.369, 8.051",\
                 "5.144, 5.26, 5.539, 5.874, 6.233, 6.624, 7.06, 7.561, 8.147, 8.832");
        }

        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.009661, 0.04006, 0.09812, 0.1886, 0.3155, 0.4825, 0.6928, 0.9497, 1.256");
          values("0.7789, 0.8563, 1.071, 1.416, 1.924, 2.626, 3.546, 4.705, 6.12, 7.808",\
                 "0.8075, 0.8849, 1.099, 1.445, 1.952, 2.655, 3.575, 4.734, 6.149, 7.837",\
                 "0.9053, 0.9827, 1.197, 1.542, 2.05, 2.752, 3.673, 4.832, 6.248, 7.935",\
                 "1.088, 1.166, 1.379, 1.723, 2.231, 2.934, 3.854, 5.013, 6.428, 8.117",\
                 "1.342, 1.421, 1.638, 1.983, 2.49, 3.193, 4.114, 5.272, 6.684, 8.377",\
                 "1.596, 1.681, 1.906, 2.256, 2.764, 3.466, 4.388, 5.547, 6.961, 8.643",\
                 "1.833, 1.925, 2.161, 2.516, 3.026, 3.73, 4.651, 5.809, 7.225, 8.913",\
                 "2.044, 2.146, 2.397, 2.758, 3.269, 3.972, 4.894, 6.052, 7.466, 9.149",\
                 "2.226, 2.338, 2.606, 2.977, 3.49, 4.192, 5.113, 6.273, 7.686, 9.369",\
                 "2.373, 2.495, 2.785, 3.169, 3.684, 4.385, 5.305, 6.463, 7.877, 9.563");
        }

        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.009661, 0.04006, 0.09812, 0.1886, 0.3155, 0.4825, 0.6928, 0.9497, 1.256");
          values("0.4044, 0.4624, 0.6126, 0.8402, 1.157, 1.582, 2.143, 2.873, 3.794, 4.919",\
                 "0.4044, 0.4622, 0.6126, 0.8404, 1.156, 1.58, 2.143, 2.874, 3.795, 4.917",\
                 "0.4044, 0.4624, 0.612, 0.8406, 1.155, 1.582, 2.143, 2.873, 3.794, 4.919",\
                 "0.404, 0.4622, 0.6138, 0.841, 1.156, 1.581, 2.142, 2.873, 3.792, 4.918",\
                 "0.404, 0.4614, 0.6124, 0.8404, 1.155, 1.582, 2.142, 2.874, 3.795, 4.918",\
                 "0.4116, 0.4684, 0.6164, 0.843, 1.159, 1.581, 2.142, 2.874, 3.796, 4.912",\
                 "0.465, 0.5218, 0.6594, 0.8736, 1.177, 1.595, 2.151, 2.879, 3.798, 4.917",\
                 "0.5338, 0.5974, 0.7402, 0.9442, 1.237, 1.637, 2.18, 2.899, 3.809, 4.924",\
                 "0.6036, 0.6718, 0.828, 1.028, 1.306, 1.698, 2.232, 2.938, 3.832, 4.936",\
                 "0.672, 0.748, 0.918, 1.124, 1.39, 1.764, 2.282, 2.974, 3.862, 4.964");
        }

        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.009661, 0.04006, 0.09812, 0.1886, 0.3155, 0.4825, 0.6928, 0.9497, 1.256");
          values("0.2807, 0.3589, 0.6211, 1.128, 1.96, 3.147, 4.724, 6.709, 9.128, 12.03",\
                 "0.281, 0.3591, 0.6202, 1.129, 1.96, 3.147, 4.724, 6.709, 9.129, 12.03",\
                 "0.2808, 0.3592, 0.6212, 1.128, 1.96, 3.147, 4.723, 6.705, 9.136, 12.03",\
                 "0.282, 0.3602, 0.6216, 1.128, 1.959, 3.151, 4.724, 6.706, 9.127, 12.03",\
                 "0.298, 0.3736, 0.6268, 1.132, 1.959, 3.151, 4.722, 6.708, 9.13, 12.03",\
                 "0.3342, 0.4066, 0.6542, 1.146, 1.965, 3.151, 4.722, 6.7, 9.123, 12",\
                 "0.3784, 0.4496, 0.6828, 1.165, 1.978, 3.157, 4.72, 6.705, 9.121, 12.02",\
                 "0.4294, 0.5016, 0.724, 1.185, 1.986, 3.163, 4.726, 6.7, 9.112, 12.01",\
                 "0.4838, 0.5602, 0.7738, 1.213, 1.996, 3.168, 4.731, 6.706, 9.12, 12",\
                 "0.5372, 0.6204, 0.8346, 1.246, 2.012, 3.17, 4.738, 6.716, 9.122, 12");
        }
      }

      timing() {
        related_pin : "A3" ;
        sdf_cond : "A1===1'b1 && 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.009661, 0.04006, 0.09812, 0.1886, 0.3155, 0.4825, 0.6928, 0.9497, 1.256");
          values("1.514, 1.598, 1.799, 2.058, 2.362, 2.714, 3.128, 3.617, 4.195, 4.875",\
                 "1.544, 1.627, 1.828, 2.088, 2.391, 2.744, 3.158, 3.647, 4.225, 4.904",\
                 "1.642, 1.725, 1.925, 2.184, 2.488, 2.841, 3.255, 3.744, 4.322, 5.001",\
                 "1.843, 1.926, 2.126, 2.386, 2.689, 3.042, 3.456, 3.945, 4.523, 5.202",\
                 "2.175, 2.258, 2.458, 2.717, 3.021, 3.374, 3.788, 4.277, 4.855, 5.534",\
                 "2.65, 2.733, 2.934, 3.193, 3.497, 3.85, 4.264, 4.753, 5.331, 6.011",\
                 "3.222, 3.313, 3.526, 3.794, 4.101, 4.457, 4.873, 5.362, 5.941, 6.621",\
                 "3.831, 3.932, 4.166, 4.453, 4.775, 5.14, 5.56, 6.053, 6.632, 7.311",\
                 "4.471, 4.58, 4.837, 5.148, 5.487, 5.862, 6.29, 6.788, 7.37, 8.051",\
                 "5.143, 5.262, 5.539, 5.876, 6.234, 6.624, 7.061, 7.565, 8.149, 8.831");
        }

        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.009661, 0.04006, 0.09812, 0.1886, 0.3155, 0.4825, 0.6928, 0.9497, 1.256");
          values("0.7789, 0.8562, 1.071, 1.416, 1.924, 2.626, 3.546, 4.705, 6.121, 7.809",\
                 "0.8076, 0.8848, 1.099, 1.445, 1.952, 2.655, 3.575, 4.733, 6.15, 7.837",\
                 "0.9054, 0.9828, 1.197, 1.542, 2.05, 2.752, 3.674, 4.832, 6.248, 7.935",\
                 "1.088, 1.165, 1.379, 1.724, 2.231, 2.934, 3.855, 5.013, 6.43, 8.117",\
                 "1.342, 1.422, 1.638, 1.983, 2.49, 3.193, 4.114, 5.274, 6.684, 8.371",\
                 "1.596, 1.681, 1.906, 2.256, 2.764, 3.467, 4.388, 5.547, 6.964, 8.648",\
                 "1.833, 1.926, 2.161, 2.515, 3.026, 3.73, 4.65, 5.808, 7.225, 8.912",\
                 "2.045, 2.146, 2.396, 2.758, 3.269, 3.971, 4.894, 6.052, 7.465, 9.148",\
                 "2.226, 2.338, 2.607, 2.977, 3.489, 4.193, 5.113, 6.273, 7.686, 9.369",\
                 "2.374, 2.495, 2.785, 3.169, 3.684, 4.385, 5.305, 6.463, 7.878, 9.561");
        }

        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.009661, 0.04006, 0.09812, 0.1886, 0.3155, 0.4825, 0.6928, 0.9497, 1.256");
          values("0.4048, 0.4626, 0.6124, 0.8408, 1.157, 1.581, 2.144, 2.874, 3.795, 4.918",\
                 "0.4048, 0.4634, 0.6122, 0.841, 1.157, 1.581, 2.144, 2.874, 3.795, 4.917",\
                 "0.4046, 0.4626, 0.6128, 0.8412, 1.156, 1.582, 2.143, 2.873, 3.794, 4.919",\
                 "0.4044, 0.463, 0.6128, 0.8412, 1.156, 1.583, 2.144, 2.875, 3.794, 4.919",\
                 "0.4046, 0.462, 0.6122, 0.841, 1.156, 1.583, 2.143, 2.874, 3.796, 4.914",\
                 "0.4116, 0.4686, 0.6168, 0.844, 1.159, 1.583, 2.143, 2.875, 3.796, 4.915",\
                 "0.4654, 0.5218, 0.6608, 0.8728, 1.177, 1.596, 2.151, 2.881, 3.794, 4.916",\
                 "0.5332, 0.5968, 0.7406, 0.9442, 1.237, 1.637, 2.182, 2.897, 3.807, 4.92",\
                 "0.6032, 0.6728, 0.828, 1.028, 1.306, 1.696, 2.232, 2.934, 3.834, 4.94",\
                 "0.672, 0.748, 0.922, 1.124, 1.39, 1.764, 2.284, 2.976, 3.864, 4.964");
        }

        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.009661, 0.04006, 0.09812, 0.1886, 0.3155, 0.4825, 0.6928, 0.9497, 1.256");
          values("0.2807, 0.3589, 0.621, 1.128, 1.96, 3.147, 4.724, 6.71, 9.13, 12.03",\
                 "0.2816, 0.3592, 0.6206, 1.129, 1.96, 3.147, 4.724, 6.71, 9.131, 12.03",\
                 "0.2816, 0.3592, 0.6212, 1.128, 1.96, 3.147, 4.724, 6.702, 9.137, 12.03",\
                 "0.2814, 0.3596, 0.6214, 1.129, 1.958, 3.15, 4.724, 6.705, 9.137, 12.03",\
                 "0.2976, 0.3742, 0.6266, 1.132, 1.961, 3.151, 4.717, 6.699, 9.128, 12.01",\
                 "0.3342, 0.4072, 0.652, 1.147, 1.967, 3.151, 4.722, 6.699, 9.135, 12.02",\
                 "0.3786, 0.4508, 0.6836, 1.165, 1.978, 3.157, 4.718, 6.703, 9.123, 12.03",\
                 "0.4284, 0.5014, 0.7248, 1.186, 1.986, 3.163, 4.726, 6.698, 9.109, 12.01",\
                 "0.4828, 0.5596, 0.7752, 1.213, 1.997, 3.167, 4.731, 6.706, 9.122, 12",\
                 "0.5366, 0.6206, 0.833, 1.248, 2.012, 3.174, 4.738, 6.708, 9.12, 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.009661, 0.04006, 0.09812, 0.1886, 0.3155, 0.4825, 0.6928, 0.9497, 1.256");
          values("1.516, 1.598, 1.799, 2.058, 2.361, 2.714, 3.128, 3.616, 4.194, 4.874",\
                 "1.545, 1.628, 1.829, 2.088, 2.391, 2.744, 3.158, 3.646, 4.224, 4.904",\
                 "1.642, 1.725, 1.925, 2.185, 2.488, 2.841, 3.254, 3.743, 4.321, 5.001",\
                 "1.843, 1.926, 2.126, 2.385, 2.689, 3.041, 3.455, 3.944, 4.522, 5.201",\
                 "2.175, 2.258, 2.458, 2.717, 3.02, 3.373, 3.787, 4.276, 4.854, 5.533",\
                 "2.65, 2.733, 2.934, 3.193, 3.496, 3.849, 4.263, 4.752, 5.33, 6.01",\
                 "3.222, 3.313, 3.526, 3.792, 4.102, 4.457, 4.872, 5.362, 5.94, 6.62",\
                 "3.831, 3.93, 4.166, 4.452, 4.774, 5.139, 5.56, 6.052, 6.631, 7.31",\
                 "4.471, 4.58, 4.837, 5.148, 5.485, 5.861, 6.289, 6.786, 7.369, 8.051",\
                 "5.144, 5.26, 5.539, 5.874, 6.233, 6.624, 7.06, 7.561, 8.147, 8.832");
        }

        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.009661, 0.04006, 0.09812, 0.1886, 0.3155, 0.4825, 0.6928, 0.9497, 1.256");
          values("0.7789, 0.8563, 1.071, 1.416, 1.924, 2.626, 3.546, 4.705, 6.12, 7.808",\
                 "0.8075, 0.8849, 1.099, 1.445, 1.952, 2.655, 3.575, 4.734, 6.149, 7.837",\
                 "0.9053, 0.9827, 1.197, 1.542, 2.05, 2.752, 3.673, 4.832, 6.248, 7.935",\
                 "1.088, 1.166, 1.379, 1.723, 2.231, 2.934, 3.854, 5.013, 6.428, 8.117",\
                 "1.342, 1.421, 1.638, 1.983, 2.49, 3.193, 4.114, 5.272, 6.684, 8.377",\
                 "1.596, 1.681, 1.906, 2.256, 2.764, 3.466, 4.388, 5.547, 6.961, 8.643",\
                 "1.833, 1.925, 2.161, 2.516, 3.026, 3.73, 4.651, 5.809, 7.225, 8.913",\
                 "2.044, 2.146, 2.397, 2.758, 3.269, 3.972, 4.894, 6.052, 7.466, 9.149",\
                 "2.226, 2.338, 2.606, 2.977, 3.49, 4.192, 5.113, 6.273, 7.686, 9.369",\
                 "2.373, 2.495, 2.785, 3.169, 3.684, 4.385, 5.305, 6.463, 7.877, 9.563");
        }

        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.009661, 0.04006, 0.09812, 0.1886, 0.3155, 0.4825, 0.6928, 0.9497, 1.256");
          values("0.4048, 0.4626, 0.6124, 0.8408, 1.157, 1.581, 2.144, 2.874, 3.795, 4.918",\
                 "0.4048, 0.4634, 0.6122, 0.841, 1.157, 1.581, 2.144, 2.874, 3.795, 4.917",\
                 "0.4046, 0.4626, 0.6128, 0.8412, 1.156, 1.582, 2.143, 2.873, 3.794, 4.919",\
                 "0.4044, 0.463, 0.6128, 0.8412, 1.156, 1.583, 2.144, 2.875, 3.794, 4.919",\
                 "0.4046, 0.462, 0.6122, 0.841, 1.156, 1.583, 2.143, 2.874, 3.796, 4.914",\
                 "0.4116, 0.4686, 0.6168, 0.844, 1.159, 1.583, 2.143, 2.875, 3.796, 4.915",\
                 "0.4654, 0.5218, 0.6608, 0.8728, 1.177, 1.596, 2.151, 2.881, 3.794, 4.916",\
                 "0.5332, 0.5968, 0.7406, 0.9442, 1.237, 1.637, 2.182, 2.897, 3.807, 4.92",\
                 "0.6032, 0.6728, 0.828, 1.028, 1.306, 1.696, 2.232, 2.934, 3.834, 4.94",\
                 "0.672, 0.748, 0.922, 1.124, 1.39, 1.764, 2.284, 2.976, 3.864, 4.964");
        }

        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.009661, 0.04006, 0.09812, 0.1886, 0.3155, 0.4825, 0.6928, 0.9497, 1.256");
          values("0.2807, 0.3589, 0.621, 1.128, 1.96, 3.147, 4.724, 6.71, 9.13, 12.03",\
                 "0.2816, 0.3592, 0.6206, 1.129, 1.96, 3.147, 4.724, 6.71, 9.131, 12.03",\
                 "0.2816, 0.3592, 0.6212, 1.128, 1.96, 3.147, 4.724, 6.702, 9.137, 12.03",\
                 "0.2814, 0.3596, 0.6214, 1.129, 1.958, 3.15, 4.724, 6.705, 9.137, 12.03",\
                 "0.2976, 0.3742, 0.6266, 1.132, 1.961, 3.151, 4.717, 6.699, 9.128, 12.01",\
                 "0.3342, 0.4072, 0.652, 1.147, 1.967, 3.151, 4.722, 6.699, 9.135, 12.02",\
                 "0.3786, 0.4508, 0.6836, 1.165, 1.978, 3.157, 4.718, 6.703, 9.123, 12.03",\
                 "0.4284, 0.5014, 0.7248, 1.186, 1.986, 3.163, 4.726, 6.698, 9.109, 12.01",\
                 "0.4828, 0.5596, 0.7752, 1.213, 1.997, 3.167, 4.731, 6.706, 9.122, 12",\
                 "0.5366, 0.6206, 0.833, 1.248, 2.012, 3.174, 4.738, 6.708, 9.12, 12");
        }
      }
    }
  }