blob: b0e64e505f2b5086d10aec60f053afc4b9ef694d [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__invz_12) {
area : 118.540800 ;
leakage_power() {
related_pg_pin : "VDD" ;
when : "!EN&!I" ;
value : "0.000397143" ;
}
leakage_power() {
related_pg_pin : "VDD" ;
when : "!EN&I" ;
value : "0.00039123" ;
}
leakage_power() {
related_pg_pin : "VDD" ;
when : "EN&!I" ;
value : "0.0004452894" ;
}
leakage_power() {
related_pg_pin : "VDD" ;
when : "EN&I" ;
value : "0.0004304826" ;
}
leakage_power() {
related_pg_pin : "VDD" ;
value : "0.0004452894" ;
}
pg_pin(VDD) {
voltage_name : VDD ;
pg_type : primary_power ;
}
pg_pin(VSS) {
voltage_name : VSS ;
pg_type : primary_ground ;
}
pin(EN) {
capacitance : 0.007966 ;
direction : input ;
driver_waveform_rise : driver_waveform_default_rise ;
driver_waveform_fall : driver_waveform_default_fall ;
input_voltage : default ;
max_transition : 25 ;
related_ground_pin : VSS ;
related_power_pin : VDD ;
internal_power() {
when : "!I" ;
fall_power(pwr_tin_10) {
index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
values("0.06695, 0.06663, 0.06611, 0.06573, 0.06546, 0.06527, 0.0651, \
0.06456, 0.05115, 0.02577");
}
rise_power(scalar) {
values("0");
/* SiliconSmart: placeholder for Liberty-required model for which no measurement is available. */
}
}
internal_power() {
when : "I" ;
fall_power(pwr_tin_10) {
index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
values("0.02523, 0.02498, 0.02464, 0.0245, 0.02445, 0.02443, 0.02446, \
0.02451, 0.02422, 0.02028");
}
rise_power(scalar) {
values("0");
/* SiliconSmart: placeholder for Liberty-required model for which no measurement is available. */
}
}
}
pin(I) {
capacitance : 0.01221 ;
direction : input ;
driver_waveform_rise : driver_waveform_default_rise ;
driver_waveform_fall : driver_waveform_default_fall ;
input_voltage : default ;
max_transition : 25 ;
related_ground_pin : VSS ;
related_power_pin : VDD ;
internal_power() {
when : "!EN" ;
fall_power(pwr_tin_10) {
index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
values("0.06503, 0.06448, 0.06344, 0.06271, 0.06237, 0.06223, 0.0623, \
0.06257, 0.0623, 0.04782");
}
rise_power(pwr_tin_10) {
index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
values("0.02001, 0.01984, 0.01935, 0.01877, 0.0183, 0.01803, 0.01795, \
0.01809, 0.01855, 0.01991");
}
}
}
pin(ZN) {
capacitance : 0.02683 ;
direction : output ;
function : "(!I)" ;
max_capacitance : 2.252 ;
max_transition : 25 ;
min_capacitance : 0.02783 ;
output_voltage : default ;
related_ground_pin : VSS ;
related_power_pin : VDD ;
three_state : "(!EN)" ;
internal_power() {
related_pin : "EN" ;
fall_power(pwr_tin_oload_10x10) {
index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
index_2("0.02783, 0.04318, 0.09705, 0.1999, 0.3602, 0.5851, 0.8811, 1.254, 1.709, 2.252");
values("0.1171, 0.1171, 0.1172, 0.1171, 0.1171, 0.117, 0.117, 0.1171, 0.117, 0.1168",\
"0.1172, 0.1172, 0.1172, 0.1172, 0.1171, 0.1171, 0.1171, 0.1171, 0.1171, 0.1169",\
"0.1176, 0.1176, 0.1176, 0.1176, 0.1175, 0.1175, 0.1175, 0.1175, 0.1175, 0.1172",\
"0.1179, 0.1179, 0.1179, 0.1179, 0.1179, 0.1178, 0.1178, 0.1178, 0.1177, 0.1173",\
"0.1182, 0.1182, 0.1182, 0.1182, 0.1181, 0.1181, 0.1181, 0.1181, 0.1179, 0.1171",\
"0.1186, 0.1186, 0.1186, 0.1185, 0.1185, 0.1185, 0.1185, 0.1184, 0.1179, 0.1161",\
"0.119, 0.119, 0.119, 0.119, 0.1189, 0.1189, 0.1188, 0.1184, 0.117, 0.1134",\
"0.1192, 0.1193, 0.1193, 0.1192, 0.1192, 0.119, 0.1186, 0.1169, 0.1129, 0.1074",\
"0.1189, 0.1189, 0.1189, 0.1187, 0.1183, 0.1172, 0.1141, 0.1083, 0.1026, 0.09824",\
"0.1087, 0.1086, 0.1082, 0.1068, 0.1011, 0.09376, 0.08882, 0.08555, 0.08331, 0.08176");
}
rise_power(pwr_tin_oload_10x10) {
index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
index_2("0.02783, 0.04318, 0.09705, 0.1999, 0.3602, 0.5851, 0.8811, 1.254, 1.709, 2.252");
values("0.03326, 0.03333, 0.0333, 0.03349, 0.03401, 0.03475, 0.03971, 0.1119, 0.4694, 1.136",\
"0.03313, 0.03318, 0.03318, 0.03339, 0.03391, 0.03465, 0.03989, 0.1164, 0.4751, 1.152",\
"0.0329, 0.03292, 0.03289, 0.03315, 0.03334, 0.03396, 0.04103, 0.1284, 0.5152, 1.192",\
"0.03256, 0.03261, 0.03266, 0.03284, 0.03302, 0.0342, 0.04507, 0.1596, 0.6026, 1.268",\
"0.03225, 0.03236, 0.03234, 0.03234, 0.03265, 0.03355, 0.0526, 0.2256, 0.7343, 1.367",\
"0.0322, 0.03222, 0.03249, 0.03269, 0.03323, 0.03523, 0.08027, 0.3601, 0.9169, 1.448",\
"0.03208, 0.03215, 0.03216, 0.03242, 0.03299, 0.04123, 0.1632, 0.5809, 1.074, 1.449",\
"0.03207, 0.03214, 0.03254, 0.03203, 0.03391, 0.0885, 0.3824, 0.7868, 1.087, 1.297",\
"0.03226, 0.03236, 0.03256, 0.03349, 0.08128, 0.3194, 0.5624, 0.7231, 0.83, 0.9035",\
"0.02382, 0.02376, 0.04637, 0.1019, 0.1378, 0.1583, 0.1702, 0.1776, 0.1824, 0.1856");
}
}
internal_power() {
related_pin : "I" ;
when : "EN" ;
fall_power(pwr_tin_oload_10x10) {
index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
index_2("0.02783, 0.04318, 0.09705, 0.1999, 0.3602, 0.5851, 0.8811, 1.254, 1.709, 2.252");
values("0.1941, 0.1953, 0.1978, 0.1995, 0.2004, 0.2009, 0.2011, 0.2013, 0.2014, 0.2011",\
"0.1939, 0.1952, 0.1976, 0.1994, 0.2003, 0.2007, 0.201, 0.2012, 0.2012, 0.2009",\
"0.1931, 0.1944, 0.1968, 0.1985, 0.1995, 0.1999, 0.2002, 0.2003, 0.2004, 0.2",\
"0.1919, 0.1932, 0.1956, 0.1973, 0.1983, 0.1988, 0.199, 0.1992, 0.1992, 0.1985",\
"0.1908, 0.192, 0.1944, 0.1963, 0.1972, 0.1977, 0.198, 0.1981, 0.198, 0.1969",\
"0.19, 0.1912, 0.1936, 0.1953, 0.1964, 0.1969, 0.1972, 0.1973, 0.1968, 0.1946",\
"0.1894, 0.1906, 0.1929, 0.1947, 0.1958, 0.1964, 0.1966, 0.1963, 0.1945, 0.1904",\
"0.1888, 0.19, 0.1923, 0.194, 0.1952, 0.1956, 0.1953, 0.1931, 0.1884, 0.183",\
"0.187, 0.188, 0.1902, 0.1918, 0.1924, 0.1914, 0.1871, 0.181, 0.1761, 0.1724",\
"0.1693, 0.1703, 0.1717, 0.1683, 0.1616, 0.1574, 0.1548, 0.1531, 0.1519, 0.1512");
}
rise_power(pwr_tin_oload_10x10) {
index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
index_2("0.02783, 0.04318, 0.09705, 0.1999, 0.3602, 0.5851, 0.8811, 1.254, 1.709, 2.252");
values("-0.07098, -0.07001, -0.06784, -0.06597, -0.06395, -0.06242, -0.05232, 0.06031, 0.4931, 1.165",\
"-0.07149, -0.07051, -0.0686, -0.06642, -0.06483, -0.06337, -0.05192, 0.06563, 0.505, 1.175",\
"-0.07266, -0.07165, -0.06961, -0.06749, -0.06557, -0.06467, -0.05095, 0.08512, 0.552, 1.212",\
"-0.0736, -0.07259, -0.07046, -0.06846, -0.0669, -0.06542, -0.04399, 0.1328, 0.6448, 1.274",\
"-0.07444, -0.07345, -0.07145, -0.06948, -0.06783, -0.06539, -0.02612, 0.2332, 0.7872, 1.34",\
"-0.07524, -0.07432, -0.07231, -0.07036, -0.0684, -0.06276, 0.02928, 0.4095, 0.9397, 1.362",\
"-0.07587, -0.07495, -0.07314, -0.07096, -0.06871, -0.04033, 0.1862, 0.6303, 1.007, 1.275",\
"-0.076, -0.07521, -0.07366, -0.07169, -0.05855, 0.09966, 0.4341, 0.6965, 0.8733, 0.9955",\
"-0.077, -0.07619, -0.07474, -0.04219, 0.1146, 0.239, 0.3141, 0.3607, 0.3912, 0.4119",\
"-0.2027, -0.203, -0.2034, -0.2036, -0.2037, -0.2037, -0.2037, -0.2037, -0.2037, -0.2037");
}
}
timing() {
related_pin : "EN" ;
timing_sense : negative_unate ;
timing_type : three_state_disable ;
cell_fall(tmg_ntin_10) {
index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
values("2.367, 2.472, 2.761, 3.309, 4.164, 5.372, 6.879, 8.537, 10.32, \
12.24");
}
cell_rise(tmg_ntin_10) {
index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
values("1.979, 2.052, 2.316, 2.858, 3.669, 4.64, 5.701, 6.872, 8.133, \
9.497");
}
fall_transition(tmg_ntin_10) {
index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
values("0, 0, 0, 0, 0, 0, 0, 0, 0, 0");
}
rise_transition(tmg_ntin_10) {
index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
values("0, 0, 0, 0, 0, 0, 0, 0, 0, 0");
}
}
timing() {
related_pin : "EN" ;
timing_sense : positive_unate ;
timing_type : three_state_enable ;
cell_fall(tmg_ntin_oload_10x10) {
index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
index_2("0.02783, 0.04318, 0.09705, 0.1999, 0.3602, 0.5851, 0.8811, 1.254, 1.709, 2.252");
values("2.918, 3.128, 3.631, 4.256, 4.964, 5.754, 6.647, 7.666, 8.836, 10.19",\
"2.993, 3.203, 3.706, 4.33, 5.038, 5.83, 6.722, 7.741, 8.911, 10.26",\
"3.258, 3.469, 3.971, 4.597, 5.304, 6.093, 6.988, 8.006, 9.176, 10.52",\
"3.748, 3.96, 4.461, 5.087, 5.794, 6.586, 7.478, 8.496, 9.666, 11.02",\
"4.448, 4.66, 5.16, 5.786, 6.495, 7.286, 8.179, 9.197, 10.37, 11.71",\
"5.101, 5.312, 5.813, 6.437, 7.147, 7.934, 8.83, 9.848, 11.02, 12.37",\
"5.638, 5.85, 6.351, 6.976, 7.682, 8.473, 9.367, 10.38, 11.55, 12.9",\
"6.109, 6.321, 6.822, 7.449, 8.156, 8.946, 9.839, 10.86, 12.03, 13.37",\
"6.533, 6.745, 7.248, 7.874, 8.583, 9.373, 10.27, 11.28, 12.45, 13.8",\
"6.908, 7.119, 7.624, 8.251, 8.96, 9.749, 10.64, 11.66, 12.83, 14.18");
}
cell_rise(tmg_ntin_oload_10x10) {
index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
index_2("0.02783, 0.04318, 0.09705, 0.1999, 0.3602, 0.5851, 0.8811, 1.254, 1.709, 2.252");
values("2.149, 2.334, 2.832, 3.593, 4.674, 6.154, 8.095, 10.54, 13.52, 17.06",\
"2.219, 2.405, 2.902, 3.663, 4.744, 6.225, 8.165, 10.61, 13.59, 17.14",\
"2.466, 2.652, 3.15, 3.911, 4.992, 6.472, 8.412, 10.86, 13.83, 17.38",\
"2.937, 3.122, 3.619, 4.381, 5.461, 6.942, 8.882, 11.32, 14.3, 17.86",\
"3.663, 3.849, 4.347, 5.109, 6.19, 7.67, 9.609, 12.05, 15.03, 18.59",\
"4.584, 4.781, 5.296, 6.065, 7.147, 8.628, 10.57, 13.01, 15.99, 19.54",\
"5.547, 5.767, 6.322, 7.117, 8.208, 9.689, 11.63, 14.07, 17.05, 20.61",\
"6.521, 6.767, 7.367, 8.198, 9.305, 10.79, 12.73, 15.17, 18.15, 21.69",\
"7.499, 7.772, 8.425, 9.295, 10.42, 11.91, 13.85, 16.29, 19.27, 22.82",\
"8.463, 8.767, 9.482, 10.4, 11.55, 13.05, 14.99, 17.43, 20.4, 23.95");
}
fall_transition(tmg_ntin_oload_10x10) {
index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
index_2("0.02783, 0.04318, 0.09705, 0.1999, 0.3602, 0.5851, 0.8811, 1.254, 1.709, 2.252");
values("1.063, 1.197, 1.544, 2.047, 2.705, 3.554, 4.645, 6.017, 7.743, 9.857",\
"1.063, 1.197, 1.543, 2.047, 2.711, 3.555, 4.645, 6.021, 7.749, 9.854",\
"1.063, 1.196, 1.544, 2.048, 2.707, 3.554, 4.639, 6.021, 7.739, 9.857",\
"1.064, 1.195, 1.544, 2.048, 2.704, 3.555, 4.645, 6.019, 7.741, 9.854",\
"1.063, 1.196, 1.543, 2.047, 2.707, 3.554, 4.641, 6.016, 7.74, 9.864",\
"1.061, 1.194, 1.543, 2.049, 2.712, 3.558, 4.64, 6.024, 7.748, 9.86",\
"1.062, 1.198, 1.542, 2.044, 2.708, 3.546, 4.636, 6.014, 7.742, 9.862",\
"1.066, 1.196, 1.542, 2.048, 2.706, 3.554, 4.63, 6.008, 7.738, 9.85",\
"1.066, 1.198, 1.544, 2.048, 2.708, 3.556, 4.634, 6.022, 7.732, 9.844",\
"1.066, 1.2, 1.544, 2.05, 2.704, 3.56, 4.64, 6.014, 7.734, 9.84");
}
rise_transition(tmg_ntin_oload_10x10) {
index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
index_2("0.02783, 0.04318, 0.09705, 0.1999, 0.3602, 0.5851, 0.8811, 1.254, 1.709, 2.252");
values("0.71, 0.8864, 1.436, 2.468, 4.151, 6.604, 9.868, 13.97, 19.06, 25.01",\
"0.7106, 0.8864, 1.435, 2.468, 4.151, 6.605, 9.873, 14, 19.02, 25.05",\
"0.7096, 0.8862, 1.434, 2.467, 4.148, 6.603, 9.86, 13.96, 19.01, 25",\
"0.71, 0.886, 1.436, 2.467, 4.15, 6.605, 9.859, 14.01, 19.01, 25.05",\
"0.7146, 0.8898, 1.439, 2.467, 4.148, 6.597, 9.87, 13.98, 18.99, 24.97",\
"0.7792, 0.945, 1.468, 2.483, 4.154, 6.596, 9.872, 14.01, 18.99, 24.97",\
"0.888, 1.056, 1.566, 2.538, 4.176, 6.602, 9.86, 14, 19, 25.06",\
"1.01, 1.182, 1.684, 2.624, 4.224, 6.618, 9.862, 13.99, 19, 25.01",\
"1.146, 1.322, 1.818, 2.732, 4.286, 6.662, 9.872, 13.97, 19, 25.04",\
"1.292, 1.48, 1.97, 2.85, 4.366, 6.702, 9.898, 13.99, 19, 25.01");
}
}
timing() {
related_pin : "I" ;
timing_sense : negative_unate ;
timing_type : combinational ;
cell_fall(tmg_ntin_oload_10x10) {
index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
index_2("0.02783, 0.04318, 0.09705, 0.1999, 0.3602, 0.5851, 0.8811, 1.254, 1.709, 2.252");
values("4.17, 4.372, 4.859, 5.471, 6.171, 6.955, 7.846, 8.863, 10.03, 11.38",\
"4.241, 4.443, 4.929, 5.542, 6.243, 7.027, 7.917, 8.934, 10.1, 11.45",\
"4.488, 4.691, 5.176, 5.79, 6.489, 7.275, 8.165, 9.181, 10.35, 11.7",\
"4.923, 5.125, 5.611, 6.225, 6.925, 7.711, 8.6, 9.616, 10.79, 12.13",\
"5.423, 5.626, 6.113, 6.727, 7.427, 8.211, 9.101, 10.12, 11.29, 12.63",\
"5.94, 6.142, 6.629, 7.243, 7.943, 8.728, 9.619, 10.64, 11.81, 13.15",\
"6.46, 6.665, 7.151, 7.768, 8.466, 9.254, 10.14, 11.16, 12.33, 13.68",\
"6.976, 7.181, 7.669, 8.282, 8.982, 9.771, 10.66, 11.68, 12.85, 14.2",\
"7.476, 7.679, 8.167, 8.782, 9.484, 10.27, 11.16, 12.18, 13.35, 14.7",\
"7.942, 8.146, 8.635, 9.251, 9.954, 10.74, 11.63, 12.65, 13.82, 15.17");
}
cell_rise(tmg_ntin_oload_10x10) {
index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
index_2("0.02783, 0.04318, 0.09705, 0.1999, 0.3602, 0.5851, 0.8811, 1.254, 1.709, 2.252");
values("3.959, 4.142, 4.64, 5.405, 6.49, 7.974, 9.917, 12.36, 15.34, 18.89",\
"4.031, 4.215, 4.712, 5.476, 6.561, 8.045, 9.988, 12.43, 15.41, 18.96",\
"4.298, 4.483, 4.979, 5.744, 6.83, 8.314, 10.26, 12.7, 15.68, 19.23",\
"4.838, 5.022, 5.519, 6.283, 7.369, 8.852, 10.8, 13.24, 16.22, 19.77",\
"5.677, 5.86, 6.358, 7.122, 8.208, 9.691, 11.63, 14.08, 17.06, 20.61",\
"6.737, 6.92, 7.418, 8.183, 9.269, 10.75, 12.7, 15.14, 18.13, 21.67",\
"7.921, 8.106, 8.604, 9.369, 10.45, 11.94, 13.88, 16.33, 19.3, 22.86",\
"9.216, 9.4, 9.898, 10.66, 11.75, 13.24, 15.18, 17.62, 20.61, 24.16",\
"10.61, 10.8, 11.3, 12.06, 13.15, 14.63, 16.58, 19.02, 22, 25.56",\
"12.11, 12.3, 12.8, 13.56, 14.65, 16.14, 18.08, 20.53, 23.51, 27.06");
}
fall_transition(tmg_ntin_oload_10x10) {
index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
index_2("0.02783, 0.04318, 0.09705, 0.1999, 0.3602, 0.5851, 0.8811, 1.254, 1.709, 2.252");
values("0.971, 1.114, 1.478, 2.001, 2.671, 3.53, 4.623, 6.007, 7.739, 9.848",\
"0.9708, 1.112, 1.479, 2.001, 2.671, 3.529, 4.627, 6.008, 7.734, 9.856",\
"0.9706, 1.112, 1.479, 2.001, 2.676, 3.535, 4.621, 6.006, 7.734, 9.858",\
"0.9712, 1.112, 1.478, 2.001, 2.676, 3.535, 4.619, 6.011, 7.742, 9.852",\
"0.9722, 1.115, 1.48, 2.002, 2.674, 3.529, 4.63, 6.012, 7.742, 9.85",\
"0.9744, 1.116, 1.486, 2.002, 2.676, 3.532, 4.624, 6.008, 7.734, 9.856",\
"0.976, 1.118, 1.482, 2.002, 2.674, 3.534, 4.628, 6.012, 7.74, 9.856",\
"0.976, 1.12, 1.484, 2.006, 2.678, 3.532, 4.624, 6.008, 7.73, 9.846",\
"0.978, 1.12, 1.484, 2.006, 2.68, 3.534, 4.632, 6.002, 7.73, 9.844",\
"0.984, 1.124, 1.488, 2.006, 2.674, 3.536, 4.628, 6.008, 7.742, 9.848");
}
rise_transition(tmg_ntin_oload_10x10) {
index_1("0.02, 0.1924, 0.7976, 1.953, 3.754, 6.28, 9.605, 13.79, 18.91, 25");
index_2("0.02783, 0.04318, 0.09705, 0.1999, 0.3602, 0.5851, 0.8811, 1.254, 1.709, 2.252");
values("0.6628, 0.8446, 1.408, 2.45, 4.147, 6.603, 9.862, 13.96, 19, 24.97",\
"0.6628, 0.8446, 1.407, 2.453, 4.143, 6.598, 9.856, 13.98, 18.99, 24.97",\
"0.663, 0.8444, 1.407, 2.453, 4.144, 6.603, 9.873, 14.01, 18.99, 24.97",\
"0.6626, 0.8444, 1.407, 2.453, 4.143, 6.594, 9.874, 14.01, 18.99, 24.98",\
"0.6628, 0.8448, 1.407, 2.45, 4.144, 6.594, 9.856, 13.98, 18.99, 25.02",\
"0.664, 0.846, 1.41, 2.45, 4.148, 6.604, 9.86, 13.97, 19, 25",\
"0.668, 0.848, 1.408, 2.452, 4.146, 6.602, 9.872, 13.98, 19.01, 25",\
"0.67, 0.852, 1.412, 2.45, 4.142, 6.598, 9.854, 13.98, 18.99, 24.98",\
"0.674, 0.856, 1.416, 2.454, 4.142, 6.598, 9.858, 13.98, 19.02, 24.98",\
"0.676, 0.86, 1.418, 2.456, 4.146, 6.594, 9.856, 13.97, 19.01, 25.03");
}
}
}
}