{
  "area": 14.3856,
  "cell_footprint": "sky130_fd_sc_ms__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.00287,
    "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.00292,
          0.00267,
          0.00262,
          0.00261,
          0.00265,
          0.00263,
          0.00262,
          0.00262,
          0.00262,
          0.00288,
          0.00294,
          0.00331,
          0.00358
        ]
      },
      "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.00296,
          0.00306,
          0.00289,
          0.0029,
          0.00289,
          0.00289,
          0.0029,
          0.00294,
          0.003,
          0.00336,
          0.00352,
          0.00409,
          0.00463
        ]
      }
    },
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,A2": {
    "capacitance": 0.00285,
    "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.00308,
          0.00285,
          0.00279,
          0.00277,
          0.00272,
          0.00272,
          0.00273,
          0.00275,
          0.00278,
          0.00308,
          0.00321,
          0.0037,
          0.00418
        ]
      },
      "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.0025,
          0.00233,
          0.00241,
          0.00234,
          0.00236,
          0.00235,
          0.00234,
          0.00235,
          0.00236,
          0.0026,
          0.00266,
          0.00297,
          0.00317
        ]
      }
    },
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,A3": {
    "capacitance": 0.00296,
    "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.00417,
          0.00396,
          0.00388,
          0.00376,
          0.00376,
          0.00374,
          0.00374,
          0.00377,
          0.00382,
          0.00426,
          0.00444,
          0.0051,
          0.00561
        ]
      },
      "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.00243,
          0.00235,
          0.00218,
          0.00227,
          0.00227,
          0.00228,
          0.00229,
          0.00229,
          0.00229,
          0.00248,
          0.00248,
          0.00268,
          0.00278
        ]
      }
    },
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,B1": {
    "capacitance": 0.00295,
    "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.00258,
          0.00243,
          0.00232,
          0.00225,
          0.0023,
          0.0023,
          0.00227,
          0.00229,
          0.00227,
          0.00247,
          0.00248,
          0.00273,
          0.0029
        ]
      },
      "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.00377,
          0.00343,
          0.00345,
          0.00331,
          0.00325,
          0.00331,
          0.00332,
          0.00337,
          0.00346,
          0.0039,
          0.00414,
          0.00489,
          0.00557
        ]
      }
    },
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,B2": {
    "capacitance": 0.00285,
    "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.00371,
          0.00354,
          0.00345,
          0.00342,
          0.00339,
          0.00341,
          0.00343,
          0.00348,
          0.00357,
          0.00403,
          0.00427,
          0.00499,
          0.00564
        ]
      },
      "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.00233,
          0.00226,
          0.00209,
          0.00207,
          0.00212,
          0.00211,
          0.0021,
          0.0021,
          0.00209,
          0.00227,
          0.00227,
          0.00247,
          0.00261
        ]
      }
    },
    "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_template13x7": {
          "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.00636,
            0.01272,
            0.02543,
            0.05086,
            0.10172,
            0.20344
          ],
          "values": [
            [
              0.03349,
              0.02561,
              0.01785,
              0.00206,
              -0.03006,
              -0.09487,
              -0.22495
            ],
            [
              0.0335,
              0.02562,
              0.01786,
              0.00208,
              -0.03005,
              -0.09485,
              -0.22493
            ],
            [
              0.03349,
              0.02562,
              0.01785,
              0.00206,
              -0.03005,
              -0.09487,
              -0.22494
            ],
            [
              0.03344,
              0.02555,
              0.01779,
              0.002,
              -0.03011,
              -0.09492,
              -0.225
            ],
            [
              0.03337,
              0.02549,
              0.01772,
              0.00193,
              -0.03018,
              -0.095,
              -0.22507
            ],
            [
              0.03326,
              0.02538,
              0.01762,
              0.00183,
              -0.03029,
              -0.09509,
              -0.22517
            ],
            [
              0.03316,
              0.02529,
              0.01751,
              0.00172,
              -0.03039,
              -0.09521,
              -0.22527
            ],
            [
              0.03306,
              0.02517,
              0.01739,
              0.0016,
              -0.03052,
              -0.09533,
              -0.22539
            ],
            [
              0.03295,
              0.02509,
              0.01727,
              0.00145,
              -0.03066,
              -0.09545,
              -0.22551
            ],
            [
              0.03287,
              0.02495,
              0.01713,
              0.00131,
              -0.03079,
              -0.09557,
              -0.22562
            ],
            [
              0.03284,
              0.02486,
              0.01699,
              0.00114,
              -0.03096,
              -0.0957,
              -0.22571
            ],
            [
              0.03294,
              0.02479,
              0.01687,
              0.001,
              -0.0311,
              -0.09581,
              -0.2258
            ],
            [
              0.03323,
              0.02491,
              0.0169,
              0.00092,
              -0.03123,
              -0.09589,
              -0.22581
            ]
          ]
        },
        "related_pin": "A1",
        "rise_power,pwr_template13x7": {
          "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.00636,
            0.01272,
            0.02543,
            0.05086,
            0.10172,
            0.20344
          ],
          "values": [
            [
              0.01582,
              0.02415,
              0.03238,
              0.04867,
              0.0811,
              0.14571,
              0.27511
            ],
            [
              0.01577,
              0.0241,
              0.03235,
              0.04866,
              0.08104,
              0.14578,
              0.27454
            ],
            [
              0.01572,
              0.02403,
              0.03227,
              0.0486,
              0.08104,
              0.14591,
              0.27503
            ],
            [
              0.01572,
              0.02404,
              0.03225,
              0.0486,
              0.08105,
              0.14573,
              0.27522
            ],
            [
              0.01565,
              0.024,
              0.03223,
              0.04852,
              0.08089,
              0.14558,
              0.27441
            ],
            [
              0.01558,
              0.0239,
              0.03215,
              0.04844,
              0.08091,
              0.1458,
              0.27475
            ],
            [
              0.0155,
              0.02382,
              0.03205,
              0.04839,
              0.08082,
              0.14538,
              0.27503
            ],
            [
              0.01539,
              0.02374,
              0.03199,
              0.04826,
              0.08067,
              0.14535,
              0.27425
            ],
            [
              0.01532,
              0.02361,
              0.03183,
              0.04813,
              0.08048,
              0.1453,
              0.2741
            ],
            [
              0.01529,
              0.02354,
              0.0317,
              0.04803,
              0.08044,
              0.14525,
              0.27396
            ],
            [
              0.01534,
              0.02352,
              0.03165,
              0.04786,
              0.08036,
              0.14494,
              0.2743
            ],
            [
              0.01551,
              0.02361,
              0.03178,
              0.04799,
              0.08038,
              0.1449,
              0.27423
            ],
            [
              0.01588,
              0.02385,
              0.03198,
              0.04824,
              0.08064,
              0.14488,
              0.2741
            ]
          ]
        },
        "when": "(A2&A3&!B1) | (A2&A3&!B2)"
      },
      {
        "fall_power,pwr_template13x7": {
          "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.00636,
            0.01272,
            0.02543,
            0.05086,
            0.10172,
            0.20344
          ],
          "values": [
            [
              0.03627,
              0.02827,
              0.02043,
              0.00463,
              -0.02748,
              -0.09225,
              -0.22228
            ],
            [
              0.03624,
              0.02824,
              0.0204,
              0.0046,
              -0.02751,
              -0.09228,
              -0.22231
            ],
            [
              0.0362,
              0.0282,
              0.02036,
              0.00456,
              -0.02754,
              -0.09231,
              -0.22234
            ],
            [
              0.03615,
              0.02816,
              0.02031,
              0.0045,
              -0.0276,
              -0.09237,
              -0.2224
            ],
            [
              0.03609,
              0.02808,
              0.02025,
              0.00444,
              -0.02766,
              -0.09242,
              -0.22246
            ],
            [
              0.03602,
              0.02801,
              0.02018,
              0.00437,
              -0.02773,
              -0.0925,
              -0.22253
            ],
            [
              0.03594,
              0.02793,
              0.0201,
              0.00429,
              -0.02781,
              -0.09258,
              -0.22261
            ],
            [
              0.03585,
              0.02785,
              0.02001,
              0.00419,
              -0.02791,
              -0.09267,
              -0.2227
            ],
            [
              0.03577,
              0.02776,
              0.01991,
              0.00408,
              -0.02802,
              -0.09278,
              -0.2228
            ],
            [
              0.03571,
              0.02768,
              0.01981,
              0.00397,
              -0.02813,
              -0.09287,
              -0.22288
            ],
            [
              0.03567,
              0.02759,
              0.0197,
              0.00383,
              -0.02826,
              -0.09298,
              -0.22297
            ],
            [
              0.03576,
              0.02757,
              0.01962,
              0.00371,
              -0.02839,
              -0.09309,
              -0.22304
            ],
            [
              0.03603,
              0.02766,
              0.01963,
              0.00362,
              -0.02851,
              -0.09317,
              -0.22308
            ]
          ]
        },
        "related_pin": "A2",
        "rise_power,pwr_template13x7": {
          "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.00636,
            0.01272,
            0.02543,
            0.05086,
            0.10172,
            0.20344
          ],
          "values": [
            [
              0.0158,
              0.02413,
              0.03234,
              0.04864,
              0.081,
              0.14563,
              0.27506
            ],
            [
              0.01576,
              0.02409,
              0.03231,
              0.04862,
              0.08094,
              0.14559,
              0.27458
            ],
            [
              0.01577,
              0.02409,
              0.03233,
              0.04861,
              0.08101,
              0.14565,
              0.27433
            ],
            [
              0.01572,
              0.02406,
              0.03226,
              0.04857,
              0.08097,
              0.14572,
              0.27482
            ],
            [
              0.01567,
              0.02398,
              0.03222,
              0.04851,
              0.08091,
              0.14547,
              0.27495
            ],
            [
              0.0156,
              0.02394,
              0.0322,
              0.04842,
              0.08084,
              0.14542,
              0.27446
            ],
            [
              0.01554,
              0.02387,
              0.03208,
              0.04839,
              0.08079,
              0.14553,
              0.2745
            ],
            [
              0.01545,
              0.02376,
              0.03198,
              0.0483,
              0.08068,
              0.14556,
              0.27461
            ],
            [
              0.01537,
              0.02366,
              0.03188,
              0.04817,
              0.08061,
              0.14519,
              0.2744
            ],
            [
              0.01531,
              0.02357,
              0.03176,
              0.04803,
              0.08048,
              0.14536,
              0.27385
            ],
            [
              0.01531,
              0.02352,
              0.03167,
              0.04789,
              0.08034,
              0.14487,
              0.27408
            ],
            [
              0.01537,
              0.02352,
              0.03171,
              0.04795,
              0.08029,
              0.14487,
              0.27404
            ],
            [
              0.01555,
              0.02359,
              0.03175,
              0.04806,
              0.08045,
              0.14471,
              0.27413
            ]
          ]
        },
        "when": "(A1&A3&!B1) | (A1&A3&!B2)"
      },
      {
        "fall_power,pwr_template13x7": {
          "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.00636,
            0.01272,
            0.02543,
            0.05086,
            0.10172,
            0.20344
          ],
          "values": [
            [
              0.03861,
              0.03046,
              0.0225,
              0.00645,
              -0.02595,
              -0.09099,
              -0.22121
            ],
            [
              0.03856,
              0.03041,
              0.02245,
              0.00641,
              -0.026,
              -0.09103,
              -0.22126
            ],
            [
              0.03849,
              0.03035,
              0.02239,
              0.00635,
              -0.02605,
              -0.09109,
              -0.22132
            ],
            [
              0.03846,
              0.03033,
              0.02235,
              0.00631,
              -0.02608,
              -0.09112,
              -0.22134
            ],
            [
              0.03841,
              0.03026,
              0.0223,
              0.00626,
              -0.02614,
              -0.09118,
              -0.2214
            ],
            [
              0.03834,
              0.0302,
              0.02223,
              0.00619,
              -0.02619,
              -0.09123,
              -0.22145
            ],
            [
              0.03827,
              0.03015,
              0.02218,
              0.00613,
              -0.02625,
              -0.09128,
              -0.2215
            ],
            [
              0.03821,
              0.0301,
              0.0221,
              0.00606,
              -0.02631,
              -0.09134,
              -0.22156
            ],
            [
              0.03814,
              0.03001,
              0.02203,
              0.00599,
              -0.02639,
              -0.09141,
              -0.22163
            ],
            [
              0.03808,
              0.02994,
              0.02196,
              0.00591,
              -0.02645,
              -0.09145,
              -0.22166
            ],
            [
              0.03804,
              0.02986,
              0.02186,
              0.00582,
              -0.02652,
              -0.09148,
              -0.22167
            ],
            [
              0.03813,
              0.02985,
              0.02183,
              0.00576,
              -0.02656,
              -0.0915,
              -0.22166
            ],
            [
              0.03837,
              0.02994,
              0.02183,
              0.0057,
              -0.02661,
              -0.0915,
              -0.22162
            ]
          ]
        },
        "related_pin": "A3",
        "rise_power,pwr_template13x7": {
          "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.00636,
            0.01272,
            0.02543,
            0.05086,
            0.10172,
            0.20344
          ],
          "values": [
            [
              0.01584,
              0.02417,
              0.03242,
              0.04872,
              0.08101,
              0.14545,
              0.27492
            ],
            [
              0.0158,
              0.02413,
              0.03235,
              0.04864,
              0.08099,
              0.1455,
              0.27472
            ],
            [
              0.01577,
              0.02411,
              0.03233,
              0.04864,
              0.08096,
              0.14532,
              0.27452
            ],
            [
              0.01572,
              0.02406,
              0.03225,
              0.04857,
              0.08091,
              0.14538,
              0.27424
            ],
            [
              0.01566,
              0.02401,
              0.03222,
              0.04849,
              0.08082,
              0.1454,
              0.27451
            ],
            [
              0.01559,
              0.02392,
              0.03216,
              0.04845,
              0.08079,
              0.14547,
              0.27458
            ],
            [
              0.01552,
              0.02384,
              0.03204,
              0.04836,
              0.08072,
              0.14516,
              0.27465
            ],
            [
              0.01542,
              0.02374,
              0.03197,
              0.04825,
              0.08062,
              0.14517,
              0.2744
            ],
            [
              0.01532,
              0.02363,
              0.03185,
              0.04813,
              0.08045,
              0.14512,
              0.2744
            ],
            [
              0.01525,
              0.02352,
              0.0317,
              0.048,
              0.08042,
              0.14507,
              0.27422
            ],
            [
              0.0152,
              0.02345,
              0.03161,
              0.04782,
              0.08019,
              0.14472,
              0.27401
            ],
            [
              0.01521,
              0.02339,
              0.03161,
              0.04787,
              0.08011,
              0.14477,
              0.27381
            ],
            [
              0.0153,
              0.0234,
              0.03155,
              0.04791,
              0.08036,
              0.14469,
              0.2734
            ]
          ]
        },
        "when": "(A1&A2&!B1) | (A1&A2&!B2)"
      },
      {
        "fall_power,pwr_template13x7": {
          "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.00636,
            0.01272,
            0.02543,
            0.05086,
            0.10172,
            0.20344
          ],
          "values": [
            [
              0.02172,
              0.01388,
              0.00607,
              -0.00978,
              -0.04197,
              -0.10683,
              -0.23693
            ],
            [
              0.02169,
              0.01385,
              0.00605,
              -0.0098,
              -0.04199,
              -0.10685,
              -0.23695
            ],
            [
              0.02165,
              0.01381,
              0.00601,
              -0.00985,
              -0.04204,
              -0.1069,
              -0.237
            ],
            [
              0.02159,
              0.01374,
              0.00593,
              -0.00992,
              -0.04211,
              -0.10697,
              -0.23707
            ],
            [
              0.02151,
              0.01365,
              0.00585,
              -0.00999,
              -0.04218,
              -0.10704,
              -0.23715
            ],
            [
              0.02141,
              0.01355,
              0.00574,
              -0.01011,
              -0.0423,
              -0.10715,
              -0.23726
            ],
            [
              0.0213,
              0.01344,
              0.00562,
              -0.01024,
              -0.04242,
              -0.10727,
              -0.23737
            ],
            [
              0.02119,
              0.01332,
              0.00549,
              -0.01038,
              -0.04255,
              -0.1074,
              -0.23749
            ],
            [
              0.0211,
              0.0132,
              0.00535,
              -0.01052,
              -0.04269,
              -0.10751,
              -0.23758
            ],
            [
              0.02109,
              0.01311,
              0.00523,
              -0.01067,
              -0.04282,
              -0.10761,
              -0.23766
            ],
            [
              0.02124,
              0.01314,
              0.00521,
              -0.01072,
              -0.04287,
              -0.10763,
              -0.23765
            ],
            [
              0.02167,
              0.01339,
              0.00537,
              -0.01063,
              -0.04279,
              -0.10753,
              -0.23751
            ],
            [
              0.02245,
              0.01392,
              0.00582,
              -0.01027,
              -0.04251,
              -0.10725,
              -0.23718
            ]
          ]
        },
        "related_pin": "B1",
        "rise_power,pwr_template13x7": {
          "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.00636,
            0.01272,
            0.02543,
            0.05086,
            0.10172,
            0.20344
          ],
          "values": [
            [
              0.01183,
              0.02053,
              0.02898,
              0.04547,
              0.07803,
              0.14261,
              0.2717
            ],
            [
              0.01182,
              0.02052,
              0.02896,
              0.04543,
              0.07805,
              0.14269,
              0.27174
            ],
            [
              0.01179,
              0.02048,
              0.02894,
              0.04541,
              0.07798,
              0.1427,
              0.27147
            ],
            [
              0.01176,
              0.02045,
              0.0289,
              0.04539,
              0.07799,
              0.14271,
              0.27154
            ],
            [
              0.01173,
              0.02042,
              0.02885,
              0.04534,
              0.07795,
              0.14242,
              0.2717
            ],
            [
              0.01165,
              0.02033,
              0.02874,
              0.04522,
              0.07791,
              0.14242,
              0.27165
            ],
            [
              0.01157,
              0.02019,
              0.02858,
              0.04507,
              0.07766,
              0.14226,
              0.27137
            ],
            [
              0.01147,
              0.02,
              0.02835,
              0.04478,
              0.0775,
              0.14205,
              0.27125
            ],
            [
              0.01138,
              0.01982,
              0.02815,
              0.0446,
              0.07722,
              0.14212,
              0.27108
            ],
            [
              0.01137,
              0.01971,
              0.02798,
              0.04438,
              0.07694,
              0.14183,
              0.27098
            ],
            [
              0.01143,
              0.01972,
              0.02797,
              0.04429,
              0.07674,
              0.14156,
              0.27076
            ],
            [
              0.01166,
              0.01981,
              0.02806,
              0.04442,
              0.07687,
              0.1415,
              0.27094
            ],
            [
              0.01216,
              0.02016,
              0.0283,
              0.04468,
              0.0773,
              0.14177,
              0.27079
            ]
          ]
        },
        "when": "(!A1&B2) | (!A2&B2) | (!A3&B2)"
      },
      {
        "fall_power,pwr_template13x7": {
          "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.00636,
            0.01272,
            0.02543,
            0.05086,
            0.10172,
            0.20344
          ],
          "values": [
            [
              0.02442,
              0.01651,
              0.00867,
              -0.00719,
              -0.03938,
              -0.10421,
              -0.23429
            ],
            [
              0.02435,
              0.01644,
              0.00861,
              -0.00727,
              -0.03944,
              -0.10428,
              -0.23436
            ],
            [
              0.02433,
              0.01642,
              0.0086,
              -0.00727,
              -0.03946,
              -0.10429,
              -0.23438
            ],
            [
              0.02429,
              0.01638,
              0.00854,
              -0.00732,
              -0.0395,
              -0.10433,
              -0.23442
            ],
            [
              0.02425,
              0.01633,
              0.00849,
              -0.00737,
              -0.03955,
              -0.10439,
              -0.23447
            ],
            [
              0.0242,
              0.01627,
              0.00843,
              -0.00743,
              -0.03961,
              -0.10445,
              -0.23453
            ],
            [
              0.02411,
              0.01619,
              0.00835,
              -0.00752,
              -0.0397,
              -0.10452,
              -0.23461
            ],
            [
              0.02405,
              0.01613,
              0.00827,
              -0.0076,
              -0.03978,
              -0.1046,
              -0.23468
            ],
            [
              0.02401,
              0.01606,
              0.00819,
              -0.0077,
              -0.03987,
              -0.10468,
              -0.23474
            ],
            [
              0.02404,
              0.01604,
              0.00813,
              -0.00778,
              -0.03993,
              -0.10472,
              -0.23475
            ],
            [
              0.02422,
              0.01611,
              0.00817,
              -0.00778,
              -0.03994,
              -0.1047,
              -0.23471
            ],
            [
              0.02471,
              0.01642,
              0.00839,
              -0.00762,
              -0.0398,
              -0.10453,
              -0.23451
            ],
            [
              0.02557,
              0.01705,
              0.00894,
              -0.00717,
              -0.03942,
              -0.10416,
              -0.2341
            ]
          ]
        },
        "related_pin": "B2",
        "rise_power,pwr_template13x7": {
          "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.00636,
            0.01272,
            0.02543,
            0.05086,
            0.10172,
            0.20344
          ],
          "values": [
            [
              0.01176,
              0.02046,
              0.02891,
              0.04539,
              0.07793,
              0.14254,
              0.27158
            ],
            [
              0.01172,
              0.02041,
              0.02887,
              0.04538,
              0.07788,
              0.14266,
              0.27161
            ],
            [
              0.01175,
              0.02045,
              0.02891,
              0.04539,
              0.07799,
              0.14276,
              0.27156
            ],
            [
              0.01172,
              0.02041,
              0.02886,
              0.04534,
              0.07799,
              0.14252,
              0.27154
            ],
            [
              0.01169,
              0.02039,
              0.02882,
              0.04532,
              0.07792,
              0.14271,
              0.27148
            ],
            [
              0.01163,
              0.02031,
              0.02874,
              0.04521,
              0.07793,
              0.14237,
              0.27149
            ],
            [
              0.01152,
              0.02018,
              0.02858,
              0.04507,
              0.07771,
              0.14233,
              0.27153
            ],
            [
              0.01141,
              0.01999,
              0.02838,
              0.04486,
              0.07756,
              0.14209,
              0.2712
            ],
            [
              0.0113,
              0.01981,
              0.02816,
              0.04461,
              0.07733,
              0.14217,
              0.27096
            ],
            [
              0.01124,
              0.01967,
              0.02796,
              0.04441,
              0.07694,
              0.14169,
              0.27112
            ],
            [
              0.01124,
              0.01962,
              0.0279,
              0.04427,
              0.07678,
              0.14147,
              0.27081
            ],
            [
              0.01135,
              0.0196,
              0.02789,
              0.0443,
              0.07681,
              0.14145,
              0.27008
            ],
            [
              0.0117,
              0.01983,
              0.028,
              0.04445,
              0.07707,
              0.14159,
              0.27077
            ]
          ]
        },
        "when": "(!A1&B1) | (!A2&B1) | (!A3&B1)"
      }
    ],
    "max_capacitance": 0.13425,
    "power_down_function": "(!VPWR + VGND)",
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR",
    "timing": [
      {
        "cell_fall,delay_template13x7": {
          "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.00636,
            0.01272,
            0.02543,
            0.05086,
            0.10172,
            0.20344
          ],
          "values": [
            [
              0.28097,
              0.32357,
              0.35167,
              0.39519,
              0.46418,
              0.57912,
              0.7853
            ],
            [
              0.2842,
              0.32683,
              0.35494,
              0.39852,
              0.46749,
              0.58243,
              0.78865
            ],
            [
              0.28793,
              0.33056,
              0.35869,
              0.4022,
              0.4712,
              0.58615,
              0.79219
            ],
            [
              0.29344,
              0.33605,
              0.36418,
              0.40773,
              0.47674,
              0.59169,
              0.79788
            ],
            [
              0.30177,
              0.34436,
              0.37249,
              0.41609,
              0.48488,
              0.5998,
              0.80601
            ],
            [
              0.31448,
              0.35704,
              0.38512,
              0.42874,
              0.49773,
              0.61269,
              0.81889
            ],
            [
              0.33373,
              0.37626,
              0.40433,
              0.44791,
              0.51692,
              0.63188,
              0.83801
            ],
            [
              0.36217,
              0.40467,
              0.43272,
              0.47626,
              0.54515,
              0.66004,
              0.86606
            ],
            [
              0.40384,
              0.44632,
              0.47436,
              0.5179,
              0.58692,
              0.70188,
              0.90815
            ],
            [
              0.4653,
              0.50776,
              0.53577,
              0.57935,
              0.64839,
              0.76339,
              0.96979
            ],
            [
              0.55362,
              0.59712,
              0.62532,
              0.66922,
              0.73862,
              0.85382,
              1.06012
            ],
            [
              0.66607,
              0.71367,
              0.74417,
              0.79097,
              0.86317,
              0.98027,
              1.18757
            ],
            [
              0.8065,
              0.8593,
              0.8929,
              0.9436,
              1.0208,
              1.1434,
              1.3542
            ]
          ]
        },
        "cell_rise,delay_template13x7": {
          "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.00636,
            0.01272,
            0.02543,
            0.05086,
            0.10172,
            0.20344
          ],
          "values": [
            [
              0.19243,
              0.24871,
              0.28857,
              0.35794,
              0.48743,
              0.74096,
              1.24537
            ],
            [
              0.1948,
              0.25109,
              0.2909,
              0.36033,
              0.48962,
              0.74295,
              1.24674
            ],
            [
              0.19763,
              0.25392,
              0.29372,
              0.36319,
              0.49263,
              0.74603,
              1.25042
            ],
            [
              0.20202,
              0.25832,
              0.29812,
              0.36761,
              0.49704,
              0.7504,
              1.25478
            ],
            [
              0.20872,
              0.26501,
              0.30486,
              0.37426,
              0.50375,
              0.75728,
              1.26111
            ],
            [
              0.21889,
              0.27518,
              0.31498,
              0.3845,
              0.51396,
              0.76738,
              1.27172
            ],
            [
              0.23426,
              0.29054,
              0.33036,
              0.39984,
              0.52939,
              0.78299,
              1.28733
            ],
            [
              0.2576,
              0.31388,
              0.35373,
              0.42312,
              0.55262,
              0.80618,
              1.31006
            ],
            [
              0.29323,
              0.34932,
              0.38904,
              0.4584,
              0.58776,
              0.84155,
              1.34575
            ],
            [
              0.34116,
              0.3983,
              0.43823,
              0.50764,
              0.63689,
              0.89049,
              1.39509
            ],
            [
              0.39906,
              0.45812,
              0.49892,
              0.56922,
              0.69912,
              0.95282,
              1.45722
            ],
            [
              0.46687,
              0.52947,
              0.57107,
              0.64217,
              0.77267,
              1.02647,
              1.53117
            ],
            [
              0.5434,
              0.6117,
              0.655,
              0.7271,
              0.858,
              1.1129,
              1.6168
            ]
          ]
        },
        "fall_transition,delay_template13x7": {
          "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.00636,
            0.01272,
            0.02543,
            0.05086,
            0.10172,
            0.20344
          ],
          "values": [
            [
              0.0336,
              0.06264,
              0.08424,
              0.12138,
              0.1878,
              0.31329,
              0.56788
            ],
            [
              0.03362,
              0.06265,
              0.08423,
              0.12126,
              0.18781,
              0.31329,
              0.56784
            ],
            [
              0.03361,
              0.06265,
              0.08424,
              0.12133,
              0.18768,
              0.3133,
              0.56781
            ],
            [
              0.03362,
              0.06266,
              0.08424,
              0.12138,
              0.18779,
              0.31329,
              0.56792
            ],
            [
              0.03362,
              0.06268,
              0.08425,
              0.12131,
              0.18797,
              0.31342,
              0.56714
            ],
            [
              0.0336,
              0.06266,
              0.08429,
              0.1213,
              0.18777,
              0.31328,
              0.56786
            ],
            [
              0.03361,
              0.06266,
              0.08438,
              0.12152,
              0.18771,
              0.31328,
              0.56787
            ],
            [
              0.03362,
              0.06267,
              0.08437,
              0.12156,
              0.18774,
              0.31329,
              0.56786
            ],
            [
              0.03363,
              0.06277,
              0.0843,
              0.12159,
              0.18788,
              0.31333,
              0.56787
            ],
            [
              0.03369,
              0.06288,
              0.0845,
              0.12145,
              0.18784,
              0.31332,
              0.5672
            ],
            [
              0.0363,
              0.0649,
              0.086,
              0.1227,
              0.1885,
              0.3138,
              0.5678
            ],
            [
              0.0419,
              0.0722,
              0.094,
              0.1306,
              0.1951,
              0.318,
              0.5689
            ],
            [
              0.0499,
              0.0824,
              0.1052,
              0.1431,
              0.208,
              0.3295,
              0.5761
            ]
          ]
        },
        "related_pin": "A1",
        "rise_transition,delay_template13x7": {
          "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.00636,
            0.01272,
            0.02543,
            0.05086,
            0.10172,
            0.20344
          ],
          "values": [
            [
              0.03773,
              0.08672,
              0.1302,
              0.21775,
              0.39665,
              0.76395,
              1.50079
            ],
            [
              0.03769,
              0.08678,
              0.13002,
              0.21716,
              0.39693,
              0.76325,
              1.50041
            ],
            [
              0.03773,
              0.0867,
              0.12999,
              0.21772,
              0.39698,
              0.76305,
              1.50065
            ],
            [
              0.03775,
              0.08669,
              0.12993,
              0.21761,
              0.39686,
              0.76299,
              1.50046
            ],
            [
              0.03768,
              0.08669,
              0.13004,
              0.21714,
              0.39701,
              0.7632,
              1.50208
            ],
            [
              0.03777,
              0.08667,
              0.12993,
              0.21761,
              0.397,
              0.76309,
              1.5006
            ],
            [
              0.03773,
              0.08669,
              0.12999,
              0.21765,
              0.3966,
              0.76388,
              1.50069
            ],
            [
              0.03769,
              0.08662,
              0.13001,
              0.2171,
              0.39701,
              0.76322,
              1.50207
            ],
            [
              0.03764,
              0.08663,
              0.12988,
              0.21717,
              0.39688,
              0.76291,
              1.49882
            ],
            [
              0.03944,
              0.08802,
              0.13085,
              0.21751,
              0.39686,
              0.76303,
              1.4987
            ],
            [
              0.04285,
              0.09098,
              0.13392,
              0.22,
              0.3975,
              0.7632,
              1.4999
            ],
            [
              0.0482,
              0.0955,
              0.1373,
              0.2228,
              0.4002,
              0.7652,
              1.5012
            ],
            [
              0.0561,
              0.1028,
              0.1433,
              0.2265,
              0.4022,
              0.7663,
              1.5046
            ]
          ]
        },
        "sdf_cond": "(A2&A3&!B1&!B2)",
        "timing_sense": "positive_unate",
        "when": "(A2&A3&!B1&!B2)"
      },
      {
        "cell_fall,delay_template13x7": {
          "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.00636,
            0.01272,
            0.02543,
            0.05086,
            0.10172,
            0.20344
          ],
          "values": [
            [
              0.33256,
              0.3784,
              0.40774,
              0.45273,
              0.52305,
              0.63908,
              0.84611
            ],
            [
              0.33572,
              0.38161,
              0.41099,
              0.45593,
              0.52628,
              0.6423,
              0.84936
            ],
            [
              0.33936,
              0.38522,
              0.4146,
              0.45961,
              0.52995,
              0.64599,
              0.85303
            ],
            [
              0.34465,
              0.39052,
              0.41991,
              0.46492,
              0.53527,
              0.65129,
              0.85786
            ],
            [
              0.35272,
              0.39855,
              0.42794,
              0.47296,
              0.54331,
              0.65934,
              0.86589
            ],
            [
              0.36507,
              0.41085,
              0.44021,
              0.48523,
              0.55559,
              0.67164,
              0.87869
            ],
            [
              0.38374,
              0.42947,
              0.45884,
              0.50384,
              0.57419,
              0.69024,
              0.89733
            ],
            [
              0.411,
              0.45672,
              0.48608,
              0.53102,
              0.60132,
              0.71725,
              0.92416
            ],
            [
              0.45018,
              0.49593,
              0.52523,
              0.57014,
              0.64051,
              0.75655,
              0.96365
            ],
            [
              0.50682,
              0.55255,
              0.5818,
              0.62671,
              0.69719,
              0.81319,
              1.02019
            ],
            [
              0.58882,
              0.63472,
              0.66392,
              0.70902,
              0.77952,
              0.89572,
              1.10272
            ],
            [
              0.69437,
              0.74377,
              0.77487,
              0.82197,
              0.89447,
              1.01197,
              1.21937
            ],
            [
              0.828,
              0.8815,
              0.9149,
              0.9652,
              1.0418,
              1.1638,
              1.3744
            ]
          ]
        },
        "cell_rise,delay_template13x7": {
          "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.00636,
            0.01272,
            0.02543,
            0.05086,
            0.10172,
            0.20344
          ],
          "values": [
            [
              0.17436,
              0.23069,
              0.27059,
              0.34001,
              0.46956,
              0.72312,
              1.22657
            ],
            [
              0.1766,
              0.23293,
              0.27282,
              0.34225,
              0.47181,
              0.72537,
              1.22884
            ],
            [
              0.17942,
              0.23575,
              0.27562,
              0.34514,
              0.47469,
              0.72818,
              1.23252
            ],
            [
              0.18374,
              0.24007,
              0.27992,
              0.34946,
              0.47904,
              0.7326,
              1.23677
            ],
            [
              0.19036,
              0.24669,
              0.2866,
              0.35606,
              0.48565,
              0.73921,
              1.24271
            ],
            [
              0.20049,
              0.25681,
              0.29668,
              0.36627,
              0.49574,
              0.74883,
              1.25332
            ],
            [
              0.21584,
              0.27215,
              0.31203,
              0.38157,
              0.51091,
              0.76437,
              1.26803
            ],
            [
              0.23953,
              0.29576,
              0.33559,
              0.40497,
              0.53455,
              0.78816,
              1.29176
            ],
            [
              0.2747,
              0.33066,
              0.37038,
              0.43979,
              0.56919,
              0.82215,
              1.32675
            ],
            [
              0.3194,
              0.37692,
              0.41708,
              0.48667,
              0.61615,
              0.86979,
              1.37339
            ],
            [
              0.37302,
              0.43271,
              0.47362,
              0.54412,
              0.67412,
              0.92752,
              1.43152
            ],
            [
              0.43507,
              0.49877,
              0.54067,
              0.61197,
              0.74257,
              0.99677,
              1.50117
            ],
            [
              0.5041,
              0.5741,
              0.6179,
              0.6904,
              0.8214,
              1.0761,
              1.5797
            ]
          ]
        },
        "fall_transition,delay_template13x7": {
          "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.00636,
            0.01272,
            0.02543,
            0.05086,
            0.10172,
            0.20344
          ],
          "values": [
            [
              0.04031,
              0.06943,
              0.09068,
              0.12724,
              0.19292,
              0.31789,
              0.57182
            ],
            [
              0.0403,
              0.06941,
              0.0906,
              0.12725,
              0.19288,
              0.31781,
              0.57176
            ],
            [
              0.04029,
              0.06941,
              0.09064,
              0.12744,
              0.19288,
              0.31791,
              0.57174
            ],
            [
              0.0403,
              0.06942,
              0.09068,
              0.12722,
              0.19288,
              0.31786,
              0.57195
            ],
            [
              0.04033,
              0.06942,
              0.09074,
              0.12722,
              0.19289,
              0.31787,
              0.57194
            ],
            [
              0.04031,
              0.06942,
              0.09064,
              0.12745,
              0.19287,
              0.3179,
              0.57179
            ],
            [
              0.0403,
              0.06943,
              0.09074,
              0.12724,
              0.19291,
              0.3179,
              0.57181
            ],
            [
              0.0403,
              0.06944,
              0.09059,
              0.12726,
              0.19325,
              0.31803,
              0.57139
            ],
            [
              0.0403,
              0.06952,
              0.09064,
              0.12757,
              0.19292,
              0.31797,
              0.57175
            ],
            [
              0.04032,
              0.06949,
              0.09087,
              0.12759,
              0.19295,
              0.3179,
              0.5712
            ],
            [
              0.0417,
              0.0704,
              0.0915,
              0.1281,
              0.1933,
              0.3182,
              0.5718
            ],
            [
              0.047,
              0.0767,
              0.098,
              0.1343,
              0.1983,
              0.3211,
              0.573
            ],
            [
              0.0537,
              0.0849,
              0.107,
              0.1442,
              0.2092,
              0.3309,
              0.5791
            ]
          ]
        },
        "related_pin": "A1",
        "rise_transition,delay_template13x7": {
          "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.00636,
            0.01272,
            0.02543,
            0.05086,
            0.10172,
            0.20344
          ],
          "values": [
            [
              0.03744,
              0.0865,
              0.12991,
              0.21702,
              0.39692,
              0.76278,
              1.50108
            ],
            [
              0.03747,
              0.08651,
              0.12993,
              0.21703,
              0.39692,
              0.76289,
              1.50119
            ],
            [
              0.03747,
              0.08653,
              0.12989,
              0.21748,
              0.39625,
              0.76311,
              1.50067
            ],
            [
              0.03748,
              0.08648,
              0.1298,
              0.21718,
              0.39667,
              0.76293,
              1.50001
            ],
            [
              0.03745,
              0.08648,
              0.12987,
              0.217,
              0.39691,
              0.76291,
              1.50112
            ],
            [
              0.03745,
              0.08653,
              0.13007,
              0.21731,
              0.39647,
              0.76218,
              1.49999
            ],
            [
              0.03739,
              0.08656,
              0.12979,
              0.21701,
              0.39675,
              0.76314,
              1.49864
            ],
            [
              0.03728,
              0.08627,
              0.12976,
              0.21692,
              0.39685,
              0.76288,
              1.50076
            ],
            [
              0.03758,
              0.08651,
              0.12971,
              0.21685,
              0.39679,
              0.76244,
              1.50122
            ],
            [
              0.03985,
              0.08855,
              0.13124,
              0.21798,
              0.39644,
              0.7637,
              1.4991
            ],
            [
              0.04375,
              0.09154,
              0.13424,
              0.2204,
              0.3981,
              0.7652,
              1.4985
            ],
            [
              0.0498,
              0.0966,
              0.1383,
              0.2234,
              0.4007,
              0.765,
              1.4986
            ],
            [
              0.0581,
              0.1048,
              0.1449,
              0.2276,
              0.4026,
              0.7663,
              1.5026
            ]
          ]
        },
        "sdf_cond": "(A2&A3&!B1&B2)",
        "timing_sense": "positive_unate",
        "when": "(A2&A3&!B1&B2)"
      },
      {
        "cell_fall,delay_template13x7": {
          "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.00636,
            0.01272,
            0.02543,
            0.05086,
            0.10172,
            0.20344
          ],
          "values": [
            [
              0.36541,
              0.41278,
              0.44276,
              0.48865,
              0.56013,
              0.67749,
              0.88587
            ],
            [
              0.36876,
              0.41617,
              0.44618,
              0.49207,
              0.56352,
              0.6809,
              0.88902
            ],
            [
              0.3725,
              0.4199,
              0.4499,
              0.49579,
              0.56728,
              0.68466,
              0.89291
            ],
            [
              0.37798,
              0.42536,
              0.45539,
              0.5013,
              0.57276,
              0.69015,
              0.89831
            ],
            [
              0.3862,
              0.43358,
              0.46361,
              0.50953,
              0.58099,
              0.69837,
              0.90654
            ],
            [
              0.39868,
              0.44604,
              0.47602,
              0.52193,
              0.59344,
              0.71081,
              0.9192
            ],
            [
              0.41742,
              0.46474,
              0.49473,
              0.54063,
              0.61214,
              0.72952,
              0.93793
            ],
            [
              0.44463,
              0.49192,
              0.52192,
              0.56778,
              0.63927,
              0.75664,
              0.96486
            ],
            [
              0.48363,
              0.53094,
              0.56091,
              0.60676,
              0.67825,
              0.79565,
              1.00405
            ],
            [
              0.5402,
              0.58744,
              0.6174,
              0.66329,
              0.73479,
              0.85219,
              1.06059
            ],
            [
              0.62312,
              0.67042,
              0.70032,
              0.74622,
              0.81782,
              0.93532,
              1.14352
            ],
            [
              0.73487,
              0.78517,
              0.81647,
              0.86377,
              0.93647,
              1.05467,
              1.26337
            ],
            [
              0.8771,
              0.9316,
              0.9652,
              1.0156,
              1.0923,
              1.2146,
              1.4255
            ]
          ]
        },
        "cell_rise,delay_template13x7": {
          "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.00636,
            0.01272,
            0.02543,
            0.05086,
            0.10172,
            0.20344
          ],
          "values": [
            [
              0.18598,
              0.24763,
              0.28957,
              0.36109,
              0.49167,
              0.74528,
              1.24947
            ],
            [
              0.18821,
              0.24986,
              0.29181,
              0.36325,
              0.4939,
              0.74737,
              1.25074
            ],
            [
              0.19102,
              0.25267,
              0.29463,
              0.36613,
              0.49661,
              0.74999,
              1.25342
            ],
            [
              0.19532,
              0.25699,
              0.29892,
              0.37043,
              0.50094,
              0.75474,
              1.25887
            ],
            [
              0.20196,
              0.26362,
              0.30556,
              0.37711,
              0.50772,
              0.76141,
              1.26511
            ],
            [
              0.21208,
              0.27374,
              0.31569,
              0.38718,
              0.51769,
              0.77113,
              1.27582
            ],
            [
              0.22751,
              0.28916,
              0.33112,
              0.40262,
              0.53314,
              0.78696,
              1.29113
            ],
            [
              0.25108,
              0.31266,
              0.35457,
              0.42603,
              0.55656,
              0.81026,
              1.31426
            ],
            [
              0.28642,
              0.34773,
              0.38952,
              0.46093,
              0.59137,
              0.84525,
              1.34965
            ],
            [
              0.33298,
              0.39588,
              0.43798,
              0.50941,
              0.64009,
              0.89329,
              1.39749
            ],
            [
              0.38907,
              0.45492,
              0.49812,
              0.57062,
              0.70172,
              0.95512,
              1.45942
            ],
            [
              0.45437,
              0.52517,
              0.56977,
              0.64337,
              0.77567,
              1.02957,
              1.53427
            ],
            [
              0.5276,
              0.606,
              0.653,
              0.7284,
              0.8613,
              1.1162,
              1.6204
            ]
          ]
        },
        "fall_transition,delay_template13x7": {
          "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.00636,
            0.01272,
            0.02543,
            0.05086,
            0.10172,
            0.20344
          ],
          "values": [
            [
              0.0422,
              0.07166,
              0.09301,
              0.12999,
              0.19561,
              0.32078,
              0.57376
            ],
            [
              0.04219,
              0.07165,
              0.09302,
              0.13,
              0.19562,
              0.32073,
              0.57444
            ],
            [
              0.04221,
              0.07168,
              0.09306,
              0.13004,
              0.19572,
              0.32088,
              0.57448
            ],
            [
              0.04222,
              0.0717,
              0.0931,
              0.13001,
              0.1956,
              0.32073,
              0.5744
            ],
            [
              0.04219,
              0.07166,
              0.093,
              0.12998,
              0.19562,
              0.32074,
              0.57444
            ],
            [
              0.04221,
              0.07167,
              0.09302,
              0.13,
              0.1956,
              0.32078,
              0.57379
            ],
            [
              0.04221,
              0.07166,
              0.09303,
              0.13001,
              0.1958,
              0.3208,
              0.574
            ],
            [
              0.04219,
              0.07171,
              0.0931,
              0.12974,
              0.19562,
              0.32065,
              0.57414
            ],
            [
              0.04221,
              0.07166,
              0.09317,
              0.13,
              0.19559,
              0.32074,
              0.5744
            ],
            [
              0.04223,
              0.07169,
              0.09309,
              0.12986,
              0.1956,
              0.3208,
              0.5744
            ],
            [
              0.0426,
              0.072,
              0.0933,
              0.1299,
              0.1957,
              0.3208,
              0.5744
            ],
            [
              0.0476,
              0.0773,
              0.0985,
              0.1346,
              0.1988,
              0.3226,
              0.5751
            ],
            [
              0.054,
              0.0853,
              0.1073,
              0.1444,
              0.2093,
              0.3315,
              0.5801
            ]
          ]
        },
        "related_pin": "A1",
        "rise_transition,delay_template13x7": {
          "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.00636,
            0.01272,
            0.02543,
            0.05086,
            0.10172,
            0.20344
          ],
          "values": [
            [
              0.04398,
              0.09214,
              0.13509,
              0.22121,
              0.39888,
              0.76245,
              1.50027
            ],
            [
              0.04397,
              0.09203,
              0.13528,
              0.22136,
              0.39899,
              0.76329,
              1.49866
            ],
            [
              0.04395,
              0.09203,
              0.13529,
              0.22093,
              0.39888,
              0.76292,
              1.49978
            ],
            [
              0.04398,
              0.09203,
              0.13506,
              0.2211,
              0.39891,
              0.76322,
              1.50014
            ],
            [
              0.04397,
              0.09199,
              0.13505,
              0.22114,
              0.39902,
              0.76359,
              1.50393
            ],
            [
              0.04397,
              0.092,
              0.1352,
              0.22127,
              0.39906,
              0.76296,
              1.49883
            ],
            [
              0.04394,
              0.09195,
              0.13534,
              0.22088,
              0.3989,
              0.76304,
              1.50017
            ],
            [
              0.04383,
              0.09193,
              0.13503,
              0.22107,
              0.39871,
              0.76427,
              1.50488
            ],
            [
              0.04397,
              0.09193,
              0.13514,
              0.22103,
              0.39902,
              0.76244,
              1.50079
            ],
            [
              0.04712,
              0.09405,
              0.13634,
              0.22161,
              0.39906,
              0.76275,
              1.5034
            ],
            [
              0.05252,
              0.09819,
              0.14014,
              0.2244,
              0.4007,
              0.7654,
              1.4988
            ],
            [
              0.0604,
              0.1045,
              0.145,
              0.2281,
              0.4029,
              0.7657,
              1.5009
            ],
            [
              0.0706,
              0.1144,
              0.153,
              0.2339,
              0.4062,
              0.7671,
              1.5006
            ]
          ]
        },
        "sdf_cond": "(A2&A3&B1&!B2)",
        "timing_sense": "positive_unate",
        "when": "(A2&A3&B1&!B2)"
      },
      {
        "cell_fall,delay_template13x7": {
          "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.00636,
            0.01272,
            0.02543,
            0.05086,
            0.10172,
            0.20344
          ],
          "values": [
            [
              0.31698,
              0.36115,
              0.39003,
              0.43471,
              0.50508,
              0.6216,
              0.82924
            ],
            [
              0.31994,
              0.36415,
              0.39303,
              0.43771,
              0.50809,
              0.62462,
              0.83225
            ],
            [
              0.32354,
              0.36776,
              0.39665,
              0.44133,
              0.51171,
              0.62824,
              0.83587
            ],
            [
              0.32906,
              0.37329,
              0.40219,
              0.44688,
              0.51726,
              0.63379,
              0.84159
            ],
            [
              0.33757,
              0.38181,
              0.41066,
              0.45539,
              0.52579,
              0.64232,
              0.85009
            ],
            [
              0.35055,
              0.39478,
              0.42366,
              0.46836,
              0.53876,
              0.65529,
              0.86289
            ],
            [
              0.37013,
              0.41432,
              0.44321,
              0.4879,
              0.5583,
              0.67487,
              0.8827
            ],
            [
              0.39886,
              0.44305,
              0.47188,
              0.51656,
              0.58696,
              0.70351,
              0.91116
            ],
            [
              0.44066,
              0.48481,
              0.51366,
              0.55834,
              0.62876,
              0.74532,
              0.95315
            ],
            [
              0.50217,
              0.54612,
              0.57493,
              0.61962,
              0.69019,
              0.80689,
              1.01469
            ],
            [
              0.59252,
              0.63682,
              0.66572,
              0.71042,
              0.78102,
              0.89772,
              1.10572
            ],
            [
              0.71227,
              0.76027,
              0.79087,
              0.83757,
              0.90987,
              1.02767,
              1.23597
            ],
            [
              0.8633,
              0.9164,
              0.9498,
              1.0002,
              1.0771,
              1.1997,
              1.4107
            ]
          ]
        },
        "cell_rise,delay_template13x7": {
          "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.00636,
            0.01272,
            0.02543,
            0.05086,
            0.10172,
            0.20344
          ],
          "values": [
            [
              0.20479,
              0.26108,
              0.30088,
              0.37028,
              0.49956,
              0.75277,
              1.25677
            ],
            [
              0.20736,
              0.26365,
              0.30345,
              0.37287,
              0.50213,
              0.75533,
              1.25934
            ],
            [
              0.21048,
              0.26677,
              0.30662,
              0.37595,
              0.50526,
              0.75854,
              1.26242
            ],
            [
              0.21488,
              0.27116,
              0.31096,
              0.38042,
              0.50965,
              0.76277,
              1.26678
            ],
            [
              0.2212,
              0.27749,
              0.31729,
              0.3867,
              0.51605,
              0.76934,
              1.27351
            ],
            [
              0.23045,
              0.28674,
              0.32658,
              0.39593,
              0.52522,
              0.77846,
              1.28202
            ],
            [
              0.24423,
              0.30052,
              0.34031,
              0.40976,
              0.53896,
              0.79199,
              1.29583
            ],
            [
              0.26492,
              0.32118,
              0.36095,
              0.43038,
              0.55974,
              0.81308,
              1.31726
            ],
            [
              0.2959,
              0.35202,
              0.39179,
              0.4611,
              0.59057,
              0.84375,
              1.34735
            ],
            [
              0.3383,
              0.39582,
              0.43583,
              0.50534,
              0.63479,
              0.88759,
              1.39249
            ],
            [
              0.39173,
              0.45162,
              0.49262,
              0.56302,
              0.69292,
              0.94632,
              1.45072
            ],
            [
              0.45687,
              0.52007,
              0.56227,
              0.63377,
              0.76447,
              1.01787,
              1.52257
            ],
            [
              0.5328,
              0.6009,
              0.6449,
              0.7177,
              0.8491,
              1.1037,
              1.6072
            ]
          ]
        },
        "fall_transition,delay_template13x7": {
          "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.00636,
            0.01272,
            0.02543,
            0.05086,
            0.10172,
            0.20344
          ],
          "values": [
            [
              0.03623,
              0.06567,
              0.08738,
              0.12454,
              0.19111,
              0.31681,
              0.57105
            ],
            [
              0.03622,
              0.06567,
              0.08734,
              0.12462,
              0.19143,
              0.31685,
              0.57089
            ],
            [
              0.03622,
              0.06566,
              0.08739,
              0.12456,
              0.1911,
              0.3168,
              0.57106
            ],
            [
              0.03622,
              0.06564,
              0.08737,
              0.12457,
              0.19109,
              0.31683,
              0.57108
            ],
            [
              0.03624,
              0.06566,
              0.08738,
              0.12485,
              0.19125,
              0.31696,
              0.57031
            ],
            [
              0.03622,
              0.06566,
              0.08743,
              0.12461,
              0.19111,
              0.31681,
              0.571
            ],
            [
              0.03622,
              0.0656,
              0.08732,
              0.12487,
              0.19112,
              0.3169,
              0.57076
            ],
            [
              0.0362,
              0.06565,
              0.08736,
              0.12464,
              0.19144,
              0.31693,
              0.5708
            ],
            [
              0.03621,
              0.06568,
              0.08736,
              0.12484,
              0.19135,
              0.31699,
              0.57051
            ],
            [
              0.03623,
              0.06568,
              0.08745,
              0.12495,
              0.19116,
              0.3169,
              0.5706
            ],
            [
              0.0372,
              0.0664,
              0.0881,
              0.1251,
              0.1914,
              0.317,
              0.5705
            ],
            [
              0.0427,
              0.0727,
              0.0942,
              0.131,
              0.196,
              0.3197,
              0.5719
            ],
            [
              0.0502,
              0.082,
              0.1047,
              0.1422,
              0.2078,
              0.3292,
              0.5772
            ]
          ]
        },
        "related_pin": "A2",
        "rise_transition,delay_template13x7": {
          "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.00636,
            0.01272,
            0.02543,
            0.05086,
            0.10172,
            0.20344
          ],
          "values": [
            [
              0.03771,
              0.0867,
              0.13002,
              0.21757,
              0.39652,
              0.76329,
              1.50065
            ],
            [
              0.03781,
              0.0867,
              0.13,
              0.21785,
              0.39672,
              0.76327,
              1.50061
            ],
            [
              0.03772,
              0.08671,
              0.13045,
              0.21734,
              0.39702,
              0.76282,
              1.49908
            ],
            [
              0.03777,
              0.08666,
              0.12997,
              0.21758,
              0.39684,
              0.76304,
              1.50011
            ],
            [
              0.03771,
              0.08671,
              0.13003,
              0.21767,
              0.39657,
              0.76362,
              1.50082
            ],
            [
              0.03768,
              0.08669,
              0.13009,
              0.21727,
              0.39702,
              0.76325,
              1.50248
            ],
            [
              0.03774,
              0.08673,
              0.13004,
              0.21737,
              0.39659,
              0.76264,
              1.49898
            ],
            [
              0.03772,
              0.08663,
              0.12993,
              0.21768,
              0.39683,
              0.76323,
              1.50073
            ],
            [
              0.03771,
              0.0866,
              0.13005,
              0.21714,
              0.3965,
              0.76285,
              1.49889
            ],
            [
              0.03971,
              0.08829,
              0.13092,
              0.21759,
              0.39707,
              0.76251,
              1.5006
            ],
            [
              0.04254,
              0.09132,
              0.13394,
              0.2197,
              0.3984,
              0.7648,
              1.5001
            ],
            [
              0.0467,
              0.0957,
              0.1378,
              0.223,
              0.3996,
              0.7648,
              1.4988
            ],
            [
              0.0528,
              0.1021,
              0.1433,
              0.2269,
              0.4028,
              0.7655,
              1.5005
            ]
          ]
        },
        "sdf_cond": "(A1&A3&!B1&!B2)",
        "timing_sense": "positive_unate",
        "when": "(A1&A3&!B1&!B2)"
      },
      {
        "cell_fall,delay_template13x7": {
          "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.00636,
            0.01272,
            0.02543,
            0.05086,
            0.10172,
            0.20344
          ],
          "values": [
            [
              0.3836,
              0.43211,
              0.46262,
              0.50913,
              0.58146,
              0.6998,
              0.90874
            ],
            [
              0.38643,
              0.43496,
              0.46548,
              0.51199,
              0.58432,
              0.70266,
              0.9116
            ],
            [
              0.38989,
              0.43844,
              0.46898,
              0.51548,
              0.58782,
              0.70616,
              0.91514
            ],
            [
              0.39521,
              0.44375,
              0.47429,
              0.52087,
              0.59318,
              0.71151,
              0.92044
            ],
            [
              0.40346,
              0.452,
              0.48252,
              0.5291,
              0.60143,
              0.71976,
              0.92868
            ],
            [
              0.41612,
              0.46463,
              0.49519,
              0.54175,
              0.61409,
              0.73242,
              0.94142
            ],
            [
              0.43516,
              0.48364,
              0.51414,
              0.56074,
              0.6331,
              0.7514,
              0.96053
            ],
            [
              0.46272,
              0.5112,
              0.5417,
              0.58827,
              0.66061,
              0.77891,
              0.98796
            ],
            [
              0.50195,
              0.55041,
              0.58091,
              0.62744,
              0.69979,
              0.81815,
              1.02725
            ],
            [
              0.5583,
              0.60657,
              0.63709,
              0.68359,
              0.75599,
              0.87429,
              1.08339
            ],
            [
              0.64032,
              0.68872,
              0.71922,
              0.76582,
              0.83822,
              0.95662,
              1.16572
            ],
            [
              0.75207,
              0.80297,
              0.83457,
              0.88227,
              0.95547,
              1.07447,
              1.28387
            ],
            [
              0.8939,
              0.9489,
              0.9827,
              1.0333,
              1.1104,
              1.2332,
              1.4448
            ]
          ]
        },
        "cell_rise,delay_template13x7": {
          "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.00636,
            0.01272,
            0.02543,
            0.05086,
            0.10172,
            0.20344
          ],
          "values": [
            [
              0.18667,
              0.243,
              0.28291,
              0.35227,
              0.48161,
              0.73485,
              1.23887
            ],
            [
              0.18918,
              0.24552,
              0.28541,
              0.35476,
              0.48411,
              0.73738,
              1.24044
            ],
            [
              0.19223,
              0.24857,
              0.28842,
              0.35787,
              0.48722,
              0.7404,
              1.24332
            ],
            [
              0.19656,
              0.25289,
              0.29274,
              0.36223,
              0.49149,
              0.74438,
              1.24848
            ],
            [
              0.20279,
              0.25912,
              0.29904,
              0.36843,
              0.49779,
              0.75101,
              1.25511
            ],
            [
              0.21198,
              0.26832,
              0.30823,
              0.37762,
              0.50704,
              0.76035,
              1.26422
            ],
            [
              0.22575,
              0.28206,
              0.3219,
              0.39136,
              0.52051,
              0.77374,
              1.27733
            ],
            [
              0.2465,
              0.30271,
              0.3425,
              0.41196,
              0.54134,
              0.79448,
              1.29866
            ],
            [
              0.27719,
              0.33333,
              0.37308,
              0.44246,
              0.57173,
              0.82535,
              1.32925
            ],
            [
              0.31747,
              0.37547,
              0.41575,
              0.4854,
              0.61483,
              0.86819,
              1.37179
            ],
            [
              0.36779,
              0.42828,
              0.46952,
              0.54022,
              0.67002,
              0.92342,
              1.42722
            ],
            [
              0.42827,
              0.49237,
              0.53487,
              0.60657,
              0.73727,
              0.99127,
              1.49557
            ],
            [
              0.4976,
              0.5672,
              0.6116,
              0.6848,
              0.8162,
              1.0706,
              1.5742
            ]
          ]
        },
        "fall_transition,delay_template13x7": {
          "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.00636,
            0.01272,
            0.02543,
            0.05086,
            0.10172,
            0.20344
          ],
          "values": [
            [
              0.04444,
              0.07411,
              0.09541,
              0.13221,
              0.19825,
              0.32332,
              0.57638
            ],
            [
              0.04443,
              0.07411,
              0.09542,
              0.13221,
              0.19822,
              0.32316,
              0.57636
            ],
            [
              0.04444,
              0.07412,
              0.09537,
              0.13222,
              0.19823,
              0.32336,
              0.57648
            ],
            [
              0.04444,
              0.07411,
              0.09542,
              0.13246,
              0.19823,
              0.32317,
              0.57636
            ],
            [
              0.04443,
              0.07402,
              0.09543,
              0.13248,
              0.19825,
              0.3232,
              0.57634
            ],
            [
              0.04444,
              0.07403,
              0.09547,
              0.1322,
              0.19823,
              0.32316,
              0.57625
            ],
            [
              0.04443,
              0.07413,
              0.09541,
              0.13224,
              0.1982,
              0.32324,
              0.57581
            ],
            [
              0.04444,
              0.07402,
              0.09543,
              0.13249,
              0.19825,
              0.32318,
              0.57601
            ],
            [
              0.04442,
              0.07406,
              0.09557,
              0.13228,
              0.19823,
              0.32324,
              0.5757
            ],
            [
              0.04441,
              0.07415,
              0.09552,
              0.13224,
              0.1983,
              0.3231,
              0.5762
            ],
            [
              0.0446,
              0.0744,
              0.0956,
              0.1327,
              0.1982,
              0.3232,
              0.5762
            ],
            [
              0.0492,
              0.0789,
              0.1,
              0.136,
              0.2009,
              0.3248,
              0.5771
            ],
            [
              0.0556,
              0.0867,
              0.1086,
              0.1456,
              0.2107,
              0.333,
              0.5819
            ]
          ]
        },
        "related_pin": "A2",
        "rise_transition,delay_template13x7": {
          "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.00636,
            0.01272,
            0.02543,
            0.05086,
            0.10172,
            0.20344
          ],
          "values": [
            [
              0.03753,
              0.08651,
              0.13008,
              0.2172,
              0.39652,
              0.76464,
              1.5005
            ],
            [
              0.03748,
              0.0864,
              0.12989,
              0.21704,
              0.39694,
              0.76279,
              1.50144
            ],
            [
              0.03747,
              0.08651,
              0.12987,
              0.21752,
              0.39624,
              0.76308,
              1.50234
            ],
            [
              0.03744,
              0.08649,
              0.13009,
              0.21737,
              0.39656,
              0.7624,
              1.49991
            ],
            [
              0.03747,
              0.08652,
              0.13003,
              0.21765,
              0.39686,
              0.76304,
              1.50058
            ],
            [
              0.03743,
              0.08651,
              0.13006,
              0.21764,
              0.39663,
              0.76372,
              1.5002
            ],
            [
              0.03741,
              0.08655,
              0.12982,
              0.21704,
              0.39681,
              0.76318,
              1.50204
            ],
            [
              0.03731,
              0.08639,
              0.1297,
              0.21732,
              0.39656,
              0.76269,
              1.50035
            ],
            [
              0.03788,
              0.08663,
              0.12983,
              0.2171,
              0.39679,
              0.76385,
              1.49971
            ],
            [
              0.04007,
              0.08868,
              0.13149,
              0.21809,
              0.39706,
              0.76281,
              1.499
            ],
            [
              0.0431,
              0.09191,
              0.13446,
              0.22001,
              0.3979,
              0.764,
              1.499
            ],
            [
              0.0476,
              0.0967,
              0.1384,
              0.2232,
              0.4005,
              0.7645,
              1.5002
            ],
            [
              0.0544,
              0.1037,
              0.1447,
              0.2279,
              0.4029,
              0.7652,
              1.5024
            ]
          ]
        },
        "sdf_cond": "(A1&A3&!B1&B2)",
        "timing_sense": "positive_unate",
        "when": "(A1&A3&!B1&B2)"
      },
      {
        "cell_fall,delay_template13x7": {
          "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.00636,
            0.01272,
            0.02543,
            0.05086,
            0.10172,
            0.20344
          ],
          "values": [
            [
              0.40479,
              0.45407,
              0.48485,
              0.53146,
              0.60394,
              0.72238,
              0.93174
            ],
            [
              0.40776,
              0.45705,
              0.48784,
              0.53446,
              0.60694,
              0.72537,
              0.93477
            ],
            [
              0.41135,
              0.46066,
              0.49143,
              0.53807,
              0.61054,
              0.72899,
              0.93829
            ],
            [
              0.41684,
              0.46614,
              0.49694,
              0.54358,
              0.61608,
              0.73454,
              0.94395
            ],
            [
              0.42526,
              0.47455,
              0.50533,
              0.552,
              0.62447,
              0.74297,
              0.95221
            ],
            [
              0.43813,
              0.48742,
              0.51821,
              0.56486,
              0.63735,
              0.7558,
              0.96522
            ],
            [
              0.45733,
              0.50661,
              0.5374,
              0.58405,
              0.65655,
              0.77501,
              0.98443
            ],
            [
              0.4851,
              0.53436,
              0.56513,
              0.61179,
              0.68427,
              0.80277,
              1.01206
            ],
            [
              0.52469,
              0.57395,
              0.6047,
              0.65135,
              0.72382,
              0.84235,
              1.05165
            ],
            [
              0.58184,
              0.63109,
              0.66179,
              0.70849,
              0.78099,
              0.89939,
              1.10879
            ],
            [
              0.66552,
              0.71472,
              0.74542,
              0.79222,
              0.86472,
              0.98322,
              1.19262
            ],
            [
              0.78337,
              0.83457,
              0.86607,
              0.91337,
              0.98637,
              1.10527,
              1.31487
            ],
            [
              0.9345,
              0.99,
              1.0237,
              1.0741,
              1.1507,
              1.2728,
              1.4839
            ]
          ]
        },
        "cell_rise,delay_template13x7": {
          "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.00636,
            0.01272,
            0.02543,
            0.05086,
            0.10172,
            0.20344
          ],
          "values": [
            [
              0.19836,
              0.26002,
              0.30194,
              0.37339,
              0.50375,
              0.75712,
              1.26097
            ],
            [
              0.20087,
              0.26253,
              0.30446,
              0.37592,
              0.50607,
              0.75966,
              1.26344
            ],
            [
              0.20393,
              0.26559,
              0.30754,
              0.37897,
              0.50937,
              0.76243,
              1.26632
            ],
            [
              0.20825,
              0.26992,
              0.31184,
              0.38333,
              0.51374,
              0.76702,
              1.26988
            ],
            [
              0.21449,
              0.27615,
              0.31808,
              0.3895,
              0.52001,
              0.77337,
              1.27731
            ],
            [
              0.22369,
              0.28535,
              0.3273,
              0.39873,
              0.5292,
              0.78223,
              1.28572
            ],
            [
              0.23744,
              0.29908,
              0.341,
              0.4124,
              0.54271,
              0.79598,
              1.29953
            ],
            [
              0.25816,
              0.31972,
              0.3616,
              0.43303,
              0.56351,
              0.81655,
              1.32006
            ],
            [
              0.28892,
              0.35037,
              0.3922,
              0.46365,
              0.59413,
              0.84765,
              1.35165
            ],
            [
              0.3302,
              0.3935,
              0.43571,
              0.50727,
              0.63789,
              0.89129,
              1.39529
            ],
            [
              0.38195,
              0.44822,
              0.49162,
              0.56422,
              0.69532,
              0.94912,
              1.45252
            ],
            [
              0.44467,
              0.51517,
              0.56017,
              0.63427,
              0.76657,
              1.02027,
              1.52497
            ],
            [
              0.5173,
              0.594,
              0.6413,
              0.7173,
              0.8508,
              1.1054,
              1.6094
            ]
          ]
        },
        "fall_transition,delay_template13x7": {
          "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.00636,
            0.01272,
            0.02543,
            0.05086,
            0.10172,
            0.20344
          ],
          "values": [
            [
              0.04508,
              0.07463,
              0.09595,
              0.13254,
              0.19832,
              0.32317,
              0.57638
            ],
            [
              0.04507,
              0.07463,
              0.09594,
              0.13258,
              0.19832,
              0.32335,
              0.57618
            ],
            [
              0.04509,
              0.07463,
              0.09595,
              0.13252,
              0.19832,
              0.32325,
              0.57658
            ],
            [
              0.04506,
              0.07459,
              0.09597,
              0.13274,
              0.19855,
              0.32349,
              0.5769
            ],
            [
              0.0451,
              0.07464,
              0.09582,
              0.13278,
              0.19838,
              0.32341,
              0.57677
            ],
            [
              0.04508,
              0.07461,
              0.09595,
              0.13276,
              0.19822,
              0.32344,
              0.57679
            ],
            [
              0.04507,
              0.0746,
              0.09595,
              0.13275,
              0.19817,
              0.32344,
              0.57689
            ],
            [
              0.04507,
              0.07464,
              0.09583,
              0.13277,
              0.19832,
              0.32345,
              0.57683
            ],
            [
              0.04509,
              0.07462,
              0.09584,
              0.13277,
              0.19825,
              0.32348,
              0.5769
            ],
            [
              0.04506,
              0.07462,
              0.09588,
              0.1325,
              0.1983,
              0.3232,
              0.5765
            ],
            [
              0.0452,
              0.0747,
              0.0959,
              0.1327,
              0.1984,
              0.3235,
              0.5768
            ],
            [
              0.0489,
              0.0782,
              0.0991,
              0.1351,
              0.1998,
              0.3242,
              0.5772
            ],
            [
              0.0553,
              0.0863,
              0.1078,
              0.1442,
              0.2087,
              0.3309,
              0.5809
            ]
          ]
        },
        "related_pin": "A2",
        "rise_transition,delay_template13x7": {
          "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.00636,
            0.01272,
            0.02543,
            0.05086,
            0.10172,
            0.20344
          ],
          "values": [
            [
              0.04397,
              0.09206,
              0.13506,
              0.22119,
              0.39833,
              0.76314,
              1.50014
            ],
            [
              0.04401,
              0.09198,
              0.13506,
              0.22118,
              0.39911,
              0.76327,
              1.50427
            ],
            [
              0.04404,
              0.09201,
              0.13527,
              0.22114,
              0.39855,
              0.76309,
              1.50145
            ],
            [
              0.04399,
              0.09209,
              0.13506,
              0.22123,
              0.39865,
              0.76378,
              1.50379
            ],
            [
              0.04397,
              0.09211,
              0.13505,
              0.22126,
              0.3989,
              0.76292,
              1.50027
            ],
            [
              0.04395,
              0.09213,
              0.13527,
              0.22109,
              0.39846,
              0.76301,
              1.5001
            ],
            [
              0.04394,
              0.092,
              0.13525,
              0.22132,
              0.39909,
              0.76306,
              1.49851
            ],
            [
              0.04386,
              0.09191,
              0.13525,
              0.22109,
              0.39821,
              0.76281,
              1.50372
            ],
            [
              0.04424,
              0.09217,
              0.13507,
              0.22122,
              0.39895,
              0.76341,
              1.50005
            ],
            [
              0.04705,
              0.0941,
              0.13651,
              0.22219,
              0.39878,
              0.76327,
              1.5
            ],
            [
              0.05098,
              0.09811,
              0.14008,
              0.2241,
              0.4006,
              0.7653,
              1.4998
            ],
            [
              0.0566,
              0.1036,
              0.1452,
              0.2287,
              0.4025,
              0.7652,
              1.4997
            ],
            [
              0.065,
              0.1118,
              0.1522,
              0.2343,
              0.4062,
              0.7663,
              1.5001
            ]
          ]
        },
        "sdf_cond": "(A1&A3&B1&!B2)",
        "timing_sense": "positive_unate",
        "when": "(A1&A3&B1&!B2)"
      },
      {
        "cell_fall,delay_template13x7": {
          "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.00636,
            0.01272,
            0.02543,
            0.05086,
            0.10172,
            0.20344
          ],
          "values": [
            [
              0.33872,
              0.38336,
              0.41232,
              0.45701,
              0.52746,
              0.64422,
              0.85244
            ],
            [
              0.3414,
              0.38606,
              0.41503,
              0.45972,
              0.53017,
              0.64693,
              0.85515
            ],
            [
              0.34489,
              0.38956,
              0.41854,
              0.46324,
              0.53368,
              0.65044,
              0.85867
            ],
            [
              0.35045,
              0.39514,
              0.42412,
              0.46884,
              0.53927,
              0.65602,
              0.86428
            ],
            [
              0.35906,
              0.40374,
              0.43273,
              0.47746,
              0.54792,
              0.6647,
              0.87293
            ],
            [
              0.37222,
              0.41691,
              0.44588,
              0.49063,
              0.56112,
              0.67789,
              0.88587
            ],
            [
              0.39202,
              0.43669,
              0.46568,
              0.51042,
              0.5809,
              0.69768,
              0.90593
            ],
            [
              0.42092,
              0.46555,
              0.49453,
              0.53929,
              0.60981,
              0.72659,
              0.93486
            ],
            [
              0.46285,
              0.50749,
              0.53645,
              0.58121,
              0.65177,
              0.76855,
              0.97655
            ],
            [
              0.52441,
              0.56901,
              0.59796,
              0.64279,
              0.71339,
              0.83019,
              1.03839
            ],
            [
              0.61552,
              0.66002,
              0.68902,
              0.73392,
              0.80462,
              0.92162,
              1.12982
            ],
            [
              0.73937,
              0.78717,
              0.81747,
              0.86387,
              0.93577,
              1.05347,
              1.26207
            ],
            [
              0.896,
              0.9487,
              0.9817,
              1.0317,
              1.1081,
              1.2302,
              1.4411
            ]
          ]
        },
        "cell_rise,delay_template13x7": {
          "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.00636,
            0.01272,
            0.02543,
            0.05086,
            0.10172,
            0.20344
          ],
          "values": [
            [
              0.21205,
              0.26835,
              0.30821,
              0.37751,
              0.50666,
              0.75967,
              1.26357
            ],
            [
              0.21483,
              0.27113,
              0.31095,
              0.38032,
              0.50923,
              0.76201,
              1.26564
            ],
            [
              0.21791,
              0.2742,
              0.31403,
              0.38338,
              0.51234,
              0.76518,
              1.26862
            ],
            [
              0.22223,
              0.27852,
              0.31833,
              0.38771,
              0.51665,
              0.76934,
              1.27307
            ],
            [
              0.2283,
              0.28459,
              0.32443,
              0.39375,
              0.52288,
              0.77588,
              1.27941
            ],
            [
              0.23682,
              0.29311,
              0.33291,
              0.40233,
              0.53138,
              0.7841,
              1.28762
            ],
            [
              0.24891,
              0.3052,
              0.34499,
              0.41436,
              0.54359,
              0.79669,
              1.30053
            ],
            [
              0.26647,
              0.32274,
              0.36254,
              0.43184,
              0.56114,
              0.81432,
              1.31826
            ],
            [
              0.29229,
              0.34844,
              0.3882,
              0.45758,
              0.58669,
              0.83995,
              1.34315
            ],
            [
              0.32709,
              0.38472,
              0.42485,
              0.49438,
              0.62352,
              0.87689,
              1.38089
            ],
            [
              0.37095,
              0.43098,
              0.47212,
              0.54272,
              0.67232,
              0.92572,
              1.43012
            ],
            [
              0.42537,
              0.48857,
              0.53107,
              0.60277,
              0.73357,
              0.98717,
              1.49127
            ],
            [
              0.4909,
              0.5584,
              0.6026,
              0.676,
              0.8077,
              1.0616,
              1.5652
            ]
          ]
        },
        "fall_transition,delay_template13x7": {
          "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.00636,
            0.01272,
            0.02543,
            0.05086,
            0.10172,
            0.20344
          ],
          "values": [
            [
              0.03756,
              0.06708,
              0.08889,
              0.12627,
              0.19292,
              0.31857,
              0.57234
            ],
            [
              0.03757,
              0.06708,
              0.08884,
              0.12628,
              0.19294,
              0.31857,
              0.5723
            ],
            [
              0.03756,
              0.06707,
              0.08884,
              0.12628,
              0.19294,
              0.31857,
              0.57235
            ],
            [
              0.03759,
              0.06708,
              0.08885,
              0.12628,
              0.19293,
              0.31849,
              0.57251
            ],
            [
              0.03757,
              0.06708,
              0.08887,
              0.12628,
              0.19292,
              0.31856,
              0.57228
            ],
            [
              0.03759,
              0.06714,
              0.08891,
              0.12655,
              0.19284,
              0.31856,
              0.57257
            ],
            [
              0.03755,
              0.06708,
              0.08883,
              0.12626,
              0.19291,
              0.31854,
              0.5724
            ],
            [
              0.03757,
              0.06709,
              0.08898,
              0.12626,
              0.1929,
              0.3184,
              0.57262
            ],
            [
              0.03758,
              0.06708,
              0.08901,
              0.12662,
              0.19319,
              0.31858,
              0.57239
            ],
            [
              0.03758,
              0.06718,
              0.089,
              0.12633,
              0.19289,
              0.3185,
              0.5726
            ],
            [
              0.038,
              0.0674,
              0.0891,
              0.1267,
              0.1928,
              0.3184,
              0.5718
            ],
            [
              0.043,
              0.0728,
              0.0943,
              0.1308,
              0.1959,
              0.3204,
              0.5733
            ],
            [
              0.0504,
              0.0818,
              0.1042,
              0.1417,
              0.2074,
              0.3295,
              0.5783
            ]
          ]
        },
        "related_pin": "A3",
        "rise_transition,delay_template13x7": {
          "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.00636,
            0.01272,
            0.02543,
            0.05086,
            0.10172,
            0.20344
          ],
          "values": [
            [
              0.03776,
              0.08672,
              0.13015,
              0.21735,
              0.39699,
              0.76276,
              1.50078
            ],
            [
              0.03769,
              0.08679,
              0.13001,
              0.21723,
              0.39692,
              0.76314,
              1.5003
            ],
            [
              0.03769,
              0.08681,
              0.13005,
              0.21718,
              0.39695,
              0.76323,
              1.50029
            ],
            [
              0.03768,
              0.08679,
              0.13004,
              0.21714,
              0.39692,
              0.76295,
              1.50272
            ],
            [
              0.03768,
              0.0867,
              0.13009,
              0.21728,
              0.39703,
              0.76326,
              1.50087
            ],
            [
              0.03776,
              0.08674,
              0.13023,
              0.21743,
              0.39656,
              0.76272,
              1.50543
            ],
            [
              0.03775,
              0.0867,
              0.13003,
              0.21764,
              0.39647,
              0.76408,
              1.50082
            ],
            [
              0.03768,
              0.08667,
              0.13005,
              0.21715,
              0.39698,
              0.76239,
              1.50071
            ],
            [
              0.03778,
              0.08681,
              0.13006,
              0.21745,
              0.39699,
              0.76327,
              1.50063
            ],
            [
              0.03968,
              0.08838,
              0.1314,
              0.21796,
              0.39696,
              0.76336,
              1.4993
            ],
            [
              0.04213,
              0.09134,
              0.13422,
              0.2199,
              0.3986,
              0.7649,
              1.4991
            ],
            [
              0.0455,
              0.0954,
              0.1381,
              0.2237,
              0.4003,
              0.7643,
              1.4988
            ],
            [
              0.0502,
              0.1011,
              0.1435,
              0.2275,
              0.4026,
              0.766,
              1.5017
            ]
          ]
        },
        "sdf_cond": "(A1&A2&!B1&!B2)",
        "timing_sense": "positive_unate",
        "when": "(A1&A2&!B1&!B2)"
      },
      {
        "cell_fall,delay_template13x7": {
          "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.00636,
            0.01272,
            0.02543,
            0.05086,
            0.10172,
            0.20344
          ],
          "values": [
            [
              0.41416,
              0.46345,
              0.49419,
              0.54095,
              0.61348,
              0.73213,
              0.94166
            ],
            [
              0.41662,
              0.46591,
              0.49673,
              0.54348,
              0.61597,
              0.7346,
              0.94428
            ],
            [
              0.41994,
              0.46927,
              0.50003,
              0.54679,
              0.61934,
              0.73799,
              0.94757
            ],
            [
              0.42529,
              0.47464,
              0.50548,
              0.55219,
              0.62472,
              0.7434,
              0.95285
            ],
            [
              0.43368,
              0.48305,
              0.51381,
              0.5606,
              0.63314,
              0.75182,
              0.96141
            ],
            [
              0.44658,
              0.49592,
              0.52669,
              0.57349,
              0.64605,
              0.76473,
              0.97442
            ],
            [
              0.46589,
              0.51521,
              0.54602,
              0.59277,
              0.66535,
              0.78402,
              0.99363
            ],
            [
              0.49369,
              0.54299,
              0.57374,
              0.62054,
              0.69313,
              0.81184,
              1.02136
            ],
            [
              0.53304,
              0.58233,
              0.61312,
              0.65988,
              0.73246,
              0.85115,
              1.06085
            ],
            [
              0.58925,
              0.63869,
              0.66939,
              0.71619,
              0.78889,
              0.90759,
              1.11729
            ],
            [
              0.67152,
              0.72072,
              0.75142,
              0.79832,
              0.87102,
              0.98982,
              1.19962
            ],
            [
              0.78657,
              0.83767,
              0.86917,
              0.91657,
              0.98977,
              1.10897,
              1.31887
            ],
            [
              0.9332,
              0.9884,
              1.022,
              1.0724,
              1.1492,
              1.2717,
              1.4832
            ]
          ]
        },
        "cell_rise,delay_template13x7": {
          "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.00636,
            0.01272,
            0.02543,
            0.05086,
            0.10172,
            0.20344
          ],
          "values": [
            [
              0.19394,
              0.25028,
              0.2902,
              0.35953,
              0.4887,
              0.7417,
              1.24527
            ],
            [
              0.19666,
              0.253,
              0.29285,
              0.36226,
              0.49141,
              0.74428,
              1.24794
            ],
            [
              0.19967,
              0.256,
              0.29591,
              0.36525,
              0.49445,
              0.74744,
              1.25112
            ],
            [
              0.20389,
              0.26023,
              0.30016,
              0.3695,
              0.49871,
              0.75172,
              1.25518
            ],
            [
              0.2099,
              0.26623,
              0.30609,
              0.37554,
              0.50468,
              0.75752,
              1.26121
            ],
            [
              0.21835,
              0.27468,
              0.31458,
              0.38392,
              0.51317,
              0.76566,
              1.26932
            ],
            [
              0.23044,
              0.28676,
              0.32658,
              0.39602,
              0.52521,
              0.7781,
              1.28193
            ],
            [
              0.24805,
              0.30429,
              0.34407,
              0.41351,
              0.54272,
              0.79561,
              1.29946
            ],
            [
              0.27364,
              0.32987,
              0.36968,
              0.43902,
              0.56839,
              0.82095,
              1.32525
            ],
            [
              0.30682,
              0.36494,
              0.40529,
              0.47496,
              0.60436,
              0.85759,
              1.36199
            ],
            [
              0.3485,
              0.40912,
              0.45052,
              0.52122,
              0.65122,
              0.90472,
              1.40872
            ],
            [
              0.39987,
              0.46377,
              0.50657,
              0.57847,
              0.70947,
              0.96297,
              1.46697
            ],
            [
              0.4606,
              0.5292,
              0.5738,
              0.6475,
              0.7793,
              1.0336,
              1.5372
            ]
          ]
        },
        "fall_transition,delay_template13x7": {
          "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.00636,
            0.01272,
            0.02543,
            0.05086,
            0.10172,
            0.20344
          ],
          "values": [
            [
              0.04639,
              0.07597,
              0.09738,
              0.13453,
              0.20054,
              0.32553,
              0.57849
            ],
            [
              0.04641,
              0.07614,
              0.09752,
              0.13434,
              0.20046,
              0.32553,
              0.57832
            ],
            [
              0.04642,
              0.07603,
              0.09756,
              0.13434,
              0.20018,
              0.32554,
              0.57849
            ],
            [
              0.0464,
              0.07601,
              0.09731,
              0.13457,
              0.20049,
              0.3254,
              0.57839
            ],
            [
              0.04641,
              0.07603,
              0.09743,
              0.13433,
              0.2004,
              0.32552,
              0.57844
            ],
            [
              0.04642,
              0.07603,
              0.0974,
              0.13433,
              0.20063,
              0.32547,
              0.57836
            ],
            [
              0.04642,
              0.07594,
              0.09741,
              0.13434,
              0.20038,
              0.32517,
              0.57811
            ],
            [
              0.04638,
              0.07609,
              0.09739,
              0.13451,
              0.20043,
              0.32552,
              0.57844
            ],
            [
              0.04641,
              0.07604,
              0.09746,
              0.13433,
              0.20062,
              0.32549,
              0.578
            ],
            [
              0.04641,
              0.07608,
              0.09752,
              0.1344,
              0.2003,
              0.3254,
              0.5781
            ],
            [
              0.0465,
              0.0761,
              0.0974,
              0.1343,
              0.2005,
              0.3254,
              0.5777
            ],
            [
              0.0503,
              0.0796,
              0.1005,
              0.1367,
              0.2017,
              0.3258,
              0.5784
            ],
            [
              0.0566,
              0.0871,
              0.1088,
              0.1457,
              0.2106,
              0.3331,
              0.5825
            ]
          ]
        },
        "related_pin": "A3",
        "rise_transition,delay_template13x7": {
          "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.00636,
            0.01272,
            0.02543,
            0.05086,
            0.10172,
            0.20344
          ],
          "values": [
            [
              0.03747,
              0.08652,
              0.13,
              0.21763,
              0.39675,
              0.76284,
              1.50028
            ],
            [
              0.03745,
              0.0865,
              0.12987,
              0.21753,
              0.39649,
              0.76298,
              1.5002
            ],
            [
              0.03756,
              0.08652,
              0.13004,
              0.21766,
              0.39662,
              0.76393,
              1.50046
            ],
            [
              0.03744,
              0.0865,
              0.13012,
              0.21759,
              0.3968,
              0.76232,
              1.49963
            ],
            [
              0.03747,
              0.08654,
              0.13011,
              0.21747,
              0.39682,
              0.76282,
              1.50001
            ],
            [
              0.03747,
              0.08647,
              0.13032,
              0.21702,
              0.39693,
              0.76225,
              1.49903
            ],
            [
              0.03745,
              0.08644,
              0.12978,
              0.21744,
              0.39675,
              0.76283,
              1.5001
            ],
            [
              0.03733,
              0.08644,
              0.12976,
              0.21732,
              0.39653,
              0.76264,
              1.49994
            ],
            [
              0.03794,
              0.08663,
              0.12988,
              0.21705,
              0.39669,
              0.76264,
              1.50011
            ],
            [
              0.03994,
              0.08867,
              0.13185,
              0.21777,
              0.39721,
              0.76357,
              1.5024
            ],
            [
              0.04251,
              0.09182,
              0.13473,
              0.22012,
              0.3981,
              0.7625,
              1.5002
            ],
            [
              0.0461,
              0.0962,
              0.139,
              0.2235,
              0.4004,
              0.7631,
              1.5004
            ],
            [
              0.0513,
              0.1023,
              0.1447,
              0.2283,
              0.4031,
              0.766,
              1.5004
            ]
          ]
        },
        "sdf_cond": "(A1&A2&!B1&B2)",
        "timing_sense": "positive_unate",
        "when": "(A1&A2&!B1&B2)"
      },
      {
        "cell_fall,delay_template13x7": {
          "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.00636,
            0.01272,
            0.02543,
            0.05086,
            0.10172,
            0.20344
          ],
          "values": [
            [
              0.43299,
              0.48306,
              0.51398,
              0.56086,
              0.63342,
              0.75214,
              0.96199
            ],
            [
              0.43555,
              0.48564,
              0.51656,
              0.56345,
              0.636,
              0.75473,
              0.96461
            ],
            [
              0.43898,
              0.48907,
              0.52,
              0.56688,
              0.63945,
              0.75817,
              0.96806
            ],
            [
              0.44446,
              0.49454,
              0.5255,
              0.57237,
              0.64499,
              0.76368,
              0.97347
            ],
            [
              0.45301,
              0.5031,
              0.53405,
              0.58093,
              0.65355,
              0.77226,
              0.98211
            ],
            [
              0.46604,
              0.51614,
              0.54708,
              0.59399,
              0.6666,
              0.78533,
              0.99522
            ],
            [
              0.48553,
              0.53558,
              0.5666,
              0.61345,
              0.68609,
              0.80484,
              1.01463
            ],
            [
              0.51355,
              0.56358,
              0.59456,
              0.64144,
              0.7141,
              0.83284,
              1.04266
            ],
            [
              0.5533,
              0.60332,
              0.63427,
              0.68116,
              0.75385,
              0.87255,
              1.08235
            ],
            [
              0.61034,
              0.66039,
              0.69129,
              0.73819,
              0.81089,
              0.92969,
              1.13959
            ],
            [
              0.69422,
              0.74422,
              0.77512,
              0.82202,
              0.89482,
              1.01372,
              1.22362
            ],
            [
              0.81447,
              0.86587,
              0.89717,
              0.94437,
              1.01747,
              1.13657,
              1.34657
            ],
            [
              0.9697,
              1.0254,
              1.059,
              1.1092,
              1.1855,
              1.3073,
              1.5186
            ]
          ]
        },
        "cell_rise,delay_template13x7": {
          "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.00636,
            0.01272,
            0.02543,
            0.05086,
            0.10172,
            0.20344
          ],
          "values": [
            [
              0.20563,
              0.26729,
              0.30922,
              0.38055,
              0.51086,
              0.76394,
              1.26767
            ],
            [
              0.20835,
              0.27001,
              0.31196,
              0.38335,
              0.5136,
              0.7667,
              1.27034
            ],
            [
              0.21136,
              0.27302,
              0.31495,
              0.38627,
              0.5164,
              0.7697,
              1.27342
            ],
            [
              0.2156,
              0.27725,
              0.3192,
              0.39059,
              0.52085,
              0.77402,
              1.27768
            ],
            [
              0.22161,
              0.28326,
              0.32519,
              0.39663,
              0.52688,
              0.78004,
              1.28351
            ],
            [
              0.23006,
              0.29172,
              0.33364,
              0.4051,
              0.53538,
              0.78851,
              1.29222
            ],
            [
              0.24214,
              0.30378,
              0.34569,
              0.41705,
              0.54742,
              0.80064,
              1.30433
            ],
            [
              0.25972,
              0.3213,
              0.36318,
              0.43454,
              0.56495,
              0.81812,
              1.32096
            ],
            [
              0.2854,
              0.34691,
              0.38875,
              0.46019,
              0.59043,
              0.84395,
              1.34765
            ],
            [
              0.31935,
              0.38271,
              0.42504,
              0.49671,
              0.62721,
              0.88049,
              1.38389
            ],
            [
              0.36202,
              0.42828,
              0.47182,
              0.54462,
              0.67572,
              0.92922,
              1.43362
            ],
            [
              0.41477,
              0.48477,
              0.52997,
              0.60427,
              0.73677,
              0.99057,
              1.49477
            ],
            [
              0.4778,
              0.5529,
              0.6002,
              0.6766,
              0.8104,
              1.0651,
              1.5684
            ]
          ]
        },
        "fall_transition,delay_template13x7": {
          "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.00636,
            0.01272,
            0.02543,
            0.05086,
            0.10172,
            0.20344
          ],
          "values": [
            [
              0.04697,
              0.07659,
              0.09779,
              0.13451,
              0.20051,
              0.32553,
              0.57873
            ],
            [
              0.04696,
              0.07659,
              0.09794,
              0.13451,
              0.20056,
              0.32555,
              0.57862
            ],
            [
              0.04696,
              0.07649,
              0.09792,
              0.13451,
              0.20064,
              0.32556,
              0.57846
            ],
            [
              0.04694,
              0.07655,
              0.09777,
              0.13454,
              0.20038,
              0.32516,
              0.57825
            ],
            [
              0.04699,
              0.07649,
              0.09793,
              0.13451,
              0.20028,
              0.32549,
              0.57773
            ],
            [
              0.04697,
              0.0765,
              0.09793,
              0.13452,
              0.20064,
              0.32552,
              0.57828
            ],
            [
              0.04696,
              0.07656,
              0.09768,
              0.13472,
              0.2004,
              0.32532,
              0.57872
            ],
            [
              0.04698,
              0.07655,
              0.09783,
              0.1345,
              0.20034,
              0.32539,
              0.57807
            ],
            [
              0.04697,
              0.07656,
              0.09778,
              0.13472,
              0.20042,
              0.32521,
              0.5784
            ],
            [
              0.04696,
              0.07649,
              0.0979,
              0.1345,
              0.2002,
              0.3255,
              0.5784
            ],
            [
              0.047,
              0.0766,
              0.0978,
              0.1345,
              0.2004,
              0.3254,
              0.5786
            ],
            [
              0.05,
              0.079,
              0.0998,
              0.1357,
              0.201,
              0.3258,
              0.5782
            ],
            [
              0.0563,
              0.0868,
              0.1081,
              0.1446,
              0.209,
              0.3315,
              0.5815
            ]
          ]
        },
        "related_pin": "A3",
        "rise_transition,delay_template13x7": {
          "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.00636,
            0.01272,
            0.02543,
            0.05086,
            0.10172,
            0.20344
          ],
          "values": [
            [
              0.04397,
              0.09209,
              0.13522,
              0.22117,
              0.399,
              0.76323,
              1.50024
            ],
            [
              0.04401,
              0.09203,
              0.13537,
              0.22113,
              0.39897,
              0.76387,
              1.49991
            ],
            [
              0.04405,
              0.09209,
              0.13522,
              0.22117,
              0.39913,
              0.76332,
              1.50022
            ],
            [
              0.04398,
              0.09199,
              0.13504,
              0.22117,
              0.39907,
              0.764,
              1.50154
            ],
            [
              0.04397,
              0.09208,
              0.13504,
              0.22118,
              0.39907,
              0.7639,
              1.49975
            ],
            [
              0.04407,
              0.09212,
              0.13504,
              0.22128,
              0.39895,
              0.76311,
              1.50029
            ],
            [
              0.04399,
              0.09208,
              0.13502,
              0.2213,
              0.39904,
              0.7636,
              1.50029
            ],
            [
              0.04392,
              0.09194,
              0.1354,
              0.22112,
              0.39863,
              0.76414,
              1.5037
            ],
            [
              0.04426,
              0.09211,
              0.13526,
              0.22128,
              0.39914,
              0.76339,
              1.50006
            ],
            [
              0.04682,
              0.09425,
              0.13669,
              0.22176,
              0.39873,
              0.76336,
              1.4989
            ],
            [
              0.05011,
              0.09797,
              0.14039,
              0.2245,
              0.3999,
              0.7639,
              1.5002
            ],
            [
              0.0544,
              0.1028,
              0.1447,
              0.2284,
              0.4032,
              0.7648,
              1.4984
            ],
            [
              0.0606,
              0.1096,
              0.1514,
              0.2336,
              0.4066,
              0.7667,
              1.5018
            ]
          ]
        },
        "sdf_cond": "(A1&A2&B1&!B2)",
        "timing_sense": "positive_unate",
        "when": "(A1&A2&B1&!B2)"
      },
      {
        "cell_fall,delay_template13x7": {
          "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.00636,
            0.01272,
            0.02543,
            0.05086,
            0.10172,
            0.20344
          ],
          "values": [
            [
              0.19257,
              0.22987,
              0.25406,
              0.29177,
              0.35284,
              0.45918,
              0.65884
            ],
            [
              0.1951,
              0.23246,
              0.25667,
              0.29433,
              0.35544,
              0.46177,
              0.6617
            ],
            [
              0.19816,
              0.23554,
              0.25975,
              0.29745,
              0.35863,
              0.46494,
              0.66461
            ],
            [
              0.20294,
              0.24028,
              0.2645,
              0.30224,
              0.36338,
              0.46979,
              0.66948
            ],
            [
              0.21042,
              0.24773,
              0.27197,
              0.30969,
              0.37081,
              0.47725,
              0.67718
            ],
            [
              0.22216,
              0.25937,
              0.28361,
              0.32137,
              0.38255,
              0.489,
              0.68861
            ],
            [
              0.24071,
              0.27788,
              0.30209,
              0.33976,
              0.40094,
              0.50728,
              0.70726
            ],
            [
              0.26922,
              0.30627,
              0.33042,
              0.36812,
              0.42935,
              0.53585,
              0.73592
            ],
            [
              0.31291,
              0.35002,
              0.37412,
              0.41187,
              0.47316,
              0.57971,
              0.77965
            ],
            [
              0.3787,
              0.41579,
              0.43994,
              0.47777,
              0.53918,
              0.64589,
              0.84579
            ],
            [
              0.46342,
              0.50412,
              0.52962,
              0.56892,
              0.63142,
              0.73862,
              0.93872
            ],
            [
              0.56727,
              0.61327,
              0.64107,
              0.68287,
              0.74817,
              0.85797,
              1.05927
            ],
            [
              0.6938,
              0.7466,
              0.7778,
              0.8233,
              0.8922,
              1.0048,
              1.2088
            ]
          ]
        },
        "cell_rise,delay_template13x7": {
          "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.00636,
            0.01272,
            0.02543,
            0.05086,
            0.10172,
            0.20344
          ],
          "values": [
            [
              0.11459,
              0.16186,
              0.19783,
              0.26336,
              0.39022,
              0.64147,
              1.14327
            ],
            [
              0.11721,
              0.16445,
              0.20041,
              0.26607,
              0.39278,
              0.6438,
              1.14564
            ],
            [
              0.12039,
              0.16763,
              0.20363,
              0.26929,
              0.39609,
              0.64728,
              1.14892
            ],
            [
              0.12512,
              0.17238,
              0.20835,
              0.27403,
              0.40074,
              0.65184,
              1.15368
            ],
            [
              0.13237,
              0.1796,
              0.2155,
              0.2812,
              0.408,
              0.65913,
              1.16051
            ],
            [
              0.14328,
              0.19044,
              0.22632,
              0.29199,
              0.41861,
              0.66996,
              1.17192
            ],
            [
              0.1597,
              0.2067,
              0.24248,
              0.30802,
              0.43505,
              0.68651,
              1.18793
            ],
            [
              0.18328,
              0.23031,
              0.26607,
              0.33155,
              0.45851,
              0.71006,
              1.21086
            ],
            [
              0.21216,
              0.26091,
              0.29707,
              0.36277,
              0.48971,
              0.7415,
              1.24235
            ],
            [
              0.2466,
              0.2976,
              0.33457,
              0.40094,
              0.52811,
              0.77949,
              1.28199
            ],
            [
              0.2865,
              0.34107,
              0.3789,
              0.44592,
              0.57362,
              0.82512,
              1.32712
            ],
            [
              0.33107,
              0.39117,
              0.43047,
              0.49837,
              0.62627,
              0.87827,
              1.37967
            ],
            [
              0.3788,
              0.4469,
              0.4887,
              0.5582,
              0.6864,
              0.9388,
              1.4398
            ]
          ]
        },
        "fall_transition,delay_template13x7": {
          "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.00636,
            0.01272,
            0.02543,
            0.05086,
            0.10172,
            0.20344
          ],
          "values": [
            [
              0.02908,
              0.05399,
              0.07291,
              0.10681,
              0.16977,
              0.2959,
              0.55591
            ],
            [
              0.02908,
              0.05399,
              0.07304,
              0.10683,
              0.16978,
              0.29591,
              0.55558
            ],
            [
              0.02906,
              0.05399,
              0.07292,
              0.10669,
              0.16977,
              0.29588,
              0.55574
            ],
            [
              0.02908,
              0.054,
              0.0729,
              0.1066,
              0.16979,
              0.29584,
              0.55546
            ],
            [
              0.02906,
              0.054,
              0.07288,
              0.10676,
              0.16983,
              0.29587,
              0.55536
            ],
            [
              0.02908,
              0.05406,
              0.07292,
              0.10675,
              0.16976,
              0.2958,
              0.55548
            ],
            [
              0.02907,
              0.0541,
              0.07293,
              0.10678,
              0.16995,
              0.29591,
              0.55553
            ],
            [
              0.02908,
              0.05409,
              0.07302,
              0.10682,
              0.16977,
              0.2957,
              0.55576
            ],
            [
              0.02908,
              0.05422,
              0.07307,
              0.10678,
              0.16995,
              0.29582,
              0.55567
            ],
            [
              0.03058,
              0.05495,
              0.07373,
              0.1072,
              0.17022,
              0.29575,
              0.55606
            ],
            [
              0.0369,
              0.0612,
              0.0793,
              0.1118,
              0.1731,
              0.2969,
              0.5559
            ],
            [
              0.0453,
              0.0706,
              0.0884,
              0.1206,
              0.181,
              0.3028,
              0.559
            ],
            [
              0.0564,
              0.0836,
              0.1018,
              0.1328,
              0.192,
              0.3119,
              0.5644
            ]
          ]
        },
        "related_pin": "B1",
        "rise_transition,delay_template13x7": {
          "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.00636,
            0.01272,
            0.02543,
            0.05086,
            0.10172,
            0.20344
          ],
          "values": [
            [
              0.02844,
              0.07408,
              0.11748,
              0.20637,
              0.38825,
              0.75605,
              1.4917
            ],
            [
              0.02844,
              0.07408,
              0.1176,
              0.20658,
              0.38855,
              0.75542,
              1.49209
            ],
            [
              0.02844,
              0.07412,
              0.11776,
              0.20652,
              0.38833,
              0.75587,
              1.49221
            ],
            [
              0.02844,
              0.07408,
              0.11776,
              0.20659,
              0.38851,
              0.75545,
              1.49221
            ],
            [
              0.02846,
              0.0741,
              0.11771,
              0.20647,
              0.38854,
              0.75601,
              1.4901
            ],
            [
              0.02844,
              0.07416,
              0.11752,
              0.20663,
              0.38823,
              0.75502,
              1.49153
            ],
            [
              0.02847,
              0.07415,
              0.11785,
              0.20646,
              0.38845,
              0.75523,
              1.48953
            ],
            [
              0.02932,
              0.07454,
              0.11783,
              0.20655,
              0.38847,
              0.7556,
              1.49543
            ],
            [
              0.03172,
              0.07661,
              0.11953,
              0.20725,
              0.38864,
              0.756,
              1.49005
            ],
            [
              0.03511,
              0.07973,
              0.122,
              0.20936,
              0.38944,
              0.7576,
              1.4943
            ],
            [
              0.04028,
              0.08397,
              0.12524,
              0.21131,
              0.39022,
              0.7562,
              1.4921
            ],
            [
              0.0474,
              0.0906,
              0.1303,
              0.2145,
              0.3924,
              0.7582,
              1.4926
            ],
            [
              0.0565,
              0.1007,
              0.1386,
              0.2196,
              0.3946,
              0.7589,
              1.4929
            ]
          ]
        },
        "sdf_cond": "(!A1&!A2&!A3&B2)",
        "timing_sense": "positive_unate",
        "when": "(!A1&!A2&!A3&B2)"
      },
      {
        "cell_fall,delay_template13x7": {
          "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.00636,
            0.01272,
            0.02543,
            0.05086,
            0.10172,
            0.20344
          ],
          "values": [
            [
              0.21661,
              0.25658,
              0.2824,
              0.32236,
              0.38627,
              0.49534,
              0.69712
            ],
            [
              0.2189,
              0.25892,
              0.28474,
              0.32472,
              0.38867,
              0.49782,
              0.69944
            ],
            [
              0.22177,
              0.26181,
              0.28766,
              0.32762,
              0.39151,
              0.50072,
              0.70248
            ],
            [
              0.22625,
              0.26628,
              0.29213,
              0.33213,
              0.39605,
              0.50518,
              0.70698
            ],
            [
              0.23333,
              0.27332,
              0.29918,
              0.33919,
              0.40306,
              0.51218,
              0.7139
            ],
            [
              0.24451,
              0.28443,
              0.31027,
              0.35027,
              0.41413,
              0.52335,
              0.72512
            ],
            [
              0.26225,
              0.3021,
              0.32764,
              0.36762,
              0.43155,
              0.54071,
              0.74236
            ],
            [
              0.28974,
              0.32953,
              0.35529,
              0.39522,
              0.45919,
              0.56845,
              0.76998
            ],
            [
              0.33217,
              0.37185,
              0.39756,
              0.43751,
              0.50152,
              0.61078,
              0.81265
            ],
            [
              0.39693,
              0.43634,
              0.46205,
              0.50202,
              0.56613,
              0.67549,
              0.87729
            ],
            [
              0.48422,
              0.52662,
              0.55322,
              0.59422,
              0.65892,
              0.76852,
              0.97062
            ],
            [
              0.59117,
              0.63867,
              0.66737,
              0.71067,
              0.77817,
              0.89027,
              1.09327
            ],
            [
              0.7214,
              0.7756,
              0.8077,
              0.8545,
              0.9253,
              1.0404,
              1.2461
            ]
          ]
        },
        "cell_rise,delay_template13x7": {
          "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.00636,
            0.01272,
            0.02543,
            0.05086,
            0.10172,
            0.20344
          ],
          "values": [
            [
              0.11468,
              0.16205,
              0.19812,
              0.26386,
              0.39115,
              0.64323,
              1.14657
            ],
            [
              0.11733,
              0.1647,
              0.20073,
              0.26662,
              0.39365,
              0.64547,
              1.14904
            ],
            [
              0.12053,
              0.16788,
              0.20396,
              0.26987,
              0.39698,
              0.64895,
              1.15152
            ],
            [
              0.12532,
              0.17267,
              0.20875,
              0.27461,
              0.40187,
              0.65372,
              1.15718
            ],
            [
              0.13259,
              0.17992,
              0.21596,
              0.28186,
              0.40894,
              0.66108,
              1.16421
            ],
            [
              0.14356,
              0.19082,
              0.22678,
              0.29268,
              0.41982,
              0.67195,
              1.17442
            ],
            [
              0.16005,
              0.20717,
              0.24303,
              0.30878,
              0.43624,
              0.68855,
              1.19163
            ],
            [
              0.18358,
              0.23072,
              0.26658,
              0.33228,
              0.45962,
              0.71206,
              1.21436
            ],
            [
              0.21256,
              0.2614,
              0.29767,
              0.36351,
              0.49093,
              0.74349,
              1.24615
            ],
            [
              0.24705,
              0.29805,
              0.3352,
              0.40173,
              0.52941,
              0.78159,
              1.28569
            ],
            [
              0.28681,
              0.34146,
              0.37941,
              0.44662,
              0.57482,
              0.82742,
              1.33092
            ],
            [
              0.33137,
              0.39157,
              0.43097,
              0.49907,
              0.62747,
              0.88037,
              1.38327
            ],
            [
              0.3788,
              0.447,
              0.4889,
              0.5586,
              0.6872,
              0.9405,
              1.4432
            ]
          ]
        },
        "fall_transition,delay_template13x7": {
          "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.00636,
            0.01272,
            0.02543,
            0.05086,
            0.10172,
            0.20344
          ],
          "values": [
            [
              0.03242,
              0.05869,
              0.07836,
              0.11297,
              0.17668,
              0.30193,
              0.56006
            ],
            [
              0.03242,
              0.0587,
              0.07838,
              0.11285,
              0.1763,
              0.30161,
              0.5602
            ],
            [
              0.03242,
              0.05869,
              0.07836,
              0.11298,
              0.17638,
              0.30161,
              0.56012
            ],
            [
              0.03243,
              0.05869,
              0.07836,
              0.11281,
              0.17628,
              0.30176,
              0.56009
            ],
            [
              0.03242,
              0.05869,
              0.07836,
              0.11278,
              0.17647,
              0.30167,
              0.56018
            ],
            [
              0.03243,
              0.05864,
              0.07837,
              0.1127,
              0.1767,
              0.30173,
              0.56018
            ],
            [
              0.03242,
              0.05873,
              0.07844,
              0.11274,
              0.1764,
              0.30168,
              0.56021
            ],
            [
              0.03241,
              0.05875,
              0.07834,
              0.11276,
              0.17671,
              0.30168,
              0.55997
            ],
            [
              0.03238,
              0.05875,
              0.07847,
              0.1131,
              0.1765,
              0.30165,
              0.55972
            ],
            [
              0.03272,
              0.0591,
              0.07869,
              0.11318,
              0.17652,
              0.30193,
              0.56014
            ],
            [
              0.0388,
              0.0642,
              0.0832,
              0.1167,
              0.1786,
              0.303,
              0.5605
            ],
            [
              0.0475,
              0.0734,
              0.092,
              0.1248,
              0.1863,
              0.3083,
              0.5626
            ],
            [
              0.0586,
              0.0865,
              0.1051,
              0.137,
              0.1971,
              0.3176,
              0.5688
            ]
          ]
        },
        "related_pin": "B1",
        "rise_transition,delay_template13x7": {
          "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.00636,
            0.01272,
            0.02543,
            0.05086,
            0.10172,
            0.20344
          ],
          "values": [
            [
              0.02848,
              0.07424,
              0.11777,
              0.20701,
              0.38934,
              0.75841,
              1.49777
            ],
            [
              0.02848,
              0.07421,
              0.11789,
              0.20723,
              0.38963,
              0.7577,
              1.4979
            ],
            [
              0.02851,
              0.07425,
              0.1178,
              0.20715,
              0.38968,
              0.75822,
              1.49895
            ],
            [
              0.02847,
              0.07421,
              0.11804,
              0.20721,
              0.3893,
              0.75781,
              1.49641
            ],
            [
              0.0285,
              0.07428,
              0.1178,
              0.20719,
              0.38958,
              0.75823,
              1.49575
            ],
            [
              0.02849,
              0.07427,
              0.11795,
              0.20714,
              0.38958,
              0.7583,
              1.49921
            ],
            [
              0.02853,
              0.07433,
              0.11811,
              0.20711,
              0.38963,
              0.75735,
              1.49457
            ],
            [
              0.02935,
              0.07481,
              0.11849,
              0.20713,
              0.38956,
              0.75724,
              1.49998
            ],
            [
              0.03173,
              0.07672,
              0.11951,
              0.20781,
              0.39015,
              0.75827,
              1.49465
            ],
            [
              0.03516,
              0.07973,
              0.12223,
              0.20943,
              0.39028,
              0.75991,
              1.496
            ],
            [
              0.04037,
              0.08428,
              0.12547,
              0.21196,
              0.39221,
              0.7577,
              1.4969
            ],
            [
              0.0474,
              0.0907,
              0.1306,
              0.215,
              0.3936,
              0.7608,
              1.4973
            ],
            [
              0.0566,
              0.1009,
              0.1388,
              0.2203,
              0.3956,
              0.7613,
              1.4971
            ]
          ]
        },
        "sdf_cond": "(!A1&!A2&A3&B2)",
        "timing_sense": "positive_unate",
        "when": "(!A1&!A2&A3&B2)"
      },
      {
        "cell_fall,delay_template13x7": {
          "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.00636,
            0.01272,
            0.02543,
            0.05086,
            0.10172,
            0.20344
          ],
          "values": [
            [
              0.20932,
              0.24849,
              0.27381,
              0.31307,
              0.37614,
              0.48431,
              0.68526
            ],
            [
              0.21164,
              0.25087,
              0.27621,
              0.31549,
              0.37854,
              0.48683,
              0.68788
            ],
            [
              0.21453,
              0.25378,
              0.27913,
              0.31842,
              0.38148,
              0.48978,
              0.69088
            ],
            [
              0.21907,
              0.25833,
              0.28365,
              0.32295,
              0.38605,
              0.49435,
              0.69525
            ],
            [
              0.22624,
              0.26546,
              0.29081,
              0.33016,
              0.39316,
              0.50144,
              0.70263
            ],
            [
              0.23757,
              0.2767,
              0.30207,
              0.3414,
              0.40443,
              0.51264,
              0.71385
            ],
            [
              0.25554,
              0.29459,
              0.31994,
              0.35901,
              0.42204,
              0.53036,
              0.7313
            ],
            [
              0.28334,
              0.32232,
              0.3476,
              0.38688,
              0.44999,
              0.55833,
              0.75953
            ],
            [
              0.32618,
              0.36506,
              0.39028,
              0.42954,
              0.49271,
              0.60113,
              0.80215
            ],
            [
              0.3913,
              0.42994,
              0.45516,
              0.4945,
              0.55776,
              0.66619,
              0.86759
            ],
            [
              0.47772,
              0.51962,
              0.54602,
              0.58642,
              0.65042,
              0.75932,
              0.96072
            ],
            [
              0.58367,
              0.63077,
              0.65927,
              0.70207,
              0.76897,
              0.88027,
              1.08257
            ],
            [
              0.7127,
              0.7665,
              0.7984,
              0.8449,
              0.9151,
              1.0294,
              1.2346
            ]
          ]
        },
        "cell_rise,delay_template13x7": {
          "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.00636,
            0.01272,
            0.02543,
            0.05086,
            0.10172,
            0.20344
          ],
          "values": [
            [
              0.11463,
              0.16192,
              0.1979,
              0.26348,
              0.39047,
              0.64193,
              1.14377
            ],
            [
              0.11723,
              0.16451,
              0.20051,
              0.26622,
              0.39311,
              0.64448,
              1.14654
            ],
            [
              0.12047,
              0.16774,
              0.20374,
              0.26949,
              0.39631,
              0.64765,
              1.14942
            ],
            [
              0.12523,
              0.1725,
              0.20849,
              0.27422,
              0.40104,
              0.65234,
              1.15458
            ],
            [
              0.13252,
              0.17982,
              0.21574,
              0.28147,
              0.40825,
              0.65971,
              1.16091
            ],
            [
              0.14347,
              0.19064,
              0.22653,
              0.29227,
              0.41907,
              0.67059,
              1.17132
            ],
            [
              0.15993,
              0.20697,
              0.24275,
              0.30832,
              0.43548,
              0.68713,
              1.18893
            ],
            [
              0.18342,
              0.2305,
              0.26626,
              0.33182,
              0.45885,
              0.71069,
              1.21166
            ],
            [
              0.21242,
              0.26118,
              0.29736,
              0.36306,
              0.49014,
              0.74208,
              1.24335
            ],
            [
              0.24682,
              0.29783,
              0.33489,
              0.40129,
              0.52863,
              0.78019,
              1.28299
            ],
            [
              0.28667,
              0.34125,
              0.37912,
              0.44632,
              0.57402,
              0.82602,
              1.32832
            ],
            [
              0.33127,
              0.39137,
              0.43077,
              0.49867,
              0.62667,
              0.87897,
              1.38057
            ],
            [
              0.3788,
              0.4469,
              0.4887,
              0.5583,
              0.6865,
              0.9392,
              1.4405
            ]
          ]
        },
        "fall_transition,delay_template13x7": {
          "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.00636,
            0.01272,
            0.02543,
            0.05086,
            0.10172,
            0.20344
          ],
          "values": [
            [
              0.03145,
              0.05735,
              0.07674,
              0.11116,
              0.17438,
              0.30001,
              0.55847
            ],
            [
              0.03145,
              0.05735,
              0.07674,
              0.11095,
              0.1744,
              0.29966,
              0.55894
            ],
            [
              0.03143,
              0.05734,
              0.07673,
              0.11093,
              0.17437,
              0.2998,
              0.55897
            ],
            [
              0.03144,
              0.05728,
              0.07672,
              0.11112,
              0.17438,
              0.29965,
              0.55804
            ],
            [
              0.03144,
              0.05727,
              0.07674,
              0.111,
              0.17442,
              0.29968,
              0.55901
            ],
            [
              0.03145,
              0.05732,
              0.0767,
              0.1109,
              0.17468,
              0.3001,
              0.55821
            ],
            [
              0.03143,
              0.05741,
              0.07674,
              0.11116,
              0.17468,
              0.29995,
              0.55847
            ],
            [
              0.03142,
              0.05741,
              0.07695,
              0.11117,
              0.17448,
              0.29979,
              0.5584
            ],
            [
              0.03141,
              0.05747,
              0.07686,
              0.11126,
              0.17474,
              0.29992,
              0.55875
            ],
            [
              0.03209,
              0.05789,
              0.07735,
              0.1114,
              0.1749,
              0.30017,
              0.5589
            ],
            [
              0.0383,
              0.0634,
              0.082,
              0.1151,
              0.177,
              0.301,
              0.5584
            ],
            [
              0.047,
              0.0727,
              0.0911,
              0.1235,
              0.185,
              0.3069,
              0.5618
            ],
            [
              0.0582,
              0.0858,
              0.1043,
              0.1359,
              0.1956,
              0.3159,
              0.5672
            ]
          ]
        },
        "related_pin": "B1",
        "rise_transition,delay_template13x7": {
          "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.00636,
            0.01272,
            0.02543,
            0.05086,
            0.10172,
            0.20344
          ],
          "values": [
            [
              0.02845,
              0.07413,
              0.11754,
              0.20656,
              0.38895,
              0.75564,
              1.49187
            ],
            [
              0.02846,
              0.07411,
              0.11781,
              0.20678,
              0.38877,
              0.75642,
              1.4932
            ],
            [
              0.02848,
              0.07413,
              0.11768,
              0.20666,
              0.38886,
              0.75538,
              1.49282
            ],
            [
              0.02844,
              0.07409,
              0.11784,
              0.20678,
              0.38884,
              0.7561,
              1.49351
            ],
            [
              0.02845,
              0.07415,
              0.11769,
              0.2068,
              0.38876,
              0.7566,
              1.4956
            ],
            [
              0.02845,
              0.07417,
              0.1177,
              0.20674,
              0.3887,
              0.75659,
              1.49662
            ],
            [
              0.02843,
              0.07421,
              0.1179,
              0.20661,
              0.38878,
              0.75634,
              1.49048
            ],
            [
              0.02935,
              0.07463,
              0.11792,
              0.20676,
              0.38872,
              0.75548,
              1.49639
            ],
            [
              0.0317,
              0.07662,
              0.1193,
              0.20741,
              0.38961,
              0.7565,
              1.49561
            ],
            [
              0.03511,
              0.07988,
              0.12203,
              0.20903,
              0.38947,
              0.75825,
              1.4925
            ],
            [
              0.04034,
              0.08416,
              0.12516,
              0.21151,
              0.39107,
              0.7559,
              1.4921
            ],
            [
              0.0474,
              0.0906,
              0.1306,
              0.2145,
              0.3927,
              0.7589,
              1.4939
            ],
            [
              0.0565,
              0.1008,
              0.1386,
              0.2199,
              0.3947,
              0.7596,
              1.4931
            ]
          ]
        },
        "sdf_cond": "(!A1&A2&!A3&B2)",
        "timing_sense": "positive_unate",
        "when": "(!A1&A2&!A3&B2)"
      },
      {
        "cell_fall,delay_template13x7": {
          "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.00636,
            0.01272,
            0.02543,
            0.05086,
            0.10172,
            0.20344
          ],
          "values": [
            [
              0.27161,
              0.31748,
              0.3468,
              0.39176,
              0.46207,
              0.57804,
              0.78509
            ],
            [
              0.2736,
              0.31951,
              0.3489,
              0.39385,
              0.46412,
              0.58008,
              0.78729
            ],
            [
              0.27599,
              0.3219,
              0.35128,
              0.39627,
              0.46661,
              0.58258,
              0.78957
            ],
            [
              0.2798,
              0.3257,
              0.35509,
              0.40005,
              0.47036,
              0.58644,
              0.79344
            ],
            [
              0.28599,
              0.33189,
              0.36128,
              0.4063,
              0.47665,
              0.59269,
              0.79976
            ],
            [
              0.29603,
              0.34185,
              0.37121,
              0.41621,
              0.48657,
              0.60264,
              0.8097
            ],
            [
              0.31206,
              0.35783,
              0.38718,
              0.43214,
              0.50247,
              0.61844,
              0.82528
            ],
            [
              0.33764,
              0.38334,
              0.41265,
              0.45759,
              0.5279,
              0.64396,
              0.85106
            ],
            [
              0.37731,
              0.42294,
              0.45231,
              0.49721,
              0.56758,
              0.68373,
              0.89075
            ],
            [
              0.43876,
              0.4842,
              0.51338,
              0.55828,
              0.6287,
              0.74489,
              0.95199
            ],
            [
              0.52972,
              0.57602,
              0.60522,
              0.65022,
              0.72072,
              0.83712,
              1.04432
            ],
            [
              0.64337,
              0.69427,
              0.72537,
              0.77227,
              0.84497,
              0.96287,
              1.17067
            ],
            [
              0.7818,
              0.8393,
              0.8735,
              0.9234,
              0.9989,
              1.12,
              1.3311
            ]
          ]
        },
        "cell_rise,delay_template13x7": {
          "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.00636,
            0.01272,
            0.02543,
            0.05086,
            0.10172,
            0.20344
          ],
          "values": [
            [
              0.11473,
              0.1621,
              0.19818,
              0.26391,
              0.39119,
              0.64329,
              1.14667
            ],
            [
              0.11742,
              0.16479,
              0.20087,
              0.26675,
              0.39379,
              0.64542,
              1.14914
            ],
            [
              0.12066,
              0.16802,
              0.2041,
              0.27,
              0.39713,
              0.6491,
              1.15182
            ],
            [
              0.12552,
              0.17288,
              0.20894,
              0.27485,
              0.40199,
              0.65397,
              1.15738
            ],
            [
              0.13286,
              0.18019,
              0.21623,
              0.28202,
              0.40939,
              0.66132,
              1.16381
            ],
            [
              0.14392,
              0.19118,
              0.22715,
              0.29305,
              0.42018,
              0.67233,
              1.17542
            ],
            [
              0.16049,
              0.2076,
              0.24349,
              0.30923,
              0.43668,
              0.68887,
              1.19193
            ],
            [
              0.18412,
              0.23124,
              0.2671,
              0.33293,
              0.46013,
              0.71258,
              1.21466
            ],
            [
              0.21327,
              0.26202,
              0.29831,
              0.36417,
              0.49162,
              0.74422,
              1.24685
            ],
            [
              0.24774,
              0.29881,
              0.33581,
              0.40241,
              0.53007,
              0.78219,
              1.28649
            ],
            [
              0.28756,
              0.34215,
              0.38009,
              0.44732,
              0.57542,
              0.82802,
              1.33182
            ],
            [
              0.33187,
              0.39197,
              0.43137,
              0.49937,
              0.62767,
              0.88067,
              1.38357
            ],
            [
              0.3788,
              0.447,
              0.4889,
              0.5586,
              0.6872,
              0.9403,
              1.4433
            ]
          ]
        },
        "fall_transition,delay_template13x7": {
          "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.00636,
            0.01272,
            0.02543,
            0.05086,
            0.10172,
            0.20344
          ],
          "values": [
            [
              0.0403,
              0.06938,
              0.09074,
              0.12727,
              0.19294,
              0.31802,
              0.57183
            ],
            [
              0.04031,
              0.06947,
              0.09059,
              0.12722,
              0.19294,
              0.31803,
              0.57175
            ],
            [
              0.04031,
              0.06941,
              0.09063,
              0.12723,
              0.19304,
              0.31783,
              0.57183
            ],
            [
              0.04031,
              0.06952,
              0.09058,
              0.12746,
              0.19297,
              0.31799,
              0.57184
            ],
            [
              0.04031,
              0.06942,
              0.09069,
              0.12723,
              0.19287,
              0.31778,
              0.57172
            ],
            [
              0.04033,
              0.06941,
              0.09079,
              0.12744,
              0.19288,
              0.3179,
              0.57177
            ],
            [
              0.04032,
              0.0694,
              0.09064,
              0.12725,
              0.19313,
              0.31801,
              0.57164
            ],
            [
              0.04033,
              0.06943,
              0.09068,
              0.12752,
              0.19292,
              0.3178,
              0.57096
            ],
            [
              0.0403,
              0.06943,
              0.09082,
              0.12728,
              0.19298,
              0.31794,
              0.57149
            ],
            [
              0.04008,
              0.06943,
              0.09085,
              0.12765,
              0.19325,
              0.31791,
              0.5714
            ],
            [
              0.0437,
              0.0716,
              0.0923,
              0.1283,
              0.1936,
              0.3184,
              0.5711
            ],
            [
              0.0525,
              0.0803,
              0.1005,
              0.1359,
              0.2002,
              0.3227,
              0.5735
            ],
            [
              0.0641,
              0.0937,
              0.1132,
              0.1474,
              0.2099,
              0.3319,
              0.5805
            ]
          ]
        },
        "related_pin": "B1",
        "rise_transition,delay_template13x7": {
          "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.00636,
            0.01272,
            0.02543,
            0.05086,
            0.10172,
            0.20344
          ],
          "values": [
            [
              0.0285,
              0.07424,
              0.11785,
              0.20695,
              0.38931,
              0.75837,
              1.49617
            ],
            [
              0.02848,
              0.0742,
              0.11788,
              0.2072,
              0.38964,
              0.76018,
              1.49601
            ],
            [
              0.0285,
              0.07425,
              0.11778,
              0.20714,
              0.38969,
              0.75828,
              1.49876
            ],
            [
              0.02844,
              0.07423,
              0.11804,
              0.20718,
              0.38971,
              0.75791,
              1.49764
            ],
            [
              0.02847,
              0.07426,
              0.11797,
              0.20697,
              0.38939,
              0.75826,
              1.4949
            ],
            [
              0.02847,
              0.0743,
              0.11783,
              0.20718,
              0.38957,
              0.75823,
              1.49568
            ],
            [
              0.02848,
              0.07431,
              0.1182,
              0.20694,
              0.38971,
              0.75801,
              1.49622
            ],
            [
              0.02933,
              0.07464,
              0.1183,
              0.20729,
              0.38946,
              0.75881,
              1.49964
            ],
            [
              0.03168,
              0.07671,
              0.1195,
              0.20774,
              0.38966,
              0.75829,
              1.49467
            ],
            [
              0.0351,
              0.0798,
              0.12218,
              0.20932,
              0.39028,
              0.75972,
              1.4967
            ],
            [
              0.04031,
              0.08418,
              0.12555,
              0.21196,
              0.39132,
              0.7579,
              1.498
            ],
            [
              0.0474,
              0.0907,
              0.1305,
              0.2148,
              0.3937,
              0.7607,
              1.4971
            ],
            [
              0.0566,
              0.1009,
              0.1389,
              0.2205,
              0.3957,
              0.7613,
              1.4972
            ]
          ]
        },
        "sdf_cond": "(!A1&A2&A3&B2)",
        "timing_sense": "positive_unate",
        "when": "(!A1&A2&A3&B2)"
      },
      {
        "cell_fall,delay_template13x7": {
          "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.00636,
            0.01272,
            0.02543,
            0.05086,
            0.10172,
            0.20344
          ],
          "values": [
            [
              0.24942,
              0.29058,
              0.31689,
              0.35749,
              0.42217,
              0.53208,
              0.73457
            ],
            [
              0.25183,
              0.29306,
              0.31933,
              0.35995,
              0.42464,
              0.53461,
              0.73715
            ],
            [
              0.2548,
              0.29604,
              0.32233,
              0.36294,
              0.42765,
              0.53766,
              0.74012
            ],
            [
              0.25933,
              0.30055,
              0.32688,
              0.3675,
              0.43221,
              0.54214,
              0.7447
            ],
            [
              0.2665,
              0.30773,
              0.33403,
              0.37467,
              0.43937,
              0.54937,
              0.75176
            ],
            [
              0.27766,
              0.31885,
              0.34513,
              0.38577,
              0.4505,
              0.56043,
              0.76298
            ],
            [
              0.29513,
              0.33625,
              0.36256,
              0.4032,
              0.46793,
              0.5779,
              0.78048
            ],
            [
              0.3226,
              0.3637,
              0.38997,
              0.43058,
              0.49532,
              0.60533,
              0.80791
            ],
            [
              0.36474,
              0.4058,
              0.43204,
              0.47263,
              0.53738,
              0.64744,
              0.84985
            ],
            [
              0.42957,
              0.4704,
              0.49657,
              0.53714,
              0.60193,
              0.71209,
              0.91469
            ],
            [
              0.52322,
              0.56562,
              0.59222,
              0.63302,
              0.69802,
              0.80832,
              1.01072
            ],
            [
              0.63987,
              0.68727,
              0.71587,
              0.75897,
              0.82637,
              0.93817,
              1.14147
            ],
            [
              0.782,
              0.8364,
              0.8682,
              0.9145,
              0.985,
              1.1,
              1.3058
            ]
          ]
        },
        "cell_rise,delay_template13x7": {
          "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.00636,
            0.01272,
            0.02543,
            0.05086,
            0.10172,
            0.20344
          ],
          "values": [
            [
              0.12231,
              0.17348,
              0.21081,
              0.27754,
              0.40464,
              0.65581,
              1.15817
            ],
            [
              0.12491,
              0.17608,
              0.21341,
              0.28014,
              0.40732,
              0.65844,
              1.16074
            ],
            [
              0.12817,
              0.17934,
              0.2167,
              0.28344,
              0.41054,
              0.66164,
              1.16392
            ],
            [
              0.13295,
              0.1841,
              0.22142,
              0.28819,
              0.41532,
              0.66641,
              1.16868
            ],
            [
              0.14024,
              0.19138,
              0.22874,
              0.29541,
              0.4226,
              0.67366,
              1.17601
            ],
            [
              0.15121,
              0.20228,
              0.23953,
              0.30624,
              0.43351,
              0.68454,
              1.18712
            ],
            [
              0.16768,
              0.21857,
              0.25568,
              0.32241,
              0.44976,
              0.70113,
              1.20233
            ],
            [
              0.19154,
              0.24237,
              0.27949,
              0.34619,
              0.47352,
              0.72475,
              1.22756
            ],
            [
              0.22195,
              0.27459,
              0.31206,
              0.37877,
              0.50596,
              0.75755,
              1.26015
            ],
            [
              0.2582,
              0.31384,
              0.35234,
              0.41978,
              0.5475,
              0.79889,
              1.30179
            ],
            [
              0.30026,
              0.36039,
              0.40017,
              0.46872,
              0.59692,
              0.84902,
              1.35142
            ],
            [
              0.34757,
              0.41457,
              0.45627,
              0.52607,
              0.65487,
              0.90727,
              1.40847
            ],
            [
              0.3988,
              0.4752,
              0.5199,
              0.592,
              0.7215,
              0.9743,
              1.4761
            ]
          ]
        },
        "fall_transition,delay_template13x7": {
          "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.00636,
            0.01272,
            0.02543,
            0.05086,
            0.10172,
            0.20344
          ],
          "values": [
            [
              0.03455,
              0.06091,
              0.08057,
              0.11499,
              0.17844,
              0.30393,
              0.56127
            ],
            [
              0.03456,
              0.06082,
              0.08047,
              0.11499,
              0.17859,
              0.30359,
              0.56167
            ],
            [
              0.03455,
              0.06082,
              0.08046,
              0.11487,
              0.17846,
              0.30372,
              0.5619
            ],
            [
              0.03456,
              0.06091,
              0.08055,
              0.11493,
              0.17883,
              0.30385,
              0.56134
            ],
            [
              0.03456,
              0.06084,
              0.08043,
              0.11499,
              0.1786,
              0.30365,
              0.56182
            ],
            [
              0.03455,
              0.06088,
              0.08055,
              0.11501,
              0.17873,
              0.30389,
              0.56104
            ],
            [
              0.03455,
              0.06086,
              0.08048,
              0.11513,
              0.17855,
              0.30364,
              0.56132
            ],
            [
              0.03455,
              0.06091,
              0.08058,
              0.11503,
              0.17842,
              0.30355,
              0.56152
            ],
            [
              0.03455,
              0.0609,
              0.08059,
              0.11506,
              0.17847,
              0.30391,
              0.56184
            ],
            [
              0.03455,
              0.06106,
              0.0806,
              0.11502,
              0.17869,
              0.30392,
              0.5618
            ],
            [
              0.0387,
              0.0638,
              0.0828,
              0.1165,
              0.1796,
              0.3041,
              0.5619
            ],
            [
              0.0471,
              0.0727,
              0.0911,
              0.1242,
              0.186,
              0.3083,
              0.5629
            ],
            [
              0.0582,
              0.0855,
              0.1038,
              0.1355,
              0.1963,
              0.317,
              0.5688
            ]
          ]
        },
        "related_pin": "B1",
        "rise_transition,delay_template13x7": {
          "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.00636,
            0.01272,
            0.02543,
            0.05086,
            0.10172,
            0.20344
          ],
          "values": [
            [
              0.03269,
              0.07779,
              0.12101,
              0.20863,
              0.3893,
              0.75851,
              1.49473
            ],
            [
              0.0327,
              0.07782,
              0.12066,
              0.2083,
              0.38936,
              0.75758,
              1.49156
            ],
            [
              0.03267,
              0.07771,
              0.12061,
              0.2083,
              0.38915,
              0.75549,
              1.49265
            ],
            [
              0.03266,
              0.0779,
              0.12067,
              0.20855,
              0.38924,
              0.75556,
              1.49263
            ],
            [
              0.03272,
              0.07783,
              0.12071,
              0.20831,
              0.38906,
              0.75614,
              1.49137
            ],
            [
              0.03275,
              0.07775,
              0.12095,
              0.2083,
              0.3894,
              0.75604,
              1.49435
            ],
            [
              0.03272,
              0.07796,
              0.12073,
              0.20846,
              0.38917,
              0.75779,
              1.49251
            ],
            [
              0.03352,
              0.07829,
              0.12118,
              0.20872,
              0.38908,
              0.7559,
              1.49502
            ],
            [
              0.03678,
              0.08031,
              0.12244,
              0.20929,
              0.38996,
              0.75559,
              1.49075
            ],
            [
              0.04157,
              0.08432,
              0.12561,
              0.21133,
              0.39026,
              0.75574,
              1.4944
            ],
            [
              0.04848,
              0.08964,
              0.12989,
              0.21444,
              0.39244,
              0.7564,
              1.4932
            ],
            [
              0.0576,
              0.0978,
              0.1365,
              0.2182,
              0.3945,
              0.757,
              1.4936
            ],
            [
              0.0687,
              0.1098,
              0.1464,
              0.2256,
              0.3972,
              0.7598,
              1.4947
            ]
          ]
        },
        "sdf_cond": "(A1&!A2&!A3&B2)",
        "timing_sense": "positive_unate",
        "when": "(A1&!A2&!A3&B2)"
      },
      {
        "cell_fall,delay_template13x7": {
          "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.00636,
            0.01272,
            0.02543,
            0.05086,
            0.10172,
            0.20344
          ],
          "values": [
            [
              0.3253,
              0.37386,
              0.40443,
              0.45086,
              0.5232,
              0.64154,
              0.85053
            ],
            [
              0.32741,
              0.37601,
              0.40657,
              0.45306,
              0.52539,
              0.64372,
              0.85272
            ],
            [
              0.3299,
              0.3785,
              0.40909,
              0.45558,
              0.52793,
              0.64628,
              0.85527
            ],
            [
              0.33377,
              0.38237,
              0.41296,
              0.45947,
              0.53182,
              0.65014,
              0.8593
            ],
            [
              0.33999,
              0.38857,
              0.41917,
              0.46568,
              0.53805,
              0.65638,
              0.86545
            ],
            [
              0.3499,
              0.39842,
              0.429,
              0.47558,
              0.54789,
              0.66621,
              0.87529
            ],
            [
              0.36567,
              0.41417,
              0.44474,
              0.49122,
              0.5636,
              0.68193,
              0.89113
            ],
            [
              0.39076,
              0.43924,
              0.46978,
              0.51625,
              0.5886,
              0.70681,
              0.91576
            ],
            [
              0.42984,
              0.47825,
              0.50882,
              0.55531,
              0.62766,
              0.74604,
              0.95525
            ],
            [
              0.49041,
              0.53876,
              0.56921,
              0.61569,
              0.68809,
              0.80649,
              1.01559
            ],
            [
              0.58322,
              0.63122,
              0.66162,
              0.70802,
              0.78042,
              0.89892,
              1.10812
            ],
            [
              0.70857,
              0.76047,
              0.79207,
              0.83977,
              0.91317,
              1.03227,
              1.24167
            ],
            [
              0.8619,
              0.9204,
              0.9547,
              1.005,
              1.0813,
              1.2036,
              1.4156
            ]
          ]
        },
        "cell_rise,delay_template13x7": {
          "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.00636,
            0.01272,
            0.02543,
            0.05086,
            0.10172,
            0.20344
          ],
          "values": [
            [
              0.12225,
              0.17346,
              0.21089,
              0.27775,
              0.40522,
              0.65699,
              1.16037
            ],
            [
              0.12495,
              0.17615,
              0.21366,
              0.2805,
              0.40798,
              0.65955,
              1.16354
            ],
            [
              0.12822,
              0.17941,
              0.21679,
              0.28371,
              0.41131,
              0.66335,
              1.16592
            ],
            [
              0.13309,
              0.18429,
              0.22179,
              0.28861,
              0.41602,
              0.66792,
              1.17158
            ],
            [
              0.14042,
              0.19161,
              0.22895,
              0.29587,
              0.42349,
              0.67509,
              1.17901
            ],
            [
              0.1515,
              0.20262,
              0.2399,
              0.3068,
              0.43448,
              0.68609,
              1.18972
            ],
            [
              0.16808,
              0.21902,
              0.25631,
              0.32308,
              0.4508,
              0.70269,
              1.20653
            ],
            [
              0.19208,
              0.24292,
              0.28011,
              0.347,
              0.47474,
              0.72688,
              1.23046
            ],
            [
              0.22259,
              0.27519,
              0.31271,
              0.37959,
              0.50725,
              0.75985,
              1.26355
            ],
            [
              0.25883,
              0.31446,
              0.35296,
              0.42062,
              0.54867,
              0.80079,
              1.30439
            ],
            [
              0.30079,
              0.36091,
              0.40066,
              0.46932,
              0.59792,
              0.85082,
              1.35342
            ],
            [
              0.34777,
              0.41477,
              0.45647,
              0.52637,
              0.65557,
              0.90867,
              1.41117
            ],
            [
              0.3984,
              0.4747,
              0.5196,
              0.5918,
              0.7215,
              0.975,
              1.4784
            ]
          ]
        },
        "fall_transition,delay_template13x7": {
          "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.00636,
            0.01272,
            0.02543,
            0.05086,
            0.10172,
            0.20344
          ],
          "values": [
            [
              0.04443,
              0.07402,
              0.0954,
              0.13227,
              0.1983,
              0.32337,
              0.57645
            ],
            [
              0.04445,
              0.07399,
              0.09542,
              0.13224,
              0.19824,
              0.32318,
              0.57626
            ],
            [
              0.04444,
              0.07413,
              0.09536,
              0.13224,
              0.19827,
              0.32336,
              0.57644
            ],
            [
              0.04443,
              0.07401,
              0.09552,
              0.13226,
              0.19823,
              0.32327,
              0.57566
            ],
            [
              0.04445,
              0.07398,
              0.09543,
              0.13224,
              0.19821,
              0.32305,
              0.57607
            ],
            [
              0.04442,
              0.07399,
              0.09555,
              0.13245,
              0.19823,
              0.32307,
              0.57606
            ],
            [
              0.04444,
              0.07405,
              0.09536,
              0.1325,
              0.19806,
              0.32333,
              0.57622
            ],
            [
              0.04441,
              0.07403,
              0.09536,
              0.13224,
              0.19822,
              0.32322,
              0.5763
            ],
            [
              0.04444,
              0.07403,
              0.09539,
              0.13224,
              0.19822,
              0.32338,
              0.5765
            ],
            [
              0.04439,
              0.074,
              0.0955,
              0.13259,
              0.19812,
              0.3234,
              0.5765
            ],
            [
              0.0447,
              0.0743,
              0.0957,
              0.1325,
              0.1984,
              0.3234,
              0.5765
            ],
            [
              0.0531,
              0.0812,
              0.1018,
              0.1374,
              0.2019,
              0.3254,
              0.5772
            ],
            [
              0.0647,
              0.0939,
              0.1135,
              0.1479,
              0.2116,
              0.3338,
              0.5827
            ]
          ]
        },
        "related_pin": "B1",
        "rise_transition,delay_template13x7": {
          "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.00636,
            0.01272,
            0.02543,
            0.05086,
            0.10172,
            0.20344
          ],
          "values": [
            [
              0.03258,
              0.07788,
              0.12087,
              0.20894,
              0.38989,
              0.75812,
              1.49575
            ],
            [
              0.0326,
              0.07782,
              0.12088,
              0.20897,
              0.39144,
              0.75783,
              1.4995
            ],
            [
              0.03259,
              0.07791,
              0.12079,
              0.20877,
              0.39094,
              0.75727,
              1.49405
            ],
            [
              0.03261,
              0.07791,
              0.12082,
              0.20889,
              0.39024,
              0.7581,
              1.4982
            ],
            [
              0.03267,
              0.07785,
              0.1208,
              0.20881,
              0.39115,
              0.75788,
              1.49778
            ],
            [
              0.03267,
              0.07795,
              0.12084,
              0.20883,
              0.39076,
              0.75786,
              1.49577
            ],
            [
              0.03265,
              0.07809,
              0.12092,
              0.20889,
              0.39124,
              0.75803,
              1.49733
            ],
            [
              0.03337,
              0.07835,
              0.12121,
              0.20915,
              0.39102,
              0.76019,
              1.49582
            ],
            [
              0.03659,
              0.08041,
              0.12248,
              0.20943,
              0.39023,
              0.75741,
              1.49648
            ],
            [
              0.04128,
              0.08436,
              0.1257,
              0.21173,
              0.39108,
              0.75741,
              1.4954
            ],
            [
              0.04811,
              0.08949,
              0.12984,
              0.21478,
              0.393,
              0.7587,
              1.4955
            ],
            [
              0.0571,
              0.0978,
              0.1364,
              0.2187,
              0.3954,
              0.7586,
              1.4972
            ],
            [
              0.0684,
              0.1098,
              0.1467,
              0.226,
              0.3989,
              0.7616,
              1.4994
            ]
          ]
        },
        "sdf_cond": "(A1&!A2&A3&B2)",
        "timing_sense": "positive_unate",
        "when": "(A1&!A2&A3&B2)"
      },
      {
        "cell_fall,delay_template13x7": {
          "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.00636,
            0.01272,
            0.02543,
            0.05086,
            0.10172,
            0.20344
          ],
          "values": [
            [
              0.3558,
              0.40517,
              0.43594,
              0.48281,
              0.55563,
              0.67455,
              0.88445
            ],
            [
              0.35804,
              0.40744,
              0.43823,
              0.48514,
              0.55791,
              0.67685,
              0.88663
            ],
            [
              0.36064,
              0.41002,
              0.44084,
              0.48774,
              0.56058,
              0.67952,
              0.88941
            ],
            [
              0.36468,
              0.41407,
              0.44486,
              0.49179,
              0.56463,
              0.68356,
              0.89346
            ],
            [
              0.37107,
              0.42045,
              0.45124,
              0.49818,
              0.57102,
              0.68996,
              0.89987
            ],
            [
              0.38109,
              0.43045,
              0.46125,
              0.50819,
              0.58105,
              0.70001,
              0.90989
            ],
            [
              0.39691,
              0.44623,
              0.47709,
              0.52396,
              0.59682,
              0.71578,
              0.92553
            ],
            [
              0.42203,
              0.47132,
              0.50192,
              0.54884,
              0.62171,
              0.74067,
              0.95056
            ],
            [
              0.46106,
              0.51035,
              0.54117,
              0.58799,
              0.66083,
              0.77985,
              0.98975
            ],
            [
              0.52124,
              0.57046,
              0.60123,
              0.64809,
              0.72089,
              0.83989,
              1.04969
            ],
            [
              0.61392,
              0.66292,
              0.69362,
              0.74042,
              0.81332,
              0.93232,
              1.14232
            ],
            [
              0.74627,
              0.79787,
              0.82927,
              0.87667,
              0.94997,
              1.06917,
              1.27917
            ],
            [
              0.9089,
              0.9668,
              1.0007,
              1.0506,
              1.1266,
              1.249,
              1.4608
            ]
          ]
        },
        "cell_rise,delay_template13x7": {
          "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.00636,
            0.01272,
            0.02543,
            0.05086,
            0.10172,
            0.20344
          ],
          "values": [
            [
              0.12347,
              0.18111,
              0.22043,
              0.28876,
              0.41686,
              0.66882,
              1.17187
            ],
            [
              0.12618,
              0.1838,
              0.22313,
              0.29153,
              0.41962,
              0.67183,
              1.17424
            ],
            [
              0.12946,
              0.18707,
              0.22643,
              0.29482,
              0.4228,
              0.67483,
              1.17742
            ],
            [
              0.13434,
              0.19195,
              0.23128,
              0.29962,
              0.42779,
              0.67992,
              1.18238
            ],
            [
              0.14168,
              0.19928,
              0.23861,
              0.30698,
              0.4351,
              0.68728,
              1.18991
            ],
            [
              0.15276,
              0.21028,
              0.24955,
              0.31785,
              0.44606,
              0.69819,
              1.20112
            ],
            [
              0.16933,
              0.22666,
              0.26585,
              0.33417,
              0.46243,
              0.71483,
              1.21723
            ],
            [
              0.19324,
              0.25053,
              0.2897,
              0.358,
              0.48635,
              0.73877,
              1.24166
            ],
            [
              0.22381,
              0.28313,
              0.3225,
              0.39094,
              0.51939,
              0.77165,
              1.27435
            ],
            [
              0.26012,
              0.32362,
              0.36428,
              0.43346,
              0.56213,
              0.81469,
              1.31779
            ],
            [
              0.30208,
              0.3718,
              0.41411,
              0.48472,
              0.61422,
              0.86652,
              1.36932
            ],
            [
              0.34927,
              0.42797,
              0.47287,
              0.54527,
              0.67547,
              0.92867,
              1.43147
            ],
            [
              0.4002,
              0.4908,
              0.5398,
              0.6151,
              0.7466,
              0.9999,
              1.5036
            ]
          ]
        },
        "fall_transition,delay_template13x7": {
          "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.00636,
            0.01272,
            0.02543,
            0.05086,
            0.10172,
            0.20344
          ],
          "values": [
            [
              0.04641,
              0.076,
              0.09741,
              0.13425,
              0.20006,
              0.32529,
              0.57827
            ],
            [
              0.04643,
              0.07606,
              0.09755,
              0.13426,
              0.20034,
              0.32535,
              0.57834
            ],
            [
              0.0464,
              0.07603,
              0.09738,
              0.13444,
              0.20042,
              0.32531,
              0.57825
            ],
            [
              0.0464,
              0.07599,
              0.09739,
              0.13445,
              0.20002,
              0.32529,
              0.57825
            ],
            [
              0.04639,
              0.07594,
              0.09758,
              0.13427,
              0.20014,
              0.32523,
              0.5781
            ],
            [
              0.0464,
              0.07606,
              0.09739,
              0.13445,
              0.20042,
              0.32533,
              0.57825
            ],
            [
              0.04642,
              0.07599,
              0.0974,
              0.13446,
              0.20026,
              0.32498,
              0.57818
            ],
            [
              0.04639,
              0.07591,
              0.09738,
              0.13421,
              0.20012,
              0.32516,
              0.57801
            ],
            [
              0.04638,
              0.07593,
              0.09738,
              0.13422,
              0.20021,
              0.32521,
              0.57742
            ],
            [
              0.04641,
              0.07595,
              0.09735,
              0.13418,
              0.20013,
              0.3251,
              0.5783
            ],
            [
              0.0461,
              0.076,
              0.0974,
              0.1345,
              0.2002,
              0.3251,
              0.5783
            ],
            [
              0.0527,
              0.0808,
              0.1014,
              0.1373,
              0.2021,
              0.3263,
              0.5786
            ],
            [
              0.0642,
              0.0929,
              0.1124,
              0.1472,
              0.2114,
              0.3338,
              0.5822
            ]
          ]
        },
        "related_pin": "B1",
        "rise_transition,delay_template13x7": {
          "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.00636,
            0.01272,
            0.02543,
            0.05086,
            0.10172,
            0.20344
          ],
          "values": [
            [
              0.03632,
              0.0835,
              0.12545,
              0.21189,
              0.39185,
              0.75832,
              1.49592
            ],
            [
              0.03628,
              0.08349,
              0.12559,
              0.21189,
              0.39188,
              0.75813,
              1.49467
            ],
            [
              0.03631,
              0.08351,
              0.12552,
              0.21198,
              0.39129,
              0.75792,
              1.50036
            ],
            [
              0.03631,
              0.08347,
              0.12543,
              0.21196,
              0.39192,
              0.75888,
              1.50034
            ],
            [
              0.03629,
              0.08352,
              0.12555,
              0.21199,
              0.39186,
              0.75857,
              1.49517
            ],
            [
              0.03639,
              0.08352,
              0.1255,
              0.21197,
              0.39186,
              0.75835,
              1.49544
            ],
            [
              0.03631,
              0.08378,
              0.12574,
              0.21201,
              0.39182,
              0.75821,
              1.49431
            ],
            [
              0.03702,
              0.0843,
              0.12606,
              0.21218,
              0.39194,
              0.75909,
              1.49495
            ],
            [
              0.04058,
              0.08632,
              0.12731,
              0.2125,
              0.39166,
              0.75766,
              1.49885
            ],
            [
              0.0458,
              0.09107,
              0.13089,
              0.21491,
              0.39208,
              0.75853,
              1.4949
            ],
            [
              0.05339,
              0.09824,
              0.13658,
              0.21893,
              0.3953,
              0.759,
              1.4954
            ],
            [
              0.0632,
              0.1088,
              0.1449,
              0.2242,
              0.3977,
              0.7599,
              1.4969
            ],
            [
              0.0757,
              0.1242,
              0.1573,
              0.2327,
              0.4022,
              0.7618,
              1.4952
            ]
          ]
        },
        "sdf_cond": "(A1&A2&!A3&B2)",
        "timing_sense": "positive_unate",
        "when": "(A1&A2&!A3&B2)"
      },
      {
        "cell_fall,delay_template13x7": {
          "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.00636,
            0.01272,
            0.02543,
            0.05086,
            0.10172,
            0.20344
          ],
          "values": [
            [
              0.20464,
              0.2421,
              0.26639,
              0.30423,
              0.36561,
              0.4723,
              0.67278
            ],
            [
              0.20697,
              0.24447,
              0.26877,
              0.30662,
              0.36798,
              0.47473,
              0.6752
            ],
            [
              0.21007,
              0.24758,
              0.27186,
              0.30973,
              0.3711,
              0.47787,
              0.67836
            ],
            [
              0.21493,
              0.25242,
              0.27671,
              0.3146,
              0.37596,
              0.48269,
              0.68302
            ],
            [
              0.22252,
              0.25999,
              0.28429,
              0.32216,
              0.38356,
              0.49028,
              0.69077
            ],
            [
              0.23422,
              0.27169,
              0.29598,
              0.33386,
              0.39524,
              0.50203,
              0.70246
            ],
            [
              0.25212,
              0.28981,
              0.31409,
              0.35167,
              0.41308,
              0.5198,
              0.72018
            ],
            [
              0.2801,
              0.31748,
              0.34172,
              0.37958,
              0.44101,
              0.54774,
              0.74811
            ],
            [
              0.32233,
              0.35964,
              0.38384,
              0.4217,
              0.48316,
              0.59001,
              0.79055
            ],
            [
              0.38582,
              0.4231,
              0.4473,
              0.48522,
              0.5468,
              0.65379,
              0.85419
            ],
            [
              0.46842,
              0.50882,
              0.53422,
              0.57332,
              0.63572,
              0.74312,
              0.94372
            ],
            [
              0.56777,
              0.61327,
              0.64067,
              0.68207,
              0.74707,
              0.85667,
              1.05847
            ],
            [
              0.6864,
              0.7387,
              0.7693,
              0.8139,
              0.8821,
              0.9943,
              1.1983
            ]
          ]
        },
        "cell_rise,delay_template13x7": {
          "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.00636,
            0.01272,
            0.02543,
            0.05086,
            0.10172,
            0.20344
          ],
          "values": [
            [
              0.12125,
              0.16851,
              0.2045,
              0.27009,
              0.39694,
              0.64816,
              1.14987
            ],
            [
              0.12427,
              0.17158,
              0.20754,
              0.27323,
              0.39971,
              0.65098,
              1.15274
            ],
            [
              0.12765,
              0.17491,
              0.21092,
              0.27659,
              0.40328,
              0.65415,
              1.15612
            ],
            [
              0.13232,
              0.17958,
              0.21557,
              0.28125,
              0.40797,
              0.65872,
              1.16078
            ],
            [
              0.139,
              0.18623,
              0.2222,
              0.28789,
              0.41465,
              0.66566,
              1.16751
            ],
            [
              0.14874,
              0.19596,
              0.23187,
              0.29756,
              0.42424,
              0.67552,
              1.17682
            ],
            [
              0.16314,
              0.21024,
              0.24611,
              0.31176,
              0.43851,
              0.68977,
              1.19183
            ],
            [
              0.18399,
              0.23113,
              0.26696,
              0.33252,
              0.45953,
              0.71091,
              1.21136
            ],
            [
              0.21106,
              0.25976,
              0.29588,
              0.36165,
              0.48849,
              0.73982,
              1.24205
            ],
            [
              0.24479,
              0.29586,
              0.33283,
              0.3991,
              0.52616,
              0.77789,
              1.27939
            ],
            [
              0.28596,
              0.34022,
              0.37825,
              0.44542,
              0.57272,
              0.82432,
              1.32582
            ],
            [
              0.33477,
              0.39357,
              0.43317,
              0.50147,
              0.62947,
              0.88097,
              1.38217
            ],
            [
              0.3907,
              0.4559,
              0.4978,
              0.568,
              0.6966,
              0.949,
              1.4493
            ]
          ]
        },
        "fall_transition,delay_template13x7": {
          "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.00636,
            0.01272,
            0.02543,
            0.05086,
            0.10172,
            0.20344
          ],
          "values": [
            [
              0.02951,
              0.0544,
              0.07342,
              0.10703,
              0.17025,
              0.29633,
              0.55629
            ],
            [
              0.02952,
              0.05442,
              0.07345,
              0.10707,
              0.17018,
              0.2962,
              0.55651
            ],
            [
              0.02953,
              0.05445,
              0.07329,
              0.107,
              0.1702,
              0.29621,
              0.55714
            ],
            [
              0.02953,
              0.0544,
              0.0733,
              0.10693,
              0.17028,
              0.29635,
              0.55629
            ],
            [
              0.02951,
              0.05445,
              0.07344,
              0.10707,
              0.17013,
              0.29626,
              0.55653
            ],
            [
              0.02953,
              0.05451,
              0.0733,
              0.107,
              0.17026,
              0.29621,
              0.55707
            ],
            [
              0.02951,
              0.05446,
              0.07346,
              0.10714,
              0.17028,
              0.29638,
              0.55629
            ],
            [
              0.02951,
              0.05445,
              0.07348,
              0.10694,
              0.1703,
              0.29638,
              0.55636
            ],
            [
              0.02952,
              0.0545,
              0.0734,
              0.10709,
              0.1701,
              0.29607,
              0.55672
            ],
            [
              0.0304,
              0.0551,
              0.07387,
              0.10748,
              0.17054,
              0.29615,
              0.55681
            ],
            [
              0.0363,
              0.0603,
              0.0785,
              0.1111,
              0.173,
              0.2972,
              0.5566
            ],
            [
              0.0444,
              0.0691,
              0.0869,
              0.1192,
              0.1801,
              0.3025,
              0.5598
            ],
            [
              0.055,
              0.0814,
              0.099,
              0.1303,
              0.1896,
              0.3107,
              0.5643
            ]
          ]
        },
        "related_pin": "B2",
        "rise_transition,delay_template13x7": {
          "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.00636,
            0.01272,
            0.02543,
            0.05086,
            0.10172,
            0.20344
          ],
          "values": [
            [
              0.02845,
              0.07406,
              0.11742,
              0.2064,
              0.3884,
              0.75681,
              1.49161
            ],
            [
              0.02843,
              0.0741,
              0.11758,
              0.20664,
              0.38814,
              0.75513,
              1.49136
            ],
            [
              0.02844,
              0.07408,
              0.11757,
              0.20653,
              0.38852,
              0.75505,
              1.49339
            ],
            [
              0.02844,
              0.07407,
              0.11775,
              0.20656,
              0.38852,
              0.7554,
              1.49142
            ],
            [
              0.0284,
              0.07409,
              0.11775,
              0.20658,
              0.38854,
              0.75528,
              1.49237
            ],
            [
              0.02845,
              0.07409,
              0.11761,
              0.20664,
              0.38837,
              0.75591,
              1.4917
            ],
            [
              0.02845,
              0.07412,
              0.11762,
              0.20656,
              0.38841,
              0.75531,
              1.49178
            ],
            [
              0.02912,
              0.07443,
              0.11809,
              0.20645,
              0.38856,
              0.75507,
              1.49445
            ],
            [
              0.03118,
              0.07608,
              0.11892,
              0.20706,
              0.38856,
              0.75505,
              1.49173
            ],
            [
              0.03388,
              0.07899,
              0.12138,
              0.20852,
              0.38922,
              0.75577,
              1.4905
            ],
            [
              0.03762,
              0.08307,
              0.12477,
              0.21072,
              0.39016,
              0.7551,
              1.4896
            ],
            [
              0.043,
              0.0887,
              0.1296,
              0.2143,
              0.3917,
              0.7561,
              1.4913
            ],
            [
              0.0504,
              0.0968,
              0.1366,
              0.2194,
              0.3947,
              0.7575,
              1.4915
            ]
          ]
        },
        "sdf_cond": "(!A1&!A2&!A3&B1)",
        "timing_sense": "positive_unate",
        "when": "(!A1&!A2&!A3&B1)"
      },
      {
        "cell_fall,delay_template13x7": {
          "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.00636,
            0.01272,
            0.02543,
            0.05086,
            0.10172,
            0.20344
          ],
          "values": [
            [
              0.23273,
              0.27327,
              0.29931,
              0.33964,
              0.40405,
              0.51372,
              0.71616
            ],
            [
              0.23489,
              0.27544,
              0.30149,
              0.34183,
              0.40622,
              0.51599,
              0.71816
            ],
            [
              0.23777,
              0.27833,
              0.30439,
              0.34474,
              0.40913,
              0.5189,
              0.72125
            ],
            [
              0.24235,
              0.28292,
              0.30897,
              0.34932,
              0.41373,
              0.52348,
              0.72561
            ],
            [
              0.24955,
              0.29011,
              0.31616,
              0.35651,
              0.42092,
              0.5307,
              0.73294
            ],
            [
              0.26074,
              0.30128,
              0.32733,
              0.36768,
              0.4321,
              0.54185,
              0.744
            ],
            [
              0.27817,
              0.31866,
              0.34473,
              0.38507,
              0.44948,
              0.55925,
              0.76167
            ],
            [
              0.30486,
              0.34532,
              0.37136,
              0.41169,
              0.47612,
              0.58583,
              0.78833
            ],
            [
              0.34566,
              0.38608,
              0.41207,
              0.45238,
              0.51684,
              0.62668,
              0.82905
            ],
            [
              0.40764,
              0.44788,
              0.47385,
              0.51417,
              0.5787,
              0.68859,
              0.89109
            ],
            [
              0.49312,
              0.53552,
              0.56222,
              0.60322,
              0.66822,
              0.77842,
              0.98082
            ],
            [
              0.59617,
              0.64337,
              0.67197,
              0.71507,
              0.78247,
              0.89477,
              1.09837
            ],
            [
              0.7193,
              0.7733,
              0.8049,
              0.8511,
              0.9214,
              1.0363,
              1.2424
            ]
          ]
        },
        "cell_rise,delay_template13x7": {
          "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.00636,
            0.01272,
            0.02543,
            0.05086,
            0.10172,
            0.20344
          ],
          "values": [
            [
              0.12135,
              0.16872,
              0.20482,
              0.27059,
              0.39788,
              0.64996,
              1.15327
            ],
            [
              0.12435,
              0.17172,
              0.20784,
              0.27364,
              0.40089,
              0.65284,
              1.15614
            ],
            [
              0.12783,
              0.17519,
              0.2113,
              0.27719,
              0.40437,
              0.65631,
              1.15962
            ],
            [
              0.13254,
              0.17991,
              0.21596,
              0.28191,
              0.40903,
              0.66078,
              1.16438
            ],
            [
              0.13927,
              0.18661,
              0.22269,
              0.28853,
              0.41585,
              0.66792,
              1.17121
            ],
            [
              0.14905,
              0.19635,
              0.23235,
              0.29828,
              0.42549,
              0.67759,
              1.18062
            ],
            [
              0.16347,
              0.21066,
              0.24667,
              0.31254,
              0.43989,
              0.69214,
              1.19473
            ],
            [
              0.18435,
              0.23157,
              0.26751,
              0.33333,
              0.46066,
              0.71298,
              1.21576
            ],
            [
              0.21144,
              0.26024,
              0.29646,
              0.36243,
              0.4897,
              0.74194,
              1.24595
            ],
            [
              0.24517,
              0.29632,
              0.3334,
              0.39983,
              0.52735,
              0.77999,
              1.28319
            ],
            [
              0.2863,
              0.34064,
              0.3788,
              0.44612,
              0.57392,
              0.82642,
              1.33022
            ],
            [
              0.33507,
              0.39387,
              0.43357,
              0.50217,
              0.63057,
              0.88287,
              1.38567
            ],
            [
              0.3908,
              0.4562,
              0.4982,
              0.5685,
              0.6975,
              0.9508,
              1.453
            ]
          ]
        },
        "fall_transition,delay_template13x7": {
          "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.00636,
            0.01272,
            0.02543,
            0.05086,
            0.10172,
            0.20344
          ],
          "values": [
            [
              0.03324,
              0.0595,
              0.07927,
              0.11363,
              0.17765,
              0.30299,
              0.56057
            ],
            [
              0.03324,
              0.0595,
              0.07924,
              0.11376,
              0.17766,
              0.30277,
              0.56116
            ],
            [
              0.03326,
              0.05954,
              0.07919,
              0.11372,
              0.17767,
              0.30277,
              0.5613
            ],
            [
              0.03326,
              0.05956,
              0.07927,
              0.11366,
              0.17764,
              0.30302,
              0.56112
            ],
            [
              0.03327,
              0.05951,
              0.07926,
              0.1137,
              0.17765,
              0.30291,
              0.56126
            ],
            [
              0.03325,
              0.05959,
              0.07921,
              0.11378,
              0.17729,
              0.30304,
              0.56099
            ],
            [
              0.03326,
              0.05954,
              0.07921,
              0.11374,
              0.17761,
              0.30275,
              0.56104
            ],
            [
              0.03326,
              0.05955,
              0.07923,
              0.11379,
              0.17746,
              0.303,
              0.5609
            ],
            [
              0.03324,
              0.05957,
              0.07937,
              0.11391,
              0.17768,
              0.30298,
              0.56126
            ],
            [
              0.03336,
              0.05982,
              0.07959,
              0.1141,
              0.17775,
              0.30266,
              0.5613
            ],
            [
              0.0384,
              0.0639,
              0.0828,
              0.1165,
              0.1791,
              0.3035,
              0.5615
            ],
            [
              0.0467,
              0.0723,
              0.0908,
              0.124,
              0.186,
              0.3085,
              0.5635
            ],
            [
              0.0575,
              0.0847,
              0.1029,
              0.1349,
              0.1955,
              0.3168,
              0.5689
            ]
          ]
        },
        "related_pin": "B2",
        "rise_transition,delay_template13x7": {
          "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.00636,
            0.01272,
            0.02543,
            0.05086,
            0.10172,
            0.20344
          ],
          "values": [
            [
              0.02849,
              0.07424,
              0.11809,
              0.207,
              0.38972,
              0.75838,
              1.49754
            ],
            [
              0.02848,
              0.07424,
              0.11806,
              0.20709,
              0.38968,
              0.75807,
              1.49648
            ],
            [
              0.02848,
              0.07424,
              0.11775,
              0.20722,
              0.38969,
              0.75795,
              1.49657
            ],
            [
              0.02848,
              0.07434,
              0.11797,
              0.20722,
              0.38969,
              0.75745,
              1.49794
            ],
            [
              0.02849,
              0.07425,
              0.11783,
              0.20711,
              0.38919,
              0.75819,
              1.49667
            ],
            [
              0.02848,
              0.07427,
              0.11794,
              0.20706,
              0.38968,
              0.75805,
              1.49477
            ],
            [
              0.0285,
              0.07431,
              0.11812,
              0.20709,
              0.38933,
              0.75758,
              1.49484
            ],
            [
              0.02914,
              0.07465,
              0.11824,
              0.20724,
              0.38965,
              0.75767,
              1.49967
            ],
            [
              0.03119,
              0.07643,
              0.11924,
              0.20767,
              0.38964,
              0.75752,
              1.49987
            ],
            [
              0.0339,
              0.07923,
              0.12165,
              0.20892,
              0.39044,
              0.7589,
              1.4953
            ],
            [
              0.03764,
              0.08319,
              0.12495,
              0.21133,
              0.39085,
              0.7576,
              1.4958
            ],
            [
              0.043,
              0.0888,
              0.13,
              0.2148,
              0.3929,
              0.7604,
              1.4958
            ],
            [
              0.0505,
              0.097,
              0.137,
              0.2203,
              0.3961,
              0.7597,
              1.4963
            ]
          ]
        },
        "sdf_cond": "(!A1&!A2&A3&B1)",
        "timing_sense": "positive_unate",
        "when": "(!A1&!A2&A3&B1)"
      },
      {
        "cell_fall,delay_template13x7": {
          "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.00636,
            0.01272,
            0.02543,
            0.05086,
            0.10172,
            0.20344
          ],
          "values": [
            [
              0.22478,
              0.26443,
              0.28998,
              0.32958,
              0.39309,
              0.50189,
              0.70356
            ],
            [
              0.22696,
              0.26662,
              0.29218,
              0.33178,
              0.3953,
              0.50415,
              0.70567
            ],
            [
              0.22988,
              0.26956,
              0.29514,
              0.33476,
              0.39826,
              0.50714,
              0.70882
            ],
            [
              0.23452,
              0.27422,
              0.29975,
              0.33937,
              0.40291,
              0.51172,
              0.71335
            ],
            [
              0.2418,
              0.28147,
              0.30704,
              0.34667,
              0.41019,
              0.51896,
              0.72075
            ],
            [
              0.25312,
              0.2928,
              0.31834,
              0.35797,
              0.42149,
              0.53035,
              0.73215
            ],
            [
              0.27073,
              0.31039,
              0.3359,
              0.37552,
              0.43907,
              0.54793,
              0.74945
            ],
            [
              0.29772,
              0.33731,
              0.36282,
              0.40242,
              0.46598,
              0.57488,
              0.77659
            ],
            [
              0.33891,
              0.37845,
              0.40392,
              0.44352,
              0.50709,
              0.61595,
              0.81775
            ],
            [
              0.40136,
              0.44073,
              0.46616,
              0.50578,
              0.56944,
              0.67849,
              0.88039
            ],
            [
              0.48602,
              0.52792,
              0.55422,
              0.59472,
              0.65892,
              0.76822,
              0.97022
            ],
            [
              0.58797,
              0.63477,
              0.66307,
              0.70567,
              0.77237,
              0.88387,
              1.08667
            ],
            [
              0.7098,
              0.7633,
              0.7947,
              0.8404,
              0.9102,
              1.0243,
              1.2296
            ]
          ]
        },
        "cell_rise,delay_template13x7": {
          "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.00636,
            0.01272,
            0.02543,
            0.05086,
            0.10172,
            0.20344
          ],
          "values": [
            [
              0.1213,
              0.16859,
              0.20459,
              0.27027,
              0.3972,
              0.64855,
              1.15027
            ],
            [
              0.1243,
              0.17159,
              0.2076,
              0.27329,
              0.40022,
              0.6516,
              1.15364
            ],
            [
              0.12777,
              0.17505,
              0.21107,
              0.27678,
              0.40369,
              0.65497,
              1.15702
            ],
            [
              0.13248,
              0.17974,
              0.21577,
              0.28152,
              0.4083,
              0.65943,
              1.16168
            ],
            [
              0.13918,
              0.18644,
              0.22243,
              0.28818,
              0.41504,
              0.66623,
              1.16851
            ],
            [
              0.14895,
              0.19619,
              0.23211,
              0.29787,
              0.42466,
              0.67636,
              1.17832
            ],
            [
              0.16336,
              0.21047,
              0.24638,
              0.31208,
              0.43895,
              0.69036,
              1.19273
            ],
            [
              0.18422,
              0.23136,
              0.26724,
              0.33289,
              0.4599,
              0.71157,
              1.21296
            ],
            [
              0.2113,
              0.26001,
              0.29615,
              0.36197,
              0.48884,
              0.74049,
              1.24295
            ],
            [
              0.24503,
              0.2961,
              0.3331,
              0.39939,
              0.52655,
              0.77859,
              1.28039
            ],
            [
              0.28617,
              0.34044,
              0.37848,
              0.44572,
              0.57312,
              0.82492,
              1.32752
            ],
            [
              0.33497,
              0.39367,
              0.43337,
              0.50177,
              0.62977,
              0.88147,
              1.38307
            ],
            [
              0.3907,
              0.456,
              0.4979,
              0.5681,
              0.6967,
              0.9493,
              1.4502
            ]
          ]
        },
        "fall_transition,delay_template13x7": {
          "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.00636,
            0.01272,
            0.02543,
            0.05086,
            0.10172,
            0.20344
          ],
          "values": [
            [
              0.03226,
              0.05828,
              0.07772,
              0.11195,
              0.17527,
              0.30113,
              0.55946
            ],
            [
              0.03226,
              0.05827,
              0.07776,
              0.11206,
              0.17563,
              0.30107,
              0.55982
            ],
            [
              0.03227,
              0.05824,
              0.07764,
              0.11192,
              0.17567,
              0.30086,
              0.56006
            ],
            [
              0.03226,
              0.05824,
              0.07764,
              0.1121,
              0.17524,
              0.30111,
              0.55953
            ],
            [
              0.03225,
              0.05829,
              0.07763,
              0.11211,
              0.17541,
              0.30111,
              0.55911
            ],
            [
              0.03227,
              0.05825,
              0.07765,
              0.11196,
              0.17556,
              0.3007,
              0.55973
            ],
            [
              0.03227,
              0.05825,
              0.07765,
              0.11205,
              0.17531,
              0.30108,
              0.55979
            ],
            [
              0.03226,
              0.05827,
              0.07776,
              0.11205,
              0.17562,
              0.30103,
              0.56
            ],
            [
              0.03225,
              0.05831,
              0.07772,
              0.11203,
              0.17554,
              0.301,
              0.55912
            ],
            [
              0.03252,
              0.0586,
              0.0781,
              0.11211,
              0.17547,
              0.30072,
              0.5598
            ],
            [
              0.038,
              0.0629,
              0.0818,
              0.1151,
              0.1776,
              0.302,
              0.5604
            ],
            [
              0.0462,
              0.0716,
              0.0899,
              0.1227,
              0.1845,
              0.3071,
              0.5626
            ],
            [
              0.057,
              0.084,
              0.1021,
              0.1337,
              0.1942,
              0.3152,
              0.5673
            ]
          ]
        },
        "related_pin": "B2",
        "rise_transition,delay_template13x7": {
          "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.00636,
            0.01272,
            0.02543,
            0.05086,
            0.10172,
            0.20344
          ],
          "values": [
            [
              0.02845,
              0.07414,
              0.11776,
              0.20646,
              0.38881,
              0.75625,
              1.49075
            ],
            [
              0.02845,
              0.07411,
              0.11787,
              0.20671,
              0.38846,
              0.75643,
              1.49332
            ],
            [
              0.02845,
              0.07412,
              0.11751,
              0.20673,
              0.38948,
              0.7562,
              1.49353
            ],
            [
              0.02845,
              0.07412,
              0.11781,
              0.20677,
              0.38881,
              0.75597,
              1.49255
            ],
            [
              0.02844,
              0.07414,
              0.11782,
              0.20677,
              0.38885,
              0.75584,
              1.4945
            ],
            [
              0.02844,
              0.07412,
              0.11785,
              0.20673,
              0.38869,
              0.75733,
              1.49317
            ],
            [
              0.02847,
              0.07417,
              0.1177,
              0.20679,
              0.38873,
              0.75584,
              1.49348
            ],
            [
              0.02912,
              0.07456,
              0.11814,
              0.20683,
              0.38882,
              0.75569,
              1.49633
            ],
            [
              0.03117,
              0.0761,
              0.119,
              0.20723,
              0.38857,
              0.75577,
              1.49289
            ],
            [
              0.03388,
              0.0791,
              0.12144,
              0.20895,
              0.38953,
              0.75704,
              1.4916
            ],
            [
              0.0376,
              0.08317,
              0.12496,
              0.2109,
              0.39051,
              0.7557,
              1.4941
            ],
            [
              0.0431,
              0.0888,
              0.1297,
              0.2143,
              0.392,
              0.7567,
              1.4925
            ],
            [
              0.0504,
              0.0968,
              0.1368,
              0.2192,
              0.3951,
              0.7581,
              1.4925
            ]
          ]
        },
        "sdf_cond": "(!A1&A2&!A3&B1)",
        "timing_sense": "positive_unate",
        "when": "(!A1&A2&!A3&B1)"
      },
      {
        "cell_fall,delay_template13x7": {
          "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.00636,
            0.01272,
            0.02543,
            0.05086,
            0.10172,
            0.20344
          ],
          "values": [
            [
              0.29822,
              0.34553,
              0.37557,
              0.42136,
              0.49281,
              0.61019,
              0.81854
            ],
            [
              0.29996,
              0.34729,
              0.37732,
              0.42311,
              0.49458,
              0.61195,
              0.82023
            ],
            [
              0.30242,
              0.34978,
              0.37982,
              0.42562,
              0.49708,
              0.61446,
              0.82279
            ],
            [
              0.30643,
              0.3538,
              0.38384,
              0.42964,
              0.50111,
              0.6185,
              0.82688
            ],
            [
              0.31285,
              0.36019,
              0.39024,
              0.43604,
              0.50751,
              0.62489,
              0.83321
            ],
            [
              0.32299,
              0.37032,
              0.40036,
              0.44618,
              0.51766,
              0.63503,
              0.84344
            ],
            [
              0.33892,
              0.38625,
              0.41628,
              0.46207,
              0.53356,
              0.65096,
              0.85922
            ],
            [
              0.36365,
              0.41094,
              0.44091,
              0.48672,
              0.55822,
              0.67564,
              0.88406
            ],
            [
              0.40177,
              0.44905,
              0.47902,
              0.52484,
              0.59629,
              0.71373,
              0.92215
            ],
            [
              0.46028,
              0.50748,
              0.53741,
              0.5832,
              0.65469,
              0.77219,
              0.98049
            ],
            [
              0.54802,
              0.59522,
              0.62512,
              0.67092,
              0.74252,
              0.86012,
              1.06872
            ],
            [
              0.65937,
              0.71067,
              0.74197,
              0.78927,
              0.86257,
              0.98147,
              1.19057
            ],
            [
              0.7925,
              0.8503,
              0.8843,
              0.9342,
              1.0099,
              1.1315,
              1.3435
            ]
          ]
        },
        "cell_rise,delay_template13x7": {
          "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.00636,
            0.01272,
            0.02543,
            0.05086,
            0.10172,
            0.20344
          ],
          "values": [
            [
              0.12142,
              0.16879,
              0.20488,
              0.27073,
              0.39794,
              0.64996,
              1.15327
            ],
            [
              0.12448,
              0.17185,
              0.20794,
              0.27381,
              0.40102,
              0.65301,
              1.15634
            ],
            [
              0.12801,
              0.17538,
              0.21148,
              0.27736,
              0.40453,
              0.65641,
              1.15982
            ],
            [
              0.13279,
              0.18016,
              0.21626,
              0.28218,
              0.4092,
              0.66126,
              1.16498
            ],
            [
              0.13962,
              0.18696,
              0.22303,
              0.28894,
              0.4161,
              0.66793,
              1.17141
            ],
            [
              0.14949,
              0.19679,
              0.2328,
              0.29874,
              0.4259,
              0.67801,
              1.18022
            ],
            [
              0.16399,
              0.21119,
              0.24719,
              0.31301,
              0.44035,
              0.69257,
              1.19613
            ],
            [
              0.18495,
              0.23215,
              0.2681,
              0.33398,
              0.46123,
              0.7134,
              1.21596
            ],
            [
              0.21211,
              0.26088,
              0.2971,
              0.36308,
              0.49026,
              0.74263,
              1.24635
            ],
            [
              0.24587,
              0.29699,
              0.33408,
              0.40045,
              0.52794,
              0.78069,
              1.28279
            ],
            [
              0.28698,
              0.34127,
              0.37941,
              0.44672,
              0.57452,
              0.82702,
              1.33092
            ],
            [
              0.33567,
              0.39447,
              0.43407,
              0.50267,
              0.63107,
              0.88337,
              1.38627
            ],
            [
              0.3911,
              0.4565,
              0.4984,
              0.5688,
              0.6979,
              0.9511,
              1.4533
            ]
          ]
        },
        "fall_transition,delay_template13x7": {
          "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.00636,
            0.01272,
            0.02543,
            0.05086,
            0.10172,
            0.20344
          ],
          "values": [
            [
              0.0422,
              0.07175,
              0.09303,
              0.12976,
              0.19565,
              0.32075,
              0.57373
            ],
            [
              0.0422,
              0.07174,
              0.09307,
              0.12974,
              0.19565,
              0.32074,
              0.57411
            ],
            [
              0.0422,
              0.07168,
              0.09305,
              0.12979,
              0.19564,
              0.32065,
              0.57396
            ],
            [
              0.04223,
              0.07168,
              0.09299,
              0.13001,
              0.19557,
              0.32084,
              0.57451
            ],
            [
              0.0422,
              0.07173,
              0.09313,
              0.12977,
              0.19566,
              0.32068,
              0.57402
            ],
            [
              0.0422,
              0.07172,
              0.09315,
              0.12982,
              0.19564,
              0.3208,
              0.57385
            ],
            [
              0.0422,
              0.07165,
              0.09298,
              0.12976,
              0.19556,
              0.32088,
              0.57457
            ],
            [
              0.04222,
              0.07168,
              0.09309,
              0.12976,
              0.19563,
              0.32086,
              0.57451
            ],
            [
              0.0422,
              0.07167,
              0.09303,
              0.13002,
              0.19559,
              0.32086,
              0.57449
            ],
            [
              0.0421,
              0.07167,
              0.09305,
              0.13004,
              0.19563,
              0.32075,
              0.5744
            ],
            [
              0.0441,
              0.0726,
              0.0938,
              0.1305,
              0.1961,
              0.3211,
              0.5746
            ],
            [
              0.0524,
              0.0803,
              0.1007,
              0.1366,
              0.201,
              0.3245,
              0.5753
            ],
            [
              0.0637,
              0.0927,
              0.1122,
              0.1464,
              0.21,
              0.3329,
              0.5822
            ]
          ]
        },
        "related_pin": "B2",
        "rise_transition,delay_template13x7": {
          "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.00636,
            0.01272,
            0.02543,
            0.05086,
            0.10172,
            0.20344
          ],
          "values": [
            [
              0.02845,
              0.07421,
              0.11803,
              0.20713,
              0.38959,
              0.75817,
              1.49737
            ],
            [
              0.02846,
              0.07423,
              0.11803,
              0.20714,
              0.38997,
              0.75814,
              1.49747
            ],
            [
              0.02853,
              0.07423,
              0.11781,
              0.20714,
              0.38973,
              0.75776,
              1.49843
            ],
            [
              0.02848,
              0.07425,
              0.11788,
              0.20722,
              0.38952,
              0.75826,
              1.49569
            ],
            [
              0.02846,
              0.07425,
              0.11804,
              0.20719,
              0.38969,
              0.75759,
              1.49599
            ],
            [
              0.02848,
              0.07435,
              0.11793,
              0.20711,
              0.3896,
              0.75828,
              1.49916
            ],
            [
              0.02852,
              0.07436,
              0.11781,
              0.20706,
              0.38971,
              0.75809,
              1.49969
            ],
            [
              0.0291,
              0.07465,
              0.11815,
              0.2072,
              0.3896,
              0.75892,
              1.49982
            ],
            [
              0.03115,
              0.07624,
              0.1194,
              0.2077,
              0.38958,
              0.75766,
              1.49627
            ],
            [
              0.03384,
              0.07938,
              0.12161,
              0.20874,
              0.39038,
              0.75892,
              1.4999
            ],
            [
              0.03758,
              0.08329,
              0.125,
              0.2113,
              0.39182,
              0.7574,
              1.4984
            ],
            [
              0.0429,
              0.0888,
              0.1299,
              0.2147,
              0.3929,
              0.7584,
              1.496
            ],
            [
              0.0504,
              0.097,
              0.1368,
              0.2196,
              0.3955,
              0.7596,
              1.4963
            ]
          ]
        },
        "sdf_cond": "(!A1&A2&A3&B1)",
        "timing_sense": "positive_unate",
        "when": "(!A1&A2&A3&B1)"
      },
      {
        "cell_fall,delay_template13x7": {
          "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.00636,
            0.01272,
            0.02543,
            0.05086,
            0.10172,
            0.20344
          ],
          "values": [
            [
              0.25718,
              0.29836,
              0.32457,
              0.36495,
              0.42948,
              0.53941,
              0.74205
            ],
            [
              0.25941,
              0.3006,
              0.32674,
              0.3672,
              0.43175,
              0.54159,
              0.74431
            ],
            [
              0.26238,
              0.30359,
              0.32974,
              0.3702,
              0.43474,
              0.54467,
              0.7473
            ],
            [
              0.26704,
              0.30823,
              0.33439,
              0.37485,
              0.43939,
              0.54934,
              0.75184
            ],
            [
              0.27432,
              0.31553,
              0.34176,
              0.38214,
              0.44669,
              0.55663,
              0.75919
            ],
            [
              0.28559,
              0.32679,
              0.35303,
              0.39341,
              0.45796,
              0.5679,
              0.77061
            ],
            [
              0.30315,
              0.34431,
              0.37053,
              0.41095,
              0.4755,
              0.58535,
              0.78805
            ],
            [
              0.32995,
              0.3711,
              0.39725,
              0.4377,
              0.50226,
              0.61222,
              0.81492
            ],
            [
              0.37085,
              0.41195,
              0.43809,
              0.47852,
              0.54309,
              0.65308,
              0.85565
            ],
            [
              0.43309,
              0.4741,
              0.50021,
              0.54065,
              0.60526,
              0.71529,
              0.91809
            ],
            [
              0.52332,
              0.56562,
              0.59192,
              0.63262,
              0.69752,
              0.80772,
              1.01042
            ],
            [
              0.63407,
              0.68117,
              0.70947,
              0.75217,
              0.81907,
              0.93077,
              1.13427
            ],
            [
              0.7669,
              0.8208,
              0.852,
              0.8977,
              0.9674,
              1.0819,
              1.2876
            ]
          ]
        },
        "cell_rise,delay_template13x7": {
          "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.00636,
            0.01272,
            0.02543,
            0.05086,
            0.10172,
            0.20344
          ],
          "values": [
            [
              0.12893,
              0.1801,
              0.21753,
              0.28421,
              0.41132,
              0.66233,
              1.16477
            ],
            [
              0.13193,
              0.1831,
              0.22043,
              0.28724,
              0.41425,
              0.66546,
              1.16774
            ],
            [
              0.13541,
              0.18658,
              0.22391,
              0.29072,
              0.41787,
              0.66926,
              1.17132
            ],
            [
              0.14011,
              0.19129,
              0.22872,
              0.29542,
              0.42268,
              0.674,
              1.17597
            ],
            [
              0.14684,
              0.198,
              0.23537,
              0.30212,
              0.42931,
              0.68029,
              1.18281
            ],
            [
              0.15662,
              0.20773,
              0.2451,
              0.3118,
              0.43898,
              0.69005,
              1.19262
            ],
            [
              0.17103,
              0.22202,
              0.25932,
              0.32602,
              0.45328,
              0.70476,
              1.20683
            ],
            [
              0.19198,
              0.24296,
              0.28019,
              0.34691,
              0.4743,
              0.72544,
              1.22806
            ],
            [
              0.21983,
              0.27238,
              0.30979,
              0.37667,
              0.50407,
              0.75575,
              1.25785
            ],
            [
              0.25455,
              0.30993,
              0.34837,
              0.4158,
              0.54328,
              0.79529,
              1.29739
            ],
            [
              0.29709,
              0.35627,
              0.39607,
              0.46472,
              0.59262,
              0.84462,
              1.34712
            ],
            [
              0.34787,
              0.41237,
              0.45397,
              0.52417,
              0.65307,
              0.90477,
              1.40587
            ],
            [
              0.4065,
              0.4784,
              0.5228,
              0.5952,
              0.7252,
              0.9777,
              1.4789
            ]
          ]
        },
        "fall_transition,delay_template13x7": {
          "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.00636,
            0.01272,
            0.02543,
            0.05086,
            0.10172,
            0.20344
          ],
          "values": [
            [
              0.0346,
              0.06064,
              0.08017,
              0.11446,
              0.17834,
              0.30331,
              0.56196
            ],
            [
              0.0346,
              0.06068,
              0.08028,
              0.11446,
              0.17792,
              0.30337,
              0.56129
            ],
            [
              0.0346,
              0.06065,
              0.08029,
              0.11445,
              0.17831,
              0.30332,
              0.56205
            ],
            [
              0.0346,
              0.06073,
              0.08027,
              0.11454,
              0.17818,
              0.30342,
              0.56189
            ],
            [
              0.0346,
              0.06068,
              0.08011,
              0.11454,
              0.1782,
              0.30337,
              0.56195
            ],
            [
              0.0346,
              0.06074,
              0.08011,
              0.11463,
              0.1782,
              0.30348,
              0.56137
            ],
            [
              0.0346,
              0.06067,
              0.08013,
              0.11466,
              0.17796,
              0.30355,
              0.56126
            ],
            [
              0.03458,
              0.06064,
              0.08027,
              0.11443,
              0.17821,
              0.30332,
              0.56191
            ],
            [
              0.03461,
              0.06068,
              0.08029,
              0.11446,
              0.17819,
              0.30339,
              0.56199
            ],
            [
              0.03468,
              0.06077,
              0.08023,
              0.11474,
              0.1782,
              0.30329,
              0.5616
            ],
            [
              0.0381,
              0.0632,
              0.082,
              0.1159,
              0.1787,
              0.3037,
              0.562
            ],
            [
              0.0462,
              0.0714,
              0.0897,
              0.1228,
              0.1848,
              0.3075,
              0.5636
            ],
            [
              0.0571,
              0.0837,
              0.1013,
              0.133,
              0.194,
              0.3154,
              0.5678
            ]
          ]
        },
        "related_pin": "B2",
        "rise_transition,delay_template13x7": {
          "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.00636,
            0.01272,
            0.02543,
            0.05086,
            0.10172,
            0.20344
          ],
          "values": [
            [
              0.03266,
              0.07772,
              0.12061,
              0.20863,
              0.38931,
              0.75903,
              1.49259
            ],
            [
              0.0327,
              0.07765,
              0.12059,
              0.20864,
              0.38962,
              0.75757,
              1.49275
            ],
            [
              0.03267,
              0.07773,
              0.12056,
              0.20863,
              0.38935,
              0.75612,
              1.494
            ],
            [
              0.03268,
              0.07789,
              0.12061,
              0.20851,
              0.38934,
              0.75613,
              1.49143
            ],
            [
              0.03267,
              0.07791,
              0.1206,
              0.20864,
              0.38936,
              0.75556,
              1.49319
            ],
            [
              0.03267,
              0.07787,
              0.12064,
              0.20864,
              0.38926,
              0.75562,
              1.49393
            ],
            [
              0.03273,
              0.07782,
              0.12095,
              0.20864,
              0.38935,
              0.75645,
              1.49238
            ],
            [
              0.03336,
              0.07806,
              0.12131,
              0.20852,
              0.38946,
              0.75556,
              1.49414
            ],
            [
              0.03591,
              0.0799,
              0.122,
              0.20906,
              0.39066,
              0.75687,
              1.49275
            ],
            [
              0.03934,
              0.08343,
              0.12469,
              0.21095,
              0.38979,
              0.75629,
              1.4921
            ],
            [
              0.04411,
              0.08786,
              0.12897,
              0.21378,
              0.39176,
              0.757,
              1.4924
            ],
            [
              0.0509,
              0.0945,
              0.1347,
              0.2182,
              0.3937,
              0.7566,
              1.4922
            ],
            [
              0.0602,
              0.1039,
              0.1429,
              0.2242,
              0.3964,
              0.7588,
              1.4937
            ]
          ]
        },
        "sdf_cond": "(A1&!A2&!A3&B1)",
        "timing_sense": "positive_unate",
        "when": "(A1&!A2&!A3&B1)"
      },
      {
        "cell_fall,delay_template13x7": {
          "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.00636,
            0.01272,
            0.02543,
            0.05086,
            0.10172,
            0.20344
          ],
          "values": [
            [
              0.33978,
              0.38905,
              0.41978,
              0.46651,
              0.53886,
              0.65735,
              0.86661
            ],
            [
              0.34158,
              0.39087,
              0.42164,
              0.46837,
              0.54077,
              0.65922,
              0.86865
            ],
            [
              0.34412,
              0.39341,
              0.42416,
              0.4709,
              0.54325,
              0.66172,
              0.87104
            ],
            [
              0.34821,
              0.39754,
              0.4283,
              0.47503,
              0.54749,
              0.66594,
              0.87514
            ],
            [
              0.35472,
              0.40399,
              0.43476,
              0.48151,
              0.5539,
              0.67236,
              0.88176
            ],
            [
              0.36486,
              0.41413,
              0.44492,
              0.49166,
              0.56407,
              0.68253,
              0.89198
            ],
            [
              0.38078,
              0.43003,
              0.46078,
              0.5075,
              0.57997,
              0.69847,
              0.90793
            ],
            [
              0.40537,
              0.45463,
              0.4854,
              0.53198,
              0.60447,
              0.72298,
              0.93236
            ],
            [
              0.44322,
              0.49244,
              0.52318,
              0.56985,
              0.64233,
              0.76085,
              0.97025
            ],
            [
              0.50127,
              0.55049,
              0.58118,
              0.62784,
              0.70029,
              0.81879,
              1.02839
            ],
            [
              0.58982,
              0.63872,
              0.66942,
              0.71602,
              0.78852,
              0.90712,
              1.11662
            ],
            [
              0.71017,
              0.76227,
              0.79387,
              0.84147,
              0.91487,
              1.03407,
              1.24387
            ],
            [
              0.8547,
              0.9133,
              0.9473,
              0.9972,
              1.0731,
              1.1952,
              1.4074
            ]
          ]
        },
        "cell_rise,delay_template13x7": {
          "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.00636,
            0.01272,
            0.02543,
            0.05086,
            0.10172,
            0.20344
          ],
          "values": [
            [
              0.12889,
              0.1801,
              0.21757,
              0.28445,
              0.41194,
              0.66374,
              1.16737
            ],
            [
              0.13195,
              0.18316,
              0.22055,
              0.28753,
              0.41507,
              0.66676,
              1.17054
            ],
            [
              0.13547,
              0.18669,
              0.22406,
              0.29101,
              0.41844,
              0.67019,
              1.17362
            ],
            [
              0.14027,
              0.19146,
              0.22895,
              0.29585,
              0.4234,
              0.675,
              1.17898
            ],
            [
              0.14709,
              0.19829,
              0.23573,
              0.30261,
              0.43021,
              0.68182,
              1.18571
            ],
            [
              0.15696,
              0.20812,
              0.24555,
              0.31246,
              0.44006,
              0.69192,
              1.19402
            ],
            [
              0.17147,
              0.22251,
              0.25984,
              0.3267,
              0.45443,
              0.70615,
              1.21003
            ],
            [
              0.19254,
              0.24353,
              0.28079,
              0.34774,
              0.47543,
              0.7273,
              1.23136
            ],
            [
              0.2204,
              0.27298,
              0.31048,
              0.37744,
              0.50527,
              0.75775,
              1.26025
            ],
            [
              0.25513,
              0.31051,
              0.34902,
              0.41661,
              0.54445,
              0.79719,
              1.30059
            ],
            [
              0.29759,
              0.35677,
              0.3966,
              0.46542,
              0.59362,
              0.84642,
              1.35022
            ],
            [
              0.34817,
              0.41267,
              0.45437,
              0.52467,
              0.65377,
              0.90637,
              1.40887
            ],
            [
              0.4065,
              0.4784,
              0.5228,
              0.5954,
              0.7257,
              0.9791,
              1.4816
            ]
          ]
        },
        "fall_transition,delay_template13x7": {
          "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.00636,
            0.01272,
            0.02543,
            0.05086,
            0.10172,
            0.20344
          ],
          "values": [
            [
              0.04508,
              0.07463,
              0.09584,
              0.13268,
              0.19835,
              0.32327,
              0.57669
            ],
            [
              0.04507,
              0.07464,
              0.09584,
              0.13242,
              0.19824,
              0.32333,
              0.57601
            ],
            [
              0.04508,
              0.07461,
              0.09584,
              0.13267,
              0.19835,
              0.32327,
              0.57655
            ],
            [
              0.04508,
              0.07463,
              0.09587,
              0.13248,
              0.1983,
              0.32324,
              0.57673
            ],
            [
              0.04509,
              0.07463,
              0.09586,
              0.13243,
              0.1983,
              0.32323,
              0.57623
            ],
            [
              0.04507,
              0.0746,
              0.09588,
              0.13246,
              0.19826,
              0.32334,
              0.57598
            ],
            [
              0.0451,
              0.07464,
              0.096,
              0.13271,
              0.19839,
              0.32348,
              0.57669
            ],
            [
              0.04506,
              0.07458,
              0.09596,
              0.13276,
              0.19836,
              0.32344,
              0.5769
            ],
            [
              0.04507,
              0.07461,
              0.096,
              0.13255,
              0.19822,
              0.3233,
              0.57591
            ],
            [
              0.04506,
              0.07459,
              0.09602,
              0.13254,
              0.1983,
              0.3233,
              0.5762
            ],
            [
              0.0451,
              0.0749,
              0.0961,
              0.133,
              0.1985,
              0.3232,
              0.5764
            ],
            [
              0.0526,
              0.0808,
              0.1012,
              0.137,
              0.2016,
              0.3253,
              0.5776
            ],
            [
              0.0638,
              0.0925,
              0.1118,
              0.1463,
              0.2103,
              0.3326,
              0.5821
            ]
          ]
        },
        "related_pin": "B2",
        "rise_transition,delay_template13x7": {
          "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.00636,
            0.01272,
            0.02543,
            0.05086,
            0.10172,
            0.20344
          ],
          "values": [
            [
              0.03259,
              0.07797,
              0.1208,
              0.20896,
              0.39125,
              0.76052,
              1.4997
            ],
            [
              0.03258,
              0.07797,
              0.12078,
              0.20896,
              0.3907,
              0.75811,
              1.4994
            ],
            [
              0.03262,
              0.07789,
              0.12117,
              0.20877,
              0.39031,
              0.75794,
              1.49581
            ],
            [
              0.0326,
              0.07782,
              0.1209,
              0.20893,
              0.39108,
              0.75789,
              1.49894
            ],
            [
              0.0326,
              0.0778,
              0.12082,
              0.20881,
              0.39131,
              0.75788,
              1.49893
            ],
            [
              0.03259,
              0.07793,
              0.12093,
              0.20902,
              0.39106,
              0.7588,
              1.49558
            ],
            [
              0.0326,
              0.078,
              0.12091,
              0.20884,
              0.39094,
              0.75797,
              1.49637
            ],
            [
              0.0332,
              0.07813,
              0.12114,
              0.20909,
              0.39151,
              0.75795,
              1.4962
            ],
            [
              0.03578,
              0.07991,
              0.12232,
              0.2093,
              0.39123,
              0.75818,
              1.4942
            ],
            [
              0.03912,
              0.08334,
              0.12494,
              0.21126,
              0.39064,
              0.75884,
              1.4958
            ],
            [
              0.04397,
              0.08798,
              0.12898,
              0.21412,
              0.39261,
              0.7588,
              1.4976
            ],
            [
              0.0506,
              0.0946,
              0.1349,
              0.2183,
              0.3947,
              0.7579,
              1.4958
            ],
            [
              0.0599,
              0.1039,
              0.1434,
              0.2242,
              0.3978,
              0.7606,
              1.498
            ]
          ]
        },
        "sdf_cond": "(A1&!A2&A3&B1)",
        "timing_sense": "positive_unate",
        "when": "(A1&!A2&A3&B1)"
      },
      {
        "cell_fall,delay_template13x7": {
          "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.00636,
            0.01272,
            0.02543,
            0.05086,
            0.10172,
            0.20344
          ],
          "values": [
            [
              0.36797,
              0.41804,
              0.44894,
              0.49593,
              0.56882,
              0.68785,
              0.89783
            ],
            [
              0.36986,
              0.41991,
              0.45083,
              0.49784,
              0.57069,
              0.68972,
              0.89982
            ],
            [
              0.37244,
              0.42249,
              0.45342,
              0.50043,
              0.57329,
              0.69233,
              0.90242
            ],
            [
              0.37656,
              0.42666,
              0.45758,
              0.50458,
              0.57749,
              0.69651,
              0.90665
            ],
            [
              0.38315,
              0.43322,
              0.46422,
              0.51116,
              0.58407,
              0.7031,
              0.91323
            ],
            [
              0.3934,
              0.44346,
              0.47446,
              0.52141,
              0.59431,
              0.71337,
              0.9233
            ],
            [
              0.40937,
              0.45943,
              0.49044,
              0.53735,
              0.61027,
              0.72933,
              0.93933
            ],
            [
              0.43402,
              0.48405,
              0.51505,
              0.56198,
              0.63489,
              0.75394,
              0.96406
            ],
            [
              0.47188,
              0.52192,
              0.55291,
              0.59982,
              0.67271,
              0.79175,
              1.00195
            ],
            [
              0.52986,
              0.57989,
              0.61084,
              0.65779,
              0.73069,
              0.84969,
              1.05989
            ],
            [
              0.61842,
              0.66832,
              0.69922,
              0.74612,
              0.81902,
              0.93822,
              1.14832
            ],
            [
              0.74457,
              0.79657,
              0.82807,
              0.87557,
              0.94887,
              1.06827,
              1.27837
            ],
            [
              0.8977,
              0.9559,
              0.9896,
              1.0393,
              1.115,
              1.2371,
              1.4492
            ]
          ]
        },
        "cell_rise,delay_template13x7": {
          "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.00636,
            0.01272,
            0.02543,
            0.05086,
            0.10172,
            0.20344
          ],
          "values": [
            [
              0.13013,
              0.18774,
              0.22711,
              0.29548,
              0.4234,
              0.67526,
              1.17857
            ],
            [
              0.1332,
              0.19081,
              0.23018,
              0.29858,
              0.42658,
              0.67859,
              1.18094
            ],
            [
              0.13673,
              0.19435,
              0.23371,
              0.30213,
              0.4302,
              0.68211,
              1.18442
            ],
            [
              0.14152,
              0.19912,
              0.23852,
              0.30689,
              0.43502,
              0.68722,
              1.18938
            ],
            [
              0.14834,
              0.20594,
              0.24532,
              0.31371,
              0.44175,
              0.69364,
              1.19611
            ],
            [
              0.15822,
              0.21578,
              0.25508,
              0.32342,
              0.45165,
              0.70373,
              1.20632
            ],
            [
              0.17271,
              0.23015,
              0.26945,
              0.33779,
              0.46603,
              0.71834,
              1.22093
            ],
            [
              0.19371,
              0.25115,
              0.29038,
              0.35873,
              0.48706,
              0.73934,
              1.24236
            ],
            [
              0.22159,
              0.28077,
              0.32023,
              0.38868,
              0.51707,
              0.76895,
              1.27295
            ],
            [
              0.25631,
              0.31905,
              0.35963,
              0.42877,
              0.55725,
              0.80969,
              1.31339
            ],
            [
              0.2988,
              0.36629,
              0.40851,
              0.47912,
              0.60832,
              0.86102,
              1.36392
            ],
            [
              0.34947,
              0.42347,
              0.46807,
              0.54057,
              0.67097,
              0.92357,
              1.42627
            ],
            [
              0.4079,
              0.4912,
              0.5389,
              0.6143,
              0.7462,
              0.9994,
              1.5024
            ]
          ]
        },
        "fall_transition,delay_template13x7": {
          "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.00636,
            0.01272,
            0.02543,
            0.05086,
            0.10172,
            0.20344
          ],
          "values": [
            [
              0.04698,
              0.07666,
              0.09796,
              0.13448,
              0.20026,
              0.32531,
              0.57866
            ],
            [
              0.047,
              0.07649,
              0.09796,
              0.13446,
              0.20042,
              0.32536,
              0.57858
            ],
            [
              0.04698,
              0.0765,
              0.09797,
              0.13445,
              0.20046,
              0.32535,
              0.57865
            ],
            [
              0.04698,
              0.07663,
              0.09796,
              0.13445,
              0.20013,
              0.32525,
              0.57822
            ],
            [
              0.04696,
              0.0765,
              0.09786,
              0.13465,
              0.20045,
              0.32531,
              0.57856
            ],
            [
              0.04697,
              0.0765,
              0.09769,
              0.13468,
              0.20027,
              0.3252,
              0.57854
            ],
            [
              0.04695,
              0.07652,
              0.09766,
              0.13472,
              0.20028,
              0.32528,
              0.57861
            ],
            [
              0.04695,
              0.0765,
              0.09782,
              0.13446,
              0.2002,
              0.32501,
              0.5781
            ],
            [
              0.04698,
              0.07655,
              0.09767,
              0.13467,
              0.20024,
              0.32522,
              0.57866
            ],
            [
              0.04696,
              0.07658,
              0.09782,
              0.13439,
              0.20004,
              0.3251,
              0.5779
            ],
            [
              0.0468,
              0.0765,
              0.0978,
              0.1346,
              0.2001,
              0.3253,
              0.5781
            ],
            [
              0.0526,
              0.0808,
              0.1013,
              0.1371,
              0.2017,
              0.3262,
              0.5789
            ],
            [
              0.0637,
              0.092,
              0.1113,
              0.146,
              0.2101,
              0.3327,
              0.583
            ]
          ]
        },
        "related_pin": "B2",
        "rise_transition,delay_template13x7": {
          "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.00636,
            0.01272,
            0.02543,
            0.05086,
            0.10172,
            0.20344
          ],
          "values": [
            [
              0.03631,
              0.08365,
              0.12542,
              0.21188,
              0.39146,
              0.75773,
              1.49579
            ],
            [
              0.0363,
              0.08369,
              0.12542,
              0.21199,
              0.39118,
              0.758,
              1.49812
            ],
            [
              0.03631,
              0.08346,
              0.12541,
              0.21198,
              0.39185,
              0.75781,
              1.49941
            ],
            [
              0.03628,
              0.08363,
              0.12563,
              0.21186,
              0.39186,
              0.75756,
              1.50028
            ],
            [
              0.03629,
              0.0835,
              0.12573,
              0.21198,
              0.39128,
              0.75766,
              1.49935
            ],
            [
              0.03638,
              0.08358,
              0.12547,
              0.21203,
              0.39183,
              0.7584,
              1.49475
            ],
            [
              0.03633,
              0.08359,
              0.12554,
              0.21196,
              0.3919,
              0.75807,
              1.5006
            ],
            [
              0.03696,
              0.08399,
              0.1258,
              0.21215,
              0.39189,
              0.75845,
              1.49544
            ],
            [
              0.03959,
              0.08567,
              0.12705,
              0.21262,
              0.392,
              0.75778,
              1.49575
            ],
            [
              0.04333,
              0.08976,
              0.1301,
              0.2142,
              0.39293,
              0.75848,
              1.4957
            ],
            [
              0.04841,
              0.09552,
              0.13516,
              0.21799,
              0.39349,
              0.7591,
              1.4959
            ],
            [
              0.0556,
              0.1036,
              0.142,
              0.223,
              0.3967,
              0.7588,
              1.496
            ],
            [
              0.0656,
              0.1152,
              0.1517,
              0.2309,
              0.4008,
              0.7608,
              1.4996
            ]
          ]
        },
        "sdf_cond": "(A1&A2&!A3&B1)",
        "timing_sense": "positive_unate",
        "when": "(A1&A2&!A3&B1)"
      }
    ]
  }
}