blob: 8e948e959787734ed3f98e20350210a809cc1d56 [file] [log] [blame]
{
"area": 4.7952,
"cell_footprint": "sky130_fd_sc_lp__clkbuf",
"cell_leakage_power": 0.0,
"dont_touch": "true",
"dont_use": "true",
"pg_pin,VGND": {
"pg_type": "primary_ground",
"related_bias_pin": "VPB",
"voltage_name": "VGND"
},
"pg_pin,VNB": {
"pg_type": "nwell",
"physical_connection": "device_layer",
"voltage_name": "VNB"
},
"pg_pin,VPB": {
"pg_type": "pwell",
"physical_connection": "device_layer",
"voltage_name": "VPB"
},
"pg_pin,VPWR": {
"pg_type": "primary_power",
"related_bias_pin": "VNB",
"voltage_name": "VPWR"
},
"pin,A": {
"capacitance": 0.00232,
"clock": "false",
"direction": "input",
"max_transition": 1.0,
"related_ground_pin": "VGND",
"related_power_pin": "VPWR"
},
"pin,X": {
"direction": "output",
"function": "(A)",
"internal_power": {
"fall_power,pwr_template13x17": {
"index_1": [
0.001,
0.00617,
0.01028,
0.01851,
0.03085,
0.05553,
0.09255,
0.16659,
0.27765,
0.49977,
0.83295,
1.16647,
1.5
],
"index_2": [
0.0,
0.00982,
0.01178,
0.01413,
0.01696,
0.02035,
0.02442,
0.02931,
0.03517,
0.0422,
0.05064,
0.06077,
0.07293,
0.08751,
0.10501,
0.12601,
0.15121
],
"values": [
[
0.01411,
-0.00423,
-0.00796,
-0.01244,
-0.01782,
-0.02427,
-0.03202,
-0.04132,
-0.05246,
-0.06583,
-0.08187,
-0.10114,
-0.12425,
-0.15197,
-0.18525,
-0.22517,
-0.27309
],
[
0.01362,
-0.00469,
-0.00842,
-0.01289,
-0.01827,
-0.02472,
-0.03247,
-0.04177,
-0.05291,
-0.06628,
-0.08232,
-0.10158,
-0.1247,
-0.15243,
-0.18569,
-0.22562,
-0.27354
],
[
0.0134,
-0.0049,
-0.00862,
-0.01309,
-0.01848,
-0.02492,
-0.03266,
-0.04196,
-0.0531,
-0.06647,
-0.08252,
-0.10177,
-0.12489,
-0.15261,
-0.18589,
-0.22582,
-0.27373
],
[
0.01317,
-0.00515,
-0.00888,
-0.01335,
-0.01873,
-0.02517,
-0.03291,
-0.04221,
-0.05335,
-0.06672,
-0.08276,
-0.10202,
-0.12514,
-0.15286,
-0.18613,
-0.22606,
-0.27397
],
[
0.01301,
-0.00529,
-0.00901,
-0.01348,
-0.01886,
-0.0253,
-0.03304,
-0.04234,
-0.05347,
-0.06684,
-0.08288,
-0.10214,
-0.12527,
-0.15299,
-0.18626,
-0.22618,
-0.27409
],
[
0.01286,
-0.00538,
-0.0091,
-0.01356,
-0.01893,
-0.02538,
-0.03311,
-0.0424,
-0.05352,
-0.06689,
-0.08294,
-0.10218,
-0.1253,
-0.15302,
-0.18629,
-0.22622,
-0.27413
],
[
0.0129,
-0.00537,
-0.00908,
-0.01353,
-0.01888,
-0.02532,
-0.03305,
-0.04233,
-0.05347,
-0.06683,
-0.08288,
-0.10213,
-0.12524,
-0.15296,
-0.18623,
-0.22615,
-0.27407
],
[
0.01317,
-0.00515,
-0.00885,
-0.0133,
-0.01866,
-0.02509,
-0.03282,
-0.04211,
-0.05324,
-0.0666,
-0.08264,
-0.10189,
-0.12501,
-0.15272,
-0.18599,
-0.22592,
-0.27382
],
[
0.0137,
-0.00468,
-0.00838,
-0.01283,
-0.01819,
-0.02462,
-0.03235,
-0.04163,
-0.05276,
-0.06611,
-0.08216,
-0.10141,
-0.12452,
-0.15224,
-0.18551,
-0.22543,
-0.27334
],
[
0.01501,
-0.00357,
-0.00728,
-0.01173,
-0.01709,
-0.02352,
-0.03125,
-0.04053,
-0.05167,
-0.06503,
-0.08107,
-0.10032,
-0.12344,
-0.15115,
-0.18444,
-0.22436,
-0.27226
],
[
0.01721,
-0.00166,
-0.00537,
-0.00982,
-0.01519,
-0.02163,
-0.02936,
-0.03865,
-0.04979,
-0.06315,
-0.0792,
-0.09846,
-0.12158,
-0.14929,
-0.18257,
-0.2225,
-0.27041
],
[
0.0196,
0.0004,
-0.00333,
-0.00779,
-0.01317,
-0.01962,
-0.02736,
-0.03666,
-0.0478,
-0.06117,
-0.07722,
-0.09649,
-0.11961,
-0.14734,
-0.18062,
-0.22056,
-0.26848
],
[
0.02213,
0.0026,
-0.00116,
-0.00565,
-0.01106,
-0.01752,
-0.02528,
-0.03459,
-0.04575,
-0.05912,
-0.07518,
-0.09445,
-0.11759,
-0.14532,
-0.17861,
-0.21855,
-0.26647
]
]
},
"related_pin": "A",
"rise_power,pwr_template13x17": {
"index_1": [
0.001,
0.00617,
0.01028,
0.01851,
0.03085,
0.05553,
0.09255,
0.16659,
0.27765,
0.49977,
0.83295,
1.16647,
1.5
],
"index_2": [
0.0,
0.00982,
0.01178,
0.01413,
0.01696,
0.02035,
0.02442,
0.02931,
0.03517,
0.0422,
0.05064,
0.06077,
0.07293,
0.08751,
0.10501,
0.12601,
0.15121
],
"values": [
[
0.00565,
0.02442,
0.02813,
0.03252,
0.03781,
0.04422,
0.05195,
0.06108,
0.0721,
0.08554,
0.10128,
0.12034,
0.14357,
0.17079,
0.20407,
0.24365,
0.29139
],
[
0.00543,
0.02423,
0.02793,
0.03239,
0.0377,
0.044,
0.05164,
0.06095,
0.07194,
0.08521,
0.1013,
0.12041,
0.14331,
0.17055,
0.20353,
0.2432,
0.29075
],
[
0.00529,
0.02408,
0.02777,
0.03219,
0.03754,
0.04393,
0.05163,
0.06085,
0.07176,
0.08514,
0.10096,
0.12003,
0.14318,
0.17034,
0.20328,
0.24303,
0.29106
],
[
0.00509,
0.02391,
0.02765,
0.03202,
0.03738,
0.04372,
0.05148,
0.06061,
0.07167,
0.08504,
0.1008,
0.12015,
0.1429,
0.17063,
0.20364,
0.24275,
0.29039
],
[
0.0049,
0.0238,
0.0275,
0.03192,
0.0373,
0.04363,
0.0514,
0.06061,
0.07159,
0.08473,
0.10088,
0.11992,
0.14265,
0.17013,
0.20317,
0.24323,
0.29018
],
[
0.00474,
0.0236,
0.02731,
0.03176,
0.03717,
0.04346,
0.05117,
0.06035,
0.07145,
0.08472,
0.10061,
0.11994,
0.14286,
0.17017,
0.20344,
0.24264,
0.29022
],
[
0.0047,
0.02356,
0.02723,
0.0317,
0.03703,
0.04343,
0.0511,
0.06045,
0.07146,
0.08484,
0.10061,
0.11989,
0.14259,
0.17005,
0.20288,
0.24305,
0.29026
],
[
0.00484,
0.02359,
0.02735,
0.03181,
0.03714,
0.04352,
0.05132,
0.06053,
0.07159,
0.08476,
0.10083,
0.12001,
0.14278,
0.17017,
0.20355,
0.24254,
0.29035
],
[
0.00534,
0.0241,
0.02779,
0.03222,
0.03761,
0.04389,
0.05163,
0.06083,
0.0719,
0.08533,
0.10128,
0.12043,
0.14326,
0.17053,
0.20349,
0.24305,
0.29134
],
[
0.00654,
0.02523,
0.02894,
0.03339,
0.03875,
0.04512,
0.05282,
0.06201,
0.073,
0.08616,
0.10232,
0.12124,
0.14416,
0.1716,
0.2047,
0.24442,
0.29179
],
[
0.00879,
0.02696,
0.03067,
0.03514,
0.04051,
0.0469,
0.05461,
0.06386,
0.0749,
0.0881,
0.10394,
0.12297,
0.14582,
0.17334,
0.20609,
0.24563,
0.2938
],
[
0.01129,
0.02905,
0.03276,
0.03715,
0.04253,
0.04896,
0.0566,
0.06593,
0.07686,
0.0902,
0.10616,
0.12516,
0.14786,
0.1753,
0.20818,
0.24764,
0.29476
],
[
0.0139,
0.03138,
0.035,
0.03931,
0.04461,
0.05095,
0.05867,
0.06797,
0.07907,
0.09241,
0.10819,
0.12734,
0.15015,
0.17754,
0.21031,
0.24985,
0.29751
]
]
}
},
"max_capacitance": 0.15121,
"max_transition": 1.0,
"related_ground_pin": "VGND",
"related_power_pin": "VPWR",
"timing": {
"cell_fall,delay_template13x17": {
"index_1": [
0.001,
0.00617,
0.01028,
0.01851,
0.03085,
0.05553,
0.09255,
0.16659,
0.27765,
0.49977,
0.83295,
1.16647,
1.5
],
"index_2": [
0.0,
0.00982,
0.01178,
0.01413,
0.01696,
0.02035,
0.02442,
0.02931,
0.03517,
0.0422,
0.05064,
0.06077,
0.07293,
0.08751,
0.10501,
0.12601,
0.15121
],
"values": [
[
0.04142,
0.08488,
0.09231,
0.10113,
0.11177,
0.12441,
0.13966,
0.15798,
0.17975,
0.206,
0.23755,
0.27538,
0.32093,
0.37545,
0.44025,
0.51913,
0.61358
],
[
0.0422,
0.08573,
0.09317,
0.102,
0.11263,
0.12527,
0.14053,
0.15886,
0.18077,
0.20681,
0.23846,
0.27608,
0.32172,
0.37611,
0.44145,
0.52012,
0.61461
],
[
0.04338,
0.08692,
0.09437,
0.10319,
0.11382,
0.12651,
0.14173,
0.16004,
0.18188,
0.20803,
0.23967,
0.27738,
0.32288,
0.37759,
0.44266,
0.52158,
0.61497
],
[
0.04621,
0.08977,
0.09723,
0.10605,
0.11669,
0.12934,
0.1446,
0.16293,
0.18468,
0.21093,
0.24249,
0.28023,
0.32594,
0.38038,
0.44527,
0.52409,
0.61759
],
[
0.05094,
0.09447,
0.10194,
0.11077,
0.12138,
0.13411,
0.14931,
0.16759,
0.18948,
0.21568,
0.24731,
0.28509,
0.33057,
0.38505,
0.45009,
0.52912,
0.6233
],
[
0.06091,
0.10448,
0.11196,
0.12083,
0.13145,
0.14417,
0.15937,
0.17769,
0.1995,
0.2257,
0.25718,
0.29502,
0.34075,
0.3951,
0.46054,
0.53912,
0.63269
],
[
0.07426,
0.11872,
0.1262,
0.13508,
0.14567,
0.15842,
0.17361,
0.19185,
0.21383,
0.23997,
0.27148,
0.30956,
0.35465,
0.40942,
0.47476,
0.5532,
0.64741
],
[
0.09452,
0.14183,
0.14943,
0.15838,
0.16906,
0.18177,
0.19701,
0.21524,
0.2371,
0.26338,
0.29496,
0.33275,
0.37821,
0.43266,
0.49784,
0.57654,
0.67054
],
[
0.11811,
0.16865,
0.17636,
0.18544,
0.19626,
0.20911,
0.22451,
0.24288,
0.26478,
0.29103,
0.32253,
0.36035,
0.40568,
0.45999,
0.52555,
0.60367,
0.69825
],
[
0.15632,
0.2121,
0.21999,
0.2292,
0.24008,
0.25294,
0.26826,
0.28664,
0.30861,
0.33499,
0.36667,
0.4046,
0.44999,
0.50435,
0.56949,
0.64792,
0.74213
],
[
0.2055,
0.26715,
0.27537,
0.28481,
0.29586,
0.30878,
0.32417,
0.34247,
0.36438,
0.39067,
0.42207,
0.46018,
0.50557,
0.55998,
0.62577,
0.70388,
0.79797
],
[
0.25044,
0.31684,
0.32544,
0.33524,
0.34644,
0.35954,
0.37504,
0.39334,
0.41524,
0.44134,
0.47274,
0.51054,
0.55604,
0.61054,
0.67564,
0.75454,
0.84864
],
[
0.293,
0.3636,
0.3726,
0.3827,
0.3942,
0.4075,
0.4231,
0.4415,
0.4633,
0.4895,
0.5209,
0.5586,
0.6038,
0.6583,
0.7235,
0.8022,
0.8964
]
]
},
"cell_rise,delay_template13x17": {
"index_1": [
0.001,
0.00617,
0.01028,
0.01851,
0.03085,
0.05553,
0.09255,
0.16659,
0.27765,
0.49977,
0.83295,
1.16647,
1.5
],
"index_2": [
0.0,
0.00982,
0.01178,
0.01413,
0.01696,
0.02035,
0.02442,
0.02931,
0.03517,
0.0422,
0.05064,
0.06077,
0.07293,
0.08751,
0.10501,
0.12601,
0.15121
],
"values": [
[
0.03368,
0.10249,
0.1159,
0.13193,
0.15123,
0.17445,
0.20216,
0.23551,
0.27581,
0.32363,
0.38155,
0.45079,
0.53345,
0.6334,
0.7529,
0.89694,
1.06957
],
[
0.03492,
0.10381,
0.11716,
0.13327,
0.15267,
0.17582,
0.2034,
0.23683,
0.277,
0.32505,
0.38261,
0.45222,
0.53526,
0.63452,
0.75471,
0.89797,
1.07036
],
[
0.03601,
0.10499,
0.11831,
0.13442,
0.15383,
0.17693,
0.2047,
0.2382,
0.27799,
0.32633,
0.38396,
0.45319,
0.53644,
0.6356,
0.75575,
0.899,
1.07183
],
[
0.03834,
0.10737,
0.12071,
0.13678,
0.15621,
0.17933,
0.20711,
0.24047,
0.28052,
0.32871,
0.38638,
0.45542,
0.53856,
0.63831,
0.75787,
0.90212,
1.07347
],
[
0.04194,
0.11105,
0.12452,
0.14057,
0.15992,
0.18318,
0.21085,
0.24441,
0.28446,
0.33229,
0.39039,
0.45949,
0.54234,
0.64253,
0.76202,
0.90518,
1.07809
],
[
0.04795,
0.11728,
0.13073,
0.14674,
0.16623,
0.18946,
0.21737,
0.25056,
0.29084,
0.33875,
0.39659,
0.46596,
0.54921,
0.64843,
0.76838,
0.91231,
1.08432
],
[
0.0533,
0.12312,
0.13661,
0.15274,
0.17216,
0.19546,
0.22328,
0.25678,
0.29679,
0.34475,
0.40253,
0.47206,
0.55483,
0.65465,
0.77472,
0.91773,
1.09038
],
[
0.0586,
0.1292,
0.14274,
0.15887,
0.17827,
0.20147,
0.22934,
0.26289,
0.30297,
0.35128,
0.40901,
0.47856,
0.561,
0.66143,
0.78099,
0.92397,
1.09718
],
[
0.0606,
0.13248,
0.14608,
0.16226,
0.18168,
0.20505,
0.23286,
0.26634,
0.30645,
0.35453,
0.4123,
0.48169,
0.56446,
0.66509,
0.78422,
0.92822,
1.10093
],
[
0.05634,
0.13135,
0.14475,
0.16095,
0.18035,
0.20353,
0.2314,
0.26502,
0.30519,
0.35358,
0.41098,
0.48007,
0.56325,
0.66302,
0.78273,
0.92592,
1.09933
],
[
0.04118,
0.12144,
0.13487,
0.15094,
0.1702,
0.19351,
0.2212,
0.25467,
0.29498,
0.34297,
0.40068,
0.47027,
0.55358,
0.65277,
0.77217,
0.91597,
1.08818
],
[
0.02103,
0.10674,
0.12014,
0.13624,
0.15544,
0.17874,
0.20654,
0.24004,
0.27984,
0.32824,
0.38604,
0.45514,
0.53804,
0.63824,
0.75804,
0.90094,
1.07284
],
[
-0.0019,
0.0892,
0.1026,
0.1187,
0.138,
0.1613,
0.1891,
0.2224,
0.2629,
0.3105,
0.3688,
0.4379,
0.5209,
0.6211,
0.7405,
0.8841,
1.056
]
]
},
"fall_transition,delay_template13x17": {
"index_1": [
0.001,
0.00617,
0.01028,
0.01851,
0.03085,
0.05553,
0.09255,
0.16659,
0.27765,
0.49977,
0.83295,
1.16647,
1.5
],
"index_2": [
0.0,
0.00982,
0.01178,
0.01413,
0.01696,
0.02035,
0.02442,
0.02931,
0.03517,
0.0422,
0.05064,
0.06077,
0.07293,
0.08751,
0.10501,
0.12601,
0.15121
],
"values": [
[
0.01042,
0.05661,
0.06587,
0.07721,
0.09089,
0.1073,
0.1273,
0.15132,
0.17997,
0.2148,
0.25652,
0.30663,
0.36663,
0.43824,
0.52494,
0.62828,
0.75243
],
[
0.01044,
0.0566,
0.06587,
0.0772,
0.09086,
0.1073,
0.1273,
0.15132,
0.18012,
0.21472,
0.25638,
0.30655,
0.36626,
0.43839,
0.52474,
0.62815,
0.75227
],
[
0.01044,
0.05662,
0.06587,
0.0772,
0.09088,
0.10732,
0.1273,
0.15125,
0.1799,
0.21487,
0.25645,
0.30652,
0.36665,
0.43839,
0.52527,
0.62814,
0.75312
],
[
0.01044,
0.05656,
0.06587,
0.0772,
0.09087,
0.10729,
0.1273,
0.15132,
0.17997,
0.21478,
0.25653,
0.30661,
0.36657,
0.43831,
0.52493,
0.6283,
0.75304
],
[
0.01047,
0.05661,
0.06589,
0.07719,
0.09088,
0.10735,
0.12726,
0.15125,
0.17982,
0.21494,
0.25629,
0.3066,
0.36626,
0.43834,
0.52489,
0.62818,
0.7525
],
[
0.0106,
0.05663,
0.06588,
0.07721,
0.09081,
0.10738,
0.12726,
0.15118,
0.1801,
0.21492,
0.25621,
0.30657,
0.36623,
0.43869,
0.52459,
0.6281,
0.75307
],
[
0.01219,
0.05687,
0.06612,
0.07728,
0.09099,
0.10742,
0.12735,
0.15127,
0.18014,
0.21469,
0.25642,
0.30632,
0.36675,
0.4381,
0.52476,
0.62896,
0.75255
],
[
0.01492,
0.05861,
0.06769,
0.07857,
0.09193,
0.10816,
0.12783,
0.15161,
0.18023,
0.21497,
0.25632,
0.30652,
0.36621,
0.43838,
0.52496,
0.62824,
0.75289
],
[
0.01798,
0.06077,
0.06959,
0.08039,
0.09358,
0.10963,
0.12902,
0.15268,
0.18117,
0.21545,
0.25677,
0.30673,
0.3664,
0.43835,
0.52463,
0.62875,
0.7526
],
[
0.02224,
0.06463,
0.07291,
0.08317,
0.09585,
0.11152,
0.13075,
0.15423,
0.18255,
0.21648,
0.25765,
0.30742,
0.3673,
0.439,
0.52517,
0.62807,
0.75272
],
[
0.02707,
0.07013,
0.07783,
0.08747,
0.09954,
0.1145,
0.13299,
0.15576,
0.18368,
0.21766,
0.25867,
0.3086,
0.3681,
0.4392,
0.5254,
0.6286,
0.7529
],
[
0.0313,
0.0755,
0.0828,
0.0919,
0.1034,
0.1176,
0.1355,
0.1577,
0.185,
0.2186,
0.2594,
0.3089,
0.3686,
0.4406,
0.5269,
0.6292,
0.7531
],
[
0.0353,
0.0807,
0.0877,
0.0965,
0.1075,
0.1212,
0.1385,
0.1601,
0.1868,
0.2198,
0.2603,
0.3095,
0.3688,
0.4404,
0.527,
0.6305,
0.7538
]
]
},
"related_pin": "A",
"rise_transition,delay_template13x17": {
"index_1": [
0.001,
0.00617,
0.01028,
0.01851,
0.03085,
0.05553,
0.09255,
0.16659,
0.27765,
0.49977,
0.83295,
1.16647,
1.5
],
"index_2": [
0.0,
0.00982,
0.01178,
0.01413,
0.01696,
0.02035,
0.02442,
0.02931,
0.03517,
0.0422,
0.05064,
0.06077,
0.07293,
0.08751,
0.10501,
0.12601,
0.15121
],
"values": [
[
0.0119,
0.10757,
0.1271,
0.15009,
0.17791,
0.21148,
0.25123,
0.29946,
0.35784,
0.42647,
0.51002,
0.60976,
0.72917,
0.87308,
1.04501,
1.25243,
1.49959
],
[
0.01193,
0.10773,
0.12694,
0.15017,
0.17813,
0.21141,
0.25152,
0.29969,
0.35723,
0.42682,
0.50949,
0.60979,
0.72927,
0.87328,
1.04611,
1.25245,
1.49951
],
[
0.01192,
0.10768,
0.12695,
0.15012,
0.17812,
0.21133,
0.25137,
0.2999,
0.35706,
0.42686,
0.51025,
0.60901,
0.72934,
0.87274,
1.04776,
1.25327,
1.49912
],
[
0.01193,
0.10766,
0.12695,
0.15009,
0.17804,
0.21148,
0.25127,
0.29952,
0.35773,
0.42667,
0.5103,
0.60928,
0.73003,
0.87252,
1.04498,
1.25197,
1.50266
],
[
0.01197,
0.10772,
0.12699,
0.15004,
0.17809,
0.21151,
0.2514,
0.29976,
0.35769,
0.42639,
0.50998,
0.60992,
0.7302,
0.87281,
1.04609,
1.2515,
1.50279
],
[
0.01274,
0.10778,
0.12704,
0.14997,
0.17793,
0.21151,
0.25157,
0.29948,
0.35762,
0.42638,
0.51069,
0.60912,
0.72944,
0.87304,
1.04477,
1.25192,
1.50102
],
[
0.01387,
0.10769,
0.12724,
0.15013,
0.17839,
0.21189,
0.25176,
0.29985,
0.35735,
0.42638,
0.51011,
0.60998,
0.72917,
0.87504,
1.04611,
1.25203,
1.49935
],
[
0.01629,
0.10818,
0.12728,
0.15041,
0.1785,
0.21149,
0.2517,
0.29955,
0.35757,
0.4266,
0.51077,
0.61144,
0.72863,
0.87442,
1.04502,
1.25247,
1.50109
],
[
0.01928,
0.10871,
0.12775,
0.15078,
0.17844,
0.21163,
0.25193,
0.30034,
0.35755,
0.42652,
0.50939,
0.60947,
0.72917,
0.87376,
1.04485,
1.25411,
1.49968
],
[
0.02371,
0.10921,
0.1282,
0.15101,
0.17905,
0.21254,
0.25269,
0.30031,
0.358,
0.4268,
0.50975,
0.60969,
0.72906,
0.87184,
1.04472,
1.25172,
1.50058
],
[
0.02888,
0.11094,
0.12946,
0.15211,
0.1798,
0.2127,
0.25287,
0.30097,
0.3585,
0.42737,
0.5103,
0.60967,
0.72899,
0.87148,
1.0459,
1.2515,
1.4981
],
[
0.03311,
0.1141,
0.132,
0.1539,
0.1809,
0.2136,
0.2538,
0.3019,
0.3591,
0.4281,
0.5113,
0.6116,
0.7305,
0.8731,
1.0447,
1.2503,
1.5011
],
[
0.037,
0.1179,
0.1351,
0.1565,
0.1829,
0.2153,
0.2545,
0.3025,
0.3602,
0.4289,
0.5119,
0.6125,
0.7322,
0.8769,
1.046,
1.2528,
1.4992
]
]
},
"timing_sense": "positive_unate"
}
}
}