{
  "area": 21.4896,
  "cell_footprint": "sky130_fd_sc_hvl__a22o",
  "cell_leakage_power": 0.0,
  "pg_pin,VGND": {
    "pg_type": "primary_ground",
    "voltage_name": "VGND"
  },
  "pg_pin,VNB": {
    "pg_type": "pwell",
    "voltage_name": "VNB"
  },
  "pg_pin,VPB": {
    "pg_type": "nwell",
    "voltage_name": "VPB"
  },
  "pg_pin,VPWR": {
    "pg_type": "primary_power",
    "voltage_name": "VPWR"
  },
  "pin,A1": {
    "capacitance": 0.00497,
    "clock": "false",
    "direction": "input",
    "internal_power": {
      "fall_power,hidden_pwr_template11": {
        "index_1": [
          0.001,
          0.013,
          0.026,
          0.072,
          0.216,
          0.432,
          0.864,
          1.296,
          2.5,
          3.125,
          3.75
        ],
        "values": [
          0.07246,
          0.07582,
          0.07616,
          0.07396,
          0.10447,
          0.18559,
          0.33898,
          0.51064,
          1.03412,
          1.34274,
          1.67689
        ]
      },
      "rise_power,hidden_pwr_template11": {
        "index_1": [
          0.001,
          0.013,
          0.026,
          0.072,
          0.216,
          0.432,
          0.864,
          1.296,
          2.5,
          3.125,
          3.75
        ],
        "values": [
          0.04522,
          0.04889,
          0.05114,
          0.04393,
          0.07598,
          0.15918,
          0.3118,
          0.48264,
          1.00504,
          1.31259,
          1.64564
        ]
      }
    },
    "max_transition": 3.75,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,A2": {
    "capacitance": 0.00468,
    "clock": "false",
    "direction": "input",
    "internal_power": {
      "fall_power,hidden_pwr_template11": {
        "index_1": [
          0.001,
          0.013,
          0.026,
          0.072,
          0.216,
          0.432,
          0.864,
          1.296,
          2.5,
          3.125,
          3.75
        ],
        "values": [
          0.07855,
          0.07727,
          0.0795,
          0.07896,
          0.11347,
          0.19723,
          0.34947,
          0.52309,
          1.05192,
          1.36295,
          1.69958
        ]
      },
      "rise_power,hidden_pwr_template11": {
        "index_1": [
          0.001,
          0.013,
          0.026,
          0.072,
          0.216,
          0.432,
          0.864,
          1.296,
          2.5,
          3.125,
          3.75
        ],
        "values": [
          0.0385,
          0.04476,
          0.04809,
          0.03865,
          0.06684,
          0.14817,
          0.30313,
          0.4736,
          0.99524,
          1.30312,
          1.63668
        ]
      }
    },
    "max_transition": 3.75,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,B1": {
    "capacitance": 0.00478,
    "clock": "false",
    "direction": "input",
    "internal_power": {
      "fall_power,hidden_pwr_template11": {
        "index_1": [
          0.001,
          0.013,
          0.026,
          0.072,
          0.216,
          0.432,
          0.864,
          1.296,
          2.5,
          3.125,
          3.75
        ],
        "values": [
          0.04683,
          0.04516,
          0.0431,
          0.043,
          0.07663,
          0.15893,
          0.31535,
          0.48788,
          1.01493,
          1.32584,
          1.6626
        ]
      },
      "rise_power,hidden_pwr_template11": {
        "index_1": [
          0.001,
          0.013,
          0.026,
          0.072,
          0.216,
          0.432,
          0.864,
          1.296,
          2.5,
          3.125,
          3.75
        ],
        "values": [
          0.07179,
          0.06756,
          0.07037,
          0.07027,
          0.10093,
          0.18476,
          0.33807,
          0.51212,
          1.04316,
          1.35551,
          1.69365
        ]
      }
    },
    "max_transition": 3.75,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,B2": {
    "capacitance": 0.00485,
    "clock": "false",
    "direction": "input",
    "internal_power": {
      "fall_power,hidden_pwr_template11": {
        "index_1": [
          0.001,
          0.013,
          0.026,
          0.072,
          0.216,
          0.432,
          0.864,
          1.296,
          2.5,
          3.125,
          3.75
        ],
        "values": [
          0.04599,
          0.04391,
          0.04547,
          0.04771,
          0.08725,
          0.1728,
          0.32738,
          0.50126,
          1.03197,
          1.34423,
          1.68228
        ]
      },
      "rise_power,hidden_pwr_template11": {
        "index_1": [
          0.001,
          0.013,
          0.026,
          0.072,
          0.216,
          0.432,
          0.864,
          1.296,
          2.5,
          3.125,
          3.75
        ],
        "values": [
          0.06585,
          0.09151,
          0.06691,
          0.06446,
          0.09009,
          0.17075,
          0.32606,
          0.49887,
          1.02662,
          1.3379,
          1.67503
        ]
      }
    },
    "max_transition": 3.75,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,X": {
    "direction": "output",
    "function": "(B1&B2) | (A1&A2)",
    "internal_power": [
      {
        "fall_power,pwr_template11x8": {
          "index_1": [
            0.001,
            0.013,
            0.026,
            0.072,
            0.216,
            0.432,
            0.864,
            1.296,
            2.5,
            3.125,
            3.75
          ],
          "index_2": [
            0.0,
            0.00785,
            0.01571,
            0.03143,
            0.06285,
            0.12571,
            0.25142,
            0.50284
          ],
          "values": [
            [
              0.5262,
              0.38448,
              0.25868,
              0.01532,
              -0.46476,
              -1.41902,
              -3.32247,
              -7.12633
            ],
            [
              0.52853,
              0.3866,
              0.26084,
              0.0175,
              -0.46258,
              -1.41685,
              -3.32017,
              -7.12413
            ],
            [
              0.52736,
              0.38544,
              0.25966,
              0.01631,
              -0.46379,
              -1.41809,
              -3.32142,
              -7.12547
            ],
            [
              0.52447,
              0.38212,
              0.25616,
              0.01272,
              -0.46736,
              -1.4216,
              -3.32506,
              -7.12897
            ],
            [
              0.56805,
              0.42065,
              0.29173,
              0.04564,
              -0.43638,
              -1.39192,
              -3.29624,
              -7.10056
            ],
            [
              0.6903,
              0.53391,
              0.39846,
              0.14507,
              -0.34344,
              -1.30385,
              -3.21152,
              -7.01795
            ],
            [
              0.97011,
              0.80296,
              0.65688,
              0.3897,
              -0.11317,
              -1.08661,
              -3.00404,
              -6.81697
            ],
            [
              1.25301,
              1.08012,
              0.92791,
              0.64905,
              0.13336,
              -0.85284,
              -2.78121,
              -6.60191
            ],
            [
              2.03495,
              1.85282,
              1.69145,
              1.39402,
              0.84697,
              -0.17292,
              -2.13248,
              -5.97851
            ],
            [
              2.4388,
              2.25367,
              2.08908,
              1.78553,
              1.22665,
              0.18978,
              -1.78608,
              -5.64643
            ],
            [
              2.84257,
              2.65462,
              2.4874,
              2.1787,
              1.6101,
              0.55733,
              -1.43487,
              -5.31006
            ]
          ]
        },
        "related_pin": "A1",
        "rise_power,pwr_template11x8": {
          "index_1": [
            0.001,
            0.013,
            0.026,
            0.072,
            0.216,
            0.432,
            0.864,
            1.296,
            2.5,
            3.125,
            3.75
          ],
          "index_2": [
            0.0,
            0.00785,
            0.01571,
            0.03143,
            0.06285,
            0.12571,
            0.25142,
            0.50284
          ],
          "values": [
            [
              0.23438,
              0.32272,
              0.42995,
              0.65698,
              1.12257,
              2.06485,
              3.95624,
              7.74185
            ],
            [
              0.23495,
              0.32325,
              0.43035,
              0.65736,
              1.12261,
              2.06408,
              3.95359,
              7.74489
            ],
            [
              0.23243,
              0.32079,
              0.42787,
              0.65469,
              1.11964,
              2.06315,
              3.95375,
              7.73939
            ],
            [
              0.23234,
              0.32076,
              0.4276,
              0.65421,
              1.12008,
              2.06186,
              3.95524,
              7.74134
            ],
            [
              0.28091,
              0.36651,
              0.47099,
              0.69472,
              1.15708,
              2.09719,
              3.9872,
              7.76962
            ],
            [
              0.40503,
              0.48433,
              0.58335,
              0.79936,
              1.25395,
              2.18636,
              4.07148,
              7.85705
            ],
            [
              0.68381,
              0.75453,
              0.84529,
              1.04898,
              1.48802,
              2.40484,
              4.27868,
              8.05176
            ],
            [
              0.96975,
              1.03525,
              1.12019,
              1.31493,
              1.74084,
              2.64137,
              4.49736,
              8.26453
            ],
            [
              1.76804,
              1.82537,
              1.90109,
              2.07838,
              2.4781,
              3.34343,
              5.15977,
              8.8947
            ],
            [
              2.18148,
              2.23628,
              2.30884,
              2.47942,
              2.86852,
              3.71841,
              5.51732,
              9.23082
            ],
            [
              2.59414,
              2.64724,
              2.71727,
              2.88213,
              3.26223,
              4.09835,
              5.87782,
              9.56835
            ]
          ]
        },
        "when": "(A2&!B1) | (A2&!B2)"
      },
      {
        "fall_power,pwr_template11x8": {
          "index_1": [
            0.001,
            0.013,
            0.026,
            0.072,
            0.216,
            0.432,
            0.864,
            1.296,
            2.5,
            3.125,
            3.75
          ],
          "index_2": [
            0.0,
            0.00785,
            0.01571,
            0.03143,
            0.06285,
            0.12571,
            0.25142,
            0.50284
          ],
          "values": [
            [
              0.56645,
              0.42098,
              0.29312,
              0.04798,
              -0.43348,
              -1.38872,
              -3.29285,
              -7.09719
            ],
            [
              0.57068,
              0.42535,
              0.29753,
              0.0524,
              -0.42906,
              -1.38426,
              -3.28833,
              -7.09286
            ],
            [
              0.56939,
              0.42398,
              0.29619,
              0.05106,
              -0.43042,
              -1.38556,
              -3.28977,
              -7.09426
            ],
            [
              0.56819,
              0.42246,
              0.29446,
              0.04927,
              -0.43223,
              -1.3874,
              -3.29151,
              -7.096
            ],
            [
              0.6145,
              0.46476,
              0.33414,
              0.08622,
              -0.39737,
              -1.35403,
              -3.25906,
              -7.06399
            ],
            [
              0.75098,
              0.59299,
              0.45589,
              0.20029,
              -0.29047,
              -1.25277,
              -3.16168,
              -6.96893
            ],
            [
              1.06957,
              0.90069,
              0.75277,
              0.48239,
              -0.02468,
              -1.00223,
              -2.9229,
              -6.73789
            ],
            [
              1.39329,
              1.21852,
              1.06405,
              0.78146,
              0.25988,
              -0.73298,
              -2.66702,
              -6.49179
            ],
            [
              2.29273,
              2.10858,
              1.94463,
              1.64185,
              1.08605,
              0.05366,
              -1.91944,
              -5.77652
            ],
            [
              2.75911,
              2.57167,
              2.40446,
              2.09513,
              1.52615,
              0.4745,
              -1.51881,
              -5.39441
            ],
            [
              3.22565,
              3.0356,
              2.86565,
              2.55082,
              1.97101,
              0.90144,
              -1.11197,
              -5.00666
            ]
          ]
        },
        "related_pin": "A2",
        "rise_power,pwr_template11x8": {
          "index_1": [
            0.001,
            0.013,
            0.026,
            0.072,
            0.216,
            0.432,
            0.864,
            1.296,
            2.5,
            3.125,
            3.75
          ],
          "index_2": [
            0.0,
            0.00785,
            0.01571,
            0.03143,
            0.06285,
            0.12571,
            0.25142,
            0.50284
          ],
          "values": [
            [
              0.23065,
              0.31904,
              0.4261,
              0.65272,
              1.11868,
              2.06058,
              3.95072,
              7.73978
            ],
            [
              0.23305,
              0.32142,
              0.42855,
              0.65547,
              1.12036,
              2.06267,
              3.95645,
              7.74134
            ],
            [
              0.23017,
              0.31876,
              0.42588,
              0.65268,
              1.11811,
              2.06071,
              3.95042,
              7.739
            ],
            [
              0.22916,
              0.31744,
              0.42461,
              0.65147,
              1.1172,
              2.05927,
              3.94781,
              7.73613
            ],
            [
              0.27815,
              0.36362,
              0.46826,
              0.69208,
              1.15521,
              2.09476,
              3.98685,
              7.76308
            ],
            [
              0.41163,
              0.49084,
              0.58951,
              0.80562,
              1.26028,
              2.1932,
              4.07636,
              7.86625
            ],
            [
              0.72031,
              0.79139,
              0.88124,
              1.08392,
              1.52213,
              2.4382,
              4.30687,
              8.08203
            ],
            [
              1.03993,
              1.10628,
              1.19036,
              1.3828,
              1.80667,
              2.7056,
              4.56445,
              8.32755
            ],
            [
              1.94074,
              1.99946,
              2.07451,
              2.24851,
              2.64292,
              3.50203,
              5.31605,
              9.05015
            ],
            [
              2.41053,
              2.46661,
              2.53898,
              2.70593,
              3.08854,
              3.93026,
              5.7214,
              9.43438
            ],
            [
              2.88106,
              2.93518,
              3.00511,
              3.16686,
              3.53811,
              4.36498,
              6.13429,
              9.81917
            ]
          ]
        },
        "when": "(A1&!B1) | (A1&!B2)"
      },
      {
        "fall_power,pwr_template11x8": {
          "index_1": [
            0.001,
            0.013,
            0.026,
            0.072,
            0.216,
            0.432,
            0.864,
            1.296,
            2.5,
            3.125,
            3.75
          ],
          "index_2": [
            0.0,
            0.00785,
            0.01571,
            0.03143,
            0.06285,
            0.12571,
            0.25142,
            0.50284
          ],
          "values": [
            [
              0.3149,
              0.17541,
              0.05065,
              -0.1918,
              -0.67078,
              -1.6242,
              -3.52715,
              -7.33084
            ],
            [
              0.32211,
              0.18187,
              0.05708,
              -0.18539,
              -0.66444,
              -1.61789,
              -3.52089,
              -7.32468
            ],
            [
              0.32262,
              0.18268,
              0.05782,
              -0.1847,
              -0.66385,
              -1.6173,
              -3.52031,
              -7.32409
            ],
            [
              0.32755,
              0.18671,
              0.06169,
              -0.18075,
              -0.65974,
              -1.61309,
              -3.51608,
              -7.31978
            ],
            [
              0.38747,
              0.24096,
              0.11261,
              -0.13304,
              -0.61429,
              -1.56912,
              -3.47293,
              -7.27707
            ],
            [
              0.50507,
              0.35051,
              0.21645,
              -0.0354,
              -0.52218,
              -1.4811,
              -3.38763,
              -7.19337
            ],
            [
              0.75412,
              0.58894,
              0.44559,
              0.18237,
              -0.31596,
              -1.28499,
              -3.19881,
              -7.00916
            ],
            [
              1.00435,
              0.83298,
              0.68339,
              0.40985,
              -0.09936,
              -1.07861,
              -3.0007,
              -6.81667
            ],
            [
              1.69476,
              1.51323,
              1.35445,
              1.06221,
              0.52507,
              -0.48287,
              -2.42965,
              -6.26438
            ],
            [
              2.05096,
              1.86578,
              1.70369,
              1.40519,
              0.85674,
              -0.16625,
              -2.12643,
              -5.97193
            ],
            [
              2.40649,
              2.21837,
              2.05347,
              1.75,
              1.19184,
              0.15475,
              -1.81954,
              -5.67642
            ]
          ]
        },
        "related_pin": "B1",
        "rise_power,pwr_template11x8": {
          "index_1": [
            0.001,
            0.013,
            0.026,
            0.072,
            0.216,
            0.432,
            0.864,
            1.296,
            2.5,
            3.125,
            3.75
          ],
          "index_2": [
            0.0,
            0.00785,
            0.01571,
            0.03143,
            0.06285,
            0.12571,
            0.25142,
            0.50284
          ],
          "values": [
            [
              0.14316,
              0.24232,
              0.35632,
              0.58978,
              1.06088,
              2.00673,
              3.90317,
              7.69025
            ],
            [
              0.1299,
              0.22987,
              0.34416,
              0.57755,
              1.04874,
              1.99522,
              3.88849,
              7.67558
            ],
            [
              0.12973,
              0.22963,
              0.34373,
              0.57719,
              1.04866,
              1.99422,
              3.89015,
              7.67798
            ],
            [
              0.13624,
              0.23547,
              0.3494,
              0.58304,
              1.05387,
              2.00109,
              3.89547,
              7.68181
            ],
            [
              0.19895,
              0.29087,
              0.40053,
              0.62965,
              1.09811,
              2.04086,
              3.93631,
              7.72092
            ],
            [
              0.31908,
              0.40246,
              0.50557,
              0.72754,
              1.18806,
              2.12656,
              4.01626,
              7.80483
            ],
            [
              0.57346,
              0.64631,
              0.74072,
              0.95083,
              1.39847,
              2.32411,
              4.20373,
              7.985
            ],
            [
              0.82883,
              0.89578,
              0.98424,
              1.18552,
              1.62146,
              2.53556,
              4.40097,
              8.18037
            ],
            [
              1.53543,
              1.59372,
              1.67211,
              1.85576,
              2.26718,
              3.15045,
              4.98888,
              8.74425
            ],
            [
              1.89968,
              1.95513,
              2.03034,
              2.20727,
              2.60854,
              3.47751,
              5.29937,
              9.03502
            ],
            [
              2.26254,
              2.316,
              2.38859,
              2.55997,
              2.9514,
              3.80855,
              5.6153,
              9.34109
            ]
          ]
        },
        "when": "(!A1&B2) | (!A2&B2)"
      },
      {
        "fall_power,pwr_template11x8": {
          "index_1": [
            0.001,
            0.013,
            0.026,
            0.072,
            0.216,
            0.432,
            0.864,
            1.296,
            2.5,
            3.125,
            3.75
          ],
          "index_2": [
            0.0,
            0.00785,
            0.01571,
            0.03143,
            0.06285,
            0.12571,
            0.25142,
            0.50284
          ],
          "values": [
            [
              0.36875,
              0.22457,
              0.09741,
              -0.14713,
              -0.62785,
              -1.58248,
              -3.48632,
              -7.29056
            ],
            [
              0.37022,
              0.22588,
              0.09874,
              -0.14582,
              -0.62653,
              -1.58116,
              -3.48496,
              -7.28927
            ],
            [
              0.36928,
              0.22486,
              0.09764,
              -0.1469,
              -0.62758,
              -1.5822,
              -3.48606,
              -7.29024
            ],
            [
              0.37439,
              0.22955,
              0.10221,
              -0.1424,
              -0.62305,
              -1.57762,
              -3.48143,
              -7.28558
            ],
            [
              0.43714,
              0.2879,
              0.15751,
              -0.09027,
              -0.57334,
              -1.5295,
              -3.43419,
              -7.239
            ],
            [
              0.56406,
              0.4078,
              0.27198,
              0.01786,
              -0.4713,
              -1.43221,
              -3.3401,
              -7.14664
            ],
            [
              0.83525,
              0.66879,
              0.52417,
              0.25857,
              -0.24327,
              -1.21573,
              -3.13215,
              -6.94416
            ],
            [
              1.1087,
              0.93621,
              0.78516,
              0.50933,
              -0.00398,
              -0.98824,
              -2.91459,
              -6.73341
            ],
            [
              1.86445,
              1.68215,
              1.5215,
              1.22614,
              0.68417,
              -0.33118,
              -2.28668,
              -6.12837
            ],
            [
              2.25452,
              2.06889,
              1.90507,
              1.60316,
              1.04913,
              0.01807,
              -1.95268,
              -5.8075
            ],
            [
              2.64402,
              2.45556,
              2.289,
              1.98187,
              1.41759,
              0.37159,
              -1.61462,
              -5.48306
            ]
          ]
        },
        "related_pin": "B2",
        "rise_power,pwr_template11x8": {
          "index_1": [
            0.001,
            0.013,
            0.026,
            0.072,
            0.216,
            0.432,
            0.864,
            1.296,
            2.5,
            3.125,
            3.75
          ],
          "index_2": [
            0.0,
            0.00785,
            0.01571,
            0.03143,
            0.06285,
            0.12571,
            0.25142,
            0.50284
          ],
          "values": [
            [
              0.14719,
              0.24649,
              0.36045,
              0.59393,
              1.06462,
              2.01026,
              3.90623,
              7.69356
            ],
            [
              0.13207,
              0.232,
              0.34618,
              0.57975,
              1.05034,
              1.99496,
              3.88832,
              7.67961
            ],
            [
              0.12834,
              0.22822,
              0.34227,
              0.57616,
              1.04728,
              1.99168,
              3.88647,
              7.67554
            ],
            [
              0.13288,
              0.23211,
              0.3463,
              0.57957,
              1.05065,
              1.99693,
              3.89223,
              7.68055
            ],
            [
              0.19419,
              0.28666,
              0.39656,
              0.62666,
              1.0945,
              2.03879,
              3.93063,
              7.71327
            ],
            [
              0.32031,
              0.40424,
              0.50744,
              0.7296,
              1.19025,
              2.13026,
              4.01824,
              7.81114
            ],
            [
              0.59029,
              0.66456,
              0.75871,
              0.9684,
              1.41578,
              2.34158,
              4.22167,
              8.00386
            ],
            [
              0.86285,
              0.93178,
              1.01983,
              1.22033,
              1.65536,
              2.5678,
              4.43747,
              8.21487
            ],
            [
              1.62295,
              1.68342,
              1.76266,
              1.9447,
              2.35379,
              3.23453,
              5.07225,
              8.82483
            ],
            [
              2.01654,
              2.07461,
              2.15058,
              2.32652,
              2.72472,
              3.59038,
              5.41107,
              9.14754
            ],
            [
              2.40995,
              2.4657,
              2.53907,
              2.71039,
              3.09836,
              3.9508,
              5.75606,
              9.47624
            ]
          ]
        },
        "when": "(!A1&B1) | (!A2&B1)"
      }
    ],
    "max_capacitance": 0.50284,
    "power_down_function": "(!VPWR + VGND)",
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR",
    "timing": [
      {
        "cell_fall,delay_template11x8": {
          "index_1": [
            0.001,
            0.013,
            0.026,
            0.072,
            0.216,
            0.432,
            0.864,
            1.296,
            2.5,
            3.125,
            3.75
          ],
          "index_2": [
            0.0,
            0.00785,
            0.01571,
            0.03143,
            0.06285,
            0.12571,
            0.25142,
            0.50284
          ],
          "values": [
            [
              0.13684,
              0.20002,
              0.24927,
              0.3402,
              0.51525,
              0.8637,
              1.56177,
              2.95877
            ],
            [
              0.13961,
              0.20273,
              0.25198,
              0.34291,
              0.51796,
              0.86643,
              1.56417,
              2.96247
            ],
            [
              0.14191,
              0.20503,
              0.25426,
              0.34519,
              0.52027,
              0.8687,
              1.56683,
              2.96343
            ],
            [
              0.14812,
              0.21097,
              0.26013,
              0.35103,
              0.52614,
              0.87446,
              1.5726,
              2.9702
            ],
            [
              0.174,
              0.23659,
              0.28497,
              0.37499,
              0.54928,
              0.897,
              1.5948,
              2.9908
            ],
            [
              0.20543,
              0.27217,
              0.32161,
              0.41128,
              0.58379,
              0.9294,
              1.6256,
              3.0209
            ],
            [
              0.24524,
              0.3205,
              0.3749,
              0.4689,
              0.643,
              0.9853,
              1.6773,
              3.0707
            ],
            [
              0.2701,
              0.3515,
              0.4098,
              0.5092,
              0.6894,
              1.0344,
              1.7227,
              3.113
            ],
            [
              0.30517,
              0.39877,
              0.46497,
              0.57587,
              0.77077,
              1.13697,
              1.83617,
              3.21687
            ],
            [
              0.31293,
              0.41143,
              0.48083,
              0.59633,
              0.79803,
              1.17293,
              1.88833,
              3.26783
            ],
            [
              0.3165,
              0.4192,
              0.4915,
              0.6113,
              0.819,
              1.2021,
              1.9319,
              3.3184
            ]
          ]
        },
        "cell_rise,delay_template11x8": {
          "index_1": [
            0.001,
            0.013,
            0.026,
            0.072,
            0.216,
            0.432,
            0.864,
            1.296,
            2.5,
            3.125,
            3.75
          ],
          "index_2": [
            0.0,
            0.00785,
            0.01571,
            0.03143,
            0.06285,
            0.12571,
            0.25142,
            0.50284
          ],
          "values": [
            [
              0.1728,
              0.23099,
              0.27203,
              0.34549,
              0.48651,
              0.76818,
              1.33307,
              2.46247
            ],
            [
              0.17221,
              0.23041,
              0.27144,
              0.34492,
              0.48586,
              0.76745,
              1.33257,
              2.46447
            ],
            [
              0.17224,
              0.23043,
              0.27147,
              0.34495,
              0.48593,
              0.76755,
              1.33283,
              2.46283
            ],
            [
              0.17661,
              0.23478,
              0.2758,
              0.34925,
              0.49032,
              0.77189,
              1.3369,
              2.4684
            ],
            [
              0.20726,
              0.2648,
              0.30532,
              0.37818,
              0.51862,
              0.79977,
              1.3641,
              2.4949
            ],
            [
              0.25213,
              0.31237,
              0.35332,
              0.42547,
              0.56422,
              0.8437,
              1.4065,
              2.5369
            ],
            [
              0.3174,
              0.3857,
              0.4298,
              0.5034,
              0.6418,
              0.9182,
              1.4781,
              2.6053
            ],
            [
              0.3674,
              0.4427,
              0.4904,
              0.567,
              0.7077,
              0.9848,
              1.5421,
              2.6669
            ],
            [
              0.47467,
              0.56487,
              0.62147,
              0.70747,
              0.85477,
              1.14217,
              1.70487,
              2.82307
            ],
            [
              0.52093,
              0.61733,
              0.67783,
              0.76863,
              0.91953,
              1.21103,
              1.78283,
              2.90053
            ],
            [
              0.5637,
              0.6653,
              0.7294,
              0.8249,
              0.9796,
              1.2745,
              1.8544,
              2.9773
            ]
          ]
        },
        "fall_transition,delay_template11x8": {
          "index_1": [
            0.001,
            0.013,
            0.026,
            0.072,
            0.216,
            0.432,
            0.864,
            1.296,
            2.5,
            3.125,
            3.75
          ],
          "index_2": [
            0.0,
            0.00785,
            0.01571,
            0.03143,
            0.06285,
            0.12571,
            0.25142,
            0.50284
          ],
          "values": [
            [
              0.03799,
              0.09476,
              0.1476,
              0.25631,
              0.48084,
              0.93964,
              1.86264,
              3.7096
            ],
            [
              0.03801,
              0.09478,
              0.14757,
              0.25628,
              0.48094,
              0.93863,
              1.86326,
              3.71
            ],
            [
              0.03801,
              0.09478,
              0.14766,
              0.25618,
              0.48035,
              0.93893,
              1.86234,
              3.7095
            ],
            [
              0.0381,
              0.09492,
              0.14766,
              0.25626,
              0.48049,
              0.93904,
              1.86254,
              3.711
            ],
            [
              0.04426,
              0.09969,
              0.1508,
              0.25783,
              0.48098,
              0.93924,
              1.86253,
              3.7095
            ],
            [
              0.0579,
              0.11502,
              0.1634,
              0.26564,
              0.48378,
              0.94043,
              1.8624,
              3.7102
            ],
            [
              0.08162,
              0.14584,
              0.19464,
              0.2924,
              0.4999,
              0.9449,
              1.8626,
              3.7118
            ],
            [
              0.101,
              0.1708,
              0.2222,
              0.3209,
              0.5263,
              0.9589,
              1.8664,
              3.7102
            ],
            [
              0.1454,
              0.2264,
              0.2842,
              0.3887,
              0.599,
              1.0316,
              1.9041,
              3.7131
            ],
            [
              0.1652,
              0.251,
              0.3115,
              0.4196,
              0.6322,
              1.0698,
              1.9405,
              3.7276
            ],
            [
              0.1838,
              0.2738,
              0.3369,
              0.448,
              0.6644,
              1.1065,
              1.9815,
              3.7496
            ]
          ]
        },
        "related_pin": "A1",
        "rise_transition,delay_template11x8": {
          "index_1": [
            0.001,
            0.013,
            0.026,
            0.072,
            0.216,
            0.432,
            0.864,
            1.296,
            2.5,
            3.125,
            3.75
          ],
          "index_2": [
            0.0,
            0.00785,
            0.01571,
            0.03143,
            0.06285,
            0.12571,
            0.25142,
            0.50284
          ],
          "values": [
            [
              0.04986,
              0.10066,
              0.14616,
              0.24352,
              0.45093,
              0.87779,
              1.73816,
              3.458
            ],
            [
              0.0498,
              0.10061,
              0.14622,
              0.24371,
              0.4511,
              0.87769,
              1.73882,
              3.4621
            ],
            [
              0.04981,
              0.10063,
              0.14622,
              0.24364,
              0.45084,
              0.87763,
              1.73764,
              3.458
            ],
            [
              0.0498,
              0.10066,
              0.14625,
              0.24353,
              0.4509,
              0.87865,
              1.73735,
              3.4589
            ],
            [
              0.05066,
              0.10176,
              0.14722,
              0.24423,
              0.45141,
              0.87775,
              1.73761,
              3.4573
            ],
            [
              0.06038,
              0.11086,
              0.1546,
              0.24874,
              0.45251,
              0.87796,
              1.7373,
              3.4581
            ],
            [
              0.08118,
              0.1338,
              0.175,
              0.2644,
              0.4618,
              0.8815,
              1.7381,
              3.4585
            ],
            [
              0.0997,
              0.1553,
              0.1964,
              0.2832,
              0.4768,
              0.8909,
              1.7399,
              3.4585
            ],
            [
              0.1439,
              0.2076,
              0.2507,
              0.334,
              0.5224,
              0.9327,
              1.7681,
              3.4631
            ],
            [
              0.165,
              0.2314,
              0.2762,
              0.3592,
              0.5455,
              0.9564,
              1.7917,
              3.4777
            ],
            [
              0.1849,
              0.2537,
              0.3006,
              0.3841,
              0.568,
              0.9788,
              1.8167,
              3.4909
            ]
          ]
        },
        "sdf_cond": "(A2&!B1&!B2)",
        "timing_sense": "positive_unate",
        "when": "(A2&!B1&!B2)"
      },
      {
        "cell_fall,delay_template11x8": {
          "index_1": [
            0.001,
            0.013,
            0.026,
            0.072,
            0.216,
            0.432,
            0.864,
            1.296,
            2.5,
            3.125,
            3.75
          ],
          "index_2": [
            0.0,
            0.00785,
            0.01571,
            0.03143,
            0.06285,
            0.12571,
            0.25142,
            0.50284
          ],
          "values": [
            [
              0.15255,
              0.21481,
              0.26365,
              0.35418,
              0.52899,
              0.87745,
              1.57537,
              2.97307
            ],
            [
              0.15554,
              0.21769,
              0.26654,
              0.35707,
              0.53191,
              0.88021,
              1.57837,
              2.97537
            ],
            [
              0.15761,
              0.21975,
              0.26857,
              0.35909,
              0.53389,
              0.88235,
              1.58043,
              2.97653
            ],
            [
              0.16226,
              0.22421,
              0.27295,
              0.36345,
              0.53833,
              0.88677,
              1.5849,
              2.9829
            ],
            [
              0.18312,
              0.24484,
              0.29294,
              0.3827,
              0.55692,
              0.9046,
              1.6026,
              3.0005
            ],
            [
              0.21249,
              0.27838,
              0.32746,
              0.41692,
              0.58941,
              0.9352,
              1.6317,
              3.0281
            ],
            [
              0.25233,
              0.3278,
              0.3828,
              0.4775,
              0.6522,
              0.9946,
              1.687,
              3.0811
            ],
            [
              0.2792,
              0.3614,
              0.421,
              0.5227,
              0.7053,
              1.0511,
              1.7393,
              3.1299
            ],
            [
              0.32347,
              0.41837,
              0.48707,
              0.60327,
              0.80677,
              1.18027,
              1.88027,
              3.25997
            ],
            [
              0.33703,
              0.43693,
              0.50933,
              0.63133,
              0.84403,
              1.23043,
              1.94953,
              3.32763
            ],
            [
              0.3469,
              0.4511,
              0.5266,
              0.6538,
              0.8747,
              1.2736,
              2.0109,
              3.3948
            ]
          ]
        },
        "cell_rise,delay_template11x8": {
          "index_1": [
            0.001,
            0.013,
            0.026,
            0.072,
            0.216,
            0.432,
            0.864,
            1.296,
            2.5,
            3.125,
            3.75
          ],
          "index_2": [
            0.0,
            0.00785,
            0.01571,
            0.03143,
            0.06285,
            0.12571,
            0.25142,
            0.50284
          ],
          "values": [
            [
              0.15057,
              0.20597,
              0.24657,
              0.32048,
              0.46235,
              0.74475,
              1.30967,
              2.43967
            ],
            [
              0.14993,
              0.20533,
              0.24594,
              0.31983,
              0.46174,
              0.74396,
              1.30927,
              2.43947
            ],
            [
              0.14972,
              0.20512,
              0.24573,
              0.31961,
              0.46156,
              0.74386,
              1.30843,
              2.43883
            ],
            [
              0.15377,
              0.20913,
              0.24971,
              0.3236,
              0.46559,
              0.74785,
              1.3127,
              2.4436
            ],
            [
              0.18342,
              0.23823,
              0.27809,
              0.35106,
              0.49212,
              0.77375,
              1.3393,
              2.4685
            ],
            [
              0.21992,
              0.27836,
              0.31891,
              0.39152,
              0.53096,
              0.8106,
              1.3739,
              2.5031
            ],
            [
              0.26893,
              0.336,
              0.3799,
              0.4544,
              0.5947,
              0.8722,
              1.4322,
              2.5592
            ],
            [
              0.3045,
              0.379,
              0.4265,
              0.5042,
              0.6472,
              0.9269,
              1.4842,
              2.609
            ],
            [
              0.37667,
              0.46727,
              0.52397,
              0.61107,
              0.76127,
              1.05207,
              1.61867,
              2.73567
            ],
            [
              0.40663,
              0.50363,
              0.56463,
              0.65663,
              0.81073,
              1.10563,
              1.68183,
              2.79943
            ],
            [
              0.4337,
              0.5364,
              0.6012,
              0.6981,
              0.8561,
              1.1546,
              1.7391,
              2.8637
            ]
          ]
        },
        "fall_transition,delay_template11x8": {
          "index_1": [
            0.001,
            0.013,
            0.026,
            0.072,
            0.216,
            0.432,
            0.864,
            1.296,
            2.5,
            3.125,
            3.75
          ],
          "index_2": [
            0.0,
            0.00785,
            0.01571,
            0.03143,
            0.06285,
            0.12571,
            0.25142,
            0.50284
          ],
          "values": [
            [
              0.03924,
              0.09546,
              0.14792,
              0.25657,
              0.48144,
              0.93992,
              1.86281,
              3.7105
            ],
            [
              0.03923,
              0.09544,
              0.14795,
              0.25655,
              0.48083,
              0.94012,
              1.86382,
              3.7099
            ],
            [
              0.03924,
              0.09549,
              0.14798,
              0.25656,
              0.48145,
              0.93988,
              1.8628,
              3.7103
            ],
            [
              0.03932,
              0.09561,
              0.14805,
              0.2565,
              0.48088,
              0.94011,
              1.86307,
              3.7083
            ],
            [
              0.04406,
              0.09916,
              0.15041,
              0.2576,
              0.4813,
              0.93998,
              1.86359,
              3.7088
            ],
            [
              0.05693,
              0.11351,
              0.1621,
              0.26467,
              0.48377,
              0.9401,
              1.8633,
              3.7098
            ],
            [
              0.08094,
              0.14616,
              0.19565,
              0.2936,
              0.5013,
              0.945,
              1.8635,
              3.7102
            ],
            [
              0.1005,
              0.1725,
              0.226,
              0.3262,
              0.5314,
              0.9613,
              1.8668,
              3.7107
            ],
            [
              0.1457,
              0.2311,
              0.2937,
              0.405,
              0.6191,
              1.0469,
              1.91,
              3.7138
            ],
            [
              0.1664,
              0.2571,
              0.3236,
              0.4406,
              0.6614,
              1.0957,
              1.9502,
              3.7284
            ],
            [
              0.186,
              0.2812,
              0.351,
              0.4737,
              0.7014,
              1.1422,
              2.0004,
              3.7525
            ]
          ]
        },
        "related_pin": "A1",
        "rise_transition,delay_template11x8": {
          "index_1": [
            0.001,
            0.013,
            0.026,
            0.072,
            0.216,
            0.432,
            0.864,
            1.296,
            2.5,
            3.125,
            3.75
          ],
          "index_2": [
            0.0,
            0.00785,
            0.01571,
            0.03143,
            0.06285,
            0.12571,
            0.25142,
            0.50284
          ],
          "values": [
            [
              0.0453,
              0.09574,
              0.14308,
              0.24272,
              0.45102,
              0.87777,
              1.73719,
              3.4577
            ],
            [
              0.04533,
              0.09581,
              0.14312,
              0.24264,
              0.45106,
              0.87781,
              1.73773,
              3.4578
            ],
            [
              0.04534,
              0.09585,
              0.14313,
              0.24271,
              0.45147,
              0.87798,
              1.73697,
              3.4585
            ],
            [
              0.04529,
              0.09578,
              0.14311,
              0.24278,
              0.45147,
              0.87819,
              1.73735,
              3.4583
            ],
            [
              0.04806,
              0.09785,
              0.14469,
              0.24365,
              0.45137,
              0.87802,
              1.73779,
              3.4604
            ],
            [
              0.05966,
              0.10919,
              0.1541,
              0.24956,
              0.45398,
              0.87876,
              1.7378,
              3.4579
            ],
            [
              0.08312,
              0.13449,
              0.1769,
              0.2683,
              0.4667,
              0.8848,
              1.7388,
              3.4575
            ],
            [
              0.104,
              0.1583,
              0.2003,
              0.289,
              0.485,
              0.8969,
              1.7424,
              3.4615
            ],
            [
              0.1556,
              0.2166,
              0.2603,
              0.3454,
              0.5358,
              0.9473,
              1.7803,
              3.4688
            ],
            [
              0.1799,
              0.2438,
              0.2893,
              0.3739,
              0.5616,
              0.9736,
              1.8058,
              3.4813
            ],
            [
              0.2035,
              0.2694,
              0.3168,
              0.4022,
              0.5876,
              0.9989,
              1.8353,
              3.5044
            ]
          ]
        },
        "sdf_cond": "(A2&!B1&B2)",
        "timing_sense": "positive_unate",
        "when": "(A2&!B1&B2)"
      },
      {
        "cell_fall,delay_template11x8": {
          "index_1": [
            0.001,
            0.013,
            0.026,
            0.072,
            0.216,
            0.432,
            0.864,
            1.296,
            2.5,
            3.125,
            3.75
          ],
          "index_2": [
            0.0,
            0.00785,
            0.01571,
            0.03143,
            0.06285,
            0.12571,
            0.25142,
            0.50284
          ],
          "values": [
            [
              0.17316,
              0.23822,
              0.28789,
              0.3788,
              0.55358,
              0.90138,
              1.59907,
              2.99627
            ],
            [
              0.17626,
              0.24128,
              0.29097,
              0.38188,
              0.55668,
              0.90464,
              1.60187,
              2.99887
            ],
            [
              0.17788,
              0.24288,
              0.29255,
              0.38347,
              0.5583,
              0.90621,
              1.60383,
              3.00063
            ],
            [
              0.18196,
              0.24683,
              0.29645,
              0.38735,
              0.5621,
              0.91013,
              1.6075,
              3.0045
            ],
            [
              0.2017,
              0.26585,
              0.31488,
              0.4051,
              0.57933,
              0.9268,
              1.6244,
              3.02
            ],
            [
              0.23291,
              0.30062,
              0.35047,
              0.44009,
              0.61252,
              0.9582,
              1.6535,
              3.0495
            ],
            [
              0.27744,
              0.355,
              0.4107,
              0.5054,
              0.6788,
              1.0206,
              1.7118,
              3.1055
            ],
            [
              0.308,
              0.3925,
              0.4532,
              0.5554,
              0.7366,
              1.0803,
              1.7676,
              3.1567
            ],
            [
              0.36017,
              0.45787,
              0.52807,
              0.64577,
              0.84917,
              1.22007,
              1.91687,
              3.29517
            ],
            [
              0.37723,
              0.47993,
              0.55393,
              0.67763,
              0.89103,
              1.27513,
              1.99063,
              3.36683
            ],
            [
              0.3901,
              0.4972,
              0.5745,
              0.7036,
              0.9257,
              1.3229,
              2.0567,
              3.4377
            ]
          ]
        },
        "cell_rise,delay_template11x8": {
          "index_1": [
            0.001,
            0.013,
            0.026,
            0.072,
            0.216,
            0.432,
            0.864,
            1.296,
            2.5,
            3.125,
            3.75
          ],
          "index_2": [
            0.0,
            0.00785,
            0.01571,
            0.03143,
            0.06285,
            0.12571,
            0.25142,
            0.50284
          ],
          "values": [
            [
              0.16071,
              0.21853,
              0.26026,
              0.33509,
              0.47729,
              0.75945,
              1.32407,
              2.45437
            ],
            [
              0.16007,
              0.21789,
              0.25964,
              0.33446,
              0.47667,
              0.75884,
              1.32317,
              2.45317
            ],
            [
              0.15982,
              0.21764,
              0.25938,
              0.33421,
              0.47643,
              0.75831,
              1.32383,
              2.45333
            ],
            [
              0.1638,
              0.22159,
              0.2633,
              0.33811,
              0.48026,
              0.76229,
              1.3271,
              2.4577
            ],
            [
              0.19389,
              0.25097,
              0.29202,
              0.36591,
              0.50729,
              0.78845,
              1.3527,
              2.4832
            ],
            [
              0.23305,
              0.29378,
              0.33548,
              0.40891,
              0.54855,
              0.8277,
              1.3904,
              2.5196
            ],
            [
              0.2854,
              0.355,
              0.4003,
              0.4759,
              0.6161,
              0.8927,
              1.4515,
              2.5783
            ],
            [
              0.3226,
              0.4,
              0.4491,
              0.5283,
              0.6713,
              0.9496,
              1.5052,
              2.6294
            ],
            [
              0.39587,
              0.48977,
              0.54867,
              0.63837,
              0.78947,
              1.07857,
              1.64257,
              2.75787
            ],
            [
              0.42553,
              0.52613,
              0.58943,
              0.68453,
              0.84003,
              1.13333,
              1.70653,
              2.82203
            ],
            [
              0.4521,
              0.5587,
              0.626,
              0.7263,
              0.8863,
              1.1833,
              1.7643,
              2.8863
            ]
          ]
        },
        "fall_transition,delay_template11x8": {
          "index_1": [
            0.001,
            0.013,
            0.026,
            0.072,
            0.216,
            0.432,
            0.864,
            1.296,
            2.5,
            3.125,
            3.75
          ],
          "index_2": [
            0.0,
            0.00785,
            0.01571,
            0.03143,
            0.06285,
            0.12571,
            0.25142,
            0.50284
          ],
          "values": [
            [
              0.04473,
              0.10199,
              0.15316,
              0.25978,
              0.48241,
              0.94053,
              1.86382,
              3.7125
            ],
            [
              0.04474,
              0.10198,
              0.15311,
              0.2598,
              0.48247,
              0.94055,
              1.86364,
              3.7089
            ],
            [
              0.04474,
              0.10201,
              0.15319,
              0.25971,
              0.48253,
              0.94012,
              1.86559,
              3.7105
            ],
            [
              0.04477,
              0.1021,
              0.15323,
              0.25969,
              0.48275,
              0.94041,
              1.86376,
              3.7101
            ],
            [
              0.04819,
              0.10466,
              0.15499,
              0.26079,
              0.48323,
              0.94076,
              1.86348,
              3.7113
            ],
            [
              0.06032,
              0.11798,
              0.16588,
              0.26713,
              0.48505,
              0.94075,
              1.8633,
              3.71
            ],
            [
              0.08518,
              0.15155,
              0.2002,
              0.296,
              0.5011,
              0.9451,
              1.8643,
              3.7117
            ],
            [
              0.1054,
              0.1791,
              0.2322,
              0.3301,
              0.531,
              0.9598,
              1.865,
              3.7105
            ],
            [
              0.1519,
              0.24,
              0.3031,
              0.4131,
              0.6229,
              1.0452,
              1.9075,
              3.7146
            ],
            [
              0.1732,
              0.2668,
              0.3339,
              0.4505,
              0.6669,
              1.0956,
              1.9484,
              3.727
            ],
            [
              0.1934,
              0.2916,
              0.3624,
              0.485,
              0.7092,
              1.1446,
              1.9967,
              3.7505
            ]
          ]
        },
        "related_pin": "A1",
        "rise_transition,delay_template11x8": {
          "index_1": [
            0.001,
            0.013,
            0.026,
            0.072,
            0.216,
            0.432,
            0.864,
            1.296,
            2.5,
            3.125,
            3.75
          ],
          "index_2": [
            0.0,
            0.00785,
            0.01571,
            0.03143,
            0.06285,
            0.12571,
            0.25142,
            0.50284
          ],
          "values": [
            [
              0.04879,
              0.10079,
              0.14778,
              0.24605,
              0.45262,
              0.87877,
              1.73734,
              3.458
            ],
            [
              0.04882,
              0.10087,
              0.14777,
              0.24618,
              0.45265,
              0.8783,
              1.73783,
              3.4583
            ],
            [
              0.0488,
              0.10078,
              0.14769,
              0.24616,
              0.45272,
              0.8783,
              1.73905,
              3.4601
            ],
            [
              0.04881,
              0.1008,
              0.14766,
              0.24605,
              0.45264,
              0.87839,
              1.73752,
              3.4583
            ],
            [
              0.05078,
              0.10247,
              0.14916,
              0.24708,
              0.45311,
              0.87828,
              1.73811,
              3.4577
            ],
            [
              0.0625,
              0.11384,
              0.15853,
              0.25302,
              0.45552,
              0.87873,
              1.7378,
              3.4578
            ],
            [
              0.0863,
              0.13999,
              0.1824,
              0.2726,
              0.4689,
              0.8841,
              1.7387,
              3.4594
            ],
            [
              0.1079,
              0.1646,
              0.207,
              0.2944,
              0.4873,
              0.8964,
              1.7424,
              3.4589
            ],
            [
              0.1616,
              0.2257,
              0.2707,
              0.3548,
              0.5414,
              0.9468,
              1.7793,
              3.4682
            ],
            [
              0.1874,
              0.2543,
              0.3011,
              0.3853,
              0.5685,
              0.9742,
              1.8041,
              3.4824
            ],
            [
              0.2121,
              0.281,
              0.33,
              0.4151,
              0.5959,
              1.0009,
              1.834,
              3.5025
            ]
          ]
        },
        "sdf_cond": "(A2&B1&!B2)",
        "timing_sense": "positive_unate",
        "when": "(A2&B1&!B2)"
      },
      {
        "cell_fall,delay_template11x8": {
          "index_1": [
            0.001,
            0.013,
            0.026,
            0.072,
            0.216,
            0.432,
            0.864,
            1.296,
            2.5,
            3.125,
            3.75
          ],
          "index_2": [
            0.0,
            0.00785,
            0.01571,
            0.03143,
            0.06285,
            0.12571,
            0.25142,
            0.50284
          ],
          "values": [
            [
              0.14457,
              0.20907,
              0.25859,
              0.3496,
              0.52461,
              0.87284,
              1.57107,
              2.96737
            ],
            [
              0.14833,
              0.21286,
              0.26239,
              0.3534,
              0.52839,
              0.87647,
              1.57447,
              2.97097
            ],
            [
              0.1502,
              0.21472,
              0.26425,
              0.35526,
              0.53021,
              0.87833,
              1.57583,
              2.97223
            ],
            [
              0.15607,
              0.2204,
              0.26988,
              0.36086,
              0.53588,
              0.88394,
              1.5818,
              2.9789
            ],
            [
              0.18131,
              0.24512,
              0.29382,
              0.38388,
              0.55802,
              0.9056,
              1.6023,
              2.9998
            ],
            [
              0.21739,
              0.28504,
              0.33456,
              0.42385,
              0.59589,
              0.941,
              1.6367,
              3.032
            ],
            [
              0.27025,
              0.3469,
              0.4015,
              0.4947,
              0.6671,
              1.0078,
              1.6988,
              3.0919
            ],
            [
              0.3097,
              0.393,
              0.452,
              0.5512,
              0.7291,
              1.0703,
              1.7565,
              3.1445
            ],
            [
              0.38907,
              0.48547,
              0.55337,
              0.66587,
              0.86077,
              1.22187,
              1.91097,
              3.28777
            ],
            [
              0.42113,
              0.52273,
              0.59413,
              0.71223,
              0.91513,
              1.28623,
              1.98853,
              3.36113
            ],
            [
              0.4496,
              0.5557,
              0.6303,
              0.7532,
              0.9634,
              1.3443,
              2.0608,
              3.4341
            ]
          ]
        },
        "cell_rise,delay_template11x8": {
          "index_1": [
            0.001,
            0.013,
            0.026,
            0.072,
            0.216,
            0.432,
            0.864,
            1.296,
            2.5,
            3.125,
            3.75
          ],
          "index_2": [
            0.0,
            0.00785,
            0.01571,
            0.03143,
            0.06285,
            0.12571,
            0.25142,
            0.50284
          ],
          "values": [
            [
              0.17654,
              0.23474,
              0.27577,
              0.34925,
              0.49029,
              0.77186,
              1.33627,
              2.46647
            ],
            [
              0.17848,
              0.23667,
              0.27771,
              0.35119,
              0.49223,
              0.77384,
              1.33857,
              2.46927
            ],
            [
              0.17808,
              0.23628,
              0.27732,
              0.3508,
              0.49185,
              0.77344,
              1.33813,
              2.46803
            ],
            [
              0.17778,
              0.23595,
              0.27697,
              0.35041,
              0.49148,
              0.77313,
              1.3379,
              2.4675
            ],
            [
              0.19347,
              0.25132,
              0.29194,
              0.36483,
              0.50535,
              0.78648,
              1.3512,
              2.4815
            ],
            [
              0.22117,
              0.283,
              0.32455,
              0.39711,
              0.53612,
              0.8156,
              1.3785,
              2.5087
            ],
            [
              0.25813,
              0.329,
              0.3755,
              0.4518,
              0.5927,
              0.8699,
              1.43,
              2.5576
            ],
            [
              0.2822,
              0.3605,
              0.4112,
              0.4925,
              0.638,
              0.919,
              1.4764,
              2.6012
            ],
            [
              0.32177,
              0.41537,
              0.47557,
              0.56927,
              0.72727,
              1.02557,
              1.59767,
              2.71517
            ],
            [
              0.33413,
              0.43413,
              0.49833,
              0.59753,
              0.76183,
              1.06723,
              1.65273,
              2.77363
            ],
            [
              0.3435,
              0.449,
              0.5169,
              0.6211,
              0.7913,
              1.1037,
              1.7008,
              2.8322
            ]
          ]
        },
        "fall_transition,delay_template11x8": {
          "index_1": [
            0.001,
            0.013,
            0.026,
            0.072,
            0.216,
            0.432,
            0.864,
            1.296,
            2.5,
            3.125,
            3.75
          ],
          "index_2": [
            0.0,
            0.00785,
            0.01571,
            0.03143,
            0.06285,
            0.12571,
            0.25142,
            0.50284
          ],
          "values": [
            [
              0.04109,
              0.09826,
              0.15028,
              0.2577,
              0.48113,
              0.93963,
              1.86258,
              3.7089
            ],
            [
              0.04109,
              0.09824,
              0.15025,
              0.25776,
              0.48108,
              0.93934,
              1.86391,
              3.7061
            ],
            [
              0.04109,
              0.09825,
              0.15023,
              0.25783,
              0.48139,
              0.93955,
              1.86243,
              3.7104
            ],
            [
              0.04117,
              0.09841,
              0.15035,
              0.25782,
              0.48119,
              0.93963,
              1.8627,
              3.7124
            ],
            [
              0.04659,
              0.10263,
              0.15324,
              0.25916,
              0.48168,
              0.93928,
              1.86219,
              3.7113
            ],
            [
              0.06021,
              0.11775,
              0.1656,
              0.26676,
              0.48447,
              0.94012,
              1.862,
              3.7096
            ],
            [
              0.08525,
              0.15034,
              0.1983,
              0.2942,
              0.5001,
              0.9439,
              1.863,
              3.7091
            ],
            [
              0.1061,
              0.1777,
              0.2288,
              0.3252,
              0.5263,
              0.9576,
              1.8639,
              3.71
            ],
            [
              0.1547,
              0.2392,
              0.2983,
              0.4027,
              0.6079,
              1.0299,
              1.8987,
              3.711
            ],
            [
              0.177,
              0.2666,
              0.3292,
              0.4385,
              0.6477,
              1.0731,
              1.9317,
              3.7211
            ],
            [
              0.1983,
              0.2922,
              0.3581,
              0.4716,
              0.6856,
              1.1152,
              1.9723,
              3.7432
            ]
          ]
        },
        "related_pin": "A2",
        "rise_transition,delay_template11x8": {
          "index_1": [
            0.001,
            0.013,
            0.026,
            0.072,
            0.216,
            0.432,
            0.864,
            1.296,
            2.5,
            3.125,
            3.75
          ],
          "index_2": [
            0.0,
            0.00785,
            0.01571,
            0.03143,
            0.06285,
            0.12571,
            0.25142,
            0.50284
          ],
          "values": [
            [
              0.04983,
              0.10067,
              0.14623,
              0.2436,
              0.45112,
              0.87777,
              1.73754,
              3.4579
            ],
            [
              0.04982,
              0.10062,
              0.14621,
              0.24371,
              0.45104,
              0.87743,
              1.73765,
              3.4588
            ],
            [
              0.04981,
              0.1006,
              0.14621,
              0.24371,
              0.45084,
              0.8786,
              1.73814,
              3.458
            ],
            [
              0.04982,
              0.1007,
              0.14622,
              0.24356,
              0.45094,
              0.87748,
              1.73785,
              3.458
            ],
            [
              0.05145,
              0.10203,
              0.1474,
              0.24421,
              0.45084,
              0.87892,
              1.73722,
              3.4588
            ],
            [
              0.06172,
              0.11293,
              0.15637,
              0.24978,
              0.45297,
              0.87804,
              1.7378,
              3.4577
            ],
            [
              0.08316,
              0.13959,
              0.1824,
              0.272,
              0.467,
              0.884,
              1.739,
              3.4588
            ],
            [
              0.1021,
              0.1633,
              0.2074,
              0.2962,
              0.4891,
              0.898,
              1.7428,
              3.4612
            ],
            [
              0.1495,
              0.2192,
              0.2687,
              0.3597,
              0.5523,
              0.9609,
              1.7863,
              3.468
            ],
            [
              0.1719,
              0.2445,
              0.2968,
              0.3902,
              0.5835,
              0.994,
              1.8186,
              3.4859
            ],
            [
              0.1938,
              0.2685,
              0.3233,
              0.4191,
              0.6143,
              1.0263,
              1.855,
              3.511
            ]
          ]
        },
        "sdf_cond": "(A1&!B1&!B2)",
        "timing_sense": "positive_unate",
        "when": "(A1&!B1&!B2)"
      },
      {
        "cell_fall,delay_template11x8": {
          "index_1": [
            0.001,
            0.013,
            0.026,
            0.072,
            0.216,
            0.432,
            0.864,
            1.296,
            2.5,
            3.125,
            3.75
          ],
          "index_2": [
            0.0,
            0.00785,
            0.01571,
            0.03143,
            0.06285,
            0.12571,
            0.25142,
            0.50284
          ],
          "values": [
            [
              0.16495,
              0.22948,
              0.27888,
              0.36958,
              0.54425,
              0.89227,
              1.58987,
              2.98767
            ],
            [
              0.16919,
              0.23375,
              0.28316,
              0.37386,
              0.5486,
              0.89658,
              1.59397,
              2.99147
            ],
            [
              0.17085,
              0.2354,
              0.28481,
              0.37552,
              0.55019,
              0.89816,
              1.59563,
              2.99363
            ],
            [
              0.17533,
              0.23976,
              0.28912,
              0.3798,
              0.55453,
              0.90245,
              1.5999,
              2.9971
            ],
            [
              0.19531,
              0.25913,
              0.30785,
              0.39776,
              0.57177,
              0.9191,
              1.6165,
              3.0128
            ],
            [
              0.23093,
              0.29815,
              0.34748,
              0.43654,
              0.60848,
              0.9535,
              1.6496,
              3.0459
            ],
            [
              0.2885,
              0.366,
              0.4212,
              0.5146,
              0.6866,
              1.0272,
              1.7181,
              3.1112
            ],
            [
              0.3343,
              0.4195,
              0.48,
              0.5811,
              0.7599,
              1.1004,
              1.7864,
              3.1745
            ],
            [
              0.43447,
              0.53467,
              0.60617,
              0.72457,
              0.92677,
              1.29117,
              1.97747,
              3.35207
            ],
            [
              0.47823,
              0.58433,
              0.66033,
              0.78593,
              0.99913,
              1.37733,
              2.07733,
              3.44673
            ],
            [
              0.5188,
              0.6301,
              0.71,
              0.8421,
              1.0653,
              1.4574,
              2.1737,
              3.5417
            ]
          ]
        },
        "cell_rise,delay_template11x8": {
          "index_1": [
            0.001,
            0.013,
            0.026,
            0.072,
            0.216,
            0.432,
            0.864,
            1.296,
            2.5,
            3.125,
            3.75
          ],
          "index_2": [
            0.0,
            0.00785,
            0.01571,
            0.03143,
            0.06285,
            0.12571,
            0.25142,
            0.50284
          ],
          "values": [
            [
              0.15427,
              0.20967,
              0.25029,
              0.32417,
              0.46619,
              0.74846,
              1.31337,
              2.44467
            ],
            [
              0.15613,
              0.21153,
              0.25215,
              0.32607,
              0.46795,
              0.75031,
              1.31517,
              2.44617
            ],
            [
              0.15549,
              0.21091,
              0.25153,
              0.32543,
              0.4674,
              0.74968,
              1.31483,
              2.44493
            ],
            [
              0.15482,
              0.21018,
              0.25077,
              0.32463,
              0.46663,
              0.74882,
              1.3141,
              2.4445
            ],
            [
              0.16867,
              0.22423,
              0.26433,
              0.33751,
              0.47867,
              0.76036,
              1.3246,
              2.4554
            ],
            [
              0.18749,
              0.24824,
              0.28994,
              0.36333,
              0.50339,
              0.7833,
              1.3469,
              2.4754
            ],
            [
              0.20534,
              0.27603,
              0.3228,
              0.4011,
              0.5448,
              0.8236,
              1.3835,
              2.5103
            ],
            [
              0.2115,
              0.2903,
              0.3416,
              0.4252,
              0.5744,
              0.8594,
              1.4169,
              2.5416
            ],
            [
              0.20497,
              0.30127,
              0.36297,
              0.45947,
              0.62287,
              0.92677,
              1.50487,
              2.62277
            ],
            [
              0.19493,
              0.29853,
              0.36483,
              0.46723,
              0.63733,
              0.94963,
              1.54173,
              2.66473
            ],
            [
              0.1824,
              0.2924,
              0.363,
              0.471,
              0.6474,
              0.9676,
              1.5716,
              2.7077
            ]
          ]
        },
        "fall_transition,delay_template11x8": {
          "index_1": [
            0.001,
            0.013,
            0.026,
            0.072,
            0.216,
            0.432,
            0.864,
            1.296,
            2.5,
            3.125,
            3.75
          ],
          "index_2": [
            0.0,
            0.00785,
            0.01571,
            0.03143,
            0.06285,
            0.12571,
            0.25142,
            0.50284
          ],
          "values": [
            [
              0.04414,
              0.10119,
              0.15236,
              0.25912,
              0.4823,
              0.94021,
              1.86368,
              3.7086
            ],
            [
              0.04413,
              0.10117,
              0.15239,
              0.25911,
              0.48245,
              0.93932,
              1.86259,
              3.7109
            ],
            [
              0.04414,
              0.10115,
              0.1524,
              0.25902,
              0.48234,
              0.94033,
              1.86361,
              3.7089
            ],
            [
              0.04417,
              0.10128,
              0.15249,
              0.25918,
              0.48231,
              0.94021,
              1.86349,
              3.7103
            ],
            [
              0.04796,
              0.10419,
              0.15455,
              0.26026,
              0.4825,
              0.93979,
              1.86395,
              3.707
            ],
            [
              0.06078,
              0.11794,
              0.1657,
              0.26684,
              0.48515,
              0.94073,
              1.863,
              3.7095
            ],
            [
              0.08792,
              0.15345,
              0.2011,
              0.296,
              0.5005,
              0.9449,
              1.8642,
              3.7113
            ],
            [
              0.1108,
              0.1842,
              0.2363,
              0.332,
              0.5304,
              0.9585,
              1.8647,
              3.7103
            ],
            [
              0.1648,
              0.2545,
              0.3175,
              0.4261,
              0.6297,
              1.0411,
              1.9007,
              3.7116
            ],
            [
              0.1901,
              0.2862,
              0.3543,
              0.4699,
              0.6802,
              1.0947,
              1.9372,
              3.7209
            ],
            [
              0.2143,
              0.316,
              0.3885,
              0.5109,
              0.7295,
              1.1485,
              1.9815,
              3.7419
            ]
          ]
        },
        "related_pin": "A2",
        "rise_transition,delay_template11x8": {
          "index_1": [
            0.001,
            0.013,
            0.026,
            0.072,
            0.216,
            0.432,
            0.864,
            1.296,
            2.5,
            3.125,
            3.75
          ],
          "index_2": [
            0.0,
            0.00785,
            0.01571,
            0.03143,
            0.06285,
            0.12571,
            0.25142,
            0.50284
          ],
          "values": [
            [
              0.04533,
              0.09574,
              0.14314,
              0.24273,
              0.45146,
              0.87787,
              1.73733,
              3.4597
            ],
            [
              0.04537,
              0.09576,
              0.14308,
              0.24267,
              0.45102,
              0.8778,
              1.73752,
              3.4581
            ],
            [
              0.04531,
              0.0958,
              0.14311,
              0.24285,
              0.45128,
              0.87808,
              1.73832,
              3.458
            ],
            [
              0.0453,
              0.09581,
              0.14309,
              0.24271,
              0.45144,
              0.87785,
              1.74016,
              3.4622
            ],
            [
              0.0489,
              0.09871,
              0.14526,
              0.24396,
              0.45157,
              0.87826,
              1.73729,
              3.4621
            ],
            [
              0.06165,
              0.11283,
              0.15714,
              0.25164,
              0.45495,
              0.87981,
              1.739,
              3.458
            ],
            [
              0.08664,
              0.14279,
              0.18687,
              0.27832,
              0.4742,
              0.8877,
              1.7402,
              3.4614
            ],
            [
              0.1097,
              0.1699,
              0.2156,
              0.3064,
              0.5008,
              0.9068,
              1.7454,
              3.4621
            ],
            [
              0.1683,
              0.2363,
              0.2871,
              0.3807,
              0.5743,
              0.9817,
              1.8013,
              3.4745
            ],
            [
              0.1971,
              0.2676,
              0.3209,
              0.4166,
              0.6117,
              1.0212,
              1.8407,
              3.4967
            ],
            [
              0.225,
              0.2976,
              0.3531,
              0.451,
              0.6478,
              1.0585,
              1.8824,
              3.5259
            ]
          ]
        },
        "sdf_cond": "(A1&!B1&B2)",
        "timing_sense": "positive_unate",
        "when": "(A1&!B1&B2)"
      },
      {
        "cell_fall,delay_template11x8": {
          "index_1": [
            0.001,
            0.013,
            0.026,
            0.072,
            0.216,
            0.432,
            0.864,
            1.296,
            2.5,
            3.125,
            3.75
          ],
          "index_2": [
            0.0,
            0.00785,
            0.01571,
            0.03143,
            0.06285,
            0.12571,
            0.25142,
            0.50284
          ],
          "values": [
            [
              0.18113,
              0.24807,
              0.29831,
              0.38921,
              0.56371,
              0.91139,
              1.60857,
              3.00517
            ],
            [
              0.18544,
              0.2524,
              0.30266,
              0.39356,
              0.56808,
              0.91553,
              1.61337,
              3.01017
            ],
            [
              0.18718,
              0.25414,
              0.30439,
              0.39529,
              0.56982,
              0.91725,
              1.61473,
              3.01163
            ],
            [
              0.19162,
              0.2585,
              0.30872,
              0.3996,
              0.57411,
              0.92161,
              1.6193,
              3.0169
            ],
            [
              0.2107,
              0.27675,
              0.3264,
              0.4166,
              0.59049,
              0.9375,
              1.6348,
              3.0313
            ],
            [
              0.24719,
              0.316,
              0.36616,
              0.45536,
              0.62715,
              0.972,
              1.6673,
              3.0634
            ],
            [
              0.3078,
              0.3867,
              0.4425,
              0.5357,
              0.7067,
              1.0467,
              1.7374,
              3.1291
            ],
            [
              0.3559,
              0.4426,
              0.5038,
              0.605,
              0.7822,
              1.1213,
              1.8067,
              3.1945
            ],
            [
              0.46037,
              0.56227,
              0.63457,
              0.75347,
              0.95457,
              1.31587,
              2.00007,
              3.37427
            ],
            [
              0.50583,
              0.61363,
              0.69033,
              0.81653,
              1.02903,
              1.40403,
              2.10093,
              3.46943
            ],
            [
              0.5478,
              0.6608,
              0.7414,
              0.874,
              1.0967,
              1.4857,
              2.1986,
              3.5651
            ]
          ]
        },
        "cell_rise,delay_template11x8": {
          "index_1": [
            0.001,
            0.013,
            0.026,
            0.072,
            0.216,
            0.432,
            0.864,
            1.296,
            2.5,
            3.125,
            3.75
          ],
          "index_2": [
            0.0,
            0.00785,
            0.01571,
            0.03143,
            0.06285,
            0.12571,
            0.25142,
            0.50284
          ],
          "values": [
            [
              0.16452,
              0.22234,
              0.26409,
              0.33892,
              0.48111,
              0.76331,
              1.32767,
              2.45797
            ],
            [
              0.16643,
              0.22426,
              0.26601,
              0.34083,
              0.48304,
              0.76486,
              1.32937,
              2.46157
            ],
            [
              0.16579,
              0.22362,
              0.26537,
              0.3402,
              0.4824,
              0.76431,
              1.32903,
              2.45923
            ],
            [
              0.16511,
              0.22289,
              0.26461,
              0.33942,
              0.48161,
              0.76345,
              1.3285,
              2.4592
            ],
            [
              0.17952,
              0.23729,
              0.27854,
              0.35263,
              0.49408,
              0.77548,
              1.3394,
              2.4696
            ],
            [
              0.20106,
              0.26375,
              0.30643,
              0.38056,
              0.52076,
              0.8003,
              1.3631,
              2.4926
            ],
            [
              0.22316,
              0.2958,
              0.3437,
              0.4227,
              0.5661,
              0.8441,
              1.4031,
              2.5301
            ],
            [
              0.2319,
              0.3128,
              0.3653,
              0.4499,
              0.5989,
              0.8823,
              1.4392,
              2.563
            ],
            [
              0.22937,
              0.32787,
              0.39097,
              0.48897,
              0.65277,
              0.95487,
              1.53057,
              2.64727
            ],
            [
              0.22053,
              0.32643,
              0.39413,
              0.49833,
              0.66923,
              0.97973,
              1.56923,
              2.69043
            ],
            [
              0.2091,
              0.3214,
              0.3935,
              0.5034,
              0.6808,
              0.9992,
              1.6004,
              2.7342
            ]
          ]
        },
        "fall_transition,delay_template11x8": {
          "index_1": [
            0.001,
            0.013,
            0.026,
            0.072,
            0.216,
            0.432,
            0.864,
            1.296,
            2.5,
            3.125,
            3.75
          ],
          "index_2": [
            0.0,
            0.00785,
            0.01571,
            0.03143,
            0.06285,
            0.12571,
            0.25142,
            0.50284
          ],
          "values": [
            [
              0.04877,
              0.10688,
              0.15695,
              0.26168,
              0.48361,
              0.94078,
              1.86317,
              3.7101
            ],
            [
              0.04872,
              0.10688,
              0.15693,
              0.26174,
              0.48375,
              0.94084,
              1.86318,
              3.7126
            ],
            [
              0.04873,
              0.10689,
              0.15692,
              0.26176,
              0.48378,
              0.94087,
              1.86172,
              3.7103
            ],
            [
              0.04874,
              0.10695,
              0.15695,
              0.26183,
              0.48341,
              0.94042,
              1.86329,
              3.7119
            ],
            [
              0.05143,
              0.10913,
              0.15861,
              0.26265,
              0.48399,
              0.94093,
              1.86346,
              3.7129
            ],
            [
              0.06331,
              0.12174,
              0.169,
              0.2689,
              0.48591,
              0.94086,
              1.8649,
              3.7132
            ],
            [
              0.09078,
              0.1572,
              0.2043,
              0.2974,
              0.5008,
              0.9445,
              1.8639,
              3.7112
            ],
            [
              0.114,
              0.1885,
              0.2401,
              0.3338,
              0.5297,
              0.9571,
              1.8647,
              3.7104
            ],
            [
              0.1689,
              0.2599,
              0.3229,
              0.43,
              0.6298,
              1.0378,
              1.8985,
              3.712
            ],
            [
              0.1945,
              0.292,
              0.3599,
              0.4744,
              0.6806,
              1.0912,
              1.9336,
              3.7201
            ],
            [
              0.2189,
              0.3219,
              0.3948,
              0.5157,
              0.7305,
              1.1459,
              1.9776,
              3.7378
            ]
          ]
        },
        "related_pin": "A2",
        "rise_transition,delay_template11x8": {
          "index_1": [
            0.001,
            0.013,
            0.026,
            0.072,
            0.216,
            0.432,
            0.864,
            1.296,
            2.5,
            3.125,
            3.75
          ],
          "index_2": [
            0.0,
            0.00785,
            0.01571,
            0.03143,
            0.06285,
            0.12571,
            0.25142,
            0.50284
          ],
          "values": [
            [
              0.04881,
              0.10078,
              0.14766,
              0.24607,
              0.45273,
              0.87854,
              1.73726,
              3.459
            ],
            [
              0.04882,
              0.10079,
              0.14766,
              0.2461,
              0.4528,
              0.87892,
              1.73767,
              3.4592
            ],
            [
              0.0488,
              0.1008,
              0.14761,
              0.24615,
              0.45271,
              0.87801,
              1.73839,
              3.458
            ],
            [
              0.04881,
              0.10087,
              0.14768,
              0.24604,
              0.45279,
              0.87908,
              1.7377,
              3.4598
            ],
            [
              0.05167,
              0.10328,
              0.14958,
              0.24729,
              0.45312,
              0.87892,
              1.73741,
              3.4581
            ],
            [
              0.06402,
              0.11681,
              0.16104,
              0.25465,
              0.45659,
              0.87929,
              1.7376,
              3.4581
            ],
            [
              0.08881,
              0.14679,
              0.19103,
              0.2814,
              0.475,
              0.887,
              1.7398,
              3.4602
            ],
            [
              0.1117,
              0.174,
              0.22,
              0.3098,
              0.502,
              0.9062,
              1.7445,
              3.4609
            ],
            [
              0.171,
              0.2411,
              0.2927,
              0.3854,
              0.5763,
              0.9804,
              1.7986,
              3.4728
            ],
            [
              0.2002,
              0.2729,
              0.3269,
              0.4223,
              0.6139,
              1.0201,
              1.8367,
              3.4964
            ],
            [
              0.2284,
              0.3031,
              0.36,
              0.4575,
              0.6508,
              1.0573,
              1.8791,
              3.524
            ]
          ]
        },
        "sdf_cond": "(A1&B1&!B2)",
        "timing_sense": "positive_unate",
        "when": "(A1&B1&!B2)"
      },
      {
        "cell_fall,delay_template11x8": {
          "index_1": [
            0.001,
            0.013,
            0.026,
            0.072,
            0.216,
            0.432,
            0.864,
            1.296,
            2.5,
            3.125,
            3.75
          ],
          "index_2": [
            0.0,
            0.00785,
            0.01571,
            0.03143,
            0.06285,
            0.12571,
            0.25142,
            0.50284
          ],
          "values": [
            [
              0.09688,
              0.1547,
              0.2016,
              0.29035,
              0.4648,
              0.81354,
              1.51277,
              2.90967
            ],
            [
              0.10334,
              0.16086,
              0.20775,
              0.2965,
              0.47094,
              0.82007,
              1.51857,
              2.91537
            ],
            [
              0.10612,
              0.16354,
              0.2104,
              0.29912,
              0.47356,
              0.82256,
              1.52143,
              2.91813
            ],
            [
              0.11652,
              0.17352,
              0.22027,
              0.30894,
              0.48339,
              0.83242,
              1.531,
              2.9271
            ],
            [
              0.15191,
              0.20922,
              0.25507,
              0.34265,
              0.51605,
              0.8643,
              1.5626,
              2.9591
            ],
            [
              0.19031,
              0.25019,
              0.29676,
              0.38459,
              0.55646,
              0.9028,
              1.5998,
              2.9965
            ],
            [
              0.24415,
              0.3099,
              0.3597,
              0.4504,
              0.6243,
              0.9686,
              1.6624,
              3.0571
            ],
            [
              0.2844,
              0.3551,
              0.4076,
              0.5016,
              0.6807,
              1.0277,
              1.7186,
              3.1109
            ],
            [
              0.36797,
              0.44917,
              0.50747,
              0.60947,
              0.79897,
              1.16547,
              1.86597,
              3.25107
            ],
            [
              0.40273,
              0.48833,
              0.54923,
              0.65473,
              0.84903,
              1.22293,
              1.93803,
              3.32173
            ],
            [
              0.4341,
              0.5235,
              0.587,
              0.6956,
              0.8944,
              1.2748,
              2.0036,
              3.3919
            ]
          ]
        },
        "cell_rise,delay_template11x8": {
          "index_1": [
            0.001,
            0.013,
            0.026,
            0.072,
            0.216,
            0.432,
            0.864,
            1.296,
            2.5,
            3.125,
            3.75
          ],
          "index_2": [
            0.0,
            0.00785,
            0.01571,
            0.03143,
            0.06285,
            0.12571,
            0.25142,
            0.50284
          ],
          "values": [
            [
              0.10152,
              0.15011,
              0.18854,
              0.26061,
              0.40182,
              0.68423,
              1.25047,
              2.38127
            ],
            [
              0.10532,
              0.15361,
              0.192,
              0.26409,
              0.40536,
              0.68755,
              1.25287,
              2.38507
            ],
            [
              0.10609,
              0.15434,
              0.19274,
              0.2648,
              0.40616,
              0.68826,
              1.25343,
              2.38603
            ],
            [
              0.1133,
              0.16134,
              0.19965,
              0.27166,
              0.41286,
              0.69539,
              1.2609,
              2.3916
            ],
            [
              0.14033,
              0.18919,
              0.22714,
              0.29836,
              0.43874,
              0.72057,
              1.2859,
              2.4176
            ],
            [
              0.16608,
              0.21859,
              0.25726,
              0.32892,
              0.46865,
              0.7489,
              1.3132,
              2.4437
            ],
            [
              0.19611,
              0.25645,
              0.2981,
              0.3724,
              0.5149,
              0.7946,
              1.3562,
              2.4851
            ],
            [
              0.2142,
              0.281,
              0.3256,
              0.4026,
              0.5486,
              0.8333,
              1.3932,
              2.5195
            ],
            [
              0.24017,
              0.32027,
              0.37227,
              0.45657,
              0.60937,
              0.90797,
              1.48507,
              2.60737
            ],
            [
              0.24643,
              0.33183,
              0.38733,
              0.47543,
              0.63143,
              0.93463,
              1.52313,
              2.65093
            ],
            [
              0.25,
              0.34,
              0.3986,
              0.4905,
              0.6497,
              0.9566,
              1.5545,
              2.6937
            ]
          ]
        },
        "fall_transition,delay_template11x8": {
          "index_1": [
            0.001,
            0.013,
            0.026,
            0.072,
            0.216,
            0.432,
            0.864,
            1.296,
            2.5,
            3.125,
            3.75
          ],
          "index_2": [
            0.0,
            0.00785,
            0.01571,
            0.03143,
            0.06285,
            0.12571,
            0.25142,
            0.50284
          ],
          "values": [
            [
              0.03131,
              0.0856,
              0.13916,
              0.25009,
              0.47755,
              0.93891,
              1.86149,
              3.71
            ],
            [
              0.0313,
              0.08558,
              0.13918,
              0.24988,
              0.47784,
              0.93899,
              1.86239,
              3.711
            ],
            [
              0.0313,
              0.08556,
              0.1392,
              0.24995,
              0.47779,
              0.93873,
              1.86311,
              3.712
            ],
            [
              0.0313,
              0.08575,
              0.1393,
              0.25001,
              0.47755,
              0.93885,
              1.86216,
              3.7123
            ],
            [
              0.03685,
              0.09092,
              0.14249,
              0.25151,
              0.47784,
              0.93947,
              1.86324,
              3.7118
            ],
            [
              0.04702,
              0.10181,
              0.15217,
              0.25774,
              0.48034,
              0.93794,
              1.8624,
              3.7091
            ],
            [
              0.06563,
              0.12382,
              0.17399,
              0.2779,
              0.4935,
              0.943,
              1.8627,
              3.7092
            ],
            [
              0.0816,
              0.1428,
              0.1939,
              0.2983,
              0.5145,
              0.9559,
              1.864,
              3.7094
            ],
            [
              0.1189,
              0.1876,
              0.2419,
              0.3488,
              0.5712,
              1.0173,
              1.8993,
              3.7153
            ],
            [
              0.1362,
              0.2083,
              0.2639,
              0.3727,
              0.597,
              1.0495,
              1.9287,
              3.7218
            ],
            [
              0.1525,
              0.2277,
              0.2849,
              0.3954,
              0.6215,
              1.0794,
              1.9631,
              3.7415
            ]
          ]
        },
        "related_pin": "B1",
        "rise_transition,delay_template11x8": {
          "index_1": [
            0.001,
            0.013,
            0.026,
            0.072,
            0.216,
            0.432,
            0.864,
            1.296,
            2.5,
            3.125,
            3.75
          ],
          "index_2": [
            0.0,
            0.00785,
            0.01571,
            0.03143,
            0.06285,
            0.12571,
            0.25142,
            0.50284
          ],
          "values": [
            [
              0.03236,
              0.08173,
              0.13156,
              0.23469,
              0.44697,
              0.87767,
              1.73731,
              3.45876
            ],
            [
              0.03238,
              0.08173,
              0.13166,
              0.23482,
              0.44672,
              0.87637,
              1.7371,
              3.45941
            ],
            [
              0.03238,
              0.0818,
              0.13152,
              0.23489,
              0.44669,
              0.87629,
              1.73634,
              3.46033
            ],
            [
              0.03239,
              0.08185,
              0.13164,
              0.23464,
              0.44716,
              0.87643,
              1.73679,
              3.4587
            ],
            [
              0.03801,
              0.08672,
              0.135,
              0.23627,
              0.44708,
              0.87617,
              1.73731,
              3.4604
            ],
            [
              0.04932,
              0.097,
              0.14372,
              0.24272,
              0.45025,
              0.87727,
              1.73701,
              3.458
            ],
            [
              0.06905,
              0.11866,
              0.16359,
              0.26035,
              0.4637,
              0.8831,
              1.7388,
              3.4572
            ],
            [
              0.0861,
              0.1381,
              0.1825,
              0.278,
              0.4819,
              0.8972,
              1.7436,
              3.4577
            ],
            [
              0.1266,
              0.1845,
              0.2301,
              0.3231,
              0.5257,
              0.9487,
              1.7834,
              3.4675
            ],
            [
              0.1454,
              0.2059,
              0.2527,
              0.345,
              0.547,
              0.9734,
              1.8118,
              3.4845
            ],
            [
              0.1634,
              0.2259,
              0.2741,
              0.3665,
              0.5674,
              0.9957,
              1.8416,
              3.5088
            ]
          ]
        },
        "sdf_cond": "(!A1&!A2&B2)",
        "timing_sense": "positive_unate",
        "when": "(!A1&!A2&B2)"
      },
      {
        "cell_fall,delay_template11x8": {
          "index_1": [
            0.001,
            0.013,
            0.026,
            0.072,
            0.216,
            0.432,
            0.864,
            1.296,
            2.5,
            3.125,
            3.75
          ],
          "index_2": [
            0.0,
            0.00785,
            0.01571,
            0.03143,
            0.06285,
            0.12571,
            0.25142,
            0.50284
          ],
          "values": [
            [
              0.11485,
              0.17766,
              0.22655,
              0.31713,
              0.49207,
              0.84036,
              1.53817,
              2.93677
            ],
            [
              0.12228,
              0.18469,
              0.23358,
              0.32416,
              0.499,
              0.84744,
              1.54547,
              2.94337
            ],
            [
              0.12511,
              0.18739,
              0.23624,
              0.32678,
              0.50169,
              0.85012,
              1.54833,
              2.94463
            ],
            [
              0.13464,
              0.19666,
              0.24543,
              0.33597,
              0.51084,
              0.85934,
              1.5574,
              2.9543
            ],
            [
              0.17461,
              0.2362,
              0.28406,
              0.37362,
              0.54769,
              0.8952,
              1.5932,
              2.9904
            ],
            [
              0.22458,
              0.2878,
              0.33632,
              0.42598,
              0.59867,
              0.9446,
              1.6412,
              3.0379
            ],
            [
              0.3036,
              0.3722,
              0.4238,
              0.5156,
              0.6896,
              1.0333,
              1.7266,
              3.1199
            ],
            [
              0.3686,
              0.4416,
              0.496,
              0.5918,
              0.7706,
              1.1159,
              1.8061,
              3.1979
            ],
            [
              0.51857,
              0.60137,
              0.66157,
              0.76637,
              0.95747,
              1.32187,
              2.01747,
              3.40107
            ],
            [
              0.58713,
              0.67403,
              0.73673,
              0.84513,
              1.04193,
              1.41483,
              2.12313,
              3.50503
            ],
            [
              0.652,
              0.7426,
              0.8075,
              0.9192,
              1.1211,
              1.5016,
              2.2245,
              3.6075
            ]
          ]
        },
        "cell_rise,delay_template11x8": {
          "index_1": [
            0.001,
            0.013,
            0.026,
            0.072,
            0.216,
            0.432,
            0.864,
            1.296,
            2.5,
            3.125,
            3.75
          ],
          "index_2": [
            0.0,
            0.00785,
            0.01571,
            0.03143,
            0.06285,
            0.12571,
            0.25142,
            0.50284
          ],
          "values": [
            [
              0.10167,
              0.15024,
              0.18869,
              0.26072,
              0.40195,
              0.68414,
              1.24977,
              2.37997
            ],
            [
              0.10574,
              0.15402,
              0.19244,
              0.26445,
              0.40568,
              0.68783,
              1.25307,
              2.38467
            ],
            [
              0.10692,
              0.15517,
              0.19356,
              0.26563,
              0.4069,
              0.68937,
              1.25543,
              2.38583
            ],
            [
              0.11459,
              0.16265,
              0.20097,
              0.27297,
              0.41415,
              0.69654,
              1.2624,
              2.3935
            ],
            [
              0.13856,
              0.18747,
              0.22549,
              0.29673,
              0.43709,
              0.71882,
              1.2836,
              2.4153
            ],
            [
              0.15586,
              0.20852,
              0.24725,
              0.31904,
              0.45897,
              0.7393,
              1.303,
              2.4333
            ],
            [
              0.16646,
              0.22721,
              0.26889,
              0.3431,
              0.4858,
              0.7661,
              1.3277,
              2.4566
            ],
            [
              0.1644,
              0.2318,
              0.2765,
              0.3532,
              0.499,
              0.7848,
              1.3451,
              2.4713
            ],
            [
              0.13307,
              0.21417,
              0.26657,
              0.35057,
              0.50187,
              0.79977,
              1.37937,
              2.50297
            ],
            [
              0.10943,
              0.19583,
              0.25183,
              0.33973,
              0.49383,
              0.79513,
              1.38573,
              2.51783
            ],
            [
              0.0829,
              0.174,
              0.2331,
              0.325,
              0.482,
              0.7861,
              1.3844,
              2.5301
            ]
          ]
        },
        "fall_transition,delay_template11x8": {
          "index_1": [
            0.001,
            0.013,
            0.026,
            0.072,
            0.216,
            0.432,
            0.864,
            1.296,
            2.5,
            3.125,
            3.75
          ],
          "index_2": [
            0.0,
            0.00785,
            0.01571,
            0.03143,
            0.06285,
            0.12571,
            0.25142,
            0.50284
          ],
          "values": [
            [
              0.03904,
              0.09529,
              0.14794,
              0.25649,
              0.4809,
              0.94007,
              1.86445,
              3.7087
            ],
            [
              0.03906,
              0.09529,
              0.14788,
              0.25645,
              0.48082,
              0.93999,
              1.86318,
              3.7104
            ],
            [
              0.03903,
              0.09529,
              0.14791,
              0.25648,
              0.48086,
              0.93963,
              1.86342,
              3.7111
            ],
            [
              0.03892,
              0.09529,
              0.14791,
              0.25648,
              0.4814,
              0.93956,
              1.86274,
              3.7101
            ],
            [
              0.0433,
              0.09906,
              0.15037,
              0.25767,
              0.4813,
              0.94008,
              1.86277,
              3.7101
            ],
            [
              0.05128,
              0.10902,
              0.15959,
              0.26396,
              0.48368,
              0.9402,
              1.8644,
              3.7117
            ],
            [
              0.06938,
              0.1308,
              0.1812,
              0.283,
              0.4964,
              0.9447,
              1.8633,
              3.711
            ],
            [
              0.0853,
              0.1498,
              0.202,
              0.3048,
              0.5164,
              0.956,
              1.865,
              3.7096
            ],
            [
              0.1227,
              0.1945,
              0.2506,
              0.3583,
              0.5769,
              1.0138,
              1.8951,
              3.7141
            ],
            [
              0.1402,
              0.2149,
              0.2729,
              0.3831,
              0.6044,
              1.0486,
              1.9214,
              3.7198
            ],
            [
              0.1565,
              0.234,
              0.2937,
              0.4064,
              0.6309,
              1.0811,
              1.9546,
              3.7348
            ]
          ]
        },
        "related_pin": "B1",
        "rise_transition,delay_template11x8": {
          "index_1": [
            0.001,
            0.013,
            0.026,
            0.072,
            0.216,
            0.432,
            0.864,
            1.296,
            2.5,
            3.125,
            3.75
          ],
          "index_2": [
            0.0,
            0.00785,
            0.01571,
            0.03143,
            0.06285,
            0.12571,
            0.25142,
            0.50284
          ],
          "values": [
            [
              0.03238,
              0.08175,
              0.13155,
              0.2346,
              0.44717,
              0.87613,
              1.73694,
              3.45731
            ],
            [
              0.03238,
              0.08173,
              0.13155,
              0.23476,
              0.44699,
              0.87614,
              1.73792,
              3.45784
            ],
            [
              0.03238,
              0.08174,
              0.13166,
              0.23472,
              0.44687,
              0.87636,
              1.73698,
              3.45839
            ],
            [
              0.03238,
              0.08189,
              0.13166,
              0.23477,
              0.44671,
              0.87654,
              1.7381,
              3.458
            ],
            [
              0.03805,
              0.08674,
              0.13498,
              0.2363,
              0.44713,
              0.87637,
              1.73706,
              3.4603
            ],
            [
              0.04973,
              0.09739,
              0.14399,
              0.24318,
              0.45023,
              0.87756,
              1.73705,
              3.4572
            ],
            [
              0.07044,
              0.1198,
              0.16441,
              0.26115,
              0.4648,
              0.8846,
              1.7397,
              3.458
            ],
            [
              0.0883,
              0.1401,
              0.1839,
              0.2787,
              0.4827,
              0.8994,
              1.7428,
              3.4577
            ],
            [
              0.1307,
              0.1886,
              0.2333,
              0.324,
              0.5258,
              0.9515,
              1.789,
              3.4722
            ],
            [
              0.1505,
              0.2107,
              0.2568,
              0.3469,
              0.5463,
              0.9739,
              1.8178,
              3.4935
            ],
            [
              0.1696,
              0.2315,
              0.2789,
              0.3688,
              0.5663,
              0.9944,
              1.8478,
              3.5184
            ]
          ]
        },
        "sdf_cond": "(!A1&A2&B2)",
        "timing_sense": "positive_unate",
        "when": "(!A1&A2&B2)"
      },
      {
        "cell_fall,delay_template11x8": {
          "index_1": [
            0.001,
            0.013,
            0.026,
            0.072,
            0.216,
            0.432,
            0.864,
            1.296,
            2.5,
            3.125,
            3.75
          ],
          "index_2": [
            0.0,
            0.00785,
            0.01571,
            0.03143,
            0.06285,
            0.12571,
            0.25142,
            0.50284
          ],
          "values": [
            [
              0.13583,
              0.20101,
              0.25053,
              0.3413,
              0.51607,
              0.86412,
              1.56197,
              2.95767
            ],
            [
              0.14299,
              0.20776,
              0.25725,
              0.34801,
              0.52276,
              0.87079,
              1.56847,
              2.96517
            ],
            [
              0.1448,
              0.20947,
              0.25894,
              0.34968,
              0.52438,
              0.87238,
              1.57033,
              2.96713
            ],
            [
              0.15354,
              0.21808,
              0.2675,
              0.35823,
              0.53297,
              0.88094,
              1.579,
              2.9764
            ],
            [
              0.19477,
              0.25805,
              0.30665,
              0.3965,
              0.57044,
              0.9179,
              1.6149,
              3.0115
            ],
            [
              0.24841,
              0.31381,
              0.36316,
              0.45255,
              0.62487,
              0.9704,
              1.6662,
              3.0631
            ],
            [
              0.3357,
              0.4065,
              0.4587,
              0.5499,
              0.7225,
              1.0653,
              1.7579,
              3.1519
            ],
            [
              0.4077,
              0.4831,
              0.5384,
              0.6338,
              0.8102,
              1.1536,
              1.8427,
              3.2333
            ],
            [
              0.57377,
              0.65927,
              0.72077,
              0.82607,
              1.01477,
              1.37487,
              2.06707,
              3.44997
            ],
            [
              0.64963,
              0.73933,
              0.80343,
              0.91263,
              1.10723,
              1.47543,
              2.17883,
              3.55923
            ],
            [
              0.7213,
              0.8148,
              0.8813,
              0.9939,
              1.1939,
              1.5695,
              2.2868,
              3.6675
            ]
          ]
        },
        "cell_rise,delay_template11x8": {
          "index_1": [
            0.001,
            0.013,
            0.026,
            0.072,
            0.216,
            0.432,
            0.864,
            1.296,
            2.5,
            3.125,
            3.75
          ],
          "index_2": [
            0.0,
            0.00785,
            0.01571,
            0.03143,
            0.06285,
            0.12571,
            0.25142,
            0.50284
          ],
          "values": [
            [
              0.11092,
              0.16204,
              0.20143,
              0.27438,
              0.41577,
              0.69781,
              1.26317,
              2.39417
            ],
            [
              0.11507,
              0.1659,
              0.20526,
              0.27819,
              0.41956,
              0.70173,
              1.26667,
              2.39827
            ],
            [
              0.11631,
              0.1671,
              0.20647,
              0.27939,
              0.42076,
              0.70274,
              1.26813,
              2.39813
            ],
            [
              0.1239,
              0.17453,
              0.21382,
              0.28672,
              0.42809,
              0.71031,
              1.2755,
              2.4055
            ],
            [
              0.15018,
              0.20148,
              0.24018,
              0.31219,
              0.45257,
              0.73419,
              1.299,
              2.4278
            ],
            [
              0.17122,
              0.22631,
              0.26591,
              0.3382,
              0.47789,
              0.7578,
              1.3216,
              2.4504
            ],
            [
              0.18619,
              0.24979,
              0.2927,
              0.3676,
              0.5096,
              0.7886,
              1.3496,
              2.4777
            ],
            [
              0.1863,
              0.2568,
              0.303,
              0.3807,
              0.5257,
              0.8095,
              1.3685,
              2.4943
            ],
            [
              0.15577,
              0.24037,
              0.29487,
              0.38087,
              0.53207,
              0.82717,
              1.40407,
              2.52627
            ],
            [
              0.13113,
              0.22133,
              0.27943,
              0.36973,
              0.52413,
              0.82253,
              1.40923,
              2.53863
            ],
            [
              0.1031,
              0.1981,
              0.2595,
              0.3541,
              0.5119,
              0.8133,
              1.4075,
              2.5503
            ]
          ]
        },
        "fall_transition,delay_template11x8": {
          "index_1": [
            0.001,
            0.013,
            0.026,
            0.072,
            0.216,
            0.432,
            0.864,
            1.296,
            2.5,
            3.125,
            3.75
          ],
          "index_2": [
            0.0,
            0.00785,
            0.01571,
            0.03143,
            0.06285,
            0.12571,
            0.25142,
            0.50284
          ],
          "values": [
            [
              0.04406,
              0.10103,
              0.15231,
              0.25907,
              0.48213,
              0.94042,
              1.86315,
              3.7136
            ],
            [
              0.04407,
              0.10106,
              0.15228,
              0.25901,
              0.48212,
              0.93974,
              1.86408,
              3.7097
            ],
            [
              0.04406,
              0.10105,
              0.1523,
              0.25906,
              0.48221,
              0.93983,
              1.86392,
              3.7132
            ],
            [
              0.04402,
              0.10108,
              0.15224,
              0.25909,
              0.48212,
              0.94048,
              1.86375,
              3.7092
            ],
            [
              0.04708,
              0.10342,
              0.15406,
              0.26,
              0.48263,
              0.94031,
              1.86344,
              3.7107
            ],
            [
              0.05481,
              0.1136,
              0.1631,
              0.26581,
              0.48436,
              0.94048,
              1.865,
              3.7122
            ],
            [
              0.0733,
              0.1356,
              0.1845,
              0.2839,
              0.4955,
              0.9442,
              1.8646,
              3.7107
            ],
            [
              0.0896,
              0.1556,
              0.2065,
              0.3062,
              0.5141,
              0.9538,
              1.8661,
              3.7115
            ],
            [
              0.1281,
              0.2019,
              0.2577,
              0.3619,
              0.5749,
              1.008,
              1.8905,
              3.7146
            ],
            [
              0.1456,
              0.2229,
              0.2807,
              0.3877,
              0.6034,
              1.0421,
              1.9163,
              3.7176
            ],
            [
              0.1622,
              0.2425,
              0.3022,
              0.412,
              0.6305,
              1.0749,
              1.9477,
              3.7326
            ]
          ]
        },
        "related_pin": "B1",
        "rise_transition,delay_template11x8": {
          "index_1": [
            0.001,
            0.013,
            0.026,
            0.072,
            0.216,
            0.432,
            0.864,
            1.296,
            2.5,
            3.125,
            3.75
          ],
          "index_2": [
            0.0,
            0.00785,
            0.01571,
            0.03143,
            0.06285,
            0.12571,
            0.25142,
            0.50284
          ],
          "values": [
            [
              0.03657,
              0.08633,
              0.13548,
              0.23744,
              0.44784,
              0.87653,
              1.73652,
              3.45937
            ],
            [
              0.03655,
              0.08631,
              0.13548,
              0.23746,
              0.4478,
              0.87634,
              1.73642,
              3.45781
            ],
            [
              0.03656,
              0.08641,
              0.13551,
              0.23742,
              0.44778,
              0.8764,
              1.73846,
              3.4588
            ],
            [
              0.03657,
              0.0864,
              0.13555,
              0.23742,
              0.44835,
              0.87633,
              1.73858,
              3.4564
            ],
            [
              0.04156,
              0.09097,
              0.13867,
              0.23884,
              0.44823,
              0.8763,
              1.73678,
              3.4562
            ],
            [
              0.05317,
              0.10202,
              0.14803,
              0.24581,
              0.4514,
              0.87687,
              1.73778,
              3.4571
            ],
            [
              0.07407,
              0.12537,
              0.16962,
              0.26445,
              0.4656,
              0.8835,
              1.7386,
              3.4601
            ],
            [
              0.0921,
              0.1463,
              0.19,
              0.2826,
              0.4832,
              0.8985,
              1.7432,
              3.4578
            ],
            [
              0.1351,
              0.1962,
              0.2416,
              0.3309,
              0.5278,
              0.9479,
              1.7865,
              3.4731
            ],
            [
              0.1552,
              0.2189,
              0.2659,
              0.3544,
              0.5492,
              0.9709,
              1.814,
              3.4902
            ],
            [
              0.1745,
              0.2403,
              0.2889,
              0.378,
              0.5701,
              0.992,
              1.8426,
              3.5163
            ]
          ]
        },
        "sdf_cond": "(A1&!A2&B2)",
        "timing_sense": "positive_unate",
        "when": "(A1&!A2&B2)"
      },
      {
        "cell_fall,delay_template11x8": {
          "index_1": [
            0.001,
            0.013,
            0.026,
            0.072,
            0.216,
            0.432,
            0.864,
            1.296,
            2.5,
            3.125,
            3.75
          ],
          "index_2": [
            0.0,
            0.00785,
            0.01571,
            0.03143,
            0.06285,
            0.12571,
            0.25142,
            0.50284
          ],
          "values": [
            [
              0.11276,
              0.1725,
              0.2197,
              0.30853,
              0.48279,
              0.83131,
              1.52927,
              2.92697
            ],
            [
              0.11663,
              0.17621,
              0.22339,
              0.31222,
              0.48644,
              0.83497,
              1.53367,
              2.93087
            ],
            [
              0.11824,
              0.17776,
              0.22495,
              0.31375,
              0.488,
              0.83661,
              1.53453,
              2.93303
            ],
            [
              0.12848,
              0.18768,
              0.23475,
              0.32351,
              0.49771,
              0.84622,
              1.5443,
              2.9416
            ],
            [
              0.16917,
              0.22817,
              0.27419,
              0.36172,
              0.53478,
              0.8825,
              1.5802,
              2.9779
            ],
            [
              0.2197,
              0.28108,
              0.32759,
              0.41478,
              0.58585,
              0.9317,
              1.6281,
              3.025
            ],
            [
              0.3005,
              0.368,
              0.4177,
              0.5066,
              0.6776,
              1.02,
              1.7129,
              3.1059
            ],
            [
              0.3686,
              0.4412,
              0.494,
              0.5864,
              0.7612,
              1.1034,
              1.7927,
              3.1838
            ],
            [
              0.53167,
              0.61517,
              0.67437,
              0.77597,
              0.96157,
              1.31857,
              2.00757,
              3.38957
            ],
            [
              0.60833,
              0.69633,
              0.75843,
              0.86393,
              1.05493,
              1.41933,
              2.11723,
              3.49563
            ],
            [
              0.6818,
              0.7739,
              0.8385,
              0.9477,
              1.1437,
              1.515,
              2.2246,
              3.6009
            ]
          ]
        },
        "cell_rise,delay_template11x8": {
          "index_1": [
            0.001,
            0.013,
            0.026,
            0.072,
            0.216,
            0.432,
            0.864,
            1.296,
            2.5,
            3.125,
            3.75
          ],
          "index_2": [
            0.0,
            0.00785,
            0.01571,
            0.03143,
            0.06285,
            0.12571,
            0.25142,
            0.50284
          ],
          "values": [
            [
              0.10914,
              0.15765,
              0.19608,
              0.26813,
              0.40936,
              0.69167,
              1.25697,
              2.38807
            ],
            [
              0.11225,
              0.16055,
              0.19899,
              0.27099,
              0.41222,
              0.69466,
              1.25977,
              2.39127
            ],
            [
              0.11267,
              0.16093,
              0.19934,
              0.27135,
              0.41254,
              0.6947,
              1.26063,
              2.39163
            ],
            [
              0.11442,
              0.16246,
              0.20079,
              0.27281,
              0.414,
              0.69654,
              1.262,
              2.3929
            ],
            [
              0.12728,
              0.17661,
              0.2148,
              0.28619,
              0.42661,
              0.70891,
              1.2738,
              2.404
            ],
            [
              0.13635,
              0.19091,
              0.23068,
              0.30328,
              0.44331,
              0.7238,
              1.2872,
              2.4185
            ],
            [
              0.13459,
              0.19764,
              0.24149,
              0.3186,
              0.4642,
              0.7452,
              1.3068,
              2.4356
            ],
            [
              0.1215,
              0.1912,
              0.2384,
              0.3195,
              0.4703,
              0.7601,
              1.3208,
              2.4471
            ],
            [
              0.06157,
              0.14477,
              0.19977,
              0.28997,
              0.45167,
              0.76047,
              1.34897,
              2.47367
            ],
            [
              0.02353,
              0.11213,
              0.17053,
              0.26493,
              0.43143,
              0.74723,
              1.35033,
              2.48673
            ],
            [
              -0.0172,
              0.0762,
              0.1377,
              0.236,
              0.407,
              0.7294,
              1.3442,
              2.4979
            ]
          ]
        },
        "fall_transition,delay_template11x8": {
          "index_1": [
            0.001,
            0.013,
            0.026,
            0.072,
            0.216,
            0.432,
            0.864,
            1.296,
            2.5,
            3.125,
            3.75
          ],
          "index_2": [
            0.0,
            0.00785,
            0.01571,
            0.03143,
            0.06285,
            0.12571,
            0.25142,
            0.50284
          ],
          "values": [
            [
              0.03553,
              0.08982,
              0.14214,
              0.2516,
              0.478,
              0.93883,
              1.86082,
              3.7112
            ],
            [
              0.03552,
              0.0898,
              0.14219,
              0.25179,
              0.47832,
              0.93965,
              1.86227,
              3.7089
            ],
            [
              0.03551,
              0.08983,
              0.1422,
              0.25154,
              0.47831,
              0.93975,
              1.86281,
              3.7105
            ],
            [
              0.03554,
              0.08999,
              0.14224,
              0.25168,
              0.47829,
              0.93909,
              1.86334,
              3.7131
            ],
            [
              0.04057,
              0.09429,
              0.14495,
              0.25285,
              0.47884,
              0.93884,
              1.8608,
              3.7085
            ],
            [
              0.05016,
              0.10507,
              0.15443,
              0.25861,
              0.4808,
              0.93919,
              1.863,
              3.7083
            ],
            [
              0.0694,
              0.1281,
              0.1764,
              0.2769,
              0.4913,
              0.9423,
              1.8624,
              3.7099
            ],
            [
              0.0862,
              0.1484,
              0.1979,
              0.2986,
              0.5097,
              0.9517,
              1.8643,
              3.7088
            ],
            [
              0.1261,
              0.1965,
              0.25,
              0.3536,
              0.5684,
              1.0037,
              1.8885,
              3.7115
            ],
            [
              0.1445,
              0.2184,
              0.2742,
              0.38,
              0.5967,
              1.0365,
              1.9109,
              3.7167
            ],
            [
              0.1619,
              0.2393,
              0.2967,
              0.4047,
              0.6242,
              1.0685,
              1.9404,
              3.7294
            ]
          ]
        },
        "related_pin": "B2",
        "rise_transition,delay_template11x8": {
          "index_1": [
            0.001,
            0.013,
            0.026,
            0.072,
            0.216,
            0.432,
            0.864,
            1.296,
            2.5,
            3.125,
            3.75
          ],
          "index_2": [
            0.0,
            0.00785,
            0.01571,
            0.03143,
            0.06285,
            0.12571,
            0.25142,
            0.50284
          ],
          "values": [
            [
              0.03236,
              0.08174,
              0.13152,
              0.23472,
              0.4467,
              0.87635,
              1.73699,
              3.45937
            ],
            [
              0.03237,
              0.08171,
              0.13152,
              0.23462,
              0.44743,
              0.8762,
              1.73637,
              3.45978
            ],
            [
              0.03238,
              0.08173,
              0.13152,
              0.23466,
              0.44667,
              0.87582,
              1.73696,
              3.4578
            ],
            [
              0.03241,
              0.08185,
              0.13167,
              0.23491,
              0.4468,
              0.87624,
              1.73683,
              3.4578
            ],
            [
              0.03843,
              0.08684,
              0.13499,
              0.23642,
              0.44766,
              0.87643,
              1.73679,
              3.4601
            ],
            [
              0.05028,
              0.09966,
              0.14629,
              0.24441,
              0.45074,
              0.87697,
              1.73662,
              3.4606
            ],
            [
              0.07011,
              0.12359,
              0.17,
              0.26734,
              0.4694,
              0.8854,
              1.7387,
              3.457
            ],
            [
              0.0872,
              0.144,
              0.1912,
              0.2885,
              0.4931,
              0.906,
              1.7446,
              3.4566
            ],
            [
              0.1281,
              0.1917,
              0.2423,
              0.3418,
              0.5492,
              0.9738,
              1.8025,
              3.4756
            ],
            [
              0.1472,
              0.2135,
              0.2658,
              0.3669,
              0.5757,
              1.005,
              1.8398,
              3.4998
            ],
            [
              0.1656,
              0.2336,
              0.2877,
              0.3904,
              0.6016,
              1.0346,
              1.8797,
              3.5314
            ]
          ]
        },
        "sdf_cond": "(!A1&!A2&B1)",
        "timing_sense": "positive_unate",
        "when": "(!A1&!A2&B1)"
      },
      {
        "cell_fall,delay_template11x8": {
          "index_1": [
            0.001,
            0.013,
            0.026,
            0.072,
            0.216,
            0.432,
            0.864,
            1.296,
            2.5,
            3.125,
            3.75
          ],
          "index_2": [
            0.0,
            0.00785,
            0.01571,
            0.03143,
            0.06285,
            0.12571,
            0.25142,
            0.50284
          ],
          "values": [
            [
              0.13574,
              0.20107,
              0.25077,
              0.34169,
              0.51649,
              0.86449,
              1.56227,
              2.95917
            ],
            [
              0.14006,
              0.20517,
              0.25485,
              0.34576,
              0.52053,
              0.86847,
              1.56597,
              2.96367
            ],
            [
              0.14126,
              0.20633,
              0.256,
              0.34691,
              0.52175,
              0.86969,
              1.56753,
              2.96483
            ],
            [
              0.15069,
              0.21558,
              0.26517,
              0.35607,
              0.53089,
              0.87899,
              1.5764,
              2.9728
            ],
            [
              0.19561,
              0.2592,
              0.30792,
              0.39782,
              0.57181,
              0.9192,
              1.6163,
              3.013
            ],
            [
              0.25714,
              0.32262,
              0.37203,
              0.46126,
              0.63342,
              0.9789,
              1.6748,
              3.0696
            ],
            [
              0.3644,
              0.4351,
              0.4867,
              0.5771,
              0.749,
              1.091,
              1.7835,
              3.1769
            ],
            [
              0.4587,
              0.534,
              0.5888,
              0.683,
              0.8571,
              1.1985,
              1.8873,
              3.2779
            ],
            [
              0.69217,
              0.77747,
              0.83877,
              0.94307,
              1.12927,
              1.48247,
              2.16807,
              3.54947
            ],
            [
              0.80463,
              0.89413,
              0.95813,
              1.06653,
              1.25893,
              1.62033,
              2.31153,
              3.68943
            ],
            [
              0.9135,
              1.0068,
              1.0732,
              1.1854,
              1.3835,
              1.7526,
              2.4537,
              3.8282
            ]
          ]
        },
        "cell_rise,delay_template11x8": {
          "index_1": [
            0.001,
            0.013,
            0.026,
            0.072,
            0.216,
            0.432,
            0.864,
            1.296,
            2.5,
            3.125,
            3.75
          ],
          "index_2": [
            0.0,
            0.00785,
            0.01571,
            0.03143,
            0.06285,
            0.12571,
            0.25142,
            0.50284
          ],
          "values": [
            [
              0.1092,
              0.15771,
              0.19615,
              0.26817,
              0.40932,
              0.69153,
              1.25717,
              2.38737
            ],
            [
              0.11248,
              0.1608,
              0.19921,
              0.27127,
              0.41253,
              0.69505,
              1.25947,
              2.39067
            ],
            [
              0.11353,
              0.16179,
              0.2002,
              0.27222,
              0.41349,
              0.69594,
              1.26063,
              2.39133
            ],
            [
              0.11601,
              0.16408,
              0.2024,
              0.27439,
              0.41572,
              0.69776,
              1.2631,
              2.3948
            ],
            [
              0.12582,
              0.17517,
              0.21343,
              0.28491,
              0.42533,
              0.70703,
              1.2723,
              2.404
            ],
            [
              0.12634,
              0.18078,
              0.22056,
              0.29332,
              0.43351,
              0.7143,
              1.2783,
              2.4074
            ],
            [
              0.10434,
              0.16727,
              0.21084,
              0.2876,
              0.4333,
              0.7153,
              1.2771,
              2.4058
            ],
            [
              0.0701,
              0.1397,
              0.1866,
              0.2668,
              0.4169,
              0.7078,
              1.2698,
              2.3962
            ],
            [
              -0.05043,
              0.03307,
              0.08777,
              0.17647,
              0.33527,
              0.64227,
              1.23347,
              2.36077
            ],
            [
              -0.12017,
              -0.03107,
              0.02703,
              0.11983,
              0.28263,
              0.59513,
              1.19913,
              2.34103
            ],
            [
              -0.1927,
              -0.0988,
              -0.0375,
              0.0593,
              0.2257,
              0.5429,
              1.1573,
              2.3196
            ]
          ]
        },
        "fall_transition,delay_template11x8": {
          "index_1": [
            0.001,
            0.013,
            0.026,
            0.072,
            0.216,
            0.432,
            0.864,
            1.296,
            2.5,
            3.125,
            3.75
          ],
          "index_2": [
            0.0,
            0.00785,
            0.01571,
            0.03143,
            0.06285,
            0.12571,
            0.25142,
            0.50284
          ],
          "values": [
            [
              0.04466,
              0.1019,
              0.15305,
              0.25972,
              0.48248,
              0.9399,
              1.86365,
              3.7116
            ],
            [
              0.04466,
              0.10192,
              0.15313,
              0.25967,
              0.48287,
              0.94025,
              1.86343,
              3.7112
            ],
            [
              0.04465,
              0.10193,
              0.15305,
              0.25976,
              0.48252,
              0.94025,
              1.86446,
              3.712
            ],
            [
              0.04458,
              0.10194,
              0.15311,
              0.25972,
              0.48242,
              0.94003,
              1.86401,
              3.7104
            ],
            [
              0.04774,
              0.10444,
              0.15511,
              0.26085,
              0.48291,
              0.94035,
              1.86381,
              3.7099
            ],
            [
              0.05501,
              0.11415,
              0.16366,
              0.26643,
              0.48475,
              0.94071,
              1.8632,
              3.7071
            ],
            [
              0.0731,
              0.1351,
              0.1836,
              0.2829,
              0.4949,
              0.9441,
              1.8639,
              3.7102
            ],
            [
              0.0893,
              0.1551,
              0.2053,
              0.304,
              0.5113,
              0.9517,
              1.8659,
              3.7116
            ],
            [
              0.1281,
              0.202,
              0.2575,
              0.3608,
              0.5704,
              0.9973,
              1.8831,
              3.7114
            ],
            [
              0.1461,
              0.2234,
              0.2811,
              0.3876,
              0.5996,
              1.0298,
              1.9039,
              3.7145
            ],
            [
              0.1632,
              0.2436,
              0.3036,
              0.4127,
              0.6279,
              1.0623,
              1.9292,
              3.7218
            ]
          ]
        },
        "related_pin": "B2",
        "rise_transition,delay_template11x8": {
          "index_1": [
            0.001,
            0.013,
            0.026,
            0.072,
            0.216,
            0.432,
            0.864,
            1.296,
            2.5,
            3.125,
            3.75
          ],
          "index_2": [
            0.0,
            0.00785,
            0.01571,
            0.03143,
            0.06285,
            0.12571,
            0.25142,
            0.50284
          ],
          "values": [
            [
              0.03238,
              0.08173,
              0.13153,
              0.23469,
              0.44697,
              0.87618,
              1.73688,
              3.45689
            ],
            [
              0.03239,
              0.08179,
              0.1316,
              0.23484,
              0.44691,
              0.87683,
              1.73636,
              3.45816
            ],
            [
              0.03242,
              0.08171,
              0.13155,
              0.23477,
              0.44687,
              0.87644,
              1.73645,
              3.4576
            ],
            [
              0.03238,
              0.0819,
              0.13156,
              0.23478,
              0.44679,
              0.87617,
              1.73641,
              3.4579
            ],
            [
              0.03824,
              0.08677,
              0.1351,
              0.23627,
              0.44733,
              0.876,
              1.73696,
              3.4579
            ],
            [
              0.05002,
              0.09936,
              0.14607,
              0.24435,
              0.45117,
              0.87691,
              1.73739,
              3.4568
            ],
            [
              0.07049,
              0.1233,
              0.16927,
              0.2673,
              0.46998,
              0.8864,
              1.7378,
              3.4575
            ],
            [
              0.0881,
              0.1441,
              0.1905,
              0.2872,
              0.4926,
              0.9077,
              1.7468,
              3.4594
            ],
            [
              0.1307,
              0.1932,
              0.2421,
              0.3385,
              0.5446,
              0.9724,
              1.8075,
              3.4835
            ],
            [
              0.1504,
              0.2155,
              0.2659,
              0.3629,
              0.5691,
              1.001,
              1.8449,
              3.5075
            ],
            [
              0.1694,
              0.2364,
              0.2885,
              0.3867,
              0.5925,
              1.027,
              1.883,
              3.544
            ]
          ]
        },
        "sdf_cond": "(!A1&A2&B1)",
        "timing_sense": "positive_unate",
        "when": "(!A1&A2&B1)"
      },
      {
        "cell_fall,delay_template11x8": {
          "index_1": [
            0.001,
            0.013,
            0.026,
            0.072,
            0.216,
            0.432,
            0.864,
            1.296,
            2.5,
            3.125,
            3.75
          ],
          "index_2": [
            0.0,
            0.00785,
            0.01571,
            0.03143,
            0.06285,
            0.12571,
            0.25142,
            0.50284
          ],
          "values": [
            [
              0.15227,
              0.2194,
              0.26969,
              0.3606,
              0.53512,
              0.88275,
              1.58017,
              2.97587
            ],
            [
              0.15619,
              0.22324,
              0.27352,
              0.36443,
              0.53891,
              0.88647,
              1.58397,
              2.98117
            ],
            [
              0.1573,
              0.22433,
              0.27461,
              0.36552,
              0.54004,
              0.88775,
              1.58473,
              2.98123
            ],
            [
              0.16619,
              0.2331,
              0.28333,
              0.37424,
              0.54876,
              0.89627,
              1.5933,
              2.9913
            ],
            [
              0.21023,
              0.27589,
              0.32535,
              0.4154,
              0.58919,
              0.9363,
              1.6331,
              3.0293
            ],
            [
              0.27346,
              0.34088,
              0.39099,
              0.47998,
              0.6518,
              0.997,
              1.6923,
              3.0875
            ],
            [
              0.3843,
              0.4567,
              0.5089,
              0.5988,
              0.7698,
              1.1111,
              1.8033,
              3.1957
            ],
            [
              0.4812,
              0.5584,
              0.6139,
              0.7077,
              0.8801,
              1.2203,
              1.9084,
              3.2982
            ],
            [
              0.71957,
              0.80707,
              0.86937,
              0.97397,
              1.15807,
              1.50797,
              2.19177,
              3.57247
            ],
            [
              0.83373,
              0.92553,
              0.99063,
              1.09963,
              1.29003,
              1.64763,
              2.33593,
              3.71293
            ],
            [
              0.9441,
              1.0397,
              1.1073,
              1.2202,
              1.4166,
              1.7814,
              2.4788,
              3.8519
            ]
          ]
        },
        "cell_rise,delay_template11x8": {
          "index_1": [
            0.001,
            0.013,
            0.026,
            0.072,
            0.216,
            0.432,
            0.864,
            1.296,
            2.5,
            3.125,
            3.75
          ],
          "index_2": [
            0.0,
            0.00785,
            0.01571,
            0.03143,
            0.06285,
            0.12571,
            0.25142,
            0.50284
          ],
          "values": [
            [
              0.11835,
              0.16939,
              0.20879,
              0.2817,
              0.423,
              0.70516,
              1.27047,
              2.40207
            ],
            [
              0.12163,
              0.17248,
              0.21187,
              0.28477,
              0.4261,
              0.70826,
              1.27247,
              2.40457
            ],
            [
              0.12267,
              0.17348,
              0.21285,
              0.28575,
              0.42702,
              0.70906,
              1.27433,
              2.40463
            ],
            [
              0.12511,
              0.17575,
              0.21504,
              0.28791,
              0.42924,
              0.71151,
              1.2765,
              2.4073
            ],
            [
              0.13672,
              0.18834,
              0.22736,
              0.29963,
              0.44019,
              0.72151,
              1.2867,
              2.4168
            ],
            [
              0.14131,
              0.1979,
              0.23847,
              0.31165,
              0.45178,
              0.7319,
              1.2953,
              2.4251
            ],
            [
              0.12557,
              0.19083,
              0.23551,
              0.3128,
              0.4579,
              0.7386,
              1.2998,
              2.4279
            ],
            [
              0.0958,
              0.1679,
              0.216,
              0.2971,
              0.4466,
              0.7356,
              1.2964,
              2.422
            ],
            [
              -0.01663,
              0.06967,
              0.12587,
              0.21627,
              0.37497,
              0.67967,
              1.26807,
              2.39397
            ],
            [
              -0.08337,
              0.00853,
              0.06833,
              0.16303,
              0.32613,
              0.63623,
              1.23713,
              2.37673
            ],
            [
              -0.1534,
              -0.0565,
              0.0066,
              0.1054,
              0.2726,
              0.5874,
              1.1986,
              2.3573
            ]
          ]
        },
        "fall_transition,delay_template11x8": {
          "index_1": [
            0.001,
            0.013,
            0.026,
            0.072,
            0.216,
            0.432,
            0.864,
            1.296,
            2.5,
            3.125,
            3.75
          ],
          "index_2": [
            0.0,
            0.00785,
            0.01571,
            0.03143,
            0.06285,
            0.12571,
            0.25142,
            0.50284
          ],
          "values": [
            [
              0.04869,
              0.1068,
              0.15686,
              0.26173,
              0.48362,
              0.94089,
              1.86336,
              3.7094
            ],
            [
              0.04868,
              0.10681,
              0.15678,
              0.26179,
              0.48343,
              0.94088,
              1.86506,
              3.7118
            ],
            [
              0.04869,
              0.10681,
              0.15684,
              0.26176,
              0.48349,
              0.94072,
              1.86368,
              3.7105
            ],
            [
              0.04865,
              0.10684,
              0.15685,
              0.26175,
              0.48363,
              0.94085,
              1.86408,
              3.7094
            ],
            [
              0.0505,
              0.10861,
              0.15839,
              0.26259,
              0.48421,
              0.94069,
              1.86508,
              3.7073
            ],
            [
              0.05792,
              0.11808,
              0.16663,
              0.26779,
              0.48545,
              0.94042,
              1.8636,
              3.7111
            ],
            [
              0.0762,
              0.139,
              0.1866,
              0.284,
              0.495,
              0.9437,
              1.8633,
              3.7109
            ],
            [
              0.0928,
              0.1597,
              0.2091,
              0.3051,
              0.5101,
              0.9503,
              1.8654,
              3.7108
            ],
            [
              0.1327,
              0.2084,
              0.2634,
              0.3637,
              0.5686,
              0.9935,
              1.8811,
              3.7109
            ],
            [
              0.151,
              0.2303,
              0.2877,
              0.3912,
              0.5986,
              1.0247,
              1.9005,
              3.7139
            ],
            [
              0.1683,
              0.2509,
              0.3106,
              0.4174,
              0.6272,
              1.0572,
              1.9242,
              3.7211
            ]
          ]
        },
        "related_pin": "B2",
        "rise_transition,delay_template11x8": {
          "index_1": [
            0.001,
            0.013,
            0.026,
            0.072,
            0.216,
            0.432,
            0.864,
            1.296,
            2.5,
            3.125,
            3.75
          ],
          "index_2": [
            0.0,
            0.00785,
            0.01571,
            0.03143,
            0.06285,
            0.12571,
            0.25142,
            0.50284
          ],
          "values": [
            [
              0.03655,
              0.08636,
              0.13554,
              0.23732,
              0.44802,
              0.87649,
              1.73707,
              3.45844
            ],
            [
              0.03655,
              0.0863,
              0.13551,
              0.23738,
              0.44776,
              0.87683,
              1.73665,
              3.4579
            ],
            [
              0.03656,
              0.08631,
              0.13551,
              0.23741,
              0.44803,
              0.87641,
              1.73841,
              3.4585
            ],
            [
              0.03655,
              0.0864,
              0.13564,
              0.23749,
              0.44776,
              0.87643,
              1.73856,
              3.4581
            ],
            [
              0.04155,
              0.09093,
              0.13875,
              0.23894,
              0.44848,
              0.87615,
              1.7365,
              3.4579
            ],
            [
              0.05308,
              0.10367,
              0.14986,
              0.24684,
              0.4518,
              0.87704,
              1.73811,
              3.4579
            ],
            [
              0.07339,
              0.12805,
              0.17387,
              0.2698,
              0.47036,
              0.8871,
              1.7379,
              3.4565
            ],
            [
              0.0911,
              0.1492,
              0.1957,
              0.2907,
              0.4932,
              0.9062,
              1.7454,
              3.4589
            ],
            [
              0.1338,
              0.1989,
              0.2483,
              0.3434,
              0.5461,
              0.97,
              1.8042,
              3.4787
            ],
            [
              0.1538,
              0.2215,
              0.2728,
              0.3692,
              0.571,
              0.9985,
              1.8407,
              3.5054
            ],
            [
              0.1729,
              0.2428,
              0.2959,
              0.3932,
              0.5959,
              1.0248,
              1.8786,
              3.5418
            ]
          ]
        },
        "sdf_cond": "(A1&!A2&B1)",
        "timing_sense": "positive_unate",
        "when": "(A1&!A2&B1)"
      }
    ]
  }
}