  cell(gf180mcu_fd_sc_mcu9t5v0__xor3_2) {
    area : 79.027200 ;

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

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

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

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

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

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

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

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

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

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

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

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

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

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

    pin(Z) {
      direction : output ;
      function : "(A1^A2^A3)" ;
      max_capacitance : 0.9192 ;
      max_transition : 13.2 ;
      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.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007337, 0.02958, 0.07206, 0.1382, 0.2311, 0.3533, 0.5073, 0.6952, 0.9192");
          values("0.2957, 0.2921, 0.2879, 0.2859, 0.2851, 0.2847, 0.2846, 0.2843, 0.2843, 0.2842",\
                 "0.2954, 0.2919, 0.2875, 0.2857, 0.2849, 0.2845, 0.2841, 0.284, 0.2839, 0.2838",\
                 "0.2948, 0.2912, 0.2869, 0.285, 0.2842, 0.2838, 0.2836, 0.2834, 0.2832, 0.2832",\
                 "0.2948, 0.2913, 0.2869, 0.285, 0.2843, 0.2839, 0.2836, 0.2835, 0.2833, 0.2832",\
                 "0.297, 0.2934, 0.2891, 0.2872, 0.2864, 0.2861, 0.2858, 0.2856, 0.2855, 0.2854",\
                 "0.3021, 0.2984, 0.2941, 0.2922, 0.2915, 0.2911, 0.2908, 0.2907, 0.2905, 0.2904",\
                 "0.3101, 0.3065, 0.3023, 0.3004, 0.2994, 0.299, 0.2988, 0.2987, 0.2985, 0.2984",\
                 "0.3211, 0.3176, 0.3132, 0.3113, 0.3105, 0.3101, 0.3098, 0.3096, 0.3095, 0.3094",\
                 "0.3354, 0.3318, 0.3272, 0.3254, 0.3246, 0.3242, 0.3239, 0.3239, 0.3237, 0.3234",\
                 "0.3527, 0.3491, 0.3447, 0.3428, 0.342, 0.3416, 0.3413, 0.3412, 0.341, 0.3402");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007337, 0.02958, 0.07206, 0.1382, 0.2311, 0.3533, 0.5073, 0.6952, 0.9192");
          values("0.2764, 0.2747, 0.2721, 0.2709, 0.2717, 0.2733, 0.2751, 0.2785, 0.313, 0.5053",\
                 "0.2762, 0.2744, 0.2719, 0.271, 0.2717, 0.273, 0.2748, 0.2791, 0.314, 0.5085",\
                 "0.2757, 0.2738, 0.2711, 0.2703, 0.2708, 0.2725, 0.2742, 0.2788, 0.3163, 0.5212",\
                 "0.275, 0.2731, 0.2704, 0.2697, 0.2707, 0.2718, 0.2733, 0.2785, 0.3211, 0.5456",\
                 "0.276, 0.2742, 0.2714, 0.2707, 0.2714, 0.2728, 0.2747, 0.2803, 0.3315, 0.5833",\
                 "0.2785, 0.2766, 0.2742, 0.2731, 0.2739, 0.2759, 0.2771, 0.2837, 0.3474, 0.6413",\
                 "0.2836, 0.2818, 0.279, 0.2785, 0.2798, 0.2814, 0.283, 0.2922, 0.3755, 0.7284",\
                 "0.2916, 0.2898, 0.287, 0.2857, 0.2868, 0.2894, 0.2921, 0.307, 0.4214, 0.8568",\
                 "0.3024, 0.3006, 0.2982, 0.2966, 0.2971, 0.2981, 0.3027, 0.3288, 0.4964, 1.044",\
                 "0.3162, 0.3143, 0.3115, 0.3103, 0.3107, 0.3115, 0.3151, 0.3624, 0.6227, 1.31");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007337, 0.02958, 0.07206, 0.1382, 0.2311, 0.3533, 0.5073, 0.6952, 0.9192");
          values("0.3465, 0.3448, 0.3434, 0.3432, 0.3434, 0.3436, 0.3438, 0.344, 0.344, 0.3441",\
                 "0.3464, 0.3448, 0.3434, 0.3431, 0.3434, 0.3435, 0.3438, 0.3439, 0.344, 0.3441",\
                 "0.3458, 0.3441, 0.3427, 0.3425, 0.3428, 0.343, 0.3431, 0.3432, 0.3433, 0.3434",\
                 "0.3453, 0.3435, 0.3422, 0.342, 0.3422, 0.3424, 0.3426, 0.3427, 0.3427, 0.3428",\
                 "0.3462, 0.3446, 0.3431, 0.343, 0.3432, 0.3435, 0.3436, 0.3437, 0.3438, 0.3438",\
                 "0.3491, 0.3475, 0.3462, 0.346, 0.3462, 0.3464, 0.3465, 0.3466, 0.3467, 0.3468",\
                 "0.3544, 0.3528, 0.3512, 0.3511, 0.3512, 0.3516, 0.3517, 0.3518, 0.3518, 0.3518",\
                 "0.3624, 0.3609, 0.3595, 0.3593, 0.3594, 0.3597, 0.3598, 0.36, 0.3601, 0.3601",\
                 "0.3732, 0.3716, 0.37, 0.3699, 0.3702, 0.3704, 0.3705, 0.3707, 0.3708, 0.3708",\
                 "0.3867, 0.385, 0.3836, 0.3834, 0.3837, 0.3839, 0.3841, 0.3842, 0.3842, 0.3842");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007337, 0.02958, 0.07206, 0.1382, 0.2311, 0.3533, 0.5073, 0.6952, 0.9192");
          values("0.3028, 0.302, 0.3019, 0.3035, 0.3054, 0.3072, 0.3088, 0.313, 0.3503, 0.5542",\
                 "0.3025, 0.3018, 0.3018, 0.3031, 0.3051, 0.3068, 0.3091, 0.3127, 0.351, 0.5588",\
                 "0.3018, 0.3011, 0.3012, 0.3026, 0.3045, 0.306, 0.3082, 0.3124, 0.3534, 0.5705",\
                 "0.302, 0.3012, 0.301, 0.3027, 0.3045, 0.3063, 0.3082, 0.3125, 0.3605, 0.5989",\
                 "0.3041, 0.3034, 0.3033, 0.3049, 0.3069, 0.3085, 0.3102, 0.3161, 0.3756, 0.6545",\
                 "0.3093, 0.3086, 0.3084, 0.3099, 0.3119, 0.3136, 0.3152, 0.3252, 0.4049, 0.7514",\
                 "0.3173, 0.3163, 0.3164, 0.318, 0.3199, 0.322, 0.3239, 0.3394, 0.4586, 0.9072",\
                 "0.3285, 0.3278, 0.3275, 0.3289, 0.3315, 0.3331, 0.335, 0.3667, 0.5618, 1.158",\
                 "0.3426, 0.342, 0.3416, 0.343, 0.3449, 0.3481, 0.3541, 0.4236, 0.7607, 1.541",\
                 "0.36, 0.3592, 0.3591, 0.3604, 0.3616, 0.3637, 0.3895, 0.571, 1.141, 2.027");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007337, 0.02958, 0.07206, 0.1382, 0.2311, 0.3533, 0.5073, 0.6952, 0.9192");
          values("0.2075, 0.2039, 0.1993, 0.1973, 0.1965, 0.1961, 0.1958, 0.1956, 0.1955, 0.1954",\
                 "0.2077, 0.2039, 0.1994, 0.1975, 0.1966, 0.1962, 0.1959, 0.1958, 0.1956, 0.1955",\
                 "0.2078, 0.2041, 0.1996, 0.1976, 0.1968, 0.1963, 0.196, 0.1958, 0.1957, 0.1956",\
                 "0.2084, 0.2047, 0.2002, 0.1982, 0.1974, 0.1969, 0.1966, 0.1964, 0.1963, 0.1962",\
                 "0.2114, 0.2076, 0.2029, 0.2008, 0.1999, 0.1995, 0.1993, 0.1991, 0.1989, 0.1988",\
                 "0.217, 0.2132, 0.2083, 0.2061, 0.2052, 0.2048, 0.2044, 0.2042, 0.2041, 0.204",\
                 "0.226, 0.222, 0.217, 0.2146, 0.2136, 0.2132, 0.2129, 0.2127, 0.2126, 0.2125",\
                 "0.2389, 0.2348, 0.2294, 0.2267, 0.2257, 0.2251, 0.2248, 0.2247, 0.2245, 0.2244",\
                 "0.2555, 0.2513, 0.2456, 0.2428, 0.2416, 0.2408, 0.2405, 0.2403, 0.2402, 0.2401",\
                 "0.276, 0.2715, 0.2654, 0.2624, 0.2609, 0.2603, 0.2598, 0.2597, 0.2595, 0.2593");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007337, 0.02958, 0.07206, 0.1382, 0.2311, 0.3533, 0.5073, 0.6952, 0.9192");
          values("0.2568, 0.255, 0.2524, 0.2518, 0.2524, 0.2542, 0.2558, 0.2598, 0.2887, 0.461",\
                 "0.2567, 0.2549, 0.2522, 0.2516, 0.2523, 0.254, 0.2558, 0.2595, 0.2895, 0.4638",\
                 "0.2557, 0.2541, 0.2515, 0.2506, 0.2515, 0.253, 0.2549, 0.2583, 0.2907, 0.476",\
                 "0.2562, 0.2546, 0.2517, 0.2509, 0.2519, 0.2535, 0.2549, 0.2595, 0.2971, 0.5027",\
                 "0.2597, 0.2579, 0.2554, 0.2545, 0.2554, 0.2574, 0.2587, 0.2634, 0.3116, 0.5567",\
                 "0.2684, 0.2666, 0.2637, 0.2629, 0.2634, 0.2649, 0.2662, 0.274, 0.3413, 0.6477",\
                 "0.2802, 0.2781, 0.275, 0.2739, 0.2745, 0.2757, 0.278, 0.2897, 0.391, 0.7948",\
                 "0.2954, 0.2933, 0.2897, 0.288, 0.2889, 0.2905, 0.2927, 0.3167, 0.4829, 1.028",\
                 "0.3146, 0.3122, 0.3084, 0.3065, 0.3059, 0.3084, 0.3138, 0.3689, 0.6589, 1.39",\
                 "0.3379, 0.3356, 0.3312, 0.3287, 0.3283, 0.3291, 0.3468, 0.4918, 1.001, 1.878");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007337, 0.02958, 0.07206, 0.1382, 0.2311, 0.3533, 0.5073, 0.6952, 0.9192");
          values("0.3279, 0.3264, 0.325, 0.3247, 0.325, 0.3252, 0.3253, 0.3254, 0.3255, 0.3255",\
                 "0.3276, 0.326, 0.3247, 0.3245, 0.3247, 0.3248, 0.3251, 0.3252, 0.3252, 0.3254",\
                 "0.3269, 0.3252, 0.3238, 0.3237, 0.3239, 0.3241, 0.3242, 0.3243, 0.3244, 0.3245",\
                 "0.3273, 0.3257, 0.3242, 0.3241, 0.3243, 0.3246, 0.3247, 0.3248, 0.3249, 0.3249",\
                 "0.3307, 0.329, 0.3276, 0.3276, 0.3277, 0.3279, 0.3281, 0.3282, 0.3283, 0.3283",\
                 "0.3377, 0.3361, 0.3346, 0.3345, 0.3347, 0.3349, 0.3351, 0.3352, 0.3353, 0.3353",\
                 "0.3476, 0.3461, 0.3446, 0.3444, 0.3446, 0.3448, 0.3449, 0.345, 0.3451, 0.3451",\
                 "0.3609, 0.3591, 0.3576, 0.3574, 0.3577, 0.3579, 0.3581, 0.3582, 0.3583, 0.3583",\
                 "0.3774, 0.3758, 0.3743, 0.3741, 0.3743, 0.3746, 0.3747, 0.3749, 0.3749, 0.3749",\
                 "0.3977, 0.3961, 0.3946, 0.3943, 0.3945, 0.3948, 0.3952, 0.3952, 0.3952, 0.3947");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007337, 0.02958, 0.07206, 0.1382, 0.2311, 0.3533, 0.5073, 0.6952, 0.9192");
          values("0.2139, 0.2131, 0.2131, 0.2145, 0.2165, 0.2181, 0.2202, 0.223, 0.2506, 0.4141",\
                 "0.2141, 0.2133, 0.2132, 0.2145, 0.2167, 0.2184, 0.2202, 0.2239, 0.253, 0.4172",\
                 "0.214, 0.2133, 0.2133, 0.2148, 0.2169, 0.2184, 0.2202, 0.2236, 0.2538, 0.4295",\
                 "0.215, 0.2143, 0.2142, 0.2157, 0.2178, 0.2193, 0.2211, 0.2248, 0.2597, 0.4556",\
                 "0.2181, 0.2173, 0.2172, 0.2185, 0.2207, 0.2222, 0.2241, 0.2293, 0.2723, 0.495",\
                 "0.2235, 0.2228, 0.2224, 0.2243, 0.226, 0.2279, 0.2297, 0.2353, 0.29, 0.5571",\
                 "0.232, 0.2311, 0.2309, 0.2317, 0.2347, 0.237, 0.2377, 0.2459, 0.321, 0.6485",\
                 "0.2434, 0.2426, 0.2421, 0.2435, 0.2449, 0.2481, 0.2508, 0.2638, 0.369, 0.7853",\
                 "0.2583, 0.2575, 0.2569, 0.2586, 0.2596, 0.261, 0.2652, 0.2898, 0.4528, 0.9896",\
                 "0.2766, 0.2759, 0.2756, 0.2765, 0.2779, 0.2795, 0.2832, 0.3309, 0.5943, 1.286");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007337, 0.02958, 0.07206, 0.1382, 0.2311, 0.3533, 0.5073, 0.6952, 0.9192");
          values("0.2914, 0.2877, 0.2834, 0.2815, 0.2806, 0.2804, 0.2801, 0.28, 0.2798, 0.2797",\
                 "0.2905, 0.2869, 0.2826, 0.2808, 0.28, 0.2794, 0.2792, 0.2791, 0.279, 0.2789",\
                 "0.2902, 0.2865, 0.2823, 0.2803, 0.2795, 0.2792, 0.2789, 0.2787, 0.2786, 0.2785",\
                 "0.2911, 0.2876, 0.2832, 0.2813, 0.2806, 0.2802, 0.2799, 0.2797, 0.2796, 0.2795",\
                 "0.2941, 0.2905, 0.2862, 0.2844, 0.2835, 0.2831, 0.2828, 0.2826, 0.2825, 0.2824",\
                 "0.299, 0.2954, 0.2911, 0.2893, 0.2885, 0.2881, 0.2879, 0.2877, 0.2876, 0.2875",\
                 "0.3062, 0.3027, 0.2985, 0.2964, 0.2957, 0.2952, 0.295, 0.2948, 0.2947, 0.2946",\
                 "0.3157, 0.3119, 0.3077, 0.3059, 0.3051, 0.3047, 0.3044, 0.3043, 0.3041, 0.3039",\
                 "0.3277, 0.324, 0.3197, 0.3178, 0.317, 0.3166, 0.3164, 0.3162, 0.316, 0.3158",\
                 "0.3424, 0.3388, 0.3344, 0.3326, 0.3316, 0.3313, 0.3311, 0.3307, 0.3306, 0.3296");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007337, 0.02958, 0.07206, 0.1382, 0.2311, 0.3533, 0.5073, 0.6952, 0.9192");
          values("0.2618, 0.2601, 0.2574, 0.2564, 0.2574, 0.2591, 0.2608, 0.2639, 0.2973, 0.4854",\
                 "0.262, 0.2601, 0.2578, 0.257, 0.2577, 0.2593, 0.2611, 0.2654, 0.2989, 0.4874",\
                 "0.262, 0.2603, 0.2577, 0.257, 0.2576, 0.2592, 0.2611, 0.2648, 0.3008, 0.5009",\
                 "0.2624, 0.2606, 0.258, 0.2573, 0.258, 0.2595, 0.2611, 0.266, 0.3073, 0.5253",\
                 "0.2639, 0.262, 0.2595, 0.2588, 0.2595, 0.2612, 0.2629, 0.2684, 0.3173, 0.5623",\
                 "0.267, 0.2652, 0.2627, 0.2616, 0.2627, 0.2643, 0.2661, 0.2724, 0.3327, 0.6195",\
                 "0.272, 0.2703, 0.2676, 0.2665, 0.2681, 0.2698, 0.2708, 0.2799, 0.36, 0.7015",\
                 "0.2792, 0.2774, 0.2745, 0.2736, 0.274, 0.2767, 0.2797, 0.293, 0.4001, 0.8201",\
                 "0.2885, 0.2867, 0.2839, 0.2833, 0.2832, 0.2852, 0.2885, 0.3124, 0.4681, 0.992",\
                 "0.3003, 0.2985, 0.2961, 0.2947, 0.296, 0.297, 0.2997, 0.3417, 0.5805, 1.24");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007337, 0.02958, 0.07206, 0.1382, 0.2311, 0.3533, 0.5073, 0.6952, 0.9192");
          values("0.3328, 0.3312, 0.3298, 0.3297, 0.3298, 0.33, 0.3301, 0.3303, 0.3303, 0.3304",\
                 "0.3329, 0.3313, 0.33, 0.3297, 0.3299, 0.3301, 0.3303, 0.3304, 0.3305, 0.3305",\
                 "0.3329, 0.3312, 0.3297, 0.3297, 0.3299, 0.33, 0.3302, 0.3304, 0.3305, 0.3305",\
                 "0.3332, 0.3315, 0.3301, 0.33, 0.3302, 0.3303, 0.3306, 0.3307, 0.3308, 0.3308",\
                 "0.3348, 0.3332, 0.3317, 0.3316, 0.3318, 0.332, 0.3321, 0.3323, 0.3323, 0.3324",\
                 "0.3379, 0.3362, 0.335, 0.3347, 0.3349, 0.3351, 0.3353, 0.3354, 0.3355, 0.3355",\
                 "0.3429, 0.3412, 0.34, 0.3398, 0.34, 0.3401, 0.3403, 0.3404, 0.3405, 0.3405",\
                 "0.35, 0.3483, 0.347, 0.3469, 0.3471, 0.3472, 0.3474, 0.3475, 0.3475, 0.3474",\
                 "0.3593, 0.3577, 0.3562, 0.3561, 0.3564, 0.3566, 0.3567, 0.3568, 0.3569, 0.3569",\
                 "0.3709, 0.3692, 0.3678, 0.3677, 0.3678, 0.3681, 0.3682, 0.3685, 0.3685, 0.3685");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007337, 0.02958, 0.07206, 0.1382, 0.2311, 0.3533, 0.5073, 0.6952, 0.9192");
          values("0.2983, 0.2976, 0.2973, 0.2989, 0.301, 0.3027, 0.3051, 0.3085, 0.3451, 0.5464",\
                 "0.2975, 0.2969, 0.2967, 0.2982, 0.3001, 0.3021, 0.3033, 0.307, 0.3448, 0.5478",\
                 "0.2972, 0.2965, 0.2961, 0.2979, 0.3001, 0.3018, 0.303, 0.3082, 0.3479, 0.5614",\
                 "0.2982, 0.2973, 0.2972, 0.2989, 0.3008, 0.3028, 0.3042, 0.3091, 0.3566, 0.5948",\
                 "0.3011, 0.3003, 0.3001, 0.3019, 0.3038, 0.3057, 0.3074, 0.3134, 0.3742, 0.6586",\
                 "0.3063, 0.3056, 0.3055, 0.3071, 0.3091, 0.3111, 0.3124, 0.3225, 0.408, 0.7656",\
                 "0.3135, 0.3125, 0.3126, 0.314, 0.316, 0.3178, 0.3199, 0.3367, 0.4672, 0.9415",\
                 "0.3229, 0.3221, 0.3221, 0.3235, 0.3259, 0.3272, 0.3305, 0.3665, 0.5824, 1.215",\
                 "0.335, 0.3342, 0.3342, 0.3354, 0.3373, 0.3404, 0.3478, 0.4333, 0.8136, 1.627",\
                 "0.3498, 0.3491, 0.3487, 0.3504, 0.3516, 0.3549, 0.389, 0.6172, 1.245, 2.126");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007337, 0.02958, 0.07206, 0.1382, 0.2311, 0.3533, 0.5073, 0.6952, 0.9192");
          values("0.2106, 0.207, 0.2024, 0.2005, 0.1996, 0.1992, 0.1989, 0.1987, 0.1986, 0.1985",\
                 "0.2108, 0.2071, 0.2025, 0.2007, 0.1998, 0.1994, 0.1991, 0.1989, 0.1988, 0.1987",\
                 "0.2108, 0.207, 0.2025, 0.2005, 0.1997, 0.1993, 0.199, 0.1988, 0.1987, 0.1986",\
                 "0.2112, 0.2075, 0.2029, 0.201, 0.2001, 0.1997, 0.1995, 0.1993, 0.1991, 0.199",\
                 "0.2136, 0.2099, 0.2053, 0.2032, 0.2023, 0.2018, 0.2015, 0.2014, 0.2013, 0.2012",\
                 "0.2187, 0.2149, 0.2101, 0.2079, 0.207, 0.2065, 0.2062, 0.206, 0.2059, 0.2058",\
                 "0.2272, 0.2232, 0.2183, 0.2159, 0.2149, 0.2144, 0.2141, 0.2139, 0.2138, 0.2136",\
                 "0.2394, 0.2353, 0.2301, 0.2277, 0.2265, 0.2259, 0.2256, 0.2254, 0.2253, 0.2251",\
                 "0.2555, 0.2512, 0.2455, 0.2427, 0.2416, 0.2411, 0.2407, 0.2404, 0.2404, 0.2402",\
                 "0.2754, 0.271, 0.265, 0.262, 0.2606, 0.2599, 0.2596, 0.2594, 0.2592, 0.259");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007337, 0.02958, 0.07206, 0.1382, 0.2311, 0.3533, 0.5073, 0.6952, 0.9192");
          values("0.2675, 0.2657, 0.2631, 0.262, 0.2628, 0.2644, 0.2662, 0.2701, 0.2998, 0.4775",\
                 "0.267, 0.265, 0.2624, 0.2614, 0.2622, 0.2637, 0.2653, 0.2689, 0.2999, 0.4788",\
                 "0.2664, 0.2646, 0.2618, 0.2611, 0.2618, 0.2632, 0.265, 0.2692, 0.3024, 0.491",\
                 "0.2673, 0.2653, 0.2626, 0.2617, 0.263, 0.2641, 0.2659, 0.2702, 0.3092, 0.5197",\
                 "0.2709, 0.269, 0.2663, 0.2655, 0.2665, 0.2677, 0.2695, 0.275, 0.3253, 0.5752",\
                 "0.2794, 0.2776, 0.2747, 0.2736, 0.2742, 0.2757, 0.2772, 0.2847, 0.3558, 0.6702",\
                 "0.2919, 0.29, 0.2868, 0.2857, 0.2859, 0.2873, 0.2895, 0.3022, 0.4085, 0.8278",\
                 "0.3078, 0.3056, 0.3021, 0.3002, 0.3013, 0.3024, 0.3044, 0.331, 0.507, 1.072",\
                 "0.3272, 0.3251, 0.3212, 0.3194, 0.3187, 0.3213, 0.327, 0.3877, 0.6972, 1.447",\
                 "0.3511, 0.3486, 0.3445, 0.3418, 0.3414, 0.3425, 0.3635, 0.5254, 1.064, 1.948");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007337, 0.02958, 0.07206, 0.1382, 0.2311, 0.3533, 0.5073, 0.6952, 0.9192");
          values("0.338, 0.3364, 0.3348, 0.3347, 0.3348, 0.335, 0.3352, 0.3354, 0.3354, 0.3355",\
                 "0.3372, 0.3356, 0.3342, 0.334, 0.3342, 0.3344, 0.3346, 0.3347, 0.3348, 0.3348",\
                 "0.3369, 0.3352, 0.3339, 0.3337, 0.3338, 0.3341, 0.3342, 0.3343, 0.3344, 0.3345",\
                 "0.3377, 0.336, 0.3346, 0.3345, 0.3347, 0.3348, 0.335, 0.3352, 0.3352, 0.3352",\
                 "0.3411, 0.3394, 0.3381, 0.338, 0.3381, 0.3384, 0.3384, 0.3386, 0.3387, 0.3387",\
                 "0.3484, 0.3467, 0.3454, 0.3452, 0.3454, 0.3457, 0.3458, 0.3459, 0.346, 0.346",\
                 "0.3587, 0.3571, 0.3559, 0.3556, 0.3558, 0.3561, 0.3562, 0.3563, 0.3564, 0.3564",\
                 "0.3725, 0.3708, 0.3696, 0.3692, 0.3697, 0.3698, 0.3698, 0.37, 0.3701, 0.3701",\
                 "0.3898, 0.388, 0.3868, 0.3865, 0.3869, 0.387, 0.3871, 0.3872, 0.3873, 0.3872",\
                 "0.4108, 0.4092, 0.4077, 0.4075, 0.4078, 0.4081, 0.4081, 0.4083, 0.4082, 0.4076");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007337, 0.02958, 0.07206, 0.1382, 0.2311, 0.3533, 0.5073, 0.6952, 0.9192");
          values("0.217, 0.2163, 0.2159, 0.2175, 0.2193, 0.2214, 0.2232, 0.2263, 0.2557, 0.4186",\
                 "0.2172, 0.2164, 0.2163, 0.2177, 0.2197, 0.2214, 0.2235, 0.2263, 0.2546, 0.4222",\
                 "0.2171, 0.2163, 0.2162, 0.2176, 0.2198, 0.2216, 0.2232, 0.2272, 0.2578, 0.4327",\
                 "0.2178, 0.217, 0.2169, 0.2184, 0.2204, 0.2221, 0.2238, 0.2278, 0.2618, 0.4544",\
                 "0.2202, 0.2194, 0.2194, 0.2208, 0.2228, 0.2243, 0.2259, 0.2308, 0.2716, 0.4908",\
                 "0.2253, 0.2244, 0.224, 0.2261, 0.2279, 0.2295, 0.2312, 0.2365, 0.2905, 0.5484",\
                 "0.2333, 0.2325, 0.2319, 0.2335, 0.2358, 0.2385, 0.2398, 0.2468, 0.3174, 0.6338",\
                 "0.2445, 0.2437, 0.2434, 0.2449, 0.2464, 0.2487, 0.252, 0.2631, 0.362, 0.7612",\
                 "0.2592, 0.2584, 0.2579, 0.2592, 0.2608, 0.2619, 0.2659, 0.2897, 0.4389, 0.9533",\
                 "0.2773, 0.2765, 0.276, 0.2771, 0.279, 0.2797, 0.2831, 0.3263, 0.567, 1.23");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007337, 0.02958, 0.07206, 0.1382, 0.2311, 0.3533, 0.5073, 0.6952, 0.9192");
          values("0.1982, 0.1947, 0.1906, 0.1887, 0.188, 0.1876, 0.1873, 0.1871, 0.187, 0.1869",\
                 "0.1966, 0.1931, 0.189, 0.1872, 0.1864, 0.186, 0.1857, 0.1855, 0.1854, 0.1853",\
                 "0.1943, 0.1908, 0.1866, 0.1848, 0.184, 0.1836, 0.1834, 0.1832, 0.1831, 0.183",\
                 "0.197, 0.1933, 0.1886, 0.1865, 0.1858, 0.1854, 0.1852, 0.1851, 0.185, 0.1849",\
                 "0.2107, 0.2059, 0.1993, 0.1957, 0.194, 0.1933, 0.1928, 0.1926, 0.1924, 0.1923",\
                 "0.2313, 0.2254, 0.2164, 0.2112, 0.2083, 0.2069, 0.2061, 0.2056, 0.2053, 0.2051",\
                 "0.258, 0.2511, 0.2397, 0.2325, 0.2286, 0.2264, 0.2253, 0.2244, 0.224, 0.2236",\
                 "0.2918, 0.2838, 0.2703, 0.2609, 0.2556, 0.2524, 0.2506, 0.2495, 0.2488, 0.2483",\
                 "0.3336, 0.3248, 0.3085, 0.297, 0.2899, 0.2856, 0.283, 0.2814, 0.2803, 0.2797",\
                 "0.3835, 0.374, 0.3549, 0.3407, 0.3318, 0.3262, 0.3229, 0.3207, 0.3191, 0.3178");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007337, 0.02958, 0.07206, 0.1382, 0.2311, 0.3533, 0.5073, 0.6952, 0.9192");
          values("0.1012, 0.1006, 0.1011, 0.103, 0.1052, 0.107, 0.1086, 0.1111, 0.1312, 0.2657",\
                 "0.1013, 0.1008, 0.1015, 0.1035, 0.1055, 0.1071, 0.1095, 0.112, 0.1331, 0.2669",\
                 "0.1016, 0.1012, 0.1013, 0.1028, 0.1049, 0.1069, 0.1083, 0.1114, 0.1337, 0.2762",\
                 "0.1064, 0.1053, 0.1041, 0.1047, 0.1065, 0.1081, 0.1098, 0.1123, 0.1398, 0.2959",\
                 "0.1163, 0.1142, 0.1114, 0.1116, 0.1119, 0.1131, 0.1155, 0.1195, 0.1499, 0.3287",\
                 "0.1321, 0.1295, 0.1248, 0.1224, 0.1232, 0.1239, 0.1248, 0.1291, 0.1685, 0.3805",\
                 "0.1548, 0.1512, 0.1456, 0.1412, 0.1396, 0.1415, 0.1419, 0.1463, 0.2001, 0.4608",\
                 "0.1844, 0.18, 0.1725, 0.1664, 0.1635, 0.1625, 0.1649, 0.1724, 0.2478, 0.5794",\
                 "0.2209, 0.2154, 0.2063, 0.1986, 0.1931, 0.1912, 0.191, 0.2086, 0.3241, 0.7645",\
                 "0.265, 0.2579, 0.2468, 0.2378, 0.2309, 0.2265, 0.2257, 0.2551, 0.4484, 1.036");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007337, 0.02958, 0.07206, 0.1382, 0.2311, 0.3533, 0.5073, 0.6952, 0.9192");
          values("0.2151, 0.2135, 0.212, 0.2121, 0.212, 0.2122, 0.2123, 0.2124, 0.2125, 0.2125",\
                 "0.2148, 0.2132, 0.2118, 0.2117, 0.2118, 0.212, 0.2121, 0.2122, 0.2122, 0.2122",\
                 "0.2128, 0.2111, 0.2096, 0.2095, 0.2096, 0.2098, 0.21, 0.21, 0.2101, 0.2101",\
                 "0.2105, 0.2088, 0.2073, 0.2072, 0.2073, 0.2074, 0.2075, 0.2076, 0.2077, 0.2077",\
                 "0.212, 0.2104, 0.2091, 0.2088, 0.2091, 0.2093, 0.2094, 0.2095, 0.2096, 0.2096",\
                 "0.2188, 0.2171, 0.2156, 0.2152, 0.2157, 0.2157, 0.216, 0.2159, 0.216, 0.2161",\
                 "0.2304, 0.2285, 0.2269, 0.2264, 0.2265, 0.2267, 0.2268, 0.2269, 0.2269, 0.227",\
                 "0.2468, 0.2449, 0.2428, 0.2422, 0.242, 0.2422, 0.2423, 0.2425, 0.2427, 0.2427",\
                 "0.2682, 0.266, 0.2634, 0.2626, 0.2623, 0.2626, 0.2627, 0.2628, 0.2629, 0.263",\
                 "0.2947, 0.2921, 0.2892, 0.2882, 0.2878, 0.2879, 0.288, 0.2882, 0.2882, 0.2883");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007337, 0.02958, 0.07206, 0.1382, 0.2311, 0.3533, 0.5073, 0.6952, 0.9192");
          values("0.2425, 0.2415, 0.2407, 0.2416, 0.2431, 0.2452, 0.2465, 0.2498, 0.2739, 0.4233",\
                 "0.2418, 0.2409, 0.24, 0.241, 0.2427, 0.2444, 0.2456, 0.2496, 0.2741, 0.4259",\
                 "0.2418, 0.2408, 0.2399, 0.2409, 0.2424, 0.2441, 0.2459, 0.2496, 0.2762, 0.4366",\
                 "0.2434, 0.2423, 0.2413, 0.2422, 0.2438, 0.2459, 0.2474, 0.2505, 0.2821, 0.4629",\
                 "0.2481, 0.247, 0.2462, 0.2468, 0.2485, 0.2503, 0.2519, 0.2559, 0.2965, 0.5094",\
                 "0.2566, 0.2554, 0.2545, 0.2556, 0.2569, 0.2593, 0.2605, 0.267, 0.3218, 0.5853",\
                 "0.2701, 0.2689, 0.2674, 0.268, 0.2708, 0.2726, 0.2736, 0.2821, 0.3625, 0.7068",\
                 "0.288, 0.2868, 0.2856, 0.2855, 0.287, 0.29, 0.2922, 0.3081, 0.4371, 0.9035",\
                 "0.3112, 0.3096, 0.3085, 0.3078, 0.3087, 0.3113, 0.3159, 0.3532, 0.5732, 1.21",\
                 "0.3392, 0.3377, 0.3358, 0.3353, 0.3366, 0.3369, 0.3467, 0.44, 0.837, 1.659");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007337, 0.02958, 0.07206, 0.1382, 0.2311, 0.3533, 0.5073, 0.6952, 0.9192");
          values("0.2151, 0.2135, 0.212, 0.2121, 0.2119, 0.2122, 0.2123, 0.2124, 0.2125, 0.2125",\
                 "0.2148, 0.2132, 0.2118, 0.2117, 0.2118, 0.212, 0.2121, 0.2122, 0.2122, 0.2122",\
                 "0.2128, 0.2111, 0.2098, 0.2095, 0.2096, 0.2098, 0.21, 0.21, 0.2101, 0.2101",\
                 "0.2105, 0.2088, 0.2073, 0.2072, 0.2073, 0.2074, 0.2075, 0.2076, 0.2077, 0.2077",\
                 "0.2119, 0.2104, 0.2091, 0.209, 0.2091, 0.2093, 0.2094, 0.2095, 0.2096, 0.2096",\
                 "0.2188, 0.2171, 0.2153, 0.2152, 0.2157, 0.2157, 0.2158, 0.2159, 0.216, 0.2161",\
                 "0.2304, 0.2285, 0.2269, 0.2263, 0.2264, 0.2268, 0.2268, 0.2269, 0.227, 0.227",\
                 "0.2467, 0.2449, 0.2428, 0.2422, 0.242, 0.2422, 0.2424, 0.2426, 0.2426, 0.2426",\
                 "0.2682, 0.2659, 0.2634, 0.2627, 0.2624, 0.2627, 0.2627, 0.2629, 0.2629, 0.2629",\
                 "0.2947, 0.2922, 0.2892, 0.2882, 0.2878, 0.2879, 0.2881, 0.2882, 0.2882, 0.2883");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007337, 0.02958, 0.07206, 0.1382, 0.2311, 0.3533, 0.5073, 0.6952, 0.9192");
          values("0.2425, 0.2416, 0.2407, 0.2416, 0.2431, 0.2449, 0.2465, 0.2492, 0.2739, 0.4224",\
                 "0.2418, 0.2409, 0.24, 0.241, 0.2427, 0.2444, 0.2462, 0.2495, 0.2741, 0.4258",\
                 "0.2418, 0.2408, 0.2399, 0.2409, 0.2424, 0.2441, 0.2456, 0.2495, 0.2759, 0.4377",\
                 "0.2433, 0.2422, 0.2414, 0.2424, 0.2438, 0.246, 0.2477, 0.2511, 0.2821, 0.4629",\
                 "0.2482, 0.247, 0.2463, 0.2467, 0.2486, 0.2502, 0.2519, 0.2559, 0.2962, 0.5094",\
                 "0.2567, 0.2555, 0.2545, 0.2555, 0.2569, 0.259, 0.2608, 0.2667, 0.3207, 0.585",\
                 "0.27, 0.2689, 0.2676, 0.268, 0.2707, 0.2721, 0.2736, 0.2827, 0.3629, 0.7085",\
                 "0.288, 0.2866, 0.2856, 0.2855, 0.2869, 0.29, 0.2922, 0.3084, 0.436, 0.9025",\
                 "0.3111, 0.3098, 0.3084, 0.3078, 0.309, 0.3112, 0.3162, 0.3532, 0.573, 1.21",\
                 "0.3393, 0.3379, 0.3358, 0.3355, 0.3366, 0.3369, 0.3467, 0.4412, 0.837, 1.659");
        }
      }

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

        fall_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007337, 0.02958, 0.07206, 0.1382, 0.2311, 0.3533, 0.5073, 0.6952, 0.9192");
          values("0.1982, 0.1948, 0.1906, 0.1887, 0.1879, 0.1876, 0.1873, 0.1871, 0.187, 0.1869",\
                 "0.1966, 0.1931, 0.189, 0.1872, 0.1864, 0.186, 0.1857, 0.1855, 0.1854, 0.1853",\
                 "0.1943, 0.1908, 0.1865, 0.1848, 0.184, 0.1837, 0.1834, 0.1832, 0.1831, 0.183",\
                 "0.197, 0.1933, 0.1886, 0.1866, 0.1857, 0.1854, 0.1853, 0.1851, 0.185, 0.1849",\
                 "0.2108, 0.2059, 0.1992, 0.1957, 0.194, 0.1933, 0.1928, 0.1926, 0.1924, 0.1923",\
                 "0.2313, 0.2255, 0.2164, 0.2111, 0.2083, 0.2069, 0.2061, 0.2056, 0.2053, 0.2051",\
                 "0.258, 0.2512, 0.2396, 0.2325, 0.2284, 0.2266, 0.2251, 0.2244, 0.2241, 0.2237",\
                 "0.2918, 0.284, 0.2702, 0.261, 0.2555, 0.2524, 0.2506, 0.2495, 0.2488, 0.2483",\
                 "0.3336, 0.325, 0.3085, 0.297, 0.2899, 0.2856, 0.283, 0.2815, 0.2804, 0.2795",\
                 "0.3835, 0.3739, 0.3549, 0.3408, 0.3319, 0.3264, 0.3228, 0.3206, 0.319, 0.3178");
        }

        rise_power(pwr_tin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007337, 0.02958, 0.07206, 0.1382, 0.2311, 0.3533, 0.5073, 0.6952, 0.9192");
          values("0.1012, 0.1006, 0.1011, 0.103, 0.1052, 0.1069, 0.1083, 0.1102, 0.1312, 0.2643",\
                 "0.1013, 0.1008, 0.1013, 0.1033, 0.1056, 0.107, 0.1092, 0.1123, 0.1334, 0.2672",\
                 "0.1016, 0.1012, 0.1013, 0.1028, 0.1048, 0.1069, 0.1092, 0.1114, 0.1337, 0.2768",\
                 "0.1064, 0.1052, 0.104, 0.1046, 0.1062, 0.108, 0.1101, 0.1138, 0.1398, 0.2959",\
                 "0.1163, 0.1141, 0.1113, 0.1113, 0.1119, 0.1133, 0.1152, 0.1189, 0.1502, 0.328",\
                 "0.1321, 0.1295, 0.1252, 0.1224, 0.1234, 0.1244, 0.1248, 0.1291, 0.1685, 0.3808",\
                 "0.1549, 0.1514, 0.1451, 0.1408, 0.1395, 0.1406, 0.1416, 0.1466, 0.1998, 0.4602",\
                 "0.1844, 0.18, 0.1722, 0.1664, 0.1634, 0.1622, 0.1643, 0.1725, 0.2491, 0.581",\
                 "0.2211, 0.2153, 0.206, 0.1984, 0.1935, 0.1905, 0.191, 0.2077, 0.3238, 0.7651",\
                 "0.265, 0.2581, 0.247, 0.2377, 0.2314, 0.2267, 0.2257, 0.2542, 0.4472, 1.035");
        }
      }

      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.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007337, 0.02958, 0.07206, 0.1382, 0.2311, 0.3533, 0.5073, 0.6952, 0.9192");
          values("2.805, 2.859, 3.001, 3.206, 3.488, 3.866, 4.358, 4.978, 5.734, 6.633",\
                 "2.829, 2.883, 3.024, 3.23, 3.512, 3.89, 4.382, 5.002, 5.758, 6.658",\
                 "2.904, 2.958, 3.1, 3.306, 3.587, 3.965, 4.457, 5.077, 5.833, 6.733",\
                 "2.994, 3.048, 3.19, 3.396, 3.677, 4.055, 4.547, 5.167, 5.923, 6.823",\
                 "3.046, 3.1, 3.241, 3.447, 3.728, 4.106, 4.599, 5.218, 5.974, 6.875",\
                 "3.05, 3.104, 3.246, 3.452, 3.733, 4.111, 4.604, 5.223, 5.978, 6.879",\
                 "2.989, 3.044, 3.185, 3.39, 3.672, 4.05, 4.542, 5.162, 5.917, 6.817",\
                 "2.864, 2.919, 3.061, 3.266, 3.548, 3.926, 4.418, 5.037, 5.792, 6.692",\
                 "2.673, 2.727, 2.867, 3.074, 3.355, 3.733, 4.225, 4.844, 5.6, 6.5",\
                 "2.408, 2.462, 2.603, 2.808, 3.09, 3.468, 3.961, 4.581, 5.336, 6.236");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007337, 0.02958, 0.07206, 0.1382, 0.2311, 0.3533, 0.5073, 0.6952, 0.9192");
          values("2.68, 2.75, 2.955, 3.308, 3.845, 4.595, 5.58, 6.823, 8.34, 10.14",\
                 "2.699, 2.77, 2.975, 3.328, 3.864, 4.615, 5.601, 6.841, 8.358, 10.16",\
                 "2.767, 2.837, 3.042, 3.395, 3.931, 4.681, 5.668, 6.909, 8.425, 10.23",\
                 "2.902, 2.972, 3.177, 3.53, 4.067, 4.816, 5.802, 7.045, 8.562, 10.36",\
                 "3.14, 3.21, 3.416, 3.768, 4.305, 5.055, 6.041, 7.283, 8.8, 10.6",\
                 "3.483, 3.553, 3.759, 4.111, 4.647, 5.397, 6.383, 7.623, 9.14, 10.95",\
                 "3.921, 3.99, 4.196, 4.549, 5.085, 5.836, 6.822, 8.064, 9.58, 11.38",\
                 "4.455, 4.525, 4.73, 5.083, 5.619, 6.369, 7.354, 8.596, 10.11, 11.92",\
                 "5.079, 5.149, 5.354, 5.707, 6.244, 6.994, 7.979, 9.219, 10.73, 12.54",\
                 "5.79, 5.861, 6.066, 6.418, 6.955, 7.705, 8.691, 9.932, 11.44, 13.25");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007337, 0.02958, 0.07206, 0.1382, 0.2311, 0.3533, 0.5073, 0.6952, 0.9192");
          values("0.1834, 0.233, 0.378, 0.6366, 1.056, 1.671, 2.5, 3.55, 4.836, 6.36",\
                 "0.183, 0.2336, 0.3778, 0.6366, 1.056, 1.671, 2.5, 3.548, 4.833, 6.358",\
                 "0.1838, 0.2332, 0.3794, 0.6354, 1.054, 1.672, 2.5, 3.551, 4.836, 6.366",\
                 "0.1832, 0.2332, 0.3782, 0.6364, 1.055, 1.671, 2.499, 3.551, 4.833, 6.36",\
                 "0.1832, 0.2328, 0.378, 0.636, 1.055, 1.67, 2.497, 3.547, 4.836, 6.366",\
                 "0.1834, 0.2332, 0.379, 0.637, 1.055, 1.671, 2.499, 3.551, 4.834, 6.36",\
                 "0.1834, 0.2328, 0.3784, 0.6356, 1.054, 1.672, 2.495, 3.545, 4.833, 6.361",\
                 "0.1832, 0.233, 0.378, 0.6366, 1.055, 1.67, 2.496, 3.544, 4.825, 6.358",\
                 "0.1832, 0.2336, 0.3784, 0.6364, 1.055, 1.669, 2.496, 3.543, 4.824, 6.352",\
                 "0.184, 0.232, 0.378, 0.634, 1.056, 1.67, 2.498, 3.55, 4.828, 6.352");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007337, 0.02958, 0.07206, 0.1382, 0.2311, 0.3533, 0.5073, 0.6952, 0.9192");
          values("0.2136, 0.302, 0.5928, 1.172, 2.105, 3.423, 5.159, 7.348, 10.01, 13.2",\
                 "0.214, 0.3016, 0.5938, 1.171, 2.105, 3.424, 5.165, 7.342, 10.02, 13.2",\
                 "0.2148, 0.3016, 0.5936, 1.172, 2.107, 3.426, 5.157, 7.343, 10.02, 13.2",\
                 "0.2138, 0.3022, 0.593, 1.171, 2.105, 3.423, 5.156, 7.343, 10.02, 13.21",\
                 "0.2148, 0.3016, 0.5928, 1.171, 2.108, 3.423, 5.159, 7.347, 10.01, 13.2",\
                 "0.2144, 0.3026, 0.5934, 1.171, 2.107, 3.423, 5.159, 7.347, 10.02, 13.2",\
                 "0.2136, 0.3018, 0.5934, 1.173, 2.105, 3.423, 5.155, 7.355, 10.01, 13.2",\
                 "0.2138, 0.3022, 0.594, 1.171, 2.104, 3.424, 5.16, 7.354, 10.03, 13.19",\
                 "0.214, 0.302, 0.592, 1.172, 2.106, 3.422, 5.156, 7.35, 10.01, 13.22",\
                 "0.214, 0.304, 0.592, 1.172, 2.104, 3.424, 5.156, 7.338, 10.01, 13.2");
        }
      }

      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.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007337, 0.02958, 0.07206, 0.1382, 0.2311, 0.3533, 0.5073, 0.6952, 0.9192");
          values("1.37, 1.436, 1.612, 1.862, 2.179, 2.578, 3.08, 3.702, 4.457, 5.358",\
                 "1.391, 1.458, 1.634, 1.884, 2.201, 2.6, 3.102, 3.723, 4.479, 5.379",\
                 "1.468, 1.535, 1.711, 1.961, 2.278, 2.677, 3.178, 3.8, 4.556, 5.457",\
                 "1.603, 1.67, 1.846, 2.096, 2.413, 2.812, 3.313, 3.935, 4.691, 5.591",\
                 "1.734, 1.801, 1.977, 2.227, 2.544, 2.944, 3.445, 4.067, 4.823, 5.723",\
                 "1.829, 1.896, 2.073, 2.324, 2.641, 3.041, 3.542, 4.164, 4.92, 5.821",\
                 "1.886, 1.953, 2.13, 2.381, 2.7, 3.1, 3.601, 4.223, 4.979, 5.879",\
                 "1.898, 1.967, 2.144, 2.396, 2.714, 3.115, 3.617, 4.238, 4.994, 5.894",\
                 "1.859, 1.928, 2.107, 2.361, 2.68, 3.081, 3.583, 4.204, 4.96, 5.86",\
                 "1.765, 1.834, 2.014, 2.268, 2.589, 2.99, 3.492, 4.115, 4.87, 5.77");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007337, 0.02958, 0.07206, 0.1382, 0.2311, 0.3533, 0.5073, 0.6952, 0.9192");
          values("1.818, 1.89, 2.099, 2.452, 2.99, 3.74, 4.726, 5.968, 7.483, 9.289",\
                 "1.842, 1.914, 2.122, 2.476, 3.013, 3.764, 4.749, 5.991, 7.507, 9.313",\
                 "1.922, 1.994, 2.203, 2.556, 3.093, 3.844, 4.83, 6.071, 7.586, 9.393",\
                 "2.105, 2.177, 2.386, 2.739, 3.276, 4.027, 5.013, 6.255, 7.77, 9.576",\
                 "2.415, 2.487, 2.696, 3.049, 3.587, 4.337, 5.323, 6.565, 8.08, 9.885",\
                 "2.826, 2.898, 3.106, 3.46, 3.997, 4.747, 5.733, 6.975, 8.49, 10.3",\
                 "3.293, 3.365, 3.574, 3.928, 4.465, 5.215, 6.201, 7.443, 8.958, 10.76",\
                 "3.824, 3.898, 4.107, 4.46, 4.996, 5.746, 6.732, 7.975, 9.489, 11.29",\
                 "4.43, 4.503, 4.713, 5.066, 5.602, 6.353, 7.338, 8.579, 10.09, 11.9",\
                 "5.11, 5.183, 5.394, 5.747, 6.283, 7.034, 8.018, 9.259, 10.77, 12.58");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007337, 0.02958, 0.07206, 0.1382, 0.2311, 0.3533, 0.5073, 0.6952, 0.9192");
          values("0.2452, 0.3082, 0.4858, 0.761, 1.167, 1.75, 2.548, 3.579, 4.852, 6.384",\
                 "0.2452, 0.3082, 0.4862, 0.7614, 1.166, 1.75, 2.548, 3.576, 4.851, 6.379",\
                 "0.2456, 0.3082, 0.4858, 0.7626, 1.168, 1.749, 2.549, 3.579, 4.855, 6.384",\
                 "0.246, 0.3086, 0.486, 0.7614, 1.168, 1.749, 2.549, 3.579, 4.855, 6.384",\
                 "0.247, 0.3098, 0.4868, 0.7634, 1.169, 1.752, 2.548, 3.577, 4.85, 6.384",\
                 "0.2488, 0.3118, 0.4892, 0.7638, 1.168, 1.75, 2.548, 3.58, 4.855, 6.383",\
                 "0.2514, 0.3144, 0.4904, 0.766, 1.169, 1.753, 2.546, 3.575, 4.854, 6.378",\
                 "0.255, 0.3176, 0.4944, 0.7692, 1.172, 1.753, 2.546, 3.574, 4.849, 6.372",\
                 "0.2592, 0.3224, 0.4994, 0.7726, 1.175, 1.756, 2.547, 3.576, 4.849, 6.374",\
                 "0.2638, 0.3276, 0.5036, 0.7778, 1.178, 1.756, 2.55, 3.578, 4.85, 6.374");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007337, 0.02958, 0.07206, 0.1382, 0.2311, 0.3533, 0.5073, 0.6952, 0.9192");
          values("0.2336, 0.3214, 0.6102, 1.184, 2.112, 3.429, 5.16, 7.343, 10.02, 13.2",\
                 "0.2334, 0.3214, 0.61, 1.184, 2.111, 3.43, 5.161, 7.343, 10.02, 13.2",\
                 "0.2332, 0.3226, 0.6102, 1.183, 2.112, 3.431, 5.169, 7.347, 10.02, 13.21",\
                 "0.233, 0.3226, 0.6102, 1.183, 2.112, 3.432, 5.166, 7.344, 10.01, 13.2",\
                 "0.2338, 0.322, 0.6102, 1.183, 2.111, 3.426, 5.159, 7.346, 10.02, 13.19",\
                 "0.2344, 0.3232, 0.6114, 1.185, 2.112, 3.432, 5.166, 7.341, 10.02, 13.19",\
                 "0.2372, 0.326, 0.6142, 1.184, 2.113, 3.43, 5.16, 7.346, 10.01, 13.19",\
                 "0.2402, 0.3286, 0.6166, 1.185, 2.115, 3.427, 5.159, 7.344, 10.01, 13.2",\
                 "0.244, 0.334, 0.62, 1.186, 2.114, 3.428, 5.166, 7.35, 10.01, 13.21",\
                 "0.246, 0.338, 0.622, 1.19, 2.114, 3.43, 5.158, 7.346, 10.02, 13.22");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007337, 0.02958, 0.07206, 0.1382, 0.2311, 0.3533, 0.5073, 0.6952, 0.9192");
          values("2.805, 2.859, 3.001, 3.206, 3.488, 3.866, 4.358, 4.978, 5.734, 6.633",\
                 "2.829, 2.883, 3.024, 3.23, 3.512, 3.89, 4.382, 5.002, 5.758, 6.658",\
                 "2.904, 2.958, 3.1, 3.306, 3.587, 3.965, 4.457, 5.077, 5.833, 6.733",\
                 "2.994, 3.048, 3.19, 3.396, 3.677, 4.055, 4.547, 5.167, 5.923, 6.823",\
                 "3.046, 3.1, 3.241, 3.447, 3.728, 4.106, 4.599, 5.218, 5.974, 6.875",\
                 "3.05, 3.104, 3.246, 3.452, 3.733, 4.111, 4.604, 5.223, 5.978, 6.879",\
                 "2.989, 3.044, 3.185, 3.39, 3.672, 4.05, 4.542, 5.162, 5.917, 6.817",\
                 "2.864, 2.919, 3.061, 3.266, 3.548, 3.926, 4.418, 5.037, 5.792, 6.692",\
                 "2.673, 2.727, 2.867, 3.074, 3.355, 3.733, 4.225, 4.844, 5.6, 6.5",\
                 "2.408, 2.462, 2.603, 2.808, 3.09, 3.468, 3.961, 4.581, 5.336, 6.236");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007337, 0.02958, 0.07206, 0.1382, 0.2311, 0.3533, 0.5073, 0.6952, 0.9192");
          values("2.68, 2.75, 2.955, 3.308, 3.845, 4.595, 5.58, 6.823, 8.34, 10.14",\
                 "2.699, 2.77, 2.975, 3.328, 3.864, 4.615, 5.601, 6.841, 8.358, 10.16",\
                 "2.767, 2.837, 3.042, 3.395, 3.931, 4.681, 5.668, 6.909, 8.425, 10.23",\
                 "2.902, 2.972, 3.177, 3.53, 4.067, 4.816, 5.802, 7.045, 8.562, 10.36",\
                 "3.14, 3.21, 3.416, 3.768, 4.305, 5.055, 6.041, 7.283, 8.8, 10.6",\
                 "3.483, 3.553, 3.759, 4.111, 4.647, 5.397, 6.383, 7.623, 9.14, 10.95",\
                 "3.921, 3.99, 4.196, 4.549, 5.085, 5.836, 6.822, 8.064, 9.58, 11.38",\
                 "4.455, 4.525, 4.73, 5.083, 5.619, 6.369, 7.354, 8.596, 10.11, 11.92",\
                 "5.079, 5.149, 5.354, 5.707, 6.244, 6.994, 7.979, 9.219, 10.73, 12.54",\
                 "5.79, 5.861, 6.066, 6.418, 6.955, 7.705, 8.691, 9.932, 11.44, 13.25");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007337, 0.02958, 0.07206, 0.1382, 0.2311, 0.3533, 0.5073, 0.6952, 0.9192");
          values("0.2452, 0.3082, 0.4858, 0.761, 1.167, 1.75, 2.548, 3.579, 4.852, 6.384",\
                 "0.2452, 0.3082, 0.4862, 0.7614, 1.166, 1.75, 2.548, 3.576, 4.851, 6.379",\
                 "0.2456, 0.3082, 0.4858, 0.7626, 1.168, 1.749, 2.549, 3.579, 4.855, 6.384",\
                 "0.246, 0.3086, 0.486, 0.7614, 1.168, 1.749, 2.549, 3.579, 4.855, 6.384",\
                 "0.247, 0.3098, 0.4868, 0.7634, 1.169, 1.752, 2.548, 3.577, 4.85, 6.384",\
                 "0.2488, 0.3118, 0.4892, 0.7638, 1.168, 1.75, 2.548, 3.58, 4.855, 6.383",\
                 "0.2514, 0.3144, 0.4904, 0.766, 1.169, 1.753, 2.546, 3.575, 4.854, 6.378",\
                 "0.255, 0.3176, 0.4944, 0.7692, 1.172, 1.753, 2.546, 3.574, 4.849, 6.372",\
                 "0.2592, 0.3224, 0.4994, 0.7726, 1.175, 1.756, 2.547, 3.576, 4.849, 6.374",\
                 "0.2638, 0.3276, 0.5036, 0.7778, 1.178, 1.756, 2.55, 3.578, 4.85, 6.374");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007337, 0.02958, 0.07206, 0.1382, 0.2311, 0.3533, 0.5073, 0.6952, 0.9192");
          values("0.2336, 0.3214, 0.6102, 1.184, 2.112, 3.429, 5.16, 7.343, 10.02, 13.2",\
                 "0.2334, 0.3214, 0.61, 1.184, 2.111, 3.43, 5.161, 7.343, 10.02, 13.2",\
                 "0.2332, 0.3226, 0.6102, 1.183, 2.112, 3.431, 5.169, 7.347, 10.02, 13.21",\
                 "0.233, 0.3226, 0.6102, 1.183, 2.112, 3.432, 5.166, 7.344, 10.01, 13.2",\
                 "0.2338, 0.322, 0.6102, 1.183, 2.111, 3.426, 5.159, 7.346, 10.02, 13.19",\
                 "0.2344, 0.3232, 0.6114, 1.185, 2.112, 3.432, 5.166, 7.341, 10.02, 13.19",\
                 "0.2372, 0.326, 0.6142, 1.184, 2.113, 3.43, 5.16, 7.346, 10.01, 13.19",\
                 "0.2402, 0.3286, 0.6166, 1.185, 2.115, 3.427, 5.159, 7.344, 10.01, 13.2",\
                 "0.244, 0.334, 0.62, 1.186, 2.114, 3.428, 5.166, 7.35, 10.01, 13.21",\
                 "0.246, 0.338, 0.622, 1.19, 2.114, 3.43, 5.158, 7.346, 10.02, 13.22");
        }
      }

      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.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007337, 0.02958, 0.07206, 0.1382, 0.2311, 0.3533, 0.5073, 0.6952, 0.9192");
          values("2.483, 2.55, 2.725, 2.974, 3.291, 3.69, 4.192, 4.813, 5.569, 6.47",\
                 "2.503, 2.569, 2.744, 2.994, 3.311, 3.71, 4.211, 4.833, 5.589, 6.489",\
                 "2.57, 2.637, 2.812, 3.061, 3.378, 3.777, 4.278, 4.9, 5.656, 6.556",\
                 "2.705, 2.771, 2.947, 3.196, 3.513, 3.912, 4.413, 5.035, 5.791, 6.691",\
                 "2.943, 3.01, 3.185, 3.434, 3.751, 4.15, 4.652, 5.274, 6.029, 6.93",\
                 "3.285, 3.351, 3.526, 3.776, 4.093, 4.492, 4.994, 5.615, 6.371, 7.272",\
                 "3.721, 3.787, 3.962, 4.212, 4.529, 4.928, 5.43, 6.052, 6.807, 7.708",\
                 "4.251, 4.318, 4.494, 4.743, 5.06, 5.459, 5.96, 6.582, 7.338, 8.238",\
                 "4.873, 4.94, 5.116, 5.365, 5.681, 6.081, 6.582, 7.204, 7.959, 8.86",\
                 "5.581, 5.648, 5.823, 6.073, 6.39, 6.789, 7.29, 7.912, 8.668, 9.568");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007337, 0.02958, 0.07206, 0.1382, 0.2311, 0.3533, 0.5073, 0.6952, 0.9192");
          values("2.363, 2.436, 2.644, 2.997, 3.534, 4.285, 5.272, 6.513, 8.027, 9.834",\
                 "2.387, 2.459, 2.668, 3.021, 3.558, 4.309, 5.295, 6.537, 8.052, 9.858",\
                 "2.462, 2.534, 2.742, 3.096, 3.633, 4.384, 5.369, 6.611, 8.127, 9.933",\
                 "2.552, 2.624, 2.832, 3.186, 3.723, 4.474, 5.459, 6.701, 8.217, 10.02",\
                 "2.603, 2.676, 2.884, 3.237, 3.775, 4.525, 5.511, 6.753, 8.268, 10.07",\
                 "2.607, 2.679, 2.888, 3.241, 3.778, 4.528, 5.515, 6.756, 8.271, 10.08",\
                 "2.546, 2.618, 2.827, 3.18, 3.718, 4.468, 5.454, 6.696, 8.211, 10.02",\
                 "2.421, 2.494, 2.701, 3.055, 3.592, 4.343, 5.329, 6.569, 8.084, 9.89",\
                 "2.228, 2.301, 2.509, 2.863, 3.4, 4.15, 5.137, 6.377, 7.891, 9.695",\
                 "1.965, 2.037, 2.245, 2.599, 3.136, 3.886, 4.873, 6.114, 7.627, 9.432");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007337, 0.02958, 0.07206, 0.1382, 0.2311, 0.3533, 0.5073, 0.6952, 0.9192");
          values("0.2442, 0.3066, 0.4836, 0.76, 1.166, 1.748, 2.548, 3.577, 4.855, 6.38",\
                 "0.2432, 0.3066, 0.4836, 0.759, 1.166, 1.751, 2.548, 3.58, 4.855, 6.378",\
                 "0.2444, 0.306, 0.4838, 0.7596, 1.165, 1.748, 2.548, 3.578, 4.855, 6.384",\
                 "0.243, 0.3064, 0.4842, 0.7596, 1.165, 1.748, 2.548, 3.575, 4.849, 6.378",\
                 "0.243, 0.306, 0.4838, 0.7592, 1.165, 1.749, 2.546, 3.579, 4.855, 6.382",\
                 "0.2432, 0.3062, 0.4836, 0.7606, 1.167, 1.749, 2.547, 3.578, 4.855, 6.382",\
                 "0.2434, 0.3062, 0.4842, 0.7596, 1.166, 1.749, 2.548, 3.574, 4.854, 6.379",\
                 "0.2434, 0.3068, 0.4836, 0.7606, 1.168, 1.748, 2.544, 3.578, 4.854, 6.384",\
                 "0.244, 0.306, 0.484, 0.76, 1.166, 1.75, 2.544, 3.574, 4.848, 6.378",\
                 "0.244, 0.306, 0.484, 0.758, 1.166, 1.75, 2.548, 3.58, 4.852, 6.372");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007337, 0.02958, 0.07206, 0.1382, 0.2311, 0.3533, 0.5073, 0.6952, 0.9192");
          values("0.2334, 0.3228, 0.611, 1.184, 2.111, 3.429, 5.168, 7.347, 10.01, 13.22",\
                 "0.234, 0.3228, 0.6108, 1.184, 2.112, 3.432, 5.163, 7.341, 10.02, 13.2",\
                 "0.2346, 0.3226, 0.611, 1.184, 2.111, 3.43, 5.161, 7.344, 10.02, 13.2",\
                 "0.234, 0.3226, 0.6108, 1.184, 2.112, 3.432, 5.163, 7.342, 10.02, 13.2",\
                 "0.2344, 0.3226, 0.6106, 1.184, 2.112, 3.432, 5.163, 7.342, 10.02, 13.2",\
                 "0.233, 0.3224, 0.611, 1.183, 2.112, 3.428, 5.164, 7.345, 10.01, 13.2",\
                 "0.2332, 0.3218, 0.61, 1.183, 2.111, 3.427, 5.157, 7.344, 10.01, 13.2",\
                 "0.233, 0.3222, 0.6098, 1.185, 2.111, 3.426, 5.156, 7.345, 10.01, 13.19",\
                 "0.2332, 0.323, 0.6108, 1.183, 2.111, 3.43, 5.157, 7.342, 10.01, 13.2",\
                 "0.2332, 0.3234, 0.612, 1.182, 2.112, 3.432, 5.158, 7.342, 10.01, 13.19");
        }
      }

      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.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007337, 0.02958, 0.07206, 0.1382, 0.2311, 0.3533, 0.5073, 0.6952, 0.9192");
          values("2.262, 2.316, 2.457, 2.663, 2.945, 3.323, 3.815, 4.434, 5.191, 6.091",\
                 "2.286, 2.34, 2.481, 2.687, 2.968, 3.346, 3.839, 4.458, 5.213, 6.115",\
                 "2.366, 2.42, 2.562, 2.768, 3.049, 3.426, 3.919, 4.539, 5.295, 6.195",\
                 "2.549, 2.603, 2.745, 2.95, 3.232, 3.61, 4.102, 4.722, 5.477, 6.377",\
                 "2.86, 2.915, 3.056, 3.262, 3.543, 3.921, 4.413, 5.033, 5.789, 6.689",\
                 "3.272, 3.327, 3.469, 3.675, 3.956, 4.334, 4.826, 5.445, 6.201, 7.102",\
                 "3.743, 3.798, 3.939, 4.145, 4.425, 4.803, 5.296, 5.916, 6.671, 7.571",\
                 "4.278, 4.332, 4.473, 4.679, 4.96, 5.338, 5.83, 6.449, 7.205, 8.105",\
                 "4.884, 4.939, 5.08, 5.286, 5.567, 5.945, 6.437, 7.057, 7.812, 8.712",\
                 "5.565, 5.619, 5.761, 5.967, 6.248, 6.626, 7.118, 7.738, 8.493, 9.393");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007337, 0.02958, 0.07206, 0.1382, 0.2311, 0.3533, 0.5073, 0.6952, 0.9192");
          values("1.573, 1.643, 1.849, 2.201, 2.738, 3.489, 4.476, 5.717, 7.232, 9.043",\
                 "1.595, 1.665, 1.87, 2.223, 2.76, 3.511, 4.496, 5.74, 7.256, 9.057",\
                 "1.672, 1.742, 1.947, 2.3, 2.837, 3.586, 4.575, 5.813, 7.333, 9.137",\
                 "1.811, 1.881, 2.087, 2.439, 2.976, 3.727, 4.712, 5.954, 7.469, 9.281",\
                 "1.954, 2.023, 2.228, 2.581, 3.118, 3.869, 4.855, 6.099, 7.617, 9.425",\
                 "2.06, 2.129, 2.334, 2.687, 3.224, 3.974, 4.96, 6.202, 7.715, 9.53",\
                 "2.128, 2.198, 2.402, 2.756, 3.292, 4.042, 5.027, 6.269, 7.787, 9.593",\
                 "2.15, 2.22, 2.425, 2.778, 3.315, 4.064, 5.05, 6.29, 7.804, 9.613",\
                 "2.121, 2.191, 2.396, 2.748, 3.285, 4.036, 5.021, 6.26, 7.774, 9.579",\
                 "2.033, 2.103, 2.309, 2.661, 3.197, 3.947, 4.933, 6.173, 7.687, 9.49");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007337, 0.02958, 0.07206, 0.1382, 0.2311, 0.3533, 0.5073, 0.6952, 0.9192");
          values("0.1836, 0.2332, 0.3784, 0.6358, 1.056, 1.67, 2.499, 3.55, 4.833, 6.357",\
                 "0.1832, 0.233, 0.379, 0.636, 1.057, 1.671, 2.5, 3.55, 4.833, 6.361",\
                 "0.183, 0.2332, 0.3784, 0.6366, 1.056, 1.672, 2.499, 3.551, 4.833, 6.358",\
                 "0.1834, 0.2336, 0.3784, 0.6358, 1.054, 1.671, 2.5, 3.55, 4.829, 6.36",\
                 "0.1832, 0.2332, 0.378, 0.6364, 1.055, 1.671, 2.5, 3.549, 4.835, 6.357",\
                 "0.1838, 0.233, 0.3786, 0.6366, 1.055, 1.671, 2.5, 3.547, 4.831, 6.358",\
                 "0.1832, 0.233, 0.3776, 0.6358, 1.055, 1.669, 2.499, 3.551, 4.829, 6.356",\
                 "0.1828, 0.233, 0.378, 0.6364, 1.056, 1.669, 2.496, 3.545, 4.826, 6.362",\
                 "0.182, 0.234, 0.378, 0.636, 1.056, 1.67, 2.498, 3.544, 4.824, 6.356",\
                 "0.184, 0.234, 0.38, 0.634, 1.054, 1.67, 2.498, 3.55, 4.828, 6.356");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007337, 0.02958, 0.07206, 0.1382, 0.2311, 0.3533, 0.5073, 0.6952, 0.9192");
          values("0.2144, 0.3024, 0.593, 1.173, 2.105, 3.424, 5.161, 7.354, 10.02, 13.22",\
                 "0.2146, 0.302, 0.5932, 1.172, 2.109, 3.423, 5.161, 7.352, 10.03, 13.2",\
                 "0.2142, 0.3026, 0.5928, 1.171, 2.104, 3.423, 5.159, 7.348, 10.03, 13.21",\
                 "0.2146, 0.3018, 0.593, 1.174, 2.108, 3.423, 5.161, 7.346, 10.02, 13.21",\
                 "0.2148, 0.3022, 0.5934, 1.172, 2.108, 3.423, 5.159, 7.351, 10.02, 13.21",\
                 "0.2138, 0.3028, 0.593, 1.171, 2.107, 3.423, 5.16, 7.352, 10.02, 13.21",\
                 "0.2144, 0.3026, 0.5936, 1.173, 2.105, 3.423, 5.157, 7.346, 10.02, 13.21",\
                 "0.2146, 0.3038, 0.593, 1.171, 2.103, 3.421, 5.154, 7.352, 10.01, 13.2",\
                 "0.215, 0.3032, 0.594, 1.172, 2.105, 3.425, 5.154, 7.338, 10.01, 13.21",\
                 "0.2144, 0.3026, 0.596, 1.172, 2.108, 3.424, 5.158, 7.34, 10.01, 13.19");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007337, 0.02958, 0.07206, 0.1382, 0.2311, 0.3533, 0.5073, 0.6952, 0.9192");
          values("2.483, 2.55, 2.725, 2.974, 3.291, 3.69, 4.192, 4.813, 5.569, 6.47",\
                 "2.503, 2.569, 2.744, 2.994, 3.311, 3.71, 4.211, 4.833, 5.589, 6.489",\
                 "2.57, 2.637, 2.812, 3.061, 3.378, 3.777, 4.278, 4.9, 5.656, 6.556",\
                 "2.705, 2.771, 2.947, 3.196, 3.513, 3.912, 4.413, 5.035, 5.791, 6.691",\
                 "2.943, 3.01, 3.185, 3.434, 3.751, 4.15, 4.652, 5.274, 6.029, 6.93",\
                 "3.285, 3.351, 3.526, 3.776, 4.093, 4.492, 4.994, 5.615, 6.371, 7.272",\
                 "3.721, 3.787, 3.962, 4.212, 4.529, 4.928, 5.43, 6.052, 6.807, 7.708",\
                 "4.251, 4.318, 4.494, 4.743, 5.06, 5.459, 5.96, 6.582, 7.338, 8.238",\
                 "4.873, 4.94, 5.116, 5.365, 5.681, 6.081, 6.582, 7.204, 7.959, 8.86",\
                 "5.581, 5.648, 5.823, 6.073, 6.39, 6.789, 7.29, 7.912, 8.668, 9.568");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007337, 0.02958, 0.07206, 0.1382, 0.2311, 0.3533, 0.5073, 0.6952, 0.9192");
          values("2.363, 2.436, 2.644, 2.997, 3.534, 4.285, 5.272, 6.513, 8.027, 9.834",\
                 "2.387, 2.459, 2.668, 3.021, 3.558, 4.309, 5.295, 6.537, 8.052, 9.858",\
                 "2.462, 2.534, 2.742, 3.096, 3.633, 4.384, 5.369, 6.611, 8.127, 9.933",\
                 "2.552, 2.624, 2.832, 3.186, 3.723, 4.474, 5.459, 6.701, 8.217, 10.02",\
                 "2.603, 2.676, 2.884, 3.237, 3.775, 4.525, 5.511, 6.753, 8.268, 10.07",\
                 "2.607, 2.679, 2.888, 3.241, 3.778, 4.528, 5.515, 6.756, 8.271, 10.08",\
                 "2.546, 2.618, 2.827, 3.18, 3.718, 4.468, 5.454, 6.696, 8.211, 10.02",\
                 "2.421, 2.494, 2.701, 3.055, 3.592, 4.343, 5.329, 6.569, 8.084, 9.89",\
                 "2.228, 2.301, 2.509, 2.863, 3.4, 4.15, 5.137, 6.377, 7.891, 9.695",\
                 "1.965, 2.037, 2.245, 2.599, 3.136, 3.886, 4.873, 6.114, 7.627, 9.432");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007337, 0.02958, 0.07206, 0.1382, 0.2311, 0.3533, 0.5073, 0.6952, 0.9192");
          values("0.2442, 0.3066, 0.4836, 0.76, 1.166, 1.748, 2.548, 3.577, 4.855, 6.38",\
                 "0.2432, 0.3066, 0.4836, 0.759, 1.166, 1.751, 2.548, 3.58, 4.855, 6.378",\
                 "0.2444, 0.306, 0.4838, 0.7596, 1.165, 1.748, 2.548, 3.578, 4.855, 6.384",\
                 "0.243, 0.3064, 0.4842, 0.7596, 1.165, 1.748, 2.548, 3.575, 4.849, 6.378",\
                 "0.243, 0.306, 0.4838, 0.7592, 1.165, 1.749, 2.546, 3.579, 4.855, 6.382",\
                 "0.2432, 0.3062, 0.4836, 0.7606, 1.167, 1.749, 2.547, 3.578, 4.855, 6.382",\
                 "0.2434, 0.3062, 0.4842, 0.7596, 1.166, 1.749, 2.548, 3.574, 4.854, 6.379",\
                 "0.2434, 0.3068, 0.4836, 0.7606, 1.168, 1.748, 2.544, 3.578, 4.854, 6.384",\
                 "0.244, 0.306, 0.484, 0.76, 1.166, 1.75, 2.544, 3.574, 4.848, 6.378",\
                 "0.244, 0.306, 0.484, 0.758, 1.166, 1.75, 2.548, 3.58, 4.852, 6.372");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007337, 0.02958, 0.07206, 0.1382, 0.2311, 0.3533, 0.5073, 0.6952, 0.9192");
          values("0.2334, 0.3228, 0.611, 1.184, 2.111, 3.429, 5.168, 7.347, 10.01, 13.22",\
                 "0.234, 0.3228, 0.6108, 1.184, 2.112, 3.432, 5.163, 7.341, 10.02, 13.2",\
                 "0.2346, 0.3226, 0.611, 1.184, 2.111, 3.43, 5.161, 7.344, 10.02, 13.2",\
                 "0.234, 0.3226, 0.6108, 1.184, 2.112, 3.432, 5.163, 7.342, 10.02, 13.2",\
                 "0.2344, 0.3226, 0.6106, 1.184, 2.112, 3.432, 5.163, 7.342, 10.02, 13.2",\
                 "0.233, 0.3224, 0.611, 1.183, 2.112, 3.428, 5.164, 7.345, 10.01, 13.2",\
                 "0.2332, 0.3218, 0.61, 1.183, 2.111, 3.427, 5.157, 7.344, 10.01, 13.2",\
                 "0.233, 0.3222, 0.6098, 1.185, 2.111, 3.426, 5.156, 7.345, 10.01, 13.19",\
                 "0.2332, 0.323, 0.6108, 1.183, 2.111, 3.43, 5.157, 7.342, 10.01, 13.2",\
                 "0.2332, 0.3234, 0.612, 1.182, 2.112, 3.432, 5.158, 7.342, 10.01, 13.19");
        }
      }

      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.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007337, 0.02958, 0.07206, 0.1382, 0.2311, 0.3533, 0.5073, 0.6952, 0.9192");
          values("2.663, 2.717, 2.858, 3.064, 3.346, 3.724, 4.216, 4.835, 5.591, 6.491",\
                 "2.688, 2.742, 2.883, 3.089, 3.37, 3.748, 4.241, 4.86, 5.616, 6.516",\
                 "2.767, 2.821, 2.962, 3.168, 3.449, 3.827, 4.32, 4.939, 5.695, 6.594",\
                 "2.855, 2.91, 3.051, 3.257, 3.538, 3.916, 4.409, 5.028, 5.784, 6.685",\
                 "2.897, 2.951, 3.093, 3.298, 3.579, 3.957, 4.45, 5.07, 5.825, 6.726",\
                 "2.881, 2.936, 3.077, 3.283, 3.564, 3.942, 4.434, 5.054, 5.81, 6.71",\
                 "2.798, 2.852, 2.994, 3.199, 3.481, 3.859, 4.351, 4.971, 5.727, 6.626",\
                 "2.638, 2.692, 2.834, 3.04, 3.321, 3.699, 4.192, 4.81, 5.566, 6.465",\
                 "2.398, 2.453, 2.594, 2.8, 3.081, 3.459, 3.951, 4.571, 5.326, 6.227",\
                 "2.071, 2.125, 2.267, 2.472, 2.754, 3.131, 3.624, 4.245, 5.001, 5.9");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007337, 0.02958, 0.07206, 0.1382, 0.2311, 0.3533, 0.5073, 0.6952, 0.9192");
          values("2.598, 2.668, 2.874, 3.226, 3.763, 4.514, 5.5, 6.74, 8.256, 10.06",\
                 "2.612, 2.682, 2.887, 3.24, 3.777, 4.527, 5.513, 6.755, 8.272, 10.07",\
                 "2.694, 2.764, 2.969, 3.322, 3.858, 4.609, 5.595, 6.834, 8.353, 10.15",\
                 "2.899, 2.968, 3.173, 3.526, 4.063, 4.813, 5.8, 7.041, 8.558, 10.36",\
                 "3.24, 3.31, 3.515, 3.868, 4.405, 5.155, 6.141, 7.383, 8.897, 10.7",\
                 "3.692, 3.762, 3.968, 4.32, 4.857, 5.607, 6.593, 7.836, 9.351, 11.16",\
                 "4.231, 4.3, 4.505, 4.859, 5.396, 6.146, 7.13, 8.373, 9.888, 11.7",\
                 "4.869, 4.939, 5.143, 5.497, 6.033, 6.783, 7.769, 9.01, 10.53, 12.33",\
                 "5.613, 5.683, 5.888, 6.241, 6.778, 7.529, 8.513, 9.753, 11.27, 13.08",\
                 "6.466, 6.536, 6.741, 7.094, 7.631, 8.381, 9.366, 10.61, 12.12, 13.92");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007337, 0.02958, 0.07206, 0.1382, 0.2311, 0.3533, 0.5073, 0.6952, 0.9192");
          values("0.1834, 0.2332, 0.378, 0.636, 1.055, 1.67, 2.499, 3.546, 4.835, 6.361",\
                 "0.1834, 0.2336, 0.3786, 0.6358, 1.056, 1.671, 2.498, 3.548, 4.832, 6.358",\
                 "0.1834, 0.233, 0.3784, 0.6364, 1.054, 1.671, 2.498, 3.549, 4.834, 6.362",\
                 "0.1832, 0.233, 0.3792, 0.6364, 1.054, 1.669, 2.5, 3.55, 4.834, 6.358",\
                 "0.183, 0.2332, 0.3784, 0.6354, 1.055, 1.672, 2.499, 3.551, 4.833, 6.358",\
                 "0.1832, 0.2332, 0.379, 0.6366, 1.055, 1.671, 2.5, 3.549, 4.832, 6.358",\
                 "0.1834, 0.2328, 0.3784, 0.6362, 1.056, 1.67, 2.498, 3.546, 4.829, 6.368",\
                 "0.183, 0.2328, 0.3782, 0.6372, 1.055, 1.669, 2.5, 3.543, 4.825, 6.36",\
                 "0.1834, 0.233, 0.3786, 0.636, 1.055, 1.669, 2.496, 3.547, 4.826, 6.352",\
                 "0.1836, 0.2336, 0.378, 0.638, 1.054, 1.672, 2.502, 3.548, 4.828, 6.354");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007337, 0.02958, 0.07206, 0.1382, 0.2311, 0.3533, 0.5073, 0.6952, 0.9192");
          values("0.2138, 0.3024, 0.5924, 1.174, 2.104, 3.424, 5.165, 7.344, 10.01, 13.2",\
                 "0.2138, 0.302, 0.593, 1.172, 2.105, 3.428, 5.159, 7.344, 10.02, 13.2",\
                 "0.2134, 0.3018, 0.5924, 1.172, 2.104, 3.421, 5.16, 7.347, 10.02, 13.21",\
                 "0.2138, 0.3018, 0.5924, 1.173, 2.105, 3.423, 5.159, 7.347, 10.02, 13.2",\
                 "0.2136, 0.3026, 0.5926, 1.171, 2.105, 3.422, 5.159, 7.347, 10.01, 13.2",\
                 "0.2144, 0.3028, 0.5934, 1.171, 2.107, 3.422, 5.159, 7.349, 10.02, 13.21",\
                 "0.214, 0.3022, 0.5938, 1.171, 2.104, 3.422, 5.159, 7.344, 10.01, 13.21",\
                 "0.2146, 0.302, 0.5938, 1.171, 2.103, 3.426, 5.156, 7.348, 10.02, 13.19",\
                 "0.214, 0.302, 0.592, 1.172, 2.106, 3.426, 5.158, 7.342, 10.02, 13.19",\
                 "0.212, 0.302, 0.594, 1.172, 2.106, 3.422, 5.154, 7.34, 10.02, 13.19");
        }
      }

      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.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007337, 0.02958, 0.07206, 0.1382, 0.2311, 0.3533, 0.5073, 0.6952, 0.9192");
          values("1.394, 1.461, 1.637, 1.887, 2.204, 2.603, 3.105, 3.727, 4.482, 5.383",\
                 "1.418, 1.485, 1.66, 1.91, 2.227, 2.626, 3.128, 3.75, 4.505, 5.405",\
                 "1.47, 1.537, 1.713, 1.963, 2.28, 2.679, 3.181, 3.802, 4.558, 5.458",\
                 "1.555, 1.622, 1.798, 2.048, 2.365, 2.764, 3.265, 3.887, 4.643, 5.543",\
                 "1.638, 1.704, 1.881, 2.131, 2.448, 2.847, 3.349, 3.97, 4.726, 5.626",\
                 "1.692, 1.759, 1.936, 2.186, 2.504, 2.903, 3.405, 4.026, 4.782, 5.683",\
                 "1.705, 1.772, 1.949, 2.201, 2.518, 2.918, 3.42, 4.041, 4.797, 5.697",\
                 "1.666, 1.734, 1.912, 2.164, 2.483, 2.883, 3.385, 4.006, 4.762, 5.662",\
                 "1.57, 1.637, 1.817, 2.07, 2.389, 2.79, 3.292, 3.913, 4.669, 5.569",\
                 "1.407, 1.477, 1.658, 1.912, 2.232, 2.634, 3.136, 3.758, 4.514, 5.414");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007337, 0.02958, 0.07206, 0.1382, 0.2311, 0.3533, 0.5073, 0.6952, 0.9192");
          values("1.942, 2.014, 2.223, 2.576, 3.113, 3.864, 4.85, 6.091, 7.605, 9.413",\
                 "1.959, 2.031, 2.24, 2.593, 3.131, 3.882, 4.867, 6.109, 7.624, 9.431",\
                 "2.045, 2.118, 2.326, 2.68, 3.217, 3.967, 4.953, 6.195, 7.71, 9.516",\
                 "2.233, 2.306, 2.514, 2.868, 3.405, 4.155, 5.142, 6.383, 7.898, 9.705",\
                 "2.55, 2.621, 2.83, 3.183, 3.721, 4.471, 5.457, 6.699, 8.214, 10.02",\
                 "2.98, 3.053, 3.262, 3.615, 4.152, 4.902, 5.888, 7.129, 8.644, 10.45",\
                 "3.479, 3.553, 3.761, 4.115, 4.651, 5.402, 6.388, 7.629, 9.142, 10.95",\
                 "4.048, 4.121, 4.331, 4.684, 5.22, 5.97, 6.956, 8.198, 9.712, 11.52",\
                 "4.695, 4.769, 4.979, 5.332, 5.868, 6.619, 7.604, 8.846, 10.36, 12.17",\
                 "5.428, 5.502, 5.713, 6.066, 6.602, 7.352, 8.338, 9.579, 11.09, 12.9");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007337, 0.02958, 0.07206, 0.1382, 0.2311, 0.3533, 0.5073, 0.6952, 0.9192");
          values("0.2452, 0.3084, 0.4864, 0.762, 1.166, 1.75, 2.548, 3.577, 4.855, 6.379",\
                 "0.2454, 0.3082, 0.4864, 0.7618, 1.169, 1.752, 2.548, 3.579, 4.855, 6.382",\
                 "0.2452, 0.3084, 0.4864, 0.7618, 1.168, 1.751, 2.548, 3.579, 4.855, 6.382",\
                 "0.2456, 0.3086, 0.486, 0.7618, 1.167, 1.752, 2.549, 3.58, 4.855, 6.384",\
                 "0.247, 0.31, 0.4866, 0.7618, 1.169, 1.752, 2.546, 3.58, 4.855, 6.375",\
                 "0.249, 0.3114, 0.4882, 0.7636, 1.169, 1.751, 2.545, 3.58, 4.855, 6.384",\
                 "0.2512, 0.314, 0.4916, 0.766, 1.17, 1.752, 2.545, 3.573, 4.849, 6.381",\
                 "0.2542, 0.3174, 0.4944, 0.7676, 1.173, 1.752, 2.546, 3.577, 4.847, 6.371",\
                 "0.258, 0.3216, 0.4998, 0.7732, 1.175, 1.755, 2.55, 3.579, 4.847, 6.374",\
                 "0.2626, 0.3266, 0.5036, 0.7764, 1.179, 1.758, 2.548, 3.578, 4.85, 6.372");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007337, 0.02958, 0.07206, 0.1382, 0.2311, 0.3533, 0.5073, 0.6952, 0.9192");
          values("0.2342, 0.3226, 0.6112, 1.183, 2.111, 3.428, 5.168, 7.347, 10.02, 13.22",\
                 "0.2346, 0.3226, 0.6106, 1.183, 2.112, 3.431, 5.168, 7.346, 10.01, 13.2",\
                 "0.2346, 0.3226, 0.6108, 1.184, 2.112, 3.431, 5.163, 7.342, 10.02, 13.2",\
                 "0.2346, 0.3226, 0.6108, 1.183, 2.111, 3.431, 5.169, 7.342, 10.02, 13.2",\
                 "0.2346, 0.323, 0.611, 1.185, 2.112, 3.431, 5.161, 7.343, 10.02, 13.2",\
                 "0.235, 0.3238, 0.612, 1.183, 2.112, 3.425, 5.166, 7.344, 10.01, 13.2",\
                 "0.238, 0.3264, 0.6132, 1.185, 2.112, 3.43, 5.169, 7.346, 10.02, 13.21",\
                 "0.2408, 0.3296, 0.6166, 1.185, 2.112, 3.427, 5.164, 7.342, 10.01, 13.2",\
                 "0.244, 0.332, 0.62, 1.188, 2.114, 3.428, 5.158, 7.356, 10.01, 13.19",\
                 "0.246, 0.336, 0.622, 1.19, 2.114, 3.428, 5.16, 7.35, 10.02, 13.2");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007337, 0.02958, 0.07206, 0.1382, 0.2311, 0.3533, 0.5073, 0.6952, 0.9192");
          values("2.663, 2.717, 2.858, 3.064, 3.346, 3.724, 4.216, 4.835, 5.591, 6.491",\
                 "2.688, 2.742, 2.883, 3.089, 3.37, 3.748, 4.241, 4.86, 5.616, 6.516",\
                 "2.767, 2.821, 2.962, 3.168, 3.449, 3.827, 4.32, 4.939, 5.695, 6.594",\
                 "2.855, 2.91, 3.051, 3.257, 3.538, 3.916, 4.409, 5.028, 5.784, 6.685",\
                 "2.897, 2.951, 3.093, 3.298, 3.579, 3.957, 4.45, 5.07, 5.825, 6.726",\
                 "2.881, 2.936, 3.077, 3.283, 3.564, 3.942, 4.434, 5.054, 5.81, 6.71",\
                 "2.798, 2.852, 2.994, 3.199, 3.481, 3.859, 4.351, 4.971, 5.727, 6.626",\
                 "2.638, 2.692, 2.834, 3.04, 3.321, 3.699, 4.192, 4.81, 5.566, 6.465",\
                 "2.398, 2.453, 2.594, 2.8, 3.081, 3.459, 3.951, 4.571, 5.326, 6.227",\
                 "2.071, 2.125, 2.267, 2.472, 2.754, 3.131, 3.624, 4.245, 5.001, 5.9");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007337, 0.02958, 0.07206, 0.1382, 0.2311, 0.3533, 0.5073, 0.6952, 0.9192");
          values("2.598, 2.668, 2.874, 3.226, 3.763, 4.514, 5.5, 6.74, 8.256, 10.06",\
                 "2.612, 2.682, 2.887, 3.24, 3.777, 4.527, 5.513, 6.755, 8.272, 10.07",\
                 "2.694, 2.764, 2.969, 3.322, 3.858, 4.609, 5.595, 6.834, 8.353, 10.15",\
                 "2.899, 2.968, 3.173, 3.526, 4.063, 4.813, 5.8, 7.041, 8.558, 10.36",\
                 "3.24, 3.31, 3.515, 3.868, 4.405, 5.155, 6.141, 7.383, 8.897, 10.7",\
                 "3.692, 3.762, 3.968, 4.32, 4.857, 5.607, 6.593, 7.836, 9.351, 11.16",\
                 "4.231, 4.3, 4.505, 4.859, 5.396, 6.146, 7.13, 8.373, 9.888, 11.7",\
                 "4.869, 4.939, 5.143, 5.497, 6.033, 6.783, 7.769, 9.01, 10.53, 12.33",\
                 "5.613, 5.683, 5.888, 6.241, 6.778, 7.529, 8.513, 9.753, 11.27, 13.08",\
                 "6.466, 6.536, 6.741, 7.094, 7.631, 8.381, 9.366, 10.61, 12.12, 13.92");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007337, 0.02958, 0.07206, 0.1382, 0.2311, 0.3533, 0.5073, 0.6952, 0.9192");
          values("0.2452, 0.3084, 0.4864, 0.762, 1.166, 1.75, 2.548, 3.577, 4.855, 6.379",\
                 "0.2454, 0.3082, 0.4864, 0.7618, 1.169, 1.752, 2.548, 3.579, 4.855, 6.382",\
                 "0.2452, 0.3084, 0.4864, 0.7618, 1.168, 1.751, 2.548, 3.579, 4.855, 6.382",\
                 "0.2456, 0.3086, 0.486, 0.7618, 1.167, 1.752, 2.549, 3.58, 4.855, 6.384",\
                 "0.247, 0.31, 0.4866, 0.7618, 1.169, 1.752, 2.546, 3.58, 4.855, 6.375",\
                 "0.249, 0.3114, 0.4882, 0.7636, 1.169, 1.751, 2.545, 3.58, 4.855, 6.384",\
                 "0.2512, 0.314, 0.4916, 0.766, 1.17, 1.752, 2.545, 3.573, 4.849, 6.381",\
                 "0.2542, 0.3174, 0.4944, 0.7676, 1.173, 1.752, 2.546, 3.577, 4.847, 6.371",\
                 "0.258, 0.3216, 0.4998, 0.7732, 1.175, 1.755, 2.55, 3.579, 4.847, 6.374",\
                 "0.2626, 0.3266, 0.5036, 0.7764, 1.179, 1.758, 2.548, 3.578, 4.85, 6.372");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007337, 0.02958, 0.07206, 0.1382, 0.2311, 0.3533, 0.5073, 0.6952, 0.9192");
          values("0.2342, 0.3226, 0.6112, 1.183, 2.111, 3.428, 5.168, 7.347, 10.02, 13.22",\
                 "0.2346, 0.3226, 0.6106, 1.183, 2.112, 3.431, 5.168, 7.346, 10.01, 13.2",\
                 "0.2346, 0.3226, 0.6108, 1.184, 2.112, 3.431, 5.163, 7.342, 10.02, 13.2",\
                 "0.2346, 0.3226, 0.6108, 1.183, 2.111, 3.431, 5.169, 7.342, 10.02, 13.2",\
                 "0.2346, 0.323, 0.611, 1.185, 2.112, 3.431, 5.161, 7.343, 10.02, 13.2",\
                 "0.235, 0.3238, 0.612, 1.183, 2.112, 3.425, 5.166, 7.344, 10.01, 13.2",\
                 "0.238, 0.3264, 0.6132, 1.185, 2.112, 3.43, 5.169, 7.346, 10.02, 13.21",\
                 "0.2408, 0.3296, 0.6166, 1.185, 2.112, 3.427, 5.164, 7.342, 10.01, 13.2",\
                 "0.244, 0.332, 0.62, 1.188, 2.114, 3.428, 5.158, 7.356, 10.01, 13.19",\
                 "0.246, 0.336, 0.622, 1.19, 2.114, 3.428, 5.16, 7.35, 10.02, 13.2");
        }
      }

      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.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007337, 0.02958, 0.07206, 0.1382, 0.2311, 0.3533, 0.5073, 0.6952, 0.9192");
          values("2.401, 2.468, 2.644, 2.893, 3.21, 3.609, 4.11, 4.732, 5.488, 6.388",\
                 "2.415, 2.482, 2.657, 2.906, 3.223, 3.622, 4.123, 4.745, 5.501, 6.402",\
                 "2.497, 2.563, 2.739, 2.988, 3.305, 3.704, 4.205, 4.827, 5.583, 6.483",\
                 "2.701, 2.768, 2.943, 3.193, 3.51, 3.908, 4.41, 5.032, 5.788, 6.688",\
                 "3.043, 3.109, 3.285, 3.534, 3.851, 4.25, 4.752, 5.373, 6.129, 7.029",\
                 "3.494, 3.56, 3.736, 3.986, 4.302, 4.701, 5.203, 5.824, 6.58, 7.48",\
                 "4.03, 4.098, 4.273, 4.522, 4.839, 5.238, 5.74, 6.362, 7.117, 8.017",\
                 "4.666, 4.732, 4.908, 5.157, 5.474, 5.873, 6.374, 6.996, 7.752, 8.653",\
                 "5.409, 5.476, 5.65, 5.901, 6.217, 6.616, 7.118, 7.739, 8.495, 9.395",\
                 "6.259, 6.326, 6.501, 6.75, 7.067, 7.466, 7.968, 8.589, 9.345, 10.24");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007337, 0.02958, 0.07206, 0.1382, 0.2311, 0.3533, 0.5073, 0.6952, 0.9192");
          values("2.219, 2.291, 2.499, 2.853, 3.39, 4.141, 5.127, 6.368, 7.884, 9.691",\
                 "2.244, 2.316, 2.524, 2.878, 3.415, 4.166, 5.151, 6.393, 7.909, 9.715",\
                 "2.323, 2.395, 2.603, 2.957, 3.494, 4.245, 5.231, 6.472, 7.986, 9.794",\
                 "2.412, 2.484, 2.692, 3.046, 3.583, 4.334, 5.32, 6.562, 8.077, 9.883",\
                 "2.453, 2.525, 2.734, 3.087, 3.624, 4.375, 5.36, 6.603, 8.118, 9.924",\
                 "2.438, 2.509, 2.718, 3.071, 3.608, 4.359, 5.345, 6.587, 8.101, 9.908",\
                 "2.354, 2.426, 2.634, 2.988, 3.525, 4.276, 5.262, 6.504, 8.017, 9.826",\
                 "2.194, 2.266, 2.475, 2.828, 3.366, 4.116, 5.101, 6.342, 7.857, 9.665",\
                 "1.954, 2.026, 2.235, 2.588, 3.125, 3.876, 4.862, 6.103, 7.616, 9.421",\
                 "1.628, 1.7, 1.908, 2.261, 2.8, 3.55, 4.536, 5.776, 7.29, 9.095");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007337, 0.02958, 0.07206, 0.1382, 0.2311, 0.3533, 0.5073, 0.6952, 0.9192");
          values("0.2438, 0.3064, 0.4842, 0.7592, 1.166, 1.751, 2.547, 3.579, 4.852, 6.378",\
                 "0.243, 0.3062, 0.4832, 0.7592, 1.166, 1.751, 2.546, 3.578, 4.855, 6.382",\
                 "0.2436, 0.306, 0.4834, 0.7588, 1.166, 1.749, 2.544, 3.579, 4.854, 6.379",\
                 "0.2434, 0.306, 0.484, 0.7592, 1.165, 1.749, 2.547, 3.579, 4.855, 6.377",\
                 "0.2436, 0.3062, 0.4836, 0.76, 1.166, 1.749, 2.547, 3.575, 4.855, 6.384",\
                 "0.243, 0.3062, 0.4838, 0.7596, 1.166, 1.748, 2.548, 3.579, 4.849, 6.376",\
                 "0.2432, 0.3066, 0.4838, 0.7596, 1.167, 1.751, 2.548, 3.576, 4.856, 6.375",\
                 "0.2434, 0.3064, 0.4844, 0.7592, 1.165, 1.75, 2.544, 3.574, 4.852, 6.382",\
                 "0.242, 0.306, 0.484, 0.76, 1.166, 1.748, 2.544, 3.576, 4.85, 6.38",\
                 "0.242, 0.308, 0.484, 0.76, 1.168, 1.752, 2.546, 3.578, 4.848, 6.372");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007337, 0.02958, 0.07206, 0.1382, 0.2311, 0.3533, 0.5073, 0.6952, 0.9192");
          values("0.2326, 0.322, 0.6102, 1.182, 2.111, 3.424, 5.163, 7.346, 10.01, 13.22",\
                 "0.2336, 0.321, 0.61, 1.184, 2.111, 3.432, 5.161, 7.343, 10.02, 13.2",\
                 "0.2334, 0.3214, 0.61, 1.184, 2.112, 3.432, 5.169, 7.345, 10.02, 13.2",\
                 "0.2334, 0.3214, 0.6106, 1.184, 2.111, 3.432, 5.168, 7.342, 10.02, 13.2",\
                 "0.2336, 0.3216, 0.6102, 1.184, 2.11, 3.43, 5.161, 7.343, 10.02, 13.2",\
                 "0.2326, 0.3212, 0.6096, 1.182, 2.112, 3.43, 5.162, 7.347, 10.01, 13.22",\
                 "0.2318, 0.3212, 0.6098, 1.182, 2.111, 3.429, 5.168, 7.346, 10.02, 13.22",\
                 "0.2326, 0.3216, 0.6096, 1.184, 2.111, 3.425, 5.161, 7.345, 10.02, 13.2",\
                 "0.2326, 0.3222, 0.6106, 1.183, 2.11, 3.427, 5.16, 7.342, 10.02, 13.22",\
                 "0.233, 0.3228, 0.6106, 1.183, 2.11, 3.43, 5.158, 7.344, 10.01, 13.19");
        }
      }

      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.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007337, 0.02958, 0.07206, 0.1382, 0.2311, 0.3533, 0.5073, 0.6952, 0.9192");
          values("2.385, 2.439, 2.58, 2.786, 3.067, 3.445, 3.938, 4.557, 5.312, 6.212",\
                 "2.402, 2.456, 2.598, 2.803, 3.085, 3.463, 3.955, 4.574, 5.331, 6.23",\
                 "2.488, 2.542, 2.684, 2.89, 3.171, 3.549, 4.041, 4.661, 5.416, 6.317",\
                 "2.676, 2.73, 2.871, 3.077, 3.358, 3.736, 4.229, 4.848, 5.604, 6.504",\
                 "2.993, 3.047, 3.188, 3.394, 3.675, 4.053, 4.546, 5.165, 5.921, 6.821",\
                 "3.426, 3.48, 3.622, 3.828, 4.109, 4.487, 4.979, 5.598, 6.354, 7.255",\
                 "3.927, 3.982, 4.124, 4.329, 4.61, 4.988, 5.481, 6.1, 6.856, 7.756",\
                 "4.498, 4.552, 4.694, 4.899, 5.182, 5.559, 6.051, 6.671, 7.427, 8.327",\
                 "5.147, 5.201, 5.343, 5.549, 5.831, 6.208, 6.7, 7.32, 8.075, 8.975",\
                 "5.882, 5.937, 6.077, 6.284, 6.564, 6.943, 7.435, 8.054, 8.81, 9.711");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007337, 0.02958, 0.07206, 0.1382, 0.2311, 0.3533, 0.5073, 0.6952, 0.9192");
          values("1.598, 1.668, 1.873, 2.226, 2.763, 3.513, 4.501, 5.744, 7.262, 9.07",\
                 "1.622, 1.692, 1.897, 2.249, 2.787, 3.537, 4.524, 5.765, 7.278, 9.085",\
                 "1.674, 1.744, 1.949, 2.302, 2.839, 3.59, 4.575, 5.82, 7.337, 9.138",\
                 "1.763, 1.833, 2.038, 2.391, 2.927, 3.677, 4.666, 5.907, 7.425, 9.229",\
                 "1.856, 1.925, 2.131, 2.483, 3.02, 3.77, 4.758, 5.998, 7.516, 9.321",\
                 "1.921, 1.99, 2.195, 2.548, 3.085, 3.835, 4.822, 6.066, 7.583, 9.39",\
                 "1.945, 2.015, 2.22, 2.573, 3.11, 3.859, 4.844, 6.086, 7.602, 9.405",\
                 "1.918, 1.988, 2.193, 2.546, 3.083, 3.833, 4.818, 6.058, 7.573, 9.377",\
                 "1.831, 1.901, 2.107, 2.459, 2.996, 3.747, 4.732, 5.972, 7.486, 9.289",\
                 "1.678, 1.748, 1.954, 2.307, 2.843, 3.593, 4.579, 5.819, 7.332, 9.136");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007337, 0.02958, 0.07206, 0.1382, 0.2311, 0.3533, 0.5073, 0.6952, 0.9192");
          values("0.183, 0.2332, 0.378, 0.6356, 1.056, 1.67, 2.499, 3.551, 4.83, 6.362",\
                 "0.1832, 0.2334, 0.3794, 0.6362, 1.057, 1.672, 2.5, 3.549, 4.835, 6.363",\
                 "0.1832, 0.2334, 0.3782, 0.6364, 1.056, 1.671, 2.499, 3.551, 4.833, 6.36",\
                 "0.1832, 0.2332, 0.3786, 0.6362, 1.055, 1.671, 2.5, 3.55, 4.828, 6.358",\
                 "0.1834, 0.2338, 0.3792, 0.6364, 1.055, 1.671, 2.499, 3.549, 4.835, 6.358",\
                 "0.183, 0.2334, 0.3786, 0.6366, 1.056, 1.671, 2.5, 3.548, 4.83, 6.358",\
                 "0.1832, 0.2332, 0.3794, 0.6362, 1.055, 1.67, 2.5, 3.55, 4.827, 6.358",\
                 "0.1828, 0.233, 0.3784, 0.6364, 1.055, 1.671, 2.497, 3.544, 4.834, 6.364",\
                 "0.182, 0.234, 0.38, 0.636, 1.054, 1.67, 2.498, 3.544, 4.826, 6.356",\
                 "0.182, 0.232, 0.378, 0.636, 1.054, 1.67, 2.498, 3.546, 4.826, 6.356");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007337, 0.02958, 0.07206, 0.1382, 0.2311, 0.3533, 0.5073, 0.6952, 0.9192");
          values("0.2138, 0.3026, 0.5926, 1.172, 2.106, 3.423, 5.161, 7.353, 10.02, 13.22",\
                 "0.2146, 0.3022, 0.5944, 1.173, 2.105, 3.424, 5.164, 7.353, 10.02, 13.22",\
                 "0.215, 0.3024, 0.5926, 1.173, 2.107, 3.427, 5.161, 7.351, 10.03, 13.21",\
                 "0.215, 0.302, 0.5932, 1.172, 2.108, 3.423, 5.161, 7.352, 10.03, 13.21",\
                 "0.2138, 0.3024, 0.5932, 1.173, 2.109, 3.426, 5.159, 7.35, 10.03, 13.2",\
                 "0.214, 0.3022, 0.593, 1.172, 2.106, 3.423, 5.161, 7.347, 10.02, 13.21",\
                 "0.214, 0.3026, 0.593, 1.173, 2.105, 3.422, 5.153, 7.34, 10.01, 13.2",\
                 "0.2146, 0.304, 0.594, 1.173, 2.104, 3.426, 5.156, 7.35, 10.01, 13.2",\
                 "0.215, 0.3032, 0.5932, 1.171, 2.107, 3.427, 5.163, 7.34, 10.01, 13.21",\
                 "0.2154, 0.3038, 0.5938, 1.173, 2.104, 3.426, 5.154, 7.346, 10.01, 13.19");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007337, 0.02958, 0.07206, 0.1382, 0.2311, 0.3533, 0.5073, 0.6952, 0.9192");
          values("2.401, 2.468, 2.644, 2.893, 3.21, 3.609, 4.11, 4.732, 5.488, 6.388",\
                 "2.415, 2.482, 2.657, 2.906, 3.223, 3.622, 4.123, 4.745, 5.501, 6.402",\
                 "2.497, 2.563, 2.739, 2.988, 3.305, 3.704, 4.205, 4.827, 5.583, 6.483",\
                 "2.701, 2.768, 2.943, 3.193, 3.51, 3.908, 4.41, 5.032, 5.788, 6.688",\
                 "3.043, 3.109, 3.285, 3.534, 3.851, 4.25, 4.752, 5.373, 6.129, 7.029",\
                 "3.494, 3.56, 3.736, 3.986, 4.302, 4.701, 5.203, 5.824, 6.58, 7.48",\
                 "4.03, 4.098, 4.273, 4.522, 4.839, 5.238, 5.74, 6.362, 7.117, 8.017",\
                 "4.666, 4.732, 4.908, 5.157, 5.474, 5.873, 6.374, 6.996, 7.752, 8.653",\
                 "5.409, 5.476, 5.65, 5.901, 6.217, 6.616, 7.118, 7.739, 8.495, 9.395",\
                 "6.259, 6.326, 6.501, 6.75, 7.067, 7.466, 7.968, 8.589, 9.345, 10.24");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007337, 0.02958, 0.07206, 0.1382, 0.2311, 0.3533, 0.5073, 0.6952, 0.9192");
          values("2.219, 2.291, 2.499, 2.853, 3.39, 4.141, 5.127, 6.368, 7.884, 9.691",\
                 "2.244, 2.316, 2.524, 2.878, 3.415, 4.166, 5.151, 6.393, 7.909, 9.715",\
                 "2.323, 2.395, 2.603, 2.957, 3.494, 4.245, 5.231, 6.472, 7.986, 9.794",\
                 "2.412, 2.484, 2.692, 3.046, 3.583, 4.334, 5.32, 6.562, 8.077, 9.883",\
                 "2.453, 2.525, 2.734, 3.087, 3.624, 4.375, 5.36, 6.603, 8.118, 9.924",\
                 "2.438, 2.509, 2.718, 3.071, 3.608, 4.359, 5.345, 6.587, 8.101, 9.908",\
                 "2.354, 2.426, 2.634, 2.988, 3.525, 4.276, 5.262, 6.504, 8.017, 9.826",\
                 "2.194, 2.266, 2.475, 2.828, 3.366, 4.116, 5.101, 6.342, 7.857, 9.665",\
                 "1.954, 2.026, 2.235, 2.588, 3.125, 3.876, 4.862, 6.103, 7.616, 9.421",\
                 "1.628, 1.7, 1.908, 2.261, 2.8, 3.55, 4.536, 5.776, 7.29, 9.095");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007337, 0.02958, 0.07206, 0.1382, 0.2311, 0.3533, 0.5073, 0.6952, 0.9192");
          values("0.2438, 0.3064, 0.4842, 0.7592, 1.166, 1.751, 2.547, 3.579, 4.852, 6.378",\
                 "0.243, 0.3062, 0.4832, 0.7592, 1.166, 1.751, 2.546, 3.578, 4.855, 6.382",\
                 "0.2436, 0.306, 0.4834, 0.7588, 1.166, 1.749, 2.544, 3.579, 4.854, 6.379",\
                 "0.2434, 0.306, 0.484, 0.7592, 1.165, 1.749, 2.547, 3.579, 4.855, 6.377",\
                 "0.2436, 0.3062, 0.4836, 0.76, 1.166, 1.749, 2.547, 3.575, 4.855, 6.384",\
                 "0.243, 0.3062, 0.4838, 0.7596, 1.166, 1.748, 2.548, 3.579, 4.849, 6.376",\
                 "0.2432, 0.3066, 0.4838, 0.7596, 1.167, 1.751, 2.548, 3.576, 4.856, 6.375",\
                 "0.2434, 0.3064, 0.4844, 0.7592, 1.165, 1.75, 2.544, 3.574, 4.852, 6.382",\
                 "0.242, 0.306, 0.484, 0.76, 1.166, 1.748, 2.544, 3.576, 4.85, 6.38",\
                 "0.242, 0.308, 0.484, 0.76, 1.168, 1.752, 2.546, 3.578, 4.848, 6.372");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007337, 0.02958, 0.07206, 0.1382, 0.2311, 0.3533, 0.5073, 0.6952, 0.9192");
          values("0.2138, 0.3026, 0.5926, 1.172, 2.106, 3.423, 5.161, 7.353, 10.02, 13.22",\
                 "0.2146, 0.3022, 0.5944, 1.173, 2.105, 3.424, 5.164, 7.353, 10.02, 13.22",\
                 "0.215, 0.3024, 0.5926, 1.173, 2.107, 3.427, 5.161, 7.351, 10.03, 13.21",\
                 "0.215, 0.302, 0.5932, 1.172, 2.108, 3.423, 5.161, 7.352, 10.03, 13.21",\
                 "0.2138, 0.3024, 0.5932, 1.173, 2.109, 3.426, 5.159, 7.35, 10.03, 13.2",\
                 "0.214, 0.3022, 0.593, 1.172, 2.106, 3.423, 5.161, 7.347, 10.02, 13.21",\
                 "0.214, 0.3026, 0.593, 1.173, 2.105, 3.422, 5.153, 7.34, 10.01, 13.2",\
                 "0.2146, 0.304, 0.594, 1.173, 2.104, 3.426, 5.156, 7.35, 10.01, 13.2",\
                 "0.215, 0.3032, 0.5932, 1.171, 2.107, 3.427, 5.163, 7.34, 10.01, 13.21",\
                 "0.2154, 0.3038, 0.5938, 1.173, 2.104, 3.426, 5.154, 7.346, 10.01, 13.19");
        }
      }

      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.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007337, 0.02958, 0.07206, 0.1382, 0.2311, 0.3533, 0.5073, 0.6952, 0.9192");
          values("1.037, 1.092, 1.234, 1.441, 1.722, 2.1, 2.592, 3.211, 3.967, 4.867",\
                 "1.057, 1.112, 1.255, 1.461, 1.742, 2.12, 2.612, 3.231, 3.987, 4.887",\
                 "1.1, 1.155, 1.297, 1.503, 1.785, 2.162, 2.655, 3.274, 4.03, 4.93",\
                 "1.164, 1.219, 1.362, 1.568, 1.849, 2.227, 2.719, 3.339, 4.094, 4.994",\
                 "1.235, 1.289, 1.431, 1.637, 1.918, 2.296, 2.788, 3.408, 4.162, 5.063",\
                 "1.286, 1.342, 1.484, 1.69, 1.972, 2.348, 2.839, 3.458, 4.214, 5.114",\
                 "1.31, 1.365, 1.509, 1.716, 1.997, 2.375, 2.865, 3.484, 4.238, 5.137",\
                 "1.296, 1.352, 1.497, 1.705, 1.987, 2.364, 2.856, 3.475, 4.23, 5.128",\
                 "1.238, 1.295, 1.441, 1.651, 1.934, 2.314, 2.807, 3.427, 4.182, 5.082",\
                 "1.133, 1.191, 1.338, 1.548, 1.835, 2.218, 2.715, 3.338, 4.093, 4.993");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007337, 0.02958, 0.07206, 0.1382, 0.2311, 0.3533, 0.5073, 0.6952, 0.9192");
          values("1.099, 1.169, 1.376, 1.73, 2.267, 3.019, 4.005, 5.247, 6.762, 8.569",\
                 "1.125, 1.195, 1.402, 1.756, 2.294, 3.045, 4.031, 5.272, 6.789, 8.595",\
                 "1.233, 1.304, 1.51, 1.864, 2.402, 3.153, 4.139, 5.381, 6.897, 8.703",\
                 "1.445, 1.515, 1.722, 2.076, 2.613, 3.365, 4.351, 5.593, 7.108, 8.915",\
                 "1.723, 1.794, 2.001, 2.354, 2.892, 3.643, 4.63, 5.87, 7.386, 9.193",\
                 "2.039, 2.11, 2.318, 2.672, 3.21, 3.961, 4.947, 6.189, 7.705, 9.508",\
                 "2.405, 2.477, 2.684, 3.039, 3.576, 4.327, 5.314, 6.555, 8.071, 9.873",\
                 "2.824, 2.896, 3.105, 3.459, 3.996, 4.747, 5.733, 6.974, 8.49, 10.3",\
                 "3.299, 3.371, 3.582, 3.935, 4.473, 5.223, 6.21, 7.451, 8.964, 10.77",\
                 "3.83, 3.903, 4.114, 4.469, 5.006, 5.756, 6.742, 7.982, 9.497, 11.3");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007337, 0.02958, 0.07206, 0.1382, 0.2311, 0.3533, 0.5073, 0.6952, 0.9192");
          values("0.1866, 0.2364, 0.3806, 0.6362, 1.055, 1.669, 2.498, 3.55, 4.834, 6.365",\
                 "0.187, 0.2368, 0.3808, 0.638, 1.056, 1.671, 2.499, 3.549, 4.834, 6.365",\
                 "0.1866, 0.2366, 0.3808, 0.6366, 1.056, 1.67, 2.498, 3.549, 4.834, 6.365",\
                 "0.187, 0.2374, 0.381, 0.6382, 1.056, 1.67, 2.499, 3.55, 4.833, 6.362",\
                 "0.1844, 0.2348, 0.3786, 0.6348, 1.056, 1.67, 2.498, 3.55, 4.831, 6.363",\
                 "0.1854, 0.2358, 0.3816, 0.6358, 1.053, 1.665, 2.493, 3.544, 4.833, 6.364",\
                 "0.189, 0.2396, 0.3844, 0.6388, 1.054, 1.666, 2.491, 3.537, 4.823, 6.357",\
                 "0.1938, 0.244, 0.3892, 0.642, 1.057, 1.67, 2.493, 3.541, 4.817, 6.343",\
                 "0.1994, 0.2496, 0.3934, 0.6456, 1.063, 1.677, 2.501, 3.542, 4.821, 6.351",\
                 "0.2054, 0.2548, 0.3978, 0.652, 1.07, 1.688, 2.516, 3.554, 4.83, 6.35");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007337, 0.02958, 0.07206, 0.1382, 0.2311, 0.3533, 0.5073, 0.6952, 0.9192");
          values("0.2188, 0.3076, 0.5994, 1.178, 2.108, 3.424, 5.162, 7.356, 10.02, 13.21",\
                 "0.2192, 0.3074, 0.5992, 1.178, 2.112, 3.426, 5.162, 7.355, 10.02, 13.2",\
                 "0.2192, 0.3076, 0.5992, 1.178, 2.109, 3.427, 5.161, 7.356, 10.02, 13.2",\
                 "0.219, 0.3074, 0.5998, 1.178, 2.107, 3.425, 5.16, 7.348, 10.02, 13.2",\
                 "0.2192, 0.3084, 0.5998, 1.177, 2.107, 3.426, 5.159, 7.348, 10.01, 13.2",\
                 "0.2218, 0.3096, 0.6002, 1.177, 2.108, 3.424, 5.161, 7.344, 10.03, 13.2",\
                 "0.223, 0.3118, 0.6018, 1.177, 2.109, 3.425, 5.158, 7.347, 10.02, 13.2",\
                 "0.2252, 0.3144, 0.6056, 1.177, 2.108, 3.424, 5.159, 7.356, 10.01, 13.19",\
                 "0.2288, 0.3178, 0.607, 1.18, 2.108, 3.424, 5.166, 7.344, 10.01, 13.19",\
                 "0.232, 0.322, 0.61, 1.18, 2.106, 3.426, 5.162, 7.344, 10.01, 13.21");
        }
      }

      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.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007337, 0.02958, 0.07206, 0.1382, 0.2311, 0.3533, 0.5073, 0.6952, 0.9192");
          values("1.037, 1.092, 1.234, 1.44, 1.722, 2.099, 2.592, 3.211, 3.966, 4.867",\
                 "1.057, 1.112, 1.255, 1.461, 1.742, 2.12, 2.612, 3.231, 3.987, 4.887",\
                 "1.099, 1.155, 1.297, 1.503, 1.785, 2.162, 2.655, 3.274, 4.03, 4.93",\
                 "1.164, 1.219, 1.362, 1.568, 1.849, 2.227, 2.719, 3.339, 4.094, 4.994",\
                 "1.235, 1.289, 1.431, 1.637, 1.918, 2.296, 2.788, 3.408, 4.163, 5.063",\
                 "1.286, 1.342, 1.484, 1.69, 1.972, 2.348, 2.839, 3.458, 4.214, 5.114",\
                 "1.31, 1.365, 1.509, 1.716, 1.997, 2.375, 2.865, 3.484, 4.238, 5.137",\
                 "1.295, 1.352, 1.497, 1.705, 1.987, 2.364, 2.857, 3.475, 4.229, 5.127",\
                 "1.238, 1.295, 1.442, 1.651, 1.934, 2.314, 2.808, 3.427, 4.182, 5.081",\
                 "1.133, 1.191, 1.338, 1.549, 1.835, 2.218, 2.715, 3.337, 4.093, 4.993");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007337, 0.02958, 0.07206, 0.1382, 0.2311, 0.3533, 0.5073, 0.6952, 0.9192");
          values("1.099, 1.169, 1.376, 1.73, 2.267, 3.018, 4.004, 5.247, 6.762, 8.569",\
                 "1.124, 1.195, 1.402, 1.756, 2.294, 3.045, 4.031, 5.272, 6.789, 8.595",\
                 "1.233, 1.304, 1.51, 1.864, 2.402, 3.153, 4.139, 5.381, 6.897, 8.703",\
                 "1.445, 1.515, 1.722, 2.076, 2.613, 3.365, 4.351, 5.593, 7.108, 8.915",\
                 "1.723, 1.794, 2, 2.354, 2.892, 3.643, 4.63, 5.87, 7.385, 9.192",\
                 "2.04, 2.111, 2.318, 2.672, 3.21, 3.961, 4.947, 6.189, 7.704, 9.506",\
                 "2.405, 2.477, 2.684, 3.039, 3.576, 4.327, 5.313, 6.556, 8.07, 9.877",\
                 "2.824, 2.896, 3.105, 3.459, 3.997, 4.747, 5.732, 6.974, 8.489, 10.3",\
                 "3.299, 3.371, 3.582, 3.935, 4.473, 5.223, 6.21, 7.451, 8.965, 10.77",\
                 "3.83, 3.903, 4.114, 4.468, 5.006, 5.756, 6.743, 7.982, 9.497, 11.3");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007337, 0.02958, 0.07206, 0.1382, 0.2311, 0.3533, 0.5073, 0.6952, 0.9192");
          values("0.1866, 0.2364, 0.3808, 0.6372, 1.055, 1.671, 2.499, 3.55, 4.829, 6.36",\
                 "0.187, 0.2366, 0.3806, 0.638, 1.056, 1.671, 2.499, 3.549, 4.834, 6.365",\
                 "0.187, 0.2368, 0.381, 0.6364, 1.056, 1.67, 2.498, 3.549, 4.834, 6.365",\
                 "0.1872, 0.2374, 0.3808, 0.6382, 1.056, 1.67, 2.499, 3.55, 4.833, 6.362",\
                 "0.1836, 0.2344, 0.3786, 0.6356, 1.056, 1.67, 2.497, 3.55, 4.834, 6.364",\
                 "0.1854, 0.2358, 0.3816, 0.6358, 1.053, 1.665, 2.493, 3.545, 4.833, 6.358",\
                 "0.189, 0.2396, 0.3842, 0.6386, 1.056, 1.667, 2.491, 3.537, 4.822, 6.357",\
                 "0.194, 0.244, 0.3892, 0.642, 1.057, 1.67, 2.492, 3.544, 4.819, 6.345",\
                 "0.1994, 0.2496, 0.3928, 0.6456, 1.062, 1.675, 2.501, 3.542, 4.819, 6.344",\
                 "0.2052, 0.2548, 0.398, 0.6514, 1.07, 1.688, 2.516, 3.554, 4.83, 6.35");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007337, 0.02958, 0.07206, 0.1382, 0.2311, 0.3533, 0.5073, 0.6952, 0.9192");
          values("0.2184, 0.3076, 0.5996, 1.178, 2.107, 3.426, 5.16, 7.349, 10.02, 13.2",\
                 "0.2192, 0.3072, 0.5996, 1.178, 2.112, 3.426, 5.162, 7.355, 10.02, 13.2",\
                 "0.2196, 0.3072, 0.5994, 1.178, 2.109, 3.426, 5.161, 7.356, 10.02, 13.21",\
                 "0.2194, 0.3072, 0.5992, 1.177, 2.107, 3.425, 5.158, 7.358, 10.02, 13.2",\
                 "0.2202, 0.3086, 0.5996, 1.177, 2.108, 3.426, 5.159, 7.348, 10.01, 13.2",\
                 "0.2204, 0.31, 0.601, 1.177, 2.108, 3.424, 5.161, 7.346, 10.02, 13.2",\
                 "0.2234, 0.3114, 0.6036, 1.177, 2.108, 3.424, 5.159, 7.349, 10.02, 13.21",\
                 "0.2252, 0.3142, 0.6056, 1.178, 2.108, 3.423, 5.16, 7.352, 10.02, 13.2",\
                 "0.2282, 0.3184, 0.6072, 1.179, 2.112, 3.426, 5.164, 7.344, 10.02, 13.19",\
                 "0.232, 0.322, 0.61, 1.182, 2.106, 3.426, 5.162, 7.35, 10.01, 13.2");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007337, 0.02958, 0.07206, 0.1382, 0.2311, 0.3533, 0.5073, 0.6952, 0.9192");
          values("1.037, 1.092, 1.234, 1.44, 1.722, 2.099, 2.592, 3.211, 3.966, 4.867",\
                 "1.057, 1.112, 1.255, 1.461, 1.742, 2.12, 2.612, 3.231, 3.987, 4.887",\
                 "1.099, 1.155, 1.297, 1.503, 1.785, 2.162, 2.655, 3.274, 4.03, 4.93",\
                 "1.164, 1.219, 1.362, 1.568, 1.849, 2.227, 2.719, 3.339, 4.094, 4.994",\
                 "1.235, 1.289, 1.431, 1.637, 1.918, 2.296, 2.788, 3.408, 4.163, 5.063",\
                 "1.286, 1.342, 1.484, 1.69, 1.972, 2.348, 2.839, 3.458, 4.214, 5.114",\
                 "1.31, 1.365, 1.509, 1.716, 1.997, 2.375, 2.865, 3.484, 4.238, 5.137",\
                 "1.295, 1.352, 1.497, 1.705, 1.987, 2.364, 2.857, 3.475, 4.229, 5.127",\
                 "1.238, 1.295, 1.442, 1.651, 1.934, 2.314, 2.808, 3.427, 4.182, 5.081",\
                 "1.133, 1.191, 1.338, 1.549, 1.835, 2.218, 2.715, 3.337, 4.093, 4.993");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007337, 0.02958, 0.07206, 0.1382, 0.2311, 0.3533, 0.5073, 0.6952, 0.9192");
          values("1.099, 1.169, 1.376, 1.73, 2.267, 3.018, 4.004, 5.247, 6.762, 8.569",\
                 "1.124, 1.195, 1.402, 1.756, 2.294, 3.045, 4.031, 5.272, 6.789, 8.595",\
                 "1.233, 1.304, 1.51, 1.864, 2.402, 3.153, 4.139, 5.381, 6.897, 8.703",\
                 "1.445, 1.515, 1.722, 2.076, 2.613, 3.365, 4.351, 5.593, 7.108, 8.915",\
                 "1.723, 1.794, 2, 2.354, 2.892, 3.643, 4.63, 5.87, 7.385, 9.192",\
                 "2.04, 2.111, 2.318, 2.672, 3.21, 3.961, 4.947, 6.189, 7.704, 9.506",\
                 "2.405, 2.477, 2.684, 3.039, 3.576, 4.327, 5.313, 6.556, 8.07, 9.877",\
                 "2.824, 2.896, 3.105, 3.459, 3.997, 4.747, 5.732, 6.974, 8.489, 10.3",\
                 "3.299, 3.371, 3.582, 3.935, 4.473, 5.223, 6.21, 7.451, 8.965, 10.77",\
                 "3.83, 3.903, 4.114, 4.468, 5.006, 5.756, 6.743, 7.982, 9.497, 11.3");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007337, 0.02958, 0.07206, 0.1382, 0.2311, 0.3533, 0.5073, 0.6952, 0.9192");
          values("0.1866, 0.2364, 0.3806, 0.6362, 1.055, 1.669, 2.498, 3.55, 4.834, 6.365",\
                 "0.187, 0.2368, 0.3808, 0.638, 1.056, 1.671, 2.499, 3.549, 4.834, 6.365",\
                 "0.1866, 0.2366, 0.3808, 0.6366, 1.056, 1.67, 2.498, 3.549, 4.834, 6.365",\
                 "0.187, 0.2374, 0.381, 0.6382, 1.056, 1.67, 2.499, 3.55, 4.833, 6.362",\
                 "0.1844, 0.2348, 0.3786, 0.6348, 1.056, 1.67, 2.498, 3.55, 4.831, 6.363",\
                 "0.1854, 0.2358, 0.3816, 0.6358, 1.053, 1.665, 2.493, 3.544, 4.833, 6.364",\
                 "0.189, 0.2396, 0.3844, 0.6388, 1.054, 1.666, 2.491, 3.537, 4.823, 6.357",\
                 "0.1938, 0.244, 0.3892, 0.642, 1.057, 1.67, 2.493, 3.541, 4.817, 6.343",\
                 "0.1994, 0.2496, 0.3934, 0.6456, 1.063, 1.677, 2.501, 3.542, 4.821, 6.351",\
                 "0.2054, 0.2548, 0.3978, 0.652, 1.07, 1.688, 2.516, 3.554, 4.83, 6.35");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007337, 0.02958, 0.07206, 0.1382, 0.2311, 0.3533, 0.5073, 0.6952, 0.9192");
          values("0.2184, 0.3076, 0.5996, 1.178, 2.107, 3.426, 5.16, 7.349, 10.02, 13.2",\
                 "0.2192, 0.3072, 0.5996, 1.178, 2.112, 3.426, 5.162, 7.355, 10.02, 13.2",\
                 "0.2196, 0.3072, 0.5994, 1.178, 2.109, 3.426, 5.161, 7.356, 10.02, 13.21",\
                 "0.2194, 0.3072, 0.5992, 1.177, 2.107, 3.425, 5.158, 7.358, 10.02, 13.2",\
                 "0.2202, 0.3086, 0.5996, 1.177, 2.108, 3.426, 5.159, 7.348, 10.01, 13.2",\
                 "0.2204, 0.31, 0.601, 1.177, 2.108, 3.424, 5.161, 7.346, 10.02, 13.2",\
                 "0.2234, 0.3114, 0.6036, 1.177, 2.108, 3.424, 5.159, 7.349, 10.02, 13.21",\
                 "0.2252, 0.3142, 0.6056, 1.178, 2.108, 3.423, 5.16, 7.352, 10.02, 13.2",\
                 "0.2282, 0.3184, 0.6072, 1.179, 2.112, 3.426, 5.164, 7.344, 10.02, 13.19",\
                 "0.232, 0.322, 0.61, 1.182, 2.106, 3.426, 5.162, 7.35, 10.01, 13.2");
        }
      }

      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.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007337, 0.02958, 0.07206, 0.1382, 0.2311, 0.3533, 0.5073, 0.6952, 0.9192");
          values("0.7776, 0.8441, 1.019, 1.269, 1.585, 1.984, 2.485, 3.107, 3.863, 4.764",\
                 "0.7961, 0.8628, 1.038, 1.287, 1.604, 2.003, 2.504, 3.126, 3.882, 4.782",\
                 "0.8741, 0.9405, 1.116, 1.365, 1.682, 2.08, 2.582, 3.204, 3.96, 4.86",\
                 "1.062, 1.128, 1.303, 1.552, 1.868, 2.267, 2.769, 3.39, 4.146, 5.047",\
                 "1.345, 1.414, 1.593, 1.846, 2.164, 2.564, 3.065, 3.687, 4.443, 5.343",\
                 "1.675, 1.748, 1.935, 2.196, 2.522, 2.928, 3.431, 4.052, 4.808, 5.707",\
                 "2.06, 2.138, 2.334, 2.603, 2.935, 3.344, 3.851, 4.476, 5.232, 6.131",\
                 "2.507, 2.59, 2.797, 3.076, 3.415, 3.827, 4.336, 4.962, 5.72, 6.621",\
                 "3.018, 3.106, 3.325, 3.616, 3.965, 4.383, 4.895, 5.52, 6.279, 7.179",\
                 "3.592, 3.685, 3.916, 4.224, 4.585, 5.012, 5.527, 6.155, 6.914, 7.815");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007337, 0.02958, 0.07206, 0.1382, 0.2311, 0.3533, 0.5073, 0.6952, 0.9192");
          values("0.493, 0.5622, 0.7668, 1.12, 1.657, 2.408, 3.395, 4.635, 6.151, 7.959",\
                 "0.5164, 0.5858, 0.7906, 1.143, 1.68, 2.431, 3.416, 4.661, 6.177, 7.988",\
                 "0.596, 0.665, 0.8692, 1.222, 1.758, 2.509, 3.497, 4.736, 6.253, 8.057",\
                 "0.7171, 0.7876, 0.9924, 1.344, 1.88, 2.63, 3.618, 4.861, 6.379, 8.186",\
                 "0.8132, 0.8849, 1.093, 1.447, 1.984, 2.733, 3.72, 4.963, 6.476, 8.28",\
                 "0.8746, 0.9502, 1.163, 1.516, 2.052, 2.802, 3.787, 5.03, 6.544, 8.35",\
                 "0.8962, 0.9756, 1.197, 1.552, 2.086, 2.835, 3.82, 5.061, 6.577, 8.386",\
                 "0.8705, 0.9552, 1.187, 1.548, 2.083, 2.831, 3.815, 5.055, 6.57, 8.376",\
                 "0.7924, 0.882, 1.125, 1.496, 2.035, 2.784, 3.769, 5.008, 6.523, 8.329",\
                 "0.66, 0.7543, 1.009, 1.39, 1.935, 2.692, 3.679, 4.92, 6.432, 8.238");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007337, 0.02958, 0.07206, 0.1382, 0.2311, 0.3533, 0.5073, 0.6952, 0.9192");
          values("0.242, 0.3054, 0.4826, 0.7588, 1.166, 1.748, 2.548, 3.579, 4.855, 6.383",\
                 "0.2423, 0.305, 0.4827, 0.76, 1.166, 1.751, 2.548, 3.579, 4.854, 6.384",\
                 "0.242, 0.3054, 0.4826, 0.7596, 1.165, 1.75, 2.547, 3.577, 4.852, 6.384",\
                 "0.2432, 0.3062, 0.4842, 0.7604, 1.166, 1.749, 2.547, 3.58, 4.854, 6.384",\
                 "0.2696, 0.3306, 0.5044, 0.7742, 1.176, 1.754, 2.549, 3.58, 4.854, 6.384",\
                 "0.3052, 0.3672, 0.5376, 0.808, 1.203, 1.774, 2.56, 3.581, 4.854, 6.384",\
                 "0.338, 0.4034, 0.5724, 0.8384, 1.228, 1.796, 2.578, 3.594, 4.863, 6.386",\
                 "0.3742, 0.444, 0.6146, 0.875, 1.259, 1.815, 2.591, 3.608, 4.872, 6.39",\
                 "0.4132, 0.4866, 0.6646, 0.9252, 1.297, 1.84, 2.604, 3.62, 4.88, 6.402",\
                 "0.456, 0.534, 0.72, 0.982, 1.348, 1.882, 2.634, 3.634, 4.884, 6.402");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007337, 0.02958, 0.07206, 0.1382, 0.2311, 0.3533, 0.5073, 0.6952, 0.9192");
          values("0.21, 0.2972, 0.5902, 1.17, 2.108, 3.427, 5.161, 7.351, 10.02, 13.22",\
                 "0.2099, 0.2978, 0.5899, 1.172, 2.107, 3.423, 5.161, 7.351, 10.03, 13.22",\
                 "0.2099, 0.2983, 0.59, 1.171, 2.104, 3.422, 5.161, 7.349, 10.02, 13.23",\
                 "0.2204, 0.3074, 0.5954, 1.171, 2.105, 3.426, 5.162, 7.354, 10.02, 13.21",\
                 "0.2354, 0.3252, 0.6112, 1.183, 2.108, 3.426, 5.161, 7.352, 10.02, 13.21",\
                 "0.2586, 0.347, 0.627, 1.188, 2.115, 3.428, 5.165, 7.348, 10.02, 13.21",\
                 "0.2864, 0.3762, 0.6514, 1.2, 2.119, 3.435, 5.167, 7.345, 10.03, 13.2",\
                 "0.3176, 0.4108, 0.6846, 1.222, 2.129, 3.438, 5.171, 7.352, 10.03, 13.19",\
                 "0.3516, 0.4456, 0.7252, 1.253, 2.155, 3.451, 5.173, 7.354, 10.02, 13.21",\
                 "0.3876, 0.484, 0.7704, 1.288, 2.181, 3.48, 5.198, 7.362, 10.03, 13.2");
        }
      }

      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.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007337, 0.02958, 0.07206, 0.1382, 0.2311, 0.3533, 0.5073, 0.6952, 0.9192");
          values("0.7768, 0.8434, 1.019, 1.268, 1.585, 1.984, 2.485, 3.107, 3.863, 4.763",\
                 "0.7954, 0.8621, 1.038, 1.287, 1.604, 2.003, 2.504, 3.126, 3.881, 4.782",\
                 "0.8734, 0.9401, 1.116, 1.365, 1.681, 2.08, 2.582, 3.204, 3.959, 4.859",\
                 "1.062, 1.128, 1.303, 1.552, 1.868, 2.268, 2.769, 3.391, 4.146, 5.047",\
                 "1.345, 1.414, 1.593, 1.846, 2.164, 2.564, 3.065, 3.687, 4.442, 5.343",\
                 "1.675, 1.749, 1.936, 2.197, 2.523, 2.928, 3.431, 4.052, 4.808, 5.708",\
                 "2.06, 2.138, 2.335, 2.603, 2.936, 3.345, 3.851, 4.476, 5.232, 6.132",\
                 "2.507, 2.59, 2.797, 3.076, 3.415, 3.827, 4.336, 4.962, 5.721, 6.621",\
                 "3.018, 3.105, 3.325, 3.616, 3.966, 4.384, 4.894, 5.52, 6.278, 7.18",\
                 "3.592, 3.686, 3.917, 4.224, 4.585, 5.012, 5.529, 6.156, 6.914, 7.816");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007337, 0.02958, 0.07206, 0.1382, 0.2311, 0.3533, 0.5073, 0.6952, 0.9192");
          values("0.4929, 0.5622, 0.7668, 1.12, 1.657, 2.408, 3.394, 4.636, 6.153, 7.957",\
                 "0.5163, 0.5857, 0.7906, 1.143, 1.68, 2.43, 3.417, 4.66, 6.175, 7.988",\
                 "0.5958, 0.665, 0.8692, 1.222, 1.758, 2.509, 3.494, 4.736, 6.251, 8.061",\
                 "0.7175, 0.7876, 0.9922, 1.344, 1.88, 2.631, 3.618, 4.861, 6.378, 8.178",\
                 "0.8129, 0.8848, 1.093, 1.447, 1.983, 2.733, 3.721, 4.96, 6.481, 8.288",\
                 "0.8748, 0.95, 1.163, 1.516, 2.052, 2.802, 3.787, 5.03, 6.547, 8.356",\
                 "0.8961, 0.9763, 1.196, 1.552, 2.086, 2.834, 3.82, 5.061, 6.577, 8.383",\
                 "0.8701, 0.9554, 1.186, 1.549, 2.083, 2.831, 3.814, 5.055, 6.57, 8.376",\
                 "0.7927, 0.882, 1.126, 1.496, 2.036, 2.785, 3.77, 5.009, 6.523, 8.329",\
                 "0.6602, 0.7541, 1.01, 1.39, 1.936, 2.692, 3.679, 4.92, 6.433, 8.237");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007337, 0.02958, 0.07206, 0.1382, 0.2311, 0.3533, 0.5073, 0.6952, 0.9192");
          values("0.2422, 0.3053, 0.4828, 0.7596, 1.167, 1.749, 2.548, 3.58, 4.855, 6.384",\
                 "0.2424, 0.3053, 0.4829, 0.7604, 1.167, 1.749, 2.548, 3.579, 4.855, 6.384",\
                 "0.243, 0.3054, 0.4828, 0.7596, 1.166, 1.751, 2.548, 3.578, 4.855, 6.379",\
                 "0.2434, 0.3062, 0.4842, 0.761, 1.167, 1.749, 2.548, 3.578, 4.855, 6.379",\
                 "0.2692, 0.3312, 0.5038, 0.7742, 1.175, 1.753, 2.55, 3.58, 4.855, 6.384",\
                 "0.3046, 0.3668, 0.5366, 0.8086, 1.204, 1.772, 2.558, 3.584, 4.856, 6.383",\
                 "0.3384, 0.404, 0.5722, 0.8392, 1.23, 1.797, 2.578, 3.596, 4.861, 6.384",\
                 "0.3746, 0.4434, 0.6152, 0.8766, 1.258, 1.817, 2.59, 3.607, 4.871, 6.393",\
                 "0.4134, 0.487, 0.6644, 0.9246, 1.298, 1.842, 2.606, 3.616, 4.878, 6.398",\
                 "0.456, 0.534, 0.722, 0.982, 1.348, 1.884, 2.636, 3.636, 4.884, 6.402");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007337, 0.02958, 0.07206, 0.1382, 0.2311, 0.3533, 0.5073, 0.6952, 0.9192");
          values("0.21, 0.2971, 0.5902, 1.17, 2.107, 3.424, 5.162, 7.354, 10.03, 13.21",\
                 "0.2099, 0.2974, 0.5899, 1.17, 2.108, 3.426, 5.162, 7.352, 10.03, 13.22",\
                 "0.2101, 0.2983, 0.5898, 1.171, 2.107, 3.422, 5.16, 7.347, 10.02, 13.22",\
                 "0.2194, 0.3068, 0.5956, 1.172, 2.105, 3.424, 5.161, 7.352, 10.03, 13.21",\
                 "0.2372, 0.324, 0.6106, 1.183, 2.111, 3.422, 5.161, 7.349, 10.03, 13.22",\
                 "0.2598, 0.3466, 0.627, 1.19, 2.116, 3.431, 5.166, 7.341, 10.03, 13.21",\
                 "0.2868, 0.376, 0.6532, 1.201, 2.118, 3.433, 5.167, 7.346, 10.03, 13.2",\
                 "0.3182, 0.41, 0.6862, 1.222, 2.129, 3.438, 5.17, 7.352, 10.03, 13.22",\
                 "0.353, 0.4456, 0.7248, 1.253, 2.152, 3.454, 5.182, 7.355, 10.02, 13.21",\
                 "0.3862, 0.4826, 0.7688, 1.286, 2.183, 3.48, 5.198, 7.372, 10.02, 13.2");
        }
      }

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

        cell_fall(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007337, 0.02958, 0.07206, 0.1382, 0.2311, 0.3533, 0.5073, 0.6952, 0.9192");
          values("0.7768, 0.8434, 1.019, 1.268, 1.585, 1.984, 2.485, 3.107, 3.863, 4.763",\
                 "0.7954, 0.8621, 1.038, 1.287, 1.604, 2.003, 2.504, 3.126, 3.881, 4.782",\
                 "0.8734, 0.9401, 1.116, 1.365, 1.681, 2.08, 2.582, 3.204, 3.959, 4.859",\
                 "1.062, 1.128, 1.303, 1.552, 1.868, 2.268, 2.769, 3.391, 4.146, 5.047",\
                 "1.345, 1.414, 1.593, 1.846, 2.164, 2.564, 3.065, 3.687, 4.442, 5.343",\
                 "1.675, 1.749, 1.936, 2.197, 2.523, 2.928, 3.431, 4.052, 4.808, 5.708",\
                 "2.06, 2.138, 2.335, 2.603, 2.936, 3.345, 3.851, 4.476, 5.232, 6.132",\
                 "2.507, 2.59, 2.797, 3.076, 3.415, 3.827, 4.336, 4.962, 5.721, 6.621",\
                 "3.018, 3.105, 3.325, 3.616, 3.966, 4.384, 4.894, 5.52, 6.278, 7.18",\
                 "3.592, 3.686, 3.917, 4.224, 4.585, 5.012, 5.529, 6.156, 6.914, 7.816");
        }

        cell_rise(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007337, 0.02958, 0.07206, 0.1382, 0.2311, 0.3533, 0.5073, 0.6952, 0.9192");
          values("0.493, 0.5622, 0.7668, 1.12, 1.657, 2.408, 3.395, 4.635, 6.151, 7.959",\
                 "0.5164, 0.5858, 0.7906, 1.143, 1.68, 2.431, 3.416, 4.661, 6.177, 7.988",\
                 "0.596, 0.665, 0.8692, 1.222, 1.758, 2.509, 3.497, 4.736, 6.253, 8.057",\
                 "0.7171, 0.7876, 0.9924, 1.344, 1.88, 2.63, 3.618, 4.861, 6.379, 8.186",\
                 "0.8132, 0.8849, 1.093, 1.447, 1.984, 2.733, 3.72, 4.963, 6.476, 8.28",\
                 "0.8746, 0.9502, 1.163, 1.516, 2.052, 2.802, 3.787, 5.03, 6.544, 8.35",\
                 "0.8962, 0.9756, 1.197, 1.552, 2.086, 2.835, 3.82, 5.061, 6.577, 8.386",\
                 "0.8705, 0.9552, 1.187, 1.548, 2.083, 2.831, 3.815, 5.055, 6.57, 8.376",\
                 "0.7924, 0.882, 1.125, 1.496, 2.035, 2.784, 3.769, 5.008, 6.523, 8.329",\
                 "0.66, 0.7543, 1.009, 1.39, 1.935, 2.692, 3.679, 4.92, 6.432, 8.238");
        }

        fall_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007337, 0.02958, 0.07206, 0.1382, 0.2311, 0.3533, 0.5073, 0.6952, 0.9192");
          values("0.2422, 0.3053, 0.4828, 0.7596, 1.167, 1.749, 2.548, 3.58, 4.855, 6.384",\
                 "0.2424, 0.3053, 0.4829, 0.7604, 1.167, 1.749, 2.548, 3.579, 4.855, 6.384",\
                 "0.243, 0.3054, 0.4828, 0.7596, 1.166, 1.751, 2.548, 3.578, 4.855, 6.379",\
                 "0.2434, 0.3062, 0.4842, 0.761, 1.167, 1.749, 2.548, 3.578, 4.855, 6.379",\
                 "0.2692, 0.3312, 0.5038, 0.7742, 1.175, 1.753, 2.55, 3.58, 4.855, 6.384",\
                 "0.3046, 0.3668, 0.5366, 0.8086, 1.204, 1.772, 2.558, 3.584, 4.856, 6.383",\
                 "0.3384, 0.404, 0.5722, 0.8392, 1.23, 1.797, 2.578, 3.596, 4.861, 6.384",\
                 "0.3746, 0.4434, 0.6152, 0.8766, 1.258, 1.817, 2.59, 3.607, 4.871, 6.393",\
                 "0.4134, 0.487, 0.6644, 0.9246, 1.298, 1.842, 2.606, 3.616, 4.878, 6.398",\
                 "0.456, 0.534, 0.722, 0.982, 1.348, 1.884, 2.636, 3.636, 4.884, 6.402");
        }

        rise_transition(tmg_ntin_oload_10x10) {
          index_1("0.02, 0.111, 0.4303, 1.04, 1.99, 3.323, 5.077, 7.287, 9.985, 13.2");
          index_2("0.001, 0.007337, 0.02958, 0.07206, 0.1382, 0.2311, 0.3533, 0.5073, 0.6952, 0.9192");
          values("0.21, 0.2972, 0.5902, 1.17, 2.108, 3.427, 5.161, 7.351, 10.02, 13.22",\
                 "0.2099, 0.2978, 0.5899, 1.172, 2.107, 3.423, 5.161, 7.351, 10.03, 13.22",\
                 "0.2099, 0.2983, 0.59, 1.171, 2.104, 3.422, 5.161, 7.349, 10.02, 13.23",\
                 "0.2204, 0.3074, 0.5954, 1.171, 2.105, 3.426, 5.162, 7.354, 10.02, 13.21",\
                 "0.2354, 0.3252, 0.6112, 1.183, 2.108, 3.426, 5.161, 7.352, 10.02, 13.21",\
                 "0.2586, 0.347, 0.627, 1.188, 2.115, 3.428, 5.165, 7.348, 10.02, 13.21",\
                 "0.2864, 0.3762, 0.6514, 1.2, 2.119, 3.435, 5.167, 7.345, 10.03, 13.2",\
                 "0.3176, 0.4108, 0.6846, 1.222, 2.129, 3.438, 5.171, 7.352, 10.03, 13.19",\
                 "0.3516, 0.4456, 0.7252, 1.253, 2.155, 3.451, 5.173, 7.354, 10.02, 13.21",\
                 "0.3876, 0.484, 0.7704, 1.288, 2.181, 3.48, 5.198, 7.362, 10.03, 13.2");
        }
      }
    }
  }