{
  "area": 30.3696,
  "cell_footprint": "sky130_fd_sc_ls__xor3",
  "cell_leakage_power": 0.0,
  "pg_pin,VGND": {
    "pg_type": "primary_ground",
    "voltage_name": "VGND"
  },
  "pg_pin,VNB": {
    "pg_type": "primary_ground",
    "voltage_name": "VNB"
  },
  "pg_pin,VPB": {
    "pg_type": "primary_power",
    "voltage_name": "VPB"
  },
  "pg_pin,VPWR": {
    "pg_type": "primary_power",
    "voltage_name": "VPWR"
  },
  "pin,A": {
    "capacitance": 0.00282,
    "clock": "false",
    "direction": "input",
    "internal_power": {
      "fall_power,hidden_pwr_template13": {
        "index_1": [
          0.01,
          0.01735,
          0.02602,
          0.03903,
          0.05855,
          0.08782,
          0.13172,
          0.19757,
          0.29634,
          0.44449,
          0.6667,
          1.0,
          1.5
        ],
        "values": [
          0.03118,
          0.0311,
          0.03078,
          0.03059,
          0.03046,
          0.03045,
          0.03053,
          0.03052,
          0.03056,
          0.03335,
          0.03373,
          0.03702,
          0.03783
        ]
      },
      "rise_power,hidden_pwr_template13": {
        "index_1": [
          0.01,
          0.01735,
          0.02602,
          0.03903,
          0.05855,
          0.08782,
          0.13172,
          0.19757,
          0.29634,
          0.44449,
          0.6667,
          1.0,
          1.5
        ],
        "values": [
          0.02557,
          0.02527,
          0.02446,
          0.02373,
          0.02434,
          0.02402,
          0.0241,
          0.02409,
          0.02414,
          0.02616,
          0.02629,
          0.02851,
          0.0289
        ]
      }
    },
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,B": {
    "capacitance": 0.00757,
    "clock": "false",
    "direction": "input",
    "internal_power": {
      "fall_power,hidden_pwr_template13": {
        "index_1": [
          0.01,
          0.01735,
          0.02602,
          0.03903,
          0.05855,
          0.08782,
          0.13172,
          0.19757,
          0.29634,
          0.44449,
          0.6667,
          1.0,
          1.5
        ],
        "values": [
          0.03104,
          0.03168,
          0.03086,
          0.03069,
          0.03043,
          0.03031,
          0.03021,
          0.03016,
          0.03008,
          0.03273,
          0.0329,
          0.03578,
          0.03647
        ]
      },
      "rise_power,hidden_pwr_template13": {
        "index_1": [
          0.01,
          0.01735,
          0.02602,
          0.03903,
          0.05855,
          0.08782,
          0.13172,
          0.19757,
          0.29634,
          0.44449,
          0.6667,
          1.0,
          1.5
        ],
        "values": [
          0.01711,
          0.01584,
          0.01547,
          0.01564,
          0.0155,
          0.01519,
          0.01525,
          0.01536,
          0.0155,
          0.01695,
          0.01721,
          0.01904,
          0.01988
        ]
      }
    },
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,C": {
    "capacitance": 0.0043,
    "clock": "false",
    "direction": "input",
    "internal_power": {
      "fall_power,hidden_pwr_template13": {
        "index_1": [
          0.01,
          0.01735,
          0.02602,
          0.03903,
          0.05855,
          0.08782,
          0.13172,
          0.19757,
          0.29634,
          0.44449,
          0.6667,
          1.0,
          1.5
        ],
        "values": [
          0.0329,
          0.03303,
          0.0325,
          0.03239,
          0.03234,
          0.03224,
          0.03213,
          0.03209,
          0.03225,
          0.03496,
          0.03517,
          0.03822,
          0.0388
        ]
      },
      "rise_power,hidden_pwr_template13": {
        "index_1": [
          0.01,
          0.01735,
          0.02602,
          0.03903,
          0.05855,
          0.08782,
          0.13172,
          0.19757,
          0.29634,
          0.44449,
          0.6667,
          1.0,
          1.5
        ],
        "values": [
          0.02307,
          0.02494,
          0.02387,
          0.02387,
          0.02343,
          0.0235,
          0.0236,
          0.02354,
          0.02357,
          0.02567,
          0.02597,
          0.02858,
          0.02932
        ]
      }
    },
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,X": {
    "direction": "output",
    "function": "(A&!B&!C) | (!A&B&!C) | (!A&!B&C) | (A&B&C)",
    "internal_power": [
      {
        "fall_power,pwr_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00741,
            0.01481,
            0.02962,
            0.05924,
            0.11848
          ],
          "values": [
            [
              0.049,
              0.03964,
              0.03035,
              0.01168,
              -0.02595,
              -0.10163
            ],
            [
              0.04898,
              0.03963,
              0.03033,
              0.01167,
              -0.02596,
              -0.10165
            ],
            [
              0.04894,
              0.03958,
              0.03029,
              0.01162,
              -0.026,
              -0.10169
            ],
            [
              0.04887,
              0.03952,
              0.03022,
              0.01156,
              -0.02607,
              -0.10175
            ],
            [
              0.04882,
              0.03946,
              0.03017,
              0.01151,
              -0.02612,
              -0.1018
            ],
            [
              0.04876,
              0.0394,
              0.03012,
              0.01144,
              -0.0262,
              -0.10187
            ],
            [
              0.04869,
              0.03932,
              0.03004,
              0.01136,
              -0.02628,
              -0.10195
            ],
            [
              0.04859,
              0.03923,
              0.02994,
              0.01127,
              -0.02636,
              -0.10204
            ],
            [
              0.04849,
              0.03913,
              0.02982,
              0.01115,
              -0.02648,
              -0.10216
            ],
            [
              0.04838,
              0.03902,
              0.02971,
              0.01103,
              -0.0266,
              -0.10228
            ],
            [
              0.0483,
              0.03892,
              0.02959,
              0.01088,
              -0.02675,
              -0.1024
            ],
            [
              0.04815,
              0.03876,
              0.02941,
              0.01069,
              -0.02695,
              -0.10259
            ],
            [
              0.04814,
              0.03869,
              0.02932,
              0.01058,
              -0.02705,
              -0.1027
            ]
          ]
        },
        "related_pin": "A",
        "rise_power,pwr_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00741,
            0.01481,
            0.02962,
            0.05924,
            0.11848
          ],
          "values": [
            [
              0.03787,
              0.04757,
              0.05709,
              0.07602,
              0.1137,
              0.18895
            ],
            [
              0.03781,
              0.04754,
              0.05707,
              0.07604,
              0.11361,
              0.18881
            ],
            [
              0.0378,
              0.04752,
              0.05704,
              0.07596,
              0.11365,
              0.18881
            ],
            [
              0.03775,
              0.04747,
              0.057,
              0.07595,
              0.11363,
              0.18874
            ],
            [
              0.03769,
              0.04741,
              0.05693,
              0.07587,
              0.11363,
              0.18882
            ],
            [
              0.0376,
              0.04731,
              0.05686,
              0.07583,
              0.11348,
              0.18858
            ],
            [
              0.0375,
              0.04722,
              0.05673,
              0.07568,
              0.11342,
              0.18851
            ],
            [
              0.03735,
              0.04707,
              0.05658,
              0.07554,
              0.11323,
              0.1885
            ],
            [
              0.03721,
              0.04692,
              0.05641,
              0.07538,
              0.1131,
              0.18834
            ],
            [
              0.03703,
              0.04674,
              0.05623,
              0.07519,
              0.11281,
              0.188
            ],
            [
              0.03689,
              0.04655,
              0.05603,
              0.075,
              0.11258,
              0.18783
            ],
            [
              0.03674,
              0.04637,
              0.05585,
              0.0748,
              0.11237,
              0.18773
            ],
            [
              0.03668,
              0.04632,
              0.05579,
              0.07464,
              0.11229,
              0.18753
            ]
          ]
        },
        "when": "(!B&!C) | (B&C)"
      },
      {
        "fall_power,pwr_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00741,
            0.01481,
            0.02962,
            0.05924,
            0.11848
          ],
          "values": [
            [
              0.03977,
              0.0304,
              0.02113,
              0.00244,
              -0.03521,
              -0.11088
            ],
            [
              0.03974,
              0.03038,
              0.0211,
              0.00241,
              -0.03524,
              -0.11091
            ],
            [
              0.03973,
              0.03036,
              0.02109,
              0.0024,
              -0.03525,
              -0.11092
            ],
            [
              0.03969,
              0.03032,
              0.02105,
              0.00236,
              -0.0353,
              -0.11096
            ],
            [
              0.03963,
              0.03026,
              0.02099,
              0.0023,
              -0.03535,
              -0.11103
            ],
            [
              0.03953,
              0.03017,
              0.0209,
              0.00221,
              -0.03544,
              -0.11111
            ],
            [
              0.03942,
              0.03006,
              0.02079,
              0.0021,
              -0.03555,
              -0.11123
            ],
            [
              0.03928,
              0.02991,
              0.02064,
              0.00195,
              -0.03571,
              -0.11138
            ],
            [
              0.03911,
              0.02973,
              0.02046,
              0.00179,
              -0.03587,
              -0.11154
            ],
            [
              0.03893,
              0.02955,
              0.02028,
              0.0016,
              -0.03606,
              -0.11173
            ],
            [
              0.03875,
              0.0294,
              0.02012,
              0.00143,
              -0.03622,
              -0.11189
            ],
            [
              0.03864,
              0.02927,
              0.01999,
              0.00131,
              -0.03634,
              -0.11201
            ],
            [
              0.03857,
              0.02921,
              0.01992,
              0.00122,
              -0.03643,
              -0.11209
            ]
          ]
        },
        "related_pin": "A",
        "rise_power,pwr_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00741,
            0.01481,
            0.02962,
            0.05924,
            0.11848
          ],
          "values": [
            [
              0.04282,
              0.05252,
              0.06206,
              0.081,
              0.11883,
              0.19418
            ],
            [
              0.04272,
              0.05242,
              0.06198,
              0.08087,
              0.11867,
              0.19386
            ],
            [
              0.04264,
              0.05234,
              0.06192,
              0.08091,
              0.11861,
              0.19369
            ],
            [
              0.0426,
              0.05231,
              0.06187,
              0.08083,
              0.11855,
              0.19371
            ],
            [
              0.04253,
              0.05223,
              0.06179,
              0.08073,
              0.1186,
              0.19397
            ],
            [
              0.04245,
              0.05213,
              0.0617,
              0.08065,
              0.11836,
              0.19378
            ],
            [
              0.04235,
              0.05205,
              0.06162,
              0.08057,
              0.11837,
              0.19373
            ],
            [
              0.04225,
              0.05194,
              0.06152,
              0.08047,
              0.11821,
              0.19341
            ],
            [
              0.04214,
              0.05184,
              0.0614,
              0.08032,
              0.1182,
              0.19351
            ],
            [
              0.04202,
              0.05172,
              0.0613,
              0.08024,
              0.11799,
              0.19324
            ],
            [
              0.04195,
              0.05167,
              0.06121,
              0.08011,
              0.11796,
              0.19318
            ],
            [
              0.04181,
              0.0515,
              0.06106,
              0.08001,
              0.11784,
              0.19316
            ],
            [
              0.04182,
              0.05152,
              0.06107,
              0.08001,
              0.11778,
              0.19296
            ]
          ]
        },
        "when": "(B&!C) | (!B&C)"
      },
      {
        "fall_power,pwr_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00741,
            0.01481,
            0.02962,
            0.05924,
            0.11848
          ],
          "values": [
            [
              0.04518,
              0.03585,
              0.0266,
              0.00793,
              -0.02974,
              -0.10543
            ],
            [
              0.04504,
              0.03573,
              0.02648,
              0.0078,
              -0.02986,
              -0.10555
            ],
            [
              0.04493,
              0.03563,
              0.02637,
              0.0077,
              -0.02996,
              -0.10566
            ],
            [
              0.04481,
              0.0355,
              0.02625,
              0.00758,
              -0.03008,
              -0.10578
            ],
            [
              0.04467,
              0.03535,
              0.02611,
              0.00744,
              -0.03022,
              -0.10592
            ],
            [
              0.04454,
              0.03524,
              0.02598,
              0.00732,
              -0.03034,
              -0.10604
            ],
            [
              0.04444,
              0.03514,
              0.02588,
              0.00721,
              -0.03045,
              -0.10615
            ],
            [
              0.04435,
              0.03505,
              0.02577,
              0.00711,
              -0.03055,
              -0.10624
            ],
            [
              0.0443,
              0.03499,
              0.02572,
              0.00705,
              -0.03061,
              -0.1063
            ],
            [
              0.04428,
              0.03497,
              0.0257,
              0.00701,
              -0.03064,
              -0.10632
            ],
            [
              0.04437,
              0.03502,
              0.02572,
              0.00704,
              -0.03062,
              -0.10628
            ],
            [
              0.04459,
              0.03523,
              0.02591,
              0.00721,
              -0.03044,
              -0.1061
            ],
            [
              0.04504,
              0.0356,
              0.02626,
              0.00753,
              -0.03012,
              -0.10576
            ]
          ]
        },
        "related_pin": "B",
        "rise_power,pwr_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00741,
            0.01481,
            0.02962,
            0.05924,
            0.11848
          ],
          "values": [
            [
              0.02289,
              0.03264,
              0.0422,
              0.06116,
              0.09894,
              0.17406
            ],
            [
              0.02279,
              0.03254,
              0.0421,
              0.06104,
              0.09874,
              0.17405
            ],
            [
              0.02272,
              0.03246,
              0.04205,
              0.06095,
              0.09864,
              0.17399
            ],
            [
              0.02272,
              0.03248,
              0.04205,
              0.06097,
              0.0987,
              0.17385
            ],
            [
              0.02264,
              0.03238,
              0.04197,
              0.0609,
              0.09866,
              0.17382
            ],
            [
              0.02258,
              0.03233,
              0.04191,
              0.0608,
              0.09855,
              0.17378
            ],
            [
              0.02254,
              0.0323,
              0.04187,
              0.06076,
              0.09859,
              0.17378
            ],
            [
              0.02252,
              0.03223,
              0.04182,
              0.06074,
              0.09849,
              0.17361
            ],
            [
              0.02251,
              0.03223,
              0.04177,
              0.06073,
              0.09851,
              0.17374
            ],
            [
              0.02257,
              0.03228,
              0.04182,
              0.06077,
              0.09844,
              0.17359
            ],
            [
              0.02275,
              0.03241,
              0.04197,
              0.06083,
              0.09855,
              0.17394
            ],
            [
              0.02313,
              0.03276,
              0.04221,
              0.06115,
              0.09898,
              0.17415
            ],
            [
              0.02376,
              0.03338,
              0.04289,
              0.06172,
              0.09934,
              0.17489
            ]
          ]
        },
        "when": "(!A&!C) | (A&C)"
      },
      {
        "fall_power,pwr_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00741,
            0.01481,
            0.02962,
            0.05924,
            0.11848
          ],
          "values": [
            [
              0.02658,
              0.01727,
              0.00798,
              -0.01069,
              -0.04834,
              -0.12403
            ],
            [
              0.02653,
              0.01719,
              0.00792,
              -0.01075,
              -0.0484,
              -0.12409
            ],
            [
              0.02646,
              0.01713,
              0.00785,
              -0.01083,
              -0.04848,
              -0.12417
            ],
            [
              0.02631,
              0.01699,
              0.00771,
              -0.01097,
              -0.04862,
              -0.12431
            ],
            [
              0.02621,
              0.01688,
              0.00759,
              -0.01108,
              -0.04874,
              -0.12442
            ],
            [
              0.02609,
              0.01676,
              0.00749,
              -0.01119,
              -0.04885,
              -0.12454
            ],
            [
              0.02595,
              0.01663,
              0.00735,
              -0.01133,
              -0.04898,
              -0.12467
            ],
            [
              0.02587,
              0.01653,
              0.00725,
              -0.01142,
              -0.04908,
              -0.12477
            ],
            [
              0.02581,
              0.01648,
              0.0072,
              -0.01149,
              -0.04915,
              -0.12483
            ],
            [
              0.02586,
              0.01654,
              0.00725,
              -0.01144,
              -0.0491,
              -0.12479
            ],
            [
              0.02604,
              0.01671,
              0.00741,
              -0.01128,
              -0.04895,
              -0.12462
            ],
            [
              0.02642,
              0.01709,
              0.00781,
              -0.0109,
              -0.04855,
              -0.12423
            ],
            [
              0.02711,
              0.01775,
              0.00844,
              -0.01026,
              -0.04792,
              -0.12359
            ]
          ]
        },
        "related_pin": "B",
        "rise_power,pwr_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00741,
            0.01481,
            0.02962,
            0.05924,
            0.11848
          ],
          "values": [
            [
              0.04059,
              0.05029,
              0.05985,
              0.0788,
              0.11646,
              0.19192
            ],
            [
              0.04043,
              0.05014,
              0.05969,
              0.07859,
              0.1164,
              0.19158
            ],
            [
              0.04027,
              0.04999,
              0.05951,
              0.07846,
              0.11625,
              0.19146
            ],
            [
              0.04009,
              0.04981,
              0.05938,
              0.07828,
              0.11604,
              0.19142
            ],
            [
              0.03993,
              0.04963,
              0.05918,
              0.07812,
              0.11578,
              0.19129
            ],
            [
              0.03972,
              0.04943,
              0.05898,
              0.07793,
              0.11576,
              0.19104
            ],
            [
              0.03957,
              0.04928,
              0.05883,
              0.07777,
              0.11541,
              0.19079
            ],
            [
              0.03948,
              0.0492,
              0.05876,
              0.07767,
              0.11546,
              0.19067
            ],
            [
              0.03946,
              0.04918,
              0.05875,
              0.07762,
              0.11541,
              0.19081
            ],
            [
              0.03953,
              0.04925,
              0.05879,
              0.07772,
              0.11549,
              0.19087
            ],
            [
              0.03966,
              0.04937,
              0.05894,
              0.07782,
              0.11563,
              0.19092
            ],
            [
              0.03997,
              0.04964,
              0.05918,
              0.07814,
              0.11587,
              0.19118
            ],
            [
              0.04045,
              0.05017,
              0.0597,
              0.07855,
              0.11629,
              0.1917
            ]
          ]
        },
        "when": "(A&!C) | (!A&C)"
      },
      {
        "fall_power,pwr_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00741,
            0.01481,
            0.02962,
            0.05924,
            0.11848
          ],
          "values": [
            [
              0.02341,
              0.01436,
              0.00507,
              -0.01374,
              -0.05155,
              -0.12735
            ],
            [
              0.02337,
              0.01433,
              0.00505,
              -0.01376,
              -0.05157,
              -0.12738
            ],
            [
              0.02327,
              0.01423,
              0.00495,
              -0.01386,
              -0.05168,
              -0.12748
            ],
            [
              0.02316,
              0.01412,
              0.00484,
              -0.01395,
              -0.05177,
              -0.12758
            ],
            [
              0.02306,
              0.01399,
              0.00471,
              -0.01408,
              -0.0519,
              -0.1277
            ],
            [
              0.02289,
              0.01383,
              0.00457,
              -0.01423,
              -0.05204,
              -0.12785
            ],
            [
              0.02275,
              0.01369,
              0.00441,
              -0.01438,
              -0.05217,
              -0.12798
            ],
            [
              0.0226,
              0.01355,
              0.00426,
              -0.01452,
              -0.05231,
              -0.12811
            ],
            [
              0.02248,
              0.0134,
              0.00411,
              -0.01466,
              -0.05244,
              -0.12823
            ],
            [
              0.02243,
              0.01329,
              0.00401,
              -0.01476,
              -0.05252,
              -0.12828
            ],
            [
              0.02239,
              0.01321,
              0.00393,
              -0.01482,
              -0.05255,
              -0.12831
            ],
            [
              0.02248,
              0.01323,
              0.00394,
              -0.01481,
              -0.05253,
              -0.12826
            ],
            [
              0.02274,
              0.01342,
              0.00407,
              -0.01468,
              -0.05237,
              -0.12809
            ]
          ]
        },
        "related_pin": "C",
        "rise_power,pwr_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00741,
            0.01481,
            0.02962,
            0.05924,
            0.11848
          ],
          "values": [
            [
              0.00913,
              0.01896,
              0.02848,
              0.04732,
              0.08497,
              0.16017
            ],
            [
              0.00906,
              0.01892,
              0.02843,
              0.04728,
              0.08498,
              0.16024
            ],
            [
              0.00897,
              0.01881,
              0.02834,
              0.04721,
              0.08481,
              0.16005
            ],
            [
              0.00891,
              0.01876,
              0.02831,
              0.04714,
              0.08481,
              0.15992
            ],
            [
              0.00879,
              0.01864,
              0.02821,
              0.04704,
              0.08466,
              0.15993
            ],
            [
              0.00864,
              0.01849,
              0.028,
              0.04687,
              0.08455,
              0.15967
            ],
            [
              0.00848,
              0.0183,
              0.02784,
              0.04671,
              0.08436,
              0.15958
            ],
            [
              0.0083,
              0.01808,
              0.02764,
              0.04654,
              0.08421,
              0.15938
            ],
            [
              0.00813,
              0.01788,
              0.02742,
              0.04636,
              0.08398,
              0.1591
            ],
            [
              0.00798,
              0.01769,
              0.02724,
              0.04621,
              0.08384,
              0.15898
            ],
            [
              0.0079,
              0.01755,
              0.02709,
              0.046,
              0.08382,
              0.15888
            ],
            [
              0.00789,
              0.01754,
              0.02706,
              0.04593,
              0.08356,
              0.15886
            ],
            [
              0.00799,
              0.01757,
              0.02715,
              0.04607,
              0.08362,
              0.15897
            ]
          ]
        },
        "when": "(!A&!B) | (A&B)"
      },
      {
        "fall_power,pwr_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00741,
            0.01481,
            0.02962,
            0.05924,
            0.11848
          ],
          "values": [
            [
              0.01632,
              0.00713,
              -0.00209,
              -0.02078,
              -0.05856,
              -0.13429
            ],
            [
              0.01625,
              0.00706,
              -0.00218,
              -0.02086,
              -0.05856,
              -0.13429
            ],
            [
              0.01626,
              0.00706,
              -0.00217,
              -0.02087,
              -0.05856,
              -0.13429
            ],
            [
              0.01625,
              0.00706,
              -0.00217,
              -0.02086,
              -0.05855,
              -0.13428
            ],
            [
              0.01629,
              0.00709,
              -0.00215,
              -0.02084,
              -0.05852,
              -0.13425
            ],
            [
              0.0163,
              0.00713,
              -0.00212,
              -0.02081,
              -0.05849,
              -0.13421
            ],
            [
              0.01639,
              0.00718,
              -0.00205,
              -0.02074,
              -0.05843,
              -0.13415
            ],
            [
              0.01648,
              0.00729,
              -0.00196,
              -0.02065,
              -0.05834,
              -0.13406
            ],
            [
              0.01661,
              0.00743,
              -0.00184,
              -0.02054,
              -0.05823,
              -0.13394
            ],
            [
              0.01677,
              0.00761,
              -0.00167,
              -0.02037,
              -0.05807,
              -0.13377
            ],
            [
              0.01701,
              0.00787,
              -0.00141,
              -0.02013,
              -0.05783,
              -0.13353
            ],
            [
              0.01738,
              0.00823,
              -0.00105,
              -0.01978,
              -0.05748,
              -0.13319
            ],
            [
              0.01799,
              0.00881,
              -0.0005,
              -0.01925,
              -0.05696,
              -0.13264
            ]
          ]
        },
        "related_pin": "C",
        "rise_power,pwr_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00741,
            0.01481,
            0.02962,
            0.05924,
            0.11848
          ],
          "values": [
            [
              0.02156,
              0.03128,
              0.04081,
              0.05971,
              0.0975,
              0.17278
            ],
            [
              0.02156,
              0.03129,
              0.04083,
              0.05974,
              0.09751,
              0.17279
            ],
            [
              0.02152,
              0.03124,
              0.04077,
              0.05972,
              0.0975,
              0.17272
            ],
            [
              0.02147,
              0.03121,
              0.04075,
              0.05962,
              0.0974,
              0.1727
            ],
            [
              0.02143,
              0.03115,
              0.0407,
              0.05959,
              0.09736,
              0.17266
            ],
            [
              0.02139,
              0.03111,
              0.04066,
              0.05958,
              0.09739,
              0.17261
            ],
            [
              0.02142,
              0.03114,
              0.04069,
              0.05957,
              0.09735,
              0.17264
            ],
            [
              0.02149,
              0.03123,
              0.04076,
              0.05964,
              0.0974,
              0.17271
            ],
            [
              0.02163,
              0.03137,
              0.04091,
              0.05979,
              0.09757,
              0.17282
            ],
            [
              0.02184,
              0.03156,
              0.04111,
              0.06002,
              0.09779,
              0.1729
            ],
            [
              0.02209,
              0.03183,
              0.04136,
              0.06025,
              0.09801,
              0.17341
            ],
            [
              0.02246,
              0.03217,
              0.0417,
              0.06057,
              0.09829,
              0.17349
            ],
            [
              0.02283,
              0.03255,
              0.0421,
              0.06093,
              0.0987,
              0.1738
            ]
          ]
        },
        "when": "(A&!B) | (!A&B)"
      }
    ],
    "max_capacitance": 0.07803,
    "power_down_function": "(!VPWR + VGND)",
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR",
    "timing": [
      {
        "cell_fall,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00741,
            0.01481,
            0.02962,
            0.05924,
            0.11848
          ],
          "values": [
            [
              0.61571,
              0.72261,
              0.79006,
              0.89715,
              1.07417,
              1.38787
            ],
            [
              0.61901,
              0.72591,
              0.79336,
              0.90046,
              1.07754,
              1.39114
            ],
            [
              0.62293,
              0.72983,
              0.79727,
              0.90438,
              1.08142,
              1.39512
            ],
            [
              0.62879,
              0.73567,
              0.80314,
              0.91021,
              1.08727,
              1.40098
            ],
            [
              0.63815,
              0.74506,
              0.81251,
              0.9196,
              1.09661,
              1.41031
            ],
            [
              0.65216,
              0.75906,
              0.82651,
              0.93362,
              1.11062,
              1.42422
            ],
            [
              0.67333,
              0.78025,
              0.84769,
              0.95483,
              1.13183,
              1.44543
            ],
            [
              0.70534,
              0.81225,
              0.87966,
              0.98676,
              1.16386,
              1.47756
            ],
            [
              0.75355,
              0.86045,
              0.92785,
              1.03495,
              1.21205,
              1.52575
            ],
            [
              0.82609,
              0.93289,
              1.00029,
              1.10739,
              1.28449,
              1.59819
            ],
            [
              0.93362,
              1.04052,
              1.10792,
              1.21502,
              1.39212,
              1.70562
            ],
            [
              1.09127,
              1.19807,
              1.26537,
              1.37247,
              1.54967,
              1.86357
            ],
            [
              1.3095,
              1.4173,
              1.4849,
              1.5922,
              1.7696,
              2.0836
            ]
          ]
        },
        "cell_rise,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00741,
            0.01481,
            0.02962,
            0.05924,
            0.11848
          ],
          "values": [
            [
              0.34227,
              0.447,
              0.52441,
              0.66379,
              0.92896,
              1.45327
            ],
            [
              0.34561,
              0.45033,
              0.52774,
              0.6671,
              0.93204,
              1.45694
            ],
            [
              0.34949,
              0.45421,
              0.53165,
              0.67097,
              0.9365,
              1.46052
            ],
            [
              0.35535,
              0.46007,
              0.53749,
              0.67688,
              0.9421,
              1.46667
            ],
            [
              0.36398,
              0.46871,
              0.54613,
              0.68552,
              0.95072,
              1.47521
            ],
            [
              0.37698,
              0.4817,
              0.55915,
              0.69852,
              0.96352,
              1.48842
            ],
            [
              0.39611,
              0.50085,
              0.57827,
              0.71765,
              0.98273,
              1.50783
            ],
            [
              0.42471,
              0.52945,
              0.6069,
              0.74631,
              1.01126,
              1.53646
            ],
            [
              0.46656,
              0.57131,
              0.64871,
              0.78805,
              1.05335,
              1.57775
            ],
            [
              0.52589,
              0.63059,
              0.70799,
              0.84729,
              1.11239,
              1.63719
            ],
            [
              0.60832,
              0.71332,
              0.79082,
              0.93022,
              1.19512,
              1.72052
            ],
            [
              0.71617,
              0.82457,
              0.90297,
              1.04267,
              1.30807,
              1.83337
            ],
            [
              0.8534,
              0.9672,
              1.0478,
              1.1894,
              1.4553,
              1.9802
            ]
          ]
        },
        "fall_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00741,
            0.01481,
            0.02962,
            0.05924,
            0.11848
          ],
          "values": [
            [
              0.0666,
              0.13753,
              0.19139,
              0.28818,
              0.47315,
              0.84444
            ],
            [
              0.06659,
              0.13754,
              0.1914,
              0.28824,
              0.47311,
              0.8444
            ],
            [
              0.06659,
              0.13753,
              0.19141,
              0.2882,
              0.47317,
              0.8445
            ],
            [
              0.06659,
              0.13725,
              0.19122,
              0.2881,
              0.47286,
              0.8444
            ],
            [
              0.0666,
              0.13753,
              0.19139,
              0.28815,
              0.47303,
              0.8444
            ],
            [
              0.06659,
              0.13754,
              0.19113,
              0.28828,
              0.47349,
              0.8446
            ],
            [
              0.06658,
              0.13727,
              0.19114,
              0.28832,
              0.473,
              0.8446
            ],
            [
              0.06659,
              0.13758,
              0.19142,
              0.2882,
              0.4731,
              0.8445
            ],
            [
              0.06656,
              0.1375,
              0.1915,
              0.2882,
              0.473,
              0.8444
            ],
            [
              0.0667,
              0.1373,
              0.1913,
              0.2882,
              0.4728,
              0.8443
            ],
            [
              0.0668,
              0.1374,
              0.1914,
              0.2883,
              0.4722,
              0.8445
            ],
            [
              0.067,
              0.1378,
              0.1917,
              0.2886,
              0.4729,
              0.8438
            ],
            [
              0.0691,
              0.1392,
              0.1932,
              0.2894,
              0.4737,
              0.8447
            ]
          ]
        },
        "related_pin": "A",
        "rise_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00741,
            0.01481,
            0.02962,
            0.05924,
            0.11848
          ],
          "values": [
            [
              0.04926,
              0.14673,
              0.23365,
              0.40769,
              0.7665,
              1.50002
            ],
            [
              0.04918,
              0.14677,
              0.23361,
              0.40799,
              0.76792,
              1.49909
            ],
            [
              0.04917,
              0.1469,
              0.23352,
              0.40828,
              0.76832,
              1.49841
            ],
            [
              0.04917,
              0.14663,
              0.23363,
              0.4078,
              0.76643,
              1.50014
            ],
            [
              0.04918,
              0.1467,
              0.23365,
              0.40771,
              0.76642,
              1.50023
            ],
            [
              0.04918,
              0.147,
              0.23346,
              0.4081,
              0.76624,
              1.50012
            ],
            [
              0.04918,
              0.14677,
              0.23368,
              0.40795,
              0.76817,
              1.49972
            ],
            [
              0.04919,
              0.14698,
              0.23367,
              0.40788,
              0.7679,
              1.4992
            ],
            [
              0.04931,
              0.1469,
              0.23378,
              0.40852,
              0.76669,
              1.4994
            ],
            [
              0.04927,
              0.14695,
              0.23392,
              0.4087,
              0.7683,
              1.499
            ],
            [
              0.05,
              0.1472,
              0.2342,
              0.4082,
              0.7673,
              1.4997
            ],
            [
              0.0525,
              0.1503,
              0.2363,
              0.4095,
              0.7689,
              1.5032
            ],
            [
              0.0564,
              0.1562,
              0.242,
              0.4133,
              0.7687,
              1.4985
            ]
          ]
        },
        "sdf_cond": "(!B&!C)",
        "timing_sense": "positive_unate",
        "when": "(!B&!C)"
      },
      {
        "cell_fall,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00741,
            0.01481,
            0.02962,
            0.05924,
            0.11848
          ],
          "values": [
            [
              0.68319,
              0.79799,
              0.86969,
              0.9821,
              1.16497,
              1.48367
            ],
            [
              0.68647,
              0.80126,
              0.87297,
              0.98538,
              1.16824,
              1.48694
            ],
            [
              0.69042,
              0.80519,
              0.87689,
              0.98932,
              1.17222,
              1.49092
            ],
            [
              0.69622,
              0.81102,
              0.88272,
              0.99508,
              1.17807,
              1.49668
            ],
            [
              0.7051,
              0.8199,
              0.89157,
              1.00401,
              1.18691,
              1.50561
            ],
            [
              0.71832,
              0.83311,
              0.9048,
              1.01722,
              1.20012,
              1.51882
            ],
            [
              0.73851,
              0.85322,
              0.92493,
              1.03733,
              1.22023,
              1.53893
            ],
            [
              0.76873,
              0.88346,
              0.95516,
              1.06756,
              1.25046,
              1.56906
            ],
            [
              0.81225,
              0.92715,
              0.99885,
              1.11115,
              1.29405,
              1.61265
            ],
            [
              0.87159,
              0.98639,
              1.05809,
              1.17049,
              1.35339,
              1.67209
            ],
            [
              0.94922,
              1.06402,
              1.13562,
              1.24812,
              1.43102,
              1.74962
            ],
            [
              1.04727,
              1.16207,
              1.23377,
              1.34617,
              1.52907,
              1.84767
            ],
            [
              1.1695,
              1.2842,
              1.3559,
              1.4683,
              1.6513,
              1.9699
            ]
          ]
        },
        "cell_rise,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00741,
            0.01481,
            0.02962,
            0.05924,
            0.11848
          ],
          "values": [
            [
              0.57503,
              0.68388,
              0.76191,
              0.90118,
              1.16627,
              1.69167
            ],
            [
              0.57826,
              0.68712,
              0.76513,
              0.90435,
              1.16934,
              1.69354
            ],
            [
              0.58215,
              0.69101,
              0.76898,
              0.90843,
              1.17302,
              1.69852
            ],
            [
              0.5882,
              0.69707,
              0.77506,
              0.91444,
              1.17908,
              1.70408
            ],
            [
              0.59738,
              0.70626,
              0.78421,
              0.92367,
              1.18841,
              1.71391
            ],
            [
              0.61138,
              0.72023,
              0.79825,
              0.93732,
              1.20262,
              1.72732
            ],
            [
              0.63254,
              0.74141,
              0.81937,
              0.95883,
              1.22353,
              1.74893
            ],
            [
              0.66465,
              0.77351,
              0.85156,
              0.99066,
              1.25586,
              1.78066
            ],
            [
              0.71324,
              0.82215,
              0.90015,
              1.03945,
              1.30445,
              1.82985
            ],
            [
              0.78689,
              0.89579,
              0.97379,
              1.11319,
              1.37779,
              1.90299
            ],
            [
              0.89442,
              1.00332,
              1.08132,
              1.22062,
              1.48562,
              2.01102
            ],
            [
              1.03997,
              1.14897,
              1.22687,
              1.36637,
              1.63127,
              2.15677
            ],
            [
              1.2265,
              1.3359,
              1.4141,
              1.5534,
              1.8187,
              2.3444
            ]
          ]
        },
        "fall_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00741,
            0.01481,
            0.02962,
            0.05924,
            0.11848
          ],
          "values": [
            [
              0.07207,
              0.14738,
              0.20342,
              0.3026,
              0.48827,
              0.8567
            ],
            [
              0.07207,
              0.14737,
              0.20342,
              0.30269,
              0.48826,
              0.8566
            ],
            [
              0.07208,
              0.14738,
              0.20341,
              0.30265,
              0.48841,
              0.8567
            ],
            [
              0.07207,
              0.14737,
              0.20338,
              0.30268,
              0.48824,
              0.8569
            ],
            [
              0.07206,
              0.14757,
              0.20323,
              0.30206,
              0.48719,
              0.8554
            ],
            [
              0.07207,
              0.14738,
              0.20344,
              0.30264,
              0.4883,
              0.8568
            ],
            [
              0.07208,
              0.14727,
              0.20349,
              0.3022,
              0.4872,
              0.8567
            ],
            [
              0.07206,
              0.14722,
              0.2032,
              0.302,
              0.4868,
              0.8555
            ],
            [
              0.0721,
              0.1474,
              0.2034,
              0.302,
              0.487,
              0.8555
            ],
            [
              0.0721,
              0.1474,
              0.2034,
              0.3026,
              0.4882,
              0.8567
            ],
            [
              0.0721,
              0.1472,
              0.2033,
              0.3021,
              0.487,
              0.8555
            ],
            [
              0.0721,
              0.1473,
              0.2033,
              0.3019,
              0.4865,
              0.8557
            ],
            [
              0.0722,
              0.1474,
              0.2032,
              0.3023,
              0.4868,
              0.8565
            ]
          ]
        },
        "related_pin": "A",
        "rise_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00741,
            0.01481,
            0.02962,
            0.05924,
            0.11848
          ],
          "values": [
            [
              0.05317,
              0.14973,
              0.23512,
              0.40828,
              0.7672,
              1.5004
            ],
            [
              0.05318,
              0.14951,
              0.2354,
              0.40864,
              0.76692,
              1.5003
            ],
            [
              0.05315,
              0.14971,
              0.23515,
              0.4084,
              0.76664,
              1.4984
            ],
            [
              0.05316,
              0.14961,
              0.23504,
              0.40862,
              0.76644,
              1.4996
            ],
            [
              0.05316,
              0.1498,
              0.23499,
              0.40812,
              0.76688,
              1.4995
            ],
            [
              0.05318,
              0.14955,
              0.23508,
              0.4086,
              0.76706,
              1.5004
            ],
            [
              0.05315,
              0.14972,
              0.23511,
              0.40841,
              0.76675,
              1.4987
            ],
            [
              0.05318,
              0.14954,
              0.23511,
              0.40856,
              0.7671,
              1.5005
            ],
            [
              0.05317,
              0.1501,
              0.2354,
              0.4082,
              0.7673,
              1.5003
            ],
            [
              0.0532,
              0.1496,
              0.2353,
              0.4086,
              0.7662,
              1.4993
            ],
            [
              0.0531,
              0.1499,
              0.235,
              0.4082,
              0.7672,
              1.5003
            ],
            [
              0.0533,
              0.1499,
              0.2351,
              0.4078,
              0.7671,
              1.5
            ],
            [
              0.0538,
              0.1504,
              0.2358,
              0.409,
              0.7674,
              1.4996
            ]
          ]
        },
        "sdf_cond": "(!B&C)",
        "timing_sense": "negative_unate",
        "when": "(!B&C)"
      },
      {
        "cell_fall,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00741,
            0.01481,
            0.02962,
            0.05924,
            0.11848
          ],
          "values": [
            [
              0.7031,
              0.82088,
              0.89423,
              1.00897,
              1.19457,
              1.51587
            ],
            [
              0.7064,
              0.82418,
              0.89753,
              1.01224,
              1.19794,
              1.51924
            ],
            [
              0.71032,
              0.82805,
              0.90142,
              1.01622,
              1.20182,
              1.52312
            ],
            [
              0.71625,
              0.834,
              0.90734,
              1.02208,
              1.20768,
              1.52898
            ],
            [
              0.72499,
              0.84274,
              0.9161,
              1.03081,
              1.21651,
              1.53761
            ],
            [
              0.73814,
              0.85591,
              0.92932,
              1.04402,
              1.22962,
              1.55092
            ],
            [
              0.75797,
              0.87574,
              0.94913,
              1.06383,
              1.24953,
              1.57063
            ],
            [
              0.78813,
              0.90586,
              0.97926,
              1.09396,
              1.27966,
              1.60086
            ],
            [
              0.83175,
              0.94955,
              1.02285,
              1.13765,
              1.32335,
              1.64455
            ],
            [
              0.89169,
              1.00949,
              1.08279,
              1.19749,
              1.38319,
              1.70449
            ],
            [
              0.97022,
              1.08802,
              1.16142,
              1.27612,
              1.46182,
              1.78312
            ],
            [
              1.06957,
              1.18737,
              1.26067,
              1.37537,
              1.56107,
              1.88247
            ],
            [
              1.1928,
              1.3105,
              1.3838,
              1.4986,
              1.6844,
              2.0057
            ]
          ]
        },
        "cell_rise,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00741,
            0.01481,
            0.02962,
            0.05924,
            0.11848
          ],
          "values": [
            [
              0.56632,
              0.66855,
              0.74428,
              0.88178,
              1.14577,
              1.67077
            ],
            [
              0.56956,
              0.67179,
              0.74745,
              0.88497,
              1.14884,
              1.67444
            ],
            [
              0.57359,
              0.67581,
              0.75145,
              0.88894,
              1.15312,
              1.67822
            ],
            [
              0.57944,
              0.68166,
              0.75733,
              0.89485,
              1.15878,
              1.68437
            ],
            [
              0.58867,
              0.69089,
              0.76662,
              0.90411,
              1.16801,
              1.69321
            ],
            [
              0.6026,
              0.70483,
              0.78051,
              0.91782,
              1.18222,
              1.70612
            ],
            [
              0.6237,
              0.72592,
              0.80166,
              0.93913,
              1.20303,
              1.72823
            ],
            [
              0.65579,
              0.75801,
              0.83363,
              0.97116,
              1.23526,
              1.76056
            ],
            [
              0.70434,
              0.80655,
              0.88225,
              1.01975,
              1.28365,
              1.80885
            ],
            [
              0.77789,
              0.88009,
              0.95569,
              1.09329,
              1.35729,
              1.88279
            ],
            [
              0.88532,
              0.98762,
              1.06322,
              1.20072,
              1.46472,
              1.99032
            ],
            [
              1.03167,
              1.13407,
              1.20977,
              1.34707,
              1.61157,
              2.13557
            ],
            [
              1.2205,
              1.3234,
              1.3993,
              1.537,
              1.8012,
              2.3257
            ]
          ]
        },
        "fall_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00741,
            0.01481,
            0.02962,
            0.05924,
            0.11848
          ],
          "values": [
            [
              0.07516,
              0.1514,
              0.20771,
              0.30735,
              0.49269,
              0.8613
            ],
            [
              0.07516,
              0.1514,
              0.20772,
              0.30734,
              0.49266,
              0.8613
            ],
            [
              0.07519,
              0.1514,
              0.20762,
              0.30726,
              0.4927,
              0.8612
            ],
            [
              0.0752,
              0.15142,
              0.20774,
              0.30724,
              0.49268,
              0.8613
            ],
            [
              0.07518,
              0.15118,
              0.20769,
              0.30797,
              0.4923,
              0.8613
            ],
            [
              0.07516,
              0.15138,
              0.20766,
              0.3076,
              0.4924,
              0.8613
            ],
            [
              0.07519,
              0.15115,
              0.20768,
              0.3079,
              0.4923,
              0.8613
            ],
            [
              0.07518,
              0.15134,
              0.2076,
              0.3077,
              0.4922,
              0.8612
            ],
            [
              0.0753,
              0.1514,
              0.2077,
              0.3081,
              0.4926,
              0.8614
            ],
            [
              0.0752,
              0.1514,
              0.2077,
              0.3073,
              0.4927,
              0.8613
            ],
            [
              0.0752,
              0.1514,
              0.2077,
              0.3075,
              0.4926,
              0.8613
            ],
            [
              0.0754,
              0.1511,
              0.2078,
              0.3075,
              0.4927,
              0.8617
            ],
            [
              0.0752,
              0.1512,
              0.2083,
              0.3081,
              0.4926,
              0.8613
            ]
          ]
        },
        "related_pin": "A",
        "rise_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00741,
            0.01481,
            0.02962,
            0.05924,
            0.11848
          ],
          "values": [
            [
              0.04841,
              0.14357,
              0.22956,
              0.40415,
              0.76464,
              1.4997
            ],
            [
              0.04841,
              0.14358,
              0.22939,
              0.40418,
              0.76448,
              1.4994
            ],
            [
              0.0484,
              0.14332,
              0.22921,
              0.40422,
              0.76484,
              1.4983
            ],
            [
              0.0484,
              0.14358,
              0.22928,
              0.40415,
              0.76445,
              1.4995
            ],
            [
              0.0484,
              0.14373,
              0.22955,
              0.40415,
              0.76435,
              1.4996
            ],
            [
              0.04837,
              0.14334,
              0.22948,
              0.4045,
              0.76521,
              1.4986
            ],
            [
              0.04841,
              0.14373,
              0.22954,
              0.40413,
              0.76433,
              1.4997
            ],
            [
              0.0484,
              0.14329,
              0.22927,
              0.40416,
              0.7648,
              1.4989
            ],
            [
              0.0484,
              0.14377,
              0.2295,
              0.4041,
              0.7643,
              1.4997
            ],
            [
              0.0484,
              0.1433,
              0.2293,
              0.4042,
              0.7647,
              1.499
            ],
            [
              0.0484,
              0.1433,
              0.2294,
              0.4042,
              0.7646,
              1.4992
            ],
            [
              0.0485,
              0.1435,
              0.2296,
              0.4045,
              0.7653,
              1.499
            ],
            [
              0.049,
              0.1443,
              0.2302,
              0.4045,
              0.765,
              1.4995
            ]
          ]
        },
        "sdf_cond": "(B&!C)",
        "timing_sense": "negative_unate",
        "when": "(B&!C)"
      },
      {
        "cell_fall,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00741,
            0.01481,
            0.02962,
            0.05924,
            0.11848
          ],
          "values": [
            [
              0.61574,
              0.72366,
              0.79119,
              0.89824,
              1.07527,
              1.38897
            ],
            [
              0.61909,
              0.72701,
              0.79454,
              0.90159,
              1.07864,
              1.39234
            ],
            [
              0.623,
              0.7309,
              0.79845,
              0.9055,
              1.08252,
              1.39622
            ],
            [
              0.62902,
              0.73696,
              0.80449,
              0.91155,
              1.08858,
              1.40228
            ],
            [
              0.6382,
              0.74611,
              0.81367,
              0.92072,
              1.09771,
              1.41151
            ],
            [
              0.65221,
              0.76012,
              0.82766,
              0.93472,
              1.11172,
              1.42542
            ],
            [
              0.67328,
              0.78123,
              0.84876,
              0.95583,
              1.13283,
              1.44633
            ],
            [
              0.7052,
              0.81311,
              0.88066,
              0.98766,
              1.16476,
              1.47846
            ],
            [
              0.75325,
              0.86115,
              0.92865,
              1.03575,
              1.21275,
              1.52655
            ],
            [
              0.82599,
              0.93389,
              1.00139,
              1.10849,
              1.28549,
              1.59929
            ],
            [
              0.93332,
              1.04132,
              1.10882,
              1.21592,
              1.39302,
              1.70672
            ],
            [
              1.09027,
              1.19827,
              1.26567,
              1.37287,
              1.54997,
              1.86377
            ],
            [
              1.3082,
              1.4173,
              1.485,
              1.5923,
              1.7697,
              2.0838
            ]
          ]
        },
        "cell_rise,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00741,
            0.01481,
            0.02962,
            0.05924,
            0.11848
          ],
          "values": [
            [
              0.31364,
              0.41543,
              0.49135,
              0.62973,
              0.89503,
              1.41997
            ],
            [
              0.31695,
              0.41874,
              0.49466,
              0.63292,
              0.89835,
              1.42334
            ],
            [
              0.32086,
              0.42264,
              0.49857,
              0.63694,
              0.90233,
              1.42732
            ],
            [
              0.32671,
              0.42851,
              0.50443,
              0.6428,
              0.90821,
              1.43318
            ],
            [
              0.33541,
              0.4372,
              0.51313,
              0.65151,
              0.91693,
              1.44181
            ],
            [
              0.34845,
              0.45023,
              0.52616,
              0.66443,
              0.92992,
              1.45482
            ],
            [
              0.36778,
              0.46958,
              0.54548,
              0.68391,
              0.94953,
              1.47413
            ],
            [
              0.39683,
              0.49863,
              0.57454,
              0.71295,
              0.97806,
              1.50336
            ],
            [
              0.43968,
              0.5415,
              0.61738,
              0.75575,
              1.02105,
              1.54715
            ],
            [
              0.50101,
              0.60275,
              0.67859,
              0.81689,
              1.08209,
              1.60699
            ],
            [
              0.58602,
              0.68832,
              0.76412,
              0.90242,
              1.16752,
              1.69242
            ],
            [
              0.69607,
              0.80237,
              0.87937,
              1.01807,
              1.28367,
              1.80947
            ],
            [
              0.8354,
              0.9477,
              1.0271,
              1.1679,
              1.4335,
              1.9586
            ]
          ]
        },
        "fall_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00741,
            0.01481,
            0.02962,
            0.05924,
            0.11848
          ],
          "values": [
            [
              0.0684,
              0.13811,
              0.19193,
              0.28846,
              0.4732,
              0.84473
            ],
            [
              0.06832,
              0.13813,
              0.19177,
              0.28849,
              0.47322,
              0.8447
            ],
            [
              0.06832,
              0.13814,
              0.19165,
              0.28846,
              0.47319,
              0.8446
            ],
            [
              0.06832,
              0.13811,
              0.19176,
              0.28847,
              0.4732,
              0.8446
            ],
            [
              0.06832,
              0.13812,
              0.19175,
              0.28843,
              0.47326,
              0.8447
            ],
            [
              0.06833,
              0.13817,
              0.19173,
              0.28837,
              0.47281,
              0.8443
            ],
            [
              0.06832,
              0.13843,
              0.1917,
              0.28848,
              0.4725,
              0.8451
            ],
            [
              0.06832,
              0.13811,
              0.19177,
              0.2885,
              0.4732,
              0.8445
            ],
            [
              0.0683,
              0.1382,
              0.1917,
              0.2885,
              0.4732,
              0.8445
            ],
            [
              0.0685,
              0.1382,
              0.1918,
              0.2886,
              0.473,
              0.844
            ],
            [
              0.0688,
              0.1385,
              0.1921,
              0.2893,
              0.4734,
              0.8453
            ],
            [
              0.0691,
              0.1391,
              0.1924,
              0.2894,
              0.4741,
              0.8452
            ],
            [
              0.0713,
              0.1402,
              0.1939,
              0.2898,
              0.4739,
              0.8452
            ]
          ]
        },
        "related_pin": "A",
        "rise_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00741,
            0.01481,
            0.02962,
            0.05924,
            0.11848
          ],
          "values": [
            [
              0.04735,
              0.14309,
              0.22995,
              0.40586,
              0.7662,
              1.50116
            ],
            [
              0.04735,
              0.14308,
              0.22994,
              0.40552,
              0.76616,
              1.50121
            ],
            [
              0.04736,
              0.14304,
              0.22993,
              0.4062,
              0.76563,
              1.50129
            ],
            [
              0.04737,
              0.14305,
              0.22993,
              0.40617,
              0.76552,
              1.50128
            ],
            [
              0.04738,
              0.14307,
              0.22994,
              0.40598,
              0.76545,
              1.50121
            ],
            [
              0.04737,
              0.14309,
              0.22994,
              0.40553,
              0.76562,
              1.50117
            ],
            [
              0.04739,
              0.14325,
              0.22997,
              0.40562,
              0.76739,
              1.5011
            ],
            [
              0.04738,
              0.1432,
              0.23003,
              0.40556,
              0.76559,
              1.4986
            ],
            [
              0.04743,
              0.14327,
              0.23009,
              0.40585,
              0.76634,
              1.4998
            ],
            [
              0.04748,
              0.14341,
              0.23003,
              0.4062,
              0.7669,
              1.4972
            ],
            [
              0.0485,
              0.1437,
              0.2305,
              0.4062,
              0.7663,
              1.5004
            ],
            [
              0.0515,
              0.1473,
              0.2331,
              0.4075,
              0.7672,
              1.4983
            ],
            [
              0.0558,
              0.1539,
              0.2392,
              0.4107,
              0.7684,
              1.4982
            ]
          ]
        },
        "sdf_cond": "(B&C)",
        "timing_sense": "positive_unate",
        "when": "(B&C)"
      },
      {
        "cell_fall,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00741,
            0.01481,
            0.02962,
            0.05924,
            0.11848
          ],
          "values": [
            [
              0.49528,
              0.60206,
              0.66942,
              0.77628,
              0.95303,
              1.26647
            ],
            [
              0.4976,
              0.60439,
              0.67175,
              0.77861,
              0.95536,
              1.26884
            ],
            [
              0.50066,
              0.60745,
              0.67482,
              0.78169,
              0.95843,
              1.27192
            ],
            [
              0.5056,
              0.6124,
              0.67978,
              0.78665,
              0.9634,
              1.27688
            ],
            [
              0.51335,
              0.62015,
              0.68753,
              0.79442,
              0.97111,
              1.28461
            ],
            [
              0.52545,
              0.63226,
              0.69964,
              0.80649,
              0.98322,
              1.29672
            ],
            [
              0.5443,
              0.6511,
              0.71848,
              0.82534,
              1.00213,
              1.31533
            ],
            [
              0.57322,
              0.67998,
              0.74735,
              0.85426,
              1.03096,
              1.34426
            ],
            [
              0.61636,
              0.72306,
              0.79045,
              0.89725,
              1.07405,
              1.38765
            ],
            [
              0.67879,
              0.78539,
              0.85269,
              0.95959,
              1.13639,
              1.44999
            ],
            [
              0.77102,
              0.87742,
              0.94462,
              1.05152,
              1.22842,
              1.54202
            ],
            [
              0.90697,
              1.01367,
              1.08097,
              1.18797,
              1.36497,
              1.67847
            ],
            [
              1.0815,
              1.1948,
              1.2648,
              1.3742,
              1.5528,
              1.8672
            ]
          ]
        },
        "cell_rise,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00741,
            0.01481,
            0.02962,
            0.05924,
            0.11848
          ],
          "values": [
            [
              0.29797,
              0.40262,
              0.47916,
              0.61722,
              0.88115,
              1.40657
            ],
            [
              0.30105,
              0.40572,
              0.48225,
              0.6203,
              0.88452,
              1.40944
            ],
            [
              0.30496,
              0.40965,
              0.4861,
              0.6241,
              0.88866,
              1.41262
            ],
            [
              0.31096,
              0.41568,
              0.49223,
              0.6303,
              0.89438,
              1.41958
            ],
            [
              0.31968,
              0.42444,
              0.50092,
              0.63885,
              0.90357,
              1.42741
            ],
            [
              0.33204,
              0.43684,
              0.51331,
              0.6515,
              0.91579,
              1.44082
            ],
            [
              0.34921,
              0.45411,
              0.53059,
              0.66879,
              0.93313,
              1.45813
            ],
            [
              0.37391,
              0.47891,
              0.55544,
              0.69345,
              0.95816,
              1.48216
            ],
            [
              0.41077,
              0.51576,
              0.59235,
              0.73043,
              0.99475,
              1.51985
            ],
            [
              0.46632,
              0.5709,
              0.64719,
              0.78519,
              1.04979,
              1.57389
            ],
            [
              0.54292,
              0.64862,
              0.72492,
              0.86272,
              1.12692,
              1.65262
            ],
            [
              0.64087,
              0.75017,
              0.82777,
              0.96647,
              1.23127,
              1.75547
            ],
            [
              0.7621,
              0.8775,
              0.9566,
              1.0969,
              1.3627,
              1.8877
            ]
          ]
        },
        "fall_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00741,
            0.01481,
            0.02962,
            0.05924,
            0.11848
          ],
          "values": [
            [
              0.06569,
              0.13623,
              0.19018,
              0.28805,
              0.47259,
              0.84442
            ],
            [
              0.0657,
              0.13622,
              0.19017,
              0.28805,
              0.47382,
              0.84445
            ],
            [
              0.06569,
              0.13626,
              0.19022,
              0.28794,
              0.47225,
              0.84439
            ],
            [
              0.06569,
              0.13626,
              0.19022,
              0.28796,
              0.47225,
              0.84438
            ],
            [
              0.06568,
              0.13627,
              0.19022,
              0.28766,
              0.47293,
              0.84437
            ],
            [
              0.06571,
              0.13649,
              0.19044,
              0.28745,
              0.47243,
              0.84419
            ],
            [
              0.06568,
              0.13617,
              0.19016,
              0.28745,
              0.47171,
              0.8444
            ],
            [
              0.06566,
              0.13618,
              0.19015,
              0.28733,
              0.47173,
              0.8446
            ],
            [
              0.06565,
              0.13651,
              0.19053,
              0.28756,
              0.4725,
              0.8443
            ],
            [
              0.0656,
              0.1364,
              0.1903,
              0.288,
              0.4727,
              0.8444
            ],
            [
              0.0656,
              0.1363,
              0.1904,
              0.2879,
              0.4729,
              0.8444
            ],
            [
              0.0669,
              0.1371,
              0.1913,
              0.2882,
              0.4723,
              0.8447
            ],
            [
              0.074,
              0.1452,
              0.1988,
              0.2942,
              0.4768,
              0.8451
            ]
          ]
        },
        "related_pin": "B",
        "rise_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00741,
            0.01481,
            0.02962,
            0.05924,
            0.11848
          ],
          "values": [
            [
              0.05034,
              0.14553,
              0.23123,
              0.40486,
              0.76462,
              1.49931
            ],
            [
              0.05026,
              0.14536,
              0.23123,
              0.40507,
              0.76517,
              1.49971
            ],
            [
              0.05028,
              0.14546,
              0.231,
              0.40556,
              0.76558,
              1.49869
            ],
            [
              0.05032,
              0.1455,
              0.23128,
              0.40502,
              0.76491,
              1.4995
            ],
            [
              0.05034,
              0.14544,
              0.231,
              0.4056,
              0.76562,
              1.49936
            ],
            [
              0.05037,
              0.14585,
              0.23118,
              0.40543,
              0.76522,
              1.49787
            ],
            [
              0.05043,
              0.14595,
              0.23125,
              0.40548,
              0.76523,
              1.49775
            ],
            [
              0.05054,
              0.14569,
              0.2313,
              0.40569,
              0.7657,
              1.49949
            ],
            [
              0.05059,
              0.14593,
              0.23162,
              0.40522,
              0.76534,
              1.4997
            ],
            [
              0.05041,
              0.14566,
              0.23113,
              0.4056,
              0.7656,
              1.4986
            ],
            [
              0.0522,
              0.1463,
              0.2314,
              0.4055,
              0.7648,
              1.4979
            ],
            [
              0.0556,
              0.1503,
              0.2346,
              0.4072,
              0.7662,
              1.4996
            ],
            [
              0.0615,
              0.1557,
              0.2393,
              0.4109,
              0.7672,
              1.5
            ]
          ]
        },
        "sdf_cond": "(!A&!C)",
        "timing_sense": "positive_unate",
        "when": "(!A&!C)"
      },
      {
        "cell_fall,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00741,
            0.01481,
            0.02962,
            0.05924,
            0.11848
          ],
          "values": [
            [
              0.45872,
              0.56488,
              0.63195,
              0.73849,
              0.91508,
              1.22857
            ],
            [
              0.46208,
              0.56825,
              0.63529,
              0.74185,
              0.91844,
              1.23194
            ],
            [
              0.46631,
              0.57247,
              0.63953,
              0.74608,
              0.92267,
              1.23622
            ],
            [
              0.47282,
              0.579,
              0.64607,
              0.7526,
              0.92919,
              1.24267
            ],
            [
              0.48247,
              0.58863,
              0.65569,
              0.76223,
              0.93883,
              1.25231
            ],
            [
              0.49633,
              0.60248,
              0.66953,
              0.77608,
              0.95272,
              1.26622
            ],
            [
              0.51611,
              0.62227,
              0.6893,
              0.79582,
              0.97243,
              1.28583
            ],
            [
              0.54415,
              0.65028,
              0.7173,
              0.82382,
              1.00046,
              1.31396
            ],
            [
              0.58413,
              0.69022,
              0.75725,
              0.86375,
              1.04035,
              1.35385
            ],
            [
              0.63899,
              0.74499,
              0.81189,
              0.91839,
              1.09499,
              1.40859
            ],
            [
              0.70102,
              0.80692,
              0.87392,
              0.98032,
              1.15692,
              1.47032
            ],
            [
              0.77227,
              0.87717,
              0.94377,
              1.04997,
              1.22637,
              1.53977
            ],
            [
              0.856,
              0.9614,
              1.0278,
              1.1336,
              1.3089,
              1.6218
            ]
          ]
        },
        "cell_rise,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00741,
            0.01481,
            0.02962,
            0.05924,
            0.11848
          ],
          "values": [
            [
              0.37854,
              0.48783,
              0.56595,
              0.70517,
              0.97039,
              1.49537
            ],
            [
              0.38105,
              0.49032,
              0.56845,
              0.70773,
              0.97284,
              1.49824
            ],
            [
              0.38437,
              0.49363,
              0.57172,
              0.71108,
              0.97611,
              1.50152
            ],
            [
              0.38987,
              0.4991,
              0.57722,
              0.71649,
              0.98157,
              1.50697
            ],
            [
              0.39852,
              0.50773,
              0.58583,
              0.72503,
              0.99021,
              1.51521
            ],
            [
              0.412,
              0.52118,
              0.59925,
              0.73857,
              1.00342,
              1.52772
            ],
            [
              0.4328,
              0.54194,
              0.61998,
              0.75942,
              1.02393,
              1.54923
            ],
            [
              0.4638,
              0.57291,
              0.65091,
              0.79033,
              1.05526,
              1.58066
            ],
            [
              0.50719,
              0.61631,
              0.6944,
              0.83365,
              1.09875,
              1.62405
            ],
            [
              0.56295,
              0.67219,
              0.75029,
              0.88979,
              1.15459,
              1.68009
            ],
            [
              0.62792,
              0.73772,
              0.81602,
              0.95552,
              1.22062,
              1.74572
            ],
            [
              0.70527,
              0.81497,
              0.89317,
              1.03267,
              1.29767,
              1.82327
            ],
            [
              0.7971,
              0.9072,
              0.9857,
              1.1251,
              1.3893,
              1.9148
            ]
          ]
        },
        "fall_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00741,
            0.01481,
            0.02962,
            0.05924,
            0.11848
          ],
          "values": [
            [
              0.06532,
              0.13612,
              0.1901,
              0.28717,
              0.47238,
              0.84455
            ],
            [
              0.0653,
              0.13581,
              0.18981,
              0.28719,
              0.47239,
              0.84456
            ],
            [
              0.06529,
              0.13615,
              0.19012,
              0.28717,
              0.47233,
              0.84431
            ],
            [
              0.06531,
              0.13613,
              0.18992,
              0.28718,
              0.47237,
              0.84444
            ],
            [
              0.0653,
              0.13613,
              0.19011,
              0.2872,
              0.47237,
              0.84453
            ],
            [
              0.06528,
              0.13613,
              0.19011,
              0.28722,
              0.47244,
              0.84459
            ],
            [
              0.06534,
              0.13578,
              0.18989,
              0.28719,
              0.47207,
              0.84385
            ],
            [
              0.06522,
              0.13607,
              0.19008,
              0.28721,
              0.47234,
              0.8445
            ],
            [
              0.06512,
              0.13602,
              0.19008,
              0.28721,
              0.4724,
              0.8446
            ],
            [
              0.06501,
              0.136,
              0.19,
              0.2872,
              0.4725,
              0.8446
            ],
            [
              0.0647,
              0.1355,
              0.1897,
              0.2871,
              0.4717,
              0.845
            ],
            [
              0.064,
              0.1347,
              0.1887,
              0.2865,
              0.4716,
              0.8438
            ],
            [
              0.0644,
              0.1346,
              0.1884,
              0.285,
              0.4707,
              0.8426
            ]
          ]
        },
        "related_pin": "B",
        "rise_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00741,
            0.01481,
            0.02962,
            0.05924,
            0.11848
          ],
          "values": [
            [
              0.05356,
              0.14999,
              0.23573,
              0.40881,
              0.76736,
              1.50062
            ],
            [
              0.05352,
              0.15008,
              0.23551,
              0.40864,
              0.76739,
              1.50034
            ],
            [
              0.05351,
              0.15029,
              0.23579,
              0.40847,
              0.76737,
              1.50021
            ],
            [
              0.05349,
              0.15006,
              0.23549,
              0.4086,
              0.76737,
              1.50033
            ],
            [
              0.05349,
              0.14991,
              0.23564,
              0.40875,
              0.76735,
              1.50053
            ],
            [
              0.05346,
              0.14988,
              0.23529,
              0.40883,
              0.76697,
              1.50025
            ],
            [
              0.05345,
              0.14997,
              0.23548,
              0.40876,
              0.76645,
              1.49902
            ],
            [
              0.05337,
              0.14997,
              0.23521,
              0.40799,
              0.76722,
              1.5
            ],
            [
              0.05339,
              0.14997,
              0.23538,
              0.40849,
              0.7673,
              1.5003
            ],
            [
              0.05351,
              0.15012,
              0.2353,
              0.408,
              0.7671,
              1.4998
            ],
            [
              0.0539,
              0.1506,
              0.2359,
              0.4086,
              0.7674,
              1.5007
            ],
            [
              0.0537,
              0.1503,
              0.2359,
              0.4094,
              0.7668,
              1.5002
            ],
            [
              0.0537,
              0.1511,
              0.2364,
              0.4079,
              0.7667,
              1.5004
            ]
          ]
        },
        "sdf_cond": "(!A&C)",
        "timing_sense": "negative_unate",
        "when": "(!A&C)"
      },
      {
        "cell_fall,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00741,
            0.01481,
            0.02962,
            0.05924,
            0.11848
          ],
          "values": [
            [
              0.53851,
              0.65623,
              0.72956,
              0.84424,
              1.02987,
              1.35117
            ],
            [
              0.54174,
              0.65943,
              0.73274,
              0.84744,
              1.03314,
              1.35444
            ],
            [
              0.54577,
              0.66344,
              0.73677,
              0.85146,
              1.03712,
              1.35842
            ],
            [
              0.55175,
              0.66939,
              0.74274,
              0.85743,
              1.04308,
              1.36438
            ],
            [
              0.56047,
              0.67818,
              0.7515,
              0.8662,
              1.05191,
              1.37321
            ],
            [
              0.57292,
              0.69057,
              0.76389,
              0.87858,
              1.06432,
              1.38542
            ],
            [
              0.59091,
              0.70857,
              0.78189,
              0.89653,
              1.08223,
              1.40343
            ],
            [
              0.6177,
              0.73539,
              0.80868,
              0.92336,
              1.10906,
              1.43046
            ],
            [
              0.65855,
              0.77625,
              0.84955,
              0.96425,
              1.14995,
              1.47115
            ],
            [
              0.72129,
              0.83899,
              0.91229,
              1.02689,
              1.21259,
              1.53389
            ],
            [
              0.80352,
              0.92112,
              0.99442,
              1.10912,
              1.29492,
              1.61632
            ],
            [
              0.88807,
              1.00547,
              1.07867,
              1.19327,
              1.37907,
              1.70047
            ],
            [
              0.9827,
              1.0997,
              1.1725,
              1.2864,
              1.4716,
              1.7928
            ]
          ]
        },
        "cell_rise,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00741,
            0.01481,
            0.02962,
            0.05924,
            0.11848
          ],
          "values": [
            [
              0.33816,
              0.44146,
              0.51805,
              0.65625,
              0.92102,
              1.44607
            ],
            [
              0.34075,
              0.44405,
              0.52059,
              0.65895,
              0.9233,
              1.44854
            ],
            [
              0.34419,
              0.44748,
              0.52404,
              0.66217,
              0.92698,
              1.45212
            ],
            [
              0.34976,
              0.45304,
              0.52965,
              0.66788,
              0.93264,
              1.45698
            ],
            [
              0.35857,
              0.46184,
              0.53838,
              0.67664,
              0.94118,
              1.46651
            ],
            [
              0.37223,
              0.47548,
              0.55197,
              0.69037,
              0.95492,
              1.47932
            ],
            [
              0.39302,
              0.49627,
              0.57278,
              0.71107,
              0.97553,
              1.50083
            ],
            [
              0.42402,
              0.52725,
              0.6037,
              0.74216,
              1.00646,
              1.53136
            ],
            [
              0.46734,
              0.57058,
              0.64717,
              0.78535,
              1.05005,
              1.57435
            ],
            [
              0.52238,
              0.62572,
              0.70239,
              0.84059,
              1.10539,
              1.62969
            ],
            [
              0.58782,
              0.69132,
              0.76802,
              0.90652,
              1.17132,
              1.69652
            ],
            [
              0.66667,
              0.76977,
              0.84617,
              0.98467,
              1.24957,
              1.77437
            ],
            [
              0.7599,
              0.8629,
              0.9395,
              1.0781,
              1.3424,
              1.8673
            ]
          ]
        },
        "fall_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00741,
            0.01481,
            0.02962,
            0.05924,
            0.11848
          ],
          "values": [
            [
              0.07519,
              0.15116,
              0.20797,
              0.30801,
              0.4925,
              0.86123
            ],
            [
              0.07516,
              0.15143,
              0.20774,
              0.30725,
              0.49285,
              0.86135
            ],
            [
              0.07517,
              0.15123,
              0.20764,
              0.30774,
              0.49229,
              0.86125
            ],
            [
              0.07524,
              0.15109,
              0.20771,
              0.30753,
              0.4924,
              0.86123
            ],
            [
              0.07525,
              0.1512,
              0.20766,
              0.3077,
              0.49235,
              0.8613
            ],
            [
              0.07515,
              0.15111,
              0.20799,
              0.30804,
              0.49244,
              0.8614
            ],
            [
              0.07517,
              0.15116,
              0.2077,
              0.30795,
              0.49228,
              0.8613
            ],
            [
              0.07517,
              0.1511,
              0.20778,
              0.30748,
              0.4941,
              0.8618
            ],
            [
              0.07527,
              0.15101,
              0.20806,
              0.3081,
              0.4926,
              0.8615
            ],
            [
              0.0751,
              0.1512,
              0.2076,
              0.3079,
              0.4923,
              0.8613
            ],
            [
              0.0752,
              0.151,
              0.2082,
              0.3077,
              0.4937,
              0.8606
            ],
            [
              0.0745,
              0.1509,
              0.2079,
              0.3079,
              0.4927,
              0.8613
            ],
            [
              0.0745,
              0.1501,
              0.2064,
              0.306,
              0.4915,
              0.8616
            ]
          ]
        },
        "related_pin": "B",
        "rise_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00741,
            0.01481,
            0.02962,
            0.05924,
            0.11848
          ],
          "values": [
            [
              0.04851,
              0.14476,
              0.23161,
              0.40628,
              0.766,
              1.4982
            ],
            [
              0.04854,
              0.14488,
              0.23164,
              0.40611,
              0.76523,
              1.49951
            ],
            [
              0.04851,
              0.14476,
              0.23158,
              0.40632,
              0.76596,
              1.49836
            ],
            [
              0.04854,
              0.14489,
              0.23163,
              0.40607,
              0.76628,
              1.49841
            ],
            [
              0.04853,
              0.1448,
              0.23158,
              0.40623,
              0.76564,
              1.49863
            ],
            [
              0.04856,
              0.14492,
              0.23142,
              0.40561,
              0.76615,
              1.49977
            ],
            [
              0.04851,
              0.1448,
              0.23153,
              0.40609,
              0.76538,
              1.49898
            ],
            [
              0.0485,
              0.14473,
              0.23131,
              0.40596,
              0.76585,
              1.4999
            ],
            [
              0.04852,
              0.14482,
              0.23159,
              0.40594,
              0.76617,
              1.4983
            ],
            [
              0.04856,
              0.14506,
              0.23173,
              0.4062,
              0.7663,
              1.4983
            ],
            [
              0.0485,
              0.1456,
              0.232,
              0.4065,
              0.7664,
              1.5005
            ],
            [
              0.0484,
              0.1448,
              0.2315,
              0.4065,
              0.7656,
              1.4986
            ],
            [
              0.0485,
              0.1449,
              0.2319,
              0.4063,
              0.7657,
              1.4975
            ]
          ]
        },
        "sdf_cond": "(A&!C)",
        "timing_sense": "negative_unate",
        "when": "(A&!C)"
      },
      {
        "cell_fall,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00741,
            0.01481,
            0.02962,
            0.05924,
            0.11848
          ],
          "values": [
            [
              0.58058,
              0.69541,
              0.76714,
              0.87957,
              1.06247,
              1.38117
            ],
            [
              0.58301,
              0.69783,
              0.76956,
              0.88199,
              1.06494,
              1.38354
            ],
            [
              0.58628,
              0.7011,
              0.77283,
              0.88527,
              1.06812,
              1.38682
            ],
            [
              0.59156,
              0.7064,
              0.77814,
              0.89058,
              1.07347,
              1.39218
            ],
            [
              0.59991,
              0.71477,
              0.78651,
              0.89894,
              1.08181,
              1.40041
            ],
            [
              0.61282,
              0.72768,
              0.79942,
              0.91186,
              1.09472,
              1.41332
            ],
            [
              0.63262,
              0.74745,
              0.8192,
              0.93163,
              1.11453,
              1.43323
            ],
            [
              0.66248,
              0.77729,
              0.84906,
              0.96146,
              1.14436,
              1.46306
            ],
            [
              0.70578,
              0.82055,
              0.89235,
              1.00475,
              1.18765,
              1.50635
            ],
            [
              0.76639,
              0.88109,
              0.95279,
              1.06529,
              1.24819,
              1.56689
            ],
            [
              0.85382,
              0.96862,
              1.04022,
              1.15262,
              1.33562,
              1.65432
            ],
            [
              0.98977,
              1.10447,
              1.17617,
              1.28857,
              1.47167,
              1.79057
            ],
            [
              1.1795,
              1.3003,
              1.3736,
              1.4873,
              1.6713,
              1.9904
            ]
          ]
        },
        "cell_rise,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00741,
            0.01481,
            0.02962,
            0.05924,
            0.11848
          ],
          "values": [
            [
              0.24145,
              0.34187,
              0.41717,
              0.55457,
              0.81863,
              1.34337
            ],
            [
              0.24401,
              0.34443,
              0.41975,
              0.55716,
              0.82121,
              1.34514
            ],
            [
              0.24738,
              0.34782,
              0.42316,
              0.56055,
              0.82505,
              1.34942
            ],
            [
              0.25268,
              0.35313,
              0.42847,
              0.5659,
              0.82998,
              1.35397
            ],
            [
              0.26095,
              0.3614,
              0.43674,
              0.57406,
              0.83901,
              1.36311
            ],
            [
              0.27343,
              0.37387,
              0.44922,
              0.58662,
              0.85128,
              1.37572
            ],
            [
              0.29224,
              0.39263,
              0.46795,
              0.60537,
              0.86967,
              1.39403
            ],
            [
              0.32046,
              0.42075,
              0.496,
              0.63338,
              0.89806,
              1.42266
            ],
            [
              0.36196,
              0.46203,
              0.53715,
              0.67455,
              0.93875,
              1.46355
            ],
            [
              0.42015,
              0.52024,
              0.59536,
              0.73249,
              0.99729,
              1.52199
            ],
            [
              0.49632,
              0.59922,
              0.67472,
              0.81222,
              1.07642,
              1.60162
            ],
            [
              0.59257,
              0.69987,
              0.77687,
              0.91527,
              1.18017,
              1.70517
            ],
            [
              0.7116,
              0.8262,
              0.9047,
              1.0442,
              1.3101,
              1.8358
            ]
          ]
        },
        "fall_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00741,
            0.01481,
            0.02962,
            0.05924,
            0.11848
          ],
          "values": [
            [
              0.07214,
              0.14739,
              0.2034,
              0.30262,
              0.4883,
              0.85677
            ],
            [
              0.07213,
              0.14726,
              0.20359,
              0.30207,
              0.48669,
              0.85552
            ],
            [
              0.07213,
              0.14726,
              0.20322,
              0.30207,
              0.48713,
              0.85548
            ],
            [
              0.07214,
              0.14739,
              0.2034,
              0.30261,
              0.48839,
              0.8568
            ],
            [
              0.07212,
              0.14756,
              0.20312,
              0.30247,
              0.48759,
              0.8563
            ],
            [
              0.07213,
              0.14757,
              0.20311,
              0.30246,
              0.48758,
              0.8562
            ],
            [
              0.07215,
              0.14731,
              0.20343,
              0.3022,
              0.48734,
              0.8561
            ],
            [
              0.07215,
              0.14726,
              0.20323,
              0.30201,
              0.4871,
              0.8555
            ],
            [
              0.07214,
              0.14737,
              0.2035,
              0.3027,
              0.4883,
              0.8567
            ],
            [
              0.0721,
              0.1475,
              0.2032,
              0.3026,
              0.4879,
              0.8557
            ],
            [
              0.0722,
              0.1474,
              0.2035,
              0.3028,
              0.4883,
              0.8564
            ],
            [
              0.0727,
              0.1477,
              0.2038,
              0.3025,
              0.487,
              0.856
            ],
            [
              0.0807,
              0.1546,
              0.2091,
              0.3061,
              0.4894,
              0.8576
            ]
          ]
        },
        "related_pin": "B",
        "rise_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00741,
            0.01481,
            0.02962,
            0.05924,
            0.11848
          ],
          "values": [
            [
              0.04649,
              0.14135,
              0.2278,
              0.40356,
              0.76489,
              1.49691
            ],
            [
              0.04649,
              0.14139,
              0.22779,
              0.40355,
              0.76498,
              1.49848
            ],
            [
              0.0465,
              0.14108,
              0.22762,
              0.40327,
              0.76557,
              1.49808
            ],
            [
              0.04648,
              0.14131,
              0.22772,
              0.40346,
              0.76538,
              1.4983
            ],
            [
              0.04648,
              0.14116,
              0.22786,
              0.40386,
              0.76573,
              1.49878
            ],
            [
              0.0465,
              0.1411,
              0.22765,
              0.40346,
              0.76566,
              1.49836
            ],
            [
              0.0465,
              0.14141,
              0.22764,
              0.40345,
              0.76552,
              1.4974
            ],
            [
              0.04645,
              0.14112,
              0.22763,
              0.40345,
              0.76558,
              1.49852
            ],
            [
              0.04639,
              0.14117,
              0.22796,
              0.4037,
              0.76484,
              1.4983
            ],
            [
              0.04689,
              0.14154,
              0.2278,
              0.40396,
              0.7646,
              1.5003
            ],
            [
              0.0497,
              0.1436,
              0.2292,
              0.404,
              0.7643,
              1.4983
            ],
            [
              0.054,
              0.1479,
              0.233,
              0.4066,
              0.7655,
              1.5026
            ],
            [
              0.0615,
              0.1543,
              0.238,
              0.4094,
              0.7673,
              1.4997
            ]
          ]
        },
        "sdf_cond": "(A&C)",
        "timing_sense": "positive_unate",
        "when": "(A&C)"
      },
      {
        "cell_fall,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00741,
            0.01481,
            0.02962,
            0.05924,
            0.11848
          ],
          "values": [
            [
              0.25738,
              0.35822,
              0.42336,
              0.52813,
              0.70351,
              1.01607
            ],
            [
              0.25936,
              0.36016,
              0.42532,
              0.5301,
              0.70545,
              1.01804
            ],
            [
              0.26176,
              0.36257,
              0.42775,
              0.53252,
              0.70787,
              1.02032
            ],
            [
              0.26566,
              0.36634,
              0.43151,
              0.53629,
              0.71159,
              1.02428
            ],
            [
              0.27189,
              0.37232,
              0.43745,
              0.54217,
              0.71745,
              1.03021
            ],
            [
              0.282,
              0.38207,
              0.44712,
              0.55182,
              0.72709,
              1.03962
            ],
            [
              0.2981,
              0.39774,
              0.46267,
              0.56729,
              0.74251,
              1.05493
            ],
            [
              0.32372,
              0.42252,
              0.48724,
              0.59177,
              0.76694,
              1.07946
            ],
            [
              0.36431,
              0.46173,
              0.52611,
              0.63041,
              0.80545,
              1.11805
            ],
            [
              0.42829,
              0.52336,
              0.58714,
              0.69099,
              0.86579,
              1.17809
            ],
            [
              0.51842,
              0.61392,
              0.67702,
              0.78032,
              0.95472,
              1.26702
            ],
            [
              0.62917,
              0.72957,
              0.79387,
              0.89857,
              1.07397,
              1.38667
            ],
            [
              0.7633,
              0.8731,
              0.9386,
              1.0438,
              1.2221,
              1.5383
            ]
          ]
        },
        "cell_rise,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00741,
            0.01481,
            0.02962,
            0.05924,
            0.11848
          ],
          "values": [
            [
              0.16564,
              0.27292,
              0.3501,
              0.48821,
              0.75215,
              1.27667
            ],
            [
              0.16814,
              0.27543,
              0.35256,
              0.49091,
              0.75496,
              1.27924
            ],
            [
              0.17115,
              0.27844,
              0.35562,
              0.49397,
              0.7577,
              1.28282
            ],
            [
              0.17581,
              0.28308,
              0.36028,
              0.49867,
              0.7627,
              1.28708
            ],
            [
              0.18298,
              0.29019,
              0.36742,
              0.50575,
              0.76988,
              1.29381
            ],
            [
              0.19392,
              0.30106,
              0.37837,
              0.51649,
              0.78071,
              1.30412
            ],
            [
              0.211,
              0.31765,
              0.39491,
              0.53309,
              0.79734,
              1.32153
            ],
            [
              0.23736,
              0.34323,
              0.42043,
              0.55878,
              0.8231,
              1.34746
            ],
            [
              0.27624,
              0.38117,
              0.4583,
              0.59689,
              0.86105,
              1.38615
            ],
            [
              0.32641,
              0.4322,
              0.50952,
              0.64809,
              0.91259,
              1.43689
            ],
            [
              0.38805,
              0.49482,
              0.57342,
              0.71312,
              0.97822,
              1.50232
            ],
            [
              0.46207,
              0.57227,
              0.65087,
              0.79217,
              1.05917,
              1.58387
            ],
            [
              0.5482,
              0.6664,
              0.7456,
              0.887,
              1.1554,
              1.682
            ]
          ]
        },
        "fall_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00741,
            0.01481,
            0.02962,
            0.05924,
            0.11848
          ],
          "values": [
            [
              0.05458,
              0.12854,
              0.18422,
              0.2843,
              0.47086,
              0.84367
            ],
            [
              0.0545,
              0.12819,
              0.18432,
              0.28368,
              0.47051,
              0.84359
            ],
            [
              0.05445,
              0.12801,
              0.18406,
              0.28418,
              0.47079,
              0.84349
            ],
            [
              0.05434,
              0.12793,
              0.18401,
              0.28357,
              0.47035,
              0.84343
            ],
            [
              0.05403,
              0.12782,
              0.18386,
              0.28343,
              0.4696,
              0.84327
            ],
            [
              0.05372,
              0.12754,
              0.18365,
              0.28325,
              0.46992,
              0.84354
            ],
            [
              0.05327,
              0.12722,
              0.18332,
              0.28314,
              0.46953,
              0.84326
            ],
            [
              0.05247,
              0.12693,
              0.18295,
              0.28263,
              0.47018,
              0.84335
            ],
            [
              0.0513,
              0.12566,
              0.18201,
              0.28185,
              0.46869,
              0.8429
            ],
            [
              0.04958,
              0.12388,
              0.18058,
              0.28077,
              0.4688,
              0.8429
            ],
            [
              0.054,
              0.1239,
              0.1793,
              0.2795,
              0.4679,
              0.8418
            ],
            [
              0.0624,
              0.129,
              0.184,
              0.2833,
              0.47,
              0.8426
            ],
            [
              0.074,
              0.1382,
              0.1896,
              0.2887,
              0.4766,
              0.8494
            ]
          ]
        },
        "related_pin": "C",
        "rise_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00741,
            0.01481,
            0.02962,
            0.05924,
            0.11848
          ],
          "values": [
            [
              0.04999,
              0.14709,
              0.23349,
              0.4077,
              0.76652,
              1.49897
            ],
            [
              0.04994,
              0.14725,
              0.23329,
              0.40698,
              0.76702,
              1.50062
            ],
            [
              0.04989,
              0.14711,
              0.23336,
              0.40762,
              0.76638,
              1.50049
            ],
            [
              0.04985,
              0.14711,
              0.23326,
              0.40708,
              0.76701,
              1.50072
            ],
            [
              0.04975,
              0.14716,
              0.23325,
              0.40728,
              0.76693,
              1.50045
            ],
            [
              0.04954,
              0.1471,
              0.23333,
              0.40765,
              0.7666,
              1.50032
            ],
            [
              0.04909,
              0.14705,
              0.23324,
              0.40762,
              0.76651,
              1.49898
            ],
            [
              0.04839,
              0.14662,
              0.23305,
              0.40745,
              0.76651,
              1.49924
            ],
            [
              0.04801,
              0.14627,
              0.233,
              0.40709,
              0.76636,
              1.50066
            ],
            [
              0.04973,
              0.14791,
              0.2336,
              0.40772,
              0.76655,
              1.5003
            ],
            [
              0.05377,
              0.1499,
              0.2367,
              0.4102,
              0.7678,
              1.5004
            ],
            [
              0.0612,
              0.1522,
              0.239,
              0.4134,
              0.771,
              1.4998
            ],
            [
              0.0711,
              0.1581,
              0.2419,
              0.416,
              0.7737,
              1.5038
            ]
          ]
        },
        "sdf_cond": "(!A&!B)",
        "timing_sense": "positive_unate",
        "when": "(!A&!B)"
      },
      {
        "cell_fall,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00741,
            0.01481,
            0.02962,
            0.05924,
            0.11848
          ],
          "values": [
            [
              0.3118,
              0.41697,
              0.48354,
              0.58946,
              0.76568,
              1.07887
            ],
            [
              0.31592,
              0.42107,
              0.48767,
              0.59366,
              0.76983,
              1.08294
            ],
            [
              0.32048,
              0.4257,
              0.49228,
              0.59831,
              0.77447,
              1.08752
            ],
            [
              0.32747,
              0.43267,
              0.4993,
              0.60532,
              0.78151,
              1.09468
            ],
            [
              0.33738,
              0.44264,
              0.50927,
              0.61531,
              0.79152,
              1.10471
            ],
            [
              0.35197,
              0.45722,
              0.52386,
              0.6299,
              0.80613,
              1.11932
            ],
            [
              0.37219,
              0.47745,
              0.54404,
              0.65009,
              0.82631,
              1.13943
            ],
            [
              0.40061,
              0.50572,
              0.57225,
              0.67827,
              0.85446,
              1.16776
            ],
            [
              0.44059,
              0.54525,
              0.61165,
              0.71753,
              0.89365,
              1.20665
            ],
            [
              0.4978,
              0.60137,
              0.66739,
              0.77309,
              0.94909,
              1.26229
            ],
            [
              0.57052,
              0.67202,
              0.73762,
              0.84282,
              1.01872,
              1.33172
            ],
            [
              0.65907,
              0.75907,
              0.82357,
              0.92767,
              1.10287,
              1.41547
            ],
            [
              0.7655,
              0.8654,
              0.9301,
              1.0342,
              1.2081,
              1.519
            ]
          ]
        },
        "cell_rise,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00741,
            0.01481,
            0.02962,
            0.05924,
            0.11848
          ],
          "values": [
            [
              0.27255,
              0.37208,
              0.44697,
              0.58385,
              0.84797,
              1.37317
            ],
            [
              0.2756,
              0.37514,
              0.44995,
              0.58691,
              0.85103,
              1.37624
            ],
            [
              0.27938,
              0.3789,
              0.45383,
              0.59067,
              0.85476,
              1.37982
            ],
            [
              0.2853,
              0.38484,
              0.45965,
              0.59659,
              0.86071,
              1.38587
            ],
            [
              0.29438,
              0.39391,
              0.46873,
              0.60566,
              0.86976,
              1.39491
            ],
            [
              0.30823,
              0.40776,
              0.48274,
              0.61942,
              0.88339,
              1.40822
            ],
            [
              0.32953,
              0.42908,
              0.50392,
              0.6408,
              0.90483,
              1.43003
            ],
            [
              0.36187,
              0.46142,
              0.53637,
              0.67309,
              0.93706,
              1.46206
            ],
            [
              0.41051,
              0.51008,
              0.58491,
              0.72176,
              0.98575,
              1.51085
            ],
            [
              0.4813,
              0.58084,
              0.65579,
              0.79239,
              1.05609,
              1.58059
            ],
            [
              0.57452,
              0.67382,
              0.74872,
              0.88532,
              1.14942,
              1.67432
            ],
            [
              0.69077,
              0.78957,
              0.86397,
              1.00077,
              1.26477,
              1.78897
            ],
            [
              0.8334,
              0.9326,
              1.0074,
              1.1439,
              1.4067,
              1.9314
            ]
          ]
        },
        "fall_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00741,
            0.01481,
            0.02962,
            0.05924,
            0.11848
          ],
          "values": [
            [
              0.06259,
              0.13364,
              0.18841,
              0.28611,
              0.47205,
              0.84446
            ],
            [
              0.06262,
              0.13374,
              0.18848,
              0.28603,
              0.47199,
              0.84449
            ],
            [
              0.06266,
              0.13368,
              0.18827,
              0.28616,
              0.47115,
              0.84469
            ],
            [
              0.06271,
              0.13408,
              0.18827,
              0.28635,
              0.47169,
              0.84448
            ],
            [
              0.06273,
              0.13413,
              0.18826,
              0.2868,
              0.47244,
              0.84452
            ],
            [
              0.06286,
              0.13415,
              0.18829,
              0.28681,
              0.47163,
              0.84449
            ],
            [
              0.0627,
              0.13375,
              0.18852,
              0.28619,
              0.47132,
              0.84468
            ],
            [
              0.0625,
              0.13394,
              0.18816,
              0.28638,
              0.47193,
              0.84383
            ],
            [
              0.06174,
              0.13323,
              0.18797,
              0.28623,
              0.47154,
              0.8444
            ],
            [
              0.05982,
              0.13204,
              0.18705,
              0.28559,
              0.4716,
              0.8442
            ],
            [
              0.0568,
              0.1306,
              0.1859,
              0.2846,
              0.4707,
              0.8435
            ],
            [
              0.0562,
              0.1282,
              0.1833,
              0.2822,
              0.4703,
              0.8437
            ],
            [
              0.0559,
              0.1284,
              0.1835,
              0.2816,
              0.4663,
              0.8409
            ]
          ]
        },
        "related_pin": "C",
        "rise_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00741,
            0.01481,
            0.02962,
            0.05924,
            0.11848
          ],
          "values": [
            [
              0.04593,
              0.14107,
              0.22783,
              0.40332,
              0.76467,
              1.49793
            ],
            [
              0.0459,
              0.14114,
              0.22773,
              0.40328,
              0.76468,
              1.49795
            ],
            [
              0.04591,
              0.14112,
              0.22774,
              0.40334,
              0.7645,
              1.49805
            ],
            [
              0.0459,
              0.14109,
              0.22768,
              0.40331,
              0.76463,
              1.49798
            ],
            [
              0.0459,
              0.14109,
              0.22768,
              0.40331,
              0.76461,
              1.49805
            ],
            [
              0.0459,
              0.14153,
              0.22779,
              0.40343,
              0.76411,
              1.49841
            ],
            [
              0.04595,
              0.14104,
              0.2276,
              0.4033,
              0.76462,
              1.49796
            ],
            [
              0.0459,
              0.14141,
              0.2277,
              0.40341,
              0.76437,
              1.4981
            ],
            [
              0.04592,
              0.14103,
              0.22763,
              0.40327,
              0.76466,
              1.4979
            ],
            [
              0.0458,
              0.14128,
              0.22771,
              0.40318,
              0.7641,
              1.4994
            ],
            [
              0.0455,
              0.141,
              0.2276,
              0.4034,
              0.7649,
              1.4993
            ],
            [
              0.0458,
              0.1405,
              0.227,
              0.4024,
              0.7651,
              1.4995
            ],
            [
              0.0463,
              0.141,
              0.2276,
              0.4022,
              0.7637,
              1.4993
            ]
          ]
        },
        "sdf_cond": "(!A&B)",
        "timing_sense": "negative_unate",
        "when": "(!A&B)"
      },
      {
        "cell_fall,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00741,
            0.01481,
            0.02962,
            0.05924,
            0.11848
          ],
          "values": [
            [
              0.36846,
              0.4832,
              0.5548,
              0.66684,
              0.8495,
              1.16777
            ],
            [
              0.37289,
              0.48764,
              0.55922,
              0.67136,
              0.85397,
              1.17244
            ],
            [
              0.37773,
              0.49253,
              0.56413,
              0.6763,
              0.8589,
              1.17742
            ],
            [
              0.38506,
              0.49987,
              0.57147,
              0.68366,
              0.86626,
              1.18477
            ],
            [
              0.39529,
              0.51003,
              0.58163,
              0.69381,
              0.87645,
              1.19501
            ],
            [
              0.40996,
              0.52484,
              0.59645,
              0.70859,
              0.89123,
              1.20962
            ],
            [
              0.42957,
              0.54442,
              0.61602,
              0.7282,
              0.91083,
              1.22943
            ],
            [
              0.45607,
              0.5709,
              0.64247,
              0.75462,
              0.93726,
              1.25586
            ],
            [
              0.49235,
              0.60702,
              0.67849,
              0.79065,
              0.97325,
              1.29175
            ],
            [
              0.54463,
              0.65869,
              0.72989,
              0.84179,
              1.02429,
              1.34279
            ],
            [
              0.61542,
              0.72772,
              0.79852,
              0.90992,
              1.09232,
              1.41072
            ],
            [
              0.70237,
              0.81217,
              0.88167,
              0.99247,
              1.17427,
              1.49247
            ],
            [
              0.8068,
              0.917,
              0.9867,
              1.0968,
              1.2769,
              1.5935
            ]
          ]
        },
        "cell_rise,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00741,
            0.01481,
            0.02962,
            0.05924,
            0.11848
          ],
          "values": [
            [
              0.27227,
              0.37272,
              0.44831,
              0.58596,
              0.8504,
              1.37477
            ],
            [
              0.27532,
              0.37577,
              0.45141,
              0.589,
              0.85345,
              1.37784
            ],
            [
              0.27911,
              0.37958,
              0.45517,
              0.59283,
              0.85729,
              1.38212
            ],
            [
              0.28503,
              0.3855,
              0.4612,
              0.59867,
              0.86306,
              1.38688
            ],
            [
              0.29413,
              0.3946,
              0.47015,
              0.60782,
              0.87225,
              1.39661
            ],
            [
              0.30799,
              0.40848,
              0.48417,
              0.6218,
              0.8859,
              1.41122
            ],
            [
              0.32932,
              0.42981,
              0.50545,
              0.64299,
              0.90743,
              1.43183
            ],
            [
              0.36166,
              0.46216,
              0.53788,
              0.67523,
              0.93956,
              1.46366
            ],
            [
              0.41032,
              0.51083,
              0.58646,
              0.72401,
              0.98835,
              1.51355
            ],
            [
              0.48113,
              0.58158,
              0.65719,
              0.79479,
              1.05849,
              1.58319
            ],
            [
              0.57432,
              0.67452,
              0.75012,
              0.88742,
              1.15182,
              1.67692
            ],
            [
              0.69057,
              0.79027,
              0.86527,
              1.00277,
              1.26697,
              1.79087
            ],
            [
              0.8333,
              0.9332,
              1.0087,
              1.146,
              1.4089,
              1.9336
            ]
          ]
        },
        "fall_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00741,
            0.01481,
            0.02962,
            0.05924,
            0.11848
          ],
          "values": [
            [
              0.07112,
              0.14648,
              0.20223,
              0.30205,
              0.48594,
              0.85584
            ],
            [
              0.07115,
              0.14624,
              0.20266,
              0.30149,
              0.48678,
              0.85537
            ],
            [
              0.07116,
              0.14628,
              0.20232,
              0.30177,
              0.4873,
              0.85585
            ],
            [
              0.07119,
              0.14631,
              0.20234,
              0.30178,
              0.48639,
              0.85603
            ],
            [
              0.07119,
              0.14626,
              0.20243,
              0.30148,
              0.48661,
              0.85532
            ],
            [
              0.07121,
              0.14637,
              0.20258,
              0.30131,
              0.48618,
              0.85559
            ],
            [
              0.07116,
              0.14622,
              0.20242,
              0.30148,
              0.48653,
              0.85529
            ],
            [
              0.07102,
              0.14611,
              0.20232,
              0.30143,
              0.48645,
              0.8553
            ],
            [
              0.07057,
              0.14586,
              0.20216,
              0.30138,
              0.48619,
              0.8563
            ],
            [
              0.06922,
              0.14516,
              0.20207,
              0.3014,
              0.4863,
              0.8553
            ],
            [
              0.0661,
              0.1436,
              0.2006,
              0.3006,
              0.4865,
              0.8554
            ],
            [
              0.0643,
              0.1405,
              0.198,
              0.2985,
              0.4848,
              0.8551
            ],
            [
              0.0643,
              0.141,
              0.1976,
              0.2969,
              0.4818,
              0.8526
            ]
          ]
        },
        "related_pin": "C",
        "rise_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00741,
            0.01481,
            0.02962,
            0.05924,
            0.11848
          ],
          "values": [
            [
              0.04616,
              0.14246,
              0.22933,
              0.40481,
              0.76538,
              1.49944
            ],
            [
              0.04613,
              0.14256,
              0.22951,
              0.40483,
              0.7654,
              1.49946
            ],
            [
              0.04615,
              0.14251,
              0.22943,
              0.4048,
              0.76547,
              1.49874
            ],
            [
              0.04615,
              0.14277,
              0.22955,
              0.40492,
              0.76514,
              1.49948
            ],
            [
              0.04619,
              0.1424,
              0.22934,
              0.40481,
              0.76537,
              1.49951
            ],
            [
              0.04618,
              0.14247,
              0.22954,
              0.40469,
              0.76507,
              1.49997
            ],
            [
              0.04618,
              0.14254,
              0.22951,
              0.40482,
              0.76535,
              1.49938
            ],
            [
              0.04614,
              0.14271,
              0.22954,
              0.40492,
              0.76509,
              1.49945
            ],
            [
              0.04617,
              0.14244,
              0.2294,
              0.40471,
              0.76558,
              1.4983
            ],
            [
              0.04598,
              0.14234,
              0.22945,
              0.40427,
              0.7647,
              1.4995
            ],
            [
              0.0456,
              0.1422,
              0.2293,
              0.4049,
              0.7656,
              1.4994
            ],
            [
              0.0459,
              0.1417,
              0.2284,
              0.404,
              0.7657,
              1.4992
            ],
            [
              0.0465,
              0.142,
              0.2291,
              0.4037,
              0.7644,
              1.4994
            ]
          ]
        },
        "sdf_cond": "(A&!B)",
        "timing_sense": "negative_unate",
        "when": "(A&!B)"
      },
      {
        "cell_fall,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00741,
            0.01481,
            0.02962,
            0.05924,
            0.11848
          ],
          "values": [
            [
              0.29348,
              0.40681,
              0.47845,
              0.59147,
              0.77589,
              1.09647
            ],
            [
              0.29494,
              0.40826,
              0.47997,
              0.59295,
              0.77736,
              1.09794
            ],
            [
              0.29671,
              0.41,
              0.48173,
              0.5947,
              0.77911,
              1.09962
            ],
            [
              0.29979,
              0.41297,
              0.48464,
              0.59762,
              0.78204,
              1.10248
            ],
            [
              0.3049,
              0.41779,
              0.48941,
              0.60232,
              0.78671,
              1.10741
            ],
            [
              0.3138,
              0.42623,
              0.49779,
              0.6107,
              0.79505,
              1.11562
            ],
            [
              0.32855,
              0.44047,
              0.51193,
              0.62478,
              0.80907,
              1.12963
            ],
            [
              0.35259,
              0.46385,
              0.53507,
              0.64781,
              0.83208,
              1.15236
            ],
            [
              0.39145,
              0.50126,
              0.57219,
              0.68471,
              0.86885,
              1.18925
            ],
            [
              0.45353,
              0.56076,
              0.63109,
              0.74319,
              0.92709,
              1.24739
            ],
            [
              0.54652,
              0.65152,
              0.72072,
              0.83202,
              1.01552,
              1.33552
            ],
            [
              0.66257,
              0.77147,
              0.84147,
              0.95327,
              1.13707,
              1.45747
            ],
            [
              0.8031,
              0.921,
              0.9912,
              1.1036,
              1.2908,
              1.614
            ]
          ]
        },
        "cell_rise,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00741,
            0.01481,
            0.02962,
            0.05924,
            0.11848
          ],
          "values": [
            [
              0.14169,
              0.23872,
              0.31219,
              0.44725,
              0.70993,
              1.23377
            ],
            [
              0.14437,
              0.24143,
              0.31476,
              0.45,
              0.71305,
              1.23784
            ],
            [
              0.14762,
              0.24467,
              0.31806,
              0.4533,
              0.71633,
              1.24092
            ],
            [
              0.15254,
              0.24951,
              0.32305,
              0.45822,
              0.7211,
              1.24477
            ],
            [
              0.16036,
              0.25725,
              0.33082,
              0.46591,
              0.7286,
              1.25241
            ],
            [
              0.17219,
              0.26884,
              0.34233,
              0.47767,
              0.74076,
              1.26562
            ],
            [
              0.19031,
              0.2865,
              0.36002,
              0.4954,
              0.75856,
              1.28293
            ],
            [
              0.21773,
              0.31318,
              0.38658,
              0.52198,
              0.78544,
              1.30996
            ],
            [
              0.25647,
              0.35153,
              0.42489,
              0.56048,
              0.82385,
              1.34815
            ],
            [
              0.30482,
              0.40128,
              0.47506,
              0.61095,
              0.87429,
              1.39889
            ],
            [
              0.36402,
              0.46182,
              0.53672,
              0.67362,
              0.93762,
              1.46262
            ],
            [
              0.43477,
              0.53667,
              0.61167,
              0.74937,
              1.01507,
              1.53987
            ],
            [
              0.517,
              0.6269,
              0.7024,
              0.8402,
              1.1064,
              1.6323
            ]
          ]
        },
        "fall_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00741,
            0.01481,
            0.02962,
            0.05924,
            0.11848
          ],
          "values": [
            [
              0.06434,
              0.14378,
              0.20241,
              0.30424,
              0.49063,
              0.86046
            ],
            [
              0.06417,
              0.14405,
              0.20251,
              0.30418,
              0.49079,
              0.86039
            ],
            [
              0.06407,
              0.14396,
              0.20223,
              0.30414,
              0.49069,
              0.86043
            ],
            [
              0.06389,
              0.14343,
              0.20219,
              0.30386,
              0.49076,
              0.86068
            ],
            [
              0.06368,
              0.14325,
              0.20223,
              0.30391,
              0.49085,
              0.8614
            ],
            [
              0.06318,
              0.14296,
              0.20181,
              0.30365,
              0.49035,
              0.86041
            ],
            [
              0.06264,
              0.14262,
              0.20144,
              0.3034,
              0.49028,
              0.86028
            ],
            [
              0.06166,
              0.14192,
              0.20102,
              0.30309,
              0.49004,
              0.86032
            ],
            [
              0.06015,
              0.14102,
              0.20024,
              0.30254,
              0.48985,
              0.8598
            ],
            [
              0.05768,
              0.13935,
              0.19868,
              0.30159,
              0.4907,
              0.8594
            ],
            [
              0.06,
              0.1368,
              0.1962,
              0.2992,
              0.4874,
              0.8591
            ],
            [
              0.0683,
              0.141,
              0.1993,
              0.3015,
              0.489,
              0.86
            ],
            [
              0.0806,
              0.1493,
              0.204,
              0.307,
              0.4963,
              0.8654
            ]
          ]
        },
        "related_pin": "C",
        "rise_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00741,
            0.01481,
            0.02962,
            0.05924,
            0.11848
          ],
          "values": [
            [
              0.04265,
              0.13721,
              0.22414,
              0.401,
              0.76289,
              1.49882
            ],
            [
              0.04258,
              0.13754,
              0.22415,
              0.40029,
              0.76373,
              1.4972
            ],
            [
              0.04256,
              0.13718,
              0.22407,
              0.40048,
              0.76354,
              1.49729
            ],
            [
              0.04246,
              0.13745,
              0.22402,
              0.4009,
              0.76336,
              1.49815
            ],
            [
              0.04238,
              0.13718,
              0.22414,
              0.40097,
              0.7627,
              1.49877
            ],
            [
              0.04219,
              0.13711,
              0.22391,
              0.40031,
              0.76378,
              1.49869
            ],
            [
              0.04182,
              0.13728,
              0.22418,
              0.4009,
              0.76325,
              1.49854
            ],
            [
              0.04131,
              0.13682,
              0.22388,
              0.40081,
              0.76332,
              1.49824
            ],
            [
              0.04204,
              0.1367,
              0.2238,
              0.40062,
              0.76358,
              1.49909
            ],
            [
              0.04413,
              0.13833,
              0.22493,
              0.40071,
              0.76331,
              1.4981
            ],
            [
              0.04839,
              0.14028,
              0.2273,
              0.4036,
              0.7643,
              1.4983
            ],
            [
              0.0556,
              0.1429,
              0.2296,
              0.4064,
              0.7661,
              1.4992
            ],
            [
              0.0656,
              0.1487,
              0.2325,
              0.4079,
              0.7687,
              1.5025
            ]
          ]
        },
        "sdf_cond": "(A&B)",
        "timing_sense": "positive_unate",
        "when": "(A&B)"
      }
    ]
  }
}