blob: 4919e735a59e86c304a23d544211503fe83fcf4f [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__nor2_4) {
area : 39.513600 ;
leakage_power() {
related_pg_pin : "VDD" ;
when : "!A1&!A2" ;
value : "0.00053661" ;
}
leakage_power() {
related_pg_pin : "VDD" ;
when : "!A1&A2" ;
value : "0.0005046" ;
}
leakage_power() {
related_pg_pin : "VDD" ;
when : "A1&!A2" ;
value : "0.000456" ;
}
leakage_power() {
related_pg_pin : "VDD" ;
when : "A1&A2" ;
value : "0.00045591" ;
}
leakage_power() {
related_pg_pin : "VDD" ;
value : "0.00053661" ;
}
pg_pin(VDD) {
voltage_name : VDD ;
pg_type : primary_power ;
}
pg_pin(VSS) {
voltage_name : VSS ;
pg_type : primary_ground ;
}
pin(A1) {
capacitance : 0.0176 ;
direction : input ;
driver_waveform_rise : driver_waveform_default_rise ;
driver_waveform_fall : driver_waveform_default_fall ;
input_voltage : default ;
max_transition : 15.6 ;
related_ground_pin : VSS ;
related_power_pin : VDD ;
internal_power() {
when : "A2" ;
fall_power(pwr_tin_10) {
index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
values("0.03912, 0.03905, 0.03897, 0.03892, 0.03898, 0.03892, 0.03882, \
0.03869, 0.03845, 0.03789");
}
rise_power(pwr_tin_10) {
index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
values("-0.01816, -0.01817, -0.01818, -0.01819, -0.01823, -0.01824, -0.01825, \
-0.01825, -0.01824, -0.01824");
}
}
}
pin(A2) {
capacitance : 0.01764 ;
direction : input ;
driver_waveform_rise : driver_waveform_default_rise ;
driver_waveform_fall : driver_waveform_default_fall ;
input_voltage : default ;
max_transition : 15.6 ;
related_ground_pin : VSS ;
related_power_pin : VDD ;
internal_power() {
when : "A1" ;
fall_power(pwr_tin_10) {
index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
values("0.05382, 0.05379, 0.05373, 0.05371, 0.05386, 0.05381, 0.05381, \
0.05379, 0.05378, 0.05382");
}
rise_power(pwr_tin_10) {
index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
values("-0.04997, -0.05032, -0.0514, -0.05201, -0.05252, -0.05265, -0.05279, \
-0.0529, -0.05295, -0.05301");
}
}
}
pin(ZN) {
direction : output ;
function : "((!A1)&(!A2))" ;
max_capacitance : 0.6854 ;
max_transition : 15.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.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
index_2("0.001, 0.005724, 0.02231, 0.05397, 0.1033, 0.1725, 0.2636, 0.3784, 0.5184, 0.6854");
values("-0.004367, -0.004076, -0.003566, -0.003293, -0.00317, -0.003086, -0.003042, -0.003008, -0.002979, -0.002968",\
"-0.005551, -0.004573, -0.002824, -0.001528, -0.0009308, -0.0005889, -0.0003299, -0.0002002, -0.0001145, -0.0001101",\
"-0.004575, -0.003914, -0.002252, -0.0006839, 0.0003501, 0.0009397, 0.001358, 0.001595, 0.001727, 0.001834",\
"0.006165, 0.005547, 0.004528, 0.003978, 0.003711, 0.003563, 0.003387, 0.003269, 0.003208, 0.003144",\
"0.0305, 0.02831, 0.02327, 0.01852, 0.01476, 0.01212, 0.01015, 0.008696, 0.007545, 0.006663",\
"0.06987, 0.06618, 0.05676, 0.04628, 0.03747, 0.03054, 0.02513, 0.02098, 0.01768, 0.01512",\
"0.1248, 0.1199, 0.1065, 0.08983, 0.07461, 0.06185, 0.0515, 0.0432, 0.03649, 0.03111",\
"0.1961, 0.1901, 0.1732, 0.1506, 0.1281, 0.1084, 0.09176, 0.07799, 0.06645, 0.05721",\
"0.2846, 0.2776, 0.2576, 0.2297, 0.1996, 0.1721, 0.1483, 0.1277, 0.1103, 0.09577",\
"0.391, 0.3833, 0.3607, 0.3275, 0.2906, 0.2547, 0.2223, 0.1946, 0.1701, 0.1488");
}
rise_power(pwr_tin_oload_10x10) {
index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
index_2("0.001, 0.005724, 0.02231, 0.05397, 0.1033, 0.1725, 0.2636, 0.3784, 0.5184, 0.6854");
values("0.1562, 0.1567, 0.1576, 0.1584, 0.1589, 0.1597, 0.1611, 0.1647, 0.2, 0.3744",\
"0.1511, 0.1523, 0.1545, 0.1564, 0.1579, 0.1592, 0.1602, 0.1641, 0.201, 0.3778",\
"0.1534, 0.1532, 0.1534, 0.1547, 0.1565, 0.1577, 0.1592, 0.1638, 0.2035, 0.3904",\
"0.1693, 0.1677, 0.1642, 0.1613, 0.16, 0.1599, 0.1611, 0.1656, 0.2111, 0.4185",\
"0.199, 0.1961, 0.1889, 0.1813, 0.1747, 0.1706, 0.1687, 0.1736, 0.2283, 0.4712",\
"0.2441, 0.2397, 0.2288, 0.2158, 0.2044, 0.1941, 0.1869, 0.1919, 0.2668, 0.5652",\
"0.3056, 0.3, 0.2854, 0.2667, 0.2489, 0.2336, 0.2204, 0.2278, 0.3398, 0.7255",\
"0.385, 0.3782, 0.3598, 0.3359, 0.3111, 0.2894, 0.2722, 0.2938, 0.4819, 0.9842",\
"0.4832, 0.4753, 0.4533, 0.4241, 0.3928, 0.3634, 0.3481, 0.4239, 0.753, 1.362",\
"0.6015, 0.5926, 0.5671, 0.5326, 0.4948, 0.4607, 0.4817, 0.7156, 1.202, 1.754");
}
}
internal_power() {
related_pin : "A2" ;
when : "!A1" ;
fall_power(pwr_tin_oload_10x10) {
index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
index_2("0.001, 0.005724, 0.02231, 0.05397, 0.1033, 0.1725, 0.2636, 0.3784, 0.5184, 0.6854");
values("0.02984, 0.02979, 0.02989, 0.02999, 0.03002, 0.03005, 0.0301, 0.03007, 0.03007, 0.03008",\
"0.02632, 0.02636, 0.02646, 0.02667, 0.0268, 0.02687, 0.02687, 0.02693, 0.02694, 0.02691",\
"0.02469, 0.02466, 0.02469, 0.02473, 0.02473, 0.02473, 0.02475, 0.02473, 0.02473, 0.02472",\
"0.03441, 0.03347, 0.03136, 0.0294, 0.02787, 0.02682, 0.02606, 0.02556, 0.02526, 0.02497",\
"0.06007, 0.05789, 0.05204, 0.04556, 0.04022, 0.03628, 0.03333, 0.03121, 0.02966, 0.02845",\
"0.1035, 0.09976, 0.08958, 0.07724, 0.0661, 0.05701, 0.05, 0.04469, 0.04054, 0.03735",\
"0.1656, 0.1606, 0.1462, 0.1273, 0.1086, 0.09281, 0.07967, 0.06936, 0.06109, 0.05471",\
"0.2473, 0.2412, 0.2229, 0.1972, 0.1704, 0.1463, 0.1256, 0.1086, 0.09465, 0.08334",\
"0.3493, 0.3422, 0.3205, 0.2886, 0.2537, 0.2203, 0.1907, 0.1652, 0.1439, 0.1263",\
"0.4725, 0.4647, 0.4398, 0.4023, 0.3592, 0.3163, 0.2767, 0.2419, 0.2117, 0.1859");
}
rise_power(pwr_tin_oload_10x10) {
index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
index_2("0.001, 0.005724, 0.02231, 0.05397, 0.1033, 0.1725, 0.2636, 0.3784, 0.5184, 0.6854");
values("0.1941, 0.1945, 0.195, 0.1956, 0.1963, 0.1971, 0.1984, 0.2023, 0.238, 0.4143",\
"0.1897, 0.1906, 0.1925, 0.1941, 0.1955, 0.1964, 0.1975, 0.2016, 0.2389, 0.4172",\
"0.1871, 0.1875, 0.189, 0.1911, 0.1932, 0.1947, 0.1963, 0.2011, 0.2415, 0.4301",\
"0.1958, 0.195, 0.1939, 0.1934, 0.194, 0.1951, 0.1968, 0.2026, 0.247, 0.4547",\
"0.2239, 0.2211, 0.2152, 0.2098, 0.2057, 0.2033, 0.2026, 0.2076, 0.2635, 0.5002",\
"0.2735, 0.269, 0.2576, 0.2452, 0.2351, 0.2267, 0.2208, 0.2251, 0.2959, 0.5831",\
"0.3443, 0.3382, 0.3218, 0.3018, 0.2833, 0.2684, 0.2563, 0.2606, 0.362, 0.7223",\
"0.4357, 0.4286, 0.4083, 0.3813, 0.3539, 0.3301, 0.3121, 0.3257, 0.4846, 0.9491",\
"0.5491, 0.541, 0.5174, 0.484, 0.4487, 0.4148, 0.3929, 0.4403, 0.712, 1.289",\
"0.6855, 0.6764, 0.6495, 0.6104, 0.5663, 0.5252, 0.5175, 0.6703, 1.104, 1.703");
}
}
timing() {
related_pin : "A1" ;
timing_sense : negative_unate ;
timing_type : combinational ;
cell_fall(tmg_ntin_oload_10x10) {
index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
index_2("0.001, 0.005724, 0.02231, 0.05397, 0.1033, 0.1725, 0.2636, 0.3784, 0.5184, 0.6854");
values("0.1041, 0.1265, 0.2042, 0.3516, 0.581, 0.9033, 1.327, 1.861, 2.511, 3.29",\
"0.1331, 0.156, 0.2349, 0.3833, 0.6131, 0.9358, 1.359, 1.893, 2.544, 3.322",\
"0.1939, 0.2304, 0.3347, 0.49, 0.7201, 1.043, 1.467, 2.001, 2.652, 3.43",\
"0.2169, 0.271, 0.4256, 0.6511, 0.9224, 1.247, 1.67, 2.204, 2.855, 3.633",\
"0.1963, 0.2692, 0.4748, 0.7735, 1.135, 1.544, 1.991, 2.523, 3.173, 3.949",\
"0.1283, 0.219, 0.4783, 0.8512, 1.301, 1.813, 2.371, 2.968, 3.625, 4.397",\
"0.0084, 0.1176, 0.4286, 0.8791, 1.42, 2.031, 2.703, 3.424, 4.187, 4.992",\
"-0.1679, -0.0399, 0.323, 0.8487, 1.485, 2.2, 2.98, 3.824, 4.719, 5.66",\
"-0.4051, -0.2571, 0.1605, 0.7631, 1.491, 2.31, 3.204, 4.167, 5.191, 6.272",\
"-0.7071, -0.5394, -0.0687, 0.6104, 1.434, 2.361, 3.368, 4.453, 5.605, 6.821");
}
cell_rise(tmg_ntin_oload_10x10) {
index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
index_2("0.001, 0.005724, 0.02231, 0.05397, 0.1033, 0.1725, 0.2636, 0.3784, 0.5184, 0.6854");
values("0.2325, 0.2932, 0.5018, 0.8971, 1.511, 2.371, 3.504, 4.93, 6.676, 8.748",\
"0.2482, 0.3096, 0.5223, 0.9204, 1.537, 2.398, 3.532, 4.958, 6.7, 8.776",\
"0.358, 0.4191, 0.6256, 1.022, 1.639, 2.501, 3.635, 5.063, 6.807, 8.885",\
"0.5287, 0.6089, 0.8517, 1.246, 1.855, 2.714, 3.847, 5.271, 7.013, 9.09",\
"0.7499, 0.8452, 1.137, 1.602, 2.216, 3.064, 4.187, 5.611, 7.345, 9.42",\
"1.026, 1.139, 1.476, 2.012, 2.719, 3.579, 4.69, 6.101, 7.833, 9.897",\
"1.355, 1.489, 1.877, 2.479, 3.278, 4.244, 5.372, 6.768, 8.484, 10.54",\
"1.741, 1.896, 2.343, 3.015, 3.894, 4.972, 6.215, 7.632, 9.333, 11.37",\
"2.187, 2.364, 2.87, 3.622, 4.583, 5.756, 7.127, 8.666, 10.39, 12.42",\
"2.697, 2.895, 3.465, 4.301, 5.348, 6.614, 8.097, 9.776, 11.63, 13.68");
}
fall_transition(tmg_ntin_oload_10x10) {
index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
index_2("0.001, 0.005724, 0.02231, 0.05397, 0.1033, 0.1725, 0.2636, 0.3784, 0.5184, 0.6854");
values("0.1126, 0.15, 0.2816, 0.533, 0.9258, 1.476, 2.202, 3.113, 4.228, 5.565",\
"0.1127, 0.1498, 0.2816, 0.5328, 0.9264, 1.475, 2.202, 3.117, 4.223, 5.555",\
"0.1921, 0.229, 0.3334, 0.5402, 0.9253, 1.475, 2.203, 3.117, 4.223, 5.554",\
"0.3065, 0.3574, 0.505, 0.7266, 1.01, 1.487, 2.199, 3.111, 4.225, 5.558",\
"0.4518, 0.5178, 0.7058, 0.9848, 1.335, 1.734, 2.293, 3.118, 4.225, 5.551",\
"0.6188, 0.7046, 0.94, 1.277, 1.697, 2.188, 2.727, 3.382, 4.31, 5.562",\
"0.8116, 0.9162, 1.205, 1.606, 2.091, 2.667, 3.312, 4.006, 4.786, 5.821",\
"1.028, 1.153, 1.498, 1.974, 2.535, 3.181, 3.92, 4.727, 5.587, 6.508",\
"1.263, 1.414, 1.815, 2.375, 3.023, 3.746, 4.561, 5.469, 6.452, 7.492",\
"1.518, 1.696, 2.163, 2.799, 3.543, 4.356, 5.26, 6.256, 7.344, 8.51");
}
rise_transition(tmg_ntin_oload_10x10) {
index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
index_2("0.001, 0.005724, 0.02231, 0.05397, 0.1033, 0.1725, 0.2636, 0.3784, 0.5184, 0.6854");
values("0.3398, 0.4429, 0.8048, 1.49, 2.56, 4.061, 6.035, 8.521, 11.54, 15.15",\
"0.3385, 0.4429, 0.8039, 1.491, 2.56, 4.061, 6.036, 8.511, 11.56, 15.16",\
"0.3729, 0.4575, 0.8017, 1.491, 2.56, 4.056, 6.031, 8.516, 11.55, 15.17",\
"0.4732, 0.5794, 0.8948, 1.498, 2.558, 4.06, 6.029, 8.511, 11.55, 15.18",\
"0.5972, 0.7104, 1.086, 1.676, 2.595, 4.058, 6.036, 8.516, 11.55, 15.15",\
"0.76, 0.8894, 1.282, 1.963, 2.853, 4.138, 6.027, 8.522, 11.55, 15.18",\
"0.9506, 1.088, 1.517, 2.25, 3.258, 4.482, 6.168, 8.532, 11.56, 15.16",\
"1.161, 1.323, 1.792, 2.563, 3.662, 5.011, 6.597, 8.728, 11.59, 15.18",\
"1.39, 1.578, 2.107, 2.923, 4.072, 5.548, 7.258, 9.246, 11.85, 15.24",\
"1.64, 1.852, 2.45, 3.332, 4.524, 6.084, 7.954, 10.03, 12.47, 15.57");
}
}
timing() {
related_pin : "A2" ;
timing_sense : negative_unate ;
timing_type : combinational ;
cell_fall(tmg_ntin_oload_10x10) {
index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
index_2("0.001, 0.005724, 0.02231, 0.05397, 0.1033, 0.1725, 0.2636, 0.3784, 0.5184, 0.6854");
values("0.1414, 0.1662, 0.2496, 0.4019, 0.6346, 0.9583, 1.383, 1.917, 2.568, 3.344",\
"0.1685, 0.1934, 0.2763, 0.4289, 0.6616, 0.9853, 1.41, 1.944, 2.595, 3.371",\
"0.255, 0.2867, 0.3805, 0.533, 0.7654, 1.089, 1.513, 2.047, 2.699, 3.475",\
"0.3182, 0.3638, 0.5012, 0.7102, 0.9696, 1.293, 1.717, 2.25, 2.9, 3.676",\
"0.3461, 0.406, 0.5856, 0.8592, 1.203, 1.598, 2.039, 2.571, 3.22, 3.995",\
"0.3364, 0.4109, 0.6325, 0.9704, 1.395, 1.887, 2.432, 3.019, 3.674, 4.444",\
"0.2882, 0.3754, 0.639, 1.041, 1.546, 2.131, 2.783, 3.49, 4.243, 5.043",\
"0.2005, 0.3007, 0.6034, 1.07, 1.654, 2.33, 3.087, 3.91, 4.791, 5.721",\
"0.072, 0.1842, 0.5236, 1.053, 1.718, 2.487, 3.344, 4.279, 5.284, 6.348",\
"-0.1018, 0.0239, 0.402, 0.9881, 1.734, 2.596, 3.555, 4.598, 5.725, 6.921");
}
cell_rise(tmg_ntin_oload_10x10) {
index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
index_2("0.001, 0.005724, 0.02231, 0.05397, 0.1033, 0.1725, 0.2636, 0.3784, 0.5184, 0.6854");
values("0.3002, 0.36, 0.5684, 0.963, 1.576, 2.437, 3.57, 4.996, 6.739, 8.813",\
"0.3242, 0.3857, 0.5972, 0.9945, 1.61, 2.471, 3.604, 5.031, 6.773, 8.849",\
"0.4056, 0.4687, 0.6801, 1.079, 1.696, 2.56, 3.694, 5.122, 6.863, 8.94",\
"0.5107, 0.5845, 0.8221, 1.227, 1.84, 2.703, 3.837, 5.268, 7.006, 9.082",\
"0.6635, 0.7467, 1.008, 1.454, 2.082, 2.936, 4.063, 5.487, 7.231, 9.301",\
"0.8641, 0.9621, 1.256, 1.736, 2.413, 3.289, 4.406, 5.82, 7.552, 9.62",\
"1.108, 1.223, 1.56, 2.084, 2.803, 3.735, 4.879, 6.282, 8.002, 10.06",\
"1.392, 1.525, 1.909, 2.493, 3.261, 4.241, 5.451, 6.885, 8.594, 10.64",\
"1.719, 1.869, 2.304, 2.956, 3.789, 4.819, 6.082, 7.588, 9.335, 11.37",\
"2.088, 2.257, 2.744, 3.467, 4.376, 5.472, 6.789, 8.357, 10.18, 12.26");
}
fall_transition(tmg_ntin_oload_10x10) {
index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
index_2("0.001, 0.005724, 0.02231, 0.05397, 0.1033, 0.1725, 0.2636, 0.3784, 0.5184, 0.6854");
values("0.165, 0.2044, 0.339, 0.5907, 0.9837, 1.531, 2.255, 3.164, 4.275, 5.599",\
"0.162, 0.2027, 0.338, 0.5914, 0.9823, 1.532, 2.254, 3.164, 4.274, 5.6",\
"0.231, 0.2651, 0.3675, 0.5927, 0.9825, 1.533, 2.255, 3.165, 4.274, 5.599",\
"0.3578, 0.4063, 0.548, 0.76, 1.051, 1.539, 2.255, 3.165, 4.275, 5.599",\
"0.5136, 0.5764, 0.7538, 1.027, 1.37, 1.77, 2.339, 3.174, 4.275, 5.599",\
"0.6964, 0.775, 0.995, 1.321, 1.738, 2.223, 2.756, 3.423, 4.358, 5.61",\
"0.9012, 0.9996, 1.27, 1.651, 2.131, 2.701, 3.344, 4.033, 4.817, 5.857",\
"1.131, 1.251, 1.575, 2.024, 2.568, 3.211, 3.946, 4.754, 5.612, 6.543",\
"1.393, 1.529, 1.911, 2.436, 3.056, 3.768, 4.581, 5.492, 6.478, 7.516",\
"1.688, 1.841, 2.274, 2.882, 3.588, 4.38, 5.26, 6.266, 7.36, 8.53");
}
rise_transition(tmg_ntin_oload_10x10) {
index_1("0.02, 0.1275, 0.505, 1.226, 2.349, 3.925, 5.998, 8.61, 11.8, 15.6");
index_2("0.001, 0.005724, 0.02231, 0.05397, 0.1033, 0.1725, 0.2636, 0.3784, 0.5184, 0.6854");
values("0.342, 0.4444, 0.8037, 1.489, 2.558, 4.06, 6.035, 8.523, 11.55, 15.18",\
"0.3426, 0.4443, 0.8037, 1.489, 2.56, 4.057, 6.031, 8.521, 11.55, 15.16",\
"0.3715, 0.461, 0.8038, 1.489, 2.559, 4.054, 6.034, 8.516, 11.56, 15.17",\
"0.4666, 0.5654, 0.8866, 1.504, 2.56, 4.061, 6.03, 8.519, 11.54, 15.17",\
"0.5954, 0.692, 1.033, 1.652, 2.608, 4.058, 6.033, 8.519, 11.54, 15.16",\
"0.7728, 0.8718, 1.208, 1.854, 2.815, 4.158, 6.038, 8.52, 11.56, 15.17",\
"0.9728, 1.084, 1.439, 2.084, 3.085, 4.423, 6.184, 8.541, 11.56, 15.18",\
"1.193, 1.319, 1.71, 2.374, 3.379, 4.772, 6.522, 8.753, 11.62, 15.18",\
"1.435, 1.569, 2.009, 2.717, 3.737, 5.144, 6.96, 9.156, 11.88, 15.27",\
"1.696, 1.848, 2.328, 3.098, 4.152, 5.56, 7.404, 9.678, 12.36, 15.6");
}
}
}
}