{
  "area": 27.1728,
  "cell_footprint": "sky130_fd_sc_ls__xnor3",
  "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.00279,
    "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.03241,
          0.03136,
          0.03117,
          0.03091,
          0.03084,
          0.03072,
          0.03069,
          0.03076,
          0.03096,
          0.03385,
          0.03437,
          0.03799,
          0.0394
        ]
      },
      "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.02459,
          0.02322,
          0.02339,
          0.02319,
          0.02363,
          0.02318,
          0.02313,
          0.02319,
          0.02313,
          0.02532,
          0.02562,
          0.0282,
          0.02927
        ]
      }
    },
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,B": {
    "capacitance": 0.00729,
    "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.03394,
          0.03193,
          0.03115,
          0.03115,
          0.03104,
          0.03079,
          0.03078,
          0.03078,
          0.03081,
          0.03367,
          0.03413,
          0.03764,
          0.03916
        ]
      },
      "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.01572,
          0.01376,
          0.01428,
          0.01345,
          0.01395,
          0.01352,
          0.01334,
          0.01347,
          0.0136,
          0.015,
          0.01552,
          0.01767,
          0.01926
        ]
      }
    },
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,C": {
    "capacitance": 0.0044,
    "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.03289,
          0.03161,
          0.03129,
          0.0311,
          0.03104,
          0.03092,
          0.03083,
          0.03098,
          0.03105,
          0.03394,
          0.03437,
          0.03783,
          0.03917
        ]
      },
      "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.02411,
          0.02198,
          0.02254,
          0.02164,
          0.02189,
          0.02197,
          0.02175,
          0.02178,
          0.02179,
          0.02393,
          0.02446,
          0.0273,
          0.02874
        ]
      }
    },
    "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.00775,
            0.01549,
            0.03098,
            0.06196,
            0.12393
          ],
          "values": [
            [
              0.04899,
              0.03908,
              0.02934,
              0.00978,
              -0.02961,
              -0.10881
            ],
            [
              0.04895,
              0.03903,
              0.02929,
              0.00973,
              -0.02966,
              -0.10886
            ],
            [
              0.04889,
              0.03897,
              0.02924,
              0.00968,
              -0.02972,
              -0.10891
            ],
            [
              0.04884,
              0.03892,
              0.02919,
              0.00962,
              -0.02977,
              -0.10897
            ],
            [
              0.04877,
              0.03885,
              0.02911,
              0.00955,
              -0.02983,
              -0.10904
            ],
            [
              0.04872,
              0.03879,
              0.02905,
              0.0095,
              -0.0299,
              -0.1091
            ],
            [
              0.04865,
              0.03872,
              0.02898,
              0.00941,
              -0.02997,
              -0.10918
            ],
            [
              0.04855,
              0.03863,
              0.02889,
              0.00932,
              -0.03006,
              -0.10927
            ],
            [
              0.04847,
              0.03853,
              0.02877,
              0.00921,
              -0.03019,
              -0.10938
            ],
            [
              0.04835,
              0.0384,
              0.02863,
              0.00907,
              -0.03032,
              -0.10951
            ],
            [
              0.04831,
              0.03834,
              0.02855,
              0.00897,
              -0.03042,
              -0.1096
            ],
            [
              0.04841,
              0.0384,
              0.02858,
              0.00896,
              -0.03044,
              -0.1096
            ],
            [
              0.04874,
              0.03866,
              0.0288,
              0.00914,
              -0.03027,
              -0.10944
            ]
          ]
        },
        "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.00775,
            0.01549,
            0.03098,
            0.06196,
            0.12393
          ],
          "values": [
            [
              0.03642,
              0.04651,
              0.05649,
              0.07627,
              0.1158,
              0.19454
            ],
            [
              0.03637,
              0.04646,
              0.05644,
              0.07627,
              0.11577,
              0.19437
            ],
            [
              0.03634,
              0.04641,
              0.05638,
              0.07617,
              0.1157,
              0.19453
            ],
            [
              0.03628,
              0.04638,
              0.05634,
              0.07619,
              0.11551,
              0.19446
            ],
            [
              0.03623,
              0.04634,
              0.0563,
              0.07615,
              0.11552,
              0.19423
            ],
            [
              0.03613,
              0.04625,
              0.05621,
              0.07603,
              0.11549,
              0.19388
            ],
            [
              0.03604,
              0.04614,
              0.05608,
              0.07596,
              0.11543,
              0.1942
            ],
            [
              0.03588,
              0.04599,
              0.05593,
              0.07576,
              0.11516,
              0.19378
            ],
            [
              0.03574,
              0.04583,
              0.05576,
              0.07556,
              0.11513,
              0.19358
            ],
            [
              0.03562,
              0.04569,
              0.05562,
              0.07546,
              0.1149,
              0.19378
            ],
            [
              0.03557,
              0.0456,
              0.05554,
              0.07532,
              0.11477,
              0.19355
            ],
            [
              0.03557,
              0.04552,
              0.05545,
              0.07527,
              0.11473,
              0.19344
            ],
            [
              0.03578,
              0.04573,
              0.05565,
              0.07531,
              0.11475,
              0.19328
            ]
          ]
        },
        "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.00775,
            0.01549,
            0.03098,
            0.06196,
            0.12393
          ],
          "values": [
            [
              0.03863,
              0.02867,
              0.01892,
              -0.00065,
              -0.04005,
              -0.11924
            ],
            [
              0.03859,
              0.02864,
              0.01889,
              -0.00068,
              -0.04009,
              -0.11928
            ],
            [
              0.03857,
              0.02861,
              0.01887,
              -0.00071,
              -0.04012,
              -0.11931
            ],
            [
              0.03851,
              0.02855,
              0.01881,
              -0.00076,
              -0.04017,
              -0.11936
            ],
            [
              0.03846,
              0.02849,
              0.01875,
              -0.00082,
              -0.04023,
              -0.11942
            ],
            [
              0.03835,
              0.02841,
              0.01867,
              -0.00091,
              -0.04033,
              -0.11951
            ],
            [
              0.03823,
              0.02828,
              0.01853,
              -0.00103,
              -0.04044,
              -0.11963
            ],
            [
              0.03809,
              0.02814,
              0.01838,
              -0.00118,
              -0.04061,
              -0.11979
            ],
            [
              0.03793,
              0.02798,
              0.01823,
              -0.00134,
              -0.04074,
              -0.11994
            ],
            [
              0.03778,
              0.02783,
              0.01808,
              -0.00149,
              -0.0409,
              -0.12009
            ],
            [
              0.03771,
              0.02775,
              0.018,
              -0.00157,
              -0.04098,
              -0.12016
            ],
            [
              0.03769,
              0.02773,
              0.01798,
              -0.0016,
              -0.04101,
              -0.12019
            ],
            [
              0.0379,
              0.02794,
              0.01818,
              -0.0014,
              -0.04082,
              -0.11999
            ]
          ]
        },
        "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.00775,
            0.01549,
            0.03098,
            0.06196,
            0.12393
          ],
          "values": [
            [
              0.04347,
              0.05353,
              0.06355,
              0.08338,
              0.12276,
              0.20159
            ],
            [
              0.04344,
              0.05352,
              0.0635,
              0.08334,
              0.1227,
              0.20157
            ],
            [
              0.04338,
              0.05344,
              0.06347,
              0.08331,
              0.12268,
              0.2015
            ],
            [
              0.04331,
              0.05339,
              0.06338,
              0.08322,
              0.12253,
              0.20162
            ],
            [
              0.04324,
              0.05332,
              0.06331,
              0.08315,
              0.12246,
              0.2015
            ],
            [
              0.04315,
              0.05322,
              0.0632,
              0.08308,
              0.12241,
              0.20132
            ],
            [
              0.04305,
              0.05313,
              0.06314,
              0.08295,
              0.12233,
              0.20112
            ],
            [
              0.04295,
              0.05302,
              0.06302,
              0.08287,
              0.12221,
              0.20122
            ],
            [
              0.04285,
              0.05294,
              0.06292,
              0.08277,
              0.12206,
              0.20112
            ],
            [
              0.04274,
              0.05283,
              0.0628,
              0.0826,
              0.12206,
              0.20089
            ],
            [
              0.04272,
              0.05278,
              0.0628,
              0.08261,
              0.12202,
              0.20068
            ],
            [
              0.04283,
              0.0529,
              0.06288,
              0.08268,
              0.12209,
              0.20107
            ],
            [
              0.04311,
              0.05315,
              0.06311,
              0.08295,
              0.12232,
              0.20107
            ]
          ]
        },
        "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.00775,
            0.01549,
            0.03098,
            0.06196,
            0.12393
          ],
          "values": [
            [
              0.04552,
              0.03564,
              0.02592,
              0.00636,
              -0.03305,
              -0.11227
            ],
            [
              0.04537,
              0.03549,
              0.02577,
              0.00621,
              -0.03321,
              -0.11242
            ],
            [
              0.04523,
              0.03537,
              0.02564,
              0.00609,
              -0.03333,
              -0.11255
            ],
            [
              0.04512,
              0.03524,
              0.02552,
              0.00596,
              -0.03346,
              -0.11267
            ],
            [
              0.04496,
              0.03509,
              0.02536,
              0.00581,
              -0.03361,
              -0.11283
            ],
            [
              0.04482,
              0.03494,
              0.02522,
              0.00567,
              -0.03375,
              -0.11296
            ],
            [
              0.04471,
              0.03484,
              0.02513,
              0.00556,
              -0.03387,
              -0.11307
            ],
            [
              0.04464,
              0.03477,
              0.02505,
              0.00548,
              -0.03394,
              -0.11315
            ],
            [
              0.04464,
              0.03476,
              0.02503,
              0.00547,
              -0.03394,
              -0.11315
            ],
            [
              0.04476,
              0.03485,
              0.02511,
              0.00554,
              -0.03387,
              -0.11306
            ],
            [
              0.0451,
              0.03516,
              0.0254,
              0.00583,
              -0.03358,
              -0.11276
            ],
            [
              0.04572,
              0.03571,
              0.02593,
              0.00632,
              -0.03308,
              -0.11226
            ],
            [
              0.04694,
              0.0368,
              0.02695,
              0.00732,
              -0.0321,
              -0.11126
            ]
          ]
        },
        "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.00775,
            0.01549,
            0.03098,
            0.06196,
            0.12393
          ],
          "values": [
            [
              0.02072,
              0.03086,
              0.0409,
              0.06072,
              0.10007,
              0.17872
            ],
            [
              0.02065,
              0.0308,
              0.04083,
              0.06068,
              0.10003,
              0.17862
            ],
            [
              0.02056,
              0.0307,
              0.04074,
              0.06054,
              0.09996,
              0.17859
            ],
            [
              0.02048,
              0.0306,
              0.04064,
              0.06041,
              0.09993,
              0.1784
            ],
            [
              0.02037,
              0.03051,
              0.04053,
              0.06029,
              0.0998,
              0.17823
            ],
            [
              0.02028,
              0.03045,
              0.04045,
              0.06024,
              0.09962,
              0.17839
            ],
            [
              0.02024,
              0.03038,
              0.04041,
              0.06017,
              0.09959,
              0.17821
            ],
            [
              0.02022,
              0.03035,
              0.04037,
              0.06015,
              0.09955,
              0.17838
            ],
            [
              0.02028,
              0.03038,
              0.04037,
              0.06021,
              0.09964,
              0.17837
            ],
            [
              0.02047,
              0.03055,
              0.04057,
              0.06036,
              0.09973,
              0.17855
            ],
            [
              0.02088,
              0.0309,
              0.04089,
              0.06064,
              0.1002,
              0.17884
            ],
            [
              0.02169,
              0.03163,
              0.04151,
              0.06126,
              0.10074,
              0.17943
            ],
            [
              0.02302,
              0.03292,
              0.04285,
              0.06258,
              0.1019,
              0.18055
            ]
          ]
        },
        "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.00775,
            0.01549,
            0.03098,
            0.06196,
            0.12393
          ],
          "values": [
            [
              0.02405,
              0.01415,
              0.00442,
              -0.01514,
              -0.05455,
              -0.13376
            ],
            [
              0.02393,
              0.01403,
              0.00431,
              -0.01525,
              -0.05466,
              -0.13387
            ],
            [
              0.02382,
              0.01394,
              0.00421,
              -0.01535,
              -0.05476,
              -0.13397
            ],
            [
              0.02368,
              0.01378,
              0.00405,
              -0.01551,
              -0.05492,
              -0.13413
            ],
            [
              0.02353,
              0.01363,
              0.00391,
              -0.01566,
              -0.05507,
              -0.13428
            ],
            [
              0.02338,
              0.01348,
              0.00377,
              -0.0158,
              -0.05521,
              -0.13442
            ],
            [
              0.02323,
              0.01334,
              0.00362,
              -0.01595,
              -0.05537,
              -0.13457
            ],
            [
              0.02315,
              0.01325,
              0.00353,
              -0.01604,
              -0.05545,
              -0.13466
            ],
            [
              0.02316,
              0.01326,
              0.00353,
              -0.01604,
              -0.05546,
              -0.13466
            ],
            [
              0.02333,
              0.01345,
              0.00372,
              -0.01587,
              -0.05528,
              -0.13448
            ],
            [
              0.02376,
              0.01386,
              0.00413,
              -0.01546,
              -0.05486,
              -0.13406
            ],
            [
              0.02453,
              0.01466,
              0.00491,
              -0.01467,
              -0.0541,
              -0.13329
            ],
            [
              0.0259,
              0.01598,
              0.00622,
              -0.01336,
              -0.05279,
              -0.13196
            ]
          ]
        },
        "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.00775,
            0.01549,
            0.03098,
            0.06196,
            0.12393
          ],
          "values": [
            [
              0.041,
              0.05108,
              0.06107,
              0.08094,
              0.12024,
              0.19904
            ],
            [
              0.04089,
              0.05098,
              0.06097,
              0.08078,
              0.12011,
              0.1989
            ],
            [
              0.04071,
              0.05079,
              0.06077,
              0.08061,
              0.11996,
              0.19904
            ],
            [
              0.04048,
              0.05059,
              0.06056,
              0.08035,
              0.11971,
              0.19864
            ],
            [
              0.04027,
              0.05035,
              0.06032,
              0.08015,
              0.11947,
              0.19831
            ],
            [
              0.04007,
              0.05016,
              0.06015,
              0.08,
              0.11928,
              0.19812
            ],
            [
              0.03994,
              0.05002,
              0.06002,
              0.07985,
              0.1192,
              0.19799
            ],
            [
              0.03986,
              0.04993,
              0.05991,
              0.07973,
              0.11912,
              0.19793
            ],
            [
              0.03992,
              0.05,
              0.06001,
              0.07984,
              0.11918,
              0.19789
            ],
            [
              0.0401,
              0.05018,
              0.0602,
              0.08,
              0.11935,
              0.19824
            ],
            [
              0.04048,
              0.05055,
              0.06055,
              0.08038,
              0.11977,
              0.1986
            ],
            [
              0.04119,
              0.05125,
              0.06119,
              0.08098,
              0.1204,
              0.19903
            ],
            [
              0.04233,
              0.05241,
              0.06239,
              0.08217,
              0.12141,
              0.20009
            ]
          ]
        },
        "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.00775,
            0.01549,
            0.03098,
            0.06196,
            0.12393
          ],
          "values": [
            [
              0.02334,
              0.01376,
              0.00401,
              -0.0157,
              -0.05528,
              -0.13461
            ],
            [
              0.0233,
              0.01368,
              0.00393,
              -0.01577,
              -0.05535,
              -0.13467
            ],
            [
              0.02321,
              0.01357,
              0.00383,
              -0.01586,
              -0.05544,
              -0.13476
            ],
            [
              0.02307,
              0.01346,
              0.0037,
              -0.01599,
              -0.05557,
              -0.13489
            ],
            [
              0.02292,
              0.0133,
              0.00355,
              -0.01615,
              -0.05572,
              -0.13504
            ],
            [
              0.02278,
              0.01316,
              0.0034,
              -0.01629,
              -0.05586,
              -0.13518
            ],
            [
              0.02264,
              0.01301,
              0.00326,
              -0.01641,
              -0.05599,
              -0.1353
            ],
            [
              0.02252,
              0.01288,
              0.00314,
              -0.01653,
              -0.05609,
              -0.1354
            ],
            [
              0.02246,
              0.01279,
              0.00306,
              -0.0166,
              -0.05614,
              -0.13543
            ],
            [
              0.02247,
              0.01277,
              0.00302,
              -0.01662,
              -0.05613,
              -0.13542
            ],
            [
              0.02265,
              0.01288,
              0.00312,
              -0.01652,
              -0.05602,
              -0.1353
            ],
            [
              0.02309,
              0.01319,
              0.00342,
              -0.01622,
              -0.05571,
              -0.13497
            ],
            [
              0.02381,
              0.0138,
              0.00396,
              -0.0157,
              -0.05518,
              -0.13442
            ]
          ]
        },
        "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.00775,
            0.01549,
            0.03098,
            0.06196,
            0.12393
          ],
          "values": [
            [
              0.00886,
              0.01908,
              0.029,
              0.04866,
              0.08788,
              0.16674
            ],
            [
              0.00877,
              0.019,
              0.02891,
              0.04859,
              0.08789,
              0.16689
            ],
            [
              0.00869,
              0.0189,
              0.02885,
              0.04853,
              0.08781,
              0.1668
            ],
            [
              0.00855,
              0.01875,
              0.02874,
              0.04836,
              0.08764,
              0.16665
            ],
            [
              0.00843,
              0.01866,
              0.02857,
              0.04831,
              0.08762,
              0.16625
            ],
            [
              0.00825,
              0.01847,
              0.02842,
              0.04817,
              0.08758,
              0.16609
            ],
            [
              0.00809,
              0.0183,
              0.02827,
              0.04799,
              0.08734,
              0.16604
            ],
            [
              0.00793,
              0.01811,
              0.02808,
              0.04782,
              0.08711,
              0.16569
            ],
            [
              0.00781,
              0.01794,
              0.02794,
              0.04766,
              0.08705,
              0.16589
            ],
            [
              0.00776,
              0.01782,
              0.02781,
              0.04755,
              0.08689,
              0.16565
            ],
            [
              0.00786,
              0.01786,
              0.02778,
              0.04754,
              0.08684,
              0.16549
            ],
            [
              0.00811,
              0.01808,
              0.028,
              0.04772,
              0.08706,
              0.16552
            ],
            [
              0.00865,
              0.01852,
              0.02851,
              0.04824,
              0.08748,
              0.16611
            ]
          ]
        },
        "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.00775,
            0.01549,
            0.03098,
            0.06196,
            0.12393
          ],
          "values": [
            [
              0.01545,
              0.00562,
              -0.00404,
              -0.0236,
              -0.06305,
              -0.14228
            ],
            [
              0.01534,
              0.00565,
              -0.00404,
              -0.02359,
              -0.06303,
              -0.14226
            ],
            [
              0.01531,
              0.00557,
              -0.0041,
              -0.02366,
              -0.06311,
              -0.14233
            ],
            [
              0.01527,
              0.00554,
              -0.00413,
              -0.02369,
              -0.06313,
              -0.14235
            ],
            [
              0.01524,
              0.00551,
              -0.00417,
              -0.02372,
              -0.06316,
              -0.14238
            ],
            [
              0.01525,
              0.00551,
              -0.00416,
              -0.02372,
              -0.06316,
              -0.14238
            ],
            [
              0.01526,
              0.00553,
              -0.00414,
              -0.02371,
              -0.06314,
              -0.14236
            ],
            [
              0.01529,
              0.00559,
              -0.00411,
              -0.02367,
              -0.06311,
              -0.14231
            ],
            [
              0.01536,
              0.00569,
              -0.00401,
              -0.02358,
              -0.06302,
              -0.14222
            ],
            [
              0.01554,
              0.00587,
              -0.00385,
              -0.02342,
              -0.06286,
              -0.14206
            ],
            [
              0.01582,
              0.00614,
              -0.00357,
              -0.02315,
              -0.06259,
              -0.14179
            ],
            [
              0.01628,
              0.00659,
              -0.00312,
              -0.02271,
              -0.06215,
              -0.14135
            ],
            [
              0.01709,
              0.0074,
              -0.00233,
              -0.02195,
              -0.06139,
              -0.14059
            ]
          ]
        },
        "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.00775,
            0.01549,
            0.03098,
            0.06196,
            0.12393
          ],
          "values": [
            [
              0.02231,
              0.03239,
              0.0424,
              0.0622,
              0.10156,
              0.18057
            ],
            [
              0.02216,
              0.03232,
              0.0423,
              0.06217,
              0.10145,
              0.18036
            ],
            [
              0.02211,
              0.03221,
              0.04217,
              0.06204,
              0.10136,
              0.18027
            ],
            [
              0.02206,
              0.03219,
              0.04213,
              0.06201,
              0.10136,
              0.18019
            ],
            [
              0.02201,
              0.03213,
              0.04208,
              0.06197,
              0.10128,
              0.18004
            ],
            [
              0.02199,
              0.0321,
              0.04211,
              0.06188,
              0.10127,
              0.18014
            ],
            [
              0.02202,
              0.03212,
              0.04211,
              0.06193,
              0.10131,
              0.18033
            ],
            [
              0.02213,
              0.03225,
              0.04221,
              0.06208,
              0.10138,
              0.18051
            ],
            [
              0.02233,
              0.03244,
              0.04242,
              0.06219,
              0.10157,
              0.18076
            ],
            [
              0.02258,
              0.0327,
              0.04268,
              0.06249,
              0.10188,
              0.18064
            ],
            [
              0.02296,
              0.03309,
              0.04305,
              0.06282,
              0.10216,
              0.18084
            ],
            [
              0.02348,
              0.03358,
              0.04352,
              0.06329,
              0.10275,
              0.18151
            ],
            [
              0.02421,
              0.03434,
              0.04433,
              0.06407,
              0.10343,
              0.18211
            ]
          ]
        },
        "when": "(!A&!B) | (A&B)"
      }
    ],
    "max_capacitance": 0.08143,
    "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.00775,
            0.01549,
            0.03098,
            0.06196,
            0.12393
          ],
          "values": [
            [
              0.64117,
              0.76578,
              0.84437,
              0.96799,
              1.17057,
              1.52837
            ],
            [
              0.64432,
              0.76892,
              0.84751,
              0.97113,
              1.17374,
              1.53144
            ],
            [
              0.64818,
              0.7727,
              0.8513,
              0.9749,
              1.17752,
              1.53532
            ],
            [
              0.65375,
              0.77836,
              0.85694,
              0.98057,
              1.18318,
              1.54087
            ],
            [
              0.6624,
              0.787,
              0.86563,
              0.98921,
              1.19181,
              1.54961
            ],
            [
              0.67518,
              0.79976,
              0.87836,
              1.00192,
              1.20462,
              1.56212
            ],
            [
              0.69443,
              0.81903,
              0.89763,
              1.02123,
              1.22383,
              1.58163
            ],
            [
              0.72367,
              0.84816,
              0.92676,
              1.05036,
              1.25296,
              1.61046
            ],
            [
              0.76535,
              0.88995,
              0.96845,
              1.09215,
              1.29475,
              1.65245
            ],
            [
              0.82229,
              0.94689,
              1.02549,
              1.14909,
              1.35169,
              1.70939
            ],
            [
              0.89562,
              1.02022,
              1.09882,
              1.22242,
              1.42502,
              1.78282
            ],
            [
              0.98647,
              1.11107,
              1.18967,
              1.31327,
              1.51597,
              1.87357
            ],
            [
              1.098,
              1.2226,
              1.3012,
              1.4248,
              1.6276,
              1.9854
            ]
          ]
        },
        "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.00775,
            0.01549,
            0.03098,
            0.06196,
            0.12393
          ],
          "values": [
            [
              0.57162,
              0.68432,
              0.76325,
              0.90244,
              1.16387,
              1.68007
            ],
            [
              0.57457,
              0.68727,
              0.76627,
              0.90522,
              1.16654,
              1.68264
            ],
            [
              0.57814,
              0.69083,
              0.76977,
              0.90897,
              1.17032,
              1.68652
            ],
            [
              0.58361,
              0.69629,
              0.77526,
              0.91446,
              1.17578,
              1.69218
            ],
            [
              0.59216,
              0.70485,
              0.78379,
              0.92298,
              1.18431,
              1.70061
            ],
            [
              0.60503,
              0.71773,
              0.79672,
              0.93572,
              1.19692,
              1.71322
            ],
            [
              0.62458,
              0.73728,
              0.81623,
              0.95543,
              1.21673,
              1.73313
            ],
            [
              0.65441,
              0.76711,
              0.84606,
              0.98526,
              1.24656,
              1.76296
            ],
            [
              0.69941,
              0.81215,
              0.89105,
              1.03025,
              1.29155,
              1.80785
            ],
            [
              0.76719,
              0.87989,
              0.95889,
              1.09769,
              1.35939,
              1.87469
            ],
            [
              0.86142,
              0.97412,
              1.05312,
              1.19232,
              1.45362,
              1.97002
            ],
            [
              0.98257,
              1.09547,
              1.17457,
              1.31347,
              1.57497,
              2.09077
            ],
            [
              1.1316,
              1.2451,
              1.3243,
              1.4634,
              1.725,
              2.241
            ]
          ]
        },
        "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.00775,
            0.01549,
            0.03098,
            0.06196,
            0.12393
          ],
          "values": [
            [
              0.07302,
              0.15892,
              0.22168,
              0.33262,
              0.54495,
              0.9719
            ],
            [
              0.07302,
              0.15925,
              0.22151,
              0.33326,
              0.54518,
              0.9719
            ],
            [
              0.07302,
              0.15892,
              0.22169,
              0.33248,
              0.54437,
              0.9719
            ],
            [
              0.07304,
              0.15893,
              0.22169,
              0.33265,
              0.54498,
              0.9719
            ],
            [
              0.07303,
              0.15892,
              0.22172,
              0.33245,
              0.54433,
              0.9719
            ],
            [
              0.07307,
              0.15895,
              0.22137,
              0.33252,
              0.5444,
              0.9718
            ],
            [
              0.07302,
              0.15896,
              0.22173,
              0.33244,
              0.5444,
              0.9719
            ],
            [
              0.07309,
              0.15895,
              0.22163,
              0.3326,
              0.5445,
              0.9718
            ],
            [
              0.07301,
              0.1593,
              0.2215,
              0.3332,
              0.5435,
              0.9719
            ],
            [
              0.073,
              0.1593,
              0.2217,
              0.3327,
              0.5451,
              0.9719
            ],
            [
              0.073,
              0.1589,
              0.2213,
              0.3325,
              0.5442,
              0.9715
            ],
            [
              0.0731,
              0.159,
              0.2214,
              0.3335,
              0.5447,
              0.9719
            ],
            [
              0.0733,
              0.159,
              0.2216,
              0.3328,
              0.5445,
              0.9719
            ]
          ]
        },
        "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.00775,
            0.01549,
            0.03098,
            0.06196,
            0.12393
          ],
          "values": [
            [
              0.05508,
              0.1537,
              0.23951,
              0.41248,
              0.76937,
              1.5011
            ],
            [
              0.05511,
              0.15399,
              0.23938,
              0.41227,
              0.76954,
              1.5029
            ],
            [
              0.05507,
              0.15369,
              0.23951,
              0.41242,
              0.76941,
              1.5012
            ],
            [
              0.05505,
              0.15365,
              0.2395,
              0.41161,
              0.76959,
              1.502
            ],
            [
              0.05507,
              0.15369,
              0.23951,
              0.41249,
              0.76938,
              1.5011
            ],
            [
              0.0551,
              0.15395,
              0.23928,
              0.4122,
              0.76967,
              1.5029
            ],
            [
              0.05506,
              0.15364,
              0.23953,
              0.41168,
              0.76956,
              1.5021
            ],
            [
              0.05506,
              0.15363,
              0.23954,
              0.41169,
              0.7695,
              1.5018
            ],
            [
              0.05507,
              0.15373,
              0.2395,
              0.4122,
              0.7695,
              1.5014
            ],
            [
              0.0551,
              0.1537,
              0.2395,
              0.4123,
              0.7691,
              1.5027
            ],
            [
              0.0551,
              0.1536,
              0.2396,
              0.4118,
              0.7696,
              1.5021
            ],
            [
              0.0554,
              0.1541,
              0.2395,
              0.4124,
              0.7695,
              1.5029
            ],
            [
              0.0559,
              0.1545,
              0.2401,
              0.4131,
              0.7698,
              1.5001
            ]
          ]
        },
        "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.00775,
            0.01549,
            0.03098,
            0.06196,
            0.12393
          ],
          "values": [
            [
              0.55317,
              0.66915,
              0.74237,
              0.85899,
              1.05407,
              1.40557
            ],
            [
              0.55612,
              0.67212,
              0.74532,
              0.86197,
              1.05704,
              1.40864
            ],
            [
              0.55971,
              0.67569,
              0.74891,
              0.86553,
              1.06052,
              1.41192
            ],
            [
              0.56529,
              0.68127,
              0.75448,
              0.87111,
              1.06618,
              1.41758
            ],
            [
              0.5736,
              0.68959,
              0.76281,
              0.87945,
              1.07451,
              1.42611
            ],
            [
              0.5867,
              0.7027,
              0.77592,
              0.89254,
              1.08752,
              1.43892
            ],
            [
              0.60626,
              0.72227,
              0.79549,
              0.91213,
              1.10713,
              1.45863
            ],
            [
              0.63593,
              0.75186,
              0.82505,
              0.94166,
              1.13676,
              1.48816
            ],
            [
              0.68036,
              0.79635,
              0.86955,
              0.98615,
              1.18125,
              1.53275
            ],
            [
              0.74669,
              0.86279,
              0.93599,
              1.05259,
              1.24779,
              1.59949
            ],
            [
              0.84422,
              0.96042,
              1.03352,
              1.15022,
              1.34542,
              1.69722
            ],
            [
              0.98217,
              1.09857,
              1.17177,
              1.28847,
              1.48377,
              1.83527
            ],
            [
              1.1629,
              1.2833,
              1.3578,
              1.4756,
              1.6715,
              2.0237
            ]
          ]
        },
        "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.00775,
            0.01549,
            0.03098,
            0.06196,
            0.12393
          ],
          "values": [
            [
              0.32907,
              0.43678,
              0.51413,
              0.65187,
              0.91318,
              1.42897
            ],
            [
              0.33221,
              0.43994,
              0.5173,
              0.65514,
              0.91614,
              1.43134
            ],
            [
              0.33595,
              0.44366,
              0.521,
              0.65876,
              0.91993,
              1.43482
            ],
            [
              0.34159,
              0.44932,
              0.52668,
              0.66448,
              0.9257,
              1.44188
            ],
            [
              0.34992,
              0.45764,
              0.535,
              0.6728,
              0.93407,
              1.44921
            ],
            [
              0.36252,
              0.47024,
              0.5476,
              0.68539,
              0.94672,
              1.46222
            ],
            [
              0.38112,
              0.48885,
              0.56622,
              0.704,
              0.96533,
              1.48103
            ],
            [
              0.40881,
              0.51658,
              0.59394,
              0.73173,
              0.99286,
              1.50876
            ],
            [
              0.44968,
              0.55747,
              0.63481,
              0.77255,
              1.03375,
              1.54965
            ],
            [
              0.50771,
              0.61549,
              0.69279,
              0.83059,
              1.09199,
              1.60739
            ],
            [
              0.58752,
              0.69602,
              0.77332,
              0.91112,
              1.17222,
              1.68782
            ],
            [
              0.69067,
              0.80327,
              0.88177,
              1.02017,
              1.28157,
              1.79787
            ],
            [
              0.8193,
              0.938,
              1.0191,
              1.1597,
              1.4215,
              1.9381
            ]
          ]
        },
        "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.00775,
            0.01549,
            0.03098,
            0.06196,
            0.12393
          ],
          "values": [
            [
              0.06808,
              0.14747,
              0.20679,
              0.31587,
              0.52742,
              0.95875
            ],
            [
              0.06808,
              0.14752,
              0.20724,
              0.31557,
              0.52737,
              0.95912
            ],
            [
              0.06808,
              0.14749,
              0.20681,
              0.31578,
              0.52735,
              0.95838
            ],
            [
              0.06808,
              0.14751,
              0.20691,
              0.31586,
              0.5274,
              0.9586
            ],
            [
              0.06808,
              0.14753,
              0.20702,
              0.31565,
              0.52736,
              0.9591
            ],
            [
              0.06808,
              0.14752,
              0.20682,
              0.31577,
              0.52734,
              0.9584
            ],
            [
              0.06809,
              0.14752,
              0.20687,
              0.31593,
              0.52726,
              0.9586
            ],
            [
              0.0681,
              0.1475,
              0.20719,
              0.316,
              0.5275,
              0.9584
            ],
            [
              0.06817,
              0.1476,
              0.2071,
              0.3159,
              0.5276,
              0.9588
            ],
            [
              0.0684,
              0.1478,
              0.2073,
              0.3159,
              0.5281,
              0.9592
            ],
            [
              0.0686,
              0.1482,
              0.2079,
              0.3162,
              0.5283,
              0.9592
            ],
            [
              0.0696,
              0.149,
              0.2083,
              0.3168,
              0.5278,
              0.9583
            ],
            [
              0.0747,
              0.1539,
              0.2127,
              0.3196,
              0.5296,
              0.9594
            ]
          ]
        },
        "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.00775,
            0.01549,
            0.03098,
            0.06196,
            0.12393
          ],
          "values": [
            [
              0.0512,
              0.1484,
              0.23462,
              0.40875,
              0.76711,
              1.49866
            ],
            [
              0.05123,
              0.14837,
              0.23465,
              0.40859,
              0.76669,
              1.49924
            ],
            [
              0.05117,
              0.1484,
              0.23439,
              0.40836,
              0.76665,
              1.49861
            ],
            [
              0.05113,
              0.14828,
              0.23475,
              0.40897,
              0.76938,
              1.4988
            ],
            [
              0.05115,
              0.14832,
              0.23471,
              0.40896,
              0.76869,
              1.498
            ],
            [
              0.05117,
              0.14834,
              0.23475,
              0.40895,
              0.76819,
              1.49993
            ],
            [
              0.05118,
              0.14835,
              0.23481,
              0.40897,
              0.76707,
              1.49849
            ],
            [
              0.05119,
              0.14835,
              0.23493,
              0.40903,
              0.76706,
              1.4984
            ],
            [
              0.05126,
              0.14846,
              0.23497,
              0.4086,
              0.76629,
              1.5
            ],
            [
              0.05139,
              0.14883,
              0.23501,
              0.4093,
              0.7669,
              1.5007
            ],
            [
              0.0527,
              0.1494,
              0.2355,
              0.4094,
              0.7664,
              1.5011
            ],
            [
              0.0559,
              0.1533,
              0.2385,
              0.4104,
              0.7686,
              1.5026
            ],
            [
              0.0605,
              0.16,
              0.2451,
              0.4149,
              0.7699,
              1.5006
            ]
          ]
        },
        "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.00775,
            0.01549,
            0.03098,
            0.06196,
            0.12393
          ],
          "values": [
            [
              0.53563,
              0.65091,
              0.72423,
              0.84123,
              1.03687,
              1.38897
            ],
            [
              0.53859,
              0.65388,
              0.72721,
              0.8442,
              1.03984,
              1.39174
            ],
            [
              0.54208,
              0.65737,
              0.73069,
              0.84768,
              1.04332,
              1.39562
            ],
            [
              0.54775,
              0.66305,
              0.73638,
              0.85337,
              1.04898,
              1.40088
            ],
            [
              0.55609,
              0.67137,
              0.74469,
              0.86172,
              1.05731,
              1.40961
            ],
            [
              0.56914,
              0.68443,
              0.75776,
              0.87478,
              1.07042,
              1.42262
            ],
            [
              0.58863,
              0.70394,
              0.77726,
              0.89433,
              1.08993,
              1.44213
            ],
            [
              0.61833,
              0.73362,
              0.80692,
              0.92396,
              1.11966,
              1.47176
            ],
            [
              0.66268,
              0.77795,
              0.85125,
              0.96825,
              1.16395,
              1.51615
            ],
            [
              0.72889,
              0.84419,
              0.91749,
              1.03449,
              1.23029,
              1.58249
            ],
            [
              0.82602,
              0.94132,
              1.01462,
              1.13162,
              1.32742,
              1.67982
            ],
            [
              0.96207,
              1.07777,
              1.15107,
              1.26817,
              1.46407,
              1.81657
            ],
            [
              1.138,
              1.2582,
              1.3331,
              1.4515,
              1.6482,
              2.0011
            ]
          ]
        },
        "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.00775,
            0.01549,
            0.03098,
            0.06196,
            0.12393
          ],
          "values": [
            [
              0.315,
              0.41942,
              0.49522,
              0.63149,
              0.8918,
              1.40707
            ],
            [
              0.31816,
              0.42257,
              0.49837,
              0.63467,
              0.89436,
              1.40954
            ],
            [
              0.32189,
              0.42631,
              0.50212,
              0.63839,
              0.89872,
              1.41402
            ],
            [
              0.32745,
              0.43188,
              0.50767,
              0.64387,
              0.90424,
              1.41928
            ],
            [
              0.33587,
              0.44028,
              0.51607,
              0.65236,
              0.91206,
              1.42791
            ],
            [
              0.34847,
              0.45289,
              0.52866,
              0.66493,
              0.92501,
              1.43972
            ],
            [
              0.36714,
              0.47157,
              0.54736,
              0.68365,
              0.94363,
              1.46003
            ],
            [
              0.39505,
              0.4995,
              0.57528,
              0.71147,
              0.97206,
              1.48716
            ],
            [
              0.43622,
              0.54068,
              0.61644,
              0.7526,
              1.01305,
              1.52835
            ],
            [
              0.49496,
              0.5994,
              0.67519,
              0.81149,
              1.07199,
              1.58659
            ],
            [
              0.57512,
              0.68042,
              0.75622,
              0.89262,
              1.15292,
              1.66802
            ],
            [
              0.67747,
              0.78717,
              0.86417,
              1.00127,
              1.26157,
              1.77707
            ],
            [
              0.8048,
              0.9206,
              1.0002,
              1.1391,
              1.4004,
              1.9161
            ]
          ]
        },
        "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.00775,
            0.01549,
            0.03098,
            0.06196,
            0.12393
          ],
          "values": [
            [
              0.06675,
              0.14684,
              0.20679,
              0.31644,
              0.52824,
              0.95932
            ],
            [
              0.06673,
              0.14688,
              0.20669,
              0.31683,
              0.52839,
              0.95895
            ],
            [
              0.06675,
              0.14688,
              0.20677,
              0.31699,
              0.52874,
              0.9596
            ],
            [
              0.06673,
              0.14687,
              0.20668,
              0.31679,
              0.52845,
              0.95901
            ],
            [
              0.06676,
              0.14714,
              0.20706,
              0.31622,
              0.52806,
              0.9598
            ],
            [
              0.0667,
              0.14685,
              0.20694,
              0.31636,
              0.52797,
              0.9596
            ],
            [
              0.06671,
              0.14688,
              0.20708,
              0.31627,
              0.52799,
              0.9598
            ],
            [
              0.06676,
              0.14691,
              0.20697,
              0.31636,
              0.5279,
              0.9596
            ],
            [
              0.06682,
              0.14694,
              0.20694,
              0.3163,
              0.5289,
              0.9593
            ],
            [
              0.0669,
              0.1473,
              0.2074,
              0.3163,
              0.5282,
              0.9598
            ],
            [
              0.0672,
              0.1475,
              0.2074,
              0.3164,
              0.5284,
              0.9598
            ],
            [
              0.0684,
              0.1483,
              0.208,
              0.3172,
              0.5287,
              0.9597
            ],
            [
              0.0736,
              0.1538,
              0.213,
              0.3207,
              0.5308,
              0.9604
            ]
          ]
        },
        "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.00775,
            0.01549,
            0.03098,
            0.06196,
            0.12393
          ],
          "values": [
            [
              0.04912,
              0.1449,
              0.23129,
              0.40528,
              0.76542,
              1.49822
            ],
            [
              0.04911,
              0.14503,
              0.23136,
              0.40595,
              0.76593,
              1.49857
            ],
            [
              0.04915,
              0.14497,
              0.23128,
              0.40524,
              0.76567,
              1.49818
            ],
            [
              0.04913,
              0.14506,
              0.23118,
              0.40584,
              0.76665,
              1.49823
            ],
            [
              0.04914,
              0.14505,
              0.23119,
              0.40611,
              0.76545,
              1.50079
            ],
            [
              0.04915,
              0.14508,
              0.23093,
              0.40612,
              0.76524,
              1.49824
            ],
            [
              0.0491,
              0.14509,
              0.23131,
              0.40613,
              0.76516,
              1.49863
            ],
            [
              0.04917,
              0.14516,
              0.23126,
              0.40608,
              0.7677,
              1.4984
            ],
            [
              0.04921,
              0.14526,
              0.23125,
              0.40617,
              0.76485,
              1.5006
            ],
            [
              0.04934,
              0.14543,
              0.23152,
              0.4064,
              0.7654,
              1.4986
            ],
            [
              0.0507,
              0.1461,
              0.2322,
              0.4065,
              0.7676,
              1.4992
            ],
            [
              0.0541,
              0.1503,
              0.2352,
              0.4078,
              0.7661,
              1.4986
            ],
            [
              0.0588,
              0.1573,
              0.2418,
              0.4124,
              0.77,
              1.5011
            ]
          ]
        },
        "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.00775,
            0.01549,
            0.03098,
            0.06196,
            0.12393
          ],
          "values": [
            [
              0.62104,
              0.74588,
              0.8247,
              0.9486,
              1.15167,
              1.50987
            ],
            [
              0.62415,
              0.74899,
              0.82779,
              0.9517,
              1.15474,
              1.51264
            ],
            [
              0.6279,
              0.75273,
              0.83154,
              0.95544,
              1.15852,
              1.51642
            ],
            [
              0.63353,
              0.75836,
              0.83718,
              0.96108,
              1.16418,
              1.52238
            ],
            [
              0.64206,
              0.76688,
              0.84568,
              0.96961,
              1.17271,
              1.53061
            ],
            [
              0.65486,
              0.77968,
              0.85849,
              0.98242,
              1.18552,
              1.54352
            ],
            [
              0.67437,
              0.79921,
              0.87801,
              1.00193,
              1.20503,
              1.56323
            ],
            [
              0.70358,
              0.82842,
              0.90726,
              1.03116,
              1.23426,
              1.59236
            ],
            [
              0.74565,
              0.87045,
              0.94935,
              1.07325,
              1.27635,
              1.63445
            ],
            [
              0.80269,
              0.92749,
              1.00629,
              1.13029,
              1.33339,
              1.69149
            ],
            [
              0.87572,
              1.00052,
              1.07932,
              1.20322,
              1.40632,
              1.76462
            ],
            [
              0.96577,
              1.09067,
              1.16947,
              1.29337,
              1.49647,
              1.85447
            ],
            [
              1.0758,
              1.2006,
              1.2793,
              1.4034,
              1.6065,
              1.9648
            ]
          ]
        },
        "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.00775,
            0.01549,
            0.03098,
            0.06196,
            0.12393
          ],
          "values": [
            [
              0.51565,
              0.61978,
              0.695,
              0.83033,
              1.09027,
              1.60497
            ],
            [
              0.51858,
              0.6227,
              0.69793,
              0.83328,
              1.09314,
              1.60794
            ],
            [
              0.52212,
              0.62625,
              0.70147,
              0.8368,
              1.09672,
              1.61142
            ],
            [
              0.52775,
              0.63189,
              0.70715,
              0.84259,
              1.10228,
              1.61718
            ],
            [
              0.5362,
              0.64032,
              0.71558,
              0.85103,
              1.11071,
              1.62561
            ],
            [
              0.54911,
              0.65323,
              0.72845,
              0.86379,
              1.12372,
              1.63842
            ],
            [
              0.56859,
              0.67271,
              0.74795,
              0.88331,
              1.14313,
              1.65793
            ],
            [
              0.59843,
              0.70256,
              0.77782,
              0.91326,
              1.17296,
              1.68786
            ],
            [
              0.64357,
              0.7477,
              0.82295,
              0.95835,
              1.21815,
              1.73305
            ],
            [
              0.71149,
              0.81559,
              0.89079,
              1.02619,
              1.28579,
              1.80109
            ],
            [
              0.80562,
              0.90982,
              0.98492,
              1.12032,
              1.38022,
              1.89552
            ],
            [
              0.92647,
              1.03087,
              1.10617,
              1.24167,
              1.50147,
              2.01617
            ],
            [
              1.0748,
              1.1798,
              1.2551,
              1.3908,
              1.6507,
              2.166
            ]
          ]
        },
        "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.00775,
            0.01549,
            0.03098,
            0.06196,
            0.12393
          ],
          "values": [
            [
              0.07287,
              0.15952,
              0.22262,
              0.33364,
              0.54573,
              0.9732
            ],
            [
              0.07287,
              0.1595,
              0.22211,
              0.33383,
              0.54556,
              0.9721
            ],
            [
              0.07287,
              0.15951,
              0.22212,
              0.33387,
              0.5456,
              0.9721
            ],
            [
              0.07287,
              0.15951,
              0.22225,
              0.33367,
              0.54574,
              0.9731
            ],
            [
              0.07287,
              0.15947,
              0.22205,
              0.3339,
              0.54553,
              0.9722
            ],
            [
              0.07288,
              0.15948,
              0.22204,
              0.3338,
              0.5456,
              0.9727
            ],
            [
              0.07287,
              0.15952,
              0.22258,
              0.33376,
              0.5457,
              0.9729
            ],
            [
              0.07288,
              0.15954,
              0.22216,
              0.3337,
              0.5457,
              0.973
            ],
            [
              0.0729,
              0.1596,
              0.2226,
              0.3337,
              0.5457,
              0.9731
            ],
            [
              0.0729,
              0.1595,
              0.2226,
              0.3337,
              0.5458,
              0.973
            ],
            [
              0.0729,
              0.1595,
              0.2226,
              0.3337,
              0.5457,
              0.9732
            ],
            [
              0.073,
              0.1596,
              0.2227,
              0.334,
              0.5454,
              0.9726
            ],
            [
              0.073,
              0.1596,
              0.2226,
              0.3345,
              0.5465,
              0.9735
            ]
          ]
        },
        "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.00775,
            0.01549,
            0.03098,
            0.06196,
            0.12393
          ],
          "values": [
            [
              0.04946,
              0.14399,
              0.22944,
              0.40439,
              0.76429,
              1.5001
            ],
            [
              0.04942,
              0.14421,
              0.22942,
              0.40444,
              0.76444,
              1.49985
            ],
            [
              0.04946,
              0.14399,
              0.22944,
              0.40437,
              0.76427,
              1.50008
            ],
            [
              0.04946,
              0.14407,
              0.22941,
              0.40438,
              0.76501,
              1.4985
            ],
            [
              0.04946,
              0.14407,
              0.2294,
              0.40438,
              0.76501,
              1.4985
            ],
            [
              0.04946,
              0.14399,
              0.22944,
              0.40438,
              0.76428,
              1.5001
            ],
            [
              0.04941,
              0.14419,
              0.2294,
              0.40442,
              0.76452,
              1.4998
            ],
            [
              0.04948,
              0.14405,
              0.22935,
              0.4045,
              0.7648,
              1.4985
            ],
            [
              0.04945,
              0.14405,
              0.2294,
              0.4044,
              0.765,
              1.4985
            ],
            [
              0.0494,
              0.1442,
              0.2293,
              0.404,
              0.7653,
              1.4988
            ],
            [
              0.0494,
              0.144,
              0.2296,
              0.4039,
              0.7641,
              1.5011
            ],
            [
              0.0497,
              0.1444,
              0.2295,
              0.4046,
              0.7645,
              1.5002
            ],
            [
              0.0503,
              0.1448,
              0.23,
              0.4045,
              0.7645,
              1.5005
            ]
          ]
        },
        "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.00775,
            0.01549,
            0.03098,
            0.06196,
            0.12393
          ],
          "values": [
            [
              0.40836,
              0.52277,
              0.59579,
              0.7124,
              0.90773,
              1.25977
            ],
            [
              0.4112,
              0.52562,
              0.59863,
              0.71526,
              0.91056,
              1.26264
            ],
            [
              0.41496,
              0.52937,
              0.60237,
              0.71901,
              0.9143,
              1.26642
            ],
            [
              0.42089,
              0.53531,
              0.6083,
              0.72496,
              0.92021,
              1.27228
            ],
            [
              0.42992,
              0.54434,
              0.61734,
              0.73397,
              0.92928,
              1.28141
            ],
            [
              0.44322,
              0.55765,
              0.63065,
              0.74725,
              0.94262,
              1.29462
            ],
            [
              0.46255,
              0.57696,
              0.64995,
              0.76657,
              0.96193,
              1.31393
            ],
            [
              0.49015,
              0.60458,
              0.67755,
              0.79413,
              0.98946,
              1.34156
            ],
            [
              0.52916,
              0.64354,
              0.71649,
              0.83305,
              1.02835,
              1.38045
            ],
            [
              0.58065,
              0.69499,
              0.76789,
              0.88439,
              1.07979,
              1.43189
            ],
            [
              0.63802,
              0.75212,
              0.82502,
              0.94152,
              1.13682,
              1.48892
            ],
            [
              0.70607,
              0.81927,
              0.89157,
              1.00767,
              1.20267,
              1.55447
            ],
            [
              0.7867,
              0.9003,
              0.9728,
              1.0887,
              1.2826,
              1.6338
            ]
          ]
        },
        "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.00775,
            0.01549,
            0.03098,
            0.06196,
            0.12393
          ],
          "values": [
            [
              0.38305,
              0.4959,
              0.57489,
              0.71401,
              0.97508,
              1.49167
            ],
            [
              0.38519,
              0.49803,
              0.577,
              0.71617,
              0.97736,
              1.49384
            ],
            [
              0.38811,
              0.50093,
              0.57994,
              0.71881,
              0.98032,
              1.49592
            ],
            [
              0.39291,
              0.50572,
              0.58474,
              0.72359,
              0.98518,
              1.50028
            ],
            [
              0.40064,
              0.51344,
              0.59237,
              0.73153,
              0.99281,
              1.50921
            ],
            [
              0.4128,
              0.52558,
              0.60451,
              0.74367,
              1.00492,
              1.52132
            ],
            [
              0.43155,
              0.5443,
              0.62323,
              0.76239,
              1.02363,
              1.54003
            ],
            [
              0.45942,
              0.57215,
              0.65111,
              0.79022,
              1.05126,
              1.56786
            ],
            [
              0.49765,
              0.6104,
              0.68936,
              0.82855,
              1.08965,
              1.60615
            ],
            [
              0.54525,
              0.65809,
              0.73719,
              0.87619,
              1.13759,
              1.65369
            ],
            [
              0.59732,
              0.71062,
              0.78972,
              0.92882,
              1.19032,
              1.70552
            ],
            [
              0.65597,
              0.76897,
              0.84777,
              0.98667,
              1.24807,
              1.76387
            ],
            [
              0.7203,
              0.8338,
              0.9129,
              1.0519,
              1.3119,
              1.8275
            ]
          ]
        },
        "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.00775,
            0.01549,
            0.03098,
            0.06196,
            0.12393
          ],
          "values": [
            [
              0.06502,
              0.14512,
              0.20548,
              0.31547,
              0.5274,
              0.9595
            ],
            [
              0.06504,
              0.14516,
              0.20567,
              0.31534,
              0.52757,
              0.95946
            ],
            [
              0.06505,
              0.14533,
              0.20565,
              0.31529,
              0.52762,
              0.95942
            ],
            [
              0.06505,
              0.14539,
              0.20569,
              0.31516,
              0.52766,
              0.95916
            ],
            [
              0.06505,
              0.14518,
              0.20569,
              0.31536,
              0.52763,
              0.95942
            ],
            [
              0.06505,
              0.14518,
              0.20535,
              0.31538,
              0.52773,
              0.95963
            ],
            [
              0.06504,
              0.14532,
              0.20568,
              0.31538,
              0.52766,
              0.95943
            ],
            [
              0.06501,
              0.14513,
              0.2054,
              0.31532,
              0.52776,
              0.9595
            ],
            [
              0.06494,
              0.14526,
              0.20569,
              0.31518,
              0.5277,
              0.9592
            ],
            [
              0.06476,
              0.14492,
              0.2053,
              0.3153,
              0.5277,
              0.9596
            ],
            [
              0.0643,
              0.1447,
              0.2052,
              0.3153,
              0.5274,
              0.9596
            ],
            [
              0.064,
              0.1437,
              0.204,
              0.3152,
              0.5269,
              0.9588
            ],
            [
              0.0642,
              0.1441,
              0.2044,
              0.3133,
              0.5252,
              0.9575
            ]
          ]
        },
        "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.00775,
            0.01549,
            0.03098,
            0.06196,
            0.12393
          ],
          "values": [
            [
              0.05525,
              0.15372,
              0.23924,
              0.41227,
              0.76973,
              1.50268
            ],
            [
              0.05522,
              0.15379,
              0.23964,
              0.41193,
              0.76969,
              1.50223
            ],
            [
              0.05522,
              0.154,
              0.23942,
              0.41238,
              0.76942,
              1.50286
            ],
            [
              0.05526,
              0.1539,
              0.23958,
              0.41244,
              0.76902,
              1.50246
            ],
            [
              0.05518,
              0.15381,
              0.23961,
              0.41241,
              0.76949,
              1.50164
            ],
            [
              0.05516,
              0.15378,
              0.2396,
              0.41238,
              0.76947,
              1.50162
            ],
            [
              0.05513,
              0.15376,
              0.23957,
              0.41226,
              0.76947,
              1.5016
            ],
            [
              0.05512,
              0.1536,
              0.23913,
              0.41223,
              0.76974,
              1.5025
            ],
            [
              0.05512,
              0.15367,
              0.23957,
              0.41207,
              0.7697,
              1.5024
            ],
            [
              0.05525,
              0.15387,
              0.23964,
              0.4128,
              0.7694,
              1.5007
            ],
            [
              0.0554,
              0.1542,
              0.2399,
              0.4129,
              0.7692,
              1.5027
            ],
            [
              0.0554,
              0.1537,
              0.2389,
              0.4124,
              0.7699,
              1.4997
            ],
            [
              0.0556,
              0.1543,
              0.2394,
              0.4113,
              0.7676,
              1.5014
            ]
          ]
        },
        "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.00775,
            0.01549,
            0.03098,
            0.06196,
            0.12393
          ],
          "values": [
            [
              0.44076,
              0.55467,
              0.62731,
              0.74327,
              0.93783,
              1.28917
            ],
            [
              0.4427,
              0.55662,
              0.62924,
              0.74526,
              0.93975,
              1.29094
            ],
            [
              0.44531,
              0.55924,
              0.63186,
              0.74789,
              0.94237,
              1.29362
            ],
            [
              0.4496,
              0.56354,
              0.63616,
              0.75218,
              0.94668,
              1.29768
            ],
            [
              0.45638,
              0.57033,
              0.64297,
              0.75899,
              0.95351,
              1.30461
            ],
            [
              0.46711,
              0.58107,
              0.65372,
              0.76972,
              0.96422,
              1.31542
            ],
            [
              0.48383,
              0.59778,
              0.67042,
              0.78647,
              0.98093,
              1.33233
            ],
            [
              0.50967,
              0.62361,
              0.69623,
              0.81224,
              1.00686,
              1.35826
            ],
            [
              0.54844,
              0.66229,
              0.73486,
              0.85085,
              1.04555,
              1.39695
            ],
            [
              0.60579,
              0.71939,
              0.79189,
              0.90789,
              1.10249,
              1.45359
            ],
            [
              0.69092,
              0.80402,
              0.87632,
              0.99232,
              1.18692,
              1.53862
            ],
            [
              0.80437,
              0.92037,
              0.99337,
              1.10987,
              1.30497,
              1.65647
            ],
            [
              0.9402,
              1.0633,
              1.1399,
              1.2605,
              1.4587,
              1.8116
            ]
          ]
        },
        "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.00775,
            0.01549,
            0.03098,
            0.06196,
            0.12393
          ],
          "values": [
            [
              0.27561,
              0.38201,
              0.45801,
              0.59395,
              0.8535,
              1.36877
            ],
            [
              0.27799,
              0.38442,
              0.46036,
              0.59617,
              0.8562,
              1.37114
            ],
            [
              0.28132,
              0.38778,
              0.46374,
              0.59957,
              0.85959,
              1.37442
            ],
            [
              0.28667,
              0.39315,
              0.46908,
              0.60499,
              0.86493,
              1.38018
            ],
            [
              0.29484,
              0.40138,
              0.47728,
              0.6133,
              0.87315,
              1.38861
            ],
            [
              0.30671,
              0.41328,
              0.4893,
              0.62531,
              0.88468,
              1.40062
            ],
            [
              0.32373,
              0.43036,
              0.5064,
              0.64236,
              0.90233,
              1.41703
            ],
            [
              0.34827,
              0.45498,
              0.53096,
              0.66702,
              0.92656,
              1.44276
            ],
            [
              0.38497,
              0.49153,
              0.56742,
              0.70331,
              0.96335,
              1.47885
            ],
            [
              0.43895,
              0.54507,
              0.62086,
              0.75659,
              1.01679,
              1.53229
            ],
            [
              0.51012,
              0.61842,
              0.69442,
              0.83032,
              1.09022,
              1.60602
            ],
            [
              0.59867,
              0.71137,
              0.78897,
              0.92597,
              1.18617,
              1.70277
            ],
            [
              0.7053,
              0.8255,
              0.905,
              1.0438,
              1.3051,
              1.8217
            ]
          ]
        },
        "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.00775,
            0.01549,
            0.03098,
            0.06196,
            0.12393
          ],
          "values": [
            [
              0.06462,
              0.14434,
              0.20436,
              0.3151,
              0.52685,
              0.95886
            ],
            [
              0.06454,
              0.14462,
              0.20476,
              0.31394,
              0.5267,
              0.95762
            ],
            [
              0.06453,
              0.14455,
              0.20466,
              0.31385,
              0.52675,
              0.95756
            ],
            [
              0.06454,
              0.14441,
              0.20441,
              0.31408,
              0.5265,
              0.95784
            ],
            [
              0.06454,
              0.14463,
              0.20444,
              0.31397,
              0.52662,
              0.95765
            ],
            [
              0.06456,
              0.14439,
              0.20439,
              0.31477,
              0.52627,
              0.95812
            ],
            [
              0.06454,
              0.14452,
              0.20461,
              0.31382,
              0.52705,
              0.95795
            ],
            [
              0.06457,
              0.14438,
              0.20432,
              0.31424,
              0.52618,
              0.9588
            ],
            [
              0.06454,
              0.14438,
              0.20441,
              0.31412,
              0.5271,
              0.9588
            ],
            [
              0.06428,
              0.1446,
              0.2045,
              0.314,
              0.5267,
              0.9577
            ],
            [
              0.0641,
              0.1443,
              0.2045,
              0.3141,
              0.5269,
              0.9586
            ],
            [
              0.068,
              0.1477,
              0.2073,
              0.3165,
              0.5272,
              0.9581
            ],
            [
              0.075,
              0.1574,
              0.2174,
              0.326,
              0.5344,
              0.9615
            ]
          ]
        },
        "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.00775,
            0.01549,
            0.03098,
            0.06196,
            0.12393
          ],
          "values": [
            [
              0.05123,
              0.14583,
              0.23099,
              0.40494,
              0.76555,
              1.49869
            ],
            [
              0.05125,
              0.14589,
              0.23088,
              0.40507,
              0.76426,
              1.50078
            ],
            [
              0.05132,
              0.1459,
              0.23099,
              0.40512,
              0.76437,
              1.5008
            ],
            [
              0.05131,
              0.14597,
              0.23107,
              0.40477,
              0.7645,
              1.50092
            ],
            [
              0.0514,
              0.14598,
              0.23103,
              0.4044,
              0.76479,
              1.50101
            ],
            [
              0.05134,
              0.14604,
              0.23078,
              0.40481,
              0.7656,
              1.49829
            ],
            [
              0.05147,
              0.1462,
              0.23102,
              0.40536,
              0.76499,
              1.50007
            ],
            [
              0.05151,
              0.14619,
              0.23101,
              0.40487,
              0.76548,
              1.50001
            ],
            [
              0.05142,
              0.14625,
              0.23135,
              0.40505,
              0.76496,
              1.5008
            ],
            [
              0.05154,
              0.14645,
              0.23098,
              0.40497,
              0.7646,
              1.501
            ],
            [
              0.0543,
              0.148,
              0.2322,
              0.4048,
              0.7651,
              1.4989
            ],
            [
              0.0583,
              0.1525,
              0.2363,
              0.4078,
              0.7658,
              1.4999
            ],
            [
              0.0654,
              0.1601,
              0.2421,
              0.412,
              0.7681,
              1.4987
            ]
          ]
        },
        "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.00775,
            0.01549,
            0.03098,
            0.06196,
            0.12393
          ],
          "values": [
            [
              0.52682,
              0.65148,
              0.73012,
              0.85374,
              1.05637,
              1.41417
            ],
            [
              0.52891,
              0.65355,
              0.73218,
              0.85581,
              1.05844,
              1.41624
            ],
            [
              0.5318,
              0.65645,
              0.73507,
              0.85871,
              1.06132,
              1.41902
            ],
            [
              0.53646,
              0.66112,
              0.73976,
              0.8634,
              1.06607,
              1.42368
            ],
            [
              0.54396,
              0.66861,
              0.74725,
              0.87089,
              1.07351,
              1.43111
            ],
            [
              0.55569,
              0.6803,
              0.75895,
              0.88258,
              1.08522,
              1.44272
            ],
            [
              0.57369,
              0.69833,
              0.77697,
              0.90063,
              1.10333,
              1.46093
            ],
            [
              0.60088,
              0.7255,
              0.80413,
              0.92776,
              1.13046,
              1.48806
            ],
            [
              0.63994,
              0.76455,
              0.84315,
              0.96685,
              1.16945,
              1.52725
            ],
            [
              0.69469,
              0.81919,
              0.89779,
              1.02139,
              1.22409,
              1.58169
            ],
            [
              0.77582,
              0.90022,
              0.97872,
              1.10232,
              1.30512,
              1.66292
            ],
            [
              0.89807,
              1.02327,
              1.10197,
              1.22577,
              1.42867,
              1.78657
            ],
            [
              1.0509,
              1.1863,
              1.2691,
              1.3964,
              1.6014,
              1.9604
            ]
          ]
        },
        "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.00775,
            0.01549,
            0.03098,
            0.06196,
            0.12393
          ],
          "values": [
            [
              0.24612,
              0.34922,
              0.42452,
              0.56025,
              0.82009,
              1.33537
            ],
            [
              0.24834,
              0.35144,
              0.42684,
              0.56245,
              0.82181,
              1.33734
            ],
            [
              0.25138,
              0.3545,
              0.42978,
              0.56554,
              0.82541,
              1.34102
            ],
            [
              0.25631,
              0.35942,
              0.43473,
              0.57051,
              0.8302,
              1.34608
            ],
            [
              0.26405,
              0.36717,
              0.44253,
              0.5782,
              0.83802,
              1.35271
            ],
            [
              0.27588,
              0.37898,
              0.45434,
              0.59009,
              0.84956,
              1.36462
            ],
            [
              0.29368,
              0.39676,
              0.47214,
              0.60766,
              0.86745,
              1.38233
            ],
            [
              0.32018,
              0.42318,
              0.49838,
              0.6342,
              0.89416,
              1.40996
            ],
            [
              0.35892,
              0.46174,
              0.5369,
              0.67272,
              0.93275,
              1.44885
            ],
            [
              0.41253,
              0.51555,
              0.59066,
              0.72649,
              0.98649,
              1.50179
            ],
            [
              0.48092,
              0.58722,
              0.66302,
              0.79912,
              1.05892,
              1.57542
            ],
            [
              0.56557,
              0.67677,
              0.75417,
              0.89147,
              1.15217,
              1.66767
            ],
            [
              0.667,
              0.7863,
              0.8657,
              1.0047,
              1.2663,
              1.7828
            ]
          ]
        },
        "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.00775,
            0.01549,
            0.03098,
            0.06196,
            0.12393
          ],
          "values": [
            [
              0.07304,
              0.15893,
              0.22168,
              0.33247,
              0.54447,
              0.97189
            ],
            [
              0.07305,
              0.15916,
              0.22136,
              0.33349,
              0.54465,
              0.97184
            ],
            [
              0.07305,
              0.15919,
              0.22146,
              0.33315,
              0.54355,
              0.97191
            ],
            [
              0.07305,
              0.15894,
              0.2215,
              0.33321,
              0.54352,
              0.97191
            ],
            [
              0.07306,
              0.15918,
              0.22145,
              0.33356,
              0.54365,
              0.972
            ],
            [
              0.07306,
              0.15887,
              0.22117,
              0.33259,
              0.54415,
              0.9708
            ],
            [
              0.07307,
              0.1592,
              0.22145,
              0.33365,
              0.54542,
              0.972
            ],
            [
              0.07306,
              0.1592,
              0.22146,
              0.33363,
              0.5454,
              0.972
            ],
            [
              0.07306,
              0.15897,
              0.22177,
              0.3327,
              0.545,
              0.9719
            ],
            [
              0.073,
              0.159,
              0.2213,
              0.3327,
              0.5442,
              0.9707
            ],
            [
              0.073,
              0.1589,
              0.2219,
              0.3328,
              0.5447,
              0.9719
            ],
            [
              0.0758,
              0.1605,
              0.2227,
              0.3337,
              0.5451,
              0.9722
            ],
            [
              0.0863,
              0.1736,
              0.2349,
              0.3426,
              0.5501,
              0.9743
            ]
          ]
        },
        "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.00775,
            0.01549,
            0.03098,
            0.06196,
            0.12393
          ],
          "values": [
            [
              0.04799,
              0.14324,
              0.22975,
              0.40503,
              0.76441,
              1.49839
            ],
            [
              0.04797,
              0.14349,
              0.2295,
              0.40415,
              0.76601,
              1.49957
            ],
            [
              0.048,
              0.14324,
              0.22979,
              0.40495,
              0.76476,
              1.49964
            ],
            [
              0.04799,
              0.14333,
              0.22975,
              0.40466,
              0.76587,
              1.50087
            ],
            [
              0.048,
              0.14329,
              0.22966,
              0.40512,
              0.76494,
              1.49865
            ],
            [
              0.04799,
              0.14344,
              0.22978,
              0.40456,
              0.76588,
              1.49894
            ],
            [
              0.04802,
              0.1436,
              0.22946,
              0.40483,
              0.76581,
              1.49954
            ],
            [
              0.04799,
              0.14331,
              0.22987,
              0.40497,
              0.76467,
              1.50049
            ],
            [
              0.04796,
              0.1434,
              0.22995,
              0.40488,
              0.76531,
              1.5016
            ],
            [
              0.04884,
              0.14385,
              0.2298,
              0.40503,
              0.7654,
              1.4984
            ],
            [
              0.052,
              0.1469,
              0.2319,
              0.4057,
              0.766,
              1.501
            ],
            [
              0.0566,
              0.1515,
              0.2362,
              0.4089,
              0.7676,
              1.501
            ],
            [
              0.0643,
              0.1589,
              0.242,
              0.4125,
              0.7691,
              1.4999
            ]
          ]
        },
        "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.00775,
            0.01549,
            0.03098,
            0.06196,
            0.12393
          ],
          "values": [
            [
              0.47186,
              0.59665,
              0.67543,
              0.79934,
              1.00237,
              1.36067
            ],
            [
              0.4746,
              0.59939,
              0.67818,
              0.80208,
              1.00514,
              1.36334
            ],
            [
              0.47817,
              0.60297,
              0.68174,
              0.80566,
              1.00872,
              1.36692
            ],
            [
              0.48374,
              0.60854,
              0.68734,
              0.81122,
              1.01428,
              1.37248
            ],
            [
              0.4922,
              0.61703,
              0.69582,
              0.81971,
              1.02281,
              1.38101
            ],
            [
              0.50474,
              0.62953,
              0.70833,
              0.8322,
              1.03532,
              1.39342
            ],
            [
              0.52325,
              0.64804,
              0.7268,
              0.85072,
              1.05383,
              1.41193
            ],
            [
              0.55061,
              0.6754,
              0.75418,
              0.87806,
              1.08116,
              1.43936
            ],
            [
              0.59162,
              0.71641,
              0.79515,
              0.91905,
              1.12215,
              1.48035
            ],
            [
              0.65169,
              0.77649,
              0.85519,
              0.97909,
              1.18219,
              1.54029
            ],
            [
              0.72252,
              0.84732,
              0.92602,
              1.04992,
              1.25312,
              1.61142
            ],
            [
              0.79817,
              0.92197,
              1.00057,
              1.12427,
              1.32737,
              1.68547
            ],
            [
              0.885,
              1.009,
              1.0873,
              1.2105,
              1.4126,
              1.7705
            ]
          ]
        },
        "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.00775,
            0.01549,
            0.03098,
            0.06196,
            0.12393
          ],
          "values": [
            [
              0.31435,
              0.41994,
              0.49627,
              0.63302,
              0.89293,
              1.40897
            ],
            [
              0.31656,
              0.42214,
              0.49852,
              0.63522,
              0.89551,
              1.41074
            ],
            [
              0.31957,
              0.42514,
              0.50145,
              0.63818,
              0.89809,
              1.41422
            ],
            [
              0.32448,
              0.43005,
              0.50635,
              0.64299,
              0.90345,
              1.41807
            ],
            [
              0.33234,
              0.4379,
              0.51427,
              0.65095,
              0.9112,
              1.42651
            ],
            [
              0.34473,
              0.45028,
              0.52663,
              0.66329,
              0.92357,
              1.43892
            ],
            [
              0.36363,
              0.46918,
              0.54551,
              0.68221,
              0.94223,
              1.45803
            ],
            [
              0.39152,
              0.49707,
              0.57327,
              0.70998,
              0.97006,
              1.48626
            ],
            [
              0.42939,
              0.53496,
              0.61126,
              0.74783,
              1.00825,
              1.52305
            ],
            [
              0.47423,
              0.57995,
              0.65629,
              0.79309,
              1.05299,
              1.56879
            ],
            [
              0.52482,
              0.63012,
              0.70672,
              0.84352,
              1.10382,
              1.61922
            ],
            [
              0.58167,
              0.68707,
              0.76337,
              0.89957,
              1.16067,
              1.67627
            ],
            [
              0.6444,
              0.7499,
              0.8263,
              0.9631,
              1.2229,
              1.7383
            ]
          ]
        },
        "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.00775,
            0.01549,
            0.03098,
            0.06196,
            0.12393
          ],
          "values": [
            [
              0.07291,
              0.15951,
              0.22257,
              0.3337,
              0.54595,
              0.97338
            ],
            [
              0.0729,
              0.15951,
              0.22259,
              0.33368,
              0.54576,
              0.97319
            ],
            [
              0.07291,
              0.15951,
              0.22257,
              0.33374,
              0.54609,
              0.97341
            ],
            [
              0.07288,
              0.1595,
              0.22262,
              0.33364,
              0.54574,
              0.97307
            ],
            [
              0.07291,
              0.1595,
              0.22258,
              0.33367,
              0.54569,
              0.97321
            ],
            [
              0.07289,
              0.1595,
              0.2226,
              0.33369,
              0.5458,
              0.9731
            ],
            [
              0.0729,
              0.15949,
              0.22256,
              0.33368,
              0.54577,
              0.9731
            ],
            [
              0.07286,
              0.15948,
              0.22254,
              0.33369,
              0.54571,
              0.9731
            ],
            [
              0.07283,
              0.1595,
              0.22253,
              0.3337,
              0.5457,
              0.9732
            ],
            [
              0.07282,
              0.1595,
              0.2221,
              0.3339,
              0.5456,
              0.9725
            ],
            [
              0.0727,
              0.1597,
              0.2224,
              0.334,
              0.5466,
              0.9735
            ],
            [
              0.0721,
              0.1588,
              0.2221,
              0.3337,
              0.5463,
              0.9734
            ],
            [
              0.0723,
              0.1588,
              0.2212,
              0.3318,
              0.5439,
              0.9724
            ]
          ]
        },
        "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.00775,
            0.01549,
            0.03098,
            0.06196,
            0.12393
          ],
          "values": [
            [
              0.04984,
              0.14605,
              0.23207,
              0.40609,
              0.76655,
              1.49826
            ],
            [
              0.04988,
              0.1461,
              0.23229,
              0.40675,
              0.76622,
              1.49859
            ],
            [
              0.04982,
              0.14602,
              0.23206,
              0.40603,
              0.76642,
              1.49872
            ],
            [
              0.04985,
              0.14625,
              0.23206,
              0.40689,
              0.76567,
              1.50023
            ],
            [
              0.04986,
              0.14607,
              0.23211,
              0.40666,
              0.76628,
              1.49835
            ],
            [
              0.04986,
              0.14605,
              0.23221,
              0.40672,
              0.76613,
              1.49842
            ],
            [
              0.04983,
              0.14623,
              0.232,
              0.40623,
              0.76647,
              1.49814
            ],
            [
              0.04976,
              0.14592,
              0.23207,
              0.40582,
              0.76633,
              1.4999
            ],
            [
              0.04983,
              0.14625,
              0.23205,
              0.40693,
              0.76551,
              1.5004
            ],
            [
              0.04996,
              0.1461,
              0.23218,
              0.40623,
              0.7667,
              1.4977
            ],
            [
              0.0495,
              0.1461,
              0.2326,
              0.4073,
              0.7667,
              1.4997
            ],
            [
              0.0498,
              0.146,
              0.2319,
              0.4057,
              0.766,
              1.4992
            ],
            [
              0.05,
              0.1462,
              0.2327,
              0.407,
              0.7645,
              1.5009
            ]
          ]
        },
        "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.00775,
            0.01549,
            0.03098,
            0.06196,
            0.12393
          ],
          "values": [
            [
              0.28227,
              0.39455,
              0.4665,
              0.58178,
              0.77582,
              1.12697
            ],
            [
              0.28588,
              0.39804,
              0.47001,
              0.58531,
              0.77933,
              1.13054
            ],
            [
              0.29001,
              0.40235,
              0.4743,
              0.58961,
              0.78361,
              1.13442
            ],
            [
              0.29628,
              0.40856,
              0.48054,
              0.59586,
              0.78992,
              1.14098
            ],
            [
              0.3054,
              0.4178,
              0.48978,
              0.60512,
              0.79918,
              1.15031
            ],
            [
              0.31896,
              0.43128,
              0.50327,
              0.61862,
              0.8127,
              1.16392
            ],
            [
              0.33823,
              0.4505,
              0.52247,
              0.6378,
              0.8319,
              1.18313
            ],
            [
              0.36564,
              0.47773,
              0.54957,
              0.66484,
              0.85886,
              1.20996
            ],
            [
              0.40445,
              0.51605,
              0.58768,
              0.70279,
              0.89675,
              1.24795
            ],
            [
              0.4577,
              0.56803,
              0.63939,
              0.75429,
              0.94819,
              1.29929
            ],
            [
              0.52212,
              0.62982,
              0.70052,
              0.81502,
              1.00862,
              1.35982
            ],
            [
              0.59777,
              0.70507,
              0.77497,
              0.88807,
              1.08097,
              1.43167
            ],
            [
              0.6875,
              0.7948,
              0.8649,
              0.9784,
              1.1702,
              1.5184
            ]
          ]
        },
        "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.00775,
            0.01549,
            0.03098,
            0.06196,
            0.12393
          ],
          "values": [
            [
              0.26585,
              0.37657,
              0.45508,
              0.59373,
              0.85465,
              1.37127
            ],
            [
              0.26867,
              0.37936,
              0.45785,
              0.59649,
              0.85789,
              1.37374
            ],
            [
              0.27215,
              0.38287,
              0.46134,
              0.60011,
              0.86145,
              1.37672
            ],
            [
              0.27751,
              0.38821,
              0.46666,
              0.6055,
              0.86681,
              1.38167
            ],
            [
              0.28581,
              0.39654,
              0.47499,
              0.6138,
              0.87511,
              1.39021
            ],
            [
              0.29862,
              0.40936,
              0.48786,
              0.62633,
              0.88776,
              1.40392
            ],
            [
              0.31818,
              0.42892,
              0.50733,
              0.64612,
              0.90743,
              1.42303
            ],
            [
              0.34756,
              0.4583,
              0.53673,
              0.67547,
              0.93676,
              1.45166
            ],
            [
              0.39093,
              0.50165,
              0.58011,
              0.71853,
              0.97965,
              1.49605
            ],
            [
              0.45012,
              0.56058,
              0.63899,
              0.77749,
              1.03839,
              1.55499
            ],
            [
              0.52302,
              0.63232,
              0.71052,
              0.84902,
              1.10992,
              1.62602
            ],
            [
              0.60777,
              0.71677,
              0.79457,
              0.93207,
              1.19347,
              1.70847
            ],
            [
              0.7046,
              0.8138,
              0.8919,
              1.0298,
              1.2894,
              1.8051
            ]
          ]
        },
        "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.00775,
            0.01549,
            0.03098,
            0.06196,
            0.12393
          ],
          "values": [
            [
              0.06111,
              0.14153,
              0.20214,
              0.31263,
              0.52643,
              0.95806
            ],
            [
              0.0612,
              0.14171,
              0.20215,
              0.31235,
              0.52591,
              0.95845
            ],
            [
              0.06119,
              0.14157,
              0.20247,
              0.31373,
              0.52608,
              0.95752
            ],
            [
              0.06127,
              0.14162,
              0.20224,
              0.31273,
              0.52549,
              0.95738
            ],
            [
              0.06128,
              0.14173,
              0.20223,
              0.31258,
              0.52564,
              0.9586
            ],
            [
              0.06125,
              0.14188,
              0.20222,
              0.31257,
              0.52573,
              0.95833
            ],
            [
              0.06116,
              0.14161,
              0.20218,
              0.31256,
              0.52564,
              0.95833
            ],
            [
              0.06082,
              0.14145,
              0.20207,
              0.31264,
              0.5257,
              0.95807
            ],
            [
              0.05991,
              0.14068,
              0.20202,
              0.31232,
              0.52559,
              0.9583
            ],
            [
              0.05801,
              0.13956,
              0.2006,
              0.31165,
              0.5251,
              0.9579
            ],
            [
              0.0556,
              0.1373,
              0.1994,
              0.3105,
              0.5246,
              0.9579
            ],
            [
              0.0554,
              0.1363,
              0.1968,
              0.3084,
              0.5233,
              0.9572
            ],
            [
              0.0552,
              0.1364,
              0.1977,
              0.3087,
              0.5202,
              0.9539
            ]
          ]
        },
        "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.00775,
            0.01549,
            0.03098,
            0.06196,
            0.12393
          ],
          "values": [
            [
              0.05259,
              0.15182,
              0.23799,
              0.41183,
              0.76945,
              1.50133
            ],
            [
              0.05263,
              0.15211,
              0.23794,
              0.4113,
              0.76895,
              1.49954
            ],
            [
              0.05259,
              0.15208,
              0.23789,
              0.41123,
              0.76861,
              1.5012
            ],
            [
              0.05257,
              0.15179,
              0.23771,
              0.41101,
              0.76842,
              1.5019
            ],
            [
              0.05256,
              0.15179,
              0.23778,
              0.41123,
              0.76845,
              1.50162
            ],
            [
              0.05259,
              0.15179,
              0.23791,
              0.41146,
              0.76917,
              1.5004
            ],
            [
              0.0526,
              0.15162,
              0.23812,
              0.41134,
              0.76795,
              1.50287
            ],
            [
              0.05255,
              0.15172,
              0.23767,
              0.41111,
              0.7684,
              1.50185
            ],
            [
              0.05252,
              0.15166,
              0.23804,
              0.41178,
              0.76938,
              1.5008
            ],
            [
              0.05208,
              0.15122,
              0.23786,
              0.411,
              0.769,
              1.5021
            ],
            [
              0.0513,
              0.1507,
              0.2375,
              0.4107,
              0.7692,
              1.5006
            ],
            [
              0.0515,
              0.1503,
              0.2361,
              0.4104,
              0.7688,
              1.5021
            ],
            [
              0.052,
              0.1511,
              0.2372,
              0.4094,
              0.7673,
              1.5004
            ]
          ]
        },
        "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.00775,
            0.01549,
            0.03098,
            0.06196,
            0.12393
          ],
          "values": [
            [
              0.24678,
              0.3566,
              0.42776,
              0.54257,
              0.73663,
              1.08797
            ],
            [
              0.24852,
              0.35839,
              0.42951,
              0.54431,
              0.7384,
              1.08984
            ],
            [
              0.25072,
              0.36057,
              0.43173,
              0.54654,
              0.7406,
              1.09202
            ],
            [
              0.25426,
              0.36401,
              0.43517,
              0.54993,
              0.74398,
              1.09537
            ],
            [
              0.25994,
              0.36951,
              0.44062,
              0.55542,
              0.74945,
              1.10091
            ],
            [
              0.26909,
              0.37836,
              0.44941,
              0.56418,
              0.75824,
              1.10952
            ],
            [
              0.28373,
              0.39253,
              0.46352,
              0.57825,
              0.77222,
              1.12363
            ],
            [
              0.30705,
              0.41501,
              0.48584,
              0.60047,
              0.79442,
              1.14586
            ],
            [
              0.34413,
              0.45057,
              0.52105,
              0.63555,
              0.82935,
              1.18065
            ],
            [
              0.40119,
              0.50516,
              0.57502,
              0.68909,
              0.88279,
              1.23399
            ],
            [
              0.47322,
              0.57972,
              0.64962,
              0.76362,
              0.95742,
              1.30872
            ],
            [
              0.55807,
              0.66857,
              0.73957,
              0.85597,
              1.05167,
              1.40377
            ],
            [
              0.6554,
              0.775,
              0.8474,
              0.9639,
              1.1622,
              1.5186
            ]
          ]
        },
        "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.00775,
            0.01549,
            0.03098,
            0.06196,
            0.12393
          ],
          "values": [
            [
              0.15237,
              0.25423,
              0.32833,
              0.46235,
              0.72071,
              1.23637
            ],
            [
              0.15479,
              0.25665,
              0.33078,
              0.46488,
              0.72339,
              1.23864
            ],
            [
              0.1578,
              0.25968,
              0.33376,
              0.46795,
              0.72673,
              1.24162
            ],
            [
              0.16243,
              0.2643,
              0.33846,
              0.47256,
              0.73125,
              1.24578
            ],
            [
              0.16964,
              0.27146,
              0.34551,
              0.47985,
              0.7383,
              1.25401
            ],
            [
              0.18087,
              0.28256,
              0.35664,
              0.49105,
              0.74957,
              1.26532
            ],
            [
              0.19819,
              0.29956,
              0.37371,
              0.50813,
              0.76679,
              1.28253
            ],
            [
              0.22479,
              0.3255,
              0.3996,
              0.53408,
              0.79314,
              1.30886
            ],
            [
              0.26304,
              0.36328,
              0.43753,
              0.57197,
              0.83085,
              1.34615
            ],
            [
              0.31086,
              0.41311,
              0.48777,
              0.62252,
              0.88179,
              1.39679
            ],
            [
              0.36855,
              0.47382,
              0.54962,
              0.68582,
              0.94532,
              1.46102
            ],
            [
              0.43667,
              0.54857,
              0.62497,
              0.76227,
              1.02347,
              1.53837
            ],
            [
              0.5161,
              0.6392,
              0.717,
              0.8547,
              1.1171,
              1.6338
            ]
          ]
        },
        "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.00775,
            0.01549,
            0.03098,
            0.06196,
            0.12393
          ],
          "values": [
            [
              0.05605,
              0.13873,
              0.2006,
              0.31232,
              0.52624,
              0.95915
            ],
            [
              0.05599,
              0.1385,
              0.20101,
              0.31362,
              0.52665,
              0.95893
            ],
            [
              0.05584,
              0.13843,
              0.20053,
              0.31248,
              0.52662,
              0.9589
            ],
            [
              0.05573,
              0.1385,
              0.20062,
              0.31349,
              0.52705,
              0.9591
            ],
            [
              0.05555,
              0.13816,
              0.20054,
              0.31245,
              0.52639,
              0.95874
            ],
            [
              0.05526,
              0.13812,
              0.2002,
              0.31219,
              0.52599,
              0.95876
            ],
            [
              0.05477,
              0.13783,
              0.20008,
              0.31168,
              0.52616,
              0.9588
            ],
            [
              0.05401,
              0.13709,
              0.1994,
              0.3116,
              0.52601,
              0.95857
            ],
            [
              0.0526,
              0.13599,
              0.19861,
              0.31087,
              0.52559,
              0.95866
            ],
            [
              0.05227,
              0.13436,
              0.19709,
              0.31046,
              0.52454,
              0.9584
            ],
            [
              0.05754,
              0.137,
              0.1987,
              0.3099,
              0.5247,
              0.9582
            ],
            [
              0.0657,
              0.1418,
              0.2035,
              0.3159,
              0.5306,
              0.9597
            ],
            [
              0.077,
              0.1509,
              0.2095,
              0.3205,
              0.5367,
              0.9674
            ]
          ]
        },
        "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.00775,
            0.01549,
            0.03098,
            0.06196,
            0.12393
          ],
          "values": [
            [
              0.04577,
              0.14157,
              0.2278,
              0.40367,
              0.76511,
              1.50083
            ],
            [
              0.04576,
              0.1414,
              0.22772,
              0.40327,
              0.76514,
              1.4986
            ],
            [
              0.04573,
              0.14133,
              0.22759,
              0.40289,
              0.76453,
              1.49874
            ],
            [
              0.04566,
              0.14147,
              0.2276,
              0.40289,
              0.76503,
              1.49808
            ],
            [
              0.04556,
              0.14154,
              0.2278,
              0.4037,
              0.76501,
              1.50051
            ],
            [
              0.04544,
              0.14127,
              0.22777,
              0.40366,
              0.76489,
              1.50072
            ],
            [
              0.04505,
              0.14135,
              0.22792,
              0.40347,
              0.76473,
              1.50083
            ],
            [
              0.04454,
              0.14127,
              0.22752,
              0.40278,
              0.76462,
              1.50139
            ],
            [
              0.04535,
              0.14105,
              0.2275,
              0.40276,
              0.76491,
              1.50005
            ],
            [
              0.04874,
              0.14321,
              0.22869,
              0.4032,
              0.76383,
              1.4987
            ],
            [
              0.05491,
              0.14627,
              0.23188,
              0.4061,
              0.7653,
              1.5011
            ],
            [
              0.0633,
              0.1511,
              0.2354,
              0.4095,
              0.7698,
              1.4997
            ],
            [
              0.0734,
              0.1596,
              0.2406,
              0.4129,
              0.7712,
              1.5034
            ]
          ]
        },
        "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.00775,
            0.01549,
            0.03098,
            0.06196,
            0.12393
          ],
          "values": [
            [
              0.28593,
              0.40845,
              0.48588,
              0.60812,
              0.80975,
              1.16657
            ],
            [
              0.2874,
              0.40996,
              0.48738,
              0.60964,
              0.81125,
              1.16814
            ],
            [
              0.28927,
              0.41179,
              0.48923,
              0.61149,
              0.81311,
              1.17022
            ],
            [
              0.29228,
              0.41472,
              0.49217,
              0.61442,
              0.81607,
              1.17298
            ],
            [
              0.2973,
              0.41956,
              0.49701,
              0.61927,
              0.82089,
              1.17811
            ],
            [
              0.30556,
              0.42753,
              0.50495,
              0.62722,
              0.82882,
              1.18562
            ],
            [
              0.319,
              0.44062,
              0.51799,
              0.64017,
              0.84178,
              1.19883
            ],
            [
              0.34066,
              0.46163,
              0.53882,
              0.66096,
              0.86256,
              1.21976
            ],
            [
              0.37531,
              0.49501,
              0.57195,
              0.69396,
              0.89545,
              1.25265
            ],
            [
              0.43068,
              0.5474,
              0.62377,
              0.74549,
              0.94679,
              1.30359
            ],
            [
              0.50632,
              0.62292,
              0.69872,
              0.82002,
              1.02132,
              1.37802
            ],
            [
              0.59627,
              0.71557,
              0.79237,
              0.91587,
              1.11857,
              1.47627
            ],
            [
              0.7001,
              0.8275,
              0.9047,
              1.0281,
              1.2345,
              1.5962
            ]
          ]
        },
        "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.00775,
            0.01549,
            0.03098,
            0.06196,
            0.12393
          ],
          "values": [
            [
              0.15021,
              0.25296,
              0.32783,
              0.46294,
              0.72165,
              1.23717
            ],
            [
              0.1527,
              0.25544,
              0.33025,
              0.46551,
              0.72441,
              1.24014
            ],
            [
              0.1558,
              0.25854,
              0.33355,
              0.46842,
              0.72746,
              1.24262
            ],
            [
              0.16059,
              0.26332,
              0.33836,
              0.47341,
              0.73245,
              1.24698
            ],
            [
              0.16799,
              0.27063,
              0.34553,
              0.48089,
              0.73983,
              1.25551
            ],
            [
              0.17943,
              0.2819,
              0.35686,
              0.4922,
              0.75126,
              1.26692
            ],
            [
              0.19702,
              0.29908,
              0.37412,
              0.50945,
              0.76838,
              1.28383
            ],
            [
              0.22399,
              0.32521,
              0.40022,
              0.53558,
              0.79471,
              1.30946
            ],
            [
              0.26262,
              0.36321,
              0.4382,
              0.57345,
              0.83285,
              1.34735
            ],
            [
              0.31076,
              0.41321,
              0.48852,
              0.62393,
              0.88349,
              1.39849
            ],
            [
              0.36874,
              0.47412,
              0.55042,
              0.68742,
              0.94732,
              1.46312
            ],
            [
              0.43697,
              0.54887,
              0.62557,
              0.76377,
              1.02527,
              1.54017
            ],
            [
              0.5161,
              0.6391,
              0.7172,
              0.8556,
              1.1182,
              1.635
            ]
          ]
        },
        "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.00775,
            0.01549,
            0.03098,
            0.06196,
            0.12393
          ],
          "values": [
            [
              0.06607,
              0.15412,
              0.21788,
              0.3308,
              0.54407,
              0.97072
            ],
            [
              0.06597,
              0.15404,
              0.21784,
              0.33074,
              0.54364,
              0.97079
            ],
            [
              0.06589,
              0.1539,
              0.21787,
              0.33047,
              0.54317,
              0.97118
            ],
            [
              0.06578,
              0.15382,
              0.21776,
              0.33068,
              0.54335,
              0.97052
            ],
            [
              0.06559,
              0.15371,
              0.21758,
              0.33162,
              0.54325,
              0.97148
            ],
            [
              0.06524,
              0.15384,
              0.21768,
              0.3302,
              0.54381,
              0.97046
            ],
            [
              0.06475,
              0.15324,
              0.21723,
              0.33031,
              0.5431,
              0.97149
            ],
            [
              0.06392,
              0.15271,
              0.2171,
              0.33006,
              0.54242,
              0.97136
            ],
            [
              0.06235,
              0.1518,
              0.2161,
              0.33032,
              0.54274,
              0.9712
            ],
            [
              0.05987,
              0.15011,
              0.21469,
              0.32824,
              0.5427,
              0.9709
            ],
            [
              0.0639,
              0.1501,
              0.2141,
              0.3278,
              0.541,
              0.97
            ],
            [
              0.0718,
              0.1543,
              0.2192,
              0.3339,
              0.5444,
              0.972
            ],
            [
              0.0835,
              0.1619,
              0.2231,
              0.3376,
              0.5549,
              0.9795
            ]
          ]
        },
        "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.00775,
            0.01549,
            0.03098,
            0.06196,
            0.12393
          ],
          "values": [
            [
              0.04563,
              0.14288,
              0.22971,
              0.40548,
              0.76601,
              1.49851
            ],
            [
              0.04563,
              0.14295,
              0.22982,
              0.40546,
              0.76574,
              1.5004
            ],
            [
              0.04559,
              0.1429,
              0.22959,
              0.40524,
              0.7659,
              1.49801
            ],
            [
              0.04551,
              0.14283,
              0.22968,
              0.4044,
              0.76593,
              1.49843
            ],
            [
              0.04538,
              0.14296,
              0.22975,
              0.40528,
              0.76555,
              1.50083
            ],
            [
              0.04525,
              0.14256,
              0.22967,
              0.40499,
              0.76539,
              1.50126
            ],
            [
              0.04481,
              0.14255,
              0.22945,
              0.40524,
              0.76579,
              1.49888
            ],
            [
              0.04431,
              0.1422,
              0.22932,
              0.40525,
              0.76592,
              1.49949
            ],
            [
              0.04517,
              0.14202,
              0.22913,
              0.40481,
              0.76575,
              1.50009
            ],
            [
              0.0486,
              0.14388,
              0.2303,
              0.40544,
              0.76597,
              1.4996
            ],
            [
              0.05467,
              0.14682,
              0.23318,
              0.4074,
              0.766,
              1.5011
            ],
            [
              0.0632,
              0.1512,
              0.2364,
              0.4107,
              0.7708,
              1.4999
            ],
            [
              0.0734,
              0.1602,
              0.2413,
              0.4138,
              0.7721,
              1.5053
            ]
          ]
        },
        "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.00775,
            0.01549,
            0.03098,
            0.06196,
            0.12393
          ],
          "values": [
            [
              0.3419,
              0.46674,
              0.54549,
              0.66919,
              0.87203,
              1.22987
            ],
            [
              0.34582,
              0.47056,
              0.54933,
              0.67302,
              0.87584,
              1.23374
            ],
            [
              0.35016,
              0.47514,
              0.55387,
              0.67767,
              0.88042,
              1.23832
            ],
            [
              0.3568,
              0.48156,
              0.56032,
              0.68403,
              0.88689,
              1.24477
            ],
            [
              0.36616,
              0.49123,
              0.57001,
              0.69371,
              0.89658,
              1.25441
            ],
            [
              0.37967,
              0.5046,
              0.58339,
              0.70711,
              0.91,
              1.26782
            ],
            [
              0.39836,
              0.52334,
              0.60211,
              0.72586,
              0.92873,
              1.28683
            ],
            [
              0.4238,
              0.54878,
              0.62748,
              0.75118,
              0.95406,
              1.31216
            ],
            [
              0.45886,
              0.58369,
              0.66226,
              0.78585,
              0.98875,
              1.34675
            ],
            [
              0.50859,
              0.63269,
              0.71109,
              0.83449,
              1.03719,
              1.39509
            ],
            [
              0.57172,
              0.69362,
              0.77142,
              0.89442,
              1.09702,
              1.45502
            ],
            [
              0.64687,
              0.76697,
              0.84347,
              0.96517,
              1.16707,
              1.52467
            ],
            [
              0.735,
              0.8554,
              0.9323,
              1.0539,
              1.2539,
              1.6093
            ]
          ]
        },
        "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.00775,
            0.01549,
            0.03098,
            0.06196,
            0.12393
          ],
          "values": [
            [
              0.24362,
              0.34386,
              0.41825,
              0.55329,
              0.81257,
              1.32807
            ],
            [
              0.24638,
              0.34658,
              0.42103,
              0.55592,
              0.81573,
              1.33204
            ],
            [
              0.24979,
              0.35003,
              0.42444,
              0.55938,
              0.81883,
              1.33452
            ],
            [
              0.25507,
              0.35531,
              0.42975,
              0.56466,
              0.82447,
              1.34078
            ],
            [
              0.26332,
              0.36357,
              0.438,
              0.57288,
              0.8327,
              1.34901
            ],
            [
              0.27611,
              0.37637,
              0.45074,
              0.58571,
              0.84547,
              1.36182
            ],
            [
              0.29579,
              0.39607,
              0.47039,
              0.6054,
              0.86461,
              1.37963
            ],
            [
              0.32562,
              0.42592,
              0.50026,
              0.63521,
              0.89426,
              1.40966
            ],
            [
              0.36987,
              0.47015,
              0.54443,
              0.67934,
              0.93835,
              1.45385
            ],
            [
              0.42978,
              0.52983,
              0.60403,
              0.73889,
              0.99819,
              1.51439
            ],
            [
              0.50242,
              0.60162,
              0.67592,
              0.81062,
              1.07012,
              1.58612
            ],
            [
              0.58667,
              0.68607,
              0.75997,
              0.89397,
              1.15367,
              1.66837
            ],
            [
              0.683,
              0.7828,
              0.8571,
              0.9917,
              1.2499,
              1.7647
            ]
          ]
        },
        "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.00775,
            0.01549,
            0.03098,
            0.06196,
            0.12393
          ],
          "values": [
            [
              0.07207,
              0.15834,
              0.22104,
              0.33316,
              0.54577,
              0.97303
            ],
            [
              0.07199,
              0.15869,
              0.22159,
              0.33298,
              0.54524,
              0.97254
            ],
            [
              0.072,
              0.15837,
              0.22109,
              0.33373,
              0.54593,
              0.97318
            ],
            [
              0.07199,
              0.15837,
              0.22107,
              0.3332,
              0.54591,
              0.97305
            ],
            [
              0.07204,
              0.1584,
              0.22125,
              0.33309,
              0.54511,
              0.97202
            ],
            [
              0.07197,
              0.15838,
              0.22118,
              0.33318,
              0.54502,
              0.97217
            ],
            [
              0.07199,
              0.15828,
              0.22115,
              0.33414,
              0.54654,
              0.97322
            ],
            [
              0.07173,
              0.15817,
              0.22098,
              0.33391,
              0.54602,
              0.9733
            ],
            [
              0.07123,
              0.15781,
              0.22091,
              0.33275,
              0.54497,
              0.9733
            ],
            [
              0.06938,
              0.1571,
              0.22009,
              0.3332,
              0.545,
              0.973
            ],
            [
              0.0657,
              0.1547,
              0.2188,
              0.3316,
              0.5447,
              0.9728
            ],
            [
              0.0654,
              0.152,
              0.2161,
              0.3298,
              0.5429,
              0.9718
            ],
            [
              0.0653,
              0.153,
              0.2161,
              0.3284,
              0.5386,
              0.9685
            ]
          ]
        },
        "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.00775,
            0.01549,
            0.03098,
            0.06196,
            0.12393
          ],
          "values": [
            [
              0.04591,
              0.14125,
              0.2276,
              0.40382,
              0.7653,
              1.50049
            ],
            [
              0.04588,
              0.14116,
              0.22762,
              0.40322,
              0.7646,
              1.50158
            ],
            [
              0.04592,
              0.14121,
              0.22767,
              0.40377,
              0.76527,
              1.50074
            ],
            [
              0.04596,
              0.14118,
              0.22758,
              0.40316,
              0.7644,
              1.50158
            ],
            [
              0.04597,
              0.14116,
              0.22761,
              0.4032,
              0.7646,
              1.50165
            ],
            [
              0.04595,
              0.14136,
              0.2278,
              0.40295,
              0.76414,
              1.50149
            ],
            [
              0.04592,
              0.14126,
              0.22763,
              0.40358,
              0.76515,
              1.49999
            ],
            [
              0.04589,
              0.1412,
              0.22752,
              0.40368,
              0.76523,
              1.49998
            ],
            [
              0.04581,
              0.14117,
              0.22753,
              0.40362,
              0.76524,
              1.5002
            ],
            [
              0.04563,
              0.14114,
              0.22761,
              0.40354,
              0.7652,
              1.5012
            ],
            [
              0.0454,
              0.1407,
              0.2274,
              0.4032,
              0.7641,
              1.5004
            ],
            [
              0.0458,
              0.1405,
              0.2269,
              0.4024,
              0.7643,
              1.4997
            ],
            [
              0.0467,
              0.1413,
              0.2276,
              0.4033,
              0.762,
              1.4988
            ]
          ]
        },
        "sdf_cond": "(A&B)",
        "timing_sense": "negative_unate",
        "when": "(A&B)"
      }
    ]
  }
}