{
  "area": 12.7872,
  "cell_footprint": "sky130_fd_sc_ls__a32o",
  "cell_leakage_power": 0.0,
  "pg_pin,VGND": {
    "pg_type": "primary_ground",
    "related_bias_pin": "VPB",
    "voltage_name": "VGND"
  },
  "pg_pin,VNB": {
    "pg_type": "nwell",
    "physical_connection": "device_layer",
    "voltage_name": "VNB"
  },
  "pg_pin,VPB": {
    "pg_type": "pwell",
    "physical_connection": "device_layer",
    "voltage_name": "VPB"
  },
  "pg_pin,VPWR": {
    "pg_type": "primary_power",
    "related_bias_pin": "VNB",
    "voltage_name": "VPWR"
  },
  "pin,A1": {
    "capacitance": 0.00269,
    "clock": "false",
    "direction": "input",
    "internal_power": {
      "fall_power,hidden_pwr_template13": {
        "index_1": [
          0.01,
          0.01735,
          0.02602,
          0.03903,
          0.05855,
          0.08782,
          0.13172,
          0.19757,
          0.29634,
          0.44449,
          0.6667,
          1.0,
          1.5
        ],
        "values": [
          0.00234,
          0.00244,
          0.00242,
          0.00246,
          0.00245,
          0.00244,
          0.00244,
          0.00243,
          0.00243,
          0.00265,
          0.00267,
          0.00293,
          0.00304
        ]
      },
      "rise_power,hidden_pwr_template13": {
        "index_1": [
          0.01,
          0.01735,
          0.02602,
          0.03903,
          0.05855,
          0.08782,
          0.13172,
          0.19757,
          0.29634,
          0.44449,
          0.6667,
          1.0,
          1.5
        ],
        "values": [
          0.00268,
          0.00272,
          0.00269,
          0.00266,
          0.00262,
          0.00259,
          0.0026,
          0.0026,
          0.00263,
          0.00289,
          0.00298,
          0.00335,
          0.00357
        ]
      }
    },
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,A2": {
    "capacitance": 0.00264,
    "clock": "false",
    "direction": "input",
    "internal_power": {
      "fall_power,hidden_pwr_template13": {
        "index_1": [
          0.01,
          0.01735,
          0.02602,
          0.03903,
          0.05855,
          0.08782,
          0.13172,
          0.19757,
          0.29634,
          0.44449,
          0.6667,
          1.0,
          1.5
        ],
        "values": [
          0.00259,
          0.00256,
          0.00254,
          0.0025,
          0.00246,
          0.00244,
          0.00244,
          0.00243,
          0.00245,
          0.00268,
          0.00274,
          0.00307,
          0.00325
        ]
      },
      "rise_power,hidden_pwr_template13": {
        "index_1": [
          0.01,
          0.01735,
          0.02602,
          0.03903,
          0.05855,
          0.08782,
          0.13172,
          0.19757,
          0.29634,
          0.44449,
          0.6667,
          1.0,
          1.5
        ],
        "values": [
          0.00218,
          0.00206,
          0.00223,
          0.00221,
          0.00221,
          0.00221,
          0.00219,
          0.00221,
          0.0022,
          0.0024,
          0.00244,
          0.00267,
          0.00276
        ]
      }
    },
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,A3": {
    "capacitance": 0.00273,
    "clock": "false",
    "direction": "input",
    "internal_power": {
      "fall_power,hidden_pwr_template13": {
        "index_1": [
          0.01,
          0.01735,
          0.02602,
          0.03903,
          0.05855,
          0.08782,
          0.13172,
          0.19757,
          0.29634,
          0.44449,
          0.6667,
          1.0,
          1.5
        ],
        "values": [
          0.00351,
          0.0035,
          0.00351,
          0.00347,
          0.00342,
          0.0034,
          0.00339,
          0.0034,
          0.00342,
          0.00377,
          0.00386,
          0.00432,
          0.00459
        ]
      },
      "rise_power,hidden_pwr_template13": {
        "index_1": [
          0.01,
          0.01735,
          0.02602,
          0.03903,
          0.05855,
          0.08782,
          0.13172,
          0.19757,
          0.29634,
          0.44449,
          0.6667,
          1.0,
          1.5
        ],
        "values": [
          0.00212,
          0.00212,
          0.00218,
          0.00216,
          0.00215,
          0.00217,
          0.00216,
          0.00214,
          0.00215,
          0.0023,
          0.00231,
          0.00249,
          0.0025
        ]
      }
    },
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,B1": {
    "capacitance": 0.00289,
    "clock": "false",
    "direction": "input",
    "internal_power": {
      "fall_power,hidden_pwr_template13": {
        "index_1": [
          0.01,
          0.01735,
          0.02602,
          0.03903,
          0.05855,
          0.08782,
          0.13172,
          0.19757,
          0.29634,
          0.44449,
          0.6667,
          1.0,
          1.5
        ],
        "values": [
          0.00223,
          0.00225,
          0.00221,
          0.00216,
          0.00216,
          0.00216,
          0.00217,
          0.00217,
          0.00217,
          0.00234,
          0.00235,
          0.00254,
          0.00258
        ]
      },
      "rise_power,hidden_pwr_template13": {
        "index_1": [
          0.01,
          0.01735,
          0.02602,
          0.03903,
          0.05855,
          0.08782,
          0.13172,
          0.19757,
          0.29634,
          0.44449,
          0.6667,
          1.0,
          1.5
        ],
        "values": [
          0.00307,
          0.00291,
          0.00292,
          0.0029,
          0.00287,
          0.00284,
          0.00286,
          0.00288,
          0.00291,
          0.00322,
          0.00334,
          0.00381,
          0.00414
        ]
      }
    },
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,B2": {
    "capacitance": 0.00256,
    "clock": "false",
    "direction": "input",
    "internal_power": {
      "fall_power,hidden_pwr_template13": {
        "index_1": [
          0.01,
          0.01735,
          0.02602,
          0.03903,
          0.05855,
          0.08782,
          0.13172,
          0.19757,
          0.29634,
          0.44449,
          0.6667,
          1.0,
          1.5
        ],
        "values": [
          0.00319,
          0.00305,
          0.00308,
          0.00303,
          0.00301,
          0.00299,
          0.00301,
          0.00301,
          0.00306,
          0.00338,
          0.00351,
          0.00399,
          0.00432
        ]
      },
      "rise_power,hidden_pwr_template13": {
        "index_1": [
          0.01,
          0.01735,
          0.02602,
          0.03903,
          0.05855,
          0.08782,
          0.13172,
          0.19757,
          0.29634,
          0.44449,
          0.6667,
          1.0,
          1.5
        ],
        "values": [
          0.00199,
          0.00209,
          0.00202,
          0.00201,
          0.00199,
          0.00199,
          0.002,
          0.00199,
          0.00198,
          0.00214,
          0.00214,
          0.00231,
          0.00233
        ]
      }
    },
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,X": {
    "direction": "output",
    "function": "(A1&A2&A3) | (B1&B2)",
    "internal_power": [
      {
        "fall_power,pwr_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00721,
            0.01442,
            0.02883,
            0.05767,
            0.11534
          ],
          "values": [
            [
              0.02892,
              0.02026,
              0.0113,
              -0.00694,
              -0.04377,
              -0.1176
            ],
            [
              0.02891,
              0.02024,
              0.01128,
              -0.00695,
              -0.04378,
              -0.11761
            ],
            [
              0.02888,
              0.02022,
              0.01126,
              -0.00697,
              -0.0438,
              -0.11763
            ],
            [
              0.02883,
              0.02016,
              0.0112,
              -0.00703,
              -0.04385,
              -0.11769
            ],
            [
              0.02877,
              0.02011,
              0.01115,
              -0.00709,
              -0.04391,
              -0.11774
            ],
            [
              0.02869,
              0.02002,
              0.01106,
              -0.00717,
              -0.044,
              -0.11783
            ],
            [
              0.02859,
              0.01992,
              0.01096,
              -0.00727,
              -0.04409,
              -0.11792
            ],
            [
              0.02849,
              0.0198,
              0.01084,
              -0.00738,
              -0.04421,
              -0.11804
            ],
            [
              0.02839,
              0.01968,
              0.01071,
              -0.00751,
              -0.04432,
              -0.11815
            ],
            [
              0.0283,
              0.01955,
              0.01058,
              -0.00763,
              -0.04442,
              -0.11823
            ],
            [
              0.02824,
              0.01944,
              0.01046,
              -0.00774,
              -0.04452,
              -0.11832
            ],
            [
              0.02824,
              0.01932,
              0.01034,
              -0.00784,
              -0.0446,
              -0.11836
            ],
            [
              0.02831,
              0.01932,
              0.01028,
              -0.00793,
              -0.04464,
              -0.11835
            ]
          ]
        },
        "related_pin": "A1",
        "rise_power,pwr_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00721,
            0.01442,
            0.02883,
            0.05767,
            0.11534
          ],
          "values": [
            [
              0.01114,
              0.02048,
              0.02974,
              0.04803,
              0.08478,
              0.1579
            ],
            [
              0.01107,
              0.0204,
              0.02967,
              0.04795,
              0.08474,
              0.15779
            ],
            [
              0.01106,
              0.02037,
              0.02964,
              0.04794,
              0.0847,
              0.15775
            ],
            [
              0.01102,
              0.02035,
              0.02961,
              0.04791,
              0.08463,
              0.1577
            ],
            [
              0.01095,
              0.02027,
              0.02953,
              0.04786,
              0.08453,
              0.15762
            ],
            [
              0.01088,
              0.0202,
              0.02945,
              0.04778,
              0.08454,
              0.15762
            ],
            [
              0.01079,
              0.02012,
              0.02938,
              0.04769,
              0.08447,
              0.15756
            ],
            [
              0.01068,
              0.02002,
              0.02929,
              0.04759,
              0.08428,
              0.15744
            ],
            [
              0.01057,
              0.01991,
              0.02918,
              0.04747,
              0.08428,
              0.15737
            ],
            [
              0.01049,
              0.0198,
              0.02905,
              0.04738,
              0.08409,
              0.15727
            ],
            [
              0.01049,
              0.01974,
              0.02898,
              0.04728,
              0.08401,
              0.15729
            ],
            [
              0.01057,
              0.01979,
              0.02898,
              0.04731,
              0.08391,
              0.1572
            ],
            [
              0.0108,
              0.01998,
              0.02923,
              0.04754,
              0.0841,
              0.15726
            ]
          ]
        },
        "when": "(A2&A3&!B1) | (A2&A3&!B2)"
      },
      {
        "fall_power,pwr_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00721,
            0.01442,
            0.02883,
            0.05767,
            0.11534
          ],
          "values": [
            [
              0.0313,
              0.02256,
              0.01359,
              -0.00461,
              -0.0414,
              -0.11521
            ],
            [
              0.03128,
              0.02253,
              0.01357,
              -0.00463,
              -0.04142,
              -0.11523
            ],
            [
              0.03125,
              0.02251,
              0.01354,
              -0.00466,
              -0.04145,
              -0.11526
            ],
            [
              0.03121,
              0.02246,
              0.0135,
              -0.0047,
              -0.04149,
              -0.1153
            ],
            [
              0.03116,
              0.02241,
              0.01344,
              -0.00475,
              -0.04155,
              -0.11536
            ],
            [
              0.03108,
              0.02234,
              0.01337,
              -0.00483,
              -0.04162,
              -0.11543
            ],
            [
              0.03101,
              0.02226,
              0.01329,
              -0.0049,
              -0.04169,
              -0.1155
            ],
            [
              0.03094,
              0.02216,
              0.01321,
              -0.00499,
              -0.04178,
              -0.11558
            ],
            [
              0.03085,
              0.02208,
              0.01311,
              -0.00508,
              -0.04187,
              -0.11568
            ],
            [
              0.03078,
              0.02198,
              0.01301,
              -0.00519,
              -0.04196,
              -0.11575
            ],
            [
              0.03072,
              0.02188,
              0.0129,
              -0.00529,
              -0.04205,
              -0.11583
            ],
            [
              0.03072,
              0.02179,
              0.0128,
              -0.00538,
              -0.04212,
              -0.11587
            ],
            [
              0.0308,
              0.02178,
              0.01273,
              -0.00547,
              -0.04216,
              -0.11586
            ]
          ]
        },
        "related_pin": "A2",
        "rise_power,pwr_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00721,
            0.01442,
            0.02883,
            0.05767,
            0.11534
          ],
          "values": [
            [
              0.01114,
              0.02047,
              0.0297,
              0.04797,
              0.08466,
              0.15786
            ],
            [
              0.0111,
              0.02042,
              0.02966,
              0.04791,
              0.08463,
              0.15765
            ],
            [
              0.01104,
              0.02038,
              0.02961,
              0.04789,
              0.08457,
              0.15762
            ],
            [
              0.01103,
              0.02034,
              0.02958,
              0.04785,
              0.08458,
              0.15766
            ],
            [
              0.01096,
              0.02029,
              0.02954,
              0.04779,
              0.0845,
              0.15761
            ],
            [
              0.0109,
              0.02023,
              0.02946,
              0.04773,
              0.08447,
              0.15755
            ],
            [
              0.01083,
              0.02016,
              0.02941,
              0.04768,
              0.08444,
              0.15745
            ],
            [
              0.01073,
              0.02006,
              0.0293,
              0.04759,
              0.08431,
              0.1574
            ],
            [
              0.01062,
              0.01995,
              0.0292,
              0.04749,
              0.08423,
              0.15728
            ],
            [
              0.01053,
              0.01984,
              0.02909,
              0.04738,
              0.0841,
              0.15711
            ],
            [
              0.01046,
              0.01973,
              0.02899,
              0.04728,
              0.08398,
              0.15711
            ],
            [
              0.01047,
              0.01972,
              0.02893,
              0.04722,
              0.0839,
              0.15728
            ],
            [
              0.01056,
              0.01976,
              0.02904,
              0.04734,
              0.08394,
              0.15697
            ]
          ]
        },
        "when": "(A1&A3&!B1) | (A1&A3&!B2)"
      },
      {
        "fall_power,pwr_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00721,
            0.01442,
            0.02883,
            0.05767,
            0.11534
          ],
          "values": [
            [
              0.03352,
              0.02458,
              0.01547,
              -0.00292,
              -0.03989,
              -0.11382
            ],
            [
              0.03346,
              0.02454,
              0.01542,
              -0.00297,
              -0.03993,
              -0.11387
            ],
            [
              0.03342,
              0.02449,
              0.01538,
              -0.00301,
              -0.03997,
              -0.1139
            ],
            [
              0.03337,
              0.02443,
              0.01533,
              -0.00305,
              -0.04002,
              -0.11395
            ],
            [
              0.03331,
              0.02439,
              0.01528,
              -0.0031,
              -0.04007,
              -0.11399
            ],
            [
              0.03326,
              0.02433,
              0.01522,
              -0.00315,
              -0.04011,
              -0.11404
            ],
            [
              0.03321,
              0.02428,
              0.01518,
              -0.0032,
              -0.04016,
              -0.11409
            ],
            [
              0.03314,
              0.02421,
              0.0151,
              -0.00326,
              -0.04022,
              -0.11415
            ],
            [
              0.03306,
              0.02413,
              0.01503,
              -0.00334,
              -0.04028,
              -0.11421
            ],
            [
              0.033,
              0.02406,
              0.01497,
              -0.00338,
              -0.04032,
              -0.11423
            ],
            [
              0.03296,
              0.02397,
              0.01488,
              -0.00344,
              -0.04035,
              -0.11426
            ],
            [
              0.03295,
              0.02393,
              0.01485,
              -0.00346,
              -0.04035,
              -0.11423
            ],
            [
              0.03304,
              0.02393,
              0.0148,
              -0.0035,
              -0.04032,
              -0.11416
            ]
          ]
        },
        "related_pin": "A3",
        "rise_power,pwr_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00721,
            0.01442,
            0.02883,
            0.05767,
            0.11534
          ],
          "values": [
            [
              0.01111,
              0.02043,
              0.02965,
              0.0479,
              0.08452,
              0.15757
            ],
            [
              0.01104,
              0.02037,
              0.02958,
              0.04783,
              0.08449,
              0.15748
            ],
            [
              0.01104,
              0.02036,
              0.0296,
              0.04783,
              0.08449,
              0.15741
            ],
            [
              0.01099,
              0.02031,
              0.02954,
              0.04776,
              0.08438,
              0.15739
            ],
            [
              0.01091,
              0.02023,
              0.02946,
              0.04771,
              0.08438,
              0.1574
            ],
            [
              0.01085,
              0.02017,
              0.0294,
              0.04764,
              0.08438,
              0.15735
            ],
            [
              0.01077,
              0.02009,
              0.02932,
              0.04757,
              0.0842,
              0.15724
            ],
            [
              0.01067,
              0.01999,
              0.02921,
              0.04748,
              0.08412,
              0.15718
            ],
            [
              0.01055,
              0.01987,
              0.02909,
              0.04736,
              0.08402,
              0.15709
            ],
            [
              0.01045,
              0.01974,
              0.02897,
              0.04728,
              0.08387,
              0.15706
            ],
            [
              0.01035,
              0.01963,
              0.02886,
              0.04715,
              0.08374,
              0.15696
            ],
            [
              0.01032,
              0.0196,
              0.02881,
              0.04709,
              0.0837,
              0.15682
            ],
            [
              0.01035,
              0.01959,
              0.02885,
              0.04717,
              0.08366,
              0.15678
            ]
          ]
        },
        "when": "(A1&A2&!B1) | (A1&A2&!B2)"
      },
      {
        "fall_power,pwr_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00721,
            0.01442,
            0.02883,
            0.05767,
            0.11534
          ],
          "values": [
            [
              0.0171,
              0.00842,
              -0.00058,
              -0.01887,
              -0.05572,
              -0.12954
            ],
            [
              0.01709,
              0.00838,
              -0.00062,
              -0.0189,
              -0.05575,
              -0.12958
            ],
            [
              0.01705,
              0.00834,
              -0.00066,
              -0.01895,
              -0.0558,
              -0.12963
            ],
            [
              0.01698,
              0.00828,
              -0.00072,
              -0.019,
              -0.05586,
              -0.12968
            ],
            [
              0.0169,
              0.00819,
              -0.00081,
              -0.01909,
              -0.05594,
              -0.12977
            ],
            [
              0.0168,
              0.00809,
              -0.00092,
              -0.0192,
              -0.05605,
              -0.12988
            ],
            [
              0.01669,
              0.00796,
              -0.00105,
              -0.01932,
              -0.05617,
              -0.12999
            ],
            [
              0.01658,
              0.00783,
              -0.00118,
              -0.01944,
              -0.05628,
              -0.1301
            ],
            [
              0.01649,
              0.00769,
              -0.00131,
              -0.01957,
              -0.05639,
              -0.1302
            ],
            [
              0.01644,
              0.0076,
              -0.00141,
              -0.01966,
              -0.05646,
              -0.13025
            ],
            [
              0.01651,
              0.00759,
              -0.00143,
              -0.01966,
              -0.05645,
              -0.13021
            ],
            [
              0.01675,
              0.00772,
              -0.00134,
              -0.01956,
              -0.05631,
              -0.13005
            ],
            [
              0.01713,
              0.00801,
              -0.00106,
              -0.01933,
              -0.05606,
              -0.12978
            ]
          ]
        },
        "related_pin": "B1",
        "rise_power,pwr_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00721,
            0.01442,
            0.02883,
            0.05767,
            0.11534
          ],
          "values": [
            [
              0.00689,
              0.01656,
              0.02586,
              0.0443,
              0.08095,
              0.15413
            ],
            [
              0.00686,
              0.01651,
              0.02583,
              0.04426,
              0.08093,
              0.1541
            ],
            [
              0.00683,
              0.01649,
              0.02581,
              0.04424,
              0.08091,
              0.15411
            ],
            [
              0.00677,
              0.01644,
              0.02574,
              0.04415,
              0.08085,
              0.15401
            ],
            [
              0.0067,
              0.01635,
              0.02568,
              0.0441,
              0.08076,
              0.15405
            ],
            [
              0.00661,
              0.01624,
              0.02557,
              0.04403,
              0.08072,
              0.15401
            ],
            [
              0.00649,
              0.01611,
              0.02541,
              0.04388,
              0.08057,
              0.1538
            ],
            [
              0.00636,
              0.01592,
              0.02523,
              0.04372,
              0.08042,
              0.15368
            ],
            [
              0.00624,
              0.01574,
              0.02505,
              0.04351,
              0.08016,
              0.15355
            ],
            [
              0.00618,
              0.01559,
              0.02491,
              0.04334,
              0.08012,
              0.15337
            ],
            [
              0.0062,
              0.01559,
              0.02484,
              0.04329,
              0.08001,
              0.1534
            ],
            [
              0.00636,
              0.0157,
              0.02497,
              0.04333,
              0.08011,
              0.15349
            ],
            [
              0.0067,
              0.01594,
              0.02524,
              0.04369,
              0.08026,
              0.15341
            ]
          ]
        },
        "when": "(!A1&B2) | (!A2&B2) | (!A3&B2)"
      },
      {
        "fall_power,pwr_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00721,
            0.01442,
            0.02883,
            0.05767,
            0.11534
          ],
          "values": [
            [
              0.01914,
              0.01039,
              0.00138,
              -0.01688,
              -0.05372,
              -0.12753
            ],
            [
              0.0191,
              0.01035,
              0.00134,
              -0.01693,
              -0.05376,
              -0.12758
            ],
            [
              0.01905,
              0.0103,
              0.0013,
              -0.01697,
              -0.05381,
              -0.12762
            ],
            [
              0.01903,
              0.01027,
              0.00127,
              -0.017,
              -0.05383,
              -0.12765
            ],
            [
              0.01898,
              0.01022,
              0.00121,
              -0.01705,
              -0.05389,
              -0.12771
            ],
            [
              0.01892,
              0.01016,
              0.00115,
              -0.01711,
              -0.05395,
              -0.12777
            ],
            [
              0.01886,
              0.01009,
              0.00108,
              -0.01718,
              -0.05401,
              -0.12783
            ],
            [
              0.0188,
              0.01001,
              0.001,
              -0.01726,
              -0.05408,
              -0.1279
            ],
            [
              0.01874,
              0.00993,
              0.00092,
              -0.01733,
              -0.05415,
              -0.12795
            ],
            [
              0.01873,
              0.00988,
              0.00086,
              -0.01738,
              -0.05418,
              -0.12797
            ],
            [
              0.01882,
              0.00989,
              0.00087,
              -0.01737,
              -0.05415,
              -0.1279
            ],
            [
              0.01909,
              0.01005,
              0.00099,
              -0.01723,
              -0.05399,
              -0.12772
            ],
            [
              0.01953,
              0.01041,
              0.00132,
              -0.01695,
              -0.05369,
              -0.1274
            ]
          ]
        },
        "related_pin": "B2",
        "rise_power,pwr_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00721,
            0.01442,
            0.02883,
            0.05767,
            0.11534
          ],
          "values": [
            [
              0.00684,
              0.01651,
              0.02581,
              0.04425,
              0.08086,
              0.15416
            ],
            [
              0.00682,
              0.01649,
              0.0258,
              0.04422,
              0.08087,
              0.15418
            ],
            [
              0.0068,
              0.01648,
              0.0258,
              0.04422,
              0.08089,
              0.15403
            ],
            [
              0.00677,
              0.01644,
              0.02574,
              0.0442,
              0.08081,
              0.15413
            ],
            [
              0.0067,
              0.01636,
              0.0257,
              0.04411,
              0.08079,
              0.15398
            ],
            [
              0.00662,
              0.01627,
              0.02559,
              0.04405,
              0.08073,
              0.15392
            ],
            [
              0.0065,
              0.01614,
              0.02546,
              0.04394,
              0.08054,
              0.15381
            ],
            [
              0.00637,
              0.01596,
              0.02527,
              0.04378,
              0.08038,
              0.15363
            ],
            [
              0.00623,
              0.01578,
              0.02509,
              0.04355,
              0.08031,
              0.15353
            ],
            [
              0.00614,
              0.01561,
              0.02494,
              0.04339,
              0.08009,
              0.1534
            ],
            [
              0.00609,
              0.01554,
              0.02481,
              0.04328,
              0.08002,
              0.15323
            ],
            [
              0.00614,
              0.01556,
              0.02485,
              0.04322,
              0.07997,
              0.15344
            ],
            [
              0.00635,
              0.01563,
              0.025,
              0.04346,
              0.08003,
              0.15325
            ]
          ]
        },
        "when": "(!A1&B1) | (!A2&B1) | (!A3&B1)"
      }
    ],
    "max_capacitance": 0.07586,
    "power_down_function": "(!VPWR + VGND)",
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR",
    "timing": [
      {
        "cell_fall,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00721,
            0.01442,
            0.02883,
            0.05767,
            0.11534
          ],
          "values": [
            [
              0.25117,
              0.32915,
              0.38184,
              0.47031,
              0.62862,
              0.93124
            ],
            [
              0.25439,
              0.33238,
              0.38517,
              0.47357,
              0.63181,
              0.93475
            ],
            [
              0.25807,
              0.33606,
              0.38877,
              0.47715,
              0.63557,
              0.93822
            ],
            [
              0.26355,
              0.34159,
              0.39431,
              0.48269,
              0.64104,
              0.94373
            ],
            [
              0.27182,
              0.34975,
              0.40256,
              0.49098,
              0.64926,
              0.95201
            ],
            [
              0.28441,
              0.36234,
              0.41514,
              0.50357,
              0.66177,
              0.96492
            ],
            [
              0.30334,
              0.38119,
              0.43399,
              0.52243,
              0.68071,
              0.98363
            ],
            [
              0.3314,
              0.40913,
              0.46192,
              0.55037,
              0.70868,
              1.01176
            ],
            [
              0.3724,
              0.45015,
              0.50295,
              0.59146,
              0.74969,
              1.05295
            ],
            [
              0.43224,
              0.51014,
              0.56309,
              0.65169,
              0.81029,
              1.11329
            ],
            [
              0.51212,
              0.59432,
              0.64832,
              0.73772,
              0.89642,
              1.19972
            ],
            [
              0.61067,
              0.70057,
              0.75837,
              0.85167,
              1.01257,
              1.31647
            ],
            [
              0.7297,
              0.83,
              0.8927,
              0.9912,
              1.1572,
              1.4634
            ]
          ]
        },
        "cell_rise,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00721,
            0.01442,
            0.02883,
            0.05767,
            0.11534
          ],
          "values": [
            [
              0.25103,
              0.34623,
              0.41814,
              0.55127,
              0.81241,
              1.33087
            ],
            [
              0.25335,
              0.34857,
              0.42034,
              0.55384,
              0.81419,
              1.33334
            ],
            [
              0.25623,
              0.35139,
              0.42323,
              0.55669,
              0.81724,
              1.33662
            ],
            [
              0.26059,
              0.35579,
              0.42773,
              0.5609,
              0.82203,
              1.34018
            ],
            [
              0.26733,
              0.36257,
              0.43439,
              0.56792,
              0.82831,
              1.34761
            ],
            [
              0.27768,
              0.3729,
              0.44485,
              0.57819,
              0.83916,
              1.35822
            ],
            [
              0.29339,
              0.38861,
              0.46058,
              0.59391,
              0.85496,
              1.37423
            ],
            [
              0.31729,
              0.41253,
              0.48446,
              0.61784,
              0.87886,
              1.39636
            ],
            [
              0.35386,
              0.44908,
              0.52105,
              0.65429,
              0.91555,
              1.43385
            ],
            [
              0.40987,
              0.50482,
              0.57671,
              0.71009,
              0.97079,
              1.48939
            ],
            [
              0.48412,
              0.58102,
              0.65332,
              0.78662,
              1.04742,
              1.56622
            ],
            [
              0.57467,
              0.67437,
              0.74757,
              0.88217,
              1.14337,
              1.66237
            ],
            [
              0.6817,
              0.787,
              0.8609,
              0.9959,
              1.2582,
              1.7762
            ]
          ]
        },
        "fall_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00721,
            0.01442,
            0.02883,
            0.05767,
            0.11534
          ],
          "values": [
            [
              0.03826,
              0.09999,
              0.14999,
              0.2452,
              0.43718,
              0.83463
            ],
            [
              0.03826,
              0.09998,
              0.15,
              0.24514,
              0.43716,
              0.83415
            ],
            [
              0.03826,
              0.09999,
              0.14999,
              0.24536,
              0.4372,
              0.83474
            ],
            [
              0.03826,
              0.09998,
              0.1502,
              0.24525,
              0.43726,
              0.83475
            ],
            [
              0.03825,
              0.10016,
              0.15044,
              0.24519,
              0.43717,
              0.83441
            ],
            [
              0.03825,
              0.1,
              0.15001,
              0.24508,
              0.43726,
              0.83359
            ],
            [
              0.03828,
              0.10018,
              0.15046,
              0.24517,
              0.43719,
              0.83426
            ],
            [
              0.03828,
              0.10023,
              0.15026,
              0.24522,
              0.43717,
              0.83488
            ],
            [
              0.03829,
              0.10016,
              0.15009,
              0.24536,
              0.43705,
              0.83307
            ],
            [
              0.0389,
              0.1005,
              0.1503,
              0.24528,
              0.43727,
              0.8348
            ],
            [
              0.0433,
              0.1047,
              0.1537,
              0.2472,
              0.4379,
              0.835
            ],
            [
              0.0495,
              0.1141,
              0.1629,
              0.2553,
              0.4424,
              0.8352
            ],
            [
              0.0583,
              0.1267,
              0.1764,
              0.2682,
              0.4515,
              0.8404
            ]
          ]
        },
        "related_pin": "A1",
        "rise_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00721,
            0.01442,
            0.02883,
            0.05767,
            0.11534
          ],
          "values": [
            [
              0.04919,
              0.13933,
              0.22538,
              0.40325,
              0.76759,
              1.50222
            ],
            [
              0.04924,
              0.13927,
              0.22583,
              0.40299,
              0.76733,
              1.50226
            ],
            [
              0.04932,
              0.13923,
              0.2257,
              0.40256,
              0.76795,
              1.50277
            ],
            [
              0.04926,
              0.13938,
              0.22538,
              0.40324,
              0.76756,
              1.50145
            ],
            [
              0.04919,
              0.13924,
              0.22575,
              0.4028,
              0.7678,
              1.50217
            ],
            [
              0.04923,
              0.13906,
              0.2252,
              0.40322,
              0.76791,
              1.50364
            ],
            [
              0.04924,
              0.13906,
              0.2252,
              0.40325,
              0.76785,
              1.50306
            ],
            [
              0.04925,
              0.13929,
              0.22542,
              0.4032,
              0.76745,
              1.50062
            ],
            [
              0.04925,
              0.13935,
              0.22533,
              0.40319,
              0.76755,
              1.5018
            ],
            [
              0.0492,
              0.13928,
              0.22534,
              0.40329,
              0.7665,
              1.502
            ],
            [
              0.0521,
              0.1412,
              0.2264,
              0.4036,
              0.7664,
              1.5019
            ],
            [
              0.0573,
              0.1443,
              0.2296,
              0.4059,
              0.7688,
              1.5027
            ],
            [
              0.0659,
              0.1493,
              0.2324,
              0.4085,
              0.7694,
              1.5025
            ]
          ]
        },
        "sdf_cond": "(A2&A3&!B1&!B2)",
        "timing_sense": "positive_unate",
        "when": "(A2&A3&!B1&!B2)"
      },
      {
        "cell_fall,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00721,
            0.01442,
            0.02883,
            0.05767,
            0.11534
          ],
          "values": [
            [
              0.28812,
              0.36703,
              0.41975,
              0.50799,
              0.66596,
              0.96913
            ],
            [
              0.2913,
              0.37013,
              0.42295,
              0.5112,
              0.6693,
              0.97193
            ],
            [
              0.29489,
              0.37372,
              0.42654,
              0.51481,
              0.67289,
              0.97562
            ],
            [
              0.30022,
              0.37911,
              0.43184,
              0.52009,
              0.6781,
              0.98108
            ],
            [
              0.30825,
              0.38708,
              0.43993,
              0.52813,
              0.6863,
              0.98901
            ],
            [
              0.32049,
              0.39929,
              0.45214,
              0.54035,
              0.69849,
              1.00122
            ],
            [
              0.3389,
              0.41765,
              0.4706,
              0.55874,
              0.71684,
              1.01983
            ],
            [
              0.36582,
              0.4445,
              0.49744,
              0.58559,
              0.74365,
              1.04686
            ],
            [
              0.40439,
              0.4831,
              0.5359,
              0.62421,
              0.78225,
              1.08555
            ],
            [
              0.45989,
              0.53859,
              0.59149,
              0.67989,
              0.83799,
              1.14129
            ],
            [
              0.53482,
              0.61632,
              0.66982,
              0.75872,
              0.91722,
              1.22012
            ],
            [
              0.62737,
              0.71507,
              0.77177,
              0.86387,
              1.02407,
              1.32777
            ],
            [
              0.7415,
              0.837,
              0.8975,
              0.9938,
              1.1584,
              1.4643
            ]
          ]
        },
        "cell_rise,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00721,
            0.01442,
            0.02883,
            0.05767,
            0.11534
          ],
          "values": [
            [
              0.2233,
              0.31863,
              0.39058,
              0.52395,
              0.78501,
              1.30257
            ],
            [
              0.2255,
              0.32084,
              0.39281,
              0.52616,
              0.78725,
              1.30504
            ],
            [
              0.22832,
              0.3236,
              0.39558,
              0.52893,
              0.79004,
              1.30792
            ],
            [
              0.23259,
              0.32788,
              0.39981,
              0.53338,
              0.79373,
              1.31268
            ],
            [
              0.23919,
              0.33454,
              0.40652,
              0.54014,
              0.80063,
              1.31981
            ],
            [
              0.24939,
              0.34474,
              0.41681,
              0.55028,
              0.81118,
              1.33032
            ],
            [
              0.265,
              0.36036,
              0.43243,
              0.56595,
              0.82679,
              1.34603
            ],
            [
              0.28905,
              0.38442,
              0.45639,
              0.58994,
              0.85056,
              1.36906
            ],
            [
              0.32621,
              0.42132,
              0.49328,
              0.62661,
              0.88785,
              1.40595
            ],
            [
              0.38098,
              0.47606,
              0.54792,
              0.68139,
              0.94209,
              1.45989
            ],
            [
              0.44972,
              0.54722,
              0.61972,
              0.75352,
              1.01442,
              1.53312
            ],
            [
              0.53267,
              0.63357,
              0.70687,
              0.84177,
              1.10317,
              1.62157
            ],
            [
              0.6298,
              0.7374,
              0.8116,
              0.9467,
              1.2093,
              1.7279
            ]
          ]
        },
        "fall_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00721,
            0.01442,
            0.02883,
            0.05767,
            0.11534
          ],
          "values": [
            [
              0.04152,
              0.10192,
              0.1512,
              0.24624,
              0.43807,
              0.83464
            ],
            [
              0.04149,
              0.10189,
              0.15121,
              0.24604,
              0.43811,
              0.83597
            ],
            [
              0.04149,
              0.1019,
              0.15122,
              0.246,
              0.43808,
              0.83584
            ],
            [
              0.04153,
              0.10195,
              0.15125,
              0.24615,
              0.43805,
              0.83521
            ],
            [
              0.0415,
              0.10191,
              0.15109,
              0.24608,
              0.43824,
              0.83586
            ],
            [
              0.04156,
              0.10189,
              0.15112,
              0.24664,
              0.43816,
              0.83616
            ],
            [
              0.04149,
              0.10194,
              0.15108,
              0.24597,
              0.43813,
              0.83515
            ],
            [
              0.04152,
              0.10196,
              0.15109,
              0.24601,
              0.43777,
              0.83552
            ],
            [
              0.04152,
              0.10192,
              0.15124,
              0.24624,
              0.43816,
              0.83568
            ],
            [
              0.04176,
              0.10208,
              0.15123,
              0.24613,
              0.4381,
              0.835
            ],
            [
              0.0453,
              0.1049,
              0.1533,
              0.2476,
              0.4386,
              0.836
            ],
            [
              0.0502,
              0.1129,
              0.1615,
              0.2542,
              0.4422,
              0.8373
            ],
            [
              0.0572,
              0.1228,
              0.172,
              0.2647,
              0.4503,
              0.841
            ]
          ]
        },
        "related_pin": "A1",
        "rise_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00721,
            0.01442,
            0.02883,
            0.05767,
            0.11534
          ],
          "values": [
            [
              0.04885,
              0.13904,
              0.22528,
              0.4031,
              0.76725,
              1.50039
            ],
            [
              0.04883,
              0.13908,
              0.2253,
              0.40309,
              0.76729,
              1.50074
            ],
            [
              0.04885,
              0.13907,
              0.22529,
              0.40308,
              0.76728,
              1.50084
            ],
            [
              0.04891,
              0.1389,
              0.22577,
              0.403,
              0.76734,
              1.50173
            ],
            [
              0.04879,
              0.13885,
              0.22577,
              0.40264,
              0.76763,
              1.50199
            ],
            [
              0.04879,
              0.13885,
              0.22511,
              0.40301,
              0.7678,
              1.50346
            ],
            [
              0.04882,
              0.13883,
              0.2253,
              0.4029,
              0.76785,
              1.50334
            ],
            [
              0.04881,
              0.13887,
              0.22574,
              0.40319,
              0.76666,
              1.50153
            ],
            [
              0.04862,
              0.13868,
              0.22512,
              0.40297,
              0.7673,
              1.5013
            ],
            [
              0.04957,
              0.13883,
              0.22506,
              0.40268,
              0.76644,
              1.5008
            ],
            [
              0.05279,
              0.1416,
              0.227,
              0.4034,
              0.7675,
              1.5032
            ],
            [
              0.0589,
              0.1449,
              0.23,
              0.4055,
              0.768,
              1.5022
            ],
            [
              0.0682,
              0.1506,
              0.2331,
              0.4088,
              0.77,
              1.5008
            ]
          ]
        },
        "sdf_cond": "(A2&A3&!B1&B2)",
        "timing_sense": "positive_unate",
        "when": "(A2&A3&!B1&B2)"
      },
      {
        "cell_fall,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00721,
            0.01442,
            0.02883,
            0.05767,
            0.11534
          ],
          "values": [
            [
              0.31887,
              0.39935,
              0.45314,
              0.54257,
              0.70177,
              1.00567
            ],
            [
              0.32222,
              0.40273,
              0.45652,
              0.54594,
              0.70527,
              1.00914
            ],
            [
              0.326,
              0.40649,
              0.46029,
              0.54972,
              0.70909,
              1.01302
            ],
            [
              0.33154,
              0.41202,
              0.46582,
              0.55526,
              0.71457,
              1.01848
            ],
            [
              0.3398,
              0.42028,
              0.47409,
              0.56354,
              0.72277,
              1.02671
            ],
            [
              0.35227,
              0.43271,
              0.48652,
              0.57597,
              0.73529,
              1.03932
            ],
            [
              0.37074,
              0.45123,
              0.50503,
              0.59449,
              0.7537,
              1.05763
            ],
            [
              0.39754,
              0.47794,
              0.53173,
              0.62125,
              0.78052,
              1.08446
            ],
            [
              0.43599,
              0.51637,
              0.57015,
              0.65963,
              0.81895,
              1.12295
            ],
            [
              0.49148,
              0.57174,
              0.6255,
              0.71499,
              0.87449,
              1.17829
            ],
            [
              0.57012,
              0.65152,
              0.70552,
              0.79522,
              0.95482,
              1.25852
            ],
            [
              0.66927,
              0.75677,
              0.81337,
              0.90547,
              1.06607,
              1.37037
            ],
            [
              0.7931,
              0.8879,
              0.9481,
              1.0444,
              1.209,
              1.5152
            ]
          ]
        },
        "cell_rise,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00721,
            0.01442,
            0.02883,
            0.05767,
            0.11534
          ],
          "values": [
            [
              0.23521,
              0.34058,
              0.41537,
              0.55068,
              0.81184,
              1.32937
            ],
            [
              0.23738,
              0.34276,
              0.41755,
              0.55288,
              0.81402,
              1.33174
            ],
            [
              0.24013,
              0.34554,
              0.42036,
              0.55568,
              0.81679,
              1.33492
            ],
            [
              0.24441,
              0.3498,
              0.42467,
              0.55998,
              0.82093,
              1.34018
            ],
            [
              0.25111,
              0.35652,
              0.43132,
              0.56669,
              0.82796,
              1.34551
            ],
            [
              0.26128,
              0.3667,
              0.44158,
              0.57694,
              0.83802,
              1.35622
            ],
            [
              0.27695,
              0.38237,
              0.45722,
              0.59261,
              0.85382,
              1.37113
            ],
            [
              0.30098,
              0.40641,
              0.48128,
              0.61665,
              0.87766,
              1.39596
            ],
            [
              0.33805,
              0.44327,
              0.51811,
              0.65343,
              0.91445,
              1.43285
            ],
            [
              0.3932,
              0.49836,
              0.57311,
              0.70819,
              0.96959,
              1.48819
            ],
            [
              0.46382,
              0.57252,
              0.64782,
              0.78342,
              1.04432,
              1.56222
            ],
            [
              0.54907,
              0.66347,
              0.74017,
              0.87707,
              1.13887,
              1.65647
            ],
            [
              0.6488,
              0.7734,
              0.8517,
              0.9895,
              1.2523,
              1.7705
            ]
          ]
        },
        "fall_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00721,
            0.01442,
            0.02883,
            0.05767,
            0.11534
          ],
          "values": [
            [
              0.043,
              0.10405,
              0.15348,
              0.2486,
              0.44047,
              0.83797
            ],
            [
              0.04297,
              0.10396,
              0.15352,
              0.24858,
              0.44036,
              0.83714
            ],
            [
              0.043,
              0.10397,
              0.15346,
              0.24883,
              0.44049,
              0.83682
            ],
            [
              0.04297,
              0.10395,
              0.15348,
              0.24873,
              0.44029,
              0.83716
            ],
            [
              0.043,
              0.10412,
              0.15349,
              0.24837,
              0.44049,
              0.83793
            ],
            [
              0.043,
              0.10402,
              0.15395,
              0.24847,
              0.44042,
              0.83777
            ],
            [
              0.04297,
              0.10406,
              0.15347,
              0.24859,
              0.44046,
              0.83799
            ],
            [
              0.04298,
              0.10413,
              0.15351,
              0.24842,
              0.4405,
              0.83793
            ],
            [
              0.04297,
              0.10419,
              0.15355,
              0.24843,
              0.44049,
              0.83789
            ],
            [
              0.04305,
              0.10422,
              0.15362,
              0.24841,
              0.4404,
              0.8374
            ],
            [
              0.0453,
              0.1056,
              0.1544,
              0.249,
              0.4407,
              0.8377
            ],
            [
              0.0501,
              0.1127,
              0.1614,
              0.2542,
              0.4429,
              0.8384
            ],
            [
              0.0565,
              0.122,
              0.1712,
              0.2647,
              0.4504,
              0.8405
            ]
          ]
        },
        "related_pin": "A1",
        "rise_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00721,
            0.01442,
            0.02883,
            0.05767,
            0.11534
          ],
          "values": [
            [
              0.05808,
              0.14708,
              0.23179,
              0.40586,
              0.76735,
              1.50038
            ],
            [
              0.05809,
              0.14708,
              0.2318,
              0.40586,
              0.76722,
              1.50045
            ],
            [
              0.05819,
              0.14706,
              0.23173,
              0.40602,
              0.7671,
              1.50032
            ],
            [
              0.05807,
              0.14706,
              0.23149,
              0.40659,
              0.76849,
              1.50307
            ],
            [
              0.05809,
              0.14705,
              0.23184,
              0.40615,
              0.76782,
              1.50032
            ],
            [
              0.05811,
              0.14705,
              0.23168,
              0.40602,
              0.76742,
              1.50015
            ],
            [
              0.05808,
              0.14707,
              0.23178,
              0.40598,
              0.76731,
              1.50038
            ],
            [
              0.05804,
              0.14702,
              0.23155,
              0.40653,
              0.76844,
              1.50015
            ],
            [
              0.0579,
              0.14694,
              0.23137,
              0.40616,
              0.76769,
              1.5002
            ],
            [
              0.05876,
              0.1471,
              0.23152,
              0.40644,
              0.7682,
              1.502
            ],
            [
              0.06382,
              0.1505,
              0.2334,
              0.4067,
              0.7684,
              1.4998
            ],
            [
              0.0723,
              0.1555,
              0.2378,
              0.4102,
              0.7698,
              1.5003
            ],
            [
              0.084,
              0.1636,
              0.2429,
              0.414,
              0.7704,
              1.5021
            ]
          ]
        },
        "sdf_cond": "(A2&A3&B1&!B2)",
        "timing_sense": "positive_unate",
        "when": "(A2&A3&B1&!B2)"
      },
      {
        "cell_fall,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00721,
            0.01442,
            0.02883,
            0.05767,
            0.11534
          ],
          "values": [
            [
              0.28346,
              0.3633,
              0.41723,
              0.50699,
              0.66664,
              0.97032
            ],
            [
              0.28653,
              0.36637,
              0.42031,
              0.51006,
              0.66977,
              0.97369
            ],
            [
              0.29017,
              0.37002,
              0.42398,
              0.51373,
              0.67331,
              0.9775
            ],
            [
              0.29569,
              0.37556,
              0.42951,
              0.51928,
              0.67881,
              0.98308
            ],
            [
              0.30409,
              0.38394,
              0.43789,
              0.52768,
              0.68727,
              0.99121
            ],
            [
              0.31689,
              0.39673,
              0.4507,
              0.54046,
              0.70008,
              1.00422
            ],
            [
              0.33607,
              0.41589,
              0.46983,
              0.55961,
              0.7193,
              1.02333
            ],
            [
              0.36415,
              0.44399,
              0.49794,
              0.58773,
              0.74746,
              1.05136
            ],
            [
              0.40515,
              0.48485,
              0.53878,
              0.62861,
              0.78825,
              1.09225
            ],
            [
              0.46517,
              0.54478,
              0.59875,
              0.68859,
              0.84839,
              1.15259
            ],
            [
              0.54942,
              0.63112,
              0.68562,
              0.77582,
              0.93572,
              1.23982
            ],
            [
              0.65577,
              0.74437,
              0.80197,
              0.89507,
              1.05647,
              1.36117
            ],
            [
              0.7863,
              0.8841,
              0.946,
              1.044,
              1.2099,
              1.5164
            ]
          ]
        },
        "cell_rise,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00721,
            0.01442,
            0.02883,
            0.05767,
            0.11534
          ],
          "values": [
            [
              0.26847,
              0.36368,
              0.43542,
              0.56857,
              0.82898,
              1.34637
            ],
            [
              0.27107,
              0.36627,
              0.4381,
              0.57122,
              0.83148,
              1.35054
            ],
            [
              0.27429,
              0.36949,
              0.44134,
              0.57426,
              0.83504,
              1.35362
            ],
            [
              0.27915,
              0.37437,
              0.44622,
              0.57925,
              0.83991,
              1.35858
            ],
            [
              0.28612,
              0.38133,
              0.45316,
              0.58622,
              0.8469,
              1.36451
            ],
            [
              0.29611,
              0.39131,
              0.46319,
              0.59623,
              0.85697,
              1.37572
            ],
            [
              0.31078,
              0.40599,
              0.47786,
              0.61097,
              0.87168,
              1.39043
            ],
            [
              0.33276,
              0.42795,
              0.49984,
              0.63295,
              0.89376,
              1.41266
            ],
            [
              0.36589,
              0.46103,
              0.53291,
              0.66604,
              0.92695,
              1.44485
            ],
            [
              0.41547,
              0.51059,
              0.58247,
              0.71579,
              0.97619,
              1.49379
            ],
            [
              0.48282,
              0.58052,
              0.65282,
              0.78622,
              1.04662,
              1.56502
            ],
            [
              0.56927,
              0.67057,
              0.74397,
              0.87857,
              1.13947,
              1.65867
            ],
            [
              0.6759,
              0.7828,
              0.8576,
              0.9929,
              1.2547,
              1.7728
            ]
          ]
        },
        "fall_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00721,
            0.01442,
            0.02883,
            0.05767,
            0.11534
          ],
          "values": [
            [
              0.04013,
              0.10263,
              0.15276,
              0.24816,
              0.43994,
              0.83639
            ],
            [
              0.0401,
              0.10259,
              0.15279,
              0.24836,
              0.43997,
              0.83677
            ],
            [
              0.04013,
              0.10273,
              0.15267,
              0.24849,
              0.43952,
              0.83613
            ],
            [
              0.04011,
              0.10275,
              0.15271,
              0.24856,
              0.43946,
              0.83584
            ],
            [
              0.04013,
              0.10267,
              0.15296,
              0.2481,
              0.44003,
              0.83604
            ],
            [
              0.04013,
              0.10274,
              0.1527,
              0.2484,
              0.43961,
              0.8362
            ],
            [
              0.0401,
              0.10264,
              0.1528,
              0.24827,
              0.43986,
              0.83646
            ],
            [
              0.04011,
              0.10272,
              0.15279,
              0.24835,
              0.43997,
              0.83678
            ],
            [
              0.04013,
              0.10271,
              0.15304,
              0.24816,
              0.44001,
              0.83595
            ],
            [
              0.04023,
              0.10296,
              0.1529,
              0.2484,
              0.4397,
              0.8364
            ],
            [
              0.0432,
              0.1048,
              0.1544,
              0.2488,
              0.4398,
              0.8369
            ],
            [
              0.0487,
              0.1131,
              0.1622,
              0.2548,
              0.4433,
              0.8374
            ],
            [
              0.0567,
              0.1244,
              0.1742,
              0.2664,
              0.4518,
              0.8402
            ]
          ]
        },
        "related_pin": "A2",
        "rise_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00721,
            0.01442,
            0.02883,
            0.05767,
            0.11534
          ],
          "values": [
            [
              0.04926,
              0.13931,
              0.22596,
              0.40338,
              0.76705,
              1.50084
            ],
            [
              0.04917,
              0.13906,
              0.22539,
              0.40301,
              0.76799,
              1.50344
            ],
            [
              0.04919,
              0.13933,
              0.2254,
              0.40328,
              0.76752,
              1.50326
            ],
            [
              0.04927,
              0.13907,
              0.22525,
              0.40329,
              0.76788,
              1.50349
            ],
            [
              0.04928,
              0.13931,
              0.22545,
              0.40327,
              0.76752,
              1.5011
            ],
            [
              0.04918,
              0.1391,
              0.22529,
              0.4033,
              0.76777,
              1.50357
            ],
            [
              0.04927,
              0.13907,
              0.2252,
              0.40327,
              0.76785,
              1.50355
            ],
            [
              0.04927,
              0.13909,
              0.22529,
              0.40329,
              0.76782,
              1.50377
            ],
            [
              0.04916,
              0.13933,
              0.2254,
              0.40322,
              0.76751,
              1.5014
            ],
            [
              0.04965,
              0.13934,
              0.22514,
              0.40258,
              0.7668,
              1.5003
            ],
            [
              0.0523,
              0.1414,
              0.2266,
              0.4037,
              0.7677,
              1.5005
            ],
            [
              0.0563,
              0.1451,
              0.2299,
              0.4057,
              0.7685,
              1.5033
            ],
            [
              0.0627,
              0.1502,
              0.2334,
              0.4086,
              0.7684,
              1.5011
            ]
          ]
        },
        "sdf_cond": "(A1&A3&!B1&!B2)",
        "timing_sense": "positive_unate",
        "when": "(A1&A3&!B1&!B2)"
      },
      {
        "cell_fall,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00721,
            0.01442,
            0.02883,
            0.05767,
            0.11534
          ],
          "values": [
            [
              0.3341,
              0.4157,
              0.47011,
              0.56024,
              0.72025,
              1.02427
            ],
            [
              0.33706,
              0.4187,
              0.4731,
              0.56325,
              0.7231,
              1.02754
            ],
            [
              0.3406,
              0.42224,
              0.47665,
              0.56679,
              0.72674,
              1.03112
            ],
            [
              0.34597,
              0.42762,
              0.48202,
              0.57217,
              0.73211,
              1.03658
            ],
            [
              0.35414,
              0.43579,
              0.4902,
              0.58035,
              0.74023,
              1.04441
            ],
            [
              0.36664,
              0.44824,
              0.50267,
              0.59282,
              0.75285,
              1.05692
            ],
            [
              0.3853,
              0.46691,
              0.52131,
              0.61147,
              0.77148,
              1.07543
            ],
            [
              0.41222,
              0.49381,
              0.54826,
              0.63842,
              0.79833,
              1.10256
            ],
            [
              0.45062,
              0.53214,
              0.58651,
              0.6767,
              0.83665,
              1.14115
            ],
            [
              0.50556,
              0.58702,
              0.64139,
              0.73159,
              0.89169,
              1.19579
            ],
            [
              0.58332,
              0.66562,
              0.72022,
              0.81062,
              0.97072,
              1.27502
            ],
            [
              0.68237,
              0.77007,
              0.82697,
              0.91947,
              1.08067,
              1.38527
            ],
            [
              0.8056,
              0.9003,
              0.9607,
              1.0571,
              1.2221,
              1.5287
            ]
          ]
        },
        "cell_rise,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00721,
            0.01442,
            0.02883,
            0.05767,
            0.11534
          ],
          "values": [
            [
              0.24071,
              0.33602,
              0.40791,
              0.54089,
              0.80168,
              1.32017
            ],
            [
              0.24321,
              0.33853,
              0.41042,
              0.54339,
              0.8042,
              1.32254
            ],
            [
              0.24633,
              0.34166,
              0.41353,
              0.54661,
              0.80734,
              1.32502
            ],
            [
              0.25106,
              0.34641,
              0.41825,
              0.55141,
              0.81208,
              1.32917
            ],
            [
              0.2579,
              0.35322,
              0.42516,
              0.55823,
              0.81899,
              1.33801
            ],
            [
              0.26779,
              0.36311,
              0.43507,
              0.5682,
              0.8289,
              1.34772
            ],
            [
              0.2824,
              0.37773,
              0.44966,
              0.58274,
              0.84363,
              1.36193
            ],
            [
              0.30438,
              0.39965,
              0.47159,
              0.6047,
              0.86566,
              1.38386
            ],
            [
              0.33769,
              0.43279,
              0.50463,
              0.63804,
              0.89835,
              1.41695
            ],
            [
              0.38627,
              0.48176,
              0.55367,
              0.68689,
              0.94789,
              1.46539
            ],
            [
              0.45012,
              0.54872,
              0.62132,
              0.75502,
              1.01582,
              1.53432
            ],
            [
              0.53107,
              0.63357,
              0.70737,
              0.84207,
              1.10337,
              1.62137
            ],
            [
              0.6294,
              0.7383,
              0.8134,
              0.949,
              1.2109,
              1.7295
            ]
          ]
        },
        "fall_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00721,
            0.01442,
            0.02883,
            0.05767,
            0.11534
          ],
          "values": [
            [
              0.04433,
              0.10565,
              0.15527,
              0.25038,
              0.44188,
              0.83846
            ],
            [
              0.04435,
              0.10571,
              0.15526,
              0.25043,
              0.44179,
              0.8387
            ],
            [
              0.04434,
              0.1057,
              0.15563,
              0.25024,
              0.44195,
              0.83731
            ],
            [
              0.04433,
              0.10589,
              0.15563,
              0.25024,
              0.44195,
              0.83728
            ],
            [
              0.04433,
              0.10562,
              0.15514,
              0.25061,
              0.4414,
              0.83888
            ],
            [
              0.04432,
              0.10578,
              0.15525,
              0.25043,
              0.44195,
              0.83841
            ],
            [
              0.04431,
              0.10568,
              0.15523,
              0.25044,
              0.44181,
              0.83847
            ],
            [
              0.04434,
              0.10564,
              0.15518,
              0.25049,
              0.44147,
              0.83883
            ],
            [
              0.04434,
              0.10587,
              0.15569,
              0.25034,
              0.44184,
              0.8387
            ],
            [
              0.04434,
              0.10575,
              0.15537,
              0.25069,
              0.442,
              0.8384
            ],
            [
              0.0461,
              0.1068,
              0.1561,
              0.2511,
              0.4422,
              0.8389
            ],
            [
              0.0507,
              0.1133,
              0.1622,
              0.2552,
              0.4444,
              0.8386
            ],
            [
              0.0569,
              0.1223,
              0.1721,
              0.2656,
              0.4511,
              0.8419
            ]
          ]
        },
        "related_pin": "A2",
        "rise_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00721,
            0.01442,
            0.02883,
            0.05767,
            0.11534
          ],
          "values": [
            [
              0.0488,
              0.13911,
              0.22525,
              0.40315,
              0.76751,
              1.50298
            ],
            [
              0.0488,
              0.1391,
              0.22527,
              0.40315,
              0.76756,
              1.50254
            ],
            [
              0.0488,
              0.13909,
              0.22532,
              0.40312,
              0.7673,
              1.50105
            ],
            [
              0.04885,
              0.139,
              0.22585,
              0.40316,
              0.76728,
              1.50022
            ],
            [
              0.0488,
              0.13912,
              0.22519,
              0.40316,
              0.76762,
              1.5027
            ],
            [
              0.0488,
              0.13917,
              0.22512,
              0.40315,
              0.76778,
              1.50348
            ],
            [
              0.0488,
              0.1391,
              0.22526,
              0.40312,
              0.76742,
              1.50224
            ],
            [
              0.04876,
              0.13908,
              0.22523,
              0.40311,
              0.76752,
              1.50201
            ],
            [
              0.04869,
              0.13877,
              0.22572,
              0.40307,
              0.7668,
              1.5017
            ],
            [
              0.04995,
              0.13929,
              0.22523,
              0.40306,
              0.76726,
              1.501
            ],
            [
              0.05287,
              0.1418,
              0.2273,
              0.4037,
              0.7673,
              1.5031
            ],
            [
              0.0573,
              0.1459,
              0.2302,
              0.4052,
              0.7675,
              1.5019
            ],
            [
              0.0645,
              0.1519,
              0.2344,
              0.4085,
              0.7691,
              1.5016
            ]
          ]
        },
        "sdf_cond": "(A1&A3&!B1&B2)",
        "timing_sense": "positive_unate",
        "when": "(A1&A3&!B1&B2)"
      },
      {
        "cell_fall,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00721,
            0.01442,
            0.02883,
            0.05767,
            0.11534
          ],
          "values": [
            [
              0.35542,
              0.43719,
              0.49171,
              0.58203,
              0.74234,
              1.04727
            ],
            [
              0.35847,
              0.44026,
              0.49476,
              0.58511,
              0.74542,
              1.05014
            ],
            [
              0.36213,
              0.44393,
              0.49843,
              0.58877,
              0.74895,
              1.05352
            ],
            [
              0.36764,
              0.44944,
              0.50396,
              0.5943,
              0.75447,
              1.05908
            ],
            [
              0.37605,
              0.45785,
              0.51236,
              0.60272,
              0.76297,
              1.06761
            ],
            [
              0.38872,
              0.47051,
              0.52504,
              0.61537,
              0.77567,
              1.08052
            ],
            [
              0.40761,
              0.48939,
              0.54391,
              0.63425,
              0.79455,
              1.09933
            ],
            [
              0.43488,
              0.51664,
              0.57116,
              0.6615,
              0.82185,
              1.12676
            ],
            [
              0.47361,
              0.55532,
              0.60981,
              0.70017,
              0.86055,
              1.16535
            ],
            [
              0.52933,
              0.61097,
              0.66549,
              0.75579,
              0.91619,
              1.22119
            ],
            [
              0.61002,
              0.69182,
              0.74642,
              0.83682,
              0.99722,
              1.30192
            ],
            [
              0.71607,
              0.80287,
              0.85917,
              0.95107,
              1.11207,
              1.41727
            ],
            [
              0.8489,
              0.9426,
              1.0022,
              1.0981,
              1.2625,
              1.5692
            ]
          ]
        },
        "cell_rise,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00721,
            0.01442,
            0.02883,
            0.05767,
            0.11534
          ],
          "values": [
            [
              0.25273,
              0.3581,
              0.43279,
              0.56782,
              0.82853,
              1.34617
            ],
            [
              0.25523,
              0.3606,
              0.43527,
              0.5703,
              0.83112,
              1.34834
            ],
            [
              0.25836,
              0.36374,
              0.4384,
              0.57335,
              0.83433,
              1.35292
            ],
            [
              0.26311,
              0.3685,
              0.44322,
              0.57827,
              0.83903,
              1.35668
            ],
            [
              0.26995,
              0.37534,
              0.45007,
              0.58514,
              0.84549,
              1.36411
            ],
            [
              0.27985,
              0.38524,
              0.46001,
              0.59509,
              0.85566,
              1.37382
            ],
            [
              0.29444,
              0.39982,
              0.47456,
              0.6097,
              0.87057,
              1.38773
            ],
            [
              0.31639,
              0.42173,
              0.49649,
              0.63151,
              0.89226,
              1.41036
            ],
            [
              0.34965,
              0.45483,
              0.52955,
              0.66479,
              0.92575,
              1.44305
            ],
            [
              0.39844,
              0.50392,
              0.57863,
              0.71389,
              0.97469,
              1.49289
            ],
            [
              0.46312,
              0.57232,
              0.64782,
              0.78332,
              1.04392,
              1.56192
            ],
            [
              0.54537,
              0.65987,
              0.73677,
              0.87357,
              1.13537,
              1.65347
            ],
            [
              0.6457,
              0.7685,
              0.8475,
              0.9858,
              1.2481,
              1.7663
            ]
          ]
        },
        "fall_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00721,
            0.01442,
            0.02883,
            0.05767,
            0.11534
          ],
          "values": [
            [
              0.04464,
              0.10599,
              0.15543,
              0.2504,
              0.44245,
              0.83933
            ],
            [
              0.04461,
              0.10598,
              0.15591,
              0.25057,
              0.44232,
              0.83894
            ],
            [
              0.04462,
              0.10596,
              0.15582,
              0.25051,
              0.44233,
              0.83949
            ],
            [
              0.04462,
              0.10597,
              0.15579,
              0.25049,
              0.44216,
              0.83941
            ],
            [
              0.04462,
              0.10597,
              0.156,
              0.25047,
              0.4421,
              0.83912
            ],
            [
              0.04463,
              0.10591,
              0.15548,
              0.25047,
              0.44241,
              0.83955
            ],
            [
              0.04463,
              0.10593,
              0.1555,
              0.25049,
              0.44243,
              0.83968
            ],
            [
              0.04462,
              0.10605,
              0.15541,
              0.251,
              0.44243,
              0.8389
            ],
            [
              0.04461,
              0.10616,
              0.15555,
              0.25031,
              0.44246,
              0.8383
            ],
            [
              0.04461,
              0.10601,
              0.15546,
              0.2504,
              0.4425,
              0.8392
            ],
            [
              0.0454,
              0.1067,
              0.1563,
              0.2509,
              0.4423,
              0.8395
            ],
            [
              0.05,
              0.1119,
              0.1606,
              0.254,
              0.4436,
              0.8387
            ],
            [
              0.056,
              0.1207,
              0.1704,
              0.2636,
              0.4507,
              0.8426
            ]
          ]
        },
        "related_pin": "A2",
        "rise_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00721,
            0.01442,
            0.02883,
            0.05767,
            0.11534
          ],
          "values": [
            [
              0.05819,
              0.14708,
              0.23181,
              0.40606,
              0.76731,
              1.50063
            ],
            [
              0.05818,
              0.1471,
              0.23189,
              0.40621,
              0.76735,
              1.50022
            ],
            [
              0.0582,
              0.1471,
              0.23182,
              0.40685,
              0.76828,
              1.50264
            ],
            [
              0.05812,
              0.14708,
              0.23171,
              0.40617,
              0.76714,
              1.50066
            ],
            [
              0.05816,
              0.14708,
              0.23176,
              0.40638,
              0.76831,
              1.49961
            ],
            [
              0.05807,
              0.14707,
              0.23161,
              0.4064,
              0.76804,
              1.50054
            ],
            [
              0.05809,
              0.14709,
              0.23183,
              0.40591,
              0.76728,
              1.49992
            ],
            [
              0.05817,
              0.14706,
              0.23165,
              0.4068,
              0.76845,
              1.50103
            ],
            [
              0.05793,
              0.14702,
              0.23177,
              0.40587,
              0.76727,
              1.5003
            ],
            [
              0.0592,
              0.14719,
              0.23186,
              0.40599,
              0.7678,
              1.5006
            ],
            [
              0.06305,
              0.1503,
              0.2335,
              0.4065,
              0.7684,
              1.5009
            ],
            [
              0.0686,
              0.1552,
              0.2378,
              0.4099,
              0.7698,
              1.5016
            ],
            [
              0.0774,
              0.1627,
              0.2435,
              0.4131,
              0.7696,
              1.5008
            ]
          ]
        },
        "sdf_cond": "(A1&A3&B1&!B2)",
        "timing_sense": "positive_unate",
        "when": "(A1&A3&B1&!B2)"
      },
      {
        "cell_fall,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00721,
            0.01442,
            0.02883,
            0.05767,
            0.11534
          ],
          "values": [
            [
              0.29315,
              0.37165,
              0.42468,
              0.51341,
              0.67224,
              0.97635
            ],
            [
              0.29589,
              0.37441,
              0.42742,
              0.51619,
              0.67506,
              0.97901
            ],
            [
              0.29947,
              0.378,
              0.43103,
              0.51978,
              0.67874,
              0.98242
            ],
            [
              0.30502,
              0.38356,
              0.4366,
              0.52538,
              0.68429,
              0.98808
            ],
            [
              0.31359,
              0.39213,
              0.44518,
              0.53397,
              0.69282,
              0.99691
            ],
            [
              0.32663,
              0.40517,
              0.45825,
              0.54703,
              0.70597,
              1.01002
            ],
            [
              0.34611,
              0.42464,
              0.47774,
              0.56655,
              0.72538,
              1.02953
            ],
            [
              0.37438,
              0.45291,
              0.50601,
              0.59485,
              0.75388,
              1.05736
            ],
            [
              0.41535,
              0.49383,
              0.54696,
              0.63586,
              0.79495,
              1.09865
            ],
            [
              0.47542,
              0.5538,
              0.607,
              0.69599,
              0.85509,
              1.15869
            ],
            [
              0.56122,
              0.64112,
              0.69472,
              0.78392,
              0.94322,
              1.24722
            ],
            [
              0.67047,
              0.75707,
              0.81357,
              0.90527,
              1.06557,
              1.36977
            ],
            [
              0.8052,
              0.9005,
              0.9611,
              1.0576,
              1.2221,
              1.5282
            ]
          ]
        },
        "cell_rise,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00721,
            0.01442,
            0.02883,
            0.05767,
            0.11534
          ],
          "values": [
            [
              0.27786,
              0.37308,
              0.44477,
              0.57779,
              0.83754,
              1.35637
            ],
            [
              0.28082,
              0.37604,
              0.44773,
              0.58077,
              0.84036,
              1.35914
            ],
            [
              0.28435,
              0.37957,
              0.45127,
              0.58431,
              0.84403,
              1.36202
            ],
            [
              0.28926,
              0.38449,
              0.45626,
              0.5892,
              0.84928,
              1.36778
            ],
            [
              0.29614,
              0.39135,
              0.46316,
              0.59606,
              0.85628,
              1.37471
            ],
            [
              0.30579,
              0.401,
              0.47281,
              0.60573,
              0.86594,
              1.38442
            ],
            [
              0.31937,
              0.41459,
              0.48628,
              0.6194,
              0.87924,
              1.39753
            ],
            [
              0.33881,
              0.434,
              0.50576,
              0.63876,
              0.89906,
              1.41606
            ],
            [
              0.36719,
              0.46231,
              0.53413,
              0.66703,
              0.92765,
              1.44625
            ],
            [
              0.40899,
              0.50413,
              0.57595,
              0.70919,
              0.96959,
              1.48799
            ],
            [
              0.46512,
              0.56302,
              0.63522,
              0.76872,
              1.02912,
              1.54702
            ],
            [
              0.53797,
              0.63967,
              0.71327,
              0.84767,
              1.10877,
              1.62617
            ],
            [
              0.6311,
              0.7379,
              0.8131,
              0.9488,
              1.2102,
              1.7286
            ]
          ]
        },
        "fall_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00721,
            0.01442,
            0.02883,
            0.05767,
            0.11534
          ],
          "values": [
            [
              0.04033,
              0.10267,
              0.15267,
              0.24838,
              0.43953,
              0.8368
            ],
            [
              0.04034,
              0.10268,
              0.15316,
              0.24795,
              0.44007,
              0.8363
            ],
            [
              0.04034,
              0.10265,
              0.15276,
              0.248,
              0.44003,
              0.837
            ],
            [
              0.04034,
              0.10265,
              0.15271,
              0.24799,
              0.44002,
              0.83676
            ],
            [
              0.04035,
              0.10268,
              0.15259,
              0.24814,
              0.44004,
              0.83585
            ],
            [
              0.04034,
              0.10271,
              0.15266,
              0.24834,
              0.4398,
              0.8372
            ],
            [
              0.04034,
              0.10277,
              0.15262,
              0.24836,
              0.43966,
              0.83655
            ],
            [
              0.04033,
              0.10263,
              0.15273,
              0.24796,
              0.44004,
              0.8372
            ],
            [
              0.04035,
              0.10263,
              0.15269,
              0.24808,
              0.44,
              0.83743
            ],
            [
              0.04038,
              0.10274,
              0.1526,
              0.24789,
              0.44,
              0.8373
            ],
            [
              0.0427,
              0.104,
              0.1535,
              0.2483,
              0.4402,
              0.8359
            ],
            [
              0.0479,
              0.1115,
              0.1607,
              0.2538,
              0.442,
              0.8379
            ],
            [
              0.0553,
              0.1222,
              0.1718,
              0.264,
              0.4501,
              0.8403
            ]
          ]
        },
        "related_pin": "A3",
        "rise_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00721,
            0.01442,
            0.02883,
            0.05767,
            0.11534
          ],
          "values": [
            [
              0.04924,
              0.13926,
              0.22577,
              0.40262,
              0.76795,
              1.50345
            ],
            [
              0.04921,
              0.13925,
              0.22578,
              0.40277,
              0.76774,
              1.50159
            ],
            [
              0.04928,
              0.13923,
              0.22576,
              0.40291,
              0.76717,
              1.50203
            ],
            [
              0.04921,
              0.13914,
              0.22549,
              0.4031,
              0.76807,
              1.50367
            ],
            [
              0.04923,
              0.13907,
              0.22531,
              0.40324,
              0.76799,
              1.50355
            ],
            [
              0.04923,
              0.13906,
              0.22529,
              0.40323,
              0.768,
              1.50358
            ],
            [
              0.04924,
              0.13928,
              0.22589,
              0.40308,
              0.76708,
              1.50182
            ],
            [
              0.04927,
              0.1393,
              0.22601,
              0.40335,
              0.7672,
              1.50054
            ],
            [
              0.04916,
              0.13941,
              0.22539,
              0.40332,
              0.76759,
              1.5039
            ],
            [
              0.04967,
              0.13918,
              0.2255,
              0.40296,
              0.768,
              1.5039
            ],
            [
              0.05217,
              0.1415,
              0.2271,
              0.404,
              0.7669,
              1.5007
            ],
            [
              0.0555,
              0.1454,
              0.23,
              0.4048,
              0.7678,
              1.5017
            ],
            [
              0.0602,
              0.1504,
              0.2343,
              0.4085,
              0.7689,
              1.5013
            ]
          ]
        },
        "sdf_cond": "(A1&A2&!B1&!B2)",
        "timing_sense": "positive_unate",
        "when": "(A1&A2&!B1&!B2)"
      },
      {
        "cell_fall,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00721,
            0.01442,
            0.02883,
            0.05767,
            0.11534
          ],
          "values": [
            [
              0.35229,
              0.43336,
              0.48719,
              0.57666,
              0.73607,
              1.04047
            ],
            [
              0.35485,
              0.43595,
              0.48977,
              0.57924,
              0.73874,
              1.04334
            ],
            [
              0.35826,
              0.43938,
              0.49323,
              0.58268,
              0.74227,
              1.04642
            ],
            [
              0.36364,
              0.44476,
              0.49861,
              0.58808,
              0.74762,
              1.05188
            ],
            [
              0.37201,
              0.45312,
              0.50698,
              0.59648,
              0.75605,
              1.06021
            ],
            [
              0.38478,
              0.46591,
              0.51977,
              0.60929,
              0.76877,
              1.07332
            ],
            [
              0.40376,
              0.48486,
              0.53874,
              0.62828,
              0.78787,
              1.09203
            ],
            [
              0.43083,
              0.51192,
              0.56581,
              0.65536,
              0.81499,
              1.11926
            ],
            [
              0.46908,
              0.55012,
              0.60401,
              0.69362,
              0.85315,
              1.15775
            ],
            [
              0.52372,
              0.60468,
              0.65859,
              0.74829,
              0.90799,
              1.21219
            ],
            [
              0.60222,
              0.68352,
              0.73752,
              0.82732,
              0.98722,
              1.29152
            ],
            [
              0.70377,
              0.79017,
              0.84627,
              0.93767,
              1.09827,
              1.40287
            ],
            [
              0.8302,
              0.9233,
              0.9827,
              1.0781,
              1.2422,
              1.5487
            ]
          ]
        },
        "cell_rise,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00721,
            0.01442,
            0.02883,
            0.05767,
            0.11534
          ],
          "values": [
            [
              0.25009,
              0.34542,
              0.41718,
              0.55009,
              0.81034,
              1.32737
            ],
            [
              0.25295,
              0.34827,
              0.42012,
              0.55297,
              0.81318,
              1.33164
            ],
            [
              0.25639,
              0.35172,
              0.42354,
              0.55632,
              0.81675,
              1.33502
            ],
            [
              0.26119,
              0.35651,
              0.4283,
              0.56134,
              0.82112,
              1.33987
            ],
            [
              0.26794,
              0.36328,
              0.43505,
              0.56805,
              0.82828,
              1.34511
            ],
            [
              0.27749,
              0.37283,
              0.44464,
              0.57758,
              0.83796,
              1.35532
            ],
            [
              0.29102,
              0.38633,
              0.45819,
              0.59122,
              0.85143,
              1.37003
            ],
            [
              0.31048,
              0.40574,
              0.47752,
              0.61064,
              0.87086,
              1.38846
            ],
            [
              0.33902,
              0.43412,
              0.50586,
              0.63913,
              0.89935,
              1.41755
            ],
            [
              0.37993,
              0.47556,
              0.54742,
              0.68069,
              0.94099,
              1.45869
            ],
            [
              0.43347,
              0.53222,
              0.60492,
              0.73852,
              0.99882,
              1.51672
            ],
            [
              0.50277,
              0.60547,
              0.67957,
              0.81427,
              1.07527,
              1.59327
            ],
            [
              0.5904,
              0.6987,
              0.7743,
              0.9102,
              1.1722,
              1.6903
            ]
          ]
        },
        "fall_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00721,
            0.01442,
            0.02883,
            0.05767,
            0.11534
          ],
          "values": [
            [
              0.04503,
              0.10646,
              0.15589,
              0.25088,
              0.44229,
              0.84016
            ],
            [
              0.04501,
              0.1063,
              0.1561,
              0.25083,
              0.44279,
              0.83948
            ],
            [
              0.04507,
              0.10623,
              0.15582,
              0.25116,
              0.44279,
              0.83966
            ],
            [
              0.04501,
              0.10628,
              0.1558,
              0.25099,
              0.44254,
              0.84011
            ],
            [
              0.045,
              0.10633,
              0.15583,
              0.25099,
              0.44267,
              0.84004
            ],
            [
              0.04506,
              0.10627,
              0.15611,
              0.25081,
              0.4428,
              0.84011
            ],
            [
              0.04501,
              0.10634,
              0.15583,
              0.25097,
              0.44266,
              0.84012
            ],
            [
              0.04501,
              0.10626,
              0.15583,
              0.25067,
              0.44277,
              0.83952
            ],
            [
              0.045,
              0.10632,
              0.15634,
              0.25083,
              0.44281,
              0.84
            ],
            [
              0.04502,
              0.10645,
              0.15587,
              0.25089,
              0.4426,
              0.8401
            ],
            [
              0.046,
              0.1068,
              0.1563,
              0.2508,
              0.4427,
              0.8395
            ],
            [
              0.0505,
              0.1126,
              0.1612,
              0.2545,
              0.4443,
              0.8405
            ],
            [
              0.0563,
              0.1209,
              0.1707,
              0.2643,
              0.4511,
              0.8431
            ]
          ]
        },
        "related_pin": "A3",
        "rise_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00721,
            0.01442,
            0.02883,
            0.05767,
            0.11534
          ],
          "values": [
            [
              0.04889,
              0.13894,
              0.22585,
              0.40322,
              0.76721,
              1.50057
            ],
            [
              0.04883,
              0.13891,
              0.22511,
              0.40316,
              0.76778,
              1.50345
            ],
            [
              0.0488,
              0.13909,
              0.22531,
              0.40314,
              0.76741,
              1.50343
            ],
            [
              0.04886,
              0.13885,
              0.22555,
              0.40261,
              0.76774,
              1.50254
            ],
            [
              0.04889,
              0.13891,
              0.22583,
              0.40326,
              0.76706,
              1.50012
            ],
            [
              0.04886,
              0.13904,
              0.22588,
              0.40316,
              0.76727,
              1.50093
            ],
            [
              0.04881,
              0.13886,
              0.22532,
              0.40299,
              0.76787,
              1.50342
            ],
            [
              0.04887,
              0.13891,
              0.22583,
              0.40332,
              0.76679,
              1.5013
            ],
            [
              0.04877,
              0.13882,
              0.22566,
              0.40312,
              0.76631,
              1.5017
            ],
            [
              0.05003,
              0.13912,
              0.22585,
              0.40242,
              0.76663,
              1.5019
            ],
            [
              0.05261,
              0.1421,
              0.2273,
              0.4037,
              0.7672,
              1.4998
            ],
            [
              0.056,
              0.146,
              0.2309,
              0.4056,
              0.7685,
              1.5009
            ],
            [
              0.0613,
              0.1517,
              0.235,
              0.4086,
              0.768,
              1.502
            ]
          ]
        },
        "sdf_cond": "(A1&A2&!B1&B2)",
        "timing_sense": "positive_unate",
        "when": "(A1&A2&!B1&B2)"
      },
      {
        "cell_fall,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00721,
            0.01442,
            0.02883,
            0.05767,
            0.11534
          ],
          "values": [
            [
              0.37084,
              0.45185,
              0.50568,
              0.59518,
              0.75493,
              1.05987
            ],
            [
              0.37347,
              0.4545,
              0.50832,
              0.59784,
              0.75759,
              1.06224
            ],
            [
              0.37697,
              0.45802,
              0.51184,
              0.60136,
              0.76108,
              1.06562
            ],
            [
              0.38244,
              0.46348,
              0.51735,
              0.60684,
              0.76653,
              1.07138
            ],
            [
              0.39095,
              0.472,
              0.52585,
              0.61538,
              0.77501,
              1.07971
            ],
            [
              0.40388,
              0.48493,
              0.53879,
              0.62834,
              0.78811,
              1.09302
            ],
            [
              0.42306,
              0.50412,
              0.55797,
              0.64755,
              0.80722,
              1.11173
            ],
            [
              0.45041,
              0.53144,
              0.58533,
              0.67491,
              0.83463,
              1.13946
            ],
            [
              0.48909,
              0.57009,
              0.62397,
              0.71361,
              0.87345,
              1.17815
            ],
            [
              0.54458,
              0.62552,
              0.67939,
              0.76909,
              0.92879,
              1.23349
            ],
            [
              0.62532,
              0.70632,
              0.76022,
              0.85002,
              1.00982,
              1.31502
            ],
            [
              0.73337,
              0.81877,
              0.87437,
              0.96517,
              1.12557,
              1.43057
            ],
            [
              0.8688,
              0.9608,
              1.0195,
              1.1143,
              1.2778,
              1.5841
            ]
          ]
        },
        "cell_rise,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00721,
            0.01442,
            0.02883,
            0.05767,
            0.11534
          ],
          "values": [
            [
              0.26212,
              0.3675,
              0.44213,
              0.57692,
              0.83722,
              1.35417
            ],
            [
              0.26498,
              0.37036,
              0.445,
              0.5798,
              0.8401,
              1.35724
            ],
            [
              0.26842,
              0.3738,
              0.44839,
              0.58322,
              0.84367,
              1.36092
            ],
            [
              0.27322,
              0.37861,
              0.4533,
              0.5881,
              0.84842,
              1.36528
            ],
            [
              0.27999,
              0.38538,
              0.46004,
              0.59488,
              0.85522,
              1.37221
            ],
            [
              0.28954,
              0.39493,
              0.46963,
              0.60446,
              0.86483,
              1.38182
            ],
            [
              0.30306,
              0.40844,
              0.48309,
              0.61804,
              0.87852,
              1.39633
            ],
            [
              0.32249,
              0.42782,
              0.50249,
              0.63744,
              0.89796,
              1.41516
            ],
            [
              0.35099,
              0.45617,
              0.53087,
              0.66588,
              0.92635,
              1.44405
            ],
            [
              0.39209,
              0.49768,
              0.57231,
              0.70739,
              0.96809,
              1.48629
            ],
            [
              0.44622,
              0.55552,
              0.63092,
              0.76652,
              1.02722,
              1.54582
            ],
            [
              0.51637,
              0.63047,
              0.70767,
              0.84437,
              1.10587,
              1.62427
            ],
            [
              0.6053,
              0.7262,
              0.8054,
              0.9441,
              1.2066,
              1.7246
            ]
          ]
        },
        "fall_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00721,
            0.01442,
            0.02883,
            0.05767,
            0.11534
          ],
          "values": [
            [
              0.04512,
              0.10648,
              0.1558,
              0.25115,
              0.44316,
              0.83994
            ],
            [
              0.04516,
              0.10638,
              0.15591,
              0.25142,
              0.44307,
              0.84019
            ],
            [
              0.04517,
              0.10636,
              0.15626,
              0.25104,
              0.44292,
              0.84046
            ],
            [
              0.04512,
              0.10634,
              0.15581,
              0.25088,
              0.44312,
              0.84091
            ],
            [
              0.04514,
              0.10629,
              0.15586,
              0.25091,
              0.44312,
              0.84081
            ],
            [
              0.04513,
              0.10648,
              0.15576,
              0.25127,
              0.4431,
              0.8402
            ],
            [
              0.04516,
              0.10634,
              0.15611,
              0.25088,
              0.44258,
              0.84064
            ],
            [
              0.04511,
              0.10636,
              0.1558,
              0.25087,
              0.44317,
              0.84086
            ],
            [
              0.04516,
              0.1064,
              0.1559,
              0.25138,
              0.44309,
              0.8402
            ],
            [
              0.04512,
              0.10632,
              0.1558,
              0.2509,
              0.4427,
              0.8407
            ],
            [
              0.0455,
              0.1066,
              0.156,
              0.2509,
              0.4428,
              0.8407
            ],
            [
              0.0499,
              0.1112,
              0.1599,
              0.2535,
              0.4438,
              0.8411
            ],
            [
              0.0556,
              0.1198,
              0.1689,
              0.2619,
              0.4501,
              0.8429
            ]
          ]
        },
        "related_pin": "A3",
        "rise_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00721,
            0.01442,
            0.02883,
            0.05767,
            0.11534
          ],
          "values": [
            [
              0.05811,
              0.14708,
              0.23178,
              0.40613,
              0.7676,
              1.50024
            ],
            [
              0.05811,
              0.14708,
              0.23181,
              0.4061,
              0.76758,
              1.50042
            ],
            [
              0.05819,
              0.14707,
              0.23193,
              0.40626,
              0.76719,
              1.50077
            ],
            [
              0.05811,
              0.14739,
              0.23164,
              0.40643,
              0.76751,
              1.49997
            ],
            [
              0.05811,
              0.14707,
              0.23177,
              0.40611,
              0.76763,
              1.50026
            ],
            [
              0.0582,
              0.14717,
              0.23161,
              0.40612,
              0.76764,
              1.50009
            ],
            [
              0.05821,
              0.14708,
              0.23184,
              0.40676,
              0.76724,
              1.49945
            ],
            [
              0.05809,
              0.14707,
              0.23174,
              0.40622,
              0.76757,
              1.50054
            ],
            [
              0.058,
              0.14706,
              0.23164,
              0.40632,
              0.76792,
              1.5005
            ],
            [
              0.05924,
              0.1475,
              0.23181,
              0.40686,
              0.7685,
              1.502
            ],
            [
              0.06252,
              0.1504,
              0.2338,
              0.4067,
              0.7687,
              1.5028
            ],
            [
              0.0667,
              0.1555,
              0.2377,
              0.4092,
              0.7689,
              1.5024
            ],
            [
              0.0731,
              0.1616,
              0.2437,
              0.4137,
              0.7705,
              1.5006
            ]
          ]
        },
        "sdf_cond": "(A1&A2&B1&!B2)",
        "timing_sense": "positive_unate",
        "when": "(A1&A2&B1&!B2)"
      },
      {
        "cell_fall,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00721,
            0.01442,
            0.02883,
            0.05767,
            0.11534
          ],
          "values": [
            [
              0.16656,
              0.23114,
              0.2766,
              0.35698,
              0.5094,
              0.81089
            ],
            [
              0.16909,
              0.23374,
              0.27914,
              0.35956,
              0.51193,
              0.81333
            ],
            [
              0.17213,
              0.23682,
              0.28219,
              0.36264,
              0.51492,
              0.81612
            ],
            [
              0.17681,
              0.24153,
              0.28707,
              0.36736,
              0.51972,
              0.821
            ],
            [
              0.18419,
              0.24882,
              0.29434,
              0.37472,
              0.52717,
              0.82829
            ],
            [
              0.19576,
              0.26033,
              0.30585,
              0.38632,
              0.5387,
              0.83982
            ],
            [
              0.21401,
              0.27846,
              0.32403,
              0.4045,
              0.55704,
              0.85836
            ],
            [
              0.24218,
              0.30651,
              0.35211,
              0.43271,
              0.58528,
              0.88626
            ],
            [
              0.2849,
              0.34912,
              0.39483,
              0.47557,
              0.62807,
              0.92945
            ],
            [
              0.34283,
              0.40972,
              0.45592,
              0.53699,
              0.68959,
              0.99129
            ],
            [
              0.41329,
              0.48492,
              0.53332,
              0.61622,
              0.76962,
              1.07132
            ],
            [
              0.49797,
              0.57647,
              0.62687,
              0.71187,
              0.86777,
              1.17007
            ],
            [
              0.5985,
              0.6868,
              0.7403,
              0.8277,
              0.985,
              1.2893
            ]
          ]
        },
        "cell_rise,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00721,
            0.01442,
            0.02883,
            0.05767,
            0.11534
          ],
          "values": [
            [
              0.13666,
              0.21801,
              0.28499,
              0.41485,
              0.67275,
              1.18917
            ],
            [
              0.13922,
              0.22059,
              0.28752,
              0.41728,
              0.67527,
              1.19164
            ],
            [
              0.14236,
              0.22372,
              0.29072,
              0.42063,
              0.67865,
              1.19482
            ],
            [
              0.14711,
              0.22851,
              0.29557,
              0.42549,
              0.68353,
              1.19968
            ],
            [
              0.15442,
              0.23573,
              0.30274,
              0.43268,
              0.69027,
              1.20711
            ],
            [
              0.16559,
              0.24676,
              0.31378,
              0.44354,
              0.702,
              1.21832
            ],
            [
              0.18267,
              0.26377,
              0.3308,
              0.46077,
              0.71886,
              1.23533
            ],
            [
              0.20844,
              0.28928,
              0.35639,
              0.48658,
              0.74485,
              1.26106
            ],
            [
              0.24333,
              0.32531,
              0.3924,
              0.52269,
              0.78145,
              1.29645
            ],
            [
              0.28595,
              0.37076,
              0.43852,
              0.56881,
              0.82769,
              1.34249
            ],
            [
              0.3371,
              0.4256,
              0.49432,
              0.62542,
              0.88372,
              1.39912
            ],
            [
              0.39677,
              0.49157,
              0.56087,
              0.69237,
              0.95167,
              1.46747
            ],
            [
              0.4648,
              0.5697,
              0.6405,
              0.7721,
              1.0315,
              1.5481
            ]
          ]
        },
        "fall_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00721,
            0.01442,
            0.02883,
            0.05767,
            0.11534
          ],
          "values": [
            [
              0.03153,
              0.08525,
              0.133,
              0.22844,
              0.42644,
              0.83036
            ],
            [
              0.03145,
              0.08541,
              0.13322,
              0.22855,
              0.42645,
              0.83168
            ],
            [
              0.03147,
              0.0852,
              0.13286,
              0.22872,
              0.42594,
              0.83062
            ],
            [
              0.03147,
              0.08543,
              0.13296,
              0.22856,
              0.42646,
              0.83033
            ],
            [
              0.03147,
              0.08522,
              0.13298,
              0.22845,
              0.42596,
              0.83102
            ],
            [
              0.03147,
              0.08521,
              0.13298,
              0.22856,
              0.42645,
              0.83089
            ],
            [
              0.03148,
              0.08529,
              0.1332,
              0.22846,
              0.42639,
              0.83028
            ],
            [
              0.03156,
              0.08539,
              0.13323,
              0.22845,
              0.42636,
              0.83101
            ],
            [
              0.03197,
              0.0856,
              0.13313,
              0.22857,
              0.42633,
              0.83085
            ],
            [
              0.03559,
              0.088,
              0.13465,
              0.22944,
              0.42621,
              0.83121
            ],
            [
              0.04125,
              0.09411,
              0.1404,
              0.2332,
              0.428,
              0.8299
            ],
            [
              0.0492,
              0.1014,
              0.1468,
              0.2396,
              0.4321,
              0.8318
            ],
            [
              0.0596,
              0.1123,
              0.1561,
              0.2465,
              0.4381,
              0.8343
            ]
          ]
        },
        "related_pin": "B1",
        "rise_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00721,
            0.01442,
            0.02883,
            0.05767,
            0.11534
          ],
          "values": [
            [
              0.03674,
              0.12347,
              0.21186,
              0.39248,
              0.75862,
              1.49322
            ],
            [
              0.03674,
              0.12381,
              0.21181,
              0.39284,
              0.7591,
              1.49377
            ],
            [
              0.03674,
              0.12384,
              0.21184,
              0.39245,
              0.7589,
              1.49265
            ],
            [
              0.03678,
              0.12346,
              0.21182,
              0.39278,
              0.75906,
              1.49261
            ],
            [
              0.03674,
              0.12344,
              0.21183,
              0.39232,
              0.75865,
              1.49385
            ],
            [
              0.03672,
              0.12371,
              0.21181,
              0.39308,
              0.75922,
              1.49388
            ],
            [
              0.03678,
              0.1235,
              0.21187,
              0.39261,
              0.75908,
              1.49385
            ],
            [
              0.03709,
              0.124,
              0.21191,
              0.39278,
              0.75895,
              1.49241
            ],
            [
              0.03941,
              0.12482,
              0.21234,
              0.39279,
              0.75996,
              1.4928
            ],
            [
              0.04292,
              0.12736,
              0.21402,
              0.39355,
              0.75981,
              1.4917
            ],
            [
              0.04864,
              0.13074,
              0.21677,
              0.3957,
              0.7591,
              1.4919
            ],
            [
              0.057,
              0.1358,
              0.2195,
              0.3969,
              0.761,
              1.4929
            ],
            [
              0.0677,
              0.1441,
              0.2246,
              0.3992,
              0.7622,
              1.4953
            ]
          ]
        },
        "sdf_cond": "(!A1&!A2&!A3&B2)",
        "timing_sense": "positive_unate",
        "when": "(!A1&!A2&!A3&B2)"
      },
      {
        "cell_fall,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00721,
            0.01442,
            0.02883,
            0.05767,
            0.11534
          ],
          "values": [
            [
              0.18533,
              0.25463,
              0.30243,
              0.38509,
              0.53875,
              0.84024
            ],
            [
              0.18771,
              0.25701,
              0.3047,
              0.38741,
              0.54111,
              0.84285
            ],
            [
              0.19053,
              0.25986,
              0.30754,
              0.39029,
              0.54406,
              0.84549
            ],
            [
              0.19492,
              0.26425,
              0.312,
              0.39475,
              0.54851,
              0.84967
            ],
            [
              0.20186,
              0.2711,
              0.31891,
              0.40166,
              0.55541,
              0.85704
            ],
            [
              0.21282,
              0.28204,
              0.32982,
              0.41258,
              0.56651,
              0.86786
            ],
            [
              0.23032,
              0.2994,
              0.34722,
              0.43,
              0.58392,
              0.88557
            ],
            [
              0.2575,
              0.32642,
              0.37424,
              0.4571,
              0.61108,
              0.91236
            ],
            [
              0.29929,
              0.36804,
              0.41592,
              0.49891,
              0.65296,
              0.95445
            ],
            [
              0.35825,
              0.42853,
              0.47673,
              0.55996,
              0.71409,
              1.01559
            ],
            [
              0.43083,
              0.50562,
              0.55582,
              0.64062,
              0.79552,
              1.09742
            ],
            [
              0.51807,
              0.59917,
              0.65127,
              0.73837,
              0.89577,
              1.19837
            ],
            [
              0.6217,
              0.7124,
              0.7673,
              0.8568,
              1.0158,
              1.3211
            ]
          ]
        },
        "cell_rise,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00721,
            0.01442,
            0.02883,
            0.05767,
            0.11534
          ],
          "values": [
            [
              0.13676,
              0.21825,
              0.28542,
              0.41548,
              0.67414,
              1.19187
            ],
            [
              0.13935,
              0.22088,
              0.28805,
              0.41828,
              0.6764,
              1.19474
            ],
            [
              0.14253,
              0.22411,
              0.29132,
              0.42148,
              0.68041,
              1.19732
            ],
            [
              0.14736,
              0.22892,
              0.29614,
              0.4264,
              0.6851,
              1.20258
            ],
            [
              0.15474,
              0.23621,
              0.30338,
              0.43367,
              0.69191,
              1.21021
            ],
            [
              0.16597,
              0.24731,
              0.3145,
              0.44466,
              0.7037,
              1.22082
            ],
            [
              0.18309,
              0.26435,
              0.33153,
              0.46176,
              0.72033,
              1.23853
            ],
            [
              0.20888,
              0.28986,
              0.35718,
              0.48767,
              0.74649,
              1.26446
            ],
            [
              0.24377,
              0.32601,
              0.39329,
              0.52383,
              0.78335,
              1.29955
            ],
            [
              0.28639,
              0.37135,
              0.43929,
              0.56991,
              0.82919,
              1.34519
            ],
            [
              0.33745,
              0.42611,
              0.49492,
              0.62652,
              0.88552,
              1.40192
            ],
            [
              0.39707,
              0.49197,
              0.56147,
              0.69327,
              0.95327,
              1.47047
            ],
            [
              0.4648,
              0.5699,
              0.6408,
              0.7726,
              1.0334,
              1.5508
            ]
          ]
        },
        "fall_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00721,
            0.01442,
            0.02883,
            0.05767,
            0.11534
          ],
          "values": [
            [
              0.03457,
              0.09023,
              0.13833,
              0.23358,
              0.42924,
              0.83172
            ],
            [
              0.0346,
              0.09024,
              0.13836,
              0.23391,
              0.42917,
              0.83224
            ],
            [
              0.03465,
              0.09023,
              0.13851,
              0.23388,
              0.42933,
              0.83245
            ],
            [
              0.03465,
              0.09029,
              0.13853,
              0.23388,
              0.42928,
              0.83235
            ],
            [
              0.03464,
              0.09025,
              0.13827,
              0.23388,
              0.4292,
              0.83235
            ],
            [
              0.03466,
              0.09022,
              0.1384,
              0.23338,
              0.42936,
              0.83195
            ],
            [
              0.03458,
              0.09029,
              0.13832,
              0.2335,
              0.42915,
              0.83128
            ],
            [
              0.03453,
              0.09038,
              0.13848,
              0.23351,
              0.42916,
              0.8323
            ],
            [
              0.03462,
              0.0905,
              0.13868,
              0.23387,
              0.42935,
              0.83198
            ],
            [
              0.03764,
              0.09233,
              0.13969,
              0.23435,
              0.42886,
              0.8322
            ],
            [
              0.04304,
              0.098,
              0.1448,
              0.2378,
              0.4309,
              0.8309
            ],
            [
              0.0511,
              0.1049,
              0.1511,
              0.2443,
              0.4356,
              0.8341
            ],
            [
              0.0614,
              0.1158,
              0.1603,
              0.251,
              0.4412,
              0.8371
            ]
          ]
        },
        "related_pin": "B1",
        "rise_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00721,
            0.01442,
            0.02883,
            0.05767,
            0.11534
          ],
          "values": [
            [
              0.03676,
              0.12395,
              0.21228,
              0.39382,
              0.76087,
              1.49785
            ],
            [
              0.03683,
              0.12411,
              0.21233,
              0.39339,
              0.76043,
              1.49759
            ],
            [
              0.0368,
              0.12374,
              0.21213,
              0.394,
              0.76155,
              1.49426
            ],
            [
              0.03678,
              0.1237,
              0.21231,
              0.39372,
              0.7609,
              1.49651
            ],
            [
              0.03682,
              0.12367,
              0.21231,
              0.39332,
              0.76052,
              1.4976
            ],
            [
              0.03676,
              0.12397,
              0.2123,
              0.39393,
              0.76113,
              1.49761
            ],
            [
              0.0368,
              0.12379,
              0.21236,
              0.39391,
              0.76035,
              1.49749
            ],
            [
              0.0371,
              0.12415,
              0.21222,
              0.39366,
              0.7605,
              1.49726
            ],
            [
              0.03947,
              0.12466,
              0.21261,
              0.39352,
              0.76196,
              1.49619
            ],
            [
              0.04299,
              0.12747,
              0.21459,
              0.39447,
              0.76127,
              1.4951
            ],
            [
              0.04872,
              0.13094,
              0.21711,
              0.3966,
              0.7606,
              1.4957
            ],
            [
              0.0571,
              0.1359,
              0.2201,
              0.3978,
              0.7627,
              1.4965
            ],
            [
              0.0677,
              0.1444,
              0.2247,
              0.4002,
              0.7642,
              1.499
            ]
          ]
        },
        "sdf_cond": "(!A1&!A2&A3&B2)",
        "timing_sense": "positive_unate",
        "when": "(!A1&!A2&A3&B2)"
      },
      {
        "cell_fall,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00721,
            0.01442,
            0.02883,
            0.05767,
            0.11534
          ],
          "values": [
            [
              0.17842,
              0.24582,
              0.29252,
              0.37424,
              0.52739,
              0.82865
            ],
            [
              0.18085,
              0.24827,
              0.29509,
              0.37662,
              0.52983,
              0.83112
            ],
            [
              0.1837,
              0.25116,
              0.298,
              0.3796,
              0.53264,
              0.8342
            ],
            [
              0.18818,
              0.25567,
              0.30253,
              0.38431,
              0.53714,
              0.83864
            ],
            [
              0.19526,
              0.26265,
              0.30949,
              0.39123,
              0.54424,
              0.84583
            ],
            [
              0.20644,
              0.27375,
              0.32063,
              0.40242,
              0.55544,
              0.85712
            ],
            [
              0.2242,
              0.29142,
              0.3383,
              0.42007,
              0.57339,
              0.87455
            ],
            [
              0.25172,
              0.31882,
              0.36572,
              0.44765,
              0.60094,
              0.90256
            ],
            [
              0.29386,
              0.36085,
              0.40782,
              0.48981,
              0.6431,
              0.94495
            ],
            [
              0.35238,
              0.42134,
              0.4687,
              0.55099,
              0.70459,
              1.00629
            ],
            [
              0.42414,
              0.49772,
              0.54712,
              0.63112,
              0.78532,
              1.08702
            ],
            [
              0.51037,
              0.59047,
              0.64187,
              0.72807,
              0.88497,
              1.18727
            ],
            [
              0.6127,
              0.7025,
              0.7569,
              0.8455,
              1.0038,
              1.3087
            ]
          ]
        },
        "cell_rise,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00721,
            0.01442,
            0.02883,
            0.05767,
            0.11534
          ],
          "values": [
            [
              0.13671,
              0.21812,
              0.28512,
              0.41497,
              0.67342,
              1.18777
            ],
            [
              0.13931,
              0.22067,
              0.28775,
              0.41758,
              0.67564,
              1.19254
            ],
            [
              0.14247,
              0.22392,
              0.29095,
              0.42082,
              0.67924,
              1.19412
            ],
            [
              0.14727,
              0.22861,
              0.29577,
              0.4258,
              0.68376,
              1.20068
            ],
            [
              0.15464,
              0.23597,
              0.30304,
              0.43302,
              0.69094,
              1.20801
            ],
            [
              0.16583,
              0.24704,
              0.31411,
              0.444,
              0.70258,
              1.21882
            ],
            [
              0.18293,
              0.26406,
              0.33118,
              0.46128,
              0.71919,
              1.23643
            ],
            [
              0.20871,
              0.28961,
              0.35675,
              0.487,
              0.74537,
              1.26226
            ],
            [
              0.24359,
              0.32562,
              0.39277,
              0.5231,
              0.78205,
              1.29735
            ],
            [
              0.28619,
              0.37103,
              0.43889,
              0.5692,
              0.82759,
              1.34339
            ],
            [
              0.33729,
              0.42581,
              0.49452,
              0.62572,
              0.88432,
              1.40042
            ],
            [
              0.39697,
              0.49177,
              0.56107,
              0.69257,
              0.95227,
              1.46837
            ],
            [
              0.4648,
              0.5697,
              0.6405,
              0.772,
              1.0323,
              1.5488
            ]
          ]
        },
        "fall_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00721,
            0.01442,
            0.02883,
            0.05767,
            0.11534
          ],
          "values": [
            [
              0.03342,
              0.08862,
              0.1364,
              0.23143,
              0.42807,
              0.83213
            ],
            [
              0.03342,
              0.08852,
              0.13654,
              0.23159,
              0.42796,
              0.8313
            ],
            [
              0.03345,
              0.08856,
              0.13621,
              0.23201,
              0.42742,
              0.83067
            ],
            [
              0.03342,
              0.08859,
              0.13656,
              0.23196,
              0.42749,
              0.831
            ],
            [
              0.03342,
              0.08855,
              0.13624,
              0.2316,
              0.42789,
              0.83071
            ],
            [
              0.03342,
              0.08843,
              0.13659,
              0.23194,
              0.4276,
              0.83048
            ],
            [
              0.03351,
              0.0887,
              0.13625,
              0.23145,
              0.42802,
              0.83209
            ],
            [
              0.03342,
              0.08848,
              0.13642,
              0.23142,
              0.42808,
              0.83153
            ],
            [
              0.03364,
              0.08862,
              0.13672,
              0.23164,
              0.42745,
              0.83089
            ],
            [
              0.03695,
              0.0908,
              0.13766,
              0.23201,
              0.42825,
              0.83013
            ],
            [
              0.04249,
              0.0966,
              0.1434,
              0.236,
              0.4295,
              0.8317
            ],
            [
              0.0505,
              0.1037,
              0.1496,
              0.2426,
              0.4341,
              0.8334
            ],
            [
              0.061,
              0.1147,
              0.1588,
              0.2494,
              0.4401,
              0.836
            ]
          ]
        },
        "related_pin": "B1",
        "rise_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00721,
            0.01442,
            0.02883,
            0.05767,
            0.11534
          ],
          "values": [
            [
              0.03679,
              0.1236,
              0.21199,
              0.39345,
              0.75983,
              1.49256
            ],
            [
              0.03673,
              0.1238,
              0.21194,
              0.39311,
              0.75944,
              1.49501
            ],
            [
              0.03679,
              0.12373,
              0.21194,
              0.39345,
              0.75978,
              1.49262
            ],
            [
              0.03675,
              0.12381,
              0.21198,
              0.39287,
              0.75893,
              1.49462
            ],
            [
              0.03675,
              0.12392,
              0.21193,
              0.39289,
              0.75931,
              1.49478
            ],
            [
              0.03674,
              0.12379,
              0.21195,
              0.39329,
              0.75974,
              1.49499
            ],
            [
              0.03682,
              0.12358,
              0.21194,
              0.39267,
              0.75919,
              1.4948
            ],
            [
              0.03708,
              0.1237,
              0.21194,
              0.39302,
              0.75925,
              1.49423
            ],
            [
              0.03945,
              0.12459,
              0.21235,
              0.39299,
              0.7605,
              1.4937
            ],
            [
              0.04299,
              0.12728,
              0.2144,
              0.39376,
              0.75915,
              1.4927
            ],
            [
              0.04875,
              0.13084,
              0.21686,
              0.3957,
              0.7599,
              1.4931
            ],
            [
              0.057,
              0.1358,
              0.2198,
              0.3971,
              0.7612,
              1.4938
            ],
            [
              0.0678,
              0.1441,
              0.2243,
              0.3996,
              0.7629,
              1.4962
            ]
          ]
        },
        "sdf_cond": "(!A1&A2&!A3&B2)",
        "timing_sense": "positive_unate",
        "when": "(!A1&A2&!A3&B2)"
      },
      {
        "cell_fall,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00721,
            0.01442,
            0.02883,
            0.05767,
            0.11534
          ],
          "values": [
            [
              0.22636,
              0.30529,
              0.35795,
              0.44615,
              0.60413,
              0.90736
            ],
            [
              0.22835,
              0.30733,
              0.36013,
              0.44821,
              0.60626,
              0.90937
            ],
            [
              0.23072,
              0.30972,
              0.36254,
              0.45062,
              0.60869,
              0.91177
            ],
            [
              0.23445,
              0.31343,
              0.36619,
              0.45443,
              0.61242,
              0.91563
            ],
            [
              0.2405,
              0.31943,
              0.37224,
              0.46048,
              0.61846,
              0.92168
            ],
            [
              0.25033,
              0.32923,
              0.38206,
              0.47027,
              0.62835,
              0.93162
            ],
            [
              0.26623,
              0.34497,
              0.39779,
              0.48607,
              0.64413,
              0.94743
            ],
            [
              0.29145,
              0.36996,
              0.42277,
              0.51108,
              0.66927,
              0.97206
            ],
            [
              0.33096,
              0.40931,
              0.4621,
              0.55048,
              0.7088,
              1.01195
            ],
            [
              0.39068,
              0.46876,
              0.5216,
              0.61006,
              0.76849,
              1.07179
            ],
            [
              0.46712,
              0.54892,
              0.60322,
              0.69252,
              0.85132,
              1.15482
            ],
            [
              0.55977,
              0.64687,
              0.70277,
              0.79497,
              0.95647,
              1.26057
            ],
            [
              0.6698,
              0.7659,
              0.8242,
              0.9183,
              1.0819,
              1.3897
            ]
          ]
        },
        "cell_rise,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00721,
            0.01442,
            0.02883,
            0.05767,
            0.11534
          ],
          "values": [
            [
              0.13683,
              0.21831,
              0.28546,
              0.4156,
              0.67391,
              1.19217
            ],
            [
              0.13949,
              0.22098,
              0.28818,
              0.41822,
              0.67692,
              1.19464
            ],
            [
              0.14274,
              0.22424,
              0.29148,
              0.42147,
              0.68036,
              1.19762
            ],
            [
              0.14766,
              0.22922,
              0.29639,
              0.42635,
              0.68529,
              1.20218
            ],
            [
              0.15515,
              0.23661,
              0.30391,
              0.43411,
              0.69296,
              1.20921
            ],
            [
              0.16651,
              0.24784,
              0.31506,
              0.44517,
              0.70427,
              1.22142
            ],
            [
              0.18372,
              0.26499,
              0.33216,
              0.46237,
              0.72156,
              1.23833
            ],
            [
              0.20955,
              0.29064,
              0.3579,
              0.48831,
              0.747,
              1.26516
            ],
            [
              0.24462,
              0.32676,
              0.39407,
              0.52456,
              0.78405,
              1.29955
            ],
            [
              0.28717,
              0.37209,
              0.44013,
              0.5707,
              0.83019,
              1.34629
            ],
            [
              0.33814,
              0.42676,
              0.49542,
              0.62712,
              0.88622,
              1.40312
            ],
            [
              0.39757,
              0.49247,
              0.56187,
              0.69367,
              0.95387,
              1.47097
            ],
            [
              0.465,
              0.57,
              0.6409,
              0.7728,
              1.0336,
              1.5509
            ]
          ]
        },
        "fall_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00721,
            0.01442,
            0.02883,
            0.05767,
            0.11534
          ],
          "values": [
            [
              0.04149,
              0.1019,
              0.15144,
              0.24624,
              0.43808,
              0.83509
            ],
            [
              0.04149,
              0.1019,
              0.15112,
              0.24617,
              0.43807,
              0.83476
            ],
            [
              0.0415,
              0.1019,
              0.1511,
              0.24595,
              0.43808,
              0.83484
            ],
            [
              0.04153,
              0.1018,
              0.15118,
              0.2462,
              0.43808,
              0.83458
            ],
            [
              0.0415,
              0.10194,
              0.15111,
              0.24633,
              0.43793,
              0.83596
            ],
            [
              0.04155,
              0.10183,
              0.15106,
              0.24603,
              0.43802,
              0.83468
            ],
            [
              0.04154,
              0.10186,
              0.15109,
              0.24608,
              0.43802,
              0.83539
            ],
            [
              0.04143,
              0.10185,
              0.15112,
              0.24609,
              0.43782,
              0.83595
            ],
            [
              0.04131,
              0.10197,
              0.15124,
              0.24593,
              0.4382,
              0.83603
            ],
            [
              0.04224,
              0.10234,
              0.15154,
              0.24687,
              0.43829,
              0.8351
            ],
            [
              0.04742,
              0.107,
              0.1554,
              0.2487,
              0.4392,
              0.8355
            ],
            [
              0.0553,
              0.1133,
              0.1618,
              0.2553,
              0.4446,
              0.8365
            ],
            [
              0.0662,
              0.1235,
              0.1703,
              0.2623,
              0.4515,
              0.8425
            ]
          ]
        },
        "related_pin": "B1",
        "rise_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00721,
            0.01442,
            0.02883,
            0.05767,
            0.11534
          ],
          "values": [
            [
              0.03678,
              0.12402,
              0.21229,
              0.39365,
              0.76051,
              1.49756
            ],
            [
              0.03679,
              0.12408,
              0.2123,
              0.39386,
              0.76089,
              1.49788
            ],
            [
              0.03677,
              0.12395,
              0.21231,
              0.39398,
              0.76107,
              1.49792
            ],
            [
              0.03677,
              0.12365,
              0.21235,
              0.394,
              0.76101,
              1.49733
            ],
            [
              0.03678,
              0.1241,
              0.21201,
              0.39409,
              0.76114,
              1.49644
            ],
            [
              0.03678,
              0.12397,
              0.2123,
              0.39401,
              0.76108,
              1.49756
            ],
            [
              0.03682,
              0.1238,
              0.21233,
              0.39401,
              0.7611,
              1.49735
            ],
            [
              0.03709,
              0.12384,
              0.21227,
              0.3933,
              0.76077,
              1.49759
            ],
            [
              0.03934,
              0.1247,
              0.21237,
              0.39339,
              0.76187,
              1.49479
            ],
            [
              0.0429,
              0.12748,
              0.2143,
              0.39442,
              0.76153,
              1.4956
            ],
            [
              0.04862,
              0.13096,
              0.21724,
              0.3966,
              0.7607,
              1.4957
            ],
            [
              0.057,
              0.1359,
              0.22,
              0.3978,
              0.7624,
              1.4966
            ],
            [
              0.0677,
              0.1446,
              0.2248,
              0.4002,
              0.7641,
              1.4993
            ]
          ]
        },
        "sdf_cond": "(!A1&A2&A3&B2)",
        "timing_sense": "positive_unate",
        "when": "(!A1&A2&A3&B2)"
      },
      {
        "cell_fall,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00721,
            0.01442,
            0.02883,
            0.05767,
            0.11534
          ],
          "values": [
            [
              0.21403,
              0.28386,
              0.33202,
              0.41517,
              0.56971,
              0.87181
            ],
            [
              0.21658,
              0.28643,
              0.33459,
              0.41782,
              0.5722,
              0.87415
            ],
            [
              0.21959,
              0.28946,
              0.33763,
              0.42088,
              0.57514,
              0.87729
            ],
            [
              0.22417,
              0.29402,
              0.34221,
              0.42546,
              0.57985,
              0.88201
            ],
            [
              0.23129,
              0.30114,
              0.34933,
              0.43251,
              0.58704,
              0.88927
            ],
            [
              0.24238,
              0.31223,
              0.36043,
              0.44362,
              0.59815,
              0.89988
            ],
            [
              0.25962,
              0.3294,
              0.37759,
              0.46086,
              0.61531,
              0.91713
            ],
            [
              0.28685,
              0.35653,
              0.40473,
              0.48801,
              0.64252,
              0.94446
            ],
            [
              0.32855,
              0.39803,
              0.44623,
              0.52959,
              0.68409,
              0.98635
            ],
            [
              0.39142,
              0.46097,
              0.50923,
              0.59268,
              0.74729,
              1.04969
            ],
            [
              0.47222,
              0.54602,
              0.59562,
              0.67982,
              0.83472,
              1.13712
            ],
            [
              0.57067,
              0.64967,
              0.70127,
              0.78807,
              0.94507,
              1.24797
            ],
            [
              0.688,
              0.7756,
              0.8297,
              0.9186,
              1.0774,
              1.3828
            ]
          ]
        },
        "cell_rise,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00721,
            0.01442,
            0.02883,
            0.05767,
            0.11534
          ],
          "values": [
            [
              0.1451,
              0.23433,
              0.30316,
              0.43364,
              0.69208,
              1.20657
            ],
            [
              0.14772,
              0.23702,
              0.30571,
              0.43628,
              0.69401,
              1.21094
            ],
            [
              0.15091,
              0.24021,
              0.30903,
              0.43952,
              0.69759,
              1.21292
            ],
            [
              0.15574,
              0.24496,
              0.31384,
              0.44433,
              0.70271,
              1.21847
            ],
            [
              0.1631,
              0.25233,
              0.32107,
              0.45172,
              0.70973,
              1.22511
            ],
            [
              0.1743,
              0.26341,
              0.33223,
              0.46284,
              0.72069,
              1.23582
            ],
            [
              0.19139,
              0.28029,
              0.34908,
              0.47978,
              0.73813,
              1.25383
            ],
            [
              0.21713,
              0.30587,
              0.37464,
              0.50548,
              0.76344,
              1.27856
            ],
            [
              0.25276,
              0.34252,
              0.4115,
              0.54226,
              0.80055,
              1.31585
            ],
            [
              0.29677,
              0.39074,
              0.46036,
              0.59135,
              0.84989,
              1.36519
            ],
            [
              0.34949,
              0.44942,
              0.52052,
              0.65252,
              0.91132,
              1.42722
            ],
            [
              0.41087,
              0.52057,
              0.59307,
              0.72597,
              0.98567,
              1.50177
            ],
            [
              0.4807,
              0.6049,
              0.68,
              0.8137,
              1.0739,
              1.5898
            ]
          ]
        },
        "fall_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00721,
            0.01442,
            0.02883,
            0.05767,
            0.11534
          ],
          "values": [
            [
              0.03577,
              0.09184,
              0.13983,
              0.2347,
              0.43059,
              0.83369
            ],
            [
              0.03575,
              0.09177,
              0.13969,
              0.23508,
              0.43024,
              0.83337
            ],
            [
              0.03578,
              0.09176,
              0.13969,
              0.23506,
              0.42983,
              0.83302
            ],
            [
              0.03576,
              0.0916,
              0.13948,
              0.23479,
              0.43052,
              0.8325
            ],
            [
              0.03578,
              0.09176,
              0.13969,
              0.23472,
              0.43056,
              0.8331
            ],
            [
              0.03575,
              0.09157,
              0.13997,
              0.2347,
              0.43052,
              0.83377
            ],
            [
              0.03576,
              0.09178,
              0.13969,
              0.23518,
              0.4304,
              0.83376
            ],
            [
              0.03584,
              0.09188,
              0.13979,
              0.23467,
              0.43045,
              0.83379
            ],
            [
              0.03575,
              0.09175,
              0.13998,
              0.23474,
              0.43048,
              0.83272
            ],
            [
              0.03675,
              0.09231,
              0.13987,
              0.23489,
              0.43059,
              0.8334
            ],
            [
              0.0418,
              0.0969,
              0.1437,
              0.2368,
              0.4311,
              0.8327
            ],
            [
              0.049,
              0.1032,
              0.1498,
              0.243,
              0.4351,
              0.8338
            ],
            [
              0.0588,
              0.1126,
              0.1583,
              0.2495,
              0.4408,
              0.837
            ]
          ]
        },
        "related_pin": "B1",
        "rise_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00721,
            0.01442,
            0.02883,
            0.05767,
            0.11534
          ],
          "values": [
            [
              0.0437,
              0.12898,
              0.21511,
              0.39393,
              0.76006,
              1.4931
            ],
            [
              0.04364,
              0.12892,
              0.21542,
              0.39404,
              0.75897,
              1.49529
            ],
            [
              0.0437,
              0.12903,
              0.21513,
              0.39393,
              0.75904,
              1.49329
            ],
            [
              0.04369,
              0.12895,
              0.21556,
              0.39439,
              0.76004,
              1.49484
            ],
            [
              0.04357,
              0.12906,
              0.21545,
              0.39428,
              0.75898,
              1.49359
            ],
            [
              0.0437,
              0.12909,
              0.21512,
              0.39397,
              0.75888,
              1.49345
            ],
            [
              0.04361,
              0.12906,
              0.21524,
              0.39436,
              0.76012,
              1.4936
            ],
            [
              0.04404,
              0.12922,
              0.21567,
              0.39429,
              0.75981,
              1.49182
            ],
            [
              0.04689,
              0.13011,
              0.21562,
              0.3946,
              0.75963,
              1.49245
            ],
            [
              0.05215,
              0.13353,
              0.21764,
              0.39468,
              0.75889,
              1.4919
            ],
            [
              0.06017,
              0.1389,
              0.22153,
              0.3976,
              0.7601,
              1.4932
            ],
            [
              0.0712,
              0.1461,
              0.2261,
              0.3996,
              0.7604,
              1.4937
            ],
            [
              0.0847,
              0.1584,
              0.234,
              0.4034,
              0.7633,
              1.4972
            ]
          ]
        },
        "sdf_cond": "(A1&!A2&!A3&B2)",
        "timing_sense": "positive_unate",
        "when": "(A1&!A2&!A3&B2)"
      },
      {
        "cell_fall,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00721,
            0.01442,
            0.02883,
            0.05767,
            0.11534
          ],
          "values": [
            [
              0.27468,
              0.35635,
              0.41072,
              0.50087,
              0.66077,
              0.96525
            ],
            [
              0.2769,
              0.35862,
              0.413,
              0.50312,
              0.66315,
              0.96726
            ],
            [
              0.27945,
              0.36117,
              0.41555,
              0.50569,
              0.66571,
              0.96973
            ],
            [
              0.28342,
              0.36512,
              0.41952,
              0.50967,
              0.66966,
              0.97398
            ],
            [
              0.28962,
              0.37134,
              0.42574,
              0.51588,
              0.67591,
              0.98001
            ],
            [
              0.29942,
              0.38111,
              0.43551,
              0.52566,
              0.68556,
              0.99002
            ],
            [
              0.31494,
              0.39659,
              0.45097,
              0.54112,
              0.70096,
              1.00533
            ],
            [
              0.33975,
              0.42131,
              0.47566,
              0.56582,
              0.7258,
              1.03006
            ],
            [
              0.37825,
              0.45979,
              0.51411,
              0.60429,
              0.76435,
              1.06885
            ],
            [
              0.43825,
              0.51934,
              0.57363,
              0.66389,
              0.82399,
              1.12859
            ],
            [
              0.52412,
              0.60672,
              0.66132,
              0.75172,
              0.91192,
              1.21662
            ],
            [
              0.62987,
              0.71677,
              0.77327,
              0.86637,
              1.02827,
              1.33307
            ],
            [
              0.7566,
              0.851,
              0.9095,
              1.0043,
              1.1692,
              1.4771
            ]
          ]
        },
        "cell_rise,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00721,
            0.01442,
            0.02883,
            0.05767,
            0.11534
          ],
          "values": [
            [
              0.14521,
              0.23464,
              0.30343,
              0.43429,
              0.69259,
              1.20847
            ],
            [
              0.14787,
              0.23725,
              0.30625,
              0.43691,
              0.69593,
              1.21274
            ],
            [
              0.15121,
              0.24064,
              0.30948,
              0.44035,
              0.6986,
              1.21622
            ],
            [
              0.1561,
              0.24547,
              0.3145,
              0.44525,
              0.70417,
              1.22148
            ],
            [
              0.1636,
              0.25298,
              0.32184,
              0.45276,
              0.71148,
              1.22731
            ],
            [
              0.17498,
              0.26422,
              0.3331,
              0.46406,
              0.72294,
              1.23932
            ],
            [
              0.1922,
              0.28118,
              0.35015,
              0.48114,
              0.73999,
              1.25653
            ],
            [
              0.218,
              0.3069,
              0.37587,
              0.50688,
              0.76618,
              1.28196
            ],
            [
              0.25382,
              0.3437,
              0.41281,
              0.54387,
              0.80285,
              1.31885
            ],
            [
              0.29777,
              0.3918,
              0.46154,
              0.59278,
              0.85169,
              1.36919
            ],
            [
              0.35039,
              0.45042,
              0.52152,
              0.65372,
              0.91302,
              1.43072
            ],
            [
              0.41157,
              0.52127,
              0.59387,
              0.72687,
              0.98727,
              1.50437
            ],
            [
              0.481,
              0.6052,
              0.6804,
              0.8143,
              1.0748,
              1.5921
            ]
          ]
        },
        "fall_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00721,
            0.01442,
            0.02883,
            0.05767,
            0.11534
          ],
          "values": [
            [
              0.04434,
              0.10582,
              0.15552,
              0.25023,
              0.44201,
              0.83858
            ],
            [
              0.04435,
              0.10567,
              0.15524,
              0.25033,
              0.44198,
              0.83822
            ],
            [
              0.04435,
              0.10566,
              0.15515,
              0.25069,
              0.44192,
              0.83845
            ],
            [
              0.04434,
              0.10582,
              0.15556,
              0.25021,
              0.44195,
              0.83759
            ],
            [
              0.04432,
              0.10566,
              0.15524,
              0.2503,
              0.44198,
              0.83835
            ],
            [
              0.04436,
              0.10566,
              0.15525,
              0.25022,
              0.44199,
              0.83874
            ],
            [
              0.04432,
              0.10565,
              0.15517,
              0.24994,
              0.44155,
              0.8389
            ],
            [
              0.04434,
              0.10566,
              0.15574,
              0.25049,
              0.44167,
              0.8389
            ],
            [
              0.04426,
              0.10576,
              0.15561,
              0.25029,
              0.44199,
              0.83838
            ],
            [
              0.0441,
              0.10576,
              0.1554,
              0.25042,
              0.44184,
              0.8383
            ],
            [
              0.0473,
              0.1079,
              0.1566,
              0.2509,
              0.4419,
              0.8374
            ],
            [
              0.0541,
              0.1137,
              0.163,
              0.2567,
              0.4456,
              0.8399
            ],
            [
              0.0641,
              0.1222,
              0.1701,
              0.2632,
              0.4529,
              0.8444
            ]
          ]
        },
        "related_pin": "B1",
        "rise_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00721,
            0.01442,
            0.02883,
            0.05767,
            0.11534
          ],
          "values": [
            [
              0.04374,
              0.12909,
              0.21579,
              0.39501,
              0.7614,
              1.49566
            ],
            [
              0.04362,
              0.12913,
              0.21592,
              0.39519,
              0.76162,
              1.49793
            ],
            [
              0.04365,
              0.1292,
              0.21577,
              0.39501,
              0.7611,
              1.49761
            ],
            [
              0.04374,
              0.12913,
              0.21592,
              0.39507,
              0.7613,
              1.49828
            ],
            [
              0.04363,
              0.1291,
              0.21581,
              0.39501,
              0.7616,
              1.49507
            ],
            [
              0.04361,
              0.12918,
              0.21579,
              0.39468,
              0.76162,
              1.495
            ],
            [
              0.04366,
              0.12925,
              0.21569,
              0.39508,
              0.76159,
              1.49648
            ],
            [
              0.04402,
              0.12939,
              0.21563,
              0.39476,
              0.76105,
              1.49635
            ],
            [
              0.0468,
              0.1304,
              0.21607,
              0.39519,
              0.7616,
              1.49478
            ],
            [
              0.05206,
              0.13363,
              0.21814,
              0.39535,
              0.76057,
              1.4968
            ],
            [
              0.06007,
              0.13868,
              0.22189,
              0.3983,
              0.7604,
              1.4975
            ],
            [
              0.071,
              0.1462,
              0.2271,
              0.4003,
              0.7621,
              1.4966
            ],
            [
              0.0848,
              0.1585,
              0.2344,
              0.4046,
              0.7648,
              1.5003
            ]
          ]
        },
        "sdf_cond": "(A1&!A2&A3&B2)",
        "timing_sense": "positive_unate",
        "when": "(A1&!A2&A3&B2)"
      },
      {
        "cell_fall,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00721,
            0.01442,
            0.02883,
            0.05767,
            0.11534
          ],
          "values": [
            [
              0.29596,
              0.37718,
              0.43129,
              0.52121,
              0.68127,
              0.98575
            ],
            [
              0.29829,
              0.37952,
              0.43364,
              0.52358,
              0.68351,
              0.98824
            ],
            [
              0.30101,
              0.38226,
              0.43638,
              0.52631,
              0.68636,
              0.99072
            ],
            [
              0.30513,
              0.38639,
              0.44054,
              0.53046,
              0.69054,
              0.99498
            ],
            [
              0.31165,
              0.39289,
              0.44703,
              0.537,
              0.69688,
              1.00181
            ],
            [
              0.32183,
              0.40306,
              0.45721,
              0.54719,
              0.70708,
              1.01192
            ],
            [
              0.33766,
              0.41888,
              0.47303,
              0.56301,
              0.72307,
              1.02763
            ],
            [
              0.36276,
              0.44394,
              0.49809,
              0.58805,
              0.74815,
              1.05266
            ],
            [
              0.40152,
              0.48264,
              0.53675,
              0.62674,
              0.78665,
              1.09165
            ],
            [
              0.46137,
              0.54233,
              0.59639,
              0.68639,
              0.84639,
              1.15119
            ],
            [
              0.55132,
              0.63262,
              0.68672,
              0.77672,
              0.93682,
              1.24182
            ],
            [
              0.66437,
              0.74977,
              0.80577,
              0.89777,
              1.05887,
              1.36387
            ],
            [
              0.801,
              0.8932,
              0.9509,
              1.0448,
              1.2092,
              1.5165
            ]
          ]
        },
        "cell_rise,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00721,
            0.01442,
            0.02883,
            0.05767,
            0.11534
          ],
          "values": [
            [
              0.14583,
              0.24557,
              0.31715,
              0.44912,
              0.70828,
              1.22487
            ],
            [
              0.14852,
              0.24826,
              0.31991,
              0.45199,
              0.71082,
              1.22694
            ],
            [
              0.15179,
              0.25154,
              0.32319,
              0.45531,
              0.7138,
              1.23022
            ],
            [
              0.15673,
              0.25644,
              0.32817,
              0.46016,
              0.71866,
              1.23477
            ],
            [
              0.16422,
              0.26389,
              0.33558,
              0.46775,
              0.72673,
              1.24261
            ],
            [
              0.17557,
              0.27512,
              0.34685,
              0.47904,
              0.73761,
              1.25402
            ],
            [
              0.19276,
              0.29208,
              0.36378,
              0.49607,
              0.75518,
              1.27193
            ],
            [
              0.21849,
              0.31766,
              0.38944,
              0.5217,
              0.78068,
              1.29716
            ],
            [
              0.2542,
              0.35443,
              0.42629,
              0.55886,
              0.81785,
              1.33405
            ],
            [
              0.29807,
              0.40332,
              0.4758,
              0.60838,
              0.86819,
              1.38499
            ],
            [
              0.35061,
              0.46382,
              0.53832,
              0.67212,
              0.93182,
              1.44832
            ],
            [
              0.41167,
              0.53737,
              0.61417,
              0.74957,
              1.01007,
              1.52717
            ],
            [
              0.4811,
              0.6249,
              0.7057,
              0.8429,
              1.1042,
              1.6214
            ]
          ]
        },
        "fall_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00721,
            0.01442,
            0.02883,
            0.05767,
            0.11534
          ],
          "values": [
            [
              0.04502,
              0.10619,
              0.1556,
              0.251,
              0.44257,
              0.83995
            ],
            [
              0.04501,
              0.10636,
              0.1557,
              0.25066,
              0.44206,
              0.84005
            ],
            [
              0.04504,
              0.10623,
              0.15599,
              0.25057,
              0.44259,
              0.83982
            ],
            [
              0.04502,
              0.10617,
              0.15558,
              0.25075,
              0.44261,
              0.83979
            ],
            [
              0.04506,
              0.10622,
              0.1557,
              0.25053,
              0.44229,
              0.84009
            ],
            [
              0.04502,
              0.10641,
              0.15568,
              0.25052,
              0.4423,
              0.8401
            ],
            [
              0.04503,
              0.10628,
              0.15565,
              0.25071,
              0.4425,
              0.83998
            ],
            [
              0.04501,
              0.10616,
              0.15561,
              0.25069,
              0.44256,
              0.83963
            ],
            [
              0.04501,
              0.10626,
              0.15612,
              0.25052,
              0.44243,
              0.8401
            ],
            [
              0.04484,
              0.10619,
              0.15565,
              0.25052,
              0.4423,
              0.84
            ],
            [
              0.0467,
              0.1068,
              0.156,
              0.2505,
              0.4425,
              0.8383
            ],
            [
              0.0528,
              0.1127,
              0.1616,
              0.2552,
              0.4447,
              0.8401
            ],
            [
              0.0622,
              0.1202,
              0.1682,
              0.2615,
              0.4517,
              0.8435
            ]
          ]
        },
        "related_pin": "B1",
        "rise_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00721,
            0.01442,
            0.02883,
            0.05767,
            0.11534
          ],
          "values": [
            [
              0.04653,
              0.13756,
              0.22191,
              0.39808,
              0.76182,
              1.49536
            ],
            [
              0.04657,
              0.13762,
              0.22171,
              0.39793,
              0.76208,
              1.49683
            ],
            [
              0.04657,
              0.13754,
              0.22171,
              0.3977,
              0.76148,
              1.49519
            ],
            [
              0.04652,
              0.13762,
              0.2218,
              0.39796,
              0.76157,
              1.49502
            ],
            [
              0.04656,
              0.13761,
              0.22171,
              0.3977,
              0.7619,
              1.49521
            ],
            [
              0.04654,
              0.13762,
              0.22198,
              0.39771,
              0.76138,
              1.49517
            ],
            [
              0.04657,
              0.13772,
              0.22184,
              0.39792,
              0.76214,
              1.49532
            ],
            [
              0.04687,
              0.13817,
              0.22222,
              0.39809,
              0.76133,
              1.49525
            ],
            [
              0.04947,
              0.13914,
              0.22276,
              0.39749,
              0.76199,
              1.49483
            ],
            [
              0.05483,
              0.14301,
              0.22448,
              0.39905,
              0.76252,
              1.4967
            ],
            [
              0.06307,
              0.15008,
              0.22943,
              0.4011,
              0.7621,
              1.4963
            ],
            [
              0.0742,
              0.1604,
              0.2367,
              0.405,
              0.7642,
              1.4964
            ],
            [
              0.0878,
              0.1776,
              0.2475,
              0.4106,
              0.7654,
              1.4992
            ]
          ]
        },
        "sdf_cond": "(A1&A2&!A3&B2)",
        "timing_sense": "positive_unate",
        "when": "(A1&A2&!A3&B2)"
      },
      {
        "cell_fall,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00721,
            0.01442,
            0.02883,
            0.05767,
            0.11534
          ],
          "values": [
            [
              0.17666,
              0.24139,
              0.28713,
              0.36793,
              0.52083,
              0.8222
            ],
            [
              0.17913,
              0.24389,
              0.28962,
              0.37047,
              0.52318,
              0.82511
            ],
            [
              0.18224,
              0.247,
              0.29273,
              0.37359,
              0.52641,
              0.82814
            ],
            [
              0.18712,
              0.25189,
              0.29762,
              0.37849,
              0.53126,
              0.83308
            ],
            [
              0.19469,
              0.25946,
              0.3052,
              0.38607,
              0.53888,
              0.84059
            ],
            [
              0.20635,
              0.27108,
              0.31684,
              0.39767,
              0.55056,
              0.85201
            ],
            [
              0.22432,
              0.28897,
              0.33473,
              0.41563,
              0.56844,
              0.87028
            ],
            [
              0.25193,
              0.31634,
              0.36212,
              0.44303,
              0.59589,
              0.89766
            ],
            [
              0.2935,
              0.35791,
              0.4039,
              0.48493,
              0.63785,
              0.93985
            ],
            [
              0.3513,
              0.41745,
              0.46363,
              0.54489,
              0.69799,
              0.99979
            ],
            [
              0.42133,
              0.49162,
              0.53952,
              0.62232,
              0.77592,
              1.07832
            ],
            [
              0.50407,
              0.58017,
              0.62997,
              0.71457,
              0.87037,
              1.17307
            ],
            [
              0.6002,
              0.685,
              0.7374,
              0.8242,
              0.9811,
              1.2856
            ]
          ]
        },
        "cell_rise,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00721,
            0.01442,
            0.02883,
            0.05767,
            0.11534
          ],
          "values": [
            [
              0.14337,
              0.22479,
              0.29167,
              0.42151,
              0.67911,
              1.19607
            ],
            [
              0.14662,
              0.22803,
              0.2949,
              0.42463,
              0.6829,
              1.19844
            ],
            [
              0.15034,
              0.23177,
              0.2987,
              0.42849,
              0.68648,
              1.20282
            ],
            [
              0.15554,
              0.23694,
              0.3039,
              0.43379,
              0.69203,
              1.20697
            ],
            [
              0.1628,
              0.2441,
              0.31117,
              0.44093,
              0.69921,
              1.21521
            ],
            [
              0.17332,
              0.25462,
              0.32167,
              0.45151,
              0.70974,
              1.22612
            ],
            [
              0.18892,
              0.2701,
              0.3372,
              0.46726,
              0.72562,
              1.24113
            ],
            [
              0.21211,
              0.29318,
              0.36028,
              0.4904,
              0.74874,
              1.26476
            ],
            [
              0.2446,
              0.32654,
              0.39365,
              0.52386,
              0.78225,
              1.29705
            ],
            [
              0.28665,
              0.37129,
              0.43898,
              0.56912,
              0.82749,
              1.34399
            ],
            [
              0.33995,
              0.42838,
              0.49692,
              0.62762,
              0.88622,
              1.40252
            ],
            [
              0.40567,
              0.49957,
              0.56927,
              0.70047,
              0.95907,
              1.47467
            ],
            [
              0.4844,
              0.5869,
              0.6583,
              0.7901,
              1.0496,
              1.5648
            ]
          ]
        },
        "fall_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00721,
            0.01442,
            0.02883,
            0.05767,
            0.11534
          ],
          "values": [
            [
              0.03178,
              0.08586,
              0.1334,
              0.22929,
              0.42711,
              0.83194
            ],
            [
              0.03185,
              0.08567,
              0.13337,
              0.22924,
              0.42679,
              0.83064
            ],
            [
              0.03176,
              0.08569,
              0.13341,
              0.22925,
              0.42641,
              0.83109
            ],
            [
              0.03179,
              0.08566,
              0.13338,
              0.22925,
              0.42659,
              0.83096
            ],
            [
              0.03177,
              0.08561,
              0.1334,
              0.22925,
              0.42641,
              0.83121
            ],
            [
              0.03184,
              0.08558,
              0.1335,
              0.22928,
              0.42714,
              0.83194
            ],
            [
              0.03179,
              0.08567,
              0.13342,
              0.22925,
              0.42656,
              0.8309
            ],
            [
              0.03181,
              0.08571,
              0.13358,
              0.22911,
              0.42712,
              0.8323
            ],
            [
              0.03199,
              0.08589,
              0.13344,
              0.22931,
              0.42718,
              0.83012
            ],
            [
              0.03474,
              0.08755,
              0.13492,
              0.22988,
              0.42734,
              0.83062
            ],
            [
              0.03961,
              0.09261,
              0.1392,
              0.2329,
              0.428,
              0.8313
            ],
            [
              0.0468,
              0.0991,
              0.145,
              0.2384,
              0.432,
              0.8321
            ],
            [
              0.0563,
              0.1086,
              0.1532,
              0.2446,
              0.4367,
              0.8345
            ]
          ]
        },
        "related_pin": "B2",
        "rise_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00721,
            0.01442,
            0.02883,
            0.05767,
            0.11534
          ],
          "values": [
            [
              0.03677,
              0.12339,
              0.21181,
              0.39257,
              0.75847,
              1.49396
            ],
            [
              0.03674,
              0.12366,
              0.21181,
              0.39301,
              0.75918,
              1.49391
            ],
            [
              0.03675,
              0.12343,
              0.2118,
              0.39279,
              0.75909,
              1.4937
            ],
            [
              0.03674,
              0.12366,
              0.21183,
              0.39317,
              0.75949,
              1.49149
            ],
            [
              0.03681,
              0.12384,
              0.21181,
              0.39295,
              0.75926,
              1.49404
            ],
            [
              0.03676,
              0.12386,
              0.21185,
              0.3929,
              0.75918,
              1.49381
            ],
            [
              0.03679,
              0.12343,
              0.21186,
              0.39303,
              0.75984,
              1.49066
            ],
            [
              0.03695,
              0.12375,
              0.21188,
              0.39276,
              0.75945,
              1.49239
            ],
            [
              0.03873,
              0.12414,
              0.21216,
              0.39265,
              0.75933,
              1.49192
            ],
            [
              0.0416,
              0.12631,
              0.21341,
              0.39307,
              0.75867,
              1.4943
            ],
            [
              0.04569,
              0.12987,
              0.21559,
              0.3952,
              0.7592,
              1.4941
            ],
            [
              0.0518,
              0.1348,
              0.2191,
              0.3957,
              0.7596,
              1.4926
            ],
            [
              0.0608,
              0.1424,
              0.2239,
              0.3986,
              0.761,
              1.4949
            ]
          ]
        },
        "sdf_cond": "(!A1&!A2&!A3&B1)",
        "timing_sense": "positive_unate",
        "when": "(!A1&!A2&!A3&B1)"
      },
      {
        "cell_fall,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00721,
            0.01442,
            0.02883,
            0.05767,
            0.11534
          ],
          "values": [
            [
              0.19939,
              0.26922,
              0.31745,
              0.40077,
              0.5552,
              0.85741
            ],
            [
              0.20164,
              0.27149,
              0.31971,
              0.40305,
              0.55743,
              0.85967
            ],
            [
              0.20454,
              0.27439,
              0.32262,
              0.40596,
              0.5603,
              0.86257
            ],
            [
              0.20913,
              0.27902,
              0.32722,
              0.41058,
              0.56488,
              0.86715
            ],
            [
              0.21633,
              0.28619,
              0.3344,
              0.41771,
              0.57217,
              0.87437
            ],
            [
              0.22746,
              0.29728,
              0.3455,
              0.42887,
              0.58317,
              0.88544
            ],
            [
              0.24454,
              0.31427,
              0.36249,
              0.44583,
              0.6004,
              0.90243
            ],
            [
              0.27123,
              0.34082,
              0.38905,
              0.47244,
              0.627,
              0.92896
            ],
            [
              0.31168,
              0.38111,
              0.42937,
              0.51286,
              0.66748,
              0.96985
            ],
            [
              0.37039,
              0.44047,
              0.48893,
              0.57252,
              0.72729,
              1.02969
            ],
            [
              0.44283,
              0.51662,
              0.56672,
              0.65152,
              0.80682,
              1.10932
            ],
            [
              0.52877,
              0.60787,
              0.65957,
              0.74647,
              0.90417,
              1.20717
            ],
            [
              0.6288,
              0.7163,
              0.7704,
              0.8593,
              1.0182,
              1.3238
            ]
          ]
        },
        "cell_rise,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00721,
            0.01442,
            0.02883,
            0.05767,
            0.11534
          ],
          "values": [
            [
              0.14349,
              0.22504,
              0.29222,
              0.42243,
              0.68099,
              1.19887
            ],
            [
              0.14679,
              0.22836,
              0.29551,
              0.42564,
              0.68454,
              1.20094
            ],
            [
              0.15057,
              0.23213,
              0.29935,
              0.42952,
              0.68842,
              1.20562
            ],
            [
              0.15582,
              0.23742,
              0.30451,
              0.43472,
              0.69303,
              1.21118
            ],
            [
              0.16318,
              0.24462,
              0.31191,
              0.44195,
              0.70099,
              1.21691
            ],
            [
              0.17376,
              0.25526,
              0.32252,
              0.45283,
              0.71138,
              1.22922
            ],
            [
              0.18938,
              0.27073,
              0.338,
              0.4684,
              0.72744,
              1.24433
            ],
            [
              0.21257,
              0.2938,
              0.36105,
              0.49153,
              0.75047,
              1.26806
            ],
            [
              0.24505,
              0.32712,
              0.39439,
              0.52494,
              0.78405,
              1.30045
            ],
            [
              0.28706,
              0.37184,
              0.4397,
              0.57016,
              0.82919,
              1.34699
            ],
            [
              0.34032,
              0.42888,
              0.49762,
              0.62862,
              0.88762,
              1.40582
            ],
            [
              0.40597,
              0.50007,
              0.56987,
              0.70157,
              0.96067,
              1.47767
            ],
            [
              0.4847,
              0.5872,
              0.6588,
              0.7909,
              1.0513,
              1.5676
            ]
          ]
        },
        "fall_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00721,
            0.01442,
            0.02883,
            0.05767,
            0.11534
          ],
          "values": [
            [
              0.03524,
              0.09134,
              0.13948,
              0.23454,
              0.43031,
              0.83218
            ],
            [
              0.03523,
              0.09115,
              0.13919,
              0.23467,
              0.43025,
              0.83229
            ],
            [
              0.03522,
              0.09115,
              0.13928,
              0.23482,
              0.43015,
              0.83226
            ],
            [
              0.03522,
              0.09118,
              0.13931,
              0.23484,
              0.42974,
              0.8325
            ],
            [
              0.03522,
              0.09119,
              0.13941,
              0.23452,
              0.43032,
              0.83216
            ],
            [
              0.0352,
              0.09122,
              0.13936,
              0.23497,
              0.42978,
              0.83254
            ],
            [
              0.03522,
              0.09139,
              0.13934,
              0.23455,
              0.43035,
              0.83359
            ],
            [
              0.03519,
              0.09155,
              0.13946,
              0.23505,
              0.43029,
              0.83356
            ],
            [
              0.03522,
              0.09138,
              0.13955,
              0.23494,
              0.43032,
              0.83255
            ],
            [
              0.03712,
              0.09253,
              0.14038,
              0.23498,
              0.4303,
              0.8318
            ],
            [
              0.0417,
              0.0971,
              0.1444,
              0.238,
              0.4314,
              0.8327
            ],
            [
              0.0489,
              0.1032,
              0.1502,
              0.2436,
              0.4359,
              0.8349
            ],
            [
              0.0585,
              0.1123,
              0.1577,
              0.2493,
              0.4406,
              0.8376
            ]
          ]
        },
        "related_pin": "B2",
        "rise_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00721,
            0.01442,
            0.02883,
            0.05767,
            0.11534
          ],
          "values": [
            [
              0.03681,
              0.12375,
              0.2123,
              0.39371,
              0.76049,
              1.49727
            ],
            [
              0.03679,
              0.12391,
              0.21228,
              0.39412,
              0.76126,
              1.49541
            ],
            [
              0.0368,
              0.12374,
              0.21211,
              0.39398,
              0.76139,
              1.49585
            ],
            [
              0.0368,
              0.12368,
              0.21229,
              0.39349,
              0.76064,
              1.49752
            ],
            [
              0.03675,
              0.12398,
              0.21229,
              0.39408,
              0.76107,
              1.49558
            ],
            [
              0.03679,
              0.12372,
              0.2121,
              0.39368,
              0.76045,
              1.49726
            ],
            [
              0.03683,
              0.12368,
              0.21233,
              0.39399,
              0.76176,
              1.49436
            ],
            [
              0.03699,
              0.12385,
              0.21239,
              0.39365,
              0.76095,
              1.49684
            ],
            [
              0.03875,
              0.12454,
              0.21269,
              0.39346,
              0.76118,
              1.49599
            ],
            [
              0.04157,
              0.12664,
              0.21391,
              0.39403,
              0.76114,
              1.4978
            ],
            [
              0.04569,
              0.13027,
              0.21611,
              0.395,
              0.7602,
              1.4977
            ],
            [
              0.0518,
              0.1351,
              0.2195,
              0.3967,
              0.7615,
              1.4963
            ],
            [
              0.0608,
              0.1426,
              0.2247,
              0.3996,
              0.7629,
              1.4989
            ]
          ]
        },
        "sdf_cond": "(!A1&!A2&A3&B1)",
        "timing_sense": "positive_unate",
        "when": "(!A1&!A2&A3&B1)"
      },
      {
        "cell_fall,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00721,
            0.01442,
            0.02883,
            0.05767,
            0.11534
          ],
          "values": [
            [
              0.19151,
              0.25933,
              0.30655,
              0.38884,
              0.54259,
              0.84447
            ],
            [
              0.1938,
              0.26164,
              0.30886,
              0.39118,
              0.54488,
              0.84663
            ],
            [
              0.19673,
              0.26459,
              0.31182,
              0.39409,
              0.5479,
              0.84999
            ],
            [
              0.20142,
              0.26927,
              0.31651,
              0.39876,
              0.55261,
              0.85466
            ],
            [
              0.20871,
              0.27658,
              0.32382,
              0.40607,
              0.55994,
              0.86182
            ],
            [
              0.22002,
              0.28784,
              0.33509,
              0.41734,
              0.57121,
              0.87323
            ],
            [
              0.23733,
              0.30509,
              0.35235,
              0.43465,
              0.58851,
              0.89053
            ],
            [
              0.26441,
              0.33199,
              0.37925,
              0.46161,
              0.61548,
              0.91736
            ],
            [
              0.30524,
              0.37274,
              0.42003,
              0.50249,
              0.65639,
              0.95855
            ],
            [
              0.36367,
              0.43223,
              0.47977,
              0.5624,
              0.71649,
              1.01829
            ],
            [
              0.43519,
              0.50772,
              0.55692,
              0.64092,
              0.79562,
              1.09792
            ],
            [
              0.51987,
              0.59797,
              0.64887,
              0.73497,
              0.89167,
              1.19467
            ],
            [
              0.6185,
              0.705,
              0.7585,
              0.8466,
              1.0046,
              1.3098
            ]
          ]
        },
        "cell_rise,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00721,
            0.01442,
            0.02883,
            0.05767,
            0.11534
          ],
          "values": [
            [
              0.14346,
              0.22489,
              0.29193,
              0.42185,
              0.68007,
              1.19497
            ],
            [
              0.14674,
              0.22814,
              0.29518,
              0.42514,
              0.68328,
              1.20004
            ],
            [
              0.15051,
              0.23196,
              0.29894,
              0.42884,
              0.6868,
              1.20382
            ],
            [
              0.15573,
              0.23722,
              0.30423,
              0.43426,
              0.69261,
              1.20878
            ],
            [
              0.16305,
              0.24445,
              0.31157,
              0.44152,
              0.69984,
              1.21551
            ],
            [
              0.17361,
              0.25492,
              0.32202,
              0.45191,
              0.71043,
              1.22572
            ],
            [
              0.18921,
              0.27042,
              0.3376,
              0.46775,
              0.72623,
              1.24233
            ],
            [
              0.21237,
              0.2935,
              0.36063,
              0.49085,
              0.7493,
              1.26586
            ],
            [
              0.24486,
              0.32681,
              0.39399,
              0.52425,
              0.78285,
              1.29815
            ],
            [
              0.28688,
              0.37155,
              0.43928,
              0.5695,
              0.82789,
              1.34479
            ],
            [
              0.34016,
              0.42861,
              0.49722,
              0.62802,
              0.88652,
              1.40362
            ],
            [
              0.40587,
              0.49977,
              0.56947,
              0.70087,
              0.95957,
              1.47537
            ],
            [
              0.4845,
              0.587,
              0.6585,
              0.7903,
              1.0502,
              1.5656
            ]
          ]
        },
        "fall_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00721,
            0.01442,
            0.02883,
            0.05767,
            0.11534
          ],
          "values": [
            [
              0.03413,
              0.08921,
              0.13727,
              0.23232,
              0.42907,
              0.83207
            ],
            [
              0.03404,
              0.0892,
              0.13714,
              0.23295,
              0.42857,
              0.83313
            ],
            [
              0.03412,
              0.0892,
              0.13723,
              0.23261,
              0.42904,
              0.83186
            ],
            [
              0.03407,
              0.08926,
              0.13739,
              0.23253,
              0.4291,
              0.83112
            ],
            [
              0.03405,
              0.0892,
              0.13732,
              0.23254,
              0.42912,
              0.83183
            ],
            [
              0.03405,
              0.08923,
              0.13709,
              0.23246,
              0.42911,
              0.83106
            ],
            [
              0.03404,
              0.08925,
              0.13754,
              0.23229,
              0.42911,
              0.83116
            ],
            [
              0.03404,
              0.08927,
              0.13731,
              0.2323,
              0.42909,
              0.83188
            ],
            [
              0.03418,
              0.08943,
              0.13737,
              0.23259,
              0.42909,
              0.83222
            ],
            [
              0.03631,
              0.09059,
              0.1381,
              0.23296,
              0.4291,
              0.833
            ],
            [
              0.04102,
              0.0955,
              0.1425,
              0.2365,
              0.4305,
              0.8315
            ],
            [
              0.0482,
              0.1018,
              0.1483,
              0.2418,
              0.4342,
              0.8343
            ],
            [
              0.0579,
              0.1112,
              0.1563,
              0.2477,
              0.4391,
              0.8363
            ]
          ]
        },
        "related_pin": "B2",
        "rise_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00721,
            0.01442,
            0.02883,
            0.05767,
            0.11534
          ],
          "values": [
            [
              0.03675,
              0.12345,
              0.21183,
              0.39335,
              0.75963,
              1.49241
            ],
            [
              0.03673,
              0.12356,
              0.21199,
              0.39267,
              0.75925,
              1.49413
            ],
            [
              0.03677,
              0.12347,
              0.21194,
              0.39292,
              0.75942,
              1.4949
            ],
            [
              0.03678,
              0.12366,
              0.21183,
              0.39323,
              0.76018,
              1.49294
            ],
            [
              0.03679,
              0.12356,
              0.21192,
              0.39342,
              0.75978,
              1.49432
            ],
            [
              0.03675,
              0.12387,
              0.21197,
              0.39329,
              0.75967,
              1.49357
            ],
            [
              0.03679,
              0.12395,
              0.212,
              0.39323,
              0.76011,
              1.49253
            ],
            [
              0.037,
              0.12379,
              0.21205,
              0.39296,
              0.75962,
              1.49389
            ],
            [
              0.03871,
              0.12435,
              0.21228,
              0.39276,
              0.75974,
              1.49333
            ],
            [
              0.04157,
              0.12641,
              0.21357,
              0.3933,
              0.7596,
              1.4952
            ],
            [
              0.04572,
              0.13006,
              0.21575,
              0.3943,
              0.759,
              1.4937
            ],
            [
              0.0519,
              0.135,
              0.2192,
              0.3959,
              0.76,
              1.4935
            ],
            [
              0.0608,
              0.1424,
              0.2243,
              0.3989,
              0.7615,
              1.4957
            ]
          ]
        },
        "sdf_cond": "(!A1&A2&!A3&B1)",
        "timing_sense": "positive_unate",
        "when": "(!A1&A2&!A3&B1)"
      },
      {
        "cell_fall,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00721,
            0.01442,
            0.02883,
            0.05767,
            0.11534
          ],
          "values": [
            [
              0.24975,
              0.33019,
              0.38392,
              0.47332,
              0.6327,
              0.9366
            ],
            [
              0.25163,
              0.33209,
              0.3858,
              0.4752,
              0.63452,
              0.93839
            ],
            [
              0.25413,
              0.3346,
              0.38834,
              0.47773,
              0.63709,
              0.94115
            ],
            [
              0.25818,
              0.33868,
              0.39242,
              0.48181,
              0.64116,
              0.94522
            ],
            [
              0.2646,
              0.34509,
              0.39884,
              0.48823,
              0.64753,
              0.95151
            ],
            [
              0.27472,
              0.35518,
              0.40894,
              0.49834,
              0.65768,
              0.96152
            ],
            [
              0.29061,
              0.37103,
              0.42476,
              0.51418,
              0.67337,
              0.97723
            ],
            [
              0.31501,
              0.39533,
              0.44903,
              0.53846,
              0.69774,
              1.00166
            ],
            [
              0.35309,
              0.43324,
              0.48694,
              0.5764,
              0.73585,
              1.03985
            ],
            [
              0.41099,
              0.49078,
              0.54448,
              0.63399,
              0.79349,
              1.09769
            ],
            [
              0.48822,
              0.57032,
              0.62482,
              0.71502,
              0.87482,
              1.17922
            ],
            [
              0.58107,
              0.66717,
              0.72317,
              0.81577,
              0.97787,
              1.28297
            ],
            [
              0.6895,
              0.7832,
              0.8411,
              0.9353,
              1.0995,
              1.4076
            ]
          ]
        },
        "cell_rise,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00721,
            0.01442,
            0.02883,
            0.05767,
            0.11534
          ],
          "values": [
            [
              0.14359,
              0.22509,
              0.29224,
              0.42241,
              0.68066,
              1.19897
            ],
            [
              0.14697,
              0.22854,
              0.29563,
              0.42577,
              0.6847,
              1.20094
            ],
            [
              0.15084,
              0.23244,
              0.29954,
              0.42968,
              0.68823,
              1.20602
            ],
            [
              0.15621,
              0.23772,
              0.3049,
              0.43517,
              0.69358,
              1.21158
            ],
            [
              0.16368,
              0.24518,
              0.31245,
              0.44264,
              0.70148,
              1.21691
            ],
            [
              0.17439,
              0.2559,
              0.32317,
              0.45349,
              0.71206,
              1.22982
            ],
            [
              0.1901,
              0.27149,
              0.3388,
              0.46919,
              0.72798,
              1.24543
            ],
            [
              0.21331,
              0.2946,
              0.36177,
              0.49222,
              0.75111,
              1.26886
            ],
            [
              0.24584,
              0.3279,
              0.39522,
              0.52565,
              0.78485,
              1.30125
            ],
            [
              0.28782,
              0.37257,
              0.4404,
              0.57105,
              0.82999,
              1.34809
            ],
            [
              0.34101,
              0.42954,
              0.49822,
              0.62932,
              0.88822,
              1.40642
            ],
            [
              0.40657,
              0.50057,
              0.57047,
              0.70207,
              0.96127,
              1.47827
            ],
            [
              0.4851,
              0.5876,
              0.6592,
              0.7912,
              1.0517,
              1.568
            ]
          ]
        },
        "fall_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00721,
            0.01442,
            0.02883,
            0.05767,
            0.11534
          ],
          "values": [
            [
              0.04298,
              0.10399,
              0.1534,
              0.24887,
              0.44049,
              0.83683
            ],
            [
              0.04304,
              0.10397,
              0.15345,
              0.24843,
              0.44029,
              0.83726
            ],
            [
              0.04297,
              0.10419,
              0.15351,
              0.24906,
              0.44046,
              0.83737
            ],
            [
              0.04298,
              0.10408,
              0.15395,
              0.24845,
              0.44044,
              0.83745
            ],
            [
              0.04297,
              0.10407,
              0.15351,
              0.24848,
              0.44042,
              0.83789
            ],
            [
              0.04298,
              0.10397,
              0.1535,
              0.24875,
              0.44036,
              0.83708
            ],
            [
              0.04298,
              0.10398,
              0.1534,
              0.24858,
              0.44029,
              0.83787
            ],
            [
              0.04295,
              0.10402,
              0.15356,
              0.24851,
              0.44059,
              0.83796
            ],
            [
              0.04285,
              0.10402,
              0.15349,
              0.24888,
              0.44046,
              0.83789
            ],
            [
              0.04287,
              0.10424,
              0.15375,
              0.24876,
              0.44053,
              0.8367
            ],
            [
              0.0467,
              0.1076,
              0.1562,
              0.2501,
              0.441,
              0.8375
            ],
            [
              0.0536,
              0.1127,
              0.1619,
              0.2564,
              0.4456,
              0.8396
            ],
            [
              0.0634,
              0.121,
              0.1687,
              0.2624,
              0.4518,
              0.8434
            ]
          ]
        },
        "related_pin": "B2",
        "rise_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00721,
            0.01442,
            0.02883,
            0.05767,
            0.11534
          ],
          "values": [
            [
              0.03684,
              0.12405,
              0.21229,
              0.39359,
              0.76042,
              1.49758
            ],
            [
              0.03676,
              0.12392,
              0.21232,
              0.39415,
              0.76117,
              1.49548
            ],
            [
              0.03678,
              0.12368,
              0.21228,
              0.39364,
              0.76089,
              1.49779
            ],
            [
              0.03678,
              0.12371,
              0.21231,
              0.3933,
              0.76015,
              1.49745
            ],
            [
              0.0368,
              0.12394,
              0.21231,
              0.39413,
              0.7611,
              1.49485
            ],
            [
              0.03679,
              0.12374,
              0.21212,
              0.39369,
              0.7605,
              1.49712
            ],
            [
              0.03678,
              0.12391,
              0.212,
              0.39374,
              0.76086,
              1.49679
            ],
            [
              0.03702,
              0.12379,
              0.21234,
              0.39349,
              0.76063,
              1.49644
            ],
            [
              0.03872,
              0.12436,
              0.21248,
              0.39354,
              0.7612,
              1.49537
            ],
            [
              0.04154,
              0.1266,
              0.21415,
              0.3938,
              0.76119,
              1.4975
            ],
            [
              0.04569,
              0.13008,
              0.21594,
              0.395,
              0.7604,
              1.4978
            ],
            [
              0.0518,
              0.135,
              0.2192,
              0.3968,
              0.7615,
              1.4964
            ],
            [
              0.0608,
              0.1425,
              0.2246,
              0.3997,
              0.7628,
              1.4989
            ]
          ]
        },
        "sdf_cond": "(!A1&A2&A3&B1)",
        "timing_sense": "positive_unate",
        "when": "(!A1&A2&A3&B1)"
      },
      {
        "cell_fall,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00721,
            0.01442,
            0.02883,
            0.05767,
            0.11534
          ],
          "values": [
            [
              0.22096,
              0.29033,
              0.33839,
              0.4216,
              0.57628,
              0.87896
            ],
            [
              0.22328,
              0.29266,
              0.34073,
              0.42399,
              0.57851,
              0.88075
            ],
            [
              0.22628,
              0.29567,
              0.34374,
              0.42693,
              0.58167,
              0.88425
            ],
            [
              0.23098,
              0.30038,
              0.34845,
              0.43163,
              0.58625,
              0.88875
            ],
            [
              0.23833,
              0.30772,
              0.3558,
              0.43907,
              0.59365,
              0.89626
            ],
            [
              0.24964,
              0.31902,
              0.3671,
              0.45035,
              0.60483,
              0.90736
            ],
            [
              0.26688,
              0.3362,
              0.38429,
              0.46758,
              0.62218,
              0.92483
            ],
            [
              0.29375,
              0.36301,
              0.41108,
              0.49437,
              0.64905,
              0.95176
            ],
            [
              0.33447,
              0.40359,
              0.45164,
              0.5349,
              0.68975,
              0.99225
            ],
            [
              0.39566,
              0.46475,
              0.51287,
              0.59623,
              0.75089,
              1.05389
            ],
            [
              0.47492,
              0.54732,
              0.59662,
              0.68072,
              0.83582,
              1.13842
            ],
            [
              0.56967,
              0.64687,
              0.69777,
              0.78407,
              0.94097,
              1.24427
            ],
            [
              0.6809,
              0.7657,
              0.8189,
              0.907,
              1.0654,
              1.3709
            ]
          ]
        },
        "cell_rise,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00721,
            0.01442,
            0.02883,
            0.05767,
            0.11534
          ],
          "values": [
            [
              0.15177,
              0.241,
              0.30976,
              0.44035,
              0.69847,
              1.21327
            ],
            [
              0.15506,
              0.24435,
              0.31316,
              0.44367,
              0.70132,
              1.21644
            ],
            [
              0.15883,
              0.2481,
              0.31698,
              0.44739,
              0.70606,
              1.22132
            ],
            [
              0.16409,
              0.25333,
              0.32222,
              0.45271,
              0.71093,
              1.22608
            ],
            [
              0.17141,
              0.2607,
              0.32944,
              0.46007,
              0.71819,
              1.23331
            ],
            [
              0.18196,
              0.27116,
              0.34003,
              0.47062,
              0.72853,
              1.24512
            ],
            [
              0.19757,
              0.28663,
              0.35539,
              0.48615,
              0.74457,
              1.26083
            ],
            [
              0.22071,
              0.30963,
              0.37855,
              0.50925,
              0.76772,
              1.28346
            ],
            [
              0.2535,
              0.34315,
              0.41213,
              0.54285,
              0.80095,
              1.31635
            ],
            [
              0.29616,
              0.38929,
              0.45875,
              0.58969,
              0.84819,
              1.36429
            ],
            [
              0.35034,
              0.44852,
              0.51932,
              0.65092,
              0.90932,
              1.42452
            ],
            [
              0.41737,
              0.52297,
              0.59547,
              0.72817,
              0.98717,
              1.50297
            ],
            [
              0.4977,
              0.6147,
              0.6898,
              0.8237,
              1.0835,
              1.5983
            ]
          ]
        },
        "fall_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00721,
            0.01442,
            0.02883,
            0.05767,
            0.11534
          ],
          "values": [
            [
              0.03563,
              0.09127,
              0.13942,
              0.23471,
              0.43075,
              0.83299
            ],
            [
              0.03562,
              0.09134,
              0.13941,
              0.23468,
              0.43021,
              0.8344
            ],
            [
              0.03562,
              0.09154,
              0.13942,
              0.23473,
              0.43088,
              0.83249
            ],
            [
              0.03561,
              0.09133,
              0.1394,
              0.23466,
              0.43069,
              0.83369
            ],
            [
              0.03563,
              0.09134,
              0.13931,
              0.23497,
              0.43048,
              0.8345
            ],
            [
              0.03562,
              0.09132,
              0.13976,
              0.23457,
              0.4303,
              0.83398
            ],
            [
              0.03562,
              0.09137,
              0.13933,
              0.23497,
              0.43049,
              0.83448
            ],
            [
              0.03561,
              0.09137,
              0.1394,
              0.23508,
              0.43062,
              0.83396
            ],
            [
              0.0356,
              0.09158,
              0.13949,
              0.23468,
              0.43095,
              0.83337
            ],
            [
              0.03627,
              0.09189,
              0.13976,
              0.23468,
              0.43064,
              0.8339
            ],
            [
              0.0405,
              0.0957,
              0.1428,
              0.2367,
              0.4316,
              0.8333
            ],
            [
              0.0469,
              0.1012,
              0.1484,
              0.2417,
              0.4348,
              0.8337
            ],
            [
              0.0561,
              0.1095,
              0.1553,
              0.2474,
              0.4397,
              0.8376
            ]
          ]
        },
        "related_pin": "B2",
        "rise_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00721,
            0.01442,
            0.02883,
            0.05767,
            0.11534
          ],
          "values": [
            [
              0.04371,
              0.12895,
              0.21546,
              0.39429,
              0.76016,
              1.49224
            ],
            [
              0.0437,
              0.12902,
              0.21507,
              0.39429,
              0.75988,
              1.49294
            ],
            [
              0.0437,
              0.12895,
              0.21556,
              0.39448,
              0.76031,
              1.49189
            ],
            [
              0.04361,
              0.12898,
              0.21514,
              0.39408,
              0.75945,
              1.49212
            ],
            [
              0.0436,
              0.12892,
              0.21544,
              0.39435,
              0.75997,
              1.49251
            ],
            [
              0.0437,
              0.12896,
              0.21515,
              0.39419,
              0.76,
              1.49516
            ],
            [
              0.04361,
              0.12911,
              0.21546,
              0.3942,
              0.76003,
              1.49524
            ],
            [
              0.04386,
              0.12917,
              0.21564,
              0.3939,
              0.75994,
              1.49315
            ],
            [
              0.04596,
              0.1298,
              0.21547,
              0.39456,
              0.75983,
              1.49235
            ],
            [
              0.04964,
              0.13249,
              0.21737,
              0.39489,
              0.75869,
              1.4936
            ],
            [
              0.05494,
              0.13701,
              0.22023,
              0.3957,
              0.7598,
              1.4928
            ],
            [
              0.0628,
              0.1435,
              0.2254,
              0.3982,
              0.7594,
              1.4937
            ],
            [
              0.074,
              0.1532,
              0.2318,
              0.4028,
              0.7612,
              1.4962
            ]
          ]
        },
        "sdf_cond": "(A1&!A2&!A3&B1)",
        "timing_sense": "positive_unate",
        "when": "(A1&!A2&!A3&B1)"
      },
      {
        "cell_fall,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00721,
            0.01442,
            0.02883,
            0.05767,
            0.11534
          ],
          "values": [
            [
              0.28822,
              0.36998,
              0.42446,
              0.5148,
              0.67506,
              0.97975
            ],
            [
              0.29014,
              0.37194,
              0.42642,
              0.51674,
              0.67694,
              0.9816
            ],
            [
              0.29276,
              0.37455,
              0.42904,
              0.51936,
              0.67971,
              0.98462
            ],
            [
              0.29691,
              0.37872,
              0.43322,
              0.52355,
              0.68386,
              0.98877
            ],
            [
              0.30347,
              0.38527,
              0.43978,
              0.53009,
              0.6904,
              0.99531
            ],
            [
              0.31366,
              0.39545,
              0.44994,
              0.54029,
              0.70046,
              1.00512
            ],
            [
              0.32957,
              0.41134,
              0.46583,
              0.55616,
              0.71652,
              1.02143
            ],
            [
              0.35382,
              0.43553,
              0.49,
              0.58034,
              0.74072,
              1.04556
            ],
            [
              0.39162,
              0.47325,
              0.52767,
              0.61801,
              0.77835,
              1.08305
            ],
            [
              0.44935,
              0.53076,
              0.58517,
              0.67549,
              0.83599,
              1.14099
            ],
            [
              0.53302,
              0.61512,
              0.66972,
              0.76032,
              0.92082,
              1.22582
            ],
            [
              0.63607,
              0.72167,
              0.77787,
              0.87067,
              1.03257,
              1.33797
            ],
            [
              0.7578,
              0.8498,
              0.9076,
              1.0018,
              1.1664,
              1.4745
            ]
          ]
        },
        "cell_rise,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00721,
            0.01442,
            0.02883,
            0.05767,
            0.11534
          ],
          "values": [
            [
              0.15189,
              0.24132,
              0.31013,
              0.44099,
              0.69949,
              1.21587
            ],
            [
              0.15526,
              0.24469,
              0.31353,
              0.4444,
              0.70301,
              1.21954
            ],
            [
              0.15914,
              0.24857,
              0.31759,
              0.44826,
              0.70696,
              1.22242
            ],
            [
              0.16451,
              0.25389,
              0.32292,
              0.4537,
              0.71249,
              1.22848
            ],
            [
              0.17199,
              0.2614,
              0.33032,
              0.46101,
              0.71949,
              1.23741
            ],
            [
              0.18269,
              0.27198,
              0.34103,
              0.47188,
              0.73073,
              1.24712
            ],
            [
              0.19841,
              0.28762,
              0.35654,
              0.48754,
              0.74629,
              1.26233
            ],
            [
              0.22161,
              0.31064,
              0.37968,
              0.51069,
              0.76976,
              1.28526
            ],
            [
              0.2544,
              0.34421,
              0.41323,
              0.54431,
              0.80345,
              1.32005
            ],
            [
              0.29706,
              0.39028,
              0.45983,
              0.59092,
              0.85039,
              1.36709
            ],
            [
              0.35116,
              0.44942,
              0.52032,
              0.65212,
              0.91152,
              1.42772
            ],
            [
              0.41807,
              0.52377,
              0.59637,
              0.72917,
              0.98887,
              1.50587
            ],
            [
              0.4982,
              0.6152,
              0.6904,
              0.8247,
              1.085,
              1.6009
            ]
          ]
        },
        "fall_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00721,
            0.01442,
            0.02883,
            0.05767,
            0.11534
          ],
          "values": [
            [
              0.04462,
              0.106,
              0.15593,
              0.25054,
              0.44217,
              0.83909
            ],
            [
              0.04463,
              0.10597,
              0.15551,
              0.25053,
              0.44246,
              0.83962
            ],
            [
              0.04463,
              0.1061,
              0.15549,
              0.25094,
              0.44249,
              0.83812
            ],
            [
              0.04463,
              0.10596,
              0.15549,
              0.25087,
              0.44246,
              0.8392
            ],
            [
              0.04464,
              0.10591,
              0.15547,
              0.25045,
              0.44246,
              0.8394
            ],
            [
              0.04462,
              0.10611,
              0.15575,
              0.2505,
              0.44204,
              0.83925
            ],
            [
              0.04463,
              0.10611,
              0.15548,
              0.25078,
              0.44247,
              0.8383
            ],
            [
              0.04462,
              0.10615,
              0.15555,
              0.25103,
              0.44251,
              0.83814
            ],
            [
              0.04458,
              0.10602,
              0.15557,
              0.25057,
              0.44254,
              0.83964
            ],
            [
              0.04447,
              0.10621,
              0.15558,
              0.25054,
              0.44246,
              0.8394
            ],
            [
              0.0466,
              0.1073,
              0.1565,
              0.2511,
              0.4427,
              0.8398
            ],
            [
              0.0524,
              0.1124,
              0.162,
              0.2561,
              0.4457,
              0.8409
            ],
            [
              0.0617,
              0.1197,
              0.1681,
              0.2616,
              0.4518,
              0.8448
            ]
          ]
        },
        "related_pin": "B2",
        "rise_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00721,
            0.01442,
            0.02883,
            0.05767,
            0.11534
          ],
          "values": [
            [
              0.04374,
              0.1291,
              0.21579,
              0.39503,
              0.76161,
              1.49599
            ],
            [
              0.04363,
              0.12918,
              0.21577,
              0.39501,
              0.76053,
              1.49436
            ],
            [
              0.04363,
              0.12919,
              0.21564,
              0.39515,
              0.76165,
              1.49463
            ],
            [
              0.04364,
              0.12913,
              0.21542,
              0.39468,
              0.7616,
              1.49546
            ],
            [
              0.04374,
              0.1292,
              0.21584,
              0.39514,
              0.76038,
              1.49808
            ],
            [
              0.04374,
              0.12916,
              0.21592,
              0.39504,
              0.76143,
              1.49738
            ],
            [
              0.04367,
              0.12917,
              0.21588,
              0.39492,
              0.76174,
              1.49644
            ],
            [
              0.0439,
              0.1294,
              0.21551,
              0.39493,
              0.76155,
              1.49552
            ],
            [
              0.04587,
              0.12989,
              0.21607,
              0.39502,
              0.76092,
              1.4949
            ],
            [
              0.04963,
              0.13263,
              0.21733,
              0.39552,
              0.76101,
              1.4964
            ],
            [
              0.05487,
              0.13717,
              0.22066,
              0.3967,
              0.7609,
              1.4959
            ],
            [
              0.0627,
              0.1436,
              0.2257,
              0.399,
              0.761,
              1.4966
            ],
            [
              0.0741,
              0.1533,
              0.2321,
              0.4034,
              0.7627,
              1.499
            ]
          ]
        },
        "sdf_cond": "(A1&!A2&A3&B1)",
        "timing_sense": "positive_unate",
        "when": "(A1&!A2&A3&B1)"
      },
      {
        "cell_fall,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00721,
            0.01442,
            0.02883,
            0.05767,
            0.11534
          ],
          "values": [
            [
              0.30707,
              0.38817,
              0.44226,
              0.53224,
              0.69235,
              0.99747
            ],
            [
              0.30905,
              0.39015,
              0.44425,
              0.53423,
              0.69451,
              0.99984
            ],
            [
              0.31172,
              0.39285,
              0.44694,
              0.53694,
              0.69714,
              1.00212
            ],
            [
              0.316,
              0.39713,
              0.45122,
              0.54122,
              0.70151,
              1.00668
            ],
            [
              0.32268,
              0.40381,
              0.45793,
              0.54793,
              0.70821,
              1.01351
            ],
            [
              0.33308,
              0.41421,
              0.46833,
              0.55834,
              0.71862,
              1.02372
            ],
            [
              0.34926,
              0.43039,
              0.48452,
              0.57452,
              0.73473,
              1.03993
            ],
            [
              0.37399,
              0.45509,
              0.50901,
              0.599,
              0.75916,
              1.06436
            ],
            [
              0.41188,
              0.49297,
              0.54705,
              0.63707,
              0.79735,
              1.10245
            ],
            [
              0.46985,
              0.5508,
              0.60484,
              0.69489,
              0.85519,
              1.16059
            ],
            [
              0.55652,
              0.63742,
              0.69152,
              0.78152,
              0.94192,
              1.24702
            ],
            [
              0.66607,
              0.75047,
              0.80607,
              0.89777,
              1.05897,
              1.36457
            ],
            [
              0.7962,
              0.8864,
              0.9435,
              1.0369,
              1.201,
              1.5083
            ]
          ]
        },
        "cell_rise,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00721,
            0.01442,
            0.02883,
            0.05767,
            0.11534
          ],
          "values": [
            [
              0.15252,
              0.25226,
              0.32389,
              0.45597,
              0.71496,
              1.23177
            ],
            [
              0.1559,
              0.25564,
              0.32731,
              0.45943,
              0.71776,
              1.23404
            ],
            [
              0.15976,
              0.25952,
              0.33119,
              0.46328,
              0.72226,
              1.23882
            ],
            [
              0.16514,
              0.26488,
              0.33659,
              0.46874,
              0.72706,
              1.24328
            ],
            [
              0.17259,
              0.27232,
              0.34399,
              0.47615,
              0.73516,
              1.25191
            ],
            [
              0.18328,
              0.28293,
              0.35464,
              0.4868,
              0.74578,
              1.26232
            ],
            [
              0.19897,
              0.29847,
              0.3702,
              0.50237,
              0.76144,
              1.27793
            ],
            [
              0.22211,
              0.32149,
              0.39323,
              0.52558,
              0.78475,
              1.30136
            ],
            [
              0.25484,
              0.35498,
              0.42689,
              0.5592,
              0.81855,
              1.33535
            ],
            [
              0.29742,
              0.40148,
              0.47389,
              0.60646,
              0.86599,
              1.38279
            ],
            [
              0.35145,
              0.46172,
              0.53582,
              0.66902,
              0.92832,
              1.44572
            ],
            [
              0.41827,
              0.53737,
              0.61377,
              0.74897,
              1.00877,
              1.52597
            ],
            [
              0.4983,
              0.631,
              0.7109,
              0.848,
              1.1089,
              1.6252
            ]
          ]
        },
        "fall_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00721,
            0.01442,
            0.02883,
            0.05767,
            0.11534
          ],
          "values": [
            [
              0.04517,
              0.10627,
              0.15569,
              0.25068,
              0.44279,
              0.84072
            ],
            [
              0.04514,
              0.10642,
              0.15564,
              0.25088,
              0.44296,
              0.83995
            ],
            [
              0.04517,
              0.10631,
              0.15619,
              0.25063,
              0.44258,
              0.84046
            ],
            [
              0.04512,
              0.10646,
              0.15572,
              0.25105,
              0.44295,
              0.83948
            ],
            [
              0.04514,
              0.10643,
              0.15565,
              0.25072,
              0.44296,
              0.83971
            ],
            [
              0.04517,
              0.10632,
              0.15574,
              0.25082,
              0.44284,
              0.84013
            ],
            [
              0.04512,
              0.10632,
              0.15561,
              0.25061,
              0.4429,
              0.84078
            ],
            [
              0.04511,
              0.10627,
              0.15567,
              0.25065,
              0.44295,
              0.84082
            ],
            [
              0.04515,
              0.10631,
              0.15574,
              0.25083,
              0.44292,
              0.83999
            ],
            [
              0.04498,
              0.10644,
              0.15577,
              0.2507,
              0.4429,
              0.8401
            ],
            [
              0.0461,
              0.1069,
              0.156,
              0.251,
              0.443,
              0.8402
            ],
            [
              0.0515,
              0.1114,
              0.1607,
              0.2546,
              0.445,
              0.8404
            ],
            [
              0.0602,
              0.1183,
              0.1664,
              0.2606,
              0.4504,
              0.8437
            ]
          ]
        },
        "related_pin": "B2",
        "rise_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00721,
            0.01442,
            0.02883,
            0.05767,
            0.11534
          ],
          "values": [
            [
              0.04656,
              0.13757,
              0.22171,
              0.39794,
              0.76183,
              1.49621
            ],
            [
              0.04657,
              0.1376,
              0.22194,
              0.39771,
              0.76169,
              1.4948
            ],
            [
              0.04655,
              0.13754,
              0.22169,
              0.39794,
              0.76188,
              1.49712
            ],
            [
              0.04654,
              0.13759,
              0.22193,
              0.39771,
              0.76163,
              1.49476
            ],
            [
              0.04654,
              0.13755,
              0.22193,
              0.39794,
              0.76188,
              1.49639
            ],
            [
              0.04654,
              0.13758,
              0.22176,
              0.39799,
              0.762,
              1.49705
            ],
            [
              0.04654,
              0.13765,
              0.22175,
              0.39807,
              0.76093,
              1.49612
            ],
            [
              0.04679,
              0.13784,
              0.22191,
              0.39795,
              0.76183,
              1.49707
            ],
            [
              0.04864,
              0.13874,
              0.22215,
              0.39826,
              0.76181,
              1.49515
            ],
            [
              0.05239,
              0.14167,
              0.22402,
              0.39877,
              0.76232,
              1.4967
            ],
            [
              0.05767,
              0.14743,
              0.22766,
              0.4005,
              0.7622,
              1.497
            ],
            [
              0.0655,
              0.1556,
              0.2342,
              0.404,
              0.7631,
              1.4969
            ],
            [
              0.0768,
              0.1682,
              0.2434,
              0.4091,
              0.7643,
              1.4988
            ]
          ]
        },
        "sdf_cond": "(A1&A2&!A3&B1)",
        "timing_sense": "positive_unate",
        "when": "(A1&A2&!A3&B1)"
      }
    ]
  }
}