  cell(gf180mcu_fd_sc_mcu9t5v0__xor3_2) {
    area : 79.027200 ;

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

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

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

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

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

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

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

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

    leakage_power() {
      related_pg_pin : "VDD" ;
      value : "5.1336e-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.00587 ;
      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.006291 ;
      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.009037 ;
      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 : 0.6281 ;
      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.005328, 0.02052, 0.04954, 0.09474, 0.1582, 0.2416, 0.3468, 0.4751, 0.6281");
          values("0.0897, 0.0899, 0.09053, 0.0912, 0.09177, 0.09213, 0.09237, 0.09251, 0.09258, 0.09265",\
                 "0.08964, 0.08982, 0.09041, 0.09113, 0.09166, 0.09203, 0.09226, 0.0924, 0.09249, 0.09255",\
                 "0.08945, 0.08966, 0.09022, 0.09094, 0.09151, 0.09188, 0.09211, 0.09224, 0.09235, 0.0924",\
                 "0.08932, 0.08948, 0.09009, 0.09079, 0.09135, 0.09171, 0.09193, 0.09209, 0.0922, 0.09223",\
                 "0.0891, 0.08927, 0.08985, 0.09057, 0.09113, 0.09149, 0.09173, 0.09187, 0.09197, 0.09202",\
                 "0.08881, 0.08902, 0.08957, 0.09031, 0.09086, 0.09124, 0.09146, 0.0916, 0.09169, 0.09176",\
                 "0.08864, 0.08887, 0.08942, 0.09015, 0.09074, 0.09108, 0.09131, 0.09145, 0.09154, 0.0916",\
                 "0.08869, 0.08887, 0.08947, 0.09017, 0.09074, 0.09111, 0.09133, 0.09147, 0.09156, 0.09163",\
                 "0.08887, 0.08904, 0.08963, 0.09037, 0.09094, 0.0913, 0.09153, 0.09166, 0.09175, 0.09182",\
                 "0.08926, 0.08945, 0.09003, 0.09075, 0.09131, 0.09169, 0.09192, 0.09207, 0.09216, 0.09219");
        }

        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.005328, 0.02052, 0.04954, 0.09474, 0.1582, 0.2416, 0.3468, 0.4751, 0.6281");
          values("0.08271, 0.08287, 0.08336, 0.08398, 0.08484, 0.08555, 0.08611, 0.08671, 0.09008, 0.1123",\
                 "0.0827, 0.08285, 0.08333, 0.08403, 0.0848, 0.0855, 0.08634, 0.08678, 0.09015, 0.1131",\
                 "0.08254, 0.08272, 0.08317, 0.08383, 0.08462, 0.08537, 0.08587, 0.08658, 0.08956, 0.1141",\
                 "0.08215, 0.08231, 0.08281, 0.0834, 0.08426, 0.08498, 0.08567, 0.08671, 0.08967, 0.118",\
                 "0.08184, 0.082, 0.08243, 0.08315, 0.08399, 0.08462, 0.0856, 0.08597, 0.09095, 0.1248",\
                 "0.08166, 0.08183, 0.08227, 0.08299, 0.08376, 0.08453, 0.08508, 0.08584, 0.09251, 0.1341",\
                 "0.08167, 0.0818, 0.08229, 0.08293, 0.0837, 0.08451, 0.0851, 0.08652, 0.09492, 0.1506",\
                 "0.08177, 0.08191, 0.08234, 0.08299, 0.08395, 0.08471, 0.08524, 0.0866, 0.1002, 0.1771",\
                 "0.08203, 0.08221, 0.08265, 0.08329, 0.08392, 0.08485, 0.08583, 0.08814, 0.1109, 0.221",\
                 "0.08243, 0.08266, 0.08302, 0.0836, 0.08435, 0.08501, 0.08579, 0.09201, 0.1343, 0.2892");
        }
      }

      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.005328, 0.02052, 0.04954, 0.09474, 0.1582, 0.2416, 0.3468, 0.4751, 0.6281");
          values("0.1063, 0.1065, 0.1072, 0.1078, 0.1084, 0.1087, 0.1089, 0.109, 0.1091, 0.1092",\
                 "0.1063, 0.1065, 0.1072, 0.1079, 0.1084, 0.1087, 0.1089, 0.109, 0.1091, 0.1092",\
                 "0.1061, 0.1063, 0.107, 0.1077, 0.1082, 0.1085, 0.1087, 0.1088, 0.1089, 0.109",\
                 "0.1057, 0.1059, 0.1066, 0.1073, 0.1078, 0.1081, 0.1083, 0.1084, 0.1085, 0.1086",\
                 "0.1054, 0.1056, 0.1063, 0.107, 0.1075, 0.1078, 0.108, 0.1081, 0.1082, 0.1083",\
                 "0.1052, 0.1055, 0.1061, 0.1068, 0.1073, 0.1076, 0.1078, 0.108, 0.108, 0.1081",\
                 "0.1052, 0.1054, 0.1061, 0.1068, 0.1073, 0.1076, 0.1078, 0.108, 0.108, 0.1081",\
                 "0.1053, 0.1055, 0.1062, 0.1069, 0.1074, 0.1077, 0.1079, 0.108, 0.1081, 0.1082",\
                 "0.1055, 0.1058, 0.1065, 0.1071, 0.1077, 0.108, 0.1082, 0.1083, 0.1084, 0.1084",\
                 "0.1059, 0.1062, 0.1068, 0.1075, 0.108, 0.1084, 0.1086, 0.1087, 0.1088, 0.1088");
        }

        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.005328, 0.02052, 0.04954, 0.09474, 0.1582, 0.2416, 0.3468, 0.4751, 0.6281");
          values("0.09663, 0.0969, 0.09754, 0.0985, 0.09934, 0.1, 0.1006, 0.1011, 0.1044, 0.1297",\
                 "0.09651, 0.09681, 0.09745, 0.09841, 0.09921, 0.09991, 0.1006, 0.1012, 0.1045, 0.1296",\
                 "0.09634, 0.09661, 0.09732, 0.09825, 0.09907, 0.09979, 0.1003, 0.1009, 0.1046, 0.1318",\
                 "0.09614, 0.09646, 0.09713, 0.09803, 0.09896, 0.0998, 0.1002, 0.1007, 0.1053, 0.137",\
                 "0.09593, 0.0962, 0.09696, 0.09789, 0.09869, 0.09959, 0.09993, 0.1008, 0.1062, 0.1458",\
                 "0.09569, 0.09595, 0.09663, 0.09764, 0.09848, 0.09914, 0.09951, 0.1009, 0.1087, 0.1616",\
                 "0.09555, 0.09584, 0.09654, 0.0974, 0.09837, 0.09896, 0.09958, 0.1013, 0.1143, 0.1898",\
                 "0.09556, 0.09582, 0.09653, 0.09737, 0.09828, 0.09919, 0.09992, 0.1022, 0.1272, 0.2411",\
                 "0.09578, 0.096, 0.09675, 0.09766, 0.09846, 0.09939, 0.1, 0.1064, 0.1583, 0.3293",\
                 "0.09616, 0.09641, 0.09711, 0.09796, 0.09887, 0.09963, 0.1017, 0.1224, 0.2313, 0.4586");
        }
      }

      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.005328, 0.02052, 0.04954, 0.09474, 0.1582, 0.2416, 0.3468, 0.4751, 0.6281");
          values("0.06143, 0.06162, 0.0622, 0.06291, 0.06347, 0.06382, 0.06405, 0.06419, 0.06429, 0.06435",\
                 "0.06139, 0.06159, 0.06219, 0.06289, 0.06346, 0.06382, 0.06405, 0.06419, 0.06428, 0.06434",\
                 "0.06131, 0.06152, 0.06211, 0.06281, 0.06338, 0.06374, 0.06397, 0.06411, 0.06421, 0.06428",\
                 "0.06107, 0.06125, 0.06184, 0.06256, 0.06311, 0.06346, 0.0637, 0.06384, 0.06393, 0.064",\
                 "0.06071, 0.06091, 0.0615, 0.06219, 0.06276, 0.06312, 0.06335, 0.06351, 0.06361, 0.06367",\
                 "0.0605, 0.06067, 0.06126, 0.06195, 0.06251, 0.06288, 0.06311, 0.06326, 0.06336, 0.06342",\
                 "0.06037, 0.06053, 0.06111, 0.06182, 0.06238, 0.06276, 0.063, 0.06315, 0.06325, 0.0633",\
                 "0.06042, 0.0606, 0.06113, 0.06183, 0.06237, 0.06277, 0.06301, 0.06318, 0.06327, 0.06335",\
                 "0.06062, 0.06075, 0.06131, 0.06195, 0.06253, 0.06292, 0.06318, 0.06334, 0.06346, 0.06353",\
                 "0.06096, 0.06109, 0.06164, 0.06228, 0.06286, 0.06325, 0.0635, 0.06368, 0.06378, 0.06386");
        }

        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.005328, 0.02052, 0.04954, 0.09474, 0.1582, 0.2416, 0.3468, 0.4751, 0.6281");
          values("0.07826, 0.07839, 0.07883, 0.07957, 0.08032, 0.08102, 0.08168, 0.08232, 0.0849, 0.104",\
                 "0.0782, 0.07844, 0.07891, 0.0795, 0.0803, 0.08105, 0.08188, 0.08244, 0.08506, 0.1046",\
                 "0.07787, 0.07802, 0.07852, 0.07915, 0.07996, 0.08069, 0.08132, 0.08199, 0.08455, 0.1057",\
                 "0.0775, 0.07774, 0.07812, 0.07881, 0.07956, 0.0803, 0.08119, 0.08156, 0.08431, 0.1096",\
                 "0.07725, 0.07748, 0.07786, 0.07858, 0.07935, 0.08012, 0.08067, 0.08124, 0.08605, 0.1168",\
                 "0.07713, 0.0773, 0.07775, 0.07847, 0.07918, 0.07999, 0.08058, 0.08143, 0.0875, 0.13",\
                 "0.07717, 0.07735, 0.07779, 0.07847, 0.07922, 0.07999, 0.08083, 0.08218, 0.09202, 0.1573",\
                 "0.07737, 0.07752, 0.07792, 0.0786, 0.07926, 0.08008, 0.08079, 0.08324, 0.1033, 0.2064",\
                 "0.07767, 0.07779, 0.07825, 0.0787, 0.07954, 0.08048, 0.08103, 0.08649, 0.1316, 0.2921",\
                 "0.07813, 0.07825, 0.07861, 0.07912, 0.0798, 0.08051, 0.08244, 0.1007, 0.2012, 0.4242");
        }
      }

      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.005328, 0.02052, 0.04954, 0.09474, 0.1582, 0.2416, 0.3468, 0.4751, 0.6281");
          values("0.1018, 0.102, 0.1027, 0.1033, 0.1039, 0.1042, 0.1044, 0.1045, 0.1046, 0.1047",\
                 "0.1017, 0.102, 0.1027, 0.1033, 0.1039, 0.1042, 0.1044, 0.1045, 0.1046, 0.1046",\
                 "0.1014, 0.1017, 0.1023, 0.103, 0.1035, 0.1038, 0.104, 0.1042, 0.1042, 0.1043",\
                 "0.101, 0.1013, 0.1019, 0.1026, 0.1032, 0.1035, 0.1037, 0.1038, 0.1039, 0.104",\
                 "0.1008, 0.1011, 0.1017, 0.1024, 0.1029, 0.1033, 0.1034, 0.1036, 0.1037, 0.1037",\
                 "0.1007, 0.101, 0.1016, 0.1023, 0.1029, 0.1032, 0.1034, 0.1035, 0.1036, 0.1036",\
                 "0.1007, 0.101, 0.1016, 0.1023, 0.1028, 0.1032, 0.1034, 0.1035, 0.1036, 0.1036",\
                 "0.1007, 0.101, 0.1017, 0.1024, 0.1029, 0.1032, 0.1034, 0.1035, 0.1036, 0.1037",\
                 "0.101, 0.1013, 0.1018, 0.1025, 0.1031, 0.1034, 0.1036, 0.1037, 0.1038, 0.1039",\
                 "0.1013, 0.1015, 0.1022, 0.1028, 0.1034, 0.1037, 0.1039, 0.104, 0.1041, 0.1041");
        }

        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.005328, 0.02052, 0.04954, 0.09474, 0.1582, 0.2416, 0.3468, 0.4751, 0.6281");
          values("0.06822, 0.06849, 0.06917, 0.07009, 0.07095, 0.07168, 0.07225, 0.07279, 0.07473, 0.09158",\
                 "0.06818, 0.06848, 0.06916, 0.07009, 0.07095, 0.07165, 0.07215, 0.07304, 0.07494, 0.09095",\
                 "0.06812, 0.06844, 0.06913, 0.07002, 0.07088, 0.07156, 0.07225, 0.07261, 0.07488, 0.09304",\
                 "0.06792, 0.06819, 0.06891, 0.06982, 0.07066, 0.07134, 0.07234, 0.07275, 0.07525, 0.09597",\
                 "0.06764, 0.06794, 0.06865, 0.0695, 0.07048, 0.07114, 0.0718, 0.07232, 0.07615, 0.1028",\
                 "0.06743, 0.06773, 0.06849, 0.06939, 0.07021, 0.07089, 0.07148, 0.07248, 0.0773, 0.1118",\
                 "0.06739, 0.06764, 0.06838, 0.06926, 0.07003, 0.07084, 0.07152, 0.07224, 0.07924, 0.1252",\
                 "0.0675, 0.06774, 0.06847, 0.06926, 0.07014, 0.07112, 0.07159, 0.07286, 0.08406, 0.1524",\
                 "0.06769, 0.06791, 0.06866, 0.06941, 0.0703, 0.07102, 0.07202, 0.07412, 0.09428, 0.1959",\
                 "0.06803, 0.06828, 0.06899, 0.06979, 0.07066, 0.07107, 0.0717, 0.07737, 0.1183, 0.2697");
        }
      }

      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.005328, 0.02052, 0.04954, 0.09474, 0.1582, 0.2416, 0.3468, 0.4751, 0.6281");
          values("0.08822, 0.08842, 0.08898, 0.08974, 0.09029, 0.09065, 0.09087, 0.09101, 0.09111, 0.09117",\
                 "0.08803, 0.08825, 0.08885, 0.08955, 0.09009, 0.09045, 0.09069, 0.09083, 0.09093, 0.09098",\
                 "0.08781, 0.08799, 0.0886, 0.08931, 0.08985, 0.09022, 0.09045, 0.09059, 0.09068, 0.09074",\
                 "0.08764, 0.08785, 0.08845, 0.08917, 0.08971, 0.09009, 0.09031, 0.09046, 0.09055, 0.09061",\
                 "0.08758, 0.08777, 0.08833, 0.08905, 0.08963, 0.08998, 0.0902, 0.09035, 0.09044, 0.0905",\
                 "0.08751, 0.0877, 0.08827, 0.08901, 0.08955, 0.08992, 0.09015, 0.09029, 0.09038, 0.09044",\
                 "0.08754, 0.08774, 0.08831, 0.08907, 0.08962, 0.08998, 0.09022, 0.09036, 0.09044, 0.09051",\
                 "0.08774, 0.08793, 0.08852, 0.08923, 0.08979, 0.09015, 0.09037, 0.09051, 0.09061, 0.09067",\
                 "0.08804, 0.08821, 0.08882, 0.08957, 0.09011, 0.09047, 0.09069, 0.09083, 0.09092, 0.09098",\
                 "0.08848, 0.08865, 0.08925, 0.08998, 0.09053, 0.0909, 0.09113, 0.09126, 0.09136, 0.09138");
        }

        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.005328, 0.02052, 0.04954, 0.09474, 0.1582, 0.2416, 0.3468, 0.4751, 0.6281");
          values("0.07916, 0.07935, 0.07981, 0.08045, 0.08125, 0.08202, 0.08279, 0.08323, 0.08643, 0.1082",\
                 "0.07918, 0.07942, 0.07979, 0.08047, 0.08125, 0.08193, 0.08292, 0.08352, 0.08565, 0.1082",\
                 "0.07911, 0.07927, 0.07971, 0.08043, 0.08122, 0.08197, 0.08256, 0.08316, 0.08675, 0.1104",\
                 "0.0789, 0.07903, 0.07954, 0.08025, 0.08105, 0.08168, 0.08267, 0.08302, 0.08694, 0.1138",\
                 "0.07874, 0.07898, 0.07935, 0.08007, 0.08086, 0.08161, 0.08218, 0.0828, 0.08768, 0.12",\
                 "0.07868, 0.07885, 0.07928, 0.08, 0.08077, 0.08154, 0.08218, 0.08289, 0.0888, 0.1297",\
                 "0.07876, 0.07892, 0.07941, 0.08007, 0.08084, 0.08157, 0.08254, 0.08321, 0.09167, 0.1452",\
                 "0.07898, 0.07913, 0.07955, 0.08022, 0.08105, 0.08191, 0.08256, 0.08417, 0.09667, 0.17",\
                 "0.07923, 0.07947, 0.07985, 0.08045, 0.08111, 0.08199, 0.08313, 0.08532, 0.1065, 0.2119",\
                 "0.07971, 0.07985, 0.08029, 0.08088, 0.08179, 0.08222, 0.08325, 0.08856, 0.1279, 0.2763");
        }
      }

      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.005328, 0.02052, 0.04954, 0.09474, 0.1582, 0.2416, 0.3468, 0.4751, 0.6281");
          values("0.1026, 0.1029, 0.1035, 0.1042, 0.1047, 0.1051, 0.1053, 0.1054, 0.1055, 0.1055",\
                 "0.1026, 0.1029, 0.1036, 0.1043, 0.1048, 0.1051, 0.1053, 0.1054, 0.1055, 0.1056",\
                 "0.1026, 0.1028, 0.1035, 0.1042, 0.1047, 0.105, 0.1052, 0.1053, 0.1054, 0.1055",\
                 "0.1024, 0.1026, 0.1033, 0.104, 0.1045, 0.1048, 0.105, 0.1051, 0.1052, 0.1053",\
                 "0.1022, 0.1025, 0.1031, 0.1038, 0.1043, 0.1047, 0.1048, 0.105, 0.1051, 0.1051",\
                 "0.1022, 0.1024, 0.1031, 0.1038, 0.1043, 0.1046, 0.1048, 0.1049, 0.105, 0.1051",\
                 "0.1022, 0.1025, 0.1031, 0.1038, 0.1043, 0.1047, 0.1049, 0.105, 0.1051, 0.1051",\
                 "0.1024, 0.1027, 0.1033, 0.104, 0.1045, 0.1048, 0.105, 0.1052, 0.1052, 0.1053",\
                 "0.1027, 0.1029, 0.1036, 0.1043, 0.1048, 0.1051, 0.1053, 0.1055, 0.1056, 0.1056",\
                 "0.1031, 0.1034, 0.1041, 0.1047, 0.1052, 0.1056, 0.1058, 0.1059, 0.106, 0.106");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.005328, 0.02052, 0.04954, 0.09474, 0.1582, 0.2416, 0.3468, 0.4751, 0.6281");
          values("0.09512, 0.0954, 0.09604, 0.09697, 0.09781, 0.0985, 0.09904, 0.09955, 0.1029, 0.1274",\
                 "0.09489, 0.09517, 0.0959, 0.09686, 0.09772, 0.09832, 0.09891, 0.09941, 0.1026, 0.1275",\
                 "0.09471, 0.09496, 0.09567, 0.09655, 0.09739, 0.09809, 0.09871, 0.09941, 0.1028, 0.1291",\
                 "0.09454, 0.09478, 0.09553, 0.09641, 0.09728, 0.09794, 0.09857, 0.09908, 0.1033, 0.1342",\
                 "0.09446, 0.09471, 0.09541, 0.0963, 0.09712, 0.09807, 0.09844, 0.09897, 0.1046, 0.1435",\
                 "0.09437, 0.09465, 0.09536, 0.0963, 0.09719, 0.0978, 0.09835, 0.09956, 0.1073, 0.1606",\
                 "0.09442, 0.09473, 0.09544, 0.09628, 0.09714, 0.09782, 0.09851, 0.0997, 0.1143, 0.1943",\
                 "0.09464, 0.09491, 0.09566, 0.09655, 0.09739, 0.09807, 0.09869, 0.1015, 0.1294, 0.2527",\
                 "0.09492, 0.09522, 0.09587, 0.09675, 0.09775, 0.09829, 0.09925, 0.1071, 0.1671, 0.3503",\
                 "0.0954, 0.09566, 0.09634, 0.09727, 0.098, 0.09898, 0.1015, 0.1285, 0.2543, 0.4859");
        }
      }

      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.005328, 0.02052, 0.04954, 0.09474, 0.1582, 0.2416, 0.3468, 0.4751, 0.6281");
          values("0.06228, 0.06246, 0.06305, 0.06376, 0.06431, 0.06468, 0.06492, 0.06506, 0.06515, 0.06521",\
                 "0.06233, 0.0625, 0.0631, 0.06381, 0.06437, 0.06473, 0.06496, 0.06511, 0.06519, 0.06526",\
                 "0.06228, 0.0625, 0.06308, 0.06379, 0.06434, 0.0647, 0.06493, 0.06508, 0.06517, 0.06524",\
                 "0.06209, 0.06228, 0.06289, 0.06358, 0.06415, 0.0645, 0.06473, 0.06488, 0.06498, 0.06503",\
                 "0.06175, 0.06196, 0.06252, 0.06324, 0.06381, 0.06418, 0.06441, 0.06456, 0.06466, 0.06472",\
                 "0.06155, 0.06172, 0.06228, 0.06297, 0.06352, 0.06391, 0.06413, 0.06428, 0.06438, 0.06444",\
                 "0.06132, 0.0615, 0.06206, 0.06275, 0.06332, 0.06368, 0.06393, 0.06408, 0.06418, 0.06424",\
                 "0.06126, 0.06144, 0.06197, 0.06269, 0.06323, 0.06363, 0.06386, 0.06402, 0.06412, 0.06419",\
                 "0.06131, 0.06149, 0.06203, 0.06269, 0.06326, 0.06364, 0.06389, 0.06404, 0.06417, 0.06423",\
                 "0.06151, 0.06168, 0.06221, 0.06288, 0.06344, 0.06383, 0.06408, 0.06425, 0.06435, 0.06443");
        }

        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.005328, 0.02052, 0.04954, 0.09474, 0.1582, 0.2416, 0.3468, 0.4751, 0.6281");
          values("0.08096, 0.08112, 0.08162, 0.08226, 0.08305, 0.0838, 0.08462, 0.08508, 0.08789, 0.1079",\
                 "0.08079, 0.08095, 0.08145, 0.0821, 0.08287, 0.08364, 0.08417, 0.08478, 0.0879, 0.1085",\
                 "0.08061, 0.08071, 0.08126, 0.0819, 0.08263, 0.08335, 0.08419, 0.08471, 0.08785, 0.1097",\
                 "0.08035, 0.08051, 0.08096, 0.08161, 0.08242, 0.08317, 0.08376, 0.08465, 0.08833, 0.1131",\
                 "0.08023, 0.08034, 0.0809, 0.08147, 0.08229, 0.08304, 0.08358, 0.08485, 0.08919, 0.121",\
                 "0.08014, 0.08028, 0.0808, 0.08143, 0.08217, 0.08294, 0.08347, 0.08434, 0.09155, 0.1359",\
                 "0.08017, 0.08038, 0.08083, 0.08145, 0.08217, 0.08286, 0.08361, 0.08471, 0.09681, 0.164",\
                 "0.08039, 0.0805, 0.08088, 0.08167, 0.08233, 0.08313, 0.08388, 0.08648, 0.109, 0.2167",\
                 "0.08066, 0.0808, 0.08123, 0.08178, 0.08251, 0.08342, 0.08414, 0.09026, 0.1394, 0.308",\
                 "0.08108, 0.0812, 0.08156, 0.08208, 0.08278, 0.08359, 0.08565, 0.1067, 0.2161, 0.443");
        }
      }

      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.005328, 0.02052, 0.04954, 0.09474, 0.1582, 0.2416, 0.3468, 0.4751, 0.6281");
          values("0.1045, 0.1048, 0.1054, 0.1061, 0.1066, 0.1069, 0.1071, 0.1073, 0.1074, 0.1074",\
                 "0.1043, 0.1046, 0.1053, 0.1059, 0.1065, 0.1068, 0.107, 0.1071, 0.1072, 0.1072",\
                 "0.1041, 0.1043, 0.105, 0.1057, 0.1062, 0.1066, 0.1068, 0.1069, 0.107, 0.107",\
                 "0.1039, 0.1042, 0.1048, 0.1055, 0.106, 0.1064, 0.1065, 0.1067, 0.1068, 0.1068",\
                 "0.1038, 0.104, 0.1047, 0.1054, 0.1059, 0.1062, 0.1064, 0.1065, 0.1066, 0.1067",\
                 "0.1037, 0.104, 0.1046, 0.1053, 0.1058, 0.1062, 0.1064, 0.1065, 0.1066, 0.1066",\
                 "0.1037, 0.104, 0.1047, 0.1053, 0.1059, 0.1062, 0.1064, 0.1065, 0.1066, 0.1067",\
                 "0.1038, 0.1041, 0.1047, 0.1054, 0.1059, 0.1062, 0.1064, 0.1065, 0.1066, 0.1067",\
                 "0.1039, 0.1042, 0.1048, 0.1055, 0.1061, 0.1064, 0.1066, 0.1067, 0.1068, 0.1068",\
                 "0.1043, 0.1045, 0.1051, 0.1058, 0.1064, 0.1067, 0.1069, 0.107, 0.1071, 0.1071");
        }

        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.005328, 0.02052, 0.04954, 0.09474, 0.1582, 0.2416, 0.3468, 0.4751, 0.6281");
          values("0.06911, 0.06936, 0.06999, 0.07099, 0.0718, 0.07255, 0.07298, 0.07383, 0.07588, 0.09154",\
                 "0.06914, 0.06937, 0.07013, 0.07105, 0.07187, 0.07255, 0.07355, 0.07389, 0.076, 0.09171",\
                 "0.0691, 0.06941, 0.07011, 0.07096, 0.07194, 0.07258, 0.07326, 0.07362, 0.07657, 0.0957",\
                 "0.06896, 0.06921, 0.0699, 0.07083, 0.07167, 0.07242, 0.07303, 0.07349, 0.07657, 0.09854",\
                 "0.06867, 0.06897, 0.06962, 0.07053, 0.07149, 0.0721, 0.07281, 0.07322, 0.07708, 0.1036",\
                 "0.06843, 0.06869, 0.0694, 0.07035, 0.07119, 0.07208, 0.07258, 0.07313, 0.07808, 0.1114",\
                 "0.06827, 0.06852, 0.06924, 0.0702, 0.07106, 0.07177, 0.07238, 0.07302, 0.08045, 0.1265",\
                 "0.06823, 0.0685, 0.06925, 0.07006, 0.07097, 0.07188, 0.07216, 0.0731, 0.08445, 0.15",\
                 "0.06836, 0.06858, 0.06928, 0.07008, 0.07088, 0.07149, 0.07269, 0.07439, 0.09384, 0.1924",\
                 "0.06856, 0.06881, 0.06949, 0.07033, 0.0712, 0.07176, 0.07253, 0.07774, 0.1165, 0.2642");
        }
      }

      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.005328, 0.02052, 0.04954, 0.09474, 0.1582, 0.2416, 0.3468, 0.4751, 0.6281");
          values("0.05871, 0.05892, 0.05956, 0.06026, 0.0608, 0.06114, 0.06136, 0.06149, 0.06159, 0.06165",\
                 "0.05834, 0.05851, 0.05918, 0.05987, 0.06042, 0.06076, 0.06097, 0.06111, 0.06121, 0.06126",\
                 "0.05753, 0.05773, 0.05834, 0.05906, 0.05961, 0.05996, 0.06017, 0.06031, 0.06041, 0.06046",\
                 "0.05684, 0.05704, 0.0576, 0.05828, 0.05883, 0.0592, 0.05944, 0.0596, 0.0597, 0.05976",\
                 "0.05652, 0.05666, 0.05709, 0.05773, 0.05828, 0.05871, 0.059, 0.05919, 0.05931, 0.0594",\
                 "0.05659, 0.05665, 0.05699, 0.05753, 0.05808, 0.05852, 0.05884, 0.05905, 0.05921, 0.05932",\
                 "0.0569, 0.05691, 0.05713, 0.0576, 0.05807, 0.05852, 0.05888, 0.05912, 0.0593, 0.05942",\
                 "0.05754, 0.05751, 0.05762, 0.05796, 0.05839, 0.05882, 0.05916, 0.05941, 0.0596, 0.05974",\
                 "0.0584, 0.05829, 0.0583, 0.05848, 0.05887, 0.05927, 0.05963, 0.0599, 0.0601, 0.06024",\
                 "0.05953, 0.05932, 0.05913, 0.05931, 0.05964, 0.05999, 0.06031, 0.06058, 0.06079, 0.06097");
        }

        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.005328, 0.02052, 0.04954, 0.09474, 0.1582, 0.2416, 0.3468, 0.4751, 0.6281");
          values("0.03197, 0.03228, 0.03312, 0.03409, 0.03486, 0.03551, 0.03606, 0.03667, 0.03794, 0.05049",\
                 "0.03202, 0.03235, 0.03314, 0.03415, 0.03495, 0.0356, 0.03604, 0.03677, 0.0382, 0.05076",\
                 "0.03187, 0.03214, 0.03294, 0.03386, 0.03468, 0.03538, 0.0359, 0.03652, 0.03798, 0.05156",\
                 "0.03135, 0.03164, 0.03226, 0.0331, 0.03398, 0.0347, 0.03543, 0.03613, 0.03795, 0.05375",\
                 "0.03091, 0.03109, 0.03163, 0.03237, 0.03315, 0.03396, 0.0348, 0.03559, 0.03806, 0.0571",\
                 "0.03075, 0.03091, 0.03118, 0.03188, 0.03274, 0.03336, 0.03412, 0.03513, 0.03841, 0.06187",\
                 "0.03084, 0.03092, 0.03125, 0.03157, 0.03247, 0.03342, 0.03392, 0.03438, 0.03942, 0.0714",\
                 "0.03121, 0.03125, 0.0314, 0.03192, 0.03222, 0.0332, 0.0344, 0.03477, 0.04213, 0.08735",\
                 "0.0318, 0.03183, 0.03201, 0.03235, 0.03277, 0.03329, 0.03436, 0.03629, 0.04759, 0.1178",\
                 "0.03267, 0.03268, 0.0328, 0.033, 0.03337, 0.03394, 0.03449, 0.03767, 0.06145, 0.1715");
        }
      }

      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.005328, 0.02052, 0.04954, 0.09474, 0.1582, 0.2416, 0.3468, 0.4751, 0.6281");
          values("0.06574, 0.06601, 0.06669, 0.06737, 0.06786, 0.06819, 0.06838, 0.06851, 0.06859, 0.06865",\
                 "0.06572, 0.06598, 0.06667, 0.06734, 0.06785, 0.06817, 0.06836, 0.06849, 0.06857, 0.06864",\
                 "0.06528, 0.06556, 0.06623, 0.06693, 0.06742, 0.06774, 0.06793, 0.06805, 0.06814, 0.0682",\
                 "0.0641, 0.06433, 0.06501, 0.06573, 0.06622, 0.06654, 0.06673, 0.06686, 0.06695, 0.067",\
                 "0.06321, 0.06346, 0.06413, 0.06484, 0.06536, 0.06568, 0.06587, 0.06599, 0.06608, 0.06613",\
                 "0.06257, 0.06287, 0.06353, 0.06422, 0.06474, 0.06506, 0.06525, 0.06538, 0.06547, 0.06552",\
                 "0.06225, 0.06251, 0.06314, 0.06383, 0.06431, 0.06469, 0.0649, 0.06504, 0.06511, 0.06518",\
                 "0.06209, 0.06231, 0.06296, 0.06364, 0.06417, 0.06451, 0.06471, 0.06486, 0.06494, 0.06499",\
                 "0.0621, 0.06232, 0.06294, 0.06362, 0.06416, 0.06449, 0.06473, 0.06486, 0.06495, 0.06503",\
                 "0.06228, 0.06251, 0.0631, 0.06377, 0.06433, 0.06469, 0.06491, 0.06507, 0.06515, 0.06521");
        }

        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.005328, 0.02052, 0.04954, 0.09474, 0.1582, 0.2416, 0.3468, 0.4751, 0.6281");
          values("0.07618, 0.07639, 0.07708, 0.07789, 0.07879, 0.07939, 0.08025, 0.08044, 0.0824, 0.09649",\
                 "0.07606, 0.07627, 0.07696, 0.07777, 0.07864, 0.07925, 0.0798, 0.08084, 0.08245, 0.09694",\
                 "0.07597, 0.07615, 0.07685, 0.07764, 0.07853, 0.07912, 0.07968, 0.0803, 0.08213, 0.09864",\
                 "0.07562, 0.07587, 0.07649, 0.07732, 0.07814, 0.07903, 0.07948, 0.07996, 0.08277, 0.1012",\
                 "0.07522, 0.07545, 0.07608, 0.07692, 0.07774, 0.07866, 0.07905, 0.07992, 0.08316, 0.1065",\
                 "0.07492, 0.07515, 0.07577, 0.07667, 0.07747, 0.07817, 0.0786, 0.07936, 0.08371, 0.1162",\
                 "0.07472, 0.07494, 0.07557, 0.07645, 0.07713, 0.0779, 0.07849, 0.07966, 0.08643, 0.1354",\
                 "0.07474, 0.07495, 0.0755, 0.0762, 0.07724, 0.07801, 0.07856, 0.07947, 0.09308, 0.1689",\
                 "0.07491, 0.07508, 0.07565, 0.07627, 0.07709, 0.07797, 0.07881, 0.08166, 0.1097, 0.2317",\
                 "0.07518, 0.07539, 0.0759, 0.07667, 0.07736, 0.07767, 0.07916, 0.0888, 0.1514, 0.3398");
        }
      }

      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.005328, 0.02052, 0.04954, 0.09474, 0.1582, 0.2416, 0.3468, 0.4751, 0.6281");
          values("0.06574, 0.066, 0.06669, 0.06737, 0.06786, 0.06818, 0.06838, 0.06851, 0.06859, 0.06865",\
                 "0.06572, 0.06598, 0.06667, 0.06734, 0.06785, 0.06817, 0.06836, 0.06849, 0.06857, 0.06864",\
                 "0.06529, 0.06555, 0.06624, 0.06693, 0.06742, 0.06774, 0.06793, 0.06806, 0.06814, 0.0682",\
                 "0.06409, 0.06436, 0.06501, 0.06571, 0.06623, 0.06654, 0.06673, 0.06686, 0.06695, 0.067",\
                 "0.06321, 0.06346, 0.06413, 0.06484, 0.06536, 0.06568, 0.06587, 0.066, 0.06608, 0.06613",\
                 "0.06261, 0.06286, 0.06353, 0.06423, 0.06473, 0.06505, 0.06524, 0.06538, 0.06544, 0.06551",\
                 "0.06224, 0.0625, 0.06315, 0.06381, 0.06437, 0.0647, 0.0649, 0.06503, 0.06511, 0.06519",\
                 "0.0621, 0.06231, 0.06296, 0.06365, 0.06417, 0.0645, 0.0647, 0.06485, 0.06494, 0.065",\
                 "0.06212, 0.06232, 0.06295, 0.06363, 0.06416, 0.06452, 0.06472, 0.06485, 0.06496, 0.06502",\
                 "0.06229, 0.06251, 0.0631, 0.06377, 0.06433, 0.06467, 0.06491, 0.06505, 0.06514, 0.06521");
        }

        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.005328, 0.02052, 0.04954, 0.09474, 0.1582, 0.2416, 0.3468, 0.4751, 0.6281");
          values("0.07616, 0.07642, 0.07703, 0.07789, 0.07868, 0.07943, 0.07986, 0.08097, 0.08211, 0.09658",\
                 "0.07604, 0.07628, 0.07696, 0.07777, 0.07853, 0.07923, 0.0798, 0.0808, 0.08242, 0.09676",\
                 "0.07594, 0.07615, 0.07686, 0.07764, 0.07846, 0.07914, 0.07973, 0.08017, 0.08191, 0.09886",\
                 "0.07565, 0.07588, 0.07657, 0.07739, 0.07816, 0.07883, 0.07969, 0.08008, 0.0826, 0.1008",\
                 "0.07525, 0.07545, 0.07613, 0.07697, 0.07781, 0.07851, 0.07896, 0.07965, 0.08284, 0.1063",\
                 "0.0749, 0.07515, 0.0758, 0.07656, 0.07751, 0.07817, 0.07869, 0.07985, 0.08403, 0.117",\
                 "0.07472, 0.07494, 0.07558, 0.07642, 0.07713, 0.07784, 0.07876, 0.07925, 0.08665, 0.1355",\
                 "0.07474, 0.07492, 0.07549, 0.0762, 0.07724, 0.07808, 0.07854, 0.0801, 0.09319, 0.1697",\
                 "0.07486, 0.07505, 0.07562, 0.07636, 0.07709, 0.07788, 0.07882, 0.0817, 0.1097, 0.2317",\
                 "0.07517, 0.07537, 0.07583, 0.07654, 0.0774, 0.07772, 0.07912, 0.08853, 0.1515, 0.34");
        }
      }

      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.005328, 0.02052, 0.04954, 0.09474, 0.1582, 0.2416, 0.3468, 0.4751, 0.6281");
          values("0.05872, 0.05893, 0.05953, 0.06025, 0.0608, 0.06114, 0.06136, 0.0615, 0.06159, 0.06165",\
                 "0.05834, 0.05853, 0.05919, 0.05987, 0.06042, 0.06076, 0.06098, 0.06111, 0.06121, 0.06126",\
                 "0.05752, 0.05773, 0.05834, 0.05906, 0.05961, 0.05996, 0.06017, 0.06031, 0.06041, 0.06046",\
                 "0.05683, 0.05702, 0.0576, 0.05828, 0.05883, 0.0592, 0.05944, 0.0596, 0.0597, 0.05976",\
                 "0.0565, 0.05663, 0.05709, 0.05772, 0.05829, 0.05872, 0.059, 0.05919, 0.05931, 0.05941",\
                 "0.05659, 0.05665, 0.05701, 0.05751, 0.05807, 0.05851, 0.05883, 0.05904, 0.0592, 0.05931",\
                 "0.05691, 0.05691, 0.05715, 0.0576, 0.05807, 0.05852, 0.05888, 0.05912, 0.05931, 0.05942",\
                 "0.05752, 0.0575, 0.0576, 0.05791, 0.05835, 0.05879, 0.05916, 0.05942, 0.05958, 0.05973",\
                 "0.05842, 0.05829, 0.05825, 0.05849, 0.05886, 0.05926, 0.05963, 0.05989, 0.0601, 0.06025",\
                 "0.05953, 0.0593, 0.05915, 0.05928, 0.05961, 0.05995, 0.0603, 0.06057, 0.06082, 0.06097");
        }

        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.005328, 0.02052, 0.04954, 0.09474, 0.1582, 0.2416, 0.3468, 0.4751, 0.6281");
          values("0.03197, 0.03228, 0.03312, 0.0341, 0.03486, 0.03551, 0.03604, 0.03676, 0.03824, 0.05103",\
                 "0.03202, 0.03232, 0.03314, 0.03415, 0.03495, 0.03561, 0.03617, 0.03674, 0.03815, 0.0513",\
                 "0.03187, 0.03215, 0.03292, 0.03388, 0.03467, 0.03538, 0.03593, 0.03665, 0.03812, 0.0521",\
                 "0.03137, 0.03157, 0.03226, 0.03302, 0.03396, 0.03466, 0.03541, 0.03611, 0.03788, 0.05146",\
                 "0.03091, 0.03109, 0.03163, 0.03235, 0.03317, 0.03396, 0.03469, 0.03537, 0.03757, 0.05687",\
                 "0.03076, 0.03092, 0.03133, 0.03197, 0.03269, 0.03335, 0.03412, 0.0349, 0.03794, 0.06093",\
                 "0.03082, 0.0309, 0.03113, 0.03165, 0.03243, 0.03347, 0.0339, 0.0344, 0.03938, 0.0714",\
                 "0.03117, 0.03123, 0.03151, 0.03194, 0.03234, 0.03322, 0.03439, 0.03504, 0.0422, 0.08735",\
                 "0.03181, 0.03181, 0.03201, 0.03233, 0.03254, 0.03309, 0.03437, 0.03609, 0.04793, 0.1178",\
                 "0.03267, 0.03269, 0.03281, 0.033, 0.03346, 0.03383, 0.03409, 0.03734, 0.06175, 0.1713");
        }
      }

      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.005328, 0.02052, 0.04954, 0.09474, 0.1582, 0.2416, 0.3468, 0.4751, 0.6281");
          values("3.55, 3.593, 3.708, 3.874, 4.095, 4.384, 4.755, 5.219, 5.785, 6.458",\
                 "3.581, 3.624, 3.739, 3.906, 4.126, 4.415, 4.785, 5.249, 5.815, 6.49",\
                 "3.674, 3.717, 3.832, 3.999, 4.219, 4.508, 4.879, 5.343, 5.909, 6.582",\
                 "3.822, 3.865, 3.98, 4.147, 4.367, 4.656, 5.026, 5.491, 6.056, 6.73",\
                 "3.964, 4.007, 4.122, 4.289, 4.51, 4.798, 5.169, 5.633, 6.199, 6.873",\
                 "4.079, 4.122, 4.237, 4.404, 4.625, 4.913, 5.284, 5.748, 6.314, 6.988",\
                 "4.155, 4.198, 4.314, 4.48, 4.701, 4.989, 5.36, 5.824, 6.39, 7.064",\
                 "4.19, 4.234, 4.349, 4.516, 4.737, 5.025, 5.396, 5.86, 6.425, 7.099",\
                 "4.179, 4.223, 4.338, 4.505, 4.725, 5.014, 5.385, 5.849, 6.415, 7.088",\
                 "4.117, 4.16, 4.275, 4.442, 4.662, 4.951, 5.322, 5.786, 6.352, 7.025");
        }

        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.005328, 0.02052, 0.04954, 0.09474, 0.1582, 0.2416, 0.3468, 0.4751, 0.6281");
          values("3.391, 3.455, 3.646, 3.978, 4.481, 5.181, 6.101, 7.258, 8.67, 10.35",\
                 "3.416, 3.48, 3.672, 4.004, 4.506, 5.207, 6.126, 7.283, 8.694, 10.38",\
                 "3.516, 3.58, 3.771, 4.102, 4.605, 5.306, 6.226, 7.382, 8.795, 10.47",\
                 "3.697, 3.76, 3.952, 4.283, 4.786, 5.486, 6.406, 7.562, 8.974, 10.65",\
                 "3.969, 4.032, 4.224, 4.555, 5.058, 5.758, 6.678, 7.834, 9.248, 10.93",\
                 "4.341, 4.405, 4.596, 4.928, 5.431, 6.131, 7.051, 8.207, 9.62, 11.3",\
                 "4.792, 4.857, 5.048, 5.38, 5.883, 6.583, 7.502, 8.658, 10.07, 11.75",\
                 "5.302, 5.365, 5.557, 5.888, 6.391, 7.091, 8.01, 9.167, 10.58, 12.26",\
                 "5.873, 5.936, 6.128, 6.46, 6.962, 7.663, 8.582, 9.739, 11.15, 12.83",\
                 "6.511, 6.574, 6.766, 7.097, 7.6, 8.3, 9.219, 10.37, 11.79, 13.47");
        }

        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.005328, 0.02052, 0.04954, 0.09474, 0.1582, 0.2416, 0.3468, 0.4751, 0.6281");
          values("0.198, 0.2348, 0.3462, 0.5422, 0.8504, 1.303, 1.916, 2.7, 3.662, 4.819",\
                 "0.198, 0.2344, 0.3468, 0.5426, 0.8506, 1.304, 1.916, 2.7, 3.666, 4.809",\
                 "0.1982, 0.2344, 0.3464, 0.5424, 0.851, 1.304, 1.916, 2.701, 3.663, 4.819",\
                 "0.1976, 0.2336, 0.3452, 0.5414, 0.8508, 1.304, 1.917, 2.701, 3.663, 4.819",\
                 "0.1982, 0.2354, 0.3458, 0.5418, 0.8504, 1.304, 1.918, 2.701, 3.664, 4.817",\
                 "0.1986, 0.235, 0.3458, 0.5422, 0.8508, 1.303, 1.918, 2.701, 3.664, 4.816",\
                 "0.1978, 0.2344, 0.3464, 0.542, 0.851, 1.303, 1.918, 2.701, 3.663, 4.817",\
                 "0.1984, 0.234, 0.3452, 0.543, 0.8508, 1.303, 1.916, 2.701, 3.664, 4.816",\
                 "0.1978, 0.2344, 0.3464, 0.5428, 0.8508, 1.304, 1.916, 2.698, 3.66, 4.806",\
                 "0.198, 0.234, 0.348, 0.542, 0.85, 1.304, 1.914, 2.698, 3.66, 4.806");
        }

        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.005328, 0.02052, 0.04954, 0.09474, 0.1582, 0.2416, 0.3468, 0.4751, 0.6281");
          values("0.2566, 0.3308, 0.5922, 1.118, 1.961, 3.156, 4.726, 6.701, 9.131, 12.01",\
                 "0.2564, 0.331, 0.5928, 1.118, 1.961, 3.157, 4.729, 6.707, 9.135, 12",\
                 "0.2564, 0.3308, 0.5916, 1.117, 1.961, 3.158, 4.723, 6.708, 9.126, 12.02",\
                 "0.2566, 0.3302, 0.5924, 1.117, 1.962, 3.157, 4.73, 6.711, 9.126, 12.02",\
                 "0.2568, 0.3306, 0.5928, 1.118, 1.963, 3.157, 4.725, 6.711, 9.125, 12.01",\
                 "0.2566, 0.3304, 0.5918, 1.118, 1.963, 3.156, 4.728, 6.712, 9.119, 12.02",\
                 "0.2564, 0.3306, 0.5926, 1.116, 1.962, 3.156, 4.731, 6.711, 9.128, 12.02",\
                 "0.2566, 0.331, 0.5926, 1.118, 1.962, 3.156, 4.73, 6.706, 9.128, 12.01",\
                 "0.256, 0.33, 0.592, 1.116, 1.96, 3.152, 4.718, 6.708, 9.126, 12.01",\
                 "0.256, 0.332, 0.592, 1.116, 1.962, 3.156, 4.718, 6.694, 9.108, 12.01");
        }
      }

      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.005328, 0.02052, 0.04954, 0.09474, 0.1582, 0.2416, 0.3468, 0.4751, 0.6281");
          values("1.795, 1.855, 2.01, 2.223, 2.485, 2.803, 3.191, 3.662, 4.23, 4.904",\
                 "1.821, 1.881, 2.037, 2.249, 2.511, 2.829, 3.217, 3.688, 4.256, 4.93",\
                 "1.915, 1.975, 2.13, 2.343, 2.605, 2.923, 3.31, 3.781, 4.349, 5.024",\
                 "2.09, 2.15, 2.305, 2.518, 2.78, 3.098, 3.485, 3.957, 4.525, 5.199",\
                 "2.329, 2.389, 2.544, 2.757, 3.019, 3.337, 3.724, 4.196, 4.764, 5.438",\
                 "2.567, 2.628, 2.783, 2.996, 3.258, 3.576, 3.963, 4.435, 5.002, 5.677",\
                 "2.788, 2.848, 3.004, 3.217, 3.478, 3.797, 4.184, 4.656, 5.224, 5.898",\
                 "2.984, 3.044, 3.2, 3.414, 3.676, 3.994, 4.382, 4.853, 5.421, 6.095",\
                 "3.152, 3.212, 3.368, 3.581, 3.844, 4.162, 4.55, 5.021, 5.59, 6.264",\
                 "3.286, 3.346, 3.503, 3.718, 3.98, 4.299, 4.687, 5.158, 5.726, 6.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.005328, 0.02052, 0.04954, 0.09474, 0.1582, 0.2416, 0.3468, 0.4751, 0.6281");
          values("2.412, 2.479, 2.675, 3.009, 3.514, 4.216, 5.136, 6.294, 7.706, 9.39",\
                 "2.442, 2.509, 2.705, 3.039, 3.544, 4.246, 5.167, 6.325, 7.737, 9.42",\
                 "2.538, 2.605, 2.8, 3.135, 3.64, 4.342, 5.262, 6.42, 7.832, 9.514",\
                 "2.737, 2.804, 2.999, 3.334, 3.838, 4.541, 5.461, 6.618, 8.031, 9.714",\
                 "3.065, 3.132, 3.328, 3.662, 4.167, 4.869, 5.79, 6.947, 8.36, 10.04",\
                 "3.537, 3.604, 3.8, 4.134, 4.639, 5.341, 6.262, 7.419, 8.832, 10.51",\
                 "4.13, 4.197, 4.394, 4.728, 5.233, 5.935, 6.855, 8.013, 9.424, 11.11",\
                 "4.783, 4.851, 5.048, 5.382, 5.887, 6.588, 7.509, 8.667, 10.08, 11.76",\
                 "5.471, 5.54, 5.738, 6.072, 6.577, 7.279, 8.199, 9.358, 10.77, 12.45",\
                 "6.195, 6.264, 6.463, 6.798, 7.303, 8.005, 8.926, 10.08, 11.49, 13.18");
        }

        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.005328, 0.02052, 0.04954, 0.09474, 0.1582, 0.2416, 0.3468, 0.4751, 0.6281");
          values("0.2964, 0.3418, 0.4746, 0.6882, 0.9964, 1.422, 2.003, 2.755, 3.704, 4.845",\
                 "0.2966, 0.3418, 0.4746, 0.688, 0.9954, 1.422, 2.001, 2.758, 3.704, 4.845",\
                 "0.2964, 0.3418, 0.4744, 0.6884, 0.9956, 1.422, 2.003, 2.757, 3.704, 4.842",\
                 "0.2956, 0.3432, 0.4746, 0.6886, 0.9948, 1.422, 2.001, 2.759, 3.702, 4.838",\
                 "0.2954, 0.3428, 0.4744, 0.6876, 0.9948, 1.422, 2.002, 2.755, 3.704, 4.84",\
                 "0.2962, 0.3424, 0.4748, 0.689, 0.9964, 1.423, 2.003, 2.758, 3.704, 4.839",\
                 "0.2968, 0.3432, 0.4752, 0.6894, 0.9954, 1.422, 2.003, 2.758, 3.704, 4.841",\
                 "0.2982, 0.3442, 0.476, 0.69, 0.9976, 1.422, 2.001, 2.755, 3.699, 4.836",\
                 "0.2992, 0.3456, 0.4782, 0.6902, 0.9978, 1.423, 2.003, 2.76, 3.698, 4.836",\
                 "0.302, 0.346, 0.48, 0.692, 0.998, 1.424, 2.002, 2.758, 3.7, 4.842");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.005328, 0.02052, 0.04954, 0.09474, 0.1582, 0.2416, 0.3468, 0.4751, 0.6281");
          values("0.2792, 0.3522, 0.6092, 1.128, 1.969, 3.161, 4.729, 6.705, 9.125, 12.01",\
                 "0.279, 0.3528, 0.609, 1.128, 1.969, 3.157, 4.725, 6.701, 9.127, 12.01",\
                 "0.2788, 0.3524, 0.6092, 1.129, 1.971, 3.16, 4.728, 6.708, 9.122, 12",\
                 "0.279, 0.3528, 0.609, 1.13, 1.971, 3.159, 4.725, 6.709, 9.123, 12.01",\
                 "0.2794, 0.3524, 0.609, 1.13, 1.97, 3.159, 4.725, 6.707, 9.125, 12.01",\
                 "0.2796, 0.3522, 0.609, 1.13, 1.971, 3.161, 4.729, 6.708, 9.115, 11.99",\
                 "0.2808, 0.3538, 0.6098, 1.13, 1.97, 3.16, 4.726, 6.709, 9.12, 12.01",\
                 "0.2854, 0.357, 0.6114, 1.13, 1.969, 3.162, 4.728, 6.706, 9.124, 12",\
                 "0.29, 0.362, 0.614, 1.132, 1.97, 3.16, 4.722, 6.708, 9.12, 12",\
                 "0.298, 0.368, 0.618, 1.134, 1.974, 3.158, 4.726, 6.696, 9.12, 12");
        }
      }

      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.005328, 0.02052, 0.04954, 0.09474, 0.1582, 0.2416, 0.3468, 0.4751, 0.6281");
          values("3.55, 3.593, 3.708, 3.874, 4.095, 4.384, 4.755, 5.219, 5.785, 6.458",\
                 "3.581, 3.624, 3.739, 3.906, 4.126, 4.415, 4.785, 5.249, 5.815, 6.49",\
                 "3.674, 3.717, 3.832, 3.999, 4.219, 4.508, 4.879, 5.343, 5.909, 6.582",\
                 "3.822, 3.865, 3.98, 4.147, 4.367, 4.656, 5.026, 5.491, 6.056, 6.73",\
                 "3.964, 4.007, 4.122, 4.289, 4.51, 4.798, 5.169, 5.633, 6.199, 6.873",\
                 "4.079, 4.122, 4.237, 4.404, 4.625, 4.913, 5.284, 5.748, 6.314, 6.988",\
                 "4.155, 4.198, 4.314, 4.48, 4.701, 4.989, 5.36, 5.824, 6.39, 7.064",\
                 "4.19, 4.234, 4.349, 4.516, 4.737, 5.025, 5.396, 5.86, 6.425, 7.099",\
                 "4.179, 4.223, 4.338, 4.505, 4.725, 5.014, 5.385, 5.849, 6.415, 7.088",\
                 "4.117, 4.16, 4.275, 4.442, 4.662, 4.951, 5.322, 5.786, 6.352, 7.025");
        }

        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.005328, 0.02052, 0.04954, 0.09474, 0.1582, 0.2416, 0.3468, 0.4751, 0.6281");
          values("3.391, 3.455, 3.646, 3.978, 4.481, 5.181, 6.101, 7.258, 8.67, 10.35",\
                 "3.416, 3.48, 3.672, 4.004, 4.506, 5.207, 6.126, 7.283, 8.694, 10.38",\
                 "3.516, 3.58, 3.771, 4.102, 4.605, 5.306, 6.226, 7.382, 8.795, 10.47",\
                 "3.697, 3.76, 3.952, 4.283, 4.786, 5.486, 6.406, 7.562, 8.974, 10.65",\
                 "3.969, 4.032, 4.224, 4.555, 5.058, 5.758, 6.678, 7.834, 9.248, 10.93",\
                 "4.341, 4.405, 4.596, 4.928, 5.431, 6.131, 7.051, 8.207, 9.62, 11.3",\
                 "4.792, 4.857, 5.048, 5.38, 5.883, 6.583, 7.502, 8.658, 10.07, 11.75",\
                 "5.302, 5.365, 5.557, 5.888, 6.391, 7.091, 8.01, 9.167, 10.58, 12.26",\
                 "5.873, 5.936, 6.128, 6.46, 6.962, 7.663, 8.582, 9.739, 11.15, 12.83",\
                 "6.511, 6.574, 6.766, 7.097, 7.6, 8.3, 9.219, 10.37, 11.79, 13.47");
        }

        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.005328, 0.02052, 0.04954, 0.09474, 0.1582, 0.2416, 0.3468, 0.4751, 0.6281");
          values("0.2964, 0.3418, 0.4746, 0.6882, 0.9964, 1.422, 2.003, 2.755, 3.704, 4.845",\
                 "0.2966, 0.3418, 0.4746, 0.688, 0.9954, 1.422, 2.001, 2.758, 3.704, 4.845",\
                 "0.2964, 0.3418, 0.4744, 0.6884, 0.9956, 1.422, 2.003, 2.757, 3.704, 4.842",\
                 "0.2956, 0.3432, 0.4746, 0.6886, 0.9948, 1.422, 2.001, 2.759, 3.702, 4.838",\
                 "0.2954, 0.3428, 0.4744, 0.6876, 0.9948, 1.422, 2.002, 2.755, 3.704, 4.84",\
                 "0.2962, 0.3424, 0.4748, 0.689, 0.9964, 1.423, 2.003, 2.758, 3.704, 4.839",\
                 "0.2968, 0.3432, 0.4752, 0.6894, 0.9954, 1.422, 2.003, 2.758, 3.704, 4.841",\
                 "0.2982, 0.3442, 0.476, 0.69, 0.9976, 1.422, 2.001, 2.755, 3.699, 4.836",\
                 "0.2992, 0.3456, 0.4782, 0.6902, 0.9978, 1.423, 2.003, 2.76, 3.698, 4.836",\
                 "0.302, 0.346, 0.48, 0.692, 0.998, 1.424, 2.002, 2.758, 3.7, 4.842");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.005328, 0.02052, 0.04954, 0.09474, 0.1582, 0.2416, 0.3468, 0.4751, 0.6281");
          values("0.2566, 0.3308, 0.5922, 1.118, 1.961, 3.156, 4.726, 6.701, 9.131, 12.01",\
                 "0.2564, 0.331, 0.5928, 1.118, 1.961, 3.157, 4.729, 6.707, 9.135, 12",\
                 "0.2564, 0.3308, 0.5916, 1.117, 1.961, 3.158, 4.723, 6.708, 9.126, 12.02",\
                 "0.2566, 0.3302, 0.5924, 1.117, 1.962, 3.157, 4.73, 6.711, 9.126, 12.02",\
                 "0.2568, 0.3306, 0.5928, 1.118, 1.963, 3.157, 4.725, 6.711, 9.125, 12.01",\
                 "0.2566, 0.3304, 0.5918, 1.118, 1.963, 3.156, 4.728, 6.712, 9.119, 12.02",\
                 "0.2564, 0.3306, 0.5926, 1.116, 1.962, 3.156, 4.731, 6.711, 9.128, 12.02",\
                 "0.2566, 0.331, 0.5926, 1.118, 1.962, 3.156, 4.73, 6.706, 9.128, 12.01",\
                 "0.256, 0.33, 0.592, 1.116, 1.96, 3.152, 4.718, 6.708, 9.126, 12.01",\
                 "0.256, 0.332, 0.592, 1.116, 1.962, 3.156, 4.718, 6.694, 9.108, 12.01");
        }
      }

      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.005328, 0.02052, 0.04954, 0.09474, 0.1582, 0.2416, 0.3468, 0.4751, 0.6281");
          values("3.267, 3.327, 3.482, 3.695, 3.956, 4.274, 4.662, 5.133, 5.701, 6.375",\
                 "3.293, 3.353, 3.508, 3.72, 3.982, 4.3, 4.687, 5.158, 5.726, 6.4",\
                 "3.392, 3.452, 3.607, 3.819, 4.081, 4.399, 4.786, 5.258, 5.826, 6.5",\
                 "3.573, 3.633, 3.788, 4.001, 4.262, 4.58, 4.967, 5.439, 6.006, 6.681",\
                 "3.845, 3.905, 4.06, 4.273, 4.535, 4.852, 5.24, 5.711, 6.279, 6.953",\
                 "4.217, 4.277, 4.432, 4.644, 4.907, 5.225, 5.612, 6.083, 6.651, 7.325",\
                 "4.668, 4.728, 4.883, 5.096, 5.357, 5.676, 6.063, 6.534, 7.102, 7.776",\
                 "5.175, 5.235, 5.39, 5.602, 5.865, 6.182, 6.57, 7.041, 7.609, 8.283",\
                 "5.745, 5.805, 5.96, 6.173, 6.434, 6.752, 7.139, 7.611, 8.178, 8.853",\
                 "6.381, 6.441, 6.597, 6.81, 7.071, 7.389, 7.776, 8.248, 8.816, 9.489");
        }

        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.005328, 0.02052, 0.04954, 0.09474, 0.1582, 0.2416, 0.3468, 0.4751, 0.6281");
          values("2.993, 3.059, 3.256, 3.59, 4.095, 4.797, 5.718, 6.875, 8.288, 9.971",\
                 "3.024, 3.09, 3.287, 3.621, 4.126, 4.828, 5.748, 6.906, 8.319, 10",\
                 "3.117, 3.184, 3.38, 3.714, 4.219, 4.921, 5.842, 6.999, 8.411, 10.09",\
                 "3.265, 3.332, 3.528, 3.862, 4.367, 5.069, 5.989, 7.147, 8.558, 10.24",\
                 "3.407, 3.474, 3.67, 4.004, 4.509, 5.211, 6.132, 7.29, 8.702, 10.38",\
                 "3.522, 3.589, 3.784, 4.119, 4.623, 5.326, 6.247, 7.404, 8.817, 10.5",\
                 "3.598, 3.664, 3.86, 4.195, 4.7, 5.402, 6.323, 7.48, 8.892, 10.57",\
                 "3.633, 3.7, 3.896, 4.23, 4.735, 5.437, 6.357, 7.514, 8.927, 10.61",\
                 "3.622, 3.689, 3.885, 4.219, 4.724, 5.426, 6.346, 7.503, 8.915, 10.6",\
                 "3.559, 3.626, 3.822, 4.156, 4.661, 5.363, 6.284, 7.443, 8.854, 10.53");
        }

        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.005328, 0.02052, 0.04954, 0.09474, 0.1582, 0.2416, 0.3468, 0.4751, 0.6281");
          values("0.2948, 0.341, 0.4736, 0.6866, 0.9944, 1.421, 2.002, 2.755, 3.703, 4.845",\
                 "0.2946, 0.341, 0.4736, 0.6864, 0.9938, 1.422, 2.001, 2.758, 3.702, 4.845",\
                 "0.2946, 0.3406, 0.4742, 0.6868, 0.9942, 1.422, 2.002, 2.758, 3.701, 4.844",\
                 "0.2946, 0.341, 0.4734, 0.6864, 0.9942, 1.422, 2.002, 2.758, 3.704, 4.845",\
                 "0.295, 0.3406, 0.4738, 0.6862, 0.9938, 1.422, 2, 2.755, 3.701, 4.84",\
                 "0.2952, 0.3406, 0.4738, 0.6868, 0.9942, 1.422, 2.002, 2.755, 3.7, 4.845",\
                 "0.2946, 0.3406, 0.4736, 0.687, 0.9956, 1.421, 2.002, 2.757, 3.699, 4.844",\
                 "0.2948, 0.3408, 0.4742, 0.6878, 0.9934, 1.423, 2, 2.758, 3.702, 4.844",\
                 "0.296, 0.342, 0.472, 0.688, 0.994, 1.422, 2, 2.754, 3.702, 4.844",\
                 "0.294, 0.34, 0.474, 0.686, 0.994, 1.422, 2.002, 2.756, 3.698, 4.838");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.005328, 0.02052, 0.04954, 0.09474, 0.1582, 0.2416, 0.3468, 0.4751, 0.6281");
          values("0.2796, 0.352, 0.6088, 1.13, 1.971, 3.157, 4.724, 6.702, 9.125, 12.01",\
                 "0.28, 0.3528, 0.6088, 1.13, 1.968, 3.158, 4.726, 6.698, 9.126, 12.01",\
                 "0.28, 0.3522, 0.6096, 1.129, 1.969, 3.157, 4.729, 6.709, 9.116, 12",\
                 "0.2798, 0.3516, 0.609, 1.129, 1.971, 3.161, 4.729, 6.707, 9.119, 12",\
                 "0.2796, 0.3528, 0.609, 1.13, 1.971, 3.159, 4.728, 6.702, 9.126, 12.01",\
                 "0.28, 0.3526, 0.6094, 1.13, 1.97, 3.159, 4.726, 6.707, 9.123, 12.01",\
                 "0.2796, 0.3536, 0.6094, 1.129, 1.971, 3.161, 4.73, 6.709, 9.112, 11.99",\
                 "0.2794, 0.3522, 0.6092, 1.129, 1.968, 3.155, 4.728, 6.708, 9.116, 11.99",\
                 "0.28, 0.3522, 0.6084, 1.128, 1.971, 3.162, 4.722, 6.694, 9.108, 11.99",\
                 "0.28, 0.352, 0.61, 1.13, 1.966, 3.162, 4.726, 6.696, 9.108, 11.99");
        }
      }

      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.005328, 0.02052, 0.04954, 0.09474, 0.1582, 0.2416, 0.3468, 0.4751, 0.6281");
          values("2.97, 3.014, 3.129, 3.295, 3.516, 3.804, 4.176, 4.639, 5.206, 5.88",\
                 "3.001, 3.044, 3.159, 3.326, 3.546, 3.835, 4.205, 4.67, 5.235, 5.909",\
                 "3.097, 3.14, 3.255, 3.422, 3.642, 3.931, 4.301, 4.765, 5.331, 6.006",\
                 "3.295, 3.339, 3.453, 3.62, 3.841, 4.129, 4.5, 4.964, 5.53, 6.204",\
                 "3.624, 3.667, 3.782, 3.948, 4.169, 4.458, 4.829, 5.293, 5.859, 6.533",\
                 "4.096, 4.139, 4.254, 4.421, 4.641, 4.93, 5.301, 5.764, 6.33, 7.005",\
                 "4.69, 4.733, 4.848, 5.015, 5.235, 5.524, 5.894, 6.359, 6.924, 7.597",\
                 "5.341, 5.384, 5.499, 5.665, 5.886, 6.174, 6.545, 7.009, 7.575, 8.248",\
                 "6.026, 6.07, 6.185, 6.351, 6.572, 6.861, 7.231, 7.696, 8.261, 8.935",\
                 "6.747, 6.791, 6.906, 7.071, 7.292, 7.581, 7.952, 8.416, 8.982, 9.655");
        }

        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.005328, 0.02052, 0.04954, 0.09474, 0.1582, 0.2416, 0.3468, 0.4751, 0.6281");
          values("1.933, 1.997, 2.188, 2.519, 3.022, 3.723, 4.642, 5.803, 7.217, 8.901",\
                 "1.959, 2.022, 2.214, 2.545, 3.048, 3.749, 4.668, 5.828, 7.243, 8.928",\
                 "2.052, 2.116, 2.307, 2.639, 3.141, 3.841, 4.763, 5.92, 7.336, 9.015",\
                 "2.228, 2.292, 2.484, 2.815, 3.318, 4.019, 4.939, 6.096, 7.508, 9.195",\
                 "2.471, 2.535, 2.726, 3.058, 3.561, 4.261, 5.182, 6.338, 7.752, 9.43",\
                 "2.716, 2.78, 2.972, 3.303, 3.806, 4.507, 5.427, 6.585, 7.999, 9.68",\
                 "2.944, 3.007, 3.199, 3.53, 4.033, 4.734, 5.654, 6.809, 8.222, 9.91",\
                 "3.148, 3.212, 3.404, 3.735, 4.238, 4.938, 5.857, 7.013, 8.424, 10.11",\
                 "3.324, 3.388, 3.58, 3.912, 4.414, 5.114, 6.033, 7.189, 8.6, 10.28",\
                 "3.467, 3.531, 3.723, 4.055, 4.557, 5.258, 6.178, 7.333, 8.744, 10.43");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.005328, 0.02052, 0.04954, 0.09474, 0.1582, 0.2416, 0.3468, 0.4751, 0.6281");
          values("0.1978, 0.2346, 0.3456, 0.5424, 0.8518, 1.303, 1.917, 2.7, 3.663, 4.817",\
                 "0.1978, 0.2348, 0.3466, 0.5428, 0.8518, 1.303, 1.916, 2.703, 3.667, 4.817",\
                 "0.1984, 0.2342, 0.3464, 0.5426, 0.8512, 1.303, 1.918, 2.701, 3.664, 4.817",\
                 "0.1978, 0.2344, 0.3454, 0.542, 0.8508, 1.304, 1.917, 2.699, 3.661, 4.818",\
                 "0.1976, 0.2342, 0.3458, 0.5422, 0.8518, 1.304, 1.917, 2.7, 3.662, 4.819",\
                 "0.1978, 0.2344, 0.3468, 0.5416, 0.8518, 1.304, 1.917, 2.701, 3.664, 4.817",\
                 "0.1982, 0.235, 0.3466, 0.5422, 0.8512, 1.303, 1.918, 2.702, 3.665, 4.819",\
                 "0.1982, 0.2346, 0.3458, 0.544, 0.851, 1.303, 1.916, 2.7, 3.664, 4.818",\
                 "0.198, 0.234, 0.346, 0.542, 0.85, 1.302, 1.918, 2.698, 3.664, 4.81",\
                 "0.198, 0.236, 0.346, 0.542, 0.85, 1.302, 1.918, 2.702, 3.66, 4.804");
        }

        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.005328, 0.02052, 0.04954, 0.09474, 0.1582, 0.2416, 0.3468, 0.4751, 0.6281");
          values("0.2562, 0.3306, 0.5922, 1.118, 1.961, 3.153, 4.729, 6.721, 9.147, 12.04",\
                 "0.2568, 0.33, 0.5924, 1.118, 1.96, 3.157, 4.732, 6.719, 9.147, 12",\
                 "0.2562, 0.3308, 0.5918, 1.118, 1.962, 3.157, 4.73, 6.717, 9.147, 11.98",\
                 "0.2564, 0.3306, 0.5914, 1.118, 1.962, 3.158, 4.733, 6.711, 9.138, 11.99",\
                 "0.2564, 0.3302, 0.5924, 1.116, 1.963, 3.156, 4.728, 6.715, 9.138, 12.01",\
                 "0.2564, 0.3312, 0.5924, 1.118, 1.963, 3.156, 4.726, 6.716, 9.143, 12.02",\
                 "0.2566, 0.331, 0.5932, 1.116, 1.961, 3.155, 4.728, 6.713, 9.13, 11.99",\
                 "0.2568, 0.3308, 0.5928, 1.119, 1.961, 3.151, 4.723, 6.703, 9.13, 12.02",\
                 "0.2574, 0.3308, 0.592, 1.117, 1.961, 3.149, 4.716, 6.694, 9.104, 11.99",\
                 "0.258, 0.33, 0.592, 1.118, 1.96, 3.152, 4.722, 6.696, 9.104, 12");
        }
      }

      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.005328, 0.02052, 0.04954, 0.09474, 0.1582, 0.2416, 0.3468, 0.4751, 0.6281");
          values("2.97, 3.014, 3.129, 3.295, 3.516, 3.804, 4.176, 4.639, 5.206, 5.88",\
                 "3.001, 3.044, 3.159, 3.326, 3.546, 3.835, 4.205, 4.67, 5.235, 5.909",\
                 "3.097, 3.14, 3.255, 3.422, 3.642, 3.931, 4.301, 4.765, 5.331, 6.006",\
                 "3.295, 3.339, 3.453, 3.62, 3.841, 4.129, 4.5, 4.964, 5.53, 6.204",\
                 "3.624, 3.667, 3.782, 3.948, 4.169, 4.458, 4.829, 5.293, 5.859, 6.533",\
                 "4.096, 4.139, 4.254, 4.421, 4.641, 4.93, 5.301, 5.764, 6.33, 7.005",\
                 "4.69, 4.733, 4.848, 5.015, 5.235, 5.524, 5.894, 6.359, 6.924, 7.597",\
                 "5.341, 5.384, 5.499, 5.665, 5.886, 6.174, 6.545, 7.009, 7.575, 8.248",\
                 "6.026, 6.07, 6.185, 6.351, 6.572, 6.861, 7.231, 7.696, 8.261, 8.935",\
                 "6.747, 6.791, 6.906, 7.071, 7.292, 7.581, 7.952, 8.416, 8.982, 9.655");
        }

        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.005328, 0.02052, 0.04954, 0.09474, 0.1582, 0.2416, 0.3468, 0.4751, 0.6281");
          values("2.993, 3.059, 3.256, 3.59, 4.095, 4.797, 5.718, 6.875, 8.288, 9.971",\
                 "3.024, 3.09, 3.287, 3.621, 4.126, 4.828, 5.748, 6.906, 8.319, 10",\
                 "3.117, 3.184, 3.38, 3.714, 4.219, 4.921, 5.842, 6.999, 8.411, 10.09",\
                 "3.265, 3.332, 3.528, 3.862, 4.367, 5.069, 5.989, 7.147, 8.558, 10.24",\
                 "3.407, 3.474, 3.67, 4.004, 4.509, 5.211, 6.132, 7.29, 8.702, 10.38",\
                 "3.522, 3.589, 3.784, 4.119, 4.623, 5.326, 6.247, 7.404, 8.817, 10.5",\
                 "3.598, 3.664, 3.86, 4.195, 4.7, 5.402, 6.323, 7.48, 8.892, 10.57",\
                 "3.633, 3.7, 3.896, 4.23, 4.735, 5.437, 6.357, 7.514, 8.927, 10.61",\
                 "3.622, 3.689, 3.885, 4.219, 4.724, 5.426, 6.346, 7.503, 8.915, 10.6",\
                 "3.559, 3.626, 3.822, 4.156, 4.661, 5.363, 6.284, 7.443, 8.854, 10.53");
        }

        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.005328, 0.02052, 0.04954, 0.09474, 0.1582, 0.2416, 0.3468, 0.4751, 0.6281");
          values("0.2948, 0.341, 0.4736, 0.6866, 0.9944, 1.421, 2.002, 2.755, 3.703, 4.845",\
                 "0.2946, 0.341, 0.4736, 0.6864, 0.9938, 1.422, 2.001, 2.758, 3.702, 4.845",\
                 "0.2946, 0.3406, 0.4742, 0.6868, 0.9942, 1.422, 2.002, 2.758, 3.701, 4.844",\
                 "0.2946, 0.341, 0.4734, 0.6864, 0.9942, 1.422, 2.002, 2.758, 3.704, 4.845",\
                 "0.295, 0.3406, 0.4738, 0.6862, 0.9938, 1.422, 2, 2.755, 3.701, 4.84",\
                 "0.2952, 0.3406, 0.4738, 0.6868, 0.9942, 1.422, 2.002, 2.755, 3.7, 4.845",\
                 "0.2946, 0.3406, 0.4736, 0.687, 0.9956, 1.421, 2.002, 2.757, 3.699, 4.844",\
                 "0.2948, 0.3408, 0.4742, 0.6878, 0.9934, 1.423, 2, 2.758, 3.702, 4.844",\
                 "0.296, 0.342, 0.472, 0.688, 0.994, 1.422, 2, 2.754, 3.702, 4.844",\
                 "0.294, 0.34, 0.474, 0.686, 0.994, 1.422, 2.002, 2.756, 3.698, 4.838");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.005328, 0.02052, 0.04954, 0.09474, 0.1582, 0.2416, 0.3468, 0.4751, 0.6281");
          values("0.2562, 0.3306, 0.5922, 1.118, 1.961, 3.153, 4.729, 6.721, 9.147, 12.04",\
                 "0.2568, 0.33, 0.5924, 1.118, 1.96, 3.157, 4.732, 6.719, 9.147, 12",\
                 "0.2562, 0.3308, 0.5918, 1.118, 1.962, 3.157, 4.73, 6.717, 9.147, 11.98",\
                 "0.2564, 0.3306, 0.5914, 1.118, 1.962, 3.158, 4.733, 6.711, 9.138, 11.99",\
                 "0.2564, 0.3302, 0.5924, 1.116, 1.963, 3.156, 4.728, 6.715, 9.138, 12.01",\
                 "0.2564, 0.3312, 0.5924, 1.118, 1.963, 3.156, 4.726, 6.716, 9.143, 12.02",\
                 "0.2566, 0.331, 0.5932, 1.116, 1.961, 3.155, 4.728, 6.713, 9.13, 11.99",\
                 "0.2568, 0.3308, 0.5928, 1.119, 1.961, 3.151, 4.723, 6.703, 9.13, 12.02",\
                 "0.2574, 0.3308, 0.592, 1.117, 1.961, 3.149, 4.716, 6.694, 9.104, 11.99",\
                 "0.258, 0.33, 0.592, 1.118, 1.96, 3.152, 4.722, 6.696, 9.104, 12");
        }
      }

      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.005328, 0.02052, 0.04954, 0.09474, 0.1582, 0.2416, 0.3468, 0.4751, 0.6281");
          values("3.4, 3.444, 3.559, 3.725, 3.946, 4.234, 4.605, 5.069, 5.635, 6.308",\
                 "3.43, 3.473, 3.588, 3.755, 3.976, 4.264, 4.635, 5.099, 5.665, 6.338",\
                 "3.524, 3.568, 3.683, 3.849, 4.07, 4.359, 4.729, 5.193, 5.759, 6.434",\
                 "3.674, 3.717, 3.832, 3.999, 4.219, 4.508, 4.879, 5.343, 5.908, 6.582",\
                 "3.81, 3.854, 3.969, 4.136, 4.356, 4.644, 5.015, 5.479, 6.045, 6.719",\
                 "3.915, 3.958, 4.074, 4.24, 4.461, 4.749, 5.12, 5.584, 6.15, 6.824",\
                 "3.985, 4.028, 4.144, 4.31, 4.531, 4.82, 5.191, 5.655, 6.22, 6.894",\
                 "4.01, 4.053, 4.168, 4.334, 4.556, 4.844, 5.215, 5.679, 6.244, 6.918",\
                 "3.984, 4.028, 4.143, 4.309, 4.53, 4.818, 5.189, 5.653, 6.219, 6.893",\
                 "3.903, 3.947, 4.062, 4.228, 4.449, 4.738, 5.109, 5.572, 6.138, 6.811");
        }

        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.005328, 0.02052, 0.04954, 0.09474, 0.1582, 0.2416, 0.3468, 0.4751, 0.6281");
          values("3.3, 3.364, 3.555, 3.887, 4.389, 5.09, 6.01, 7.167, 8.579, 10.26",\
                 "3.317, 3.381, 3.572, 3.904, 4.406, 5.106, 6.026, 7.184, 8.596, 10.28",\
                 "3.403, 3.466, 3.658, 3.989, 4.492, 5.193, 6.111, 7.269, 8.678, 10.36",\
                 "3.604, 3.668, 3.86, 4.191, 4.694, 5.395, 6.314, 7.471, 8.883, 10.56",\
                 "3.939, 4.003, 4.194, 4.526, 5.028, 5.729, 6.649, 7.805, 9.218, 10.9",\
                 "4.412, 4.476, 4.668, 4.999, 5.502, 6.203, 7.122, 8.278, 9.691, 11.37",\
                 "4.988, 5.052, 5.243, 5.575, 6.077, 6.778, 7.697, 8.855, 10.27, 11.94",\
                 "5.618, 5.681, 5.873, 6.205, 6.707, 7.408, 8.327, 9.484, 10.9, 12.57",\
                 "6.299, 6.363, 6.555, 6.886, 7.388, 8.089, 9.008, 10.17, 11.58, 13.26",\
                 "7.035, 7.099, 7.29, 7.621, 8.124, 8.825, 9.743, 10.9, 12.31, 13.99");
        }

        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.005328, 0.02052, 0.04954, 0.09474, 0.1582, 0.2416, 0.3468, 0.4751, 0.6281");
          values("0.1978, 0.2348, 0.3464, 0.5438, 0.8502, 1.304, 1.915, 2.702, 3.665, 4.818",\
                 "0.1978, 0.234, 0.3454, 0.5426, 0.8504, 1.303, 1.918, 2.7, 3.666, 4.818",\
                 "0.1982, 0.2346, 0.3454, 0.5416, 0.8508, 1.303, 1.918, 2.701, 3.664, 4.816",\
                 "0.1978, 0.2346, 0.3464, 0.542, 0.8508, 1.303, 1.918, 2.703, 3.667, 4.817",\
                 "0.1982, 0.2344, 0.3464, 0.542, 0.8518, 1.304, 1.917, 2.7, 3.662, 4.819",\
                 "0.1982, 0.2354, 0.3456, 0.5422, 0.8518, 1.304, 1.918, 2.701, 3.664, 4.816",\
                 "0.1978, 0.2344, 0.345, 0.5422, 0.8508, 1.302, 1.917, 2.703, 3.666, 4.817",\
                 "0.1984, 0.2342, 0.3462, 0.5426, 0.8506, 1.302, 1.918, 2.699, 3.659, 4.815",\
                 "0.1978, 0.234, 0.3452, 0.5416, 0.8518, 1.302, 1.918, 2.7, 3.66, 4.804",\
                 "0.198, 0.234, 0.348, 0.542, 0.85, 1.302, 1.916, 2.7, 3.662, 4.806");
        }

        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.005328, 0.02052, 0.04954, 0.09474, 0.1582, 0.2416, 0.3468, 0.4751, 0.6281");
          values("0.2568, 0.3308, 0.5924, 1.118, 1.96, 3.156, 4.726, 6.701, 9.132, 12.01",\
                 "0.2562, 0.3306, 0.593, 1.118, 1.962, 3.155, 4.724, 6.708, 9.128, 12.01",\
                 "0.257, 0.3308, 0.5916, 1.118, 1.961, 3.156, 4.73, 6.71, 9.133, 12.01",\
                 "0.2562, 0.3308, 0.5916, 1.117, 1.961, 3.156, 4.725, 6.702, 9.132, 12.01",\
                 "0.2566, 0.3308, 0.5926, 1.118, 1.961, 3.157, 4.724, 6.71, 9.124, 12.02",\
                 "0.2568, 0.33, 0.5916, 1.118, 1.962, 3.155, 4.731, 6.713, 9.119, 12.02",\
                 "0.2566, 0.3306, 0.5916, 1.118, 1.961, 3.156, 4.729, 6.704, 9.122, 12.02",\
                 "0.2562, 0.3306, 0.5918, 1.117, 1.962, 3.156, 4.724, 6.71, 9.13, 12.02",\
                 "0.256, 0.33, 0.592, 1.116, 1.962, 3.154, 4.724, 6.708, 9.128, 12",\
                 "0.256, 0.33, 0.592, 1.118, 1.962, 3.152, 4.72, 6.702, 9.116, 12");
        }
      }

      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.005328, 0.02052, 0.04954, 0.09474, 0.1582, 0.2416, 0.3468, 0.4751, 0.6281");
          values("1.819, 1.879, 2.034, 2.247, 2.509, 2.827, 3.215, 3.686, 4.254, 4.928",\
                 "1.849, 1.91, 2.065, 2.277, 2.539, 2.857, 3.245, 3.716, 4.284, 4.958",\
                 "1.932, 1.992, 2.148, 2.36, 2.622, 2.94, 3.328, 3.799, 4.367, 5.041",\
                 "2.076, 2.136, 2.291, 2.504, 2.765, 3.084, 3.471, 3.942, 4.51, 5.184",\
                 "2.271, 2.331, 2.487, 2.7, 2.961, 3.279, 3.667, 4.138, 4.706, 5.38",\
                 "2.48, 2.54, 2.695, 2.908, 3.17, 3.488, 3.875, 4.347, 4.915, 5.589",\
                 "2.681, 2.741, 2.896, 3.11, 3.372, 3.69, 4.078, 4.549, 5.117, 5.791",\
                 "2.866, 2.926, 3.082, 3.296, 3.558, 3.876, 4.264, 4.735, 5.303, 5.976",\
                 "3.026, 3.086, 3.243, 3.456, 3.719, 4.037, 4.425, 4.897, 5.465, 6.138",\
                 "3.157, 3.218, 3.374, 3.588, 3.851, 4.17, 4.557, 5.029, 5.597, 6.271");
        }

        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.005328, 0.02052, 0.04954, 0.09474, 0.1582, 0.2416, 0.3468, 0.4751, 0.6281");
          values("2.57, 2.637, 2.833, 3.167, 3.671, 4.374, 5.294, 6.452, 7.865, 9.547",\
                 "2.592, 2.659, 2.854, 3.189, 3.693, 4.396, 5.316, 6.474, 7.887, 9.569",\
                 "2.693, 2.76, 2.956, 3.291, 3.795, 4.498, 5.418, 6.576, 7.988, 9.671",\
                 "2.9, 2.967, 3.163, 3.497, 4.002, 4.704, 5.625, 6.783, 8.195, 9.877",\
                 "3.233, 3.3, 3.497, 3.83, 4.336, 5.038, 5.958, 7.116, 8.528, 10.21",\
                 "3.708, 3.775, 3.972, 4.306, 4.81, 5.513, 6.433, 7.591, 9.004, 10.69",\
                 "4.318, 4.385, 4.581, 4.916, 5.42, 6.122, 7.043, 8.2, 9.613, 11.3",\
                 "5.003, 5.071, 5.267, 5.602, 6.106, 6.808, 7.729, 8.886, 10.3, 11.98",\
                 "5.727, 5.795, 5.992, 6.327, 6.832, 7.534, 8.455, 9.613, 11.03, 12.71",\
                 "6.486, 6.555, 6.754, 7.088, 7.593, 8.296, 9.217, 10.38, 11.79, 13.47");
        }

        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.005328, 0.02052, 0.04954, 0.09474, 0.1582, 0.2416, 0.3468, 0.4751, 0.6281");
          values("0.2956, 0.342, 0.4746, 0.6874, 0.9944, 1.421, 2.003, 2.757, 3.704, 4.844",\
                 "0.2972, 0.3418, 0.4744, 0.6882, 0.9956, 1.422, 2.001, 2.759, 3.704, 4.845",\
                 "0.2958, 0.3436, 0.4744, 0.6884, 0.9966, 1.421, 2.002, 2.759, 3.704, 4.844",\
                 "0.2954, 0.3418, 0.4744, 0.6872, 0.9966, 1.422, 2.003, 2.757, 3.703, 4.838",\
                 "0.2956, 0.3416, 0.4744, 0.687, 0.9966, 1.422, 2.002, 2.758, 3.704, 4.845",\
                 "0.2962, 0.3422, 0.4744, 0.6882, 0.9966, 1.423, 2.003, 2.756, 3.7, 4.842",\
                 "0.2974, 0.343, 0.4754, 0.689, 0.994, 1.422, 2.001, 2.759, 3.703, 4.845",\
                 "0.298, 0.3464, 0.476, 0.6898, 0.9958, 1.423, 2.002, 2.755, 3.698, 4.841",\
                 "0.2992, 0.3468, 0.4772, 0.6904, 0.9958, 1.422, 2.003, 2.757, 3.7, 4.834",\
                 "0.302, 0.348, 0.478, 0.694, 1, 1.424, 2.002, 2.76, 3.702, 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.005328, 0.02052, 0.04954, 0.09474, 0.1582, 0.2416, 0.3468, 0.4751, 0.6281");
          values("0.2798, 0.3528, 0.6098, 1.129, 1.969, 3.157, 4.725, 6.698, 9.126, 12.01",\
                 "0.2798, 0.3528, 0.6094, 1.13, 1.97, 3.159, 4.725, 6.707, 9.124, 12.01",\
                 "0.28, 0.3528, 0.6094, 1.128, 1.969, 3.158, 4.726, 6.7, 9.126, 12.01",\
                 "0.28, 0.353, 0.6094, 1.129, 1.97, 3.157, 4.725, 6.703, 9.126, 12.01",\
                 "0.2802, 0.3526, 0.6094, 1.13, 1.969, 3.157, 4.726, 6.706, 9.123, 12.01",\
                 "0.2804, 0.3528, 0.6094, 1.13, 1.971, 3.158, 4.726, 6.707, 9.125, 12.01",\
                 "0.281, 0.3544, 0.6098, 1.13, 1.971, 3.16, 4.73, 6.709, 9.124, 12.01",\
                 "0.2848, 0.3558, 0.6126, 1.131, 1.971, 3.162, 4.73, 6.708, 9.126, 12.01",\
                 "0.29, 0.36, 0.614, 1.132, 1.97, 3.156, 4.73, 6.708, 9.118, 12.01",\
                 "0.296, 0.366, 0.616, 1.132, 1.974, 3.16, 4.728, 6.696, 9.122, 12");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.1027, 0.3929, 0.9472, 1.811, 3.022, 4.617, 6.625, 9.077, 12");
          index_2("0.001, 0.005328, 0.02052, 0.04954, 0.09474, 0.1582, 0.2416, 0.3468, 0.4751, 0.6281");
          values("3.4, 3.444, 3.559, 3.725, 3.946, 4.234, 4.605, 5.069, 5.635, 6.308",\
                 "3.43, 3.473, 3.588, 3.755, 3.976, 4.264, 4.635, 5.099, 5.665, 6.338",\
                 "3.524, 3.568, 3.683, 3.849, 4.07, 4.359, 4.729, 5.193, 5.759, 6.434",\
                 "3.674, 3.717, 3.832, 3.999, 4.219, 4.508, 4.879, 5.343, 5.908, 6.582",\
                 "3.81, 3.854, 3.969, 4.136, 4.356, 4.644, 5.015, 5.479, 6.045, 6.719",\
                 "3.915, 3.958, 4.074, 4.24, 4.461, 4.749, 5.12, 5.584, 6.15, 6.824",\
                 "3.985, 4.028, 4.144, 4.31, 4.531, 4.82, 5.191, 5.655, 6.22, 6.894",\
                 "4.01, 4.053, 4.168, 4.334, 4.556, 4.844, 5.215, 5.679, 6.244, 6.918",\
                 "3.984, 4.028, 4.143, 4.309, 4.53, 4.818, 5.189, 5.653, 6.219, 6.893",\
                 "3.903, 3.947, 4.062, 4.228, 4.449, 4.738, 5.109, 5.572, 6.138, 6.811");
        }

        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.005328, 0.02052, 0.04954, 0.09474, 0.1582, 0.2416, 0.3468, 0.4751, 0.6281");
          values("3.3, 3.364, 3.555, 3.887, 4.389, 5.09, 6.01, 7.167, 8.579, 10.26",\
                 "3.317, 3.381, 3.572, 3.904, 4.406, 5.106, 6.026, 7.184, 8.596, 10.28",\
                 "3.403, 3.466, 3.658, 3.989, 4.492, 5.193, 6.111, 7.269, 8.678, 10.36",\
                 "3.604, 3.668, 3.86, 4.191, 4.694, 5.395, 6.314, 7.471, 8.883, 10.56",\
                 "3.939, 4.003, 4.194, 4.526, 5.028, 5.729, 6.649, 7.805, 9.218, 10.9",\
                 "4.412, 4.476, 4.668, 4.999, 5.502, 6.203, 7.122, 8.278, 9.691, 11.37",\
                 "4.988, 5.052, 5.243, 5.575, 6.077, 6.778, 7.697, 8.855, 10.27, 11.94",\
                 "5.618, 5.681, 5.873, 6.205, 6.707, 7.408, 8.327, 9.484, 10.9, 12.57",\
                 "6.299, 6.363, 6.555, 6.886, 7.388, 8.089, 9.008, 10.17, 11.58, 13.26",\
                 "7.035, 7.099, 7.29, 7.621, 8.124, 8.825, 9.743, 10.9, 12.31, 13.99");
        }

        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.005328, 0.02052, 0.04954, 0.09474, 0.1582, 0.2416, 0.3468, 0.4751, 0.6281");
          values("0.2956, 0.342, 0.4746, 0.6874, 0.9944, 1.421, 2.003, 2.757, 3.704, 4.844",\
                 "0.2972, 0.3418, 0.4744, 0.6882, 0.9956, 1.422, 2.001, 2.759, 3.704, 4.845",\
                 "0.2958, 0.3436, 0.4744, 0.6884, 0.9966, 1.421, 2.002, 2.759, 3.704, 4.844",\
                 "0.2954, 0.3418, 0.4744, 0.6872, 0.9966, 1.422, 2.003, 2.757, 3.703, 4.838",\
                 "0.2956, 0.3416, 0.4744, 0.687, 0.9966, 1.422, 2.002, 2.758, 3.704, 4.845",\
                 "0.2962, 0.3422, 0.4744, 0.6882, 0.9966, 1.423, 2.003, 2.756, 3.7, 4.842",\
                 "0.2974, 0.343, 0.4754, 0.689, 0.994, 1.422, 2.001, 2.759, 3.703, 4.845",\
                 "0.298, 0.3464, 0.476, 0.6898, 0.9958, 1.423, 2.002, 2.755, 3.698, 4.841",\
                 "0.2992, 0.3468, 0.4772, 0.6904, 0.9958, 1.422, 2.003, 2.757, 3.7, 4.834",\
                 "0.302, 0.348, 0.478, 0.694, 1, 1.424, 2.002, 2.76, 3.702, 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.005328, 0.02052, 0.04954, 0.09474, 0.1582, 0.2416, 0.3468, 0.4751, 0.6281");
          values("0.2568, 0.3308, 0.5924, 1.118, 1.96, 3.156, 4.726, 6.701, 9.132, 12.01",\
                 "0.2562, 0.3306, 0.593, 1.118, 1.962, 3.155, 4.724, 6.708, 9.128, 12.01",\
                 "0.257, 0.3308, 0.5916, 1.118, 1.961, 3.156, 4.73, 6.71, 9.133, 12.01",\
                 "0.2562, 0.3308, 0.5916, 1.117, 1.961, 3.156, 4.725, 6.702, 9.132, 12.01",\
                 "0.2566, 0.3308, 0.5926, 1.118, 1.961, 3.157, 4.724, 6.71, 9.124, 12.02",\
                 "0.2568, 0.33, 0.5916, 1.118, 1.962, 3.155, 4.731, 6.713, 9.119, 12.02",\
                 "0.2566, 0.3306, 0.5916, 1.118, 1.961, 3.156, 4.729, 6.704, 9.122, 12.02",\
                 "0.2562, 0.3306, 0.5918, 1.117, 1.962, 3.156, 4.724, 6.71, 9.13, 12.02",\
                 "0.256, 0.33, 0.592, 1.116, 1.962, 3.154, 4.724, 6.708, 9.128, 12",\
                 "0.256, 0.33, 0.592, 1.118, 1.962, 3.152, 4.72, 6.702, 9.116, 12");
        }
      }

      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.005328, 0.02052, 0.04954, 0.09474, 0.1582, 0.2416, 0.3468, 0.4751, 0.6281");
          values("3.176, 3.236, 3.391, 3.604, 3.866, 4.183, 4.571, 5.042, 5.61, 6.284",\
                 "3.193, 3.253, 3.408, 3.62, 3.883, 4.2, 4.588, 5.059, 5.627, 6.301",\
                 "3.279, 3.339, 3.494, 3.707, 3.968, 4.286, 4.674, 5.145, 5.713, 6.387",\
                 "3.48, 3.54, 3.695, 3.908, 4.17, 4.488, 4.875, 5.346, 5.914, 6.587",\
                 "3.815, 3.875, 4.03, 4.243, 4.505, 4.822, 5.209, 5.681, 6.249, 6.923",\
                 "4.288, 4.348, 4.503, 4.716, 4.978, 5.296, 5.683, 6.154, 6.722, 7.396",\
                 "4.863, 4.923, 5.078, 5.291, 5.553, 5.871, 6.258, 6.729, 7.297, 7.971",\
                 "5.491, 5.551, 5.706, 5.919, 6.181, 6.499, 6.886, 7.358, 7.926, 8.6",\
                 "6.171, 6.231, 6.386, 6.599, 6.86, 7.179, 7.566, 8.037, 8.605, 9.279",\
                 "6.904, 6.965, 7.12, 7.332, 7.594, 7.912, 8.299, 8.77, 9.338, 10.01");
        }

        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.005328, 0.02052, 0.04954, 0.09474, 0.1582, 0.2416, 0.3468, 0.4751, 0.6281");
          values("2.842, 2.909, 3.104, 3.439, 3.943, 4.646, 5.566, 6.724, 8.136, 9.818",\
                 "2.871, 2.938, 3.134, 3.468, 3.973, 4.675, 5.595, 6.754, 8.165, 9.848",\
                 "2.966, 3.033, 3.229, 3.563, 4.068, 4.77, 5.691, 6.848, 8.261, 9.943",\
                 "3.115, 3.182, 3.378, 3.712, 4.217, 4.919, 5.839, 6.998, 8.41, 10.09",\
                 "3.252, 3.319, 3.515, 3.849, 4.353, 5.056, 5.976, 7.134, 8.547, 10.23",\
                 "3.357, 3.424, 3.619, 3.954, 4.458, 5.161, 6.082, 7.239, 8.652, 10.33",\
                 "3.426, 3.493, 3.689, 4.023, 4.528, 5.231, 6.151, 7.309, 8.721, 10.4",\
                 "3.452, 3.519, 3.714, 4.048, 4.552, 5.255, 6.176, 7.334, 8.746, 10.43",\
                 "3.426, 3.493, 3.689, 4.023, 4.527, 5.229, 6.15, 7.307, 8.719, 10.4",\
                 "3.345, 3.412, 3.608, 3.942, 4.447, 5.15, 6.07, 7.227, 8.639, 10.32");
        }

        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.005328, 0.02052, 0.04954, 0.09474, 0.1582, 0.2416, 0.3468, 0.4751, 0.6281");
          values("0.2946, 0.3424, 0.4738, 0.6866, 0.9946, 1.422, 2.001, 2.758, 3.701, 4.844",\
                 "0.2948, 0.3412, 0.4734, 0.6878, 0.994, 1.422, 2.002, 2.755, 3.701, 4.84",\
                 "0.2952, 0.3422, 0.474, 0.686, 0.9942, 1.42, 2.002, 2.755, 3.701, 4.837",\
                 "0.2948, 0.341, 0.4736, 0.6862, 0.9924, 1.422, 2.002, 2.757, 3.704, 4.844",\
                 "0.2946, 0.3414, 0.4734, 0.687, 0.9938, 1.422, 2.002, 2.759, 3.701, 4.839",\
                 "0.2944, 0.341, 0.4736, 0.688, 0.9926, 1.421, 2.002, 2.757, 3.704, 4.841",\
                 "0.295, 0.3412, 0.4738, 0.6876, 0.9932, 1.42, 2.001, 2.758, 3.702, 4.845",\
                 "0.2946, 0.343, 0.4736, 0.6868, 0.9962, 1.42, 2.002, 2.754, 3.704, 4.844",\
                 "0.294, 0.34, 0.474, 0.688, 0.994, 1.42, 2.002, 2.758, 3.702, 4.846",\
                 "0.296, 0.34, 0.474, 0.688, 0.996, 1.42, 2.002, 2.754, 3.702, 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.005328, 0.02052, 0.04954, 0.09474, 0.1582, 0.2416, 0.3468, 0.4751, 0.6281");
          values("0.2792, 0.3518, 0.6092, 1.128, 1.97, 3.157, 4.727, 6.704, 9.124, 12.01",\
                 "0.2796, 0.353, 0.6084, 1.129, 1.968, 3.159, 4.728, 6.704, 9.124, 12",\
                 "0.279, 0.352, 0.6086, 1.129, 1.968, 3.157, 4.723, 6.704, 9.126, 12.01",\
                 "0.2788, 0.3528, 0.6088, 1.129, 1.971, 3.159, 4.728, 6.701, 9.127, 12.01",\
                 "0.279, 0.3528, 0.6086, 1.13, 1.969, 3.157, 4.723, 6.703, 9.127, 12.01",\
                 "0.2792, 0.352, 0.6088, 1.129, 1.97, 3.159, 4.725, 6.709, 9.121, 12.01",\
                 "0.279, 0.351, 0.6096, 1.128, 1.969, 3.158, 4.727, 6.702, 9.125, 12.01",\
                 "0.2792, 0.3516, 0.6082, 1.13, 1.969, 3.154, 4.726, 6.71, 9.12, 12",\
                 "0.2794, 0.3534, 0.6082, 1.129, 1.969, 3.158, 4.72, 6.696, 9.12, 12.01",\
                 "0.28, 0.352, 0.608, 1.128, 1.968, 3.16, 4.724, 6.704, 9.104, 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.005328, 0.02052, 0.04954, 0.09474, 0.1582, 0.2416, 0.3468, 0.4751, 0.6281");
          values("3.126, 3.17, 3.285, 3.452, 3.672, 3.961, 4.332, 4.796, 5.362, 6.035",\
                 "3.149, 3.192, 3.307, 3.474, 3.695, 3.983, 4.353, 4.818, 5.383, 6.057",\
                 "3.25, 3.294, 3.409, 3.575, 3.796, 4.084, 4.455, 4.92, 5.485, 6.159",\
                 "3.457, 3.501, 3.616, 3.782, 4.003, 4.292, 4.662, 5.126, 5.692, 6.366",\
                 "3.791, 3.834, 3.949, 4.116, 4.336, 4.625, 4.996, 5.46, 6.026, 6.7",\
                 "4.266, 4.309, 4.424, 4.591, 4.811, 5.1, 5.471, 5.935, 6.501, 7.175",\
                 "4.876, 4.919, 5.034, 5.2, 5.421, 5.71, 6.08, 6.545, 7.11, 7.784",\
                 "5.559, 5.603, 5.718, 5.885, 6.105, 6.393, 6.764, 7.229, 7.794, 8.467",\
                 "6.281, 6.324, 6.439, 6.606, 6.827, 7.115, 7.485, 7.949, 8.514, 9.188",\
                 "7.039, 7.082, 7.197, 7.363, 7.584, 7.872, 8.243, 8.708, 9.273, 9.947");
        }

        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.005328, 0.02052, 0.04954, 0.09474, 0.1582, 0.2416, 0.3468, 0.4751, 0.6281");
          values("1.956, 2.02, 2.212, 2.543, 3.046, 3.747, 4.666, 5.826, 7.239, 8.925",\
                 "1.987, 2.051, 2.242, 2.574, 3.076, 3.777, 4.697, 5.855, 7.268, 8.955",\
                 "2.07, 2.133, 2.325, 2.656, 3.159, 3.859, 4.78, 5.936, 7.349, 9.028",\
                 "2.214, 2.277, 2.469, 2.8, 3.303, 4.003, 4.924, 6.08, 7.494, 9.174",\
                 "2.414, 2.477, 2.669, 3.001, 3.503, 4.204, 5.125, 6.28, 7.694, 9.373",\
                 "2.629, 2.692, 2.884, 3.216, 3.719, 4.419, 5.34, 6.494, 7.908, 9.587",\
                 "2.837, 2.901, 3.093, 3.424, 3.927, 4.627, 5.547, 6.703, 8.117, 9.799",\
                 "3.029, 3.093, 3.285, 3.616, 4.119, 4.819, 5.738, 6.895, 8.306, 9.994",\
                 "3.197, 3.261, 3.452, 3.784, 4.287, 4.986, 5.905, 7.061, 8.472, 10.15",\
                 "3.335, 3.399, 3.59, 3.922, 4.424, 5.125, 6.045, 7.2, 8.611, 10.29");
        }

        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.005328, 0.02052, 0.04954, 0.09474, 0.1582, 0.2416, 0.3468, 0.4751, 0.6281");
          values("0.1982, 0.2348, 0.3454, 0.5426, 0.851, 1.303, 1.917, 2.701, 3.663, 4.819",\
                 "0.1982, 0.2342, 0.3454, 0.5424, 0.8518, 1.302, 1.918, 2.704, 3.668, 4.812",\
                 "0.1982, 0.2346, 0.3466, 0.5434, 0.8506, 1.302, 1.918, 2.704, 3.668, 4.813",\
                 "0.1982, 0.235, 0.3454, 0.5426, 0.851, 1.304, 1.916, 2.7, 3.663, 4.818",\
                 "0.1982, 0.2354, 0.3456, 0.5416, 0.8518, 1.303, 1.918, 2.701, 3.664, 4.817",\
                 "0.1982, 0.235, 0.3466, 0.5424, 0.8518, 1.303, 1.917, 2.701, 3.664, 4.816",\
                 "0.1976, 0.2346, 0.3458, 0.542, 0.8516, 1.304, 1.917, 2.702, 3.663, 4.819",\
                 "0.1978, 0.2344, 0.3466, 0.543, 0.8514, 1.304, 1.916, 2.704, 3.664, 4.818",\
                 "0.198, 0.234, 0.346, 0.542, 0.85, 1.302, 1.916, 2.702, 3.662, 4.812",\
                 "0.198, 0.234, 0.346, 0.544, 0.852, 1.302, 1.918, 2.7, 3.662, 4.806");
        }

        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.005328, 0.02052, 0.04954, 0.09474, 0.1582, 0.2416, 0.3468, 0.4751, 0.6281");
          values("0.2566, 0.331, 0.592, 1.118, 1.961, 3.152, 4.733, 6.717, 9.145, 12",\
                 "0.2566, 0.3312, 0.5924, 1.118, 1.962, 3.157, 4.733, 6.713, 9.142, 12",\
                 "0.2564, 0.3306, 0.5916, 1.116, 1.963, 3.157, 4.729, 6.714, 9.135, 12.02",\
                 "0.2564, 0.3312, 0.5914, 1.118, 1.96, 3.156, 4.73, 6.715, 9.139, 12.01",\
                 "0.2566, 0.3308, 0.5924, 1.116, 1.963, 3.156, 4.73, 6.714, 9.137, 12.01",\
                 "0.2568, 0.3306, 0.5926, 1.117, 1.963, 3.157, 4.732, 6.712, 9.135, 12.01",\
                 "0.257, 0.3308, 0.5924, 1.115, 1.959, 3.156, 4.731, 6.711, 9.137, 12.03",\
                 "0.2572, 0.3312, 0.593, 1.116, 1.962, 3.151, 4.72, 6.7, 9.126, 12.03",\
                 "0.2572, 0.331, 0.5932, 1.118, 1.962, 3.152, 4.716, 6.692, 9.106, 11.99",\
                 "0.256, 0.33, 0.594, 1.116, 1.96, 3.152, 4.72, 6.694, 9.104, 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.005328, 0.02052, 0.04954, 0.09474, 0.1582, 0.2416, 0.3468, 0.4751, 0.6281");
          values("3.176, 3.236, 3.391, 3.604, 3.866, 4.183, 4.571, 5.042, 5.61, 6.284",\
                 "3.193, 3.253, 3.408, 3.62, 3.883, 4.2, 4.588, 5.059, 5.627, 6.301",\
                 "3.279, 3.339, 3.494, 3.707, 3.968, 4.286, 4.674, 5.145, 5.713, 6.387",\
                 "3.48, 3.54, 3.695, 3.908, 4.17, 4.488, 4.875, 5.346, 5.914, 6.587",\
                 "3.815, 3.875, 4.03, 4.243, 4.505, 4.822, 5.209, 5.681, 6.249, 6.923",\
                 "4.288, 4.348, 4.503, 4.716, 4.978, 5.296, 5.683, 6.154, 6.722, 7.396",\
                 "4.863, 4.923, 5.078, 5.291, 5.553, 5.871, 6.258, 6.729, 7.297, 7.971",\
                 "5.491, 5.551, 5.706, 5.919, 6.181, 6.499, 6.886, 7.358, 7.926, 8.6",\
                 "6.171, 6.231, 6.386, 6.599, 6.86, 7.179, 7.566, 8.037, 8.605, 9.279",\
                 "6.904, 6.965, 7.12, 7.332, 7.594, 7.912, 8.299, 8.77, 9.338, 10.01");
        }

        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.005328, 0.02052, 0.04954, 0.09474, 0.1582, 0.2416, 0.3468, 0.4751, 0.6281");
          values("2.842, 2.909, 3.104, 3.439, 3.943, 4.646, 5.566, 6.724, 8.136, 9.818",\
                 "2.871, 2.938, 3.134, 3.468, 3.973, 4.675, 5.595, 6.754, 8.165, 9.848",\
                 "2.966, 3.033, 3.229, 3.563, 4.068, 4.77, 5.691, 6.848, 8.261, 9.943",\
                 "3.115, 3.182, 3.378, 3.712, 4.217, 4.919, 5.839, 6.998, 8.41, 10.09",\
                 "3.252, 3.319, 3.515, 3.849, 4.353, 5.056, 5.976, 7.134, 8.547, 10.23",\
                 "3.357, 3.424, 3.619, 3.954, 4.458, 5.161, 6.082, 7.239, 8.652, 10.33",\
                 "3.426, 3.493, 3.689, 4.023, 4.528, 5.231, 6.151, 7.309, 8.721, 10.4",\
                 "3.452, 3.519, 3.714, 4.048, 4.552, 5.255, 6.176, 7.334, 8.746, 10.43",\
                 "3.426, 3.493, 3.689, 4.023, 4.527, 5.229, 6.15, 7.307, 8.719, 10.4",\
                 "3.345, 3.412, 3.608, 3.942, 4.447, 5.15, 6.07, 7.227, 8.639, 10.32");
        }

        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.005328, 0.02052, 0.04954, 0.09474, 0.1582, 0.2416, 0.3468, 0.4751, 0.6281");
          values("0.2946, 0.3424, 0.4738, 0.6866, 0.9946, 1.422, 2.001, 2.758, 3.701, 4.844",\
                 "0.2948, 0.3412, 0.4734, 0.6878, 0.994, 1.422, 2.002, 2.755, 3.701, 4.84",\
                 "0.2952, 0.3422, 0.474, 0.686, 0.9942, 1.42, 2.002, 2.755, 3.701, 4.837",\
                 "0.2948, 0.341, 0.4736, 0.6862, 0.9924, 1.422, 2.002, 2.757, 3.704, 4.844",\
                 "0.2946, 0.3414, 0.4734, 0.687, 0.9938, 1.422, 2.002, 2.759, 3.701, 4.839",\
                 "0.2944, 0.341, 0.4736, 0.688, 0.9926, 1.421, 2.002, 2.757, 3.704, 4.841",\
                 "0.295, 0.3412, 0.4738, 0.6876, 0.9932, 1.42, 2.001, 2.758, 3.702, 4.845",\
                 "0.2946, 0.343, 0.4736, 0.6868, 0.9962, 1.42, 2.002, 2.754, 3.704, 4.844",\
                 "0.294, 0.34, 0.474, 0.688, 0.994, 1.42, 2.002, 2.758, 3.702, 4.846",\
                 "0.296, 0.34, 0.474, 0.688, 0.996, 1.42, 2.002, 2.754, 3.702, 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.005328, 0.02052, 0.04954, 0.09474, 0.1582, 0.2416, 0.3468, 0.4751, 0.6281");
          values("0.2566, 0.331, 0.592, 1.118, 1.961, 3.152, 4.733, 6.717, 9.145, 12",\
                 "0.2566, 0.3312, 0.5924, 1.118, 1.962, 3.157, 4.733, 6.713, 9.142, 12",\
                 "0.2564, 0.3306, 0.5916, 1.116, 1.963, 3.157, 4.729, 6.714, 9.135, 12.02",\
                 "0.2564, 0.3312, 0.5914, 1.118, 1.96, 3.156, 4.73, 6.715, 9.139, 12.01",\
                 "0.2566, 0.3308, 0.5924, 1.116, 1.963, 3.156, 4.73, 6.714, 9.137, 12.01",\
                 "0.2568, 0.3306, 0.5926, 1.117, 1.963, 3.157, 4.732, 6.712, 9.135, 12.01",\
                 "0.257, 0.3308, 0.5924, 1.115, 1.959, 3.156, 4.731, 6.711, 9.137, 12.03",\
                 "0.2572, 0.3312, 0.593, 1.116, 1.962, 3.151, 4.72, 6.7, 9.126, 12.03",\
                 "0.2572, 0.331, 0.5932, 1.118, 1.962, 3.152, 4.716, 6.692, 9.106, 11.99",\
                 "0.256, 0.33, 0.594, 1.116, 1.96, 3.152, 4.72, 6.694, 9.104, 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.005328, 0.02052, 0.04954, 0.09474, 0.1582, 0.2416, 0.3468, 0.4751, 0.6281");
          values("1.27, 1.314, 1.429, 1.596, 1.816, 2.104, 2.474, 2.939, 3.504, 4.178",\
                 "1.3, 1.343, 1.458, 1.625, 1.845, 2.133, 2.504, 2.968, 3.534, 4.207",\
                 "1.375, 1.419, 1.534, 1.7, 1.921, 2.209, 2.58, 3.044, 3.609, 4.283",\
                 "1.5, 1.543, 1.658, 1.825, 2.045, 2.334, 2.704, 3.168, 3.734, 4.407",\
                 "1.664, 1.708, 1.823, 1.99, 2.21, 2.499, 2.869, 3.333, 3.899, 4.573",\
                 "1.836, 1.88, 1.995, 2.161, 2.381, 2.669, 3.04, 3.504, 4.069, 4.743",\
                 "1.999, 2.042, 2.158, 2.324, 2.544, 2.832, 3.202, 3.665, 4.229, 4.902",\
                 "2.139, 2.183, 2.299, 2.466, 2.686, 2.975, 3.345, 3.807, 4.372, 5.044",\
                 "2.254, 2.298, 2.414, 2.581, 2.802, 3.09, 3.46, 3.924, 4.489, 5.16",\
                 "2.338, 2.383, 2.499, 2.667, 2.889, 3.177, 3.547, 4.01, 4.576, 5.248");
        }

        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.005328, 0.02052, 0.04954, 0.09474, 0.1582, 0.2416, 0.3468, 0.4751, 0.6281");
          values("1.382, 1.447, 1.64, 1.973, 2.477, 3.179, 4.099, 5.256, 6.668, 8.351",\
                 "1.414, 1.479, 1.672, 2.005, 2.509, 3.21, 4.13, 5.287, 6.699, 8.383",\
                 "1.536, 1.601, 1.794, 2.127, 2.631, 3.333, 4.252, 5.409, 6.821, 8.503",\
                 "1.776, 1.841, 2.034, 2.367, 2.871, 3.573, 4.493, 5.65, 7.061, 8.743",\
                 "2.145, 2.209, 2.403, 2.736, 3.24, 3.941, 4.86, 6.019, 7.429, 9.112",\
                 "2.591, 2.656, 2.849, 3.182, 3.686, 4.388, 5.308, 6.466, 7.876, 9.561",\
                 "3.073, 3.138, 3.332, 3.665, 4.169, 4.871, 5.792, 6.95, 8.361, 10.04",\
                 "3.588, 3.655, 3.848, 4.182, 4.686, 5.388, 6.308, 7.465, 8.878, 10.56",\
                 "4.138, 4.204, 4.399, 4.732, 5.237, 5.939, 6.859, 8.017, 9.429, 11.11",\
                 "4.72, 4.787, 4.983, 5.318, 5.822, 6.522, 7.443, 8.601, 10.01, 11.7");
        }

        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.005328, 0.02052, 0.04954, 0.09474, 0.1582, 0.2416, 0.3468, 0.4751, 0.6281");
          values("0.1984, 0.2346, 0.3454, 0.5416, 0.8514, 1.303, 1.917, 2.703, 3.667, 4.814",\
                 "0.1984, 0.2346, 0.3456, 0.543, 0.8512, 1.303, 1.915, 2.7, 3.662, 4.815",\
                 "0.1988, 0.2346, 0.3458, 0.542, 0.8506, 1.303, 1.917, 2.703, 3.667, 4.814",\
                 "0.1986, 0.2346, 0.3466, 0.5432, 0.8504, 1.302, 1.917, 2.699, 3.662, 4.817",\
                 "0.1982, 0.2352, 0.347, 0.5432, 0.851, 1.303, 1.917, 2.701, 3.665, 4.809",\
                 "0.1988, 0.2348, 0.345, 0.5412, 0.848, 1.301, 1.914, 2.703, 3.666, 4.817",\
                 "0.2006, 0.237, 0.348, 0.542, 0.8492, 1.298, 1.909, 2.693, 3.657, 4.811",\
                 "0.2022, 0.2376, 0.3486, 0.5426, 0.8502, 1.299, 1.911, 2.696, 3.652, 4.798",\
                 "0.2038, 0.2396, 0.3492, 0.5444, 0.8502, 1.301, 1.913, 2.699, 3.653, 4.802",\
                 "0.2058, 0.2416, 0.3522, 0.5448, 0.8514, 1.302, 1.916, 2.698, 3.654, 4.8");
        }

        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.005328, 0.02052, 0.04954, 0.09474, 0.1582, 0.2416, 0.3468, 0.4751, 0.6281");
          values("0.262, 0.3368, 0.598, 1.122, 1.967, 3.159, 4.73, 6.71, 9.13, 12",\
                 "0.262, 0.336, 0.5984, 1.122, 1.967, 3.158, 4.725, 6.711, 9.131, 12.01",\
                 "0.2624, 0.3366, 0.5982, 1.122, 1.967, 3.158, 4.725, 6.708, 9.125, 12.01",\
                 "0.2618, 0.3358, 0.5978, 1.122, 1.967, 3.161, 4.728, 6.71, 9.129, 12.01",\
                 "0.2618, 0.3368, 0.5986, 1.123, 1.967, 3.161, 4.725, 6.711, 9.13, 12.01",\
                 "0.2638, 0.3378, 0.5986, 1.123, 1.967, 3.156, 4.728, 6.71, 9.126, 12",\
                 "0.2652, 0.3392, 0.5998, 1.125, 1.967, 3.157, 4.727, 6.711, 9.119, 12.01",\
                 "0.2684, 0.3418, 0.6024, 1.125, 1.964, 3.155, 4.729, 6.709, 9.114, 12",\
                 "0.2714, 0.345, 0.6038, 1.123, 1.966, 3.158, 4.724, 6.708, 9.122, 11.99",\
                 "0.276, 0.348, 0.606, 1.126, 1.966, 3.156, 4.726, 6.7, 9.116, 12");
        }
      }

      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.005328, 0.02052, 0.04954, 0.09474, 0.1582, 0.2416, 0.3468, 0.4751, 0.6281");
          values("1.27, 1.314, 1.429, 1.595, 1.816, 2.104, 2.474, 2.939, 3.504, 4.178",\
                 "1.3, 1.343, 1.458, 1.625, 1.845, 2.133, 2.504, 2.968, 3.534, 4.207",\
                 "1.375, 1.419, 1.534, 1.7, 1.921, 2.209, 2.58, 3.044, 3.609, 4.283",\
                 "1.499, 1.543, 1.658, 1.825, 2.045, 2.334, 2.704, 3.168, 3.734, 4.408",\
                 "1.664, 1.708, 1.823, 1.99, 2.21, 2.499, 2.869, 3.333, 3.899, 4.573",\
                 "1.837, 1.88, 1.995, 2.161, 2.381, 2.669, 3.039, 3.504, 4.069, 4.741",\
                 "1.999, 2.042, 2.158, 2.324, 2.545, 2.832, 3.202, 3.664, 4.229, 4.903",\
                 "2.14, 2.183, 2.299, 2.466, 2.686, 2.975, 3.344, 3.808, 4.372, 5.044",\
                 "2.254, 2.298, 2.414, 2.581, 2.802, 3.09, 3.46, 3.924, 4.489, 5.16",\
                 "2.338, 2.383, 2.499, 2.667, 2.889, 3.177, 3.547, 4.011, 4.576, 5.248");
        }

        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.005328, 0.02052, 0.04954, 0.09474, 0.1582, 0.2416, 0.3468, 0.4751, 0.6281");
          values("1.382, 1.447, 1.64, 1.973, 2.477, 3.179, 4.098, 5.256, 6.667, 8.351",\
                 "1.414, 1.478, 1.672, 2.005, 2.509, 3.21, 4.13, 5.287, 6.699, 8.382",\
                 "1.536, 1.601, 1.794, 2.127, 2.631, 3.333, 4.253, 5.409, 6.822, 8.502",\
                 "1.776, 1.841, 2.034, 2.367, 2.871, 3.573, 4.493, 5.649, 7.062, 8.744",\
                 "2.145, 2.209, 2.403, 2.736, 3.24, 3.941, 4.861, 6.017, 7.43, 9.112",\
                 "2.591, 2.655, 2.849, 3.182, 3.687, 4.388, 5.308, 6.465, 7.878, 9.559",\
                 "3.073, 3.138, 3.332, 3.665, 4.169, 4.871, 5.792, 6.949, 8.36, 10.04",\
                 "3.588, 3.654, 3.848, 4.181, 4.686, 5.388, 6.308, 7.466, 8.879, 10.56",\
                 "4.138, 4.204, 4.4, 4.733, 5.237, 5.938, 6.859, 8.016, 9.429, 11.11",\
                 "4.72, 4.787, 4.983, 5.317, 5.821, 6.523, 7.444, 8.6, 10.01, 11.7");
        }

        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.005328, 0.02052, 0.04954, 0.09474, 0.1582, 0.2416, 0.3468, 0.4751, 0.6281");
          values("0.1982, 0.2348, 0.3452, 0.5416, 0.8512, 1.303, 1.917, 2.703, 3.667, 4.814",\
                 "0.1984, 0.2346, 0.3456, 0.543, 0.8514, 1.303, 1.915, 2.7, 3.662, 4.814",\
                 "0.1988, 0.2348, 0.3458, 0.542, 0.8506, 1.303, 1.917, 2.703, 3.667, 4.814",\
                 "0.1984, 0.2352, 0.3468, 0.5432, 0.8506, 1.302, 1.917, 2.699, 3.662, 4.811",\
                 "0.1984, 0.235, 0.347, 0.5436, 0.8512, 1.303, 1.917, 2.699, 3.665, 4.809",\
                 "0.1992, 0.2356, 0.3448, 0.5412, 0.8484, 1.301, 1.916, 2.702, 3.667, 4.816",\
                 "0.2002, 0.237, 0.3476, 0.5418, 0.8496, 1.299, 1.909, 2.693, 3.657, 4.81",\
                 "0.2024, 0.2378, 0.3486, 0.543, 0.8506, 1.301, 1.913, 2.693, 3.652, 4.798",\
                 "0.2042, 0.2398, 0.3494, 0.5446, 0.8502, 1.302, 1.912, 2.699, 3.654, 4.798",\
                 "0.206, 0.2416, 0.3522, 0.5448, 0.8514, 1.3, 1.916, 2.698, 3.658, 4.8");
        }

        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.005328, 0.02052, 0.04954, 0.09474, 0.1582, 0.2416, 0.3468, 0.4751, 0.6281");
          values("0.2624, 0.3358, 0.598, 1.123, 1.967, 3.156, 4.729, 6.711, 9.129, 12.01",\
                 "0.2618, 0.3366, 0.5986, 1.122, 1.965, 3.159, 4.725, 6.71, 9.131, 12.01",\
                 "0.2622, 0.3368, 0.5982, 1.122, 1.965, 3.16, 4.73, 6.704, 9.122, 12.01",\
                 "0.2618, 0.3358, 0.5984, 1.124, 1.966, 3.158, 4.73, 6.709, 9.131, 12.01",\
                 "0.2624, 0.3366, 0.5986, 1.123, 1.967, 3.16, 4.727, 6.708, 9.13, 12.01",\
                 "0.2636, 0.3374, 0.5984, 1.122, 1.967, 3.16, 4.726, 6.71, 9.13, 12.01",\
                 "0.265, 0.3394, 0.5994, 1.124, 1.966, 3.158, 4.731, 6.71, 9.127, 12.01",\
                 "0.268, 0.3422, 0.6024, 1.125, 1.964, 3.157, 4.729, 6.71, 9.122, 12.01",\
                 "0.271, 0.344, 0.6032, 1.124, 1.968, 3.156, 4.722, 6.708, 9.118, 12",\
                 "0.276, 0.348, 0.604, 1.126, 1.966, 3.158, 4.726, 6.702, 9.118, 11.99");
        }
      }

      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.005328, 0.02052, 0.04954, 0.09474, 0.1582, 0.2416, 0.3468, 0.4751, 0.6281");
          values("1.27, 1.314, 1.429, 1.595, 1.816, 2.104, 2.474, 2.939, 3.504, 4.178",\
                 "1.3, 1.343, 1.458, 1.625, 1.845, 2.133, 2.504, 2.968, 3.534, 4.207",\
                 "1.375, 1.419, 1.534, 1.7, 1.921, 2.209, 2.58, 3.044, 3.609, 4.283",\
                 "1.499, 1.543, 1.658, 1.825, 2.045, 2.334, 2.704, 3.168, 3.734, 4.408",\
                 "1.664, 1.708, 1.823, 1.99, 2.21, 2.499, 2.869, 3.333, 3.899, 4.573",\
                 "1.837, 1.88, 1.995, 2.161, 2.381, 2.669, 3.039, 3.504, 4.069, 4.741",\
                 "1.999, 2.042, 2.158, 2.324, 2.545, 2.832, 3.202, 3.664, 4.229, 4.903",\
                 "2.14, 2.183, 2.299, 2.466, 2.686, 2.975, 3.344, 3.808, 4.372, 5.044",\
                 "2.254, 2.298, 2.414, 2.581, 2.802, 3.09, 3.46, 3.924, 4.489, 5.16",\
                 "2.338, 2.383, 2.499, 2.667, 2.889, 3.177, 3.547, 4.011, 4.576, 5.248");
        }

        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.005328, 0.02052, 0.04954, 0.09474, 0.1582, 0.2416, 0.3468, 0.4751, 0.6281");
          values("1.382, 1.447, 1.64, 1.973, 2.477, 3.179, 4.098, 5.256, 6.667, 8.351",\
                 "1.414, 1.478, 1.672, 2.005, 2.509, 3.21, 4.13, 5.287, 6.699, 8.382",\
                 "1.536, 1.601, 1.794, 2.127, 2.631, 3.333, 4.253, 5.409, 6.822, 8.502",\
                 "1.776, 1.841, 2.034, 2.367, 2.871, 3.573, 4.493, 5.649, 7.062, 8.744",\
                 "2.145, 2.209, 2.403, 2.736, 3.24, 3.941, 4.861, 6.017, 7.43, 9.112",\
                 "2.591, 2.655, 2.849, 3.182, 3.687, 4.388, 5.308, 6.465, 7.878, 9.559",\
                 "3.073, 3.138, 3.332, 3.665, 4.169, 4.871, 5.792, 6.949, 8.36, 10.04",\
                 "3.588, 3.654, 3.848, 4.181, 4.686, 5.388, 6.308, 7.466, 8.879, 10.56",\
                 "4.138, 4.204, 4.4, 4.733, 5.237, 5.938, 6.859, 8.016, 9.429, 11.11",\
                 "4.72, 4.787, 4.983, 5.317, 5.821, 6.523, 7.444, 8.6, 10.01, 11.7");
        }

        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.005328, 0.02052, 0.04954, 0.09474, 0.1582, 0.2416, 0.3468, 0.4751, 0.6281");
          values("0.1984, 0.2346, 0.3454, 0.5416, 0.8514, 1.303, 1.917, 2.703, 3.667, 4.814",\
                 "0.1984, 0.2346, 0.3456, 0.543, 0.8512, 1.303, 1.915, 2.7, 3.662, 4.815",\
                 "0.1988, 0.2346, 0.3458, 0.542, 0.8506, 1.303, 1.917, 2.703, 3.667, 4.814",\
                 "0.1986, 0.2346, 0.3466, 0.5432, 0.8504, 1.302, 1.917, 2.699, 3.662, 4.817",\
                 "0.1982, 0.2352, 0.347, 0.5432, 0.851, 1.303, 1.917, 2.701, 3.665, 4.809",\
                 "0.1988, 0.2348, 0.345, 0.5412, 0.848, 1.301, 1.914, 2.703, 3.666, 4.817",\
                 "0.2006, 0.237, 0.348, 0.542, 0.8492, 1.298, 1.909, 2.693, 3.657, 4.811",\
                 "0.2022, 0.2376, 0.3486, 0.5426, 0.8502, 1.299, 1.911, 2.696, 3.652, 4.798",\
                 "0.2038, 0.2396, 0.3492, 0.5444, 0.8502, 1.301, 1.913, 2.699, 3.653, 4.802",\
                 "0.2058, 0.2416, 0.3522, 0.5448, 0.8514, 1.302, 1.916, 2.698, 3.654, 4.8");
        }

        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.005328, 0.02052, 0.04954, 0.09474, 0.1582, 0.2416, 0.3468, 0.4751, 0.6281");
          values("0.2624, 0.3358, 0.598, 1.123, 1.967, 3.156, 4.729, 6.711, 9.129, 12.01",\
                 "0.2618, 0.3366, 0.5986, 1.122, 1.965, 3.159, 4.725, 6.71, 9.131, 12.01",\
                 "0.2622, 0.3368, 0.5982, 1.122, 1.965, 3.16, 4.73, 6.704, 9.122, 12.01",\
                 "0.2618, 0.3358, 0.5984, 1.124, 1.966, 3.158, 4.73, 6.709, 9.131, 12.01",\
                 "0.2624, 0.3366, 0.5986, 1.123, 1.967, 3.16, 4.727, 6.708, 9.13, 12.01",\
                 "0.2636, 0.3374, 0.5984, 1.122, 1.967, 3.16, 4.726, 6.71, 9.13, 12.01",\
                 "0.265, 0.3394, 0.5994, 1.124, 1.966, 3.158, 4.731, 6.71, 9.127, 12.01",\
                 "0.268, 0.3422, 0.6024, 1.125, 1.964, 3.157, 4.729, 6.71, 9.122, 12.01",\
                 "0.271, 0.344, 0.6032, 1.124, 1.968, 3.156, 4.722, 6.708, 9.118, 12",\
                 "0.276, 0.348, 0.604, 1.126, 1.966, 3.158, 4.726, 6.702, 9.118, 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.005328, 0.02052, 0.04954, 0.09474, 0.1582, 0.2416, 0.3468, 0.4751, 0.6281");
          values("1.086, 1.146, 1.301, 1.513, 1.775, 2.093, 2.48, 2.952, 3.52, 4.194",\
                 "1.112, 1.172, 1.327, 1.54, 1.801, 2.119, 2.506, 2.978, 3.545, 4.219",\
                 "1.203, 1.263, 1.418, 1.631, 1.892, 2.21, 2.598, 3.069, 3.637, 4.311",\
                 "1.405, 1.465, 1.62, 1.832, 2.094, 2.412, 2.799, 3.27, 3.838, 4.512",\
                 "1.739, 1.799, 1.954, 2.166, 2.428, 2.746, 3.134, 3.605, 4.173, 4.847",\
                 "2.18, 2.244, 2.406, 2.623, 2.888, 3.207, 3.595, 4.067, 4.635, 5.309",\
                 "2.658, 2.73, 2.908, 3.139, 3.413, 3.739, 4.131, 4.604, 5.173, 5.847",\
                 "3.165, 3.244, 3.441, 3.689, 3.974, 4.307, 4.704, 5.181, 5.752, 6.426",\
                 "3.7, 3.788, 4.004, 4.271, 4.57, 4.912, 5.314, 5.793, 6.365, 7.042",\
                 "4.266, 4.361, 4.596, 4.886, 5.202, 5.553, 5.96, 6.442, 7.015, 7.691");
        }

        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.005328, 0.02052, 0.04954, 0.09474, 0.1582, 0.2416, 0.3468, 0.4751, 0.6281");
          values("0.5976, 0.6609, 0.852, 1.184, 1.686, 2.387, 3.305, 4.467, 5.88, 7.563",\
                 "0.6261, 0.6894, 0.8805, 1.212, 1.715, 2.415, 3.333, 4.495, 5.908, 7.593",\
                 "0.723, 0.7863, 0.9771, 1.308, 1.811, 2.512, 3.431, 4.592, 6.005, 7.688",\
                 "0.8989, 0.9622, 1.153, 1.483, 1.986, 2.687, 3.608, 4.766, 6.179, 7.856",\
                 "1.101, 1.167, 1.362, 1.694, 2.197, 2.898, 3.819, 4.979, 6.394, 8.071",\
                 "1.29, 1.36, 1.559, 1.894, 2.399, 3.101, 4.021, 5.18, 6.593, 8.279",\
                 "1.458, 1.534, 1.74, 2.077, 2.581, 3.284, 4.206, 5.363, 6.778, 8.464",\
                 "1.599, 1.681, 1.898, 2.238, 2.742, 3.444, 4.366, 5.525, 6.937, 8.621",\
                 "1.707, 1.797, 2.029, 2.373, 2.877, 3.578, 4.499, 5.658, 7.073, 8.754",\
                 "1.78, 1.879, 2.126, 2.478, 2.981, 3.682, 4.602, 5.762, 7.175, 8.861");
        }

        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.005328, 0.02052, 0.04954, 0.09474, 0.1582, 0.2416, 0.3468, 0.4751, 0.6281");
          values("0.2944, 0.3412, 0.4734, 0.6874, 0.996, 1.421, 2.002, 2.756, 3.702, 4.838",\
                 "0.2948, 0.3406, 0.4732, 0.6862, 0.9958, 1.421, 2.002, 2.755, 3.701, 4.84",\
                 "0.2944, 0.341, 0.4734, 0.6864, 0.9958, 1.422, 2.002, 2.755, 3.701, 4.84",\
                 "0.2944, 0.3404, 0.4734, 0.687, 0.9954, 1.421, 2.002, 2.756, 3.703, 4.841",\
                 "0.2964, 0.3426, 0.4748, 0.6874, 0.9964, 1.422, 2.002, 2.757, 3.703, 4.837",\
                 "0.331, 0.3744, 0.4984, 0.703, 1.005, 1.427, 2.006, 2.757, 3.699, 4.845",\
                 "0.3852, 0.4318, 0.5524, 0.7482, 1.041, 1.457, 2.023, 2.767, 3.704, 4.841",\
                 "0.4414, 0.4928, 0.6186, 0.8048, 1.086, 1.491, 2.053, 2.791, 3.72, 4.853",\
                 "0.496, 0.552, 0.6864, 0.8718, 1.138, 1.531, 2.08, 2.812, 3.74, 4.866",\
                 "0.55, 0.612, 0.758, 0.946, 1.2, 1.578, 2.112, 2.83, 3.752, 4.888");
        }

        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.005328, 0.02052, 0.04954, 0.09474, 0.1582, 0.2416, 0.3468, 0.4751, 0.6281");
          values("0.2522, 0.3274, 0.5901, 1.117, 1.962, 3.156, 4.73, 6.722, 9.148, 12.03",\
                 "0.2523, 0.3265, 0.5895, 1.117, 1.963, 3.157, 4.732, 6.722, 9.148, 12.03",\
                 "0.2519, 0.3276, 0.5908, 1.118, 1.962, 3.154, 4.726, 6.722, 9.148, 12.03",\
                 "0.256, 0.3304, 0.5916, 1.117, 1.962, 3.157, 4.733, 6.714, 9.142, 12.02",\
                 "0.2752, 0.3478, 0.604, 1.121, 1.962, 3.157, 4.729, 6.72, 9.145, 12.01",\
                 "0.303, 0.3712, 0.6186, 1.133, 1.969, 3.157, 4.723, 6.717, 9.138, 12.02",\
                 "0.3386, 0.4046, 0.6406, 1.14, 1.974, 3.163, 4.731, 6.707, 9.135, 12.03",\
                 "0.3828, 0.4436, 0.666, 1.152, 1.982, 3.17, 4.733, 6.706, 9.124, 11.99",\
                 "0.4272, 0.4912, 0.7012, 1.164, 1.984, 3.168, 4.74, 6.711, 9.122, 12",\
                 "0.4744, 0.5418, 0.743, 1.184, 1.986, 3.17, 4.742, 6.71, 9.122, 11.99");
        }
      }

      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.005328, 0.02052, 0.04954, 0.09474, 0.1582, 0.2416, 0.3468, 0.4751, 0.6281");
          values("1.086, 1.146, 1.301, 1.513, 1.775, 2.093, 2.48, 2.952, 3.52, 4.194",\
                 "1.111, 1.171, 1.326, 1.54, 1.801, 2.119, 2.506, 2.978, 3.546, 4.22",\
                 "1.203, 1.263, 1.418, 1.631, 1.892, 2.21, 2.598, 3.069, 3.637, 4.311",\
                 "1.405, 1.465, 1.62, 1.832, 2.094, 2.412, 2.799, 3.271, 3.838, 4.513",\
                 "1.739, 1.799, 1.954, 2.167, 2.428, 2.747, 3.134, 3.606, 4.174, 4.848",\
                 "2.18, 2.244, 2.406, 2.623, 2.888, 3.207, 3.595, 4.067, 4.635, 5.309",\
                 "2.658, 2.73, 2.908, 3.139, 3.413, 3.74, 4.132, 4.605, 5.173, 5.847",\
                 "3.165, 3.244, 3.441, 3.689, 3.973, 4.307, 4.705, 5.183, 5.752, 6.427",\
                 "3.7, 3.789, 4.003, 4.273, 4.57, 4.912, 5.313, 5.793, 6.365, 7.043",\
                 "4.266, 4.361, 4.596, 4.886, 5.202, 5.553, 5.96, 6.442, 7.014, 7.691");
        }

        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.005328, 0.02052, 0.04954, 0.09474, 0.1582, 0.2416, 0.3468, 0.4751, 0.6281");
          values("0.5976, 0.6608, 0.852, 1.184, 1.686, 2.387, 3.305, 4.466, 5.88, 7.558",\
                 "0.6261, 0.6894, 0.8805, 1.212, 1.715, 2.415, 3.333, 4.495, 5.909, 7.59",\
                 "0.7229, 0.7864, 0.977, 1.308, 1.811, 2.512, 3.431, 4.592, 6.005, 7.688",\
                 "0.8989, 0.9621, 1.152, 1.483, 1.986, 2.687, 3.608, 4.765, 6.18, 7.867",\
                 "1.101, 1.167, 1.362, 1.694, 2.197, 2.898, 3.817, 4.98, 6.394, 8.077",\
                 "1.291, 1.36, 1.56, 1.895, 2.399, 3.1, 4.02, 5.182, 6.597, 8.282",\
                 "1.458, 1.533, 1.74, 2.077, 2.581, 3.284, 4.206, 5.363, 6.778, 8.464",\
                 "1.599, 1.681, 1.898, 2.238, 2.742, 3.443, 4.366, 5.525, 6.937, 8.622",\
                 "1.708, 1.797, 2.029, 2.373, 2.876, 3.577, 4.499, 5.658, 7.072, 8.755",\
                 "1.781, 1.88, 2.126, 2.478, 2.982, 3.683, 4.602, 5.762, 7.176, 8.86");
        }

        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.005328, 0.02052, 0.04954, 0.09474, 0.1582, 0.2416, 0.3468, 0.4751, 0.6281");
          values("0.2946, 0.342, 0.4738, 0.687, 0.9964, 1.422, 2.003, 2.759, 3.701, 4.84",\
                 "0.2948, 0.343, 0.4736, 0.6868, 0.9964, 1.422, 2.002, 2.755, 3.701, 4.84",\
                 "0.2946, 0.3412, 0.4738, 0.687, 0.9964, 1.423, 2.002, 2.755, 3.701, 4.84",\
                 "0.2944, 0.341, 0.4736, 0.6876, 0.9964, 1.422, 2.003, 2.757, 3.704, 4.839",\
                 "0.2964, 0.3428, 0.475, 0.6876, 0.997, 1.421, 2.002, 2.758, 3.701, 4.845",\
                 "0.3312, 0.3746, 0.4986, 0.7032, 1.006, 1.429, 2.005, 2.758, 3.699, 4.844",\
                 "0.3854, 0.4318, 0.5532, 0.7482, 1.042, 1.457, 2.023, 2.769, 3.708, 4.839",\
                 "0.4404, 0.4924, 0.618, 0.8046, 1.088, 1.492, 2.053, 2.792, 3.723, 4.851",\
                 "0.496, 0.5516, 0.687, 0.8718, 1.139, 1.531, 2.08, 2.81, 3.74, 4.864",\
                 "0.55, 0.612, 0.758, 0.946, 1.2, 1.576, 2.112, 2.83, 3.756, 4.88");
        }

        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.005328, 0.02052, 0.04954, 0.09474, 0.1582, 0.2416, 0.3468, 0.4751, 0.6281");
          values("0.2518, 0.3274, 0.5902, 1.117, 1.962, 3.155, 4.729, 6.722, 9.147, 12.01",\
                 "0.2523, 0.3276, 0.5896, 1.117, 1.963, 3.157, 4.731, 6.723, 9.148, 12.03",\
                 "0.252, 0.3269, 0.5912, 1.118, 1.962, 3.154, 4.725, 6.722, 9.147, 12.03",\
                 "0.2558, 0.3294, 0.5916, 1.116, 1.962, 3.158, 4.733, 6.711, 9.146, 12",\
                 "0.2754, 0.3486, 0.604, 1.122, 1.963, 3.157, 4.731, 6.722, 9.148, 12.03",\
                 "0.3026, 0.3722, 0.6192, 1.134, 1.969, 3.157, 4.728, 6.718, 9.146, 12.04",\
                 "0.3386, 0.4036, 0.6382, 1.142, 1.976, 3.163, 4.727, 6.707, 9.135, 12.03",\
                 "0.3822, 0.4454, 0.6658, 1.151, 1.979, 3.169, 4.734, 6.709, 9.124, 11.99",\
                 "0.427, 0.4918, 0.6996, 1.164, 1.982, 3.168, 4.737, 6.711, 9.122, 12",\
                 "0.4742, 0.5412, 0.7426, 1.183, 1.987, 3.172, 4.744, 6.714, 9.124, 11.99");
        }
      }

      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.005328, 0.02052, 0.04954, 0.09474, 0.1582, 0.2416, 0.3468, 0.4751, 0.6281");
          values("1.086, 1.146, 1.301, 1.513, 1.775, 2.093, 2.48, 2.952, 3.52, 4.194",\
                 "1.111, 1.171, 1.326, 1.54, 1.801, 2.119, 2.506, 2.978, 3.546, 4.22",\
                 "1.203, 1.263, 1.418, 1.631, 1.892, 2.21, 2.598, 3.069, 3.637, 4.311",\
                 "1.405, 1.465, 1.62, 1.832, 2.094, 2.412, 2.799, 3.271, 3.838, 4.513",\
                 "1.739, 1.799, 1.954, 2.167, 2.428, 2.747, 3.134, 3.606, 4.174, 4.848",\
                 "2.18, 2.244, 2.406, 2.623, 2.888, 3.207, 3.595, 4.067, 4.635, 5.309",\
                 "2.658, 2.73, 2.908, 3.139, 3.413, 3.74, 4.132, 4.605, 5.173, 5.847",\
                 "3.165, 3.244, 3.441, 3.689, 3.973, 4.307, 4.705, 5.183, 5.752, 6.427",\
                 "3.7, 3.789, 4.003, 4.273, 4.57, 4.912, 5.313, 5.793, 6.365, 7.043",\
                 "4.266, 4.361, 4.596, 4.886, 5.202, 5.553, 5.96, 6.442, 7.014, 7.691");
        }

        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.005328, 0.02052, 0.04954, 0.09474, 0.1582, 0.2416, 0.3468, 0.4751, 0.6281");
          values("0.5976, 0.6609, 0.852, 1.184, 1.686, 2.387, 3.305, 4.467, 5.88, 7.563",\
                 "0.6261, 0.6894, 0.8805, 1.212, 1.715, 2.415, 3.333, 4.495, 5.908, 7.593",\
                 "0.723, 0.7863, 0.9771, 1.308, 1.811, 2.512, 3.431, 4.592, 6.005, 7.688",\
                 "0.8989, 0.9622, 1.153, 1.483, 1.986, 2.687, 3.608, 4.766, 6.179, 7.856",\
                 "1.101, 1.167, 1.362, 1.694, 2.197, 2.898, 3.819, 4.979, 6.394, 8.071",\
                 "1.29, 1.36, 1.559, 1.894, 2.399, 3.101, 4.021, 5.18, 6.593, 8.279",\
                 "1.458, 1.534, 1.74, 2.077, 2.581, 3.284, 4.206, 5.363, 6.778, 8.464",\
                 "1.599, 1.681, 1.898, 2.238, 2.742, 3.444, 4.366, 5.525, 6.937, 8.621",\
                 "1.707, 1.797, 2.029, 2.373, 2.877, 3.578, 4.499, 5.658, 7.073, 8.754",\
                 "1.78, 1.879, 2.126, 2.478, 2.981, 3.682, 4.602, 5.762, 7.175, 8.861");
        }

        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.005328, 0.02052, 0.04954, 0.09474, 0.1582, 0.2416, 0.3468, 0.4751, 0.6281");
          values("0.2944, 0.3412, 0.4734, 0.6874, 0.996, 1.421, 2.002, 2.756, 3.702, 4.838",\
                 "0.2948, 0.3406, 0.4732, 0.6862, 0.9958, 1.421, 2.002, 2.755, 3.701, 4.84",\
                 "0.2944, 0.341, 0.4734, 0.6864, 0.9958, 1.422, 2.002, 2.755, 3.701, 4.84",\
                 "0.2944, 0.3404, 0.4734, 0.687, 0.9954, 1.421, 2.002, 2.756, 3.703, 4.841",\
                 "0.2964, 0.3426, 0.4748, 0.6874, 0.9964, 1.422, 2.002, 2.757, 3.703, 4.837",\
                 "0.331, 0.3744, 0.4984, 0.703, 1.005, 1.427, 2.006, 2.757, 3.699, 4.845",\
                 "0.3852, 0.4318, 0.5524, 0.7482, 1.041, 1.457, 2.023, 2.767, 3.704, 4.841",\
                 "0.4414, 0.4928, 0.6186, 0.8048, 1.086, 1.491, 2.053, 2.791, 3.72, 4.853",\
                 "0.496, 0.552, 0.6864, 0.8718, 1.138, 1.531, 2.08, 2.812, 3.74, 4.866",\
                 "0.55, 0.612, 0.758, 0.946, 1.2, 1.578, 2.112, 2.83, 3.752, 4.888");
        }

        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.005328, 0.02052, 0.04954, 0.09474, 0.1582, 0.2416, 0.3468, 0.4751, 0.6281");
          values("0.2518, 0.3274, 0.5902, 1.117, 1.962, 3.155, 4.729, 6.722, 9.147, 12.01",\
                 "0.2523, 0.3276, 0.5896, 1.117, 1.963, 3.157, 4.731, 6.723, 9.148, 12.03",\
                 "0.252, 0.3269, 0.5912, 1.118, 1.962, 3.154, 4.725, 6.722, 9.147, 12.03",\
                 "0.2558, 0.3294, 0.5916, 1.116, 1.962, 3.158, 4.733, 6.711, 9.146, 12",\
                 "0.2754, 0.3486, 0.604, 1.122, 1.963, 3.157, 4.731, 6.722, 9.148, 12.03",\
                 "0.3026, 0.3722, 0.6192, 1.134, 1.969, 3.157, 4.728, 6.718, 9.146, 12.04",\
                 "0.3386, 0.4036, 0.6382, 1.142, 1.976, 3.163, 4.727, 6.707, 9.135, 12.03",\
                 "0.3822, 0.4454, 0.6658, 1.151, 1.979, 3.169, 4.734, 6.709, 9.124, 11.99",\
                 "0.427, 0.4918, 0.6996, 1.164, 1.982, 3.168, 4.737, 6.711, 9.122, 12",\
                 "0.4742, 0.5412, 0.7426, 1.183, 1.987, 3.172, 4.744, 6.714, 9.124, 11.99");
        }
      }
    }
  }