blob: e0bc1d0ff748928eff1ee141787bd3e50c3ded65 [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__nand2_1) {
area : 10.976000 ;
leakage_power() {
related_pg_pin : "VDD" ;
when : "!A1&!A2" ;
value : "0.00034449" ;
}
leakage_power() {
related_pg_pin : "VDD" ;
when : "!A1&A2" ;
value : "0.0003486" ;
}
leakage_power() {
related_pg_pin : "VDD" ;
when : "A1&!A2" ;
value : "0.00036102" ;
}
leakage_power() {
related_pg_pin : "VDD" ;
when : "A1&A2" ;
value : "0.00035277" ;
}
leakage_power() {
related_pg_pin : "VDD" ;
value : "0.00036102" ;
}
pg_pin(VDD) {
voltage_name : VDD ;
pg_type : primary_power ;
}
pg_pin(VSS) {
voltage_name : VSS ;
pg_type : primary_ground ;
}
pin(A1) {
capacitance : 0.004782 ;
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.01428, 0.01426, 0.0142, 0.01414, 0.01412, 0.0141, 0.01409, 0.01409, \
0.01408, 0.01408");
}
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.009242, -0.009244, -0.009221, -0.009232, -0.009281, -0.009272, \
-0.009291, -0.009325, -0.00938, -0.009523");
}
}
}
pin(A2) {
capacitance : 0.004454 ;
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.01411, 0.01298, 0.01255, 0.01245, 0.01242, 0.01242, 0.01234, \
0.01233, 0.01234, 0.01234");
}
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.01251, -0.01249, -0.01226, -0.01229, -0.01233, -0.01234, -0.01235, \
-0.01235, -0.01234, -0.01234");
}
}
}
pin(ZN) {
direction : output ;
function : "((!A1)|(!A2))" ;
max_capacitance : 0.3183 ;
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.00319, 0.01088, 0.02556, 0.04843, 0.08052, 0.1227, 0.1759, 0.2409, 0.3183");
values("0.002847, 0.002938, 0.002989, 0.003034, 0.003042, 0.003052, 0.003058, 0.003071, 0.00305, 0.002995",\
"0.001997, 0.002289, 0.002663, 0.002854, 0.002941, 0.003, 0.003023, 0.003037, 0.003044, 0.00299",\
"0.001982, 0.002102, 0.002402, 0.002658, 0.002816, 0.002904, 0.002959, 0.002991, 0.002977, 0.002933",\
"0.005282, 0.004845, 0.004152, 0.003717, 0.003498, 0.003368, 0.003268, 0.003216, 0.00317, 0.00307",\
"0.01269, 0.01161, 0.009338, 0.007401, 0.006097, 0.005225, 0.004647, 0.004251, 0.003962, 0.00367",\
"0.0246, 0.02285, 0.01881, 0.01481, 0.01174, 0.009515, 0.007935, 0.006824, 0.005982, 0.005249",\
"0.04122, 0.03887, 0.03304, 0.02667, 0.02132, 0.01717, 0.01405, 0.01172, 0.009926, 0.008388",\
"0.06278, 0.05992, 0.05246, 0.0436, 0.0356, 0.02905, 0.02387, 0.01981, 0.01658, 0.01379",\
"0.08953, 0.08626, 0.0773, 0.06599, 0.05509, 0.04574, 0.03803, 0.03181, 0.02659, 0.022",\
"0.1217, 0.118, 0.1078, 0.09417, 0.08029, 0.06787, 0.05727, 0.04829, 0.04041, 0.03338");
}
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.00319, 0.01088, 0.02556, 0.04843, 0.08052, 0.1227, 0.1759, 0.2409, 0.3183");
values("0.04016, 0.04039, 0.04066, 0.04074, 0.04077, 0.04071, 0.04044, 0.04191, 0.05772, 0.1417",\
"0.039, 0.03961, 0.04055, 0.0408, 0.04101, 0.0411, 0.04083, 0.04217, 0.05905, 0.1446",\
"0.039, 0.03904, 0.03952, 0.04012, 0.04056, 0.04083, 0.04095, 0.04215, 0.06063, 0.1517",\
"0.04347, 0.04288, 0.04157, 0.0411, 0.04089, 0.04074, 0.04077, 0.04267, 0.06459, 0.1652",\
"0.05235, 0.05101, 0.04826, 0.04555, 0.04395, 0.04275, 0.04246, 0.04489, 0.07181, 0.1916",\
"0.06582, 0.06396, 0.05945, 0.05487, 0.0507, 0.04794, 0.04618, 0.04935, 0.08785, 0.2376",\
"0.08441, 0.08194, 0.0759, 0.06901, 0.06249, 0.05718, 0.05361, 0.05984, 0.1199, 0.3137",\
"0.1084, 0.1054, 0.09774, 0.08848, 0.07968, 0.07188, 0.06642, 0.08233, 0.1843, 0.4373",\
"0.1379, 0.1345, 0.1255, 0.114, 0.1025, 0.09219, 0.08879, 0.1357, 0.3121, 0.6101",\
"0.1736, 0.1698, 0.1593, 0.1456, 0.1316, 0.1205, 0.1416, 0.2753, 0.5182, 0.77");
}
}
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.00319, 0.01088, 0.02556, 0.04843, 0.08052, 0.1227, 0.1759, 0.2409, 0.3183");
values("0.002882, 0.002912, 0.002991, 0.003035, 0.003052, 0.003056, 0.003059, 0.003059, 0.003059, 0.003004",\
"0.00201, 0.002287, 0.002673, 0.002862, 0.002948, 0.002992, 0.003016, 0.003031, 0.003033, 0.002981",\
"0.001308, 0.001575, 0.002108, 0.0025, 0.002724, 0.002838, 0.002909, 0.002951, 0.002967, 0.002922",\
"0.003707, 0.003511, 0.0033, 0.00321, 0.003184, 0.003158, 0.003142, 0.003117, 0.003094, 0.003012",\
"0.01056, 0.009712, 0.008007, 0.006565, 0.005584, 0.004913, 0.004445, 0.004116, 0.003864, 0.003608",\
"0.02232, 0.02075, 0.01722, 0.01378, 0.01113, 0.009177, 0.007767, 0.006723, 0.005936, 0.005246",\
"0.03924, 0.03701, 0.03154, 0.02566, 0.02076, 0.01693, 0.01403, 0.01182, 0.01008, 0.008602",\
"0.06141, 0.05861, 0.05135, 0.04283, 0.03523, 0.02901, 0.02408, 0.0202, 0.01704, 0.01433",\
"0.08896, 0.08571, 0.0769, 0.06578, 0.05518, 0.04615, 0.0387, 0.03262, 0.02756, 0.02311",\
"0.1222, 0.1185, 0.1084, 0.09481, 0.08109, 0.06888, 0.05851, 0.04977, 0.04221, 0.03545");
}
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.00319, 0.01088, 0.02556, 0.04843, 0.08052, 0.1227, 0.1759, 0.2409, 0.3183");
values("0.05271, 0.05271, 0.05267, 0.05257, 0.05244, 0.05222, 0.05187, 0.05284, 0.06913, 0.1538",\
"0.05147, 0.05162, 0.05182, 0.05186, 0.05181, 0.05162, 0.05127, 0.05235, 0.069, 0.1552",\
"0.0517, 0.05162, 0.05159, 0.0516, 0.05157, 0.05141, 0.05119, 0.0523, 0.07055, 0.1619",\
"0.05614, 0.05548, 0.05413, 0.05303, 0.05247, 0.05201, 0.05158, 0.05303, 0.07435, 0.1762",\
"0.06518, 0.06397, 0.0612, 0.05815, 0.05595, 0.0545, 0.05344, 0.05524, 0.08269, 0.203",\
"0.07921, 0.07752, 0.07307, 0.06809, 0.06351, 0.05996, 0.05767, 0.06067, 0.09938, 0.249",\
"0.09848, 0.09637, 0.09057, 0.08326, 0.07623, 0.0704, 0.06613, 0.07188, 0.1323, 0.3266",\
"0.1234, 0.1209, 0.1138, 0.1044, 0.09462, 0.08575, 0.08013, 0.09558, 0.1982, 0.4512",\
"0.1541, 0.1514, 0.1432, 0.1316, 0.1192, 0.1078, 0.1039, 0.1513, 0.3284, 0.6256",\
"0.1911, 0.188, 0.1789, 0.1657, 0.1505, 0.138, 0.1598, 0.2944, 0.5363, 0.7841");
}
}
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.00319, 0.01088, 0.02556, 0.04843, 0.08052, 0.1227, 0.1759, 0.2409, 0.3183");
values("0.1497, 0.1983, 0.3676, 0.6904, 1.193, 1.898, 2.825, 3.993, 5.42, 7.119",\
"0.1709, 0.2203, 0.3909, 0.7145, 1.217, 1.922, 2.849, 4.018, 5.444, 7.145",\
"0.2337, 0.2982, 0.4802, 0.8039, 1.307, 2.012, 2.939, 4.108, 5.534, 7.235",\
"0.2726, 0.3618, 0.6134, 0.9805, 1.482, 2.186, 3.113, 4.282, 5.708, 7.406",\
"0.2818, 0.396, 0.7142, 1.182, 1.759, 2.464, 3.389, 4.555, 5.98, 7.679",\
"0.255, 0.3955, 0.7822, 1.344, 2.044, 2.849, 3.782, 4.944, 6.367, 8.064",\
"0.1909, 0.3551, 0.814, 1.471, 2.284, 3.23, 4.285, 5.465, 6.883, 8.576",\
"0.0856, 0.2761, 0.8028, 1.559, 2.485, 3.562, 4.771, 6.093, 7.541, 9.228",\
"-0.0652, 0.1516, 0.7474, 1.603, 2.645, 3.847, 5.204, 6.694, 8.299, 10.03",\
"-0.2646, -0.0204, 0.6441, 1.6, 2.761, 4.093, 5.588, 7.238, 9.023, 10.93");
}
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.00319, 0.01088, 0.02556, 0.04843, 0.08052, 0.1227, 0.1759, 0.2409, 0.3183");
values("0.1687, 0.2293, 0.4373, 0.8317, 1.446, 2.308, 3.441, 4.868, 6.613, 8.69",\
"0.1983, 0.2602, 0.4715, 0.8689, 1.484, 2.346, 3.479, 4.908, 6.65, 8.731",\
"0.3168, 0.3861, 0.597, 0.9948, 1.611, 2.475, 3.609, 5.038, 6.782, 8.861",\
"0.4754, 0.5724, 0.8429, 1.247, 1.86, 2.721, 3.855, 5.285, 7.028, 9.105",\
"0.6712, 0.7918, 1.135, 1.636, 2.262, 3.118, 4.249, 5.676, 7.418, 9.493",\
"0.9058, 1.053, 1.464, 2.072, 2.815, 3.687, 4.809, 6.231, 7.971, 10.05",\
"1.179, 1.356, 1.84, 2.543, 3.42, 4.423, 5.561, 6.974, 8.706, 10.77",\
"1.494, 1.702, 2.264, 3.062, 4.061, 5.219, 6.494, 7.923, 9.643, 11.71",\
"1.856, 2.092, 2.734, 3.636, 4.749, 6.05, 7.5, 9.068, 10.81, 12.86",\
"2.264, 2.53, 3.253, 4.267, 5.495, 6.927, 8.543, 10.31, 12.17, 14.24");
}
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.00319, 0.01088, 0.02556, 0.04843, 0.08052, 0.1227, 0.1759, 0.2409, 0.3183");
values("0.1841, 0.2677, 0.5584, 1.113, 1.976, 3.186, 4.778, 6.785, 9.238, 12.16",\
"0.1845, 0.2673, 0.5578, 1.113, 1.976, 3.187, 4.777, 6.783, 9.234, 12.15",\
"0.2547, 0.3277, 0.5677, 1.113, 1.976, 3.188, 4.779, 6.786, 9.234, 12.15",\
"0.3717, 0.4656, 0.7364, 1.174, 1.977, 3.186, 4.779, 6.788, 9.236, 12.16",\
"0.5222, 0.634, 0.9584, 1.461, 2.129, 3.201, 4.778, 6.788, 9.238, 12.16",\
"0.6974, 0.8366, 1.213, 1.793, 2.544, 3.471, 4.842, 6.788, 9.238, 12.16",\
"0.8926, 1.062, 1.507, 2.154, 3.008, 4.027, 5.24, 6.931, 9.249, 12.15",\
"1.112, 1.31, 1.835, 2.564, 3.503, 4.641, 5.943, 7.471, 9.506, 12.2",\
"1.352, 1.579, 2.187, 3.022, 4.031, 5.278, 6.72, 8.34, 10.19, 12.6",\
"1.612, 1.871, 2.561, 3.508, 4.632, 5.958, 7.528, 9.29, 11.22, 13.44");
}
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.00319, 0.01088, 0.02556, 0.04843, 0.08052, 0.1227, 0.1759, 0.2409, 0.3183");
values("0.2245, 0.3283, 0.6942, 1.388, 2.473, 3.994, 5.998, 8.522, 11.6, 15.27",\
"0.2237, 0.3276, 0.6921, 1.389, 2.473, 3.995, 5.998, 8.521, 11.6, 15.27",\
"0.2838, 0.3604, 0.6938, 1.39, 2.474, 3.993, 5.997, 8.521, 11.6, 15.27",\
"0.4118, 0.5186, 0.8074, 1.396, 2.472, 3.994, 5.998, 8.521, 11.6, 15.27",\
"0.5586, 0.6842, 1.06, 1.602, 2.503, 3.992, 5.996, 8.519, 11.6, 15.27",\
"0.7336, 0.8818, 1.314, 1.981, 2.792, 4.056, 5.997, 8.517, 11.6, 15.27",\
"0.9272, 1.106, 1.597, 2.362, 3.311, 4.434, 6.102, 8.522, 11.6, 15.27",\
"1.14, 1.351, 1.918, 2.75, 3.853, 5.099, 6.568, 8.688, 11.61, 15.27",\
"1.37, 1.614, 2.264, 3.181, 4.39, 5.818, 7.368, 9.24, 11.84, 15.3",\
"1.62, 1.898, 2.638, 3.656, 4.95, 6.536, 8.282, 10.17, 12.48, 15.59");
}
}
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.00319, 0.01088, 0.02556, 0.04843, 0.08052, 0.1227, 0.1759, 0.2409, 0.3183");
values("0.1747, 0.2232, 0.3926, 0.7154, 1.218, 1.922, 2.85, 4.018, 5.445, 7.144",\
"0.1967, 0.2462, 0.417, 0.7404, 1.243, 1.948, 2.875, 4.044, 5.47, 7.17",\
"0.2376, 0.2961, 0.4762, 0.8007, 1.304, 2.01, 2.937, 4.106, 5.532, 7.232",\
"0.258, 0.3346, 0.5569, 0.9127, 1.418, 2.123, 3.051, 4.219, 5.646, 7.345",\
"0.2421, 0.3422, 0.6192, 1.034, 1.591, 2.303, 3.23, 4.398, 5.824, 7.523",\
"0.1825, 0.3066, 0.6481, 1.139, 1.766, 2.543, 3.486, 4.651, 6.077, 7.776",\
"0.0776, 0.2243, 0.631, 1.208, 1.92, 2.777, 3.797, 4.99, 6.414, 8.109",\
"-0.0781, 0.0928, 0.5619, 1.233, 2.043, 2.99, 4.095, 5.375, 6.838, 8.534",\
"-0.2892, -0.0939, 0.4399, 1.203, 2.121, 3.172, 4.374, 5.745, 7.303, 9.056",\
"-0.5601, -0.3397, 0.2614, 1.114, 2.145, 3.312, 4.621, 6.093, 7.749, 9.601");
}
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.00319, 0.01088, 0.02556, 0.04843, 0.08052, 0.1227, 0.1759, 0.2409, 0.3183");
values("0.2212, 0.2816, 0.4904, 0.8855, 1.5, 2.361, 3.494, 4.921, 6.663, 8.741",\
"0.251, 0.3122, 0.5222, 0.9182, 1.533, 2.394, 3.527, 4.954, 6.697, 8.774",\
"0.3799, 0.4417, 0.6506, 1.046, 1.661, 2.523, 3.656, 5.083, 6.826, 8.902",\
"0.5723, 0.6572, 0.9062, 1.301, 1.913, 2.773, 3.905, 5.332, 7.073, 9.149",\
"0.8046, 0.9099, 1.225, 1.702, 2.318, 3.172, 4.301, 5.724, 7.464, 9.539",\
"1.087, 1.213, 1.584, 2.161, 2.882, 3.743, 4.864, 6.284, 8.021, 10.09",\
"1.422, 1.569, 1.999, 2.659, 3.509, 4.49, 5.621, 7.031, 8.761, 10.82",\
"1.81, 1.982, 2.474, 3.217, 4.176, 5.307, 6.564, 7.985, 9.703, 11.76",\
"2.256, 2.452, 3.011, 3.839, 4.9, 6.165, 7.592, 9.138, 10.87, 12.92",\
"2.763, 2.984, 3.611, 4.532, 5.691, 7.077, 8.66, 10.39, 12.25, 14.31");
}
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.00319, 0.01088, 0.02556, 0.04843, 0.08052, 0.1227, 0.1759, 0.2409, 0.3183");
values("0.1842, 0.2675, 0.5591, 1.113, 1.976, 3.186, 4.779, 6.786, 9.234, 12.16",\
"0.1847, 0.2679, 0.5588, 1.113, 1.976, 3.186, 4.78, 6.786, 9.235, 12.16",\
"0.2335, 0.3078, 0.5663, 1.113, 1.976, 3.187, 4.779, 6.783, 9.237, 12.16",\
"0.3349, 0.413, 0.6774, 1.159, 1.977, 3.186, 4.78, 6.786, 9.237, 12.16",\
"0.4848, 0.5704, 0.8422, 1.342, 2.09, 3.207, 4.778, 6.786, 9.238, 12.15",\
"0.6618, 0.7644, 1.068, 1.579, 2.351, 3.396, 4.844, 6.788, 9.238, 12.16",\
"0.8614, 0.9846, 1.336, 1.879, 2.666, 3.743, 5.118, 6.922, 9.26, 12.16",\
"1.081, 1.224, 1.633, 2.238, 3.049, 4.146, 5.557, 7.286, 9.47, 12.23",\
"1.319, 1.487, 1.955, 2.642, 3.507, 4.617, 6.055, 7.824, 9.934, 12.53",\
"1.572, 1.767, 2.303, 3.075, 4.024, 5.168, 6.624, 8.418, 10.58, 13.09");
}
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.00319, 0.01088, 0.02556, 0.04843, 0.08052, 0.1227, 0.1759, 0.2409, 0.3183");
values("0.2973, 0.402, 0.7674, 1.463, 2.546, 4.066, 6.065, 8.584, 11.66, 15.33",\
"0.2974, 0.4021, 0.7669, 1.463, 2.547, 4.066, 6.065, 8.582, 11.66, 15.32",\
"0.3289, 0.4155, 0.7673, 1.463, 2.547, 4.066, 6.065, 8.583, 11.66, 15.32",\
"0.47, 0.5704, 0.8558, 1.468, 2.546, 4.067, 6.065, 8.583, 11.66, 15.32",\
"0.6196, 0.7442, 1.11, 1.649, 2.57, 4.066, 6.066, 8.586, 11.66, 15.32",\
"0.7856, 0.932, 1.366, 2.024, 2.84, 4.123, 6.065, 8.586, 11.66, 15.32",\
"0.978, 1.144, 1.637, 2.403, 3.352, 4.482, 6.168, 8.591, 11.66, 15.32",\
"1.188, 1.387, 1.936, 2.783, 3.887, 5.128, 6.618, 8.744, 11.68, 15.33",\
"1.415, 1.645, 2.264, 3.188, 4.414, 5.844, 7.4, 9.296, 11.89, 15.36",\
"1.654, 1.922, 2.624, 3.628, 4.946, 6.546, 8.306, 10.2, 12.53, 15.64");
}
}
}
}