blob: 7a45274f1b365c3df141c16febea92a0e4c3346c [file] [log] [blame]
/*
* Copyright 2022 GlobalFoundries PDK Authors
*
* Licensed under the Apache License, Version 2.0 (the "License");
* you may not use this file except in compliance with the License.
* You may obtain a copy of the License at
*
* http://www.apache.org/licenses/LICENSE-2.0
*
* Unless required by applicable law or agreed to in writing, software
* distributed under the License is distributed on an "AS IS" BASIS,
* WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
* See the License for the specific language governing permissions and
* limitations under the License.
*/
cell(gf180mcu_fd_sc_mcu7t5v0__and2_4) {
area : 37.318400 ;
leakage_power() {
related_pg_pin : "VDD" ;
when : "!A1&!A2" ;
value : "8.99019e-05" ;
}
leakage_power() {
related_pg_pin : "VDD" ;
when : "!A1&A2" ;
value : "9.0057e-05" ;
}
leakage_power() {
related_pg_pin : "VDD" ;
when : "A1&!A2" ;
value : "0.000122562" ;
}
leakage_power() {
related_pg_pin : "VDD" ;
when : "A1&A2" ;
value : "0.0001121142" ;
}
leakage_power() {
related_pg_pin : "VDD" ;
value : "0.000122562" ;
}
pg_pin(VDD) {
voltage_name : VDD ;
pg_type : primary_power ;
}
pg_pin(VSS) {
voltage_name : VSS ;
pg_type : primary_ground ;
}
pin(A1) {
capacitance : 0.008745 ;
direction : input ;
driver_waveform_rise : driver_waveform_default_rise ;
driver_waveform_fall : driver_waveform_default_fall ;
input_voltage : default ;
max_transition : 8.6 ;
related_ground_pin : VSS ;
related_power_pin : VDD ;
internal_power() {
when : "!A2" ;
fall_power(pwr_tin_10) {
index_1("0.02, 0.07922, 0.2871, 0.6841, 1.303, 2.17, 3.312, 4.751, 6.507, 8.6");
values("0.03401, 0.03393, 0.03387, 0.03383, 0.0338, 0.03386, 0.03384, \
0.03384, 0.03382, 0.03382");
}
rise_power(pwr_tin_10) {
index_1("0.02, 0.07922, 0.2871, 0.6841, 1.303, 2.17, 3.312, 4.751, 6.507, 8.6");
values("-0.02251, -0.02249, -0.02253, -0.02254, -0.02252, -0.02263, -0.02264, \
-0.02266, -0.02268, -0.02274");
}
}
}
pin(A2) {
capacitance : 0.009062 ;
direction : input ;
driver_waveform_rise : driver_waveform_default_rise ;
driver_waveform_fall : driver_waveform_default_fall ;
input_voltage : default ;
max_transition : 8.6 ;
related_ground_pin : VSS ;
related_power_pin : VDD ;
internal_power() {
when : "!A1" ;
fall_power(pwr_tin_10) {
index_1("0.02, 0.07922, 0.2871, 0.6841, 1.303, 2.17, 3.312, 4.751, 6.507, 8.6");
values("0.03333, 0.03091, 0.03009, 0.03003, 0.02998, 0.03005, 0.03004, \
0.03003, 0.03005, 0.03003");
}
rise_power(pwr_tin_10) {
index_1("0.02, 0.07922, 0.2871, 0.6841, 1.303, 2.17, 3.312, 4.751, 6.507, 8.6");
values("-0.03006, -0.02996, -0.02991, -0.02988, -0.0299, -0.02995, -0.02994, \
-0.02992, -0.02994, -0.02997");
}
}
}
pin(Z) {
direction : output ;
function : "(A1&A2)" ;
max_capacitance : 1.434 ;
max_transition : 8.6 ;
min_capacitance : 0.001 ;
output_voltage : default ;
related_ground_pin : VSS ;
related_power_pin : VDD ;
internal_power() {
related_pin : "A1" ;
when : "A2" ;
fall_power(pwr_tin_oload_10x10) {
index_1("0.02, 0.07922, 0.2871, 0.6841, 1.303, 2.17, 3.312, 4.751, 6.507, 8.6");
index_2("0.001, 0.01089, 0.04562, 0.1119, 0.2153, 0.3602, 0.551, 0.7913, 1.085, 1.434");
values("0.246, 0.2427, 0.2413, 0.2415, 0.2418, 0.2416, 0.2416, 0.2417, 0.2417, 0.2417",\
"0.2441, 0.2406, 0.2396, 0.2396, 0.2396, 0.2396, 0.2397, 0.2399, 0.2399, 0.2399",\
"0.246, 0.2419, 0.24, 0.24, 0.2402, 0.2405, 0.2406, 0.2407, 0.2407, 0.2407",\
"0.2696, 0.2628, 0.2564, 0.2541, 0.2536, 0.2533, 0.2534, 0.2533, 0.2532, 0.2532",\
"0.3121, 0.3017, 0.2899, 0.2851, 0.2826, 0.2812, 0.2809, 0.2808, 0.2806, 0.2802",\
"0.3748, 0.361, 0.3436, 0.3337, 0.3291, 0.3265, 0.3251, 0.3242, 0.3239, 0.3235",\
"0.4583, 0.4417, 0.4174, 0.4027, 0.3951, 0.3903, 0.3876, 0.386, 0.3851, 0.3844",\
"0.5631, 0.5441, 0.5127, 0.4926, 0.4802, 0.4735, 0.4696, 0.4669, 0.4652, 0.464",\
"0.6896, 0.6686, 0.6303, 0.604, 0.5876, 0.5777, 0.5715, 0.5676, 0.5651, 0.5632",\
"0.8387, 0.8158, 0.7712, 0.7385, 0.7174, 0.7042, 0.6954, 0.6898, 0.686, 0.6834");
}
rise_power(pwr_tin_oload_10x10) {
index_1("0.02, 0.07922, 0.2871, 0.6841, 1.303, 2.17, 3.312, 4.751, 6.507, 8.6");
index_2("0.001, 0.01089, 0.04562, 0.1119, 0.2153, 0.3602, 0.551, 0.7913, 1.085, 1.434");
values("0.1514, 0.1483, 0.1469, 0.1487, 0.151, 0.1539, 0.1556, 0.1584, 0.1633, 0.177",\
"0.1502, 0.1469, 0.1456, 0.1472, 0.1497, 0.152, 0.1546, 0.1584, 0.1611, 0.1757",\
"0.1532, 0.1494, 0.1468, 0.1473, 0.1495, 0.1523, 0.1549, 0.1584, 0.1617, 0.1769",\
"0.1724, 0.167, 0.1613, 0.1593, 0.1602, 0.1625, 0.1658, 0.1696, 0.172, 0.1873",\
"0.2078, 0.1998, 0.1901, 0.1863, 0.1848, 0.186, 0.1879, 0.1924, 0.1945, 0.2122",\
"0.2618, 0.2518, 0.2368, 0.2285, 0.2277, 0.2265, 0.2262, 0.2283, 0.2318, 0.2534",\
"0.3351, 0.3217, 0.3036, 0.2895, 0.2839, 0.2836, 0.2846, 0.2851, 0.287, 0.3122",\
"0.4279, 0.4108, 0.3883, 0.3718, 0.3604, 0.3552, 0.3599, 0.3602, 0.36, 0.3911",\
"0.5402, 0.5201, 0.4926, 0.4716, 0.4583, 0.4496, 0.4466, 0.4519, 0.455, 0.5017",\
"0.6734, 0.6499, 0.6171, 0.5923, 0.5762, 0.5628, 0.5579, 0.5565, 0.5697, 0.639");
}
}
internal_power() {
related_pin : "A2" ;
when : "A1" ;
fall_power(pwr_tin_oload_10x10) {
index_1("0.02, 0.07922, 0.2871, 0.6841, 1.303, 2.17, 3.312, 4.751, 6.507, 8.6");
index_2("0.001, 0.01089, 0.04562, 0.1119, 0.2153, 0.3602, 0.551, 0.7913, 1.085, 1.434");
values("0.2777, 0.2732, 0.27, 0.2694, 0.2694, 0.2693, 0.2692, 0.2691, 0.2692, 0.2692",\
"0.2759, 0.2713, 0.2682, 0.2677, 0.2674, 0.2673, 0.2673, 0.2674, 0.2674, 0.2674",\
"0.2785, 0.2735, 0.2699, 0.2692, 0.2693, 0.2693, 0.2693, 0.2694, 0.2694, 0.2694",\
"0.3028, 0.2951, 0.2875, 0.2847, 0.2838, 0.2831, 0.283, 0.283, 0.2829, 0.2828",\
"0.3472, 0.3363, 0.3237, 0.3177, 0.3146, 0.3135, 0.3127, 0.3123, 0.3119, 0.3117",\
"0.4123, 0.3984, 0.38, 0.3693, 0.3641, 0.3612, 0.3595, 0.3586, 0.3582, 0.3578",\
"0.4991, 0.4826, 0.4575, 0.4423, 0.4334, 0.4285, 0.4257, 0.424, 0.4229, 0.4222",\
"0.6084, 0.5893, 0.5578, 0.5367, 0.5235, 0.5163, 0.5118, 0.5092, 0.5074, 0.506",\
"0.7397, 0.7189, 0.6811, 0.6536, 0.6363, 0.6257, 0.6192, 0.615, 0.6123, 0.6104",\
"0.8946, 0.8723, 0.8278, 0.7944, 0.7722, 0.7577, 0.7488, 0.7429, 0.739, 0.7363");
}
rise_power(pwr_tin_oload_10x10) {
index_1("0.02, 0.07922, 0.2871, 0.6841, 1.303, 2.17, 3.312, 4.751, 6.507, 8.6");
index_2("0.001, 0.01089, 0.04562, 0.1119, 0.2153, 0.3602, 0.551, 0.7913, 1.085, 1.434");
values("0.1515, 0.1485, 0.1471, 0.1486, 0.1506, 0.1539, 0.1556, 0.1584, 0.164, 0.177",\
"0.15, 0.1467, 0.1455, 0.1473, 0.1496, 0.152, 0.1546, 0.1577, 0.1621, 0.174",\
"0.151, 0.1474, 0.1449, 0.1459, 0.1484, 0.1506, 0.1536, 0.1564, 0.1614, 0.1743",\
"0.1662, 0.1609, 0.1568, 0.1557, 0.1571, 0.1596, 0.1622, 0.165, 0.169, 0.1834",\
"0.1995, 0.1922, 0.1837, 0.1814, 0.1809, 0.182, 0.1843, 0.1871, 0.1922, 0.2063",\
"0.2524, 0.243, 0.2302, 0.2225, 0.2219, 0.2226, 0.2232, 0.2247, 0.2291, 0.2492",\
"0.3258, 0.3134, 0.2973, 0.286, 0.2801, 0.281, 0.2813, 0.2815, 0.2837, 0.3074",\
"0.4185, 0.4034, 0.3826, 0.3665, 0.357, 0.3533, 0.3572, 0.3575, 0.3607, 0.3936",\
"0.5322, 0.514, 0.489, 0.4705, 0.4555, 0.4486, 0.4466, 0.4519, 0.4556, 0.5006",\
"0.6674, 0.6463, 0.6167, 0.5932, 0.578, 0.5664, 0.5605, 0.5608, 0.5735, 0.6421");
}
}
timing() {
related_pin : "A1" ;
timing_sense : positive_unate ;
timing_type : combinational ;
cell_fall(tmg_ntin_oload_10x10) {
index_1("0.02, 0.07922, 0.2871, 0.6841, 1.303, 2.17, 3.312, 4.751, 6.507, 8.6");
index_2("0.001, 0.01089, 0.04562, 0.1119, 0.2153, 0.3602, 0.551, 0.7913, 1.085, 1.434");
values("0.2287, 0.2657, 0.3595, 0.5012, 0.7058, 0.989, 1.361, 1.831, 2.404, 3.085",\
"0.2448, 0.2818, 0.3754, 0.5172, 0.7218, 1.005, 1.378, 1.847, 2.42, 3.103",\
"0.3097, 0.3465, 0.4398, 0.5816, 0.7862, 1.069, 1.442, 1.911, 2.483, 3.165",\
"0.422, 0.461, 0.5578, 0.7009, 0.9056, 1.189, 1.561, 2.03, 2.603, 3.286",\
"0.5553, 0.598, 0.7011, 0.8488, 1.055, 1.338, 1.71, 2.178, 2.752, 3.434",\
"0.711, 0.7586, 0.8695, 1.023, 1.231, 1.514, 1.886, 2.355, 2.926, 3.609",\
"0.8884, 0.9405, 1.062, 1.223, 1.437, 1.72, 2.092, 2.561, 3.132, 3.814",\
"1.087, 1.144, 1.275, 1.448, 1.669, 1.958, 2.331, 2.799, 3.371, 4.052",\
"1.308, 1.369, 1.512, 1.696, 1.927, 2.222, 2.601, 3.072, 3.643, 4.324",\
"1.553, 1.619, 1.771, 1.969, 2.208, 2.513, 2.9, 3.377, 3.951, 4.632");
}
cell_rise(tmg_ntin_oload_10x10) {
index_1("0.02, 0.07922, 0.2871, 0.6841, 1.303, 2.17, 3.312, 4.751, 6.507, 8.6");
index_2("0.001, 0.01089, 0.04562, 0.1119, 0.2153, 0.3602, 0.551, 0.7913, 1.085, 1.434");
values("0.2463, 0.2914, 0.421, 0.6482, 0.9981, 1.489, 2.134, 2.945, 3.937, 5.123",\
"0.2573, 0.3022, 0.4319, 0.6591, 1.009, 1.499, 2.144, 2.957, 3.948, 5.134",\
"0.3023, 0.3468, 0.4757, 0.7026, 1.053, 1.543, 2.189, 3.002, 3.994, 5.172",\
"0.3619, 0.4078, 0.5379, 0.7641, 1.113, 1.603, 2.247, 3.062, 4.055, 5.237",\
"0.4107, 0.4581, 0.5899, 0.8153, 1.164, 1.654, 2.299, 3.111, 4.104, 5.286",\
"0.4456, 0.4961, 0.6308, 0.8567, 1.204, 1.694, 2.337, 3.15, 4.142, 5.323",\
"0.4624, 0.5162, 0.6569, 0.8852, 1.232, 1.72, 2.365, 3.175, 4.167, 5.35",\
"0.4578, 0.5156, 0.6627, 0.8958, 1.247, 1.735, 2.377, 3.188, 4.178, 5.359",\
"0.4298, 0.4919, 0.6459, 0.8847, 1.24, 1.734, 2.377, 3.187, 4.176, 5.357",\
"0.3775, 0.443, 0.6043, 0.8496, 1.211, 1.71, 2.36, 3.172, 4.161, 5.34");
}
fall_transition(tmg_ntin_oload_10x10) {
index_1("0.02, 0.07922, 0.2871, 0.6841, 1.303, 2.17, 3.312, 4.751, 6.507, 8.6");
index_2("0.001, 0.01089, 0.04562, 0.1119, 0.2153, 0.3602, 0.551, 0.7913, 1.085, 1.434");
values("0.07636, 0.1143, 0.2215, 0.4204, 0.7478, 1.218, 1.844, 2.634, 3.601, 4.744",\
"0.07658, 0.1148, 0.222, 0.4204, 0.7478, 1.218, 1.845, 2.633, 3.601, 4.752",\
"0.07714, 0.1148, 0.2227, 0.4207, 0.748, 1.218, 1.843, 2.631, 3.598, 4.746",\
"0.09194, 0.1288, 0.2319, 0.425, 0.7484, 1.218, 1.845, 2.632, 3.601, 4.752",\
"0.1104, 0.1488, 0.251, 0.4384, 0.7534, 1.221, 1.845, 2.635, 3.599, 4.745",\
"0.1324, 0.1734, 0.2754, 0.454, 0.7616, 1.223, 1.845, 2.632, 3.597, 4.744",\
"0.158, 0.202, 0.3076, 0.4816, 0.7784, 1.229, 1.848, 2.632, 3.594, 4.743",\
"0.1832, 0.2328, 0.3434, 0.5164, 0.806, 1.249, 1.855, 2.638, 3.593, 4.738",\
"0.2104, 0.2638, 0.381, 0.556, 0.8426, 1.282, 1.881, 2.647, 3.598, 4.739",\
"0.2386, 0.2952, 0.4222, 0.6002, 0.8824, 1.324, 1.924, 2.682, 3.616, 4.746");
}
rise_transition(tmg_ntin_oload_10x10) {
index_1("0.02, 0.07922, 0.2871, 0.6841, 1.303, 2.17, 3.312, 4.751, 6.507, 8.6");
index_2("0.001, 0.01089, 0.04562, 0.1119, 0.2153, 0.3602, 0.551, 0.7913, 1.085, 1.434");
values("0.08992, 0.148, 0.3404, 0.7256, 1.339, 2.204, 3.339, 4.779, 6.523, 8.611",\
"0.0899, 0.1481, 0.3401, 0.7252, 1.341, 2.201, 3.343, 4.77, 6.523, 8.612",\
"0.08996, 0.1493, 0.3405, 0.7253, 1.338, 2.202, 3.339, 4.774, 6.521, 8.616",\
"0.09926, 0.1573, 0.3463, 0.7264, 1.339, 2.205, 3.338, 4.774, 6.519, 8.605",\
"0.1106, 0.1668, 0.3534, 0.731, 1.342, 2.202, 3.339, 4.771, 6.522, 8.607",\
"0.1274, 0.1824, 0.365, 0.7354, 1.345, 2.206, 3.338, 4.767, 6.52, 8.602",\
"0.1462, 0.201, 0.382, 0.7464, 1.348, 2.206, 3.341, 4.772, 6.516, 8.596",\
"0.1668, 0.2218, 0.4042, 0.764, 1.363, 2.213, 3.343, 4.771, 6.526, 8.597",\
"0.1868, 0.2454, 0.4274, 0.7842, 1.386, 2.233, 3.353, 4.775, 6.518, 8.61",\
"0.2086, 0.2712, 0.454, 0.8082, 1.411, 2.269, 3.38, 4.79, 6.519, 8.598");
}
}
timing() {
related_pin : "A2" ;
timing_sense : positive_unate ;
timing_type : combinational ;
cell_fall(tmg_ntin_oload_10x10) {
index_1("0.02, 0.07922, 0.2871, 0.6841, 1.303, 2.17, 3.312, 4.751, 6.507, 8.6");
index_2("0.001, 0.01089, 0.04562, 0.1119, 0.2153, 0.3602, 0.551, 0.7913, 1.085, 1.434");
values("0.2541, 0.2926, 0.3883, 0.531, 0.7359, 1.019, 1.392, 1.861, 2.433, 3.116",\
"0.2702, 0.3088, 0.4045, 0.5472, 0.7522, 1.036, 1.408, 1.877, 2.449, 3.132",\
"0.3369, 0.3752, 0.4706, 0.6135, 0.8185, 1.102, 1.474, 1.944, 2.516, 3.198",\
"0.4587, 0.4991, 0.5965, 0.7402, 0.945, 1.228, 1.601, 2.069, 2.642, 3.324",\
"0.6062, 0.6509, 0.7547, 0.9029, 1.109, 1.392, 1.764, 2.233, 2.805, 3.487",\
"0.7827, 0.8316, 0.9431, 1.096, 1.304, 1.587, 1.959, 2.428, 2.999, 3.681",\
"0.9884, 1.042, 1.163, 1.323, 1.534, 1.817, 2.189, 2.657, 3.229, 3.911",\
"1.224, 1.282, 1.413, 1.582, 1.8, 2.085, 2.457, 2.925, 3.497, 4.179",\
"1.49, 1.553, 1.695, 1.875, 2.1, 2.391, 2.766, 3.235, 3.806, 4.488",\
"1.789, 1.856, 2.009, 2.2, 2.435, 2.733, 3.114, 3.587, 4.159, 4.841");
}
cell_rise(tmg_ntin_oload_10x10) {
index_1("0.02, 0.07922, 0.2871, 0.6841, 1.303, 2.17, 3.312, 4.751, 6.507, 8.6");
index_2("0.001, 0.01089, 0.04562, 0.1119, 0.2153, 0.3602, 0.551, 0.7913, 1.085, 1.434");
values("0.2605, 0.3054, 0.435, 0.6621, 1.012, 1.503, 2.148, 2.959, 3.952, 5.137",\
"0.2699, 0.3148, 0.4445, 0.6718, 1.022, 1.512, 2.158, 2.971, 3.964, 5.146",\
"0.2969, 0.3416, 0.4707, 0.6977, 1.048, 1.538, 2.184, 2.997, 3.99, 5.171",\
"0.3341, 0.3802, 0.5112, 0.7379, 1.087, 1.578, 2.223, 3.035, 4.029, 5.21",\
"0.3637, 0.4116, 0.5449, 0.7715, 1.12, 1.61, 2.255, 3.068, 4.06, 5.237",\
"0.3753, 0.426, 0.5637, 0.7919, 1.14, 1.629, 2.273, 3.084, 4.078, 5.26",\
"0.3633, 0.4174, 0.5615, 0.7945, 1.144, 1.631, 2.274, 3.085, 4.076, 5.259",\
"0.3238, 0.3818, 0.5321, 0.7708, 1.125, 1.616, 2.259, 3.069, 4.059, 5.239",\
"0.255, 0.317, 0.4743, 0.7195, 1.08, 1.578, 2.224, 3.033, 4.024, 5.203",\
"0.1549, 0.2209, 0.3845, 0.6365, 1.005, 1.51, 2.165, 2.978, 3.966, 5.146");
}
fall_transition(tmg_ntin_oload_10x10) {
index_1("0.02, 0.07922, 0.2871, 0.6841, 1.303, 2.17, 3.312, 4.751, 6.507, 8.6");
index_2("0.001, 0.01089, 0.04562, 0.1119, 0.2153, 0.3602, 0.551, 0.7913, 1.085, 1.434");
values("0.08308, 0.1205, 0.2263, 0.4228, 0.7483, 1.218, 1.845, 2.634, 3.597, 4.743",\
"0.08304, 0.1205, 0.2263, 0.4228, 0.7488, 1.219, 1.845, 2.635, 3.599, 4.747",\
"0.08368, 0.1212, 0.2267, 0.4231, 0.7489, 1.22, 1.844, 2.633, 3.597, 4.747",\
"0.09608, 0.1321, 0.2336, 0.4256, 0.749, 1.218, 1.845, 2.635, 3.598, 4.745",\
"0.1152, 0.1528, 0.2534, 0.4376, 0.7548, 1.22, 1.845, 2.631, 3.595, 4.745",\
"0.1368, 0.1764, 0.2752, 0.4532, 0.7616, 1.225, 1.845, 2.632, 3.594, 4.745",\
"0.1592, 0.204, 0.3042, 0.476, 0.7734, 1.23, 1.847, 2.632, 3.592, 4.742",\
"0.1838, 0.2342, 0.3374, 0.5074, 0.795, 1.241, 1.853, 2.637, 3.593, 4.737",\
"0.2118, 0.2648, 0.3754, 0.543, 0.8262, 1.265, 1.868, 2.643, 3.597, 4.739",\
"0.2392, 0.2974, 0.416, 0.583, 0.8628, 1.301, 1.9, 2.663, 3.608, 4.747");
}
rise_transition(tmg_ntin_oload_10x10) {
index_1("0.02, 0.07922, 0.2871, 0.6841, 1.303, 2.17, 3.312, 4.751, 6.507, 8.6");
index_2("0.001, 0.01089, 0.04562, 0.1119, 0.2153, 0.3602, 0.551, 0.7913, 1.085, 1.434");
values("0.0897, 0.148, 0.3405, 0.7252, 1.34, 2.203, 3.339, 4.779, 6.523, 8.611",\
"0.08988, 0.148, 0.3401, 0.7258, 1.339, 2.202, 3.341, 4.772, 6.524, 8.6",\
"0.08976, 0.1492, 0.3407, 0.7252, 1.339, 2.204, 3.34, 4.773, 6.524, 8.603",\
"0.09782, 0.1564, 0.3461, 0.7261, 1.338, 2.206, 3.34, 4.772, 6.524, 8.609",\
"0.1086, 0.1656, 0.3534, 0.7304, 1.34, 2.202, 3.342, 4.772, 6.52, 8.615",\
"0.1236, 0.1806, 0.368, 0.7364, 1.342, 2.204, 3.341, 4.769, 6.518, 8.606",\
"0.14, 0.1984, 0.386, 0.7506, 1.35, 2.205, 3.338, 4.775, 6.515, 8.602",\
"0.1594, 0.2186, 0.4082, 0.7716, 1.37, 2.216, 3.341, 4.768, 6.523, 8.594",\
"0.1782, 0.2396, 0.4292, 0.7956, 1.398, 2.243, 3.357, 4.772, 6.517, 8.605",\
"0.1996, 0.261, 0.4542, 0.8194, 1.426, 2.283, 3.394, 4.794, 6.519, 8.595");
}
}
}
}