{
  "area": 11.1888,
  "cell_footprint": "sky130_fd_sc_lp__a32oi",
  "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.00278,
    "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.0081,
          0.00785,
          0.00791,
          0.00787,
          0.00778,
          0.00775,
          0.00778,
          0.00777,
          0.00777,
          0.00841,
          0.00841,
          0.00906,
          0.00908
        ]
      },
      "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.00477,
          0.00459,
          0.0046,
          0.00479,
          0.00486,
          0.00485,
          0.00488,
          0.00494,
          0.00498,
          0.00545,
          0.00546,
          0.00597,
          0.00583
        ]
      }
    },
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,A2": {
    "capacitance": 0.00264,
    "clock": "false",
    "direction": "input",
    "internal_power": {
      "fall_power,hidden_pwr_template13": {
        "index_1": [
          0.01,
          0.01735,
          0.02602,
          0.03903,
          0.05855,
          0.08782,
          0.13172,
          0.19757,
          0.29634,
          0.44449,
          0.6667,
          1.0,
          1.5
        ],
        "values": [
          0.00846,
          0.00823,
          0.00804,
          0.00788,
          0.00774,
          0.00776,
          0.00775,
          0.00775,
          0.00775,
          0.00839,
          0.00839,
          0.00919,
          0.00906
        ]
      },
      "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.00468,
          0.00471,
          0.00473,
          0.00481,
          0.00494,
          0.00487,
          0.00497,
          0.00501,
          0.00507,
          0.00552,
          0.00554,
          0.00596,
          0.00592
        ]
      }
    },
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,A3": {
    "capacitance": 0.00256,
    "clock": "false",
    "direction": "input",
    "internal_power": {
      "fall_power,hidden_pwr_template13": {
        "index_1": [
          0.01,
          0.01735,
          0.02602,
          0.03903,
          0.05855,
          0.08782,
          0.13172,
          0.19757,
          0.29634,
          0.44449,
          0.6667,
          1.0,
          1.5
        ],
        "values": [
          0.00785,
          0.00792,
          0.00778,
          0.0078,
          0.0077,
          0.00769,
          0.00771,
          0.00771,
          0.00771,
          0.00834,
          0.00834,
          0.00899,
          0.00901
        ]
      },
      "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.00499,
          0.00472,
          0.00485,
          0.00498,
          0.00493,
          0.00495,
          0.00497,
          0.00502,
          0.00508,
          0.00553,
          0.00554,
          0.00595,
          0.00591
        ]
      }
    },
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,B1": {
    "capacitance": 0.00306,
    "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.00466,
          0.00458,
          0.00459,
          0.00453,
          0.00458,
          0.00466,
          0.00473,
          0.00477,
          0.00485,
          0.00529,
          0.00532,
          0.00575,
          0.00578
        ]
      },
      "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.00796,
          0.00767,
          0.00783,
          0.00775,
          0.00778,
          0.00774,
          0.00773,
          0.00772,
          0.00771,
          0.00836,
          0.00835,
          0.00898,
          0.00896
        ]
      }
    },
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,B2": {
    "capacitance": 0.00309,
    "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.00426,
          0.00405,
          0.00432,
          0.0044,
          0.00442,
          0.0044,
          0.00446,
          0.00451,
          0.00456,
          0.00497,
          0.00499,
          0.00536,
          0.00532
        ]
      },
      "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.00777,
          0.00781,
          0.00758,
          0.00762,
          0.00758,
          0.00757,
          0.00758,
          0.00759,
          0.00759,
          0.0082,
          0.00821,
          0.00886,
          0.0089
        ]
      }
    },
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,Y": {
    "direction": "output",
    "function": "(!A1&!B1) | (!A1&!B2) | (!A2&!B1) | (!A3&!B1) | (!A2&!B2) | (!A3&!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.00806,
            0.01008,
            0.0126,
            0.01575,
            0.01969,
            0.02461
          ],
          "values": [
            [
              0.00621,
              -0.00473,
              -0.00747,
              -0.0109,
              -0.01519,
              -0.02056,
              -0.02726
            ],
            [
              0.00627,
              -0.0047,
              -0.00745,
              -0.01088,
              -0.01517,
              -0.02053,
              -0.02723
            ],
            [
              0.00629,
              -0.00467,
              -0.00741,
              -0.01084,
              -0.01513,
              -0.0205,
              -0.0272
            ],
            [
              0.00634,
              -0.00462,
              -0.00736,
              -0.01079,
              -0.01508,
              -0.02044,
              -0.02714
            ],
            [
              0.0064,
              -0.00456,
              -0.00731,
              -0.01074,
              -0.01503,
              -0.0204,
              -0.0271
            ],
            [
              0.00648,
              -0.0045,
              -0.00725,
              -0.01068,
              -0.01497,
              -0.02034,
              -0.02704
            ],
            [
              0.00658,
              -0.00443,
              -0.00718,
              -0.01062,
              -0.01491,
              -0.02027,
              -0.02698
            ],
            [
              0.0067,
              -0.00435,
              -0.00711,
              -0.01054,
              -0.01484,
              -0.02021,
              -0.02692
            ],
            [
              0.00684,
              -0.00426,
              -0.00702,
              -0.01046,
              -0.01477,
              -0.02014,
              -0.02686
            ],
            [
              0.00699,
              -0.00414,
              -0.00691,
              -0.01036,
              -0.01467,
              -0.02006,
              -0.02678
            ],
            [
              0.00711,
              -0.00403,
              -0.00681,
              -0.01027,
              -0.01459,
              -0.01998,
              -0.0267
            ],
            [
              0.00722,
              -0.00392,
              -0.0067,
              -0.01016,
              -0.01449,
              -0.01989,
              -0.02662
            ],
            [
              0.00723,
              -0.00384,
              -0.00662,
              -0.01009,
              -0.01441,
              -0.0198,
              -0.02654
            ]
          ]
        },
        "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.00806,
            0.01008,
            0.0126,
            0.01575,
            0.01969,
            0.02461
          ],
          "values": [
            [
              0.02443,
              0.03531,
              0.03803,
              0.04142,
              0.04568,
              0.05097,
              0.05759
            ],
            [
              0.02441,
              0.03533,
              0.03805,
              0.04146,
              0.04569,
              0.051,
              0.05763
            ],
            [
              0.02438,
              0.03535,
              0.03807,
              0.04147,
              0.04572,
              0.05101,
              0.05765
            ],
            [
              0.02433,
              0.03534,
              0.03805,
              0.04147,
              0.0457,
              0.05101,
              0.05766
            ],
            [
              0.02428,
              0.03532,
              0.03806,
              0.04145,
              0.0457,
              0.05101,
              0.05763
            ],
            [
              0.02421,
              0.03531,
              0.03804,
              0.04144,
              0.04568,
              0.051,
              0.05763
            ],
            [
              0.02414,
              0.03525,
              0.03799,
              0.0414,
              0.04566,
              0.05099,
              0.05763
            ],
            [
              0.02408,
              0.03519,
              0.03794,
              0.04135,
              0.04562,
              0.05094,
              0.05757
            ],
            [
              0.02402,
              0.03514,
              0.03788,
              0.0413,
              0.04557,
              0.05092,
              0.05757
            ],
            [
              0.02397,
              0.03506,
              0.03782,
              0.04124,
              0.04551,
              0.05086,
              0.05751
            ],
            [
              0.02394,
              0.03499,
              0.03773,
              0.04117,
              0.04543,
              0.05079,
              0.05746
            ],
            [
              0.02394,
              0.03491,
              0.03767,
              0.04109,
              0.04536,
              0.05071,
              0.05737
            ],
            [
              0.02396,
              0.03486,
              0.03761,
              0.04102,
              0.04529,
              0.05063,
              0.05731
            ]
          ]
        },
        "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.00806,
            0.01008,
            0.0126,
            0.01575,
            0.01969,
            0.02461
          ],
          "values": [
            [
              0.00626,
              -0.0047,
              -0.00745,
              -0.01088,
              -0.01517,
              -0.02053,
              -0.02723
            ],
            [
              0.00629,
              -0.00466,
              -0.00741,
              -0.01084,
              -0.01513,
              -0.02049,
              -0.02719
            ],
            [
              0.00633,
              -0.00463,
              -0.00738,
              -0.01081,
              -0.0151,
              -0.02046,
              -0.02716
            ],
            [
              0.00637,
              -0.00459,
              -0.00734,
              -0.01077,
              -0.01506,
              -0.02043,
              -0.02713
            ],
            [
              0.00641,
              -0.00453,
              -0.00728,
              -0.01071,
              -0.015,
              -0.02037,
              -0.02707
            ],
            [
              0.00649,
              -0.00448,
              -0.00723,
              -0.01066,
              -0.01495,
              -0.02032,
              -0.02702
            ],
            [
              0.00657,
              -0.00442,
              -0.00717,
              -0.0106,
              -0.01489,
              -0.02026,
              -0.02696
            ],
            [
              0.00668,
              -0.00435,
              -0.0071,
              -0.01054,
              -0.01483,
              -0.0202,
              -0.02691
            ],
            [
              0.00681,
              -0.00426,
              -0.00702,
              -0.01046,
              -0.01476,
              -0.02014,
              -0.02685
            ],
            [
              0.00695,
              -0.00415,
              -0.00692,
              -0.01037,
              -0.01468,
              -0.02006,
              -0.02677
            ],
            [
              0.00709,
              -0.00405,
              -0.00682,
              -0.01028,
              -0.01459,
              -0.01998,
              -0.0267
            ],
            [
              0.00722,
              -0.00393,
              -0.0067,
              -0.01017,
              -0.01449,
              -0.01988,
              -0.02661
            ],
            [
              0.0073,
              -0.00383,
              -0.00661,
              -0.01007,
              -0.01439,
              -0.01979,
              -0.02653
            ]
          ]
        },
        "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.00806,
            0.01008,
            0.0126,
            0.01575,
            0.01969,
            0.02461
          ],
          "values": [
            [
              0.02607,
              0.03692,
              0.03964,
              0.04301,
              0.04725,
              0.05254,
              0.05916
            ],
            [
              0.02605,
              0.0369,
              0.03961,
              0.04301,
              0.04723,
              0.05251,
              0.05916
            ],
            [
              0.02603,
              0.03689,
              0.03961,
              0.043,
              0.04723,
              0.0525,
              0.05916
            ],
            [
              0.02599,
              0.03689,
              0.03961,
              0.043,
              0.04723,
              0.05251,
              0.05912
            ],
            [
              0.02596,
              0.03687,
              0.03959,
              0.04298,
              0.04722,
              0.05251,
              0.05914
            ],
            [
              0.0259,
              0.03685,
              0.03957,
              0.04298,
              0.0472,
              0.05249,
              0.05913
            ],
            [
              0.02585,
              0.03681,
              0.03954,
              0.04294,
              0.04718,
              0.05248,
              0.05911
            ],
            [
              0.0258,
              0.03679,
              0.03951,
              0.04292,
              0.04716,
              0.05246,
              0.05911
            ],
            [
              0.02575,
              0.03672,
              0.03947,
              0.04287,
              0.04712,
              0.05243,
              0.05909
            ],
            [
              0.02572,
              0.03669,
              0.03943,
              0.04285,
              0.0471,
              0.0524,
              0.05906
            ],
            [
              0.02569,
              0.03665,
              0.03939,
              0.0428,
              0.04706,
              0.05238,
              0.05903
            ],
            [
              0.02568,
              0.03661,
              0.03934,
              0.04275,
              0.04702,
              0.05234,
              0.05897
            ],
            [
              0.02572,
              0.03658,
              0.03932,
              0.04272,
              0.04697,
              0.05227,
              0.05894
            ]
          ]
        },
        "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.00806,
            0.01008,
            0.0126,
            0.01575,
            0.01969,
            0.02461
          ],
          "values": [
            [
              0.00631,
              -0.00464,
              -0.00739,
              -0.01082,
              -0.01511,
              -0.02048,
              -0.02718
            ],
            [
              0.00634,
              -0.00461,
              -0.00736,
              -0.01079,
              -0.01508,
              -0.02044,
              -0.02714
            ],
            [
              0.00637,
              -0.00458,
              -0.00732,
              -0.01075,
              -0.01504,
              -0.02041,
              -0.02711
            ],
            [
              0.00642,
              -0.00453,
              -0.00728,
              -0.01071,
              -0.01499,
              -0.02036,
              -0.02706
            ],
            [
              0.00646,
              -0.00449,
              -0.00723,
              -0.01066,
              -0.01495,
              -0.02032,
              -0.02702
            ],
            [
              0.00654,
              -0.00443,
              -0.00718,
              -0.01061,
              -0.0149,
              -0.02026,
              -0.02696
            ],
            [
              0.00663,
              -0.00436,
              -0.00711,
              -0.01054,
              -0.01484,
              -0.0202,
              -0.02691
            ],
            [
              0.00674,
              -0.00429,
              -0.00705,
              -0.01048,
              -0.01478,
              -0.02015,
              -0.02685
            ],
            [
              0.00687,
              -0.0042,
              -0.00696,
              -0.0104,
              -0.01471,
              -0.02008,
              -0.02679
            ],
            [
              0.00701,
              -0.00409,
              -0.00686,
              -0.01031,
              -0.01462,
              -0.02,
              -0.02671
            ],
            [
              0.00715,
              -0.00399,
              -0.00676,
              -0.01022,
              -0.01453,
              -0.01992,
              -0.02664
            ],
            [
              0.00727,
              -0.00387,
              -0.00665,
              -0.01011,
              -0.01443,
              -0.01983,
              -0.02656
            ],
            [
              0.00734,
              -0.00377,
              -0.00655,
              -0.01001,
              -0.01434,
              -0.01973,
              -0.02647
            ]
          ]
        },
        "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.00806,
            0.01008,
            0.0126,
            0.01575,
            0.01969,
            0.02461
          ],
          "values": [
            [
              0.02735,
              0.0382,
              0.04093,
              0.04431,
              0.04855,
              0.05383,
              0.06047
            ],
            [
              0.02732,
              0.03818,
              0.0409,
              0.04429,
              0.04852,
              0.05381,
              0.06044
            ],
            [
              0.0273,
              0.03815,
              0.04087,
              0.04427,
              0.0485,
              0.0538,
              0.06039
            ],
            [
              0.02727,
              0.03814,
              0.04086,
              0.04425,
              0.04848,
              0.05378,
              0.06039
            ],
            [
              0.02724,
              0.03812,
              0.04084,
              0.04423,
              0.04846,
              0.05375,
              0.06038
            ],
            [
              0.02722,
              0.0381,
              0.04083,
              0.04421,
              0.04844,
              0.05374,
              0.06034
            ],
            [
              0.02718,
              0.03809,
              0.04081,
              0.0442,
              0.04843,
              0.05374,
              0.06034
            ],
            [
              0.02716,
              0.03806,
              0.04079,
              0.04419,
              0.04841,
              0.05372,
              0.06036
            ],
            [
              0.02712,
              0.03803,
              0.04077,
              0.04417,
              0.0484,
              0.05371,
              0.06034
            ],
            [
              0.02712,
              0.03804,
              0.04076,
              0.04415,
              0.04839,
              0.05371,
              0.0603
            ],
            [
              0.02708,
              0.03801,
              0.04073,
              0.04413,
              0.04837,
              0.05369,
              0.06032
            ],
            [
              0.02709,
              0.03798,
              0.04071,
              0.04412,
              0.04837,
              0.05367,
              0.06031
            ],
            [
              0.02713,
              0.03797,
              0.04071,
              0.0441,
              0.04835,
              0.05366,
              0.06029
            ]
          ]
        },
        "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.00806,
            0.01008,
            0.0126,
            0.01575,
            0.01969,
            0.02461
          ],
          "values": [
            [
              0.00274,
              -0.00839,
              -0.01115,
              -0.01459,
              -0.01888,
              -0.02425,
              -0.03096
            ],
            [
              0.00279,
              -0.0084,
              -0.01116,
              -0.0146,
              -0.0189,
              -0.02427,
              -0.03097
            ],
            [
              0.00288,
              -0.00838,
              -0.01116,
              -0.01459,
              -0.01889,
              -0.02427,
              -0.03097
            ],
            [
              0.00296,
              -0.00838,
              -0.01114,
              -0.01459,
              -0.0189,
              -0.02427,
              -0.03098
            ],
            [
              0.00307,
              -0.00835,
              -0.01113,
              -0.01458,
              -0.01889,
              -0.02427,
              -0.03098
            ],
            [
              0.0032,
              -0.0083,
              -0.01109,
              -0.01455,
              -0.01887,
              -0.02426,
              -0.03097
            ],
            [
              0.00334,
              -0.00824,
              -0.01104,
              -0.01451,
              -0.01883,
              -0.02423,
              -0.03095
            ],
            [
              0.0035,
              -0.00814,
              -0.01095,
              -0.01443,
              -0.01877,
              -0.02418,
              -0.03091
            ],
            [
              0.00363,
              -0.00801,
              -0.01084,
              -0.01433,
              -0.01869,
              -0.02411,
              -0.03086
            ],
            [
              0.00373,
              -0.00786,
              -0.01069,
              -0.01421,
              -0.01857,
              -0.024,
              -0.03077
            ],
            [
              0.00378,
              -0.0077,
              -0.01053,
              -0.01405,
              -0.01843,
              -0.02389,
              -0.03065
            ],
            [
              0.00377,
              -0.00756,
              -0.01039,
              -0.01391,
              -0.01828,
              -0.02373,
              -0.03051
            ],
            [
              0.00368,
              -0.00748,
              -0.01029,
              -0.01378,
              -0.01816,
              -0.02359,
              -0.03038
            ]
          ]
        },
        "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.00806,
            0.01008,
            0.0126,
            0.01575,
            0.01969,
            0.02461
          ],
          "values": [
            [
              0.01166,
              0.02264,
              0.0254,
              0.02881,
              0.03304,
              0.03836,
              0.04502
            ],
            [
              0.0116,
              0.0227,
              0.02541,
              0.02884,
              0.03309,
              0.03841,
              0.04504
            ],
            [
              0.01157,
              0.02268,
              0.02542,
              0.02882,
              0.03309,
              0.03839,
              0.04505
            ],
            [
              0.0115,
              0.02267,
              0.02543,
              0.02881,
              0.03309,
              0.0384,
              0.04506
            ],
            [
              0.01141,
              0.02265,
              0.02539,
              0.0288,
              0.03309,
              0.03839,
              0.04506
            ],
            [
              0.01133,
              0.0226,
              0.02536,
              0.02878,
              0.03305,
              0.03838,
              0.04504
            ],
            [
              0.01124,
              0.02253,
              0.02528,
              0.02872,
              0.033,
              0.03833,
              0.04499
            ],
            [
              0.01116,
              0.02244,
              0.02522,
              0.02865,
              0.03294,
              0.03826,
              0.04491
            ],
            [
              0.0111,
              0.02235,
              0.02511,
              0.02856,
              0.03284,
              0.03818,
              0.04485
            ],
            [
              0.01108,
              0.02223,
              0.025,
              0.02845,
              0.03274,
              0.0381,
              0.04476
            ],
            [
              0.01112,
              0.02214,
              0.0249,
              0.02834,
              0.03262,
              0.03798,
              0.04465
            ],
            [
              0.01117,
              0.0221,
              0.02483,
              0.02826,
              0.03255,
              0.03788,
              0.04455
            ],
            [
              0.01131,
              0.02208,
              0.02481,
              0.02822,
              0.03249,
              0.03782,
              0.04445
            ]
          ]
        },
        "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.00806,
            0.01008,
            0.0126,
            0.01575,
            0.01969,
            0.02461
          ],
          "values": [
            [
              0.00274,
              -0.00839,
              -0.01115,
              -0.01459,
              -0.01889,
              -0.02426,
              -0.03096
            ],
            [
              0.00277,
              -0.00843,
              -0.01119,
              -0.01463,
              -0.01893,
              -0.02431,
              -0.03101
            ],
            [
              0.00289,
              -0.00839,
              -0.01116,
              -0.0146,
              -0.01891,
              -0.02428,
              -0.03099
            ],
            [
              0.00299,
              -0.0084,
              -0.01116,
              -0.01461,
              -0.01892,
              -0.0243,
              -0.03101
            ],
            [
              0.00312,
              -0.00836,
              -0.01115,
              -0.0146,
              -0.01892,
              -0.0243,
              -0.03102
            ],
            [
              0.00329,
              -0.00832,
              -0.01111,
              -0.01458,
              -0.01889,
              -0.02428,
              -0.03101
            ],
            [
              0.00345,
              -0.00824,
              -0.01104,
              -0.01452,
              -0.01885,
              -0.02425,
              -0.03098
            ],
            [
              0.00363,
              -0.00812,
              -0.01094,
              -0.01443,
              -0.01878,
              -0.02419,
              -0.03093
            ],
            [
              0.00378,
              -0.00797,
              -0.0108,
              -0.01431,
              -0.01867,
              -0.0241,
              -0.03086
            ],
            [
              0.00391,
              -0.00779,
              -0.01063,
              -0.01415,
              -0.01853,
              -0.02398,
              -0.03075
            ],
            [
              0.004,
              -0.00759,
              -0.01044,
              -0.01397,
              -0.01836,
              -0.02382,
              -0.03061
            ],
            [
              0.00405,
              -0.00741,
              -0.01025,
              -0.01377,
              -0.01816,
              -0.02363,
              -0.03044
            ],
            [
              0.00402,
              -0.00727,
              -0.01009,
              -0.0136,
              -0.01799,
              -0.02345,
              -0.03026
            ]
          ]
        },
        "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.00806,
            0.01008,
            0.0126,
            0.01575,
            0.01969,
            0.02461
          ],
          "values": [
            [
              0.01341,
              0.02439,
              0.0271,
              0.03051,
              0.03473,
              0.04004,
              0.04667
            ],
            [
              0.01338,
              0.02438,
              0.0271,
              0.0305,
              0.03475,
              0.04006,
              0.0467
            ],
            [
              0.01333,
              0.02435,
              0.02708,
              0.03047,
              0.03474,
              0.04004,
              0.0467
            ],
            [
              0.01327,
              0.02432,
              0.02705,
              0.03046,
              0.0347,
              0.04001,
              0.04666
            ],
            [
              0.0132,
              0.0243,
              0.02702,
              0.03042,
              0.0347,
              0.04001,
              0.04666
            ],
            [
              0.01312,
              0.02426,
              0.027,
              0.03041,
              0.0347,
              0.03999,
              0.04663
            ],
            [
              0.01304,
              0.0242,
              0.02694,
              0.03038,
              0.03461,
              0.03994,
              0.04657
            ],
            [
              0.01295,
              0.02413,
              0.02689,
              0.03029,
              0.03458,
              0.0399,
              0.04652
            ],
            [
              0.01289,
              0.02404,
              0.0268,
              0.03022,
              0.0345,
              0.03984,
              0.04648
            ],
            [
              0.01286,
              0.02396,
              0.02672,
              0.03013,
              0.03444,
              0.03978,
              0.0464
            ],
            [
              0.01288,
              0.02387,
              0.02664,
              0.03007,
              0.03433,
              0.03968,
              0.04632
            ],
            [
              0.01294,
              0.02384,
              0.02657,
              0.03,
              0.03426,
              0.0396,
              0.04623
            ],
            [
              0.01307,
              0.02386,
              0.02658,
              0.02997,
              0.03424,
              0.03955,
              0.04619
            ]
          ]
        },
        "when": "(!A1&B1) | (!A2&B1) | (!A3&B1)"
      }
    ],
    "max_capacitance": 0.02461,
    "max_transition": 1.0,
    "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.00806,
            0.01008,
            0.0126,
            0.01575,
            0.01969,
            0.02461
          ],
          "values": [
            [
              0.227,
              0.45444,
              0.50895,
              0.57644,
              0.66025,
              0.76457,
              0.89417
            ],
            [
              0.22918,
              0.45662,
              0.51111,
              0.57858,
              0.6624,
              0.76668,
              0.89637
            ],
            [
              0.23183,
              0.45932,
              0.51379,
              0.58129,
              0.66513,
              0.76942,
              0.89905
            ],
            [
              0.23594,
              0.4636,
              0.51811,
              0.58564,
              0.66948,
              0.77373,
              0.90334
            ],
            [
              0.24239,
              0.47022,
              0.5247,
              0.59228,
              0.67612,
              0.78034,
              0.90998
            ],
            [
              0.25214,
              0.48028,
              0.53485,
              0.60239,
              0.68628,
              0.79064,
              0.92043
            ],
            [
              0.26712,
              0.49578,
              0.55036,
              0.61804,
              0.70192,
              0.80639,
              0.93613
            ],
            [
              0.29003,
              0.51924,
              0.57393,
              0.64165,
              0.72568,
              0.83009,
              0.95986
            ],
            [
              0.32491,
              0.55476,
              0.6096,
              0.67742,
              0.76155,
              0.86605,
              0.99575
            ],
            [
              0.37897,
              0.60867,
              0.66359,
              0.73149,
              0.81569,
              0.92039,
              1.05029
            ],
            [
              0.45762,
              0.69052,
              0.74542,
              0.81332,
              0.89762,
              1.00232,
              1.13252
            ],
            [
              0.55107,
              0.81547,
              0.86987,
              0.93747,
              1.02177,
              1.12547,
              1.25567
            ],
            [
              0.6608,
              0.9818,
              1.0465,
              1.1212,
              1.2095,
              1.3144,
              1.4442
            ]
          ]
        },
        "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.00806,
            0.01008,
            0.0126,
            0.01575,
            0.01969,
            0.02461
          ],
          "values": [
            [
              0.21053,
              0.47369,
              0.53838,
              0.62046,
              0.72139,
              0.84811,
              1.00647
            ],
            [
              0.21365,
              0.47774,
              0.54299,
              0.6238,
              0.72605,
              0.85223,
              1.01204
            ],
            [
              0.21723,
              0.48221,
              0.54735,
              0.62855,
              0.73062,
              0.85683,
              1.01652
            ],
            [
              0.22278,
              0.48862,
              0.55393,
              0.63484,
              0.73725,
              0.86362,
              1.02328
            ],
            [
              0.2313,
              0.49784,
              0.56376,
              0.64497,
              0.74695,
              0.87391,
              1.03191
            ],
            [
              0.24453,
              0.51244,
              0.57768,
              0.65957,
              0.76153,
              0.88792,
              1.04772
            ],
            [
              0.26516,
              0.53352,
              0.59872,
              0.68122,
              0.78302,
              0.91053,
              1.06843
            ],
            [
              0.29681,
              0.56534,
              0.63088,
              0.71341,
              0.81498,
              0.94276,
              1.10096
            ],
            [
              0.34443,
              0.6129,
              0.67887,
              0.76075,
              0.86275,
              0.99025,
              1.14935
            ],
            [
              0.41315,
              0.68169,
              0.74769,
              0.82969,
              0.93249,
              1.06009,
              1.21949
            ],
            [
              0.50332,
              0.78252,
              0.84792,
              0.93032,
              1.03242,
              1.16072,
              1.31972
            ],
            [
              0.61657,
              0.92997,
              0.99627,
              1.07797,
              1.18057,
              1.30847,
              1.46797
            ],
            [
              0.7575,
              1.1382,
              1.212,
              1.298,
              1.4008,
              1.5292,
              1.6884
            ]
          ]
        },
        "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.00806,
            0.01008,
            0.0126,
            0.01575,
            0.01969,
            0.02461
          ],
          "values": [
            [
              0.17452,
              0.46248,
              0.53335,
              0.62153,
              0.73183,
              0.86954,
              1.0416
            ],
            [
              0.17447,
              0.46219,
              0.53337,
              0.62139,
              0.73166,
              0.86958,
              1.04125
            ],
            [
              0.17448,
              0.46219,
              0.53323,
              0.62173,
              0.73199,
              0.86938,
              1.04132
            ],
            [
              0.17445,
              0.46219,
              0.53328,
              0.6218,
              0.73192,
              0.86918,
              1.04065
            ],
            [
              0.17466,
              0.46253,
              0.53282,
              0.62174,
              0.732,
              0.86892,
              1.04151
            ],
            [
              0.17465,
              0.46201,
              0.53318,
              0.62146,
              0.73172,
              0.86994,
              1.04111
            ],
            [
              0.17451,
              0.46242,
              0.53277,
              0.62167,
              0.73161,
              0.86976,
              1.04142
            ],
            [
              0.17477,
              0.46246,
              0.53306,
              0.6217,
              0.73196,
              0.86929,
              1.04158
            ],
            [
              0.17344,
              0.46215,
              0.53326,
              0.6216,
              0.73191,
              0.86949,
              1.04154
            ],
            [
              0.18262,
              0.46201,
              0.53324,
              0.62164,
              0.73181,
              0.86953,
              1.04154
            ],
            [
              0.21192,
              0.47041,
              0.5375,
              0.6231,
              0.7318,
              0.8689,
              1.0405
            ],
            [
              0.2559,
              0.5099,
              0.571,
              0.6494,
              0.7504,
              0.8797,
              1.0444
            ],
            [
              0.3177,
              0.5981,
              0.6546,
              0.7258,
              0.8163,
              0.9326,
              1.085
            ]
          ]
        },
        "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.00806,
            0.01008,
            0.0126,
            0.01575,
            0.01969,
            0.02461
          ],
          "values": [
            [
              0.14011,
              0.48356,
              0.56908,
              0.6758,
              0.80945,
              0.97521,
              1.18285
            ],
            [
              0.14027,
              0.48352,
              0.56936,
              0.67647,
              0.80936,
              0.97528,
              1.18384
            ],
            [
              0.14048,
              0.48353,
              0.56952,
              0.6759,
              0.80977,
              0.97521,
              1.18459
            ],
            [
              0.14059,
              0.48341,
              0.56946,
              0.67638,
              0.80917,
              0.97553,
              1.18396
            ],
            [
              0.14079,
              0.48274,
              0.56919,
              0.67645,
              0.80854,
              0.97636,
              1.18352
            ],
            [
              0.14082,
              0.48365,
              0.56948,
              0.67557,
              0.80994,
              0.97505,
              1.18469
            ],
            [
              0.14121,
              0.48343,
              0.56903,
              0.67527,
              0.80954,
              0.97574,
              1.18365
            ],
            [
              0.14141,
              0.48328,
              0.56883,
              0.67543,
              0.80941,
              0.97639,
              1.18358
            ],
            [
              0.14215,
              0.48369,
              0.56882,
              0.67564,
              0.8093,
              0.97579,
              1.18359
            ],
            [
              0.14761,
              0.48316,
              0.56957,
              0.67645,
              0.80918,
              0.9759,
              1.1845
            ],
            [
              0.17065,
              0.4855,
              0.5691,
              0.6765,
              0.8084,
              0.9766,
              1.1839
            ],
            [
              0.2141,
              0.504,
              0.5835,
              0.6838,
              0.8121,
              0.9769,
              1.1843
            ],
            [
              0.2753,
              0.5616,
              0.632,
              0.7239,
              0.844,
              0.9975,
              1.1945
            ]
          ]
        },
        "sdf_cond": "(A2&A3&!B1&!B2)",
        "timing_sense": "negative_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.00806,
            0.01008,
            0.0126,
            0.01575,
            0.01969,
            0.02461
          ],
          "values": [
            [
              0.16748,
              0.39925,
              0.45401,
              0.52173,
              0.60572,
              0.71014,
              0.83986
            ],
            [
              0.1695,
              0.4013,
              0.45602,
              0.52374,
              0.60774,
              0.71215,
              0.8419
            ],
            [
              0.17201,
              0.40381,
              0.45857,
              0.5263,
              0.61031,
              0.71473,
              0.84444
            ],
            [
              0.17592,
              0.40792,
              0.46268,
              0.53043,
              0.61442,
              0.71886,
              0.84859
            ],
            [
              0.18201,
              0.41424,
              0.46901,
              0.53676,
              0.62077,
              0.72525,
              0.85502
            ],
            [
              0.19155,
              0.42402,
              0.47884,
              0.54662,
              0.63067,
              0.73519,
              0.86498
            ],
            [
              0.2062,
              0.43919,
              0.49405,
              0.56187,
              0.64597,
              0.75054,
              0.88035
            ],
            [
              0.22899,
              0.46247,
              0.51741,
              0.58531,
              0.66948,
              0.77406,
              0.90396
            ],
            [
              0.26457,
              0.49793,
              0.553,
              0.62099,
              0.70525,
              0.80985,
              0.93985
            ],
            [
              0.31995,
              0.55189,
              0.607,
              0.67509,
              0.75949,
              0.86419,
              0.99429
            ],
            [
              0.38655,
              0.63432,
              0.68922,
              0.75712,
              0.84152,
              0.94632,
              1.07652
            ],
            [
              0.46517,
              0.75807,
              0.81487,
              0.88227,
              0.96627,
              1.07077,
              1.20077
            ],
            [
              0.5552,
              0.912,
              0.9807,
              1.0604,
              1.1527,
              1.2596,
              1.3891
            ]
          ]
        },
        "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.00806,
            0.01008,
            0.0126,
            0.01575,
            0.01969,
            0.02461
          ],
          "values": [
            [
              0.23145,
              0.57474,
              0.6596,
              0.76603,
              0.8996,
              1.06597,
              1.27267
            ],
            [
              0.23438,
              0.57881,
              0.66421,
              0.77058,
              0.90358,
              1.06954,
              1.27654
            ],
            [
              0.23784,
              0.58326,
              0.66877,
              0.77478,
              0.90853,
              1.07472,
              1.28232
            ],
            [
              0.24304,
              0.58967,
              0.67529,
              0.78144,
              0.91505,
              1.08038,
              1.28987
            ],
            [
              0.25132,
              0.59926,
              0.68494,
              0.79129,
              0.92498,
              1.09161,
              1.29981
            ],
            [
              0.26404,
              0.61332,
              0.69866,
              0.80597,
              0.93882,
              1.10532,
              1.31252
            ],
            [
              0.28403,
              0.63423,
              0.71961,
              0.82718,
              0.96073,
              1.12683,
              1.33613
            ],
            [
              0.3152,
              0.66563,
              0.75128,
              0.85886,
              0.99276,
              1.15956,
              1.36806
            ],
            [
              0.36188,
              0.7119,
              0.79775,
              0.90485,
              1.03865,
              1.20575,
              1.41515
            ],
            [
              0.42841,
              0.77779,
              0.86419,
              0.97209,
              1.10539,
              1.27269,
              1.48239
            ],
            [
              0.51552,
              0.87242,
              0.95892,
              1.06602,
              1.20012,
              1.36702,
              1.57692
            ],
            [
              0.62397,
              1.00867,
              1.09487,
              1.20227,
              1.33647,
              1.50377,
              1.71167
            ],
            [
              0.7602,
              1.2039,
              1.294,
              1.4018,
              1.5361,
              1.7029,
              1.9116
            ]
          ]
        },
        "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.00806,
            0.01008,
            0.0126,
            0.01575,
            0.01969,
            0.02461
          ],
          "values": [
            [
              0.14808,
              0.43148,
              0.50191,
              0.58931,
              0.69919,
              0.83597,
              1.00797
            ],
            [
              0.14812,
              0.43137,
              0.50193,
              0.58943,
              0.69921,
              0.83645,
              1.00804
            ],
            [
              0.14804,
              0.43152,
              0.50196,
              0.5894,
              0.69913,
              0.83656,
              1.00794
            ],
            [
              0.14819,
              0.43141,
              0.50197,
              0.58916,
              0.69935,
              0.83643,
              1.00805
            ],
            [
              0.14816,
              0.43117,
              0.50166,
              0.5895,
              0.69953,
              0.8364,
              1.0075
            ],
            [
              0.14812,
              0.43155,
              0.50196,
              0.5896,
              0.69951,
              0.83656,
              1.00754
            ],
            [
              0.14762,
              0.43115,
              0.50198,
              0.5897,
              0.6995,
              0.83672,
              1.00754
            ],
            [
              0.14468,
              0.43142,
              0.50195,
              0.5897,
              0.69945,
              0.83678,
              1.00767
            ],
            [
              0.14719,
              0.43081,
              0.50167,
              0.58958,
              0.6994,
              0.83671,
              1.00715
            ],
            [
              0.16423,
              0.43057,
              0.50099,
              0.58905,
              0.69932,
              0.83598,
              1.00798
            ],
            [
              0.19425,
              0.44513,
              0.51043,
              0.5938,
              0.7002,
              0.8361,
              1.0077
            ],
            [
              0.2371,
              0.4921,
              0.5506,
              0.6268,
              0.7245,
              0.8513,
              1.0138
            ],
            [
              0.2965,
              0.5852,
              0.6418,
              0.7104,
              0.7975,
              0.9114,
              1.0607
            ]
          ]
        },
        "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.00806,
            0.01008,
            0.0126,
            0.01575,
            0.01969,
            0.02461
          ],
          "values": [
            [
              0.14095,
              0.59253,
              0.70467,
              0.84645,
              1.02297,
              1.24299,
              1.51872
            ],
            [
              0.14109,
              0.59247,
              0.70576,
              0.84586,
              1.02326,
              1.24381,
              1.51862
            ],
            [
              0.14105,
              0.59235,
              0.70576,
              0.84597,
              1.02317,
              1.24365,
              1.51898
            ],
            [
              0.14131,
              0.59235,
              0.70582,
              0.84594,
              1.02209,
              1.24332,
              1.5176
            ],
            [
              0.14165,
              0.59244,
              0.70574,
              0.84666,
              1.02303,
              1.24304,
              1.51729
            ],
            [
              0.14175,
              0.59261,
              0.70503,
              0.8468,
              1.02178,
              1.24356,
              1.51845
            ],
            [
              0.14196,
              0.59252,
              0.70469,
              0.8469,
              1.02229,
              1.24346,
              1.51759
            ],
            [
              0.14219,
              0.59263,
              0.7049,
              0.84686,
              1.02275,
              1.24249,
              1.5174
            ],
            [
              0.14327,
              0.5924,
              0.70475,
              0.84616,
              1.02287,
              1.24316,
              1.5175
            ],
            [
              0.14829,
              0.59203,
              0.70494,
              0.84688,
              1.0224,
              1.2425,
              1.5171
            ],
            [
              0.1683,
              0.5931,
              0.7059,
              0.8459,
              1.0222,
              1.2423,
              1.5183
            ],
            [
              0.201,
              0.6056,
              0.713,
              0.8488,
              1.0237,
              1.2425,
              1.5163
            ],
            [
              0.2459,
              0.6495,
              0.7501,
              0.8789,
              1.0436,
              1.2533,
              1.5196
            ]
          ]
        },
        "sdf_cond": "(A2&A3&!B1&B2)",
        "timing_sense": "negative_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.00806,
            0.01008,
            0.0126,
            0.01575,
            0.01969,
            0.02461
          ],
          "values": [
            [
              0.17223,
              0.40339,
              0.4581,
              0.5258,
              0.6098,
              0.71423,
              0.84402
            ],
            [
              0.17427,
              0.40535,
              0.4601,
              0.5278,
              0.61181,
              0.71623,
              0.84601
            ],
            [
              0.17674,
              0.40788,
              0.46263,
              0.53033,
              0.61435,
              0.71877,
              0.84857
            ],
            [
              0.18066,
              0.41197,
              0.46675,
              0.53444,
              0.61845,
              0.72291,
              0.85269
            ],
            [
              0.18681,
              0.41827,
              0.47305,
              0.54078,
              0.62482,
              0.7293,
              0.85911
            ],
            [
              0.19631,
              0.42807,
              0.48289,
              0.55069,
              0.63475,
              0.73925,
              0.8691
            ],
            [
              0.21091,
              0.4433,
              0.49817,
              0.56597,
              0.65009,
              0.75464,
              0.88447
            ],
            [
              0.23369,
              0.46657,
              0.52153,
              0.58942,
              0.67361,
              0.7782,
              0.90816
            ],
            [
              0.26924,
              0.50209,
              0.55709,
              0.62511,
              0.70939,
              0.81405,
              0.94405
            ],
            [
              0.32475,
              0.55607,
              0.61119,
              0.67919,
              0.76359,
              0.86839,
              0.99849
            ],
            [
              0.39238,
              0.63842,
              0.69332,
              0.76132,
              0.84572,
              0.95052,
              1.08072
            ],
            [
              0.47237,
              0.76247,
              0.81897,
              0.88627,
              0.97037,
              1.07497,
              1.20497
            ],
            [
              0.5642,
              0.9173,
              0.9857,
              1.0651,
              1.1572,
              1.2638,
              1.3933
            ]
          ]
        },
        "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.00806,
            0.01008,
            0.0126,
            0.01575,
            0.01969,
            0.02461
          ],
          "values": [
            [
              0.26374,
              0.59747,
              0.68026,
              0.78354,
              0.91253,
              1.07367,
              1.27477
            ],
            [
              0.26715,
              0.6016,
              0.68447,
              0.78779,
              0.91673,
              1.07794,
              1.27904
            ],
            [
              0.27099,
              0.60613,
              0.68906,
              0.79241,
              0.9214,
              1.08272,
              1.28382
            ],
            [
              0.27666,
              0.61262,
              0.69554,
              0.79902,
              0.92812,
              1.08948,
              1.29068
            ],
            [
              0.28523,
              0.6221,
              0.70522,
              0.80875,
              0.93794,
              1.09931,
              1.30061
            ],
            [
              0.29833,
              0.63628,
              0.71947,
              0.82304,
              0.95242,
              1.11392,
              1.31532
            ],
            [
              0.31848,
              0.65732,
              0.7406,
              0.84441,
              0.97393,
              1.13543,
              1.33703
            ],
            [
              0.34947,
              0.68889,
              0.77234,
              0.87626,
              1.00586,
              1.16766,
              1.36926
            ],
            [
              0.39594,
              0.73534,
              0.81895,
              0.92295,
              1.05265,
              1.21465,
              1.41645
            ],
            [
              0.46273,
              0.80179,
              0.88549,
              0.98979,
              1.11969,
              1.28189,
              1.48389
            ],
            [
              0.55492,
              0.89652,
              0.98022,
              1.08442,
              1.21452,
              1.37692,
              1.57912
            ],
            [
              0.67047,
              1.03347,
              1.11717,
              1.22127,
              1.35137,
              1.51367,
              1.71617
            ],
            [
              0.8172,
              1.2322,
              1.3183,
              1.4227,
              1.5526,
              1.7149,
              1.9174
            ]
          ]
        },
        "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.00806,
            0.01008,
            0.0126,
            0.01575,
            0.01969,
            0.02461
          ],
          "values": [
            [
              0.18129,
              0.46067,
              0.53016,
              0.61784,
              0.72764,
              0.86435,
              1.03539
            ],
            [
              0.18127,
              0.46009,
              0.53012,
              0.61794,
              0.7276,
              0.86451,
              1.03553
            ],
            [
              0.18129,
              0.46036,
              0.53045,
              0.61777,
              0.72767,
              0.86449,
              1.03546
            ],
            [
              0.18135,
              0.46023,
              0.53046,
              0.61781,
              0.72755,
              0.86477,
              1.03578
            ],
            [
              0.18131,
              0.46008,
              0.53006,
              0.618,
              0.72767,
              0.86452,
              1.03607
            ],
            [
              0.18126,
              0.46028,
              0.53042,
              0.61786,
              0.72736,
              0.86447,
              1.03612
            ],
            [
              0.18094,
              0.46043,
              0.53047,
              0.61782,
              0.72732,
              0.86448,
              1.03604
            ],
            [
              0.17821,
              0.4603,
              0.53014,
              0.61793,
              0.72767,
              0.86476,
              1.03614
            ],
            [
              0.18061,
              0.45983,
              0.53037,
              0.61793,
              0.72762,
              0.86477,
              1.03599
            ],
            [
              0.19726,
              0.45994,
              0.52962,
              0.61772,
              0.72753,
              0.86462,
              1.03562
            ],
            [
              0.23166,
              0.47392,
              0.53877,
              0.6221,
              0.7285,
              0.8648,
              1.0361
            ],
            [
              0.2804,
              0.521,
              0.5798,
              0.6553,
              0.7524,
              0.8791,
              1.0414
            ],
            [
              0.3487,
              0.6163,
              0.6711,
              0.7391,
              0.8262,
              0.9403,
              1.0884
            ]
          ]
        },
        "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.00806,
            0.01008,
            0.0126,
            0.01575,
            0.01969,
            0.02461
          ],
          "values": [
            [
              0.16476,
              0.60637,
              0.71643,
              0.85373,
              1.02585,
              1.24002,
              1.50649
            ],
            [
              0.16476,
              0.60583,
              0.71674,
              0.85346,
              1.02553,
              1.23989,
              1.50774
            ],
            [
              0.16483,
              0.60587,
              0.71684,
              0.85288,
              1.02534,
              1.24041,
              1.50777
            ],
            [
              0.16479,
              0.60665,
              0.71638,
              0.85405,
              1.02573,
              1.2388,
              1.50788
            ],
            [
              0.16494,
              0.6063,
              0.71606,
              0.85395,
              1.02591,
              1.23971,
              1.50766
            ],
            [
              0.16501,
              0.60659,
              0.7158,
              0.85398,
              1.02452,
              1.23939,
              1.50662
            ],
            [
              0.16521,
              0.60657,
              0.71655,
              0.85433,
              1.02559,
              1.23972,
              1.50787
            ],
            [
              0.16547,
              0.60663,
              0.71645,
              0.85404,
              1.02581,
              1.23972,
              1.50694
            ],
            [
              0.16594,
              0.60667,
              0.71663,
              0.85353,
              1.02501,
              1.23998,
              1.50762
            ],
            [
              0.16863,
              0.60587,
              0.71632,
              0.85334,
              1.0257,
              1.2401,
              1.5068
            ],
            [
              0.1847,
              0.6073,
              0.7172,
              0.8543,
              1.0247,
              1.2403,
              1.5078
            ],
            [
              0.2189,
              0.6184,
              0.7229,
              0.8567,
              1.026,
              1.2404,
              1.5078
            ],
            [
              0.2662,
              0.6595,
              0.7586,
              0.8848,
              1.0446,
              1.2492,
              1.5096
            ]
          ]
        },
        "sdf_cond": "(A2&A3&B1&!B2)",
        "timing_sense": "negative_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.00806,
            0.01008,
            0.0126,
            0.01575,
            0.01969,
            0.02461
          ],
          "values": [
            [
              0.24579,
              0.47325,
              0.52774,
              0.5952,
              0.67903,
              0.78334,
              0.91292
            ],
            [
              0.2482,
              0.47567,
              0.53013,
              0.59762,
              0.68141,
              0.78568,
              0.91541
            ],
            [
              0.2512,
              0.47867,
              0.53322,
              0.60065,
              0.68445,
              0.78881,
              0.91838
            ],
            [
              0.25581,
              0.48334,
              0.53783,
              0.60528,
              0.6891,
              0.79338,
              0.923
            ],
            [
              0.26245,
              0.49012,
              0.5446,
              0.61209,
              0.69598,
              0.80019,
              0.92987
            ],
            [
              0.27197,
              0.49992,
              0.55441,
              0.62192,
              0.70577,
              0.81008,
              0.93982
            ],
            [
              0.2859,
              0.51426,
              0.5689,
              0.63642,
              0.72033,
              0.82469,
              0.95443
            ],
            [
              0.30681,
              0.53579,
              0.59049,
              0.65813,
              0.74216,
              0.84656,
              0.97636
            ],
            [
              0.33843,
              0.5682,
              0.62301,
              0.6908,
              0.77485,
              0.87945,
              1.00945
            ],
            [
              0.3869,
              0.61707,
              0.67199,
              0.73989,
              0.82419,
              0.92899,
              1.05899
            ],
            [
              0.45492,
              0.69052,
              0.74572,
              0.81382,
              0.89832,
              1.00322,
              1.13352
            ],
            [
              0.54337,
              0.80047,
              0.85647,
              0.92487,
              1.00947,
              1.11477,
              1.24537
            ],
            [
              0.6541,
              0.9484,
              1.0107,
              1.0853,
              1.1747,
              1.2819,
              1.413
            ]
          ]
        },
        "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.00806,
            0.01008,
            0.0126,
            0.01575,
            0.01969,
            0.02461
          ],
          "values": [
            [
              0.23769,
              0.50107,
              0.56653,
              0.64806,
              0.74988,
              0.87714,
              1.03597
            ],
            [
              0.24096,
              0.50452,
              0.56994,
              0.65155,
              0.75335,
              0.88065,
              1.03944
            ],
            [
              0.24481,
              0.50869,
              0.57417,
              0.65573,
              0.75755,
              0.88485,
              1.04372
            ],
            [
              0.25061,
              0.51502,
              0.58044,
              0.66207,
              0.76394,
              0.89121,
              1.05008
            ],
            [
              0.25953,
              0.52444,
              0.59006,
              0.67167,
              0.77361,
              0.90093,
              1.05981
            ],
            [
              0.27312,
              0.53884,
              0.60437,
              0.68612,
              0.78808,
              0.91549,
              1.07432
            ],
            [
              0.29408,
              0.5602,
              0.62587,
              0.70768,
              0.80966,
              0.93713,
              1.09613
            ],
            [
              0.32587,
              0.59262,
              0.65832,
              0.74024,
              0.84236,
              0.96986,
              1.12886
            ],
            [
              0.37353,
              0.64019,
              0.70602,
              0.78795,
              0.89015,
              1.01775,
              1.17685
            ],
            [
              0.44257,
              0.70939,
              0.77529,
              0.85729,
              0.95959,
              1.08729,
              1.24659
            ],
            [
              0.53752,
              0.80972,
              0.87552,
              0.95752,
              1.05992,
              1.18782,
              1.34712
            ],
            [
              0.65767,
              0.95687,
              1.02277,
              1.10477,
              1.20717,
              1.33507,
              1.49447
            ],
            [
              0.8096,
              1.1671,
              1.2391,
              1.3235,
              1.4261,
              1.5539,
              1.7135
            ]
          ]
        },
        "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.00806,
            0.01008,
            0.0126,
            0.01575,
            0.01969,
            0.02461
          ],
          "values": [
            [
              0.17449,
              0.46249,
              0.53316,
              0.62139,
              0.73156,
              0.86961,
              1.04168
            ],
            [
              0.17469,
              0.46255,
              0.53318,
              0.6217,
              0.73134,
              0.86909,
              1.0415
            ],
            [
              0.17449,
              0.46208,
              0.53344,
              0.62151,
              0.73132,
              0.86944,
              1.04079
            ],
            [
              0.17449,
              0.46237,
              0.53343,
              0.62167,
              0.73138,
              0.8698,
              1.04146
            ],
            [
              0.17464,
              0.46221,
              0.5328,
              0.6213,
              0.73192,
              0.86936,
              1.04076
            ],
            [
              0.17473,
              0.46253,
              0.53321,
              0.62138,
              0.73139,
              0.86982,
              1.04158
            ],
            [
              0.17478,
              0.46248,
              0.53351,
              0.62127,
              0.7319,
              0.86983,
              1.04175
            ],
            [
              0.17451,
              0.46201,
              0.53336,
              0.62151,
              0.73161,
              0.86954,
              1.04147
            ],
            [
              0.17452,
              0.46201,
              0.5332,
              0.62164,
              0.73185,
              0.86964,
              1.04126
            ],
            [
              0.18098,
              0.46215,
              0.53282,
              0.62113,
              0.73134,
              0.86957,
              1.04129
            ],
            [
              0.20048,
              0.46918,
              0.5379,
              0.6237,
              0.7325,
              0.8692,
              1.0414
            ],
            [
              0.2327,
              0.4948,
              0.5598,
              0.6424,
              0.7459,
              0.8785,
              1.0454
            ],
            [
              0.2829,
              0.555,
              0.6158,
              0.692,
              0.7896,
              0.9138,
              1.0736
            ]
          ]
        },
        "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.00806,
            0.01008,
            0.0126,
            0.01575,
            0.01969,
            0.02461
          ],
          "values": [
            [
              0.1625,
              0.50721,
              0.59381,
              0.69974,
              0.83442,
              1.00101,
              1.20999
            ],
            [
              0.16248,
              0.50676,
              0.59337,
              0.70085,
              0.83484,
              1.00174,
              1.21137
            ],
            [
              0.16237,
              0.50721,
              0.59383,
              0.70034,
              0.83482,
              1.0015,
              1.21133
            ],
            [
              0.16264,
              0.50665,
              0.59269,
              0.70105,
              0.83455,
              1.0018,
              1.21072
            ],
            [
              0.16271,
              0.50655,
              0.59277,
              0.70085,
              0.83501,
              1.00134,
              1.2096
            ],
            [
              0.16251,
              0.50668,
              0.5929,
              0.70116,
              0.8337,
              1.00248,
              1.21146
            ],
            [
              0.16286,
              0.50674,
              0.59344,
              0.70101,
              0.83449,
              1.00244,
              1.21131
            ],
            [
              0.16301,
              0.50747,
              0.5933,
              0.7011,
              0.8349,
              1.001,
              1.21034
            ],
            [
              0.16319,
              0.50662,
              0.59385,
              0.70106,
              0.83457,
              1.00099,
              1.2114
            ],
            [
              0.16659,
              0.50739,
              0.59293,
              0.70095,
              0.83508,
              1.0016,
              1.2115
            ],
            [
              0.1851,
              0.5079,
              0.5941,
              0.6999,
              0.8347,
              1.0024,
              1.2112
            ],
            [
              0.2265,
              0.5255,
              0.6057,
              0.7079,
              0.8366,
              1.003,
              1.2102
            ],
            [
              0.2873,
              0.5775,
              0.6517,
              0.7454,
              0.8666,
              1.0214,
              1.2196
            ]
          ]
        },
        "sdf_cond": "(A1&A3&!B1&!B2)",
        "timing_sense": "negative_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.00806,
            0.01008,
            0.0126,
            0.01575,
            0.01969,
            0.02461
          ],
          "values": [
            [
              0.18622,
              0.41803,
              0.47276,
              0.54045,
              0.62447,
              0.72887,
              0.85863
            ],
            [
              0.18846,
              0.42025,
              0.47499,
              0.54271,
              0.62672,
              0.73112,
              0.86087
            ],
            [
              0.19131,
              0.42314,
              0.47788,
              0.5456,
              0.62962,
              0.734,
              0.86376
            ],
            [
              0.1957,
              0.42751,
              0.48229,
              0.55,
              0.63399,
              0.73847,
              0.86818
            ],
            [
              0.20206,
              0.43402,
              0.48879,
              0.55653,
              0.64054,
              0.74498,
              0.8747
            ],
            [
              0.21127,
              0.4435,
              0.4983,
              0.56603,
              0.65004,
              0.75451,
              0.88429
            ],
            [
              0.22494,
              0.45759,
              0.51247,
              0.58025,
              0.66426,
              0.76874,
              0.89853
            ],
            [
              0.24573,
              0.47893,
              0.53385,
              0.60169,
              0.68584,
              0.79037,
              0.92026
            ],
            [
              0.27799,
              0.51121,
              0.56625,
              0.63422,
              0.71846,
              0.82315,
              0.95315
            ],
            [
              0.32504,
              0.56004,
              0.61524,
              0.68329,
              0.76769,
              0.87249,
              1.00269
            ],
            [
              0.38673,
              0.63382,
              0.68902,
              0.75742,
              0.84192,
              0.94702,
              1.07732
            ],
            [
              0.46527,
              0.74137,
              0.79927,
              0.86857,
              0.95337,
              1.05867,
              1.18927
            ],
            [
              0.56,
              0.8823,
              0.9473,
              1.0243,
              1.1161,
              1.2256,
              1.3571
            ]
          ]
        },
        "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.00806,
            0.01008,
            0.0126,
            0.01575,
            0.01969,
            0.02461
          ],
          "values": [
            [
              0.26908,
              0.61599,
              0.70242,
              0.81006,
              0.94456,
              1.11267,
              1.32237
            ],
            [
              0.27224,
              0.61948,
              0.70578,
              0.8135,
              0.948,
              1.11614,
              1.32584
            ],
            [
              0.27594,
              0.62359,
              0.70991,
              0.81765,
              0.95217,
              1.12032,
              1.33012
            ],
            [
              0.28153,
              0.6298,
              0.71625,
              0.82398,
              0.95847,
              1.12668,
              1.33638
            ],
            [
              0.29016,
              0.63917,
              0.72568,
              0.8335,
              0.96811,
              1.13631,
              1.34611
            ],
            [
              0.3034,
              0.65338,
              0.7399,
              0.84779,
              0.98252,
              1.15072,
              1.36062
            ],
            [
              0.32397,
              0.67455,
              0.76121,
              0.86921,
              1.00393,
              1.17223,
              1.38233
            ],
            [
              0.3553,
              0.70662,
              0.79335,
              0.90146,
              1.03636,
              1.20476,
              1.41476
            ],
            [
              0.40199,
              0.75315,
              0.84005,
              0.94825,
              1.08325,
              1.25195,
              1.46215
            ],
            [
              0.46862,
              0.81979,
              0.90679,
              1.01509,
              1.15019,
              1.31889,
              1.52919
            ],
            [
              0.56012,
              0.91392,
              1.00092,
              1.10922,
              1.24442,
              1.41332,
              1.62372
            ],
            [
              0.67477,
              1.04907,
              1.13597,
              1.24427,
              1.37957,
              1.54837,
              1.75907
            ],
            [
              0.8202,
              1.2444,
              1.3334,
              1.4419,
              1.577,
              1.746,
              1.9567
            ]
          ]
        },
        "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.00806,
            0.01008,
            0.0126,
            0.01575,
            0.01969,
            0.02461
          ],
          "values": [
            [
              0.14802,
              0.43136,
              0.50171,
              0.58972,
              0.6993,
              0.8367,
              1.00805
            ],
            [
              0.14783,
              0.43159,
              0.50192,
              0.58957,
              0.6994,
              0.8367,
              1.00801
            ],
            [
              0.14797,
              0.43121,
              0.50191,
              0.58942,
              0.6987,
              0.83662,
              1.00807
            ],
            [
              0.14791,
              0.43154,
              0.50205,
              0.58937,
              0.69948,
              0.83633,
              1.00808
            ],
            [
              0.14796,
              0.43155,
              0.50203,
              0.58967,
              0.69924,
              0.83669,
              1.00792
            ],
            [
              0.14768,
              0.43131,
              0.50138,
              0.58931,
              0.69929,
              0.83612,
              1.00743
            ],
            [
              0.14727,
              0.43144,
              0.50174,
              0.58968,
              0.69946,
              0.83674,
              1.00767
            ],
            [
              0.14587,
              0.43115,
              0.50178,
              0.58958,
              0.69933,
              0.83673,
              1.00801
            ],
            [
              0.14847,
              0.43126,
              0.50124,
              0.58949,
              0.69928,
              0.83666,
              1.00752
            ],
            [
              0.15902,
              0.43196,
              0.50112,
              0.58943,
              0.69915,
              0.83664,
              1.008
            ],
            [
              0.18042,
              0.44207,
              0.5091,
              0.5938,
              0.7014,
              0.8362,
              1.0078
            ],
            [
              0.214,
              0.4729,
              0.5355,
              0.616,
              0.7182,
              0.8481,
              1.0143
            ],
            [
              0.2644,
              0.5369,
              0.5976,
              0.6713,
              0.7668,
              0.8888,
              1.0458
            ]
          ]
        },
        "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.00806,
            0.01008,
            0.0126,
            0.01575,
            0.01969,
            0.02461
          ],
          "values": [
            [
              0.17095,
              0.62975,
              0.744,
              0.88721,
              1.06527,
              1.28785,
              1.56591
            ],
            [
              0.171,
              0.62979,
              0.74435,
              0.88721,
              1.0644,
              1.28703,
              1.56558
            ],
            [
              0.17104,
              0.62979,
              0.7444,
              0.88724,
              1.0643,
              1.28721,
              1.56655
            ],
            [
              0.17105,
              0.62969,
              0.74446,
              0.88668,
              1.06562,
              1.28808,
              1.56616
            ],
            [
              0.17123,
              0.62976,
              0.74414,
              0.88719,
              1.06511,
              1.2874,
              1.5666
            ],
            [
              0.17123,
              0.62975,
              0.7444,
              0.88665,
              1.06406,
              1.28822,
              1.56476
            ],
            [
              0.17136,
              0.62976,
              0.7443,
              0.8872,
              1.0641,
              1.28787,
              1.56668
            ],
            [
              0.17161,
              0.62956,
              0.74438,
              0.88727,
              1.06459,
              1.28769,
              1.56527
            ],
            [
              0.17193,
              0.62984,
              0.74438,
              0.88725,
              1.06563,
              1.28661,
              1.56496
            ],
            [
              0.17465,
              0.62952,
              0.74434,
              0.88714,
              1.0656,
              1.2875,
              1.5666
            ],
            [
              0.1902,
              0.63,
              0.7443,
              0.8873,
              1.064,
              1.2885,
              1.5658
            ],
            [
              0.2224,
              0.6404,
              0.7503,
              0.8896,
              1.0651,
              1.2883,
              1.5662
            ],
            [
              0.2666,
              0.6806,
              0.7836,
              0.9156,
              1.0825,
              1.2965,
              1.5676
            ]
          ]
        },
        "sdf_cond": "(A1&A3&!B1&B2)",
        "timing_sense": "negative_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.00806,
            0.01008,
            0.0126,
            0.01575,
            0.01969,
            0.02461
          ],
          "values": [
            [
              0.19109,
              0.42224,
              0.47697,
              0.54466,
              0.62868,
              0.73312,
              0.86289
            ],
            [
              0.19334,
              0.42446,
              0.4792,
              0.54691,
              0.63092,
              0.73534,
              0.86514
            ],
            [
              0.19619,
              0.42736,
              0.48208,
              0.54979,
              0.6338,
              0.73824,
              0.86802
            ],
            [
              0.20058,
              0.43174,
              0.48651,
              0.5542,
              0.63823,
              0.74267,
              0.87245
            ],
            [
              0.20695,
              0.43826,
              0.49302,
              0.56075,
              0.64476,
              0.74921,
              0.87898
            ],
            [
              0.21617,
              0.44777,
              0.50253,
              0.57026,
              0.6543,
              0.75878,
              0.8886
            ],
            [
              0.22983,
              0.46187,
              0.5167,
              0.58451,
              0.66859,
              0.77305,
              0.90293
            ],
            [
              0.25058,
              0.48323,
              0.53812,
              0.60597,
              0.69014,
              0.79472,
              0.92466
            ],
            [
              0.28268,
              0.51554,
              0.57052,
              0.6385,
              0.72277,
              0.82745,
              0.95745
            ],
            [
              0.32998,
              0.56434,
              0.61952,
              0.68769,
              0.77209,
              0.87689,
              1.00709
            ],
            [
              0.39216,
              0.63802,
              0.69332,
              0.76162,
              0.84632,
              0.95132,
              1.08172
            ],
            [
              0.47157,
              0.74587,
              0.80367,
              0.87277,
              0.95767,
              1.06297,
              1.19367
            ],
            [
              0.5677,
              0.8873,
              0.9521,
              1.029,
              1.1206,
              1.2299,
              1.3614
            ]
          ]
        },
        "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.00806,
            0.01008,
            0.0126,
            0.01575,
            0.01969,
            0.02461
          ],
          "values": [
            [
              0.29758,
              0.63058,
              0.71333,
              0.81647,
              0.94521,
              1.10597,
              1.30667
            ],
            [
              0.30085,
              0.63402,
              0.71679,
              0.81994,
              0.94864,
              1.10954,
              1.31024
            ],
            [
              0.30469,
              0.63815,
              0.72093,
              0.82411,
              0.95283,
              1.11372,
              1.31442
            ],
            [
              0.3105,
              0.64445,
              0.72728,
              0.8304,
              0.95917,
              1.12007,
              1.32088
            ],
            [
              0.31942,
              0.65393,
              0.73677,
              0.84,
              0.96881,
              1.12971,
              1.33051
            ],
            [
              0.33291,
              0.66815,
              0.75106,
              0.85435,
              0.98322,
              1.14412,
              1.34502
            ],
            [
              0.35365,
              0.68945,
              0.77243,
              0.87583,
              1.00473,
              1.16583,
              1.36673
            ],
            [
              0.3851,
              0.7216,
              0.80467,
              0.90816,
              1.03716,
              1.19826,
              1.39926
            ],
            [
              0.43187,
              0.76835,
              0.85155,
              0.95515,
              1.08435,
              1.24565,
              1.44675
            ],
            [
              0.49875,
              0.83529,
              0.91859,
              1.02219,
              1.15149,
              1.31289,
              1.51409
            ],
            [
              0.59282,
              0.93012,
              1.01342,
              1.11712,
              1.24652,
              1.40802,
              1.60932
            ],
            [
              0.71437,
              1.06657,
              1.14987,
              1.25357,
              1.38287,
              1.54447,
              1.74607
            ],
            [
              0.8689,
              1.2656,
              1.3499,
              1.4537,
              1.5831,
              1.7447,
              1.9463
            ]
          ]
        },
        "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.00806,
            0.01008,
            0.0126,
            0.01575,
            0.01969,
            0.02461
          ],
          "values": [
            [
              0.18118,
              0.46027,
              0.53034,
              0.61801,
              0.72708,
              0.8645,
              1.03531
            ],
            [
              0.18114,
              0.4604,
              0.5301,
              0.61796,
              0.72761,
              0.86461,
              1.0352
            ],
            [
              0.1812,
              0.46033,
              0.5303,
              0.61772,
              0.72735,
              0.8647,
              1.03544
            ],
            [
              0.18116,
              0.46041,
              0.53018,
              0.61777,
              0.72707,
              0.86484,
              1.03547
            ],
            [
              0.18112,
              0.46045,
              0.53019,
              0.61811,
              0.72757,
              0.86474,
              1.03533
            ],
            [
              0.18099,
              0.46034,
              0.53022,
              0.61807,
              0.72757,
              0.86471,
              1.03555
            ],
            [
              0.18069,
              0.46043,
              0.53058,
              0.61809,
              0.72713,
              0.86485,
              1.03619
            ],
            [
              0.17931,
              0.46031,
              0.53025,
              0.61804,
              0.72756,
              0.86453,
              1.03537
            ],
            [
              0.18179,
              0.46006,
              0.53045,
              0.61794,
              0.72761,
              0.86475,
              1.03598
            ],
            [
              0.19202,
              0.46092,
              0.52985,
              0.61772,
              0.72709,
              0.86443,
              1.03605
            ],
            [
              0.21542,
              0.47093,
              0.53824,
              0.6223,
              0.7291,
              0.8648,
              1.0353
            ],
            [
              0.2525,
              0.5015,
              0.5643,
              0.6443,
              0.7465,
              0.8763,
              1.0423
            ],
            [
              0.3083,
              0.5671,
              0.6261,
              0.6998,
              0.7949,
              0.9168,
              1.0739
            ]
          ]
        },
        "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.00806,
            0.01008,
            0.0126,
            0.01575,
            0.01969,
            0.02461
          ],
          "values": [
            [
              0.1914,
              0.63419,
              0.74353,
              0.88107,
              1.05302,
              1.26583,
              1.53228
            ],
            [
              0.19142,
              0.63412,
              0.74457,
              0.88148,
              1.05269,
              1.26551,
              1.53412
            ],
            [
              0.19149,
              0.63408,
              0.7445,
              0.88149,
              1.05259,
              1.2655,
              1.53437
            ],
            [
              0.19161,
              0.6338,
              0.74426,
              0.88107,
              1.05245,
              1.26642,
              1.53281
            ],
            [
              0.19165,
              0.63336,
              0.74326,
              0.88168,
              1.05189,
              1.26661,
              1.53432
            ],
            [
              0.19166,
              0.63393,
              0.74438,
              0.88134,
              1.05304,
              1.266,
              1.53224
            ],
            [
              0.19164,
              0.63383,
              0.74331,
              0.88148,
              1.05236,
              1.26684,
              1.53438
            ],
            [
              0.19183,
              0.63391,
              0.74359,
              0.88156,
              1.05299,
              1.26715,
              1.5343
            ],
            [
              0.19204,
              0.63393,
              0.7444,
              0.88119,
              1.0528,
              1.2659,
              1.53355
            ],
            [
              0.19376,
              0.63396,
              0.74354,
              0.88173,
              1.0529,
              1.2658,
              1.5344
            ],
            [
              0.2061,
              0.6344,
              0.7445,
              0.8815,
              1.0524,
              1.2669,
              1.534
            ],
            [
              0.2384,
              0.644,
              0.7498,
              0.8825,
              1.0528,
              1.2668,
              1.5344
            ],
            [
              0.2855,
              0.682,
              0.7821,
              0.9093,
              1.0698,
              1.2745,
              1.536
            ]
          ]
        },
        "sdf_cond": "(A1&A3&B1&!B2)",
        "timing_sense": "negative_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.00806,
            0.01008,
            0.0126,
            0.01575,
            0.01969,
            0.02461
          ],
          "values": [
            [
              0.2506,
              0.47805,
              0.53257,
              0.59999,
              0.6838,
              0.78807,
              0.91767
            ],
            [
              0.25344,
              0.4809,
              0.53537,
              0.60283,
              0.6867,
              0.79092,
              0.92056
            ],
            [
              0.2568,
              0.48427,
              0.53875,
              0.60623,
              0.69007,
              0.79433,
              0.92391
            ],
            [
              0.26158,
              0.48908,
              0.54358,
              0.61111,
              0.69488,
              0.79919,
              0.9289
            ],
            [
              0.26827,
              0.49594,
              0.55041,
              0.61793,
              0.70175,
              0.80605,
              0.93575
            ],
            [
              0.27767,
              0.50562,
              0.56018,
              0.62765,
              0.71155,
              0.81587,
              0.94542
            ],
            [
              0.29092,
              0.51935,
              0.5739,
              0.64154,
              0.72538,
              0.82971,
              0.95943
            ],
            [
              0.3099,
              0.53889,
              0.59359,
              0.66127,
              0.74524,
              0.84966,
              0.97946
            ],
            [
              0.33758,
              0.56733,
              0.62214,
              0.68993,
              0.77405,
              0.87855,
              1.00855
            ],
            [
              0.37925,
              0.60929,
              0.66419,
              0.73219,
              0.81639,
              0.92119,
              1.05129
            ],
            [
              0.43705,
              0.67202,
              0.72712,
              0.79522,
              0.87962,
              0.98452,
              1.11482
            ],
            [
              0.51277,
              0.76507,
              0.82127,
              0.88977,
              0.97437,
              1.07947,
              1.20997
            ],
            [
              0.6108,
              0.8894,
              0.9506,
              1.0245,
              1.1136,
              1.2217,
              1.3527
            ]
          ]
        },
        "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.00806,
            0.01008,
            0.0126,
            0.01575,
            0.01969,
            0.02461
          ],
          "values": [
            [
              0.24039,
              0.49324,
              0.55548,
              0.63295,
              0.7296,
              0.8503,
              1.00087
            ],
            [
              0.24327,
              0.49621,
              0.55845,
              0.6359,
              0.73257,
              0.85331,
              1.00384
            ],
            [
              0.24704,
              0.50005,
              0.56228,
              0.63975,
              0.73641,
              0.85713,
              1.00772
            ],
            [
              0.25295,
              0.50608,
              0.56832,
              0.6458,
              0.74247,
              0.86318,
              1.01378
            ],
            [
              0.26203,
              0.51535,
              0.57761,
              0.65508,
              0.75178,
              0.8725,
              1.02311
            ],
            [
              0.2759,
              0.52953,
              0.59183,
              0.66922,
              0.76591,
              0.88666,
              1.03722
            ],
            [
              0.29701,
              0.55087,
              0.61317,
              0.69072,
              0.78744,
              0.90823,
              1.05883
            ],
            [
              0.32858,
              0.58268,
              0.64502,
              0.72261,
              0.81937,
              0.94016,
              1.09076
            ],
            [
              0.37473,
              0.62902,
              0.69142,
              0.76905,
              0.86585,
              0.98665,
              1.13735
            ],
            [
              0.44136,
              0.69589,
              0.75829,
              0.83599,
              0.93279,
              1.05369,
              1.20439
            ],
            [
              0.53272,
              0.79232,
              0.85482,
              0.93252,
              1.02942,
              1.15032,
              1.30112
            ],
            [
              0.64737,
              0.93367,
              0.99617,
              1.07387,
              1.17087,
              1.29187,
              1.44267
            ],
            [
              0.7914,
              1.1323,
              1.2017,
              1.2835,
              1.3811,
              1.5022,
              1.6532
            ]
          ]
        },
        "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.00806,
            0.01008,
            0.0126,
            0.01575,
            0.01969,
            0.02461
          ],
          "values": [
            [
              0.1746,
              0.46216,
              0.53348,
              0.62134,
              0.73161,
              0.86953,
              1.04144
            ],
            [
              0.17468,
              0.46217,
              0.53303,
              0.62133,
              0.73181,
              0.86964,
              1.04114
            ],
            [
              0.1747,
              0.46217,
              0.53299,
              0.62143,
              0.73184,
              0.86967,
              1.04141
            ],
            [
              0.17468,
              0.46244,
              0.5331,
              0.62154,
              0.73129,
              0.86982,
              1.04096
            ],
            [
              0.17469,
              0.46256,
              0.53312,
              0.62148,
              0.73197,
              0.86928,
              1.04145
            ],
            [
              0.17466,
              0.46254,
              0.5335,
              0.6212,
              0.73195,
              0.86939,
              1.04164
            ],
            [
              0.17464,
              0.46229,
              0.53288,
              0.62165,
              0.73162,
              0.86964,
              1.04164
            ],
            [
              0.17455,
              0.46238,
              0.53336,
              0.62154,
              0.73183,
              0.86938,
              1.04128
            ],
            [
              0.17453,
              0.4622,
              0.53336,
              0.6216,
              0.73185,
              0.86962,
              1.04098
            ],
            [
              0.17977,
              0.46227,
              0.53323,
              0.62153,
              0.7316,
              0.86954,
              1.04087
            ],
            [
              0.19524,
              0.4688,
              0.5377,
              0.6243,
              0.7325,
              0.8696,
              1.0404
            ],
            [
              0.2188,
              0.4905,
              0.5566,
              0.6398,
              0.7455,
              0.8787,
              1.0458
            ],
            [
              0.2542,
              0.5364,
              0.6007,
              0.6804,
              0.7811,
              0.9094,
              1.0713
            ]
          ]
        },
        "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.00806,
            0.01008,
            0.0126,
            0.01575,
            0.01969,
            0.02461
          ],
          "values": [
            [
              0.17013,
              0.49674,
              0.57848,
              0.68024,
              0.80636,
              0.96591,
              1.164
            ],
            [
              0.16996,
              0.49652,
              0.57844,
              0.67952,
              0.80726,
              0.96578,
              1.16405
            ],
            [
              0.17023,
              0.49589,
              0.57836,
              0.68028,
              0.8063,
              0.96592,
              1.16401
            ],
            [
              0.17013,
              0.49675,
              0.5776,
              0.68019,
              0.80711,
              0.96593,
              1.16377
            ],
            [
              0.17019,
              0.49629,
              0.57848,
              0.68022,
              0.80692,
              0.96577,
              1.16402
            ],
            [
              0.17033,
              0.49677,
              0.57833,
              0.67991,
              0.80729,
              0.9659,
              1.1633
            ],
            [
              0.17033,
              0.4966,
              0.57832,
              0.68023,
              0.80598,
              0.96588,
              1.164
            ],
            [
              0.17042,
              0.49664,
              0.5783,
              0.67996,
              0.80719,
              0.96594,
              1.16404
            ],
            [
              0.17068,
              0.49652,
              0.57842,
              0.68023,
              0.80721,
              0.96592,
              1.16379
            ],
            [
              0.17447,
              0.49676,
              0.57827,
              0.67991,
              0.80655,
              0.96522,
              1.1639
            ],
            [
              0.1932,
              0.4983,
              0.5781,
              0.6793,
              0.8072,
              0.9659,
              1.1634
            ],
            [
              0.2354,
              0.5182,
              0.5936,
              0.6896,
              0.8111,
              0.9665,
              1.1636
            ],
            [
              0.2952,
              0.5754,
              0.6441,
              0.7317,
              0.8462,
              0.9913,
              1.1779
            ]
          ]
        },
        "sdf_cond": "(A1&A2&!B1&!B2)",
        "timing_sense": "negative_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.00806,
            0.01008,
            0.0126,
            0.01575,
            0.01969,
            0.02461
          ],
          "values": [
            [
              0.19099,
              0.42277,
              0.47754,
              0.54525,
              0.62928,
              0.73365,
              0.86341
            ],
            [
              0.1937,
              0.42547,
              0.48023,
              0.54797,
              0.63193,
              0.73634,
              0.8661
            ],
            [
              0.19688,
              0.42869,
              0.48344,
              0.55118,
              0.63519,
              0.7396,
              0.86934
            ],
            [
              0.20142,
              0.43328,
              0.48802,
              0.55573,
              0.63977,
              0.74418,
              0.87399
            ],
            [
              0.20785,
              0.43981,
              0.4946,
              0.56231,
              0.64632,
              0.75072,
              0.88048
            ],
            [
              0.21697,
              0.44916,
              0.50396,
              0.57169,
              0.65572,
              0.76018,
              0.88994
            ],
            [
              0.22997,
              0.46262,
              0.51748,
              0.58522,
              0.66929,
              0.77376,
              0.90353
            ],
            [
              0.24882,
              0.48203,
              0.53694,
              0.6048,
              0.68891,
              0.79347,
              0.92336
            ],
            [
              0.27699,
              0.51037,
              0.56541,
              0.63338,
              0.71761,
              0.82225,
              0.95225
            ],
            [
              0.3175,
              0.55241,
              0.60755,
              0.67569,
              0.76009,
              0.86489,
              0.99499
            ],
            [
              0.37049,
              0.61542,
              0.67062,
              0.73882,
              0.82342,
              0.92832,
              1.05862
            ],
            [
              0.43957,
              0.70617,
              0.76397,
              0.83357,
              0.91837,
              1.02357,
              1.15407
            ],
            [
              0.5279,
              0.8252,
              0.8884,
              0.9641,
              1.0552,
              1.1648,
              1.297
            ]
          ]
        },
        "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.00806,
            0.01008,
            0.0126,
            0.01575,
            0.01969,
            0.02461
          ],
          "values": [
            [
              0.27972,
              0.6173,
              0.70064,
              0.80444,
              0.93395,
              1.09577,
              1.29767
            ],
            [
              0.28242,
              0.62007,
              0.70341,
              0.80718,
              0.93678,
              1.09864,
              1.30054
            ],
            [
              0.28605,
              0.62376,
              0.7071,
              0.81092,
              0.94044,
              1.10232,
              1.30422
            ],
            [
              0.2918,
              0.62965,
              0.713,
              0.81685,
              0.94644,
              1.10828,
              1.31018
            ],
            [
              0.30068,
              0.63879,
              0.72222,
              0.82608,
              0.95561,
              1.11751,
              1.31941
            ],
            [
              0.31434,
              0.65279,
              0.73624,
              0.84008,
              0.96972,
              1.13162,
              1.33352
            ],
            [
              0.33523,
              0.67407,
              0.75757,
              0.86149,
              0.99113,
              1.15303,
              1.35503
            ],
            [
              0.36642,
              0.7056,
              0.78908,
              0.89306,
              1.02276,
              1.18476,
              1.38676
            ],
            [
              0.41139,
              0.75086,
              0.83435,
              0.93835,
              1.06815,
              1.23015,
              1.43225
            ],
            [
              0.47504,
              0.81459,
              0.89829,
              1.00239,
              1.13209,
              1.29419,
              1.49639
            ],
            [
              0.56252,
              0.90412,
              0.98782,
              1.09192,
              1.22172,
              1.38392,
              1.58622
            ],
            [
              0.67117,
              1.03217,
              1.11587,
              1.21997,
              1.34987,
              1.51217,
              1.71447
            ],
            [
              0.8079,
              1.2158,
              1.3024,
              1.407,
              1.537,
              1.6993,
              1.9018
            ]
          ]
        },
        "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.00806,
            0.01008,
            0.0126,
            0.01575,
            0.01969,
            0.02461
          ],
          "values": [
            [
              0.14786,
              0.4314,
              0.50197,
              0.58953,
              0.6988,
              0.83673,
              1.00808
            ],
            [
              0.14787,
              0.43151,
              0.50204,
              0.5891,
              0.69942,
              0.83672,
              1.00801
            ],
            [
              0.14781,
              0.43151,
              0.50198,
              0.58937,
              0.69905,
              0.83621,
              1.00804
            ],
            [
              0.14773,
              0.43148,
              0.50205,
              0.58967,
              0.69915,
              0.83652,
              1.00784
            ],
            [
              0.14778,
              0.43145,
              0.50143,
              0.58957,
              0.69905,
              0.83674,
              1.00817
            ],
            [
              0.14774,
              0.43157,
              0.50202,
              0.58966,
              0.69938,
              0.8366,
              1.00817
            ],
            [
              0.14746,
              0.4316,
              0.50157,
              0.58971,
              0.69945,
              0.83682,
              1.00787
            ],
            [
              0.14643,
              0.43144,
              0.5019,
              0.58968,
              0.69947,
              0.83673,
              1.00767
            ],
            [
              0.14823,
              0.4313,
              0.5015,
              0.58933,
              0.6993,
              0.83663,
              1.00748
            ],
            [
              0.15671,
              0.43202,
              0.50184,
              0.58917,
              0.69891,
              0.83654,
              1.00762
            ],
            [
              0.17284,
              0.44088,
              0.50874,
              0.5941,
              0.7016,
              0.8372,
              1.008
            ],
            [
              0.1965,
              0.4654,
              0.5303,
              0.6125,
              0.7164,
              0.8485,
              1.0142
            ],
            [
              0.2334,
              0.5136,
              0.5776,
              0.6565,
              0.7554,
              0.8821,
              1.0425
            ]
          ]
        },
        "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.00806,
            0.01008,
            0.0126,
            0.01575,
            0.01969,
            0.02461
          ],
          "values": [
            [
              0.18591,
              0.62751,
              0.73846,
              0.87499,
              1.04776,
              1.26243,
              1.53009
            ],
            [
              0.18609,
              0.62826,
              0.73825,
              0.87468,
              1.04781,
              1.26245,
              1.53008
            ],
            [
              0.18593,
              0.62819,
              0.73791,
              0.87504,
              1.0474,
              1.26241,
              1.53009
            ],
            [
              0.18602,
              0.62808,
              0.73806,
              0.87525,
              1.0477,
              1.26219,
              1.52938
            ],
            [
              0.18604,
              0.62803,
              0.73831,
              0.87561,
              1.04659,
              1.26203,
              1.5299
            ],
            [
              0.1863,
              0.62804,
              0.73832,
              0.87599,
              1.04739,
              1.26177,
              1.52801
            ],
            [
              0.18609,
              0.62807,
              0.73828,
              0.87552,
              1.04664,
              1.2619,
              1.52923
            ],
            [
              0.18613,
              0.62807,
              0.73786,
              0.87504,
              1.04789,
              1.26205,
              1.52953
            ],
            [
              0.18662,
              0.62796,
              0.73798,
              0.875,
              1.04728,
              1.2624,
              1.5301
            ],
            [
              0.18909,
              0.6283,
              0.73845,
              0.8757,
              1.0468,
              1.2621,
              1.5282
            ],
            [
              0.2042,
              0.629,
              0.7381,
              0.8759,
              1.0466,
              1.2621,
              1.5298
            ],
            [
              0.2368,
              0.6413,
              0.7469,
              0.8797,
              1.0476,
              1.2625,
              1.529
            ],
            [
              0.2815,
              0.6831,
              0.7822,
              0.9095,
              1.0698,
              1.2734,
              1.5349
            ]
          ]
        },
        "sdf_cond": "(A1&A2&!B1&B2)",
        "timing_sense": "negative_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.00806,
            0.01008,
            0.0126,
            0.01575,
            0.01969,
            0.02461
          ],
          "values": [
            [
              0.19588,
              0.427,
              0.48174,
              0.54944,
              0.63345,
              0.73789,
              0.86768
            ],
            [
              0.19857,
              0.42969,
              0.48444,
              0.55214,
              0.63616,
              0.7406,
              0.87038
            ],
            [
              0.20177,
              0.4329,
              0.48765,
              0.55536,
              0.63938,
              0.74381,
              0.87359
            ],
            [
              0.20631,
              0.43752,
              0.49225,
              0.55995,
              0.64399,
              0.74843,
              0.87823
            ],
            [
              0.21273,
              0.44403,
              0.4988,
              0.56652,
              0.65053,
              0.75499,
              0.88479
            ],
            [
              0.22186,
              0.45342,
              0.50821,
              0.57595,
              0.65999,
              0.76446,
              0.89427
            ],
            [
              0.23486,
              0.4669,
              0.52172,
              0.5895,
              0.67358,
              0.77807,
              0.90793
            ],
            [
              0.25369,
              0.48632,
              0.54122,
              0.60909,
              0.69323,
              0.7978,
              0.92776
            ],
            [
              0.28173,
              0.5147,
              0.5697,
              0.63766,
              0.72192,
              0.82655,
              0.95665
            ],
            [
              0.32245,
              0.55668,
              0.61184,
              0.67989,
              0.76439,
              0.86919,
              0.99939
            ],
            [
              0.37582,
              0.61962,
              0.67482,
              0.74312,
              0.82772,
              0.93272,
              1.06302
            ],
            [
              0.44547,
              0.71067,
              0.76827,
              0.83787,
              0.92257,
              1.02787,
              1.15847
            ],
            [
              0.5346,
              0.8301,
              0.8932,
              0.9688,
              1.0598,
              1.1693,
              1.3014
            ]
          ]
        },
        "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.00806,
            0.01008,
            0.0126,
            0.01575,
            0.01969,
            0.02461
          ],
          "values": [
            [
              0.30633,
              0.62942,
              0.70918,
              0.80843,
              0.93228,
              1.08697,
              1.27987
            ],
            [
              0.30908,
              0.63226,
              0.71197,
              0.8113,
              0.93513,
              1.08984,
              1.28274
            ],
            [
              0.31274,
              0.63601,
              0.7157,
              0.81502,
              0.93884,
              1.09352,
              1.28652
            ],
            [
              0.31857,
              0.64189,
              0.72169,
              0.82093,
              0.94481,
              1.09948,
              1.29248
            ],
            [
              0.32757,
              0.6511,
              0.73086,
              0.83018,
              0.95401,
              1.10871,
              1.30171
            ],
            [
              0.34133,
              0.6651,
              0.74492,
              0.84424,
              0.96812,
              1.12282,
              1.31582
            ],
            [
              0.36238,
              0.68646,
              0.76628,
              0.86565,
              0.98953,
              1.14433,
              1.33733
            ],
            [
              0.39366,
              0.71809,
              0.79791,
              0.89726,
              1.02126,
              1.17606,
              1.36906
            ],
            [
              0.4388,
              0.76345,
              0.84335,
              0.94275,
              1.06685,
              1.22165,
              1.41465
            ],
            [
              0.50277,
              0.82749,
              0.90749,
              1.00699,
              1.13109,
              1.28599,
              1.47919
            ],
            [
              0.59232,
              0.91782,
              0.99782,
              1.09732,
              1.22142,
              1.37642,
              1.56972
            ],
            [
              0.70737,
              1.04727,
              1.12727,
              1.22687,
              1.35107,
              1.50617,
              1.69937
            ],
            [
              0.8524,
              1.2347,
              1.3168,
              1.4167,
              1.5409,
              1.6961,
              1.8895
            ]
          ]
        },
        "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.00806,
            0.01008,
            0.0126,
            0.01575,
            0.01969,
            0.02461
          ],
          "values": [
            [
              0.18129,
              0.46042,
              0.53018,
              0.61794,
              0.72761,
              0.86461,
              1.03523
            ],
            [
              0.18109,
              0.46045,
              0.5302,
              0.61763,
              0.72701,
              0.86473,
              1.03547
            ],
            [
              0.18112,
              0.4604,
              0.53021,
              0.61806,
              0.72697,
              0.8644,
              1.03561
            ],
            [
              0.18113,
              0.46043,
              0.53021,
              0.61809,
              0.72751,
              0.86442,
              1.03611
            ],
            [
              0.18112,
              0.46023,
              0.53055,
              0.61808,
              0.72726,
              0.86449,
              1.03608
            ],
            [
              0.18104,
              0.46051,
              0.53055,
              0.618,
              0.72759,
              0.86485,
              1.03579
            ],
            [
              0.18083,
              0.46045,
              0.5306,
              0.618,
              0.72705,
              0.86473,
              1.03605
            ],
            [
              0.17996,
              0.46036,
              0.53038,
              0.61796,
              0.72748,
              0.86473,
              1.03618
            ],
            [
              0.18151,
              0.45995,
              0.53039,
              0.61798,
              0.72755,
              0.86471,
              1.03595
            ],
            [
              0.18969,
              0.46091,
              0.53017,
              0.61747,
              0.72748,
              0.86443,
              1.03586
            ],
            [
              0.20742,
              0.46982,
              0.53694,
              0.6223,
              0.7298,
              0.8653,
              1.0353
            ],
            [
              0.2336,
              0.4942,
              0.5587,
              0.6411,
              0.745,
              0.8764,
              1.043
            ],
            [
              0.2745,
              0.5434,
              0.6069,
              0.6852,
              0.7847,
              0.9101,
              1.0706
            ]
          ]
        },
        "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.00806,
            0.01008,
            0.0126,
            0.01575,
            0.01969,
            0.02461
          ],
          "values": [
            [
              0.2042,
              0.6304,
              0.73576,
              0.86853,
              1.0326,
              1.23752,
              1.49487
            ],
            [
              0.20437,
              0.63058,
              0.73625,
              0.86854,
              1.03311,
              1.23801,
              1.49413
            ],
            [
              0.20418,
              0.63051,
              0.73619,
              0.8685,
              1.0334,
              1.23837,
              1.49498
            ],
            [
              0.20429,
              0.63023,
              0.73658,
              0.86842,
              1.03189,
              1.23832,
              1.49559
            ],
            [
              0.20424,
              0.63048,
              0.73582,
              0.86872,
              1.03319,
              1.23826,
              1.49464
            ],
            [
              0.20438,
              0.62954,
              0.73619,
              0.86747,
              1.03272,
              1.23925,
              1.49597
            ],
            [
              0.2043,
              0.63024,
              0.73572,
              0.86867,
              1.03328,
              1.23839,
              1.49504
            ],
            [
              0.20441,
              0.63038,
              0.73634,
              0.86784,
              1.03191,
              1.23742,
              1.49444
            ],
            [
              0.20457,
              0.6305,
              0.73659,
              0.86865,
              1.03279,
              1.23817,
              1.4941
            ],
            [
              0.20595,
              0.62981,
              0.73593,
              0.86853,
              1.0323,
              1.2382,
              1.495
            ],
            [
              0.2188,
              0.6309,
              0.7361,
              0.8674,
              1.0333,
              1.2381,
              1.4959
            ],
            [
              0.2514,
              0.6417,
              0.7433,
              0.8718,
              1.0342,
              1.2378,
              1.496
            ],
            [
              0.2988,
              0.6827,
              0.7791,
              0.8995,
              1.0554,
              1.2517,
              1.5005
            ]
          ]
        },
        "sdf_cond": "(A1&A2&B1&!B2)",
        "timing_sense": "negative_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.00806,
            0.01008,
            0.0126,
            0.01575,
            0.01969,
            0.02461
          ],
          "values": [
            [
              0.0688,
              0.21329,
              0.24933,
              0.29373,
              0.34987,
              0.41937,
              0.5063
            ],
            [
              0.0708,
              0.21627,
              0.25187,
              0.29674,
              0.35269,
              0.42228,
              0.50914
            ],
            [
              0.07338,
              0.21968,
              0.2554,
              0.29999,
              0.35625,
              0.4261,
              0.51284
            ],
            [
              0.07744,
              0.22473,
              0.26066,
              0.30551,
              0.36131,
              0.43144,
              0.51865
            ],
            [
              0.08391,
              0.23232,
              0.2683,
              0.31293,
              0.36932,
              0.43876,
              0.52664
            ],
            [
              0.09401,
              0.24359,
              0.27955,
              0.32444,
              0.38087,
              0.45084,
              0.53765
            ],
            [
              0.11016,
              0.26045,
              0.29652,
              0.34183,
              0.39808,
              0.46778,
              0.55516
            ],
            [
              0.13094,
              0.28572,
              0.32222,
              0.36754,
              0.42351,
              0.49423,
              0.58145
            ],
            [
              0.15522,
              0.32414,
              0.36055,
              0.4061,
              0.46271,
              0.53308,
              0.62026
            ],
            [
              0.18322,
              0.38251,
              0.41912,
              0.46431,
              0.52136,
              0.59163,
              0.67959
            ],
            [
              0.21467,
              0.46322,
              0.50522,
              0.55312,
              0.60972,
              0.68032,
              0.76812
            ],
            [
              0.24857,
              0.55947,
              0.61177,
              0.67127,
              0.73797,
              0.81327,
              0.90147
            ],
            [
              0.2825,
              0.6734,
              0.7387,
              0.8121,
              0.8953,
              0.9892,
              1.0945
            ]
          ]
        },
        "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.00806,
            0.01008,
            0.0126,
            0.01575,
            0.01969,
            0.02461
          ],
          "values": [
            [
              0.09456,
              0.31916,
              0.37478,
              0.44379,
              0.53061,
              0.63921,
              0.7742
            ],
            [
              0.09648,
              0.32228,
              0.37762,
              0.44738,
              0.53355,
              0.64246,
              0.77758
            ],
            [
              0.09907,
              0.3259,
              0.3812,
              0.45103,
              0.53776,
              0.64573,
              0.78147
            ],
            [
              0.1035,
              0.3312,
              0.38704,
              0.45663,
              0.54339,
              0.65168,
              0.78651
            ],
            [
              0.11082,
              0.33949,
              0.39512,
              0.46498,
              0.55178,
              0.6598,
              0.79585
            ],
            [
              0.12312,
              0.35192,
              0.4084,
              0.47806,
              0.56469,
              0.67368,
              0.8092
            ],
            [
              0.1426,
              0.37132,
              0.42758,
              0.49708,
              0.58461,
              0.69328,
              0.82866
            ],
            [
              0.17343,
              0.40179,
              0.45785,
              0.5281,
              0.61507,
              0.72374,
              0.85896
            ],
            [
              0.21549,
              0.44634,
              0.50346,
              0.57354,
              0.66098,
              0.77025,
              0.90525
            ],
            [
              0.26742,
              0.51616,
              0.57284,
              0.64239,
              0.73029,
              0.83859,
              0.97439
            ],
            [
              0.33247,
              0.62142,
              0.67812,
              0.74782,
              0.83502,
              0.94332,
              1.07982
            ],
            [
              0.41377,
              0.77797,
              0.83737,
              0.90697,
              0.99397,
              1.10297,
              1.23847
            ],
            [
              0.5161,
              0.9797,
              1.0551,
              1.1396,
              1.2339,
              1.3424,
              1.4775
            ]
          ]
        },
        "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.00806,
            0.01008,
            0.0126,
            0.01575,
            0.01969,
            0.02461
          ],
          "values": [
            [
              0.05245,
              0.24483,
              0.29313,
              0.35318,
              0.4281,
              0.52243,
              0.63961
            ],
            [
              0.05249,
              0.24479,
              0.29309,
              0.35326,
              0.42896,
              0.52245,
              0.63977
            ],
            [
              0.05247,
              0.24516,
              0.29313,
              0.35325,
              0.42873,
              0.52237,
              0.63987
            ],
            [
              0.05249,
              0.24498,
              0.29303,
              0.3532,
              0.42836,
              0.52257,
              0.64068
            ],
            [
              0.05241,
              0.24498,
              0.2931,
              0.35321,
              0.42857,
              0.52242,
              0.6404
            ],
            [
              0.0525,
              0.24484,
              0.2931,
              0.35321,
              0.42891,
              0.5223,
              0.63982
            ],
            [
              0.05678,
              0.2449,
              0.2931,
              0.35353,
              0.42822,
              0.52236,
              0.63962
            ],
            [
              0.06879,
              0.24483,
              0.29339,
              0.35334,
              0.42837,
              0.52269,
              0.63992
            ],
            [
              0.08505,
              0.24788,
              0.2944,
              0.35317,
              0.42876,
              0.52263,
              0.63965
            ],
            [
              0.10804,
              0.26539,
              0.30707,
              0.36137,
              0.4316,
              0.52288,
              0.6402
            ],
            [
              0.13944,
              0.30672,
              0.3433,
              0.39092,
              0.45445,
              0.53772,
              0.6471
            ],
            [
              0.1811,
              0.3772,
              0.4139,
              0.4565,
              0.5125,
              0.5859,
              0.6835
            ],
            [
              0.2367,
              0.4724,
              0.514,
              0.563,
              0.6201,
              0.6867,
              0.7729
            ]
          ]
        },
        "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.00806,
            0.01008,
            0.0126,
            0.01575,
            0.01969,
            0.02461
          ],
          "values": [
            [
              0.08429,
              0.38447,
              0.45919,
              0.55181,
              0.66928,
              0.81562,
              0.99786
            ],
            [
              0.08435,
              0.38435,
              0.4587,
              0.55266,
              0.66866,
              0.81566,
              0.99789
            ],
            [
              0.08428,
              0.3847,
              0.45886,
              0.55282,
              0.66939,
              0.81416,
              0.99733
            ],
            [
              0.08431,
              0.38467,
              0.45953,
              0.55263,
              0.66968,
              0.81523,
              0.99617
            ],
            [
              0.08415,
              0.38442,
              0.45905,
              0.553,
              0.66917,
              0.81418,
              0.99817
            ],
            [
              0.08368,
              0.38373,
              0.45955,
              0.55219,
              0.66887,
              0.81568,
              0.99829
            ],
            [
              0.08382,
              0.38447,
              0.45911,
              0.55188,
              0.66966,
              0.81542,
              0.99696
            ],
            [
              0.0916,
              0.38393,
              0.45882,
              0.55292,
              0.6694,
              0.81493,
              0.99826
            ],
            [
              0.11065,
              0.38358,
              0.45897,
              0.5519,
              0.66942,
              0.81555,
              0.99634
            ],
            [
              0.14047,
              0.38537,
              0.45843,
              0.55219,
              0.66948,
              0.81435,
              0.99809
            ],
            [
              0.17641,
              0.40669,
              0.4713,
              0.5568,
              0.6697,
              0.8135,
              0.9979
            ],
            [
              0.2244,
              0.4599,
              0.5158,
              0.5918,
              0.6918,
              0.8249,
              0.9997
            ],
            [
              0.2866,
              0.5656,
              0.6128,
              0.6761,
              0.7621,
              0.8784,
              1.0351
            ]
          ]
        },
        "sdf_cond": "(!A1&!A2&!A3&B2)",
        "timing_sense": "negative_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.00806,
            0.01008,
            0.0126,
            0.01575,
            0.01969,
            0.02461
          ],
          "values": [
            [
              0.0689,
              0.21354,
              0.24943,
              0.29415,
              0.34953,
              0.41979,
              0.50668
            ],
            [
              0.07097,
              0.21621,
              0.25219,
              0.29699,
              0.35242,
              0.42259,
              0.50934
            ],
            [
              0.07359,
              0.21959,
              0.25548,
              0.30044,
              0.35632,
              0.42624,
              0.51307
            ],
            [
              0.07772,
              0.22495,
              0.26097,
              0.3054,
              0.36175,
              0.43152,
              0.51823
            ],
            [
              0.08425,
              0.23267,
              0.26875,
              0.31356,
              0.36923,
              0.43963,
              0.52648
            ],
            [
              0.09443,
              0.244,
              0.28,
              0.3253,
              0.38105,
              0.45135,
              0.53863
            ],
            [
              0.11064,
              0.26105,
              0.29709,
              0.34255,
              0.39862,
              0.46882,
              0.5563
            ],
            [
              0.13158,
              0.2865,
              0.32296,
              0.36822,
              0.42423,
              0.49498,
              0.58223
            ],
            [
              0.15594,
              0.32512,
              0.36162,
              0.40649,
              0.46347,
              0.53388,
              0.62108
            ],
            [
              0.18392,
              0.38345,
              0.42001,
              0.46557,
              0.52166,
              0.59218,
              0.68039
            ],
            [
              0.21541,
              0.46402,
              0.50622,
              0.55412,
              0.61032,
              0.68032,
              0.76912
            ],
            [
              0.24917,
              0.56027,
              0.61277,
              0.67177,
              0.73877,
              0.81447,
              0.90247
            ],
            [
              0.2829,
              0.6739,
              0.7391,
              0.8129,
              0.8962,
              0.9899,
              1.0953
            ]
          ]
        },
        "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.00806,
            0.01008,
            0.0126,
            0.01575,
            0.01969,
            0.02461
          ],
          "values": [
            [
              0.10416,
              0.36052,
              0.42392,
              0.50278,
              0.60188,
              0.72579,
              0.87995
            ],
            [
              0.10573,
              0.36349,
              0.42701,
              0.50604,
              0.60511,
              0.72898,
              0.88308
            ],
            [
              0.10803,
              0.36698,
              0.43053,
              0.50936,
              0.60872,
              0.73261,
              0.88671
            ],
            [
              0.11202,
              0.37211,
              0.43587,
              0.51467,
              0.61415,
              0.73809,
              0.89223
            ],
            [
              0.11889,
              0.38005,
              0.44354,
              0.52311,
              0.62212,
              0.74634,
              0.90085
            ],
            [
              0.13057,
              0.39164,
              0.45597,
              0.53525,
              0.63471,
              0.7589,
              0.91329
            ],
            [
              0.14954,
              0.41075,
              0.47489,
              0.55417,
              0.65412,
              0.77781,
              0.93293
            ],
            [
              0.17959,
              0.44027,
              0.50398,
              0.58355,
              0.68269,
              0.80734,
              0.96256
            ],
            [
              0.22285,
              0.4837,
              0.54853,
              0.62865,
              0.72825,
              0.85305,
              1.00715
            ],
            [
              0.27591,
              0.55121,
              0.61566,
              0.69469,
              0.79529,
              0.91979,
              1.07499
            ],
            [
              0.34233,
              0.65402,
              0.71812,
              0.79792,
              0.89762,
              1.02212,
              1.17712
            ],
            [
              0.42517,
              0.80997,
              0.87417,
              0.95377,
              1.05307,
              1.17737,
              1.33127
            ],
            [
              0.5293,
              1.0165,
              1.0967,
              1.1868,
              1.2881,
              1.4115,
              1.5663
            ]
          ]
        },
        "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.00806,
            0.01008,
            0.0126,
            0.01575,
            0.01969,
            0.02461
          ],
          "values": [
            [
              0.05237,
              0.24467,
              0.29287,
              0.35365,
              0.42829,
              0.5227,
              0.63994
            ],
            [
              0.05239,
              0.24489,
              0.29344,
              0.35322,
              0.42834,
              0.52241,
              0.63988
            ],
            [
              0.05235,
              0.24484,
              0.29306,
              0.35319,
              0.42888,
              0.5225,
              0.63989
            ],
            [
              0.05237,
              0.24516,
              0.29345,
              0.35316,
              0.42842,
              0.52271,
              0.63972
            ],
            [
              0.05238,
              0.24518,
              0.29337,
              0.35322,
              0.4284,
              0.52287,
              0.63988
            ],
            [
              0.05244,
              0.2448,
              0.29294,
              0.35351,
              0.42846,
              0.52306,
              0.63975
            ],
            [
              0.05651,
              0.24489,
              0.29306,
              0.35349,
              0.42842,
              0.5231,
              0.63943
            ],
            [
              0.0684,
              0.2448,
              0.29336,
              0.35337,
              0.42834,
              0.52269,
              0.63986
            ],
            [
              0.08458,
              0.24765,
              0.29421,
              0.35317,
              0.42876,
              0.52279,
              0.63963
            ],
            [
              0.10752,
              0.26494,
              0.30674,
              0.36094,
              0.43195,
              0.52284,
              0.64033
            ],
            [
              0.13867,
              0.30623,
              0.34249,
              0.39002,
              0.45368,
              0.53786,
              0.6466
            ],
            [
              0.18088,
              0.3767,
              0.4133,
              0.4562,
              0.5118,
              0.5852,
              0.6829
            ],
            [
              0.2363,
              0.4716,
              0.5137,
              0.5623,
              0.6193,
              0.6862,
              0.7722
            ]
          ]
        },
        "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.00806,
            0.01008,
            0.0126,
            0.01575,
            0.01969,
            0.02461
          ],
          "values": [
            [
              0.09751,
              0.43918,
              0.52444,
              0.63058,
              0.76253,
              0.9277,
              1.13554
            ],
            [
              0.09754,
              0.43915,
              0.52434,
              0.63059,
              0.76234,
              0.92804,
              1.13578
            ],
            [
              0.09738,
              0.43898,
              0.52436,
              0.63048,
              0.76221,
              0.92817,
              1.13578
            ],
            [
              0.09712,
              0.43924,
              0.52397,
              0.63042,
              0.76224,
              0.92815,
              1.13581
            ],
            [
              0.09682,
              0.43932,
              0.52414,
              0.63039,
              0.76311,
              0.92761,
              1.13543
            ],
            [
              0.09649,
              0.43891,
              0.52434,
              0.63052,
              0.76226,
              0.92817,
              1.13566
            ],
            [
              0.09545,
              0.43872,
              0.52431,
              0.62999,
              0.76188,
              0.9289,
              1.13536
            ],
            [
              0.1017,
              0.43894,
              0.52398,
              0.62996,
              0.76305,
              0.92771,
              1.13491
            ],
            [
              0.11898,
              0.43867,
              0.52341,
              0.63037,
              0.76173,
              0.92792,
              1.13575
            ],
            [
              0.15017,
              0.43858,
              0.52278,
              0.62955,
              0.76239,
              0.92862,
              1.13414
            ],
            [
              0.18575,
              0.4544,
              0.5316,
              0.632,
              0.7609,
              0.9283,
              1.134
            ],
            [
              0.2341,
              0.5019,
              0.5701,
              0.6595,
              0.778,
              0.932,
              1.135
            ],
            [
              0.2968,
              0.602,
              0.6581,
              0.7349,
              0.8379,
              0.9774,
              1.1608
            ]
          ]
        },
        "sdf_cond": "(!A1&!A2&A3&B2)",
        "timing_sense": "negative_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.00806,
            0.01008,
            0.0126,
            0.01575,
            0.01969,
            0.02461
          ],
          "values": [
            [
              0.06891,
              0.21356,
              0.24944,
              0.29415,
              0.34951,
              0.41977,
              0.50675
            ],
            [
              0.07095,
              0.21626,
              0.25214,
              0.29675,
              0.35269,
              0.42268,
              0.50939
            ],
            [
              0.07358,
              0.21979,
              0.25546,
              0.30052,
              0.35628,
              0.42626,
              0.51319
            ],
            [
              0.07766,
              0.22495,
              0.26095,
              0.30536,
              0.36168,
              0.43144,
              0.51833
            ],
            [
              0.0842,
              0.23257,
              0.26862,
              0.31359,
              0.36924,
              0.43961,
              0.52631
            ],
            [
              0.09438,
              0.24377,
              0.27993,
              0.32522,
              0.38121,
              0.45085,
              0.53872
            ],
            [
              0.11056,
              0.26097,
              0.2971,
              0.34241,
              0.39858,
              0.46833,
              0.55627
            ],
            [
              0.13146,
              0.28635,
              0.32285,
              0.3681,
              0.42422,
              0.49486,
              0.5821
            ],
            [
              0.1558,
              0.32498,
              0.36151,
              0.40648,
              0.46332,
              0.53373,
              0.62094
            ],
            [
              0.18377,
              0.38331,
              0.41988,
              0.4654,
              0.52153,
              0.59204,
              0.68029
            ],
            [
              0.21519,
              0.46382,
              0.50602,
              0.55402,
              0.61012,
              0.68012,
              0.76892
            ],
            [
              0.24907,
              0.56007,
              0.61257,
              0.67157,
              0.73847,
              0.81417,
              0.90227
            ],
            [
              0.2828,
              0.6737,
              0.7394,
              0.8127,
              0.8961,
              0.9897,
              1.0952
            ]
          ]
        },
        "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.00806,
            0.01008,
            0.0126,
            0.01575,
            0.01969,
            0.02461
          ],
          "values": [
            [
              0.1026,
              0.35237,
              0.41426,
              0.49155,
              0.58794,
              0.70814,
              0.8588
            ],
            [
              0.10428,
              0.35508,
              0.41696,
              0.49457,
              0.59112,
              0.71144,
              0.86225
            ],
            [
              0.10658,
              0.35877,
              0.42062,
              0.49781,
              0.59461,
              0.7153,
              0.86595
            ],
            [
              0.11059,
              0.36395,
              0.42602,
              0.50319,
              0.59957,
              0.72088,
              0.87133
            ],
            [
              0.11753,
              0.37211,
              0.43407,
              0.51158,
              0.60851,
              0.72876,
              0.87995
            ],
            [
              0.1294,
              0.38412,
              0.44648,
              0.52391,
              0.62051,
              0.74175,
              0.89232
            ],
            [
              0.14839,
              0.40269,
              0.4656,
              0.54318,
              0.63997,
              0.76137,
              0.91193
            ],
            [
              0.17856,
              0.43253,
              0.49529,
              0.57186,
              0.66952,
              0.79028,
              0.94176
            ],
            [
              0.22157,
              0.47684,
              0.53935,
              0.61777,
              0.7149,
              0.83625,
              0.98725
            ],
            [
              0.27439,
              0.54435,
              0.60707,
              0.68479,
              0.78189,
              0.90349,
              1.05459
            ],
            [
              0.34052,
              0.64752,
              0.71022,
              0.78802,
              0.88472,
              1.00652,
              1.15712
            ],
            [
              0.42307,
              0.80387,
              0.86687,
              0.94437,
              1.04127,
              1.16187,
              1.31257
            ],
            [
              0.5267,
              1.0093,
              1.0885,
              1.1775,
              1.2773,
              1.3975,
              1.5481
            ]
          ]
        },
        "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.00806,
            0.01008,
            0.0126,
            0.01575,
            0.01969,
            0.02461
          ],
          "values": [
            [
              0.05239,
              0.24508,
              0.29288,
              0.35359,
              0.42838,
              0.52285,
              0.63987
            ],
            [
              0.05235,
              0.24488,
              0.29344,
              0.35327,
              0.42845,
              0.52287,
              0.63987
            ],
            [
              0.05236,
              0.24481,
              0.29299,
              0.35325,
              0.42871,
              0.52244,
              0.63986
            ],
            [
              0.05246,
              0.24516,
              0.29336,
              0.35322,
              0.42834,
              0.5225,
              0.63992
            ],
            [
              0.05244,
              0.24485,
              0.29344,
              0.35332,
              0.42827,
              0.52285,
              0.63957
            ],
            [
              0.0524,
              0.24487,
              0.29301,
              0.35355,
              0.4284,
              0.52236,
              0.63949
            ],
            [
              0.05658,
              0.2449,
              0.29309,
              0.35358,
              0.42829,
              0.52223,
              0.63993
            ],
            [
              0.06846,
              0.24483,
              0.29336,
              0.35339,
              0.42844,
              0.52268,
              0.63988
            ],
            [
              0.08466,
              0.24768,
              0.29414,
              0.35316,
              0.42875,
              0.52273,
              0.63967
            ],
            [
              0.10761,
              0.26501,
              0.30679,
              0.36063,
              0.43198,
              0.52289,
              0.64029
            ],
            [
              0.13889,
              0.30636,
              0.34264,
              0.39016,
              0.45373,
              0.53786,
              0.6467
            ],
            [
              0.18098,
              0.3769,
              0.4133,
              0.4564,
              0.5121,
              0.5853,
              0.6829
            ],
            [
              0.2365,
              0.4717,
              0.5134,
              0.5624,
              0.6195,
              0.6863,
              0.7724
            ]
          ]
        },
        "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.00806,
            0.01008,
            0.0126,
            0.01575,
            0.01969,
            0.02461
          ],
          "values": [
            [
              0.09481,
              0.42759,
              0.51063,
              0.61362,
              0.74318,
              0.90578,
              1.10797
            ],
            [
              0.09486,
              0.42792,
              0.51093,
              0.61397,
              0.74304,
              0.90557,
              1.10769
            ],
            [
              0.09471,
              0.42796,
              0.51079,
              0.61445,
              0.74279,
              0.9056,
              1.10575
            ],
            [
              0.09469,
              0.42797,
              0.51067,
              0.6144,
              0.74402,
              0.90486,
              1.10665
            ],
            [
              0.09434,
              0.42774,
              0.511,
              0.6141,
              0.74291,
              0.90574,
              1.10709
            ],
            [
              0.09372,
              0.42794,
              0.51089,
              0.61446,
              0.74394,
              0.90474,
              1.10668
            ],
            [
              0.09322,
              0.42783,
              0.51005,
              0.61454,
              0.74372,
              0.90423,
              1.10719
            ],
            [
              0.09969,
              0.42707,
              0.51089,
              0.61418,
              0.74321,
              0.90547,
              1.10648
            ],
            [
              0.11728,
              0.42732,
              0.51036,
              0.61384,
              0.74378,
              0.90474,
              1.1065
            ],
            [
              0.14838,
              0.42731,
              0.50969,
              0.61356,
              0.74266,
              0.90379,
              1.10699
            ],
            [
              0.18393,
              0.44456,
              0.5192,
              0.6162,
              0.7429,
              0.9048,
              1.1073
            ],
            [
              0.2322,
              0.4936,
              0.5585,
              0.6454,
              0.76,
              0.9108,
              1.1069
            ],
            [
              0.2947,
              0.5947,
              0.6491,
              0.7219,
              0.8227,
              0.9558,
              1.135
            ]
          ]
        },
        "sdf_cond": "(!A1&A2&!A3&B2)",
        "timing_sense": "negative_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.00806,
            0.01008,
            0.0126,
            0.01575,
            0.01969,
            0.02461
          ],
          "values": [
            [
              0.069,
              0.21353,
              0.24942,
              0.29379,
              0.35003,
              0.4193,
              0.50687
            ],
            [
              0.07114,
              0.21642,
              0.25208,
              0.29713,
              0.3526,
              0.42283,
              0.50938
            ],
            [
              0.07389,
              0.21979,
              0.2559,
              0.30038,
              0.35677,
              0.42599,
              0.51357
            ],
            [
              0.0781,
              0.22515,
              0.26127,
              0.30578,
              0.36164,
              0.43182,
              0.5186
            ],
            [
              0.08487,
              0.2332,
              0.26897,
              0.31425,
              0.37005,
              0.4401,
              0.5268
            ],
            [
              0.09525,
              0.24493,
              0.28096,
              0.32572,
              0.38206,
              0.45171,
              0.53959
            ],
            [
              0.11161,
              0.26202,
              0.2985,
              0.3435,
              0.39986,
              0.46942,
              0.55732
            ],
            [
              0.13297,
              0.28773,
              0.3244,
              0.36941,
              0.42607,
              0.49609,
              0.58379
            ],
            [
              0.15767,
              0.32653,
              0.36306,
              0.40857,
              0.46508,
              0.53517,
              0.62299
            ],
            [
              0.18591,
              0.38508,
              0.42169,
              0.46696,
              0.52343,
              0.59388,
              0.68199
            ],
            [
              0.21729,
              0.46572,
              0.50802,
              0.55592,
              0.61242,
              0.68272,
              0.77072
            ],
            [
              0.25077,
              0.56257,
              0.61477,
              0.67407,
              0.74087,
              0.81577,
              0.90447
            ],
            [
              0.2842,
              0.6759,
              0.7415,
              0.8152,
              0.8979,
              0.9917,
              1.0968
            ]
          ]
        },
        "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.00806,
            0.01008,
            0.0126,
            0.01575,
            0.01969,
            0.02461
          ],
          "values": [
            [
              0.12767,
              0.47184,
              0.55693,
              0.66286,
              0.79573,
              0.96247,
              1.16937
            ],
            [
              0.1287,
              0.47477,
              0.55998,
              0.66614,
              0.79851,
              0.96521,
              1.17324
            ],
            [
              0.13027,
              0.4776,
              0.56328,
              0.66929,
              0.80264,
              0.96957,
              1.17652
            ],
            [
              0.13322,
              0.48247,
              0.56807,
              0.67417,
              0.80737,
              0.97357,
              1.18128
            ],
            [
              0.13909,
              0.48925,
              0.57534,
              0.68193,
              0.81521,
              0.98161,
              1.19011
            ],
            [
              0.14917,
              0.50017,
              0.58659,
              0.69329,
              0.82659,
              0.99402,
              1.20142
            ],
            [
              0.16656,
              0.51752,
              0.60395,
              0.71077,
              0.84443,
              1.01043,
              1.21923
            ],
            [
              0.19518,
              0.54343,
              0.63072,
              0.73783,
              0.87186,
              1.03806,
              1.24736
            ],
            [
              0.23998,
              0.58518,
              0.67117,
              0.77985,
              0.91355,
              1.08085,
              1.28995
            ],
            [
              0.29612,
              0.64779,
              0.73479,
              0.84279,
              0.97709,
              1.14459,
              1.35299
            ],
            [
              0.36611,
              0.74482,
              0.83122,
              0.93932,
              1.07322,
              1.24122,
              1.44982
            ],
            [
              0.45327,
              0.89307,
              0.97837,
              1.08517,
              1.21927,
              1.38587,
              1.59547
            ],
            [
              0.562,
              1.1105,
              1.2034,
              1.3097,
              1.4419,
              1.6083,
              1.8154
            ]
          ]
        },
        "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.00806,
            0.01008,
            0.0126,
            0.01575,
            0.01969,
            0.02461
          ],
          "values": [
            [
              0.05233,
              0.24498,
              0.29289,
              0.35302,
              0.42823,
              0.52225,
              0.64017
            ],
            [
              0.05236,
              0.24503,
              0.2933,
              0.35294,
              0.42833,
              0.52198,
              0.63971
            ],
            [
              0.05242,
              0.24478,
              0.29298,
              0.3531,
              0.42871,
              0.52228,
              0.63924
            ],
            [
              0.05234,
              0.245,
              0.29301,
              0.35305,
              0.42826,
              0.52246,
              0.63959
            ],
            [
              0.05239,
              0.24485,
              0.293,
              0.35296,
              0.42811,
              0.52223,
              0.63967
            ],
            [
              0.05227,
              0.24488,
              0.29308,
              0.35303,
              0.42838,
              0.52216,
              0.63993
            ],
            [
              0.05617,
              0.2451,
              0.2928,
              0.35286,
              0.42874,
              0.5224,
              0.64054
            ],
            [
              0.06756,
              0.24482,
              0.29322,
              0.35322,
              0.42893,
              0.52253,
              0.64059
            ],
            [
              0.08354,
              0.24744,
              0.29399,
              0.35307,
              0.42863,
              0.52247,
              0.6405
            ],
            [
              0.10595,
              0.26413,
              0.30612,
              0.36082,
              0.43182,
              0.52279,
              0.63976
            ],
            [
              0.13738,
              0.3049,
              0.34127,
              0.38907,
              0.45328,
              0.53731,
              0.6461
            ],
            [
              0.17922,
              0.3746,
              0.4115,
              0.4544,
              0.5101,
              0.5844,
              0.6821
            ],
            [
              0.2353,
              0.4698,
              0.5116,
              0.5605,
              0.6179,
              0.6848,
              0.7711
            ]
          ]
        },
        "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.00806,
            0.01008,
            0.0126,
            0.01575,
            0.01969,
            0.02461
          ],
          "values": [
            [
              0.13537,
              0.59279,
              0.70582,
              0.84607,
              1.02342,
              1.24227,
              1.51794
            ],
            [
              0.13493,
              0.59283,
              0.70603,
              0.84658,
              1.0229,
              1.24293,
              1.51755
            ],
            [
              0.13463,
              0.59257,
              0.70598,
              0.84644,
              1.02279,
              1.24367,
              1.51849
            ],
            [
              0.13417,
              0.59273,
              0.706,
              0.84647,
              1.02365,
              1.24302,
              1.51792
            ],
            [
              0.13322,
              0.59206,
              0.70601,
              0.84714,
              1.02294,
              1.24246,
              1.51853
            ],
            [
              0.13189,
              0.59223,
              0.706,
              0.84671,
              1.02243,
              1.24365,
              1.51862
            ],
            [
              0.13012,
              0.59246,
              0.70606,
              0.84685,
              1.0236,
              1.24339,
              1.51815
            ],
            [
              0.13171,
              0.59181,
              0.70523,
              0.84724,
              1.02349,
              1.24246,
              1.51793
            ],
            [
              0.14496,
              0.59192,
              0.70481,
              0.84694,
              1.02271,
              1.24281,
              1.51857
            ],
            [
              0.17504,
              0.59019,
              0.7041,
              0.8464,
              1.0235,
              1.24336,
              1.5185
            ],
            [
              0.21173,
              0.5945,
              0.7035,
              0.8446,
              1.0213,
              1.2433,
              1.5185
            ],
            [
              0.2594,
              0.628,
              0.7262,
              0.856,
              1.0237,
              1.2411,
              1.5178
            ],
            [
              0.3237,
              0.7105,
              0.7966,
              0.9113,
              1.0629,
              1.2617,
              1.5222
            ]
          ]
        },
        "sdf_cond": "(!A1&A2&A3&B2)",
        "timing_sense": "negative_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.00806,
            0.01008,
            0.0126,
            0.01575,
            0.01969,
            0.02461
          ],
          "values": [
            [
              0.06947,
              0.21394,
              0.24974,
              0.29437,
              0.35017,
              0.41989,
              0.507
            ],
            [
              0.07151,
              0.21675,
              0.2526,
              0.29726,
              0.35311,
              0.42279,
              0.50994
            ],
            [
              0.07416,
              0.22019,
              0.25611,
              0.30076,
              0.35659,
              0.42636,
              0.51361
            ],
            [
              0.07826,
              0.22531,
              0.26127,
              0.30606,
              0.36195,
              0.43169,
              0.51892
            ],
            [
              0.0848,
              0.23304,
              0.26913,
              0.31394,
              0.36988,
              0.43982,
              0.52684
            ],
            [
              0.09505,
              0.24445,
              0.28062,
              0.32553,
              0.3816,
              0.45147,
              0.53886
            ],
            [
              0.11123,
              0.26144,
              0.29778,
              0.34285,
              0.3989,
              0.46905,
              0.55644
            ],
            [
              0.13233,
              0.28697,
              0.32329,
              0.36862,
              0.42488,
              0.4951,
              0.58245
            ],
            [
              0.15689,
              0.32555,
              0.36205,
              0.40707,
              0.46376,
              0.53406,
              0.6217
            ],
            [
              0.18516,
              0.38413,
              0.42065,
              0.46597,
              0.5221,
              0.59286,
              0.68059
            ],
            [
              0.21706,
              0.46482,
              0.50702,
              0.55492,
              0.61092,
              0.68062,
              0.76932
            ],
            [
              0.25137,
              0.56137,
              0.61387,
              0.67277,
              0.73967,
              0.81547,
              0.90327
            ],
            [
              0.286,
              0.6755,
              0.7406,
              0.8143,
              0.8976,
              0.9911,
              1.0962
            ]
          ]
        },
        "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.00806,
            0.01008,
            0.0126,
            0.01575,
            0.01969,
            0.02461
          ],
          "values": [
            [
              0.13443,
              0.39002,
              0.45325,
              0.53203,
              0.63041,
              0.75335,
              0.90664
            ],
            [
              0.13673,
              0.39306,
              0.45629,
              0.53509,
              0.63347,
              0.75656,
              0.90987
            ],
            [
              0.13945,
              0.3965,
              0.45982,
              0.53869,
              0.63704,
              0.76003,
              0.91346
            ],
            [
              0.14389,
              0.40181,
              0.46514,
              0.54409,
              0.64253,
              0.76574,
              0.91912
            ],
            [
              0.15098,
              0.40982,
              0.4733,
              0.55228,
              0.65092,
              0.77395,
              0.92742
            ],
            [
              0.1625,
              0.42198,
              0.48557,
              0.56466,
              0.66336,
              0.78663,
              0.94032
            ],
            [
              0.18098,
              0.44089,
              0.5046,
              0.58388,
              0.68268,
              0.8062,
              0.96003
            ],
            [
              0.21016,
              0.47037,
              0.53428,
              0.61293,
              0.71189,
              0.83532,
              0.98946
            ],
            [
              0.25621,
              0.5145,
              0.57861,
              0.65821,
              0.75725,
              0.88095,
              1.03475
            ],
            [
              0.31939,
              0.58212,
              0.64539,
              0.72519,
              0.82439,
              0.94819,
              1.10229
            ],
            [
              0.398,
              0.68522,
              0.74892,
              0.82822,
              0.92712,
              1.05082,
              1.20502
            ],
            [
              0.49677,
              0.84217,
              0.90547,
              0.98457,
              1.08257,
              1.20527,
              1.35957
            ],
            [
              0.6202,
              1.0575,
              1.1337,
              1.2201,
              1.3189,
              1.4417,
              1.5952
            ]
          ]
        },
        "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.00806,
            0.01008,
            0.0126,
            0.01575,
            0.01969,
            0.02461
          ],
          "values": [
            [
              0.07193,
              0.26397,
              0.31208,
              0.37224,
              0.44688,
              0.54125,
              0.65812
            ],
            [
              0.07194,
              0.26397,
              0.3121,
              0.37238,
              0.4472,
              0.54073,
              0.65837
            ],
            [
              0.07194,
              0.26394,
              0.31211,
              0.37199,
              0.44686,
              0.54072,
              0.65786
            ],
            [
              0.07195,
              0.2641,
              0.31198,
              0.37213,
              0.44728,
              0.54104,
              0.65814
            ],
            [
              0.07195,
              0.26396,
              0.31212,
              0.37229,
              0.44713,
              0.54122,
              0.65813
            ],
            [
              0.07197,
              0.26398,
              0.31209,
              0.37223,
              0.44718,
              0.54062,
              0.65774
            ],
            [
              0.07614,
              0.26407,
              0.31217,
              0.37235,
              0.44738,
              0.54071,
              0.65815
            ],
            [
              0.08788,
              0.26405,
              0.31208,
              0.37195,
              0.44729,
              0.54141,
              0.6579
            ],
            [
              0.10849,
              0.26709,
              0.31306,
              0.37193,
              0.44717,
              0.54066,
              0.65821
            ],
            [
              0.13624,
              0.28421,
              0.32577,
              0.38003,
              0.45019,
              0.54171,
              0.65821
            ],
            [
              0.17458,
              0.32562,
              0.36168,
              0.40956,
              0.47304,
              0.55658,
              0.6649
            ],
            [
              0.22637,
              0.3987,
              0.4335,
              0.4756,
              0.5309,
              0.6045,
              0.7015
            ],
            [
              0.295,
              0.4979,
              0.538,
              0.5847,
              0.6399,
              0.7053,
              0.7902
            ]
          ]
        },
        "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.00806,
            0.01008,
            0.0126,
            0.01575,
            0.01969,
            0.02461
          ],
          "values": [
            [
              0.11844,
              0.45764,
              0.54205,
              0.64711,
              0.77888,
              0.94345,
              1.14885
            ],
            [
              0.1185,
              0.4577,
              0.54183,
              0.64727,
              0.77943,
              0.94293,
              1.14929
            ],
            [
              0.1184,
              0.45714,
              0.54176,
              0.64711,
              0.77907,
              0.94364,
              1.14985
            ],
            [
              0.11819,
              0.45748,
              0.54238,
              0.64701,
              0.77904,
              0.94395,
              1.14928
            ],
            [
              0.11806,
              0.45759,
              0.54232,
              0.64743,
              0.77875,
              0.94349,
              1.14945
            ],
            [
              0.11796,
              0.45746,
              0.54249,
              0.64755,
              0.7789,
              0.94404,
              1.14861
            ],
            [
              0.11734,
              0.45749,
              0.54245,
              0.64777,
              0.77964,
              0.94362,
              1.14868
            ],
            [
              0.11781,
              0.45726,
              0.54215,
              0.64707,
              0.77931,
              0.94353,
              1.1497
            ],
            [
              0.12859,
              0.45739,
              0.5415,
              0.64776,
              0.77953,
              0.94299,
              1.14853
            ],
            [
              0.15536,
              0.45666,
              0.54186,
              0.64778,
              0.77879,
              0.94431,
              1.14994
            ],
            [
              0.19397,
              0.4687,
              0.5473,
              0.6485,
              0.7791,
              0.9436,
              1.1498
            ],
            [
              0.2422,
              0.5117,
              0.5812,
              0.6723,
              0.7922,
              0.9479,
              1.1483
            ],
            [
              0.3074,
              0.6053,
              0.6643,
              0.7421,
              0.8485,
              0.9885,
              1.1723
            ]
          ]
        },
        "sdf_cond": "(A1&!A2&!A3&B2)",
        "timing_sense": "negative_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.00806,
            0.01008,
            0.0126,
            0.01575,
            0.01969,
            0.02461
          ],
          "values": [
            [
              0.06958,
              0.214,
              0.24981,
              0.29442,
              0.3502,
              0.42012,
              0.50698
            ],
            [
              0.07175,
              0.21691,
              0.25277,
              0.29741,
              0.35322,
              0.42294,
              0.51001
            ],
            [
              0.07448,
              0.22047,
              0.25637,
              0.30108,
              0.35688,
              0.42669,
              0.51389
            ],
            [
              0.07874,
              0.22573,
              0.2617,
              0.30644,
              0.36234,
              0.43208,
              0.51921
            ],
            [
              0.08547,
              0.23367,
              0.26967,
              0.31451,
              0.37042,
              0.44027,
              0.52753
            ],
            [
              0.09592,
              0.24531,
              0.28148,
              0.32642,
              0.38239,
              0.45238,
              0.5396
            ],
            [
              0.11228,
              0.26262,
              0.2989,
              0.34394,
              0.40012,
              0.47021,
              0.5575
            ],
            [
              0.13384,
              0.28834,
              0.32485,
              0.37008,
              0.42636,
              0.49645,
              0.58395
            ],
            [
              0.15877,
              0.32707,
              0.36361,
              0.40904,
              0.46541,
              0.53558,
              0.62333
            ],
            [
              0.18731,
              0.3859,
              0.42245,
              0.46777,
              0.52425,
              0.59466,
              0.68219
            ],
            [
              0.21909,
              0.46692,
              0.50902,
              0.55682,
              0.61322,
              0.68332,
              0.77102
            ],
            [
              0.25307,
              0.56387,
              0.61597,
              0.67527,
              0.74207,
              0.81687,
              0.90537
            ],
            [
              0.2873,
              0.6777,
              0.7431,
              0.8168,
              0.8995,
              0.9932,
              1.0982
            ]
          ]
        },
        "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.00806,
            0.01008,
            0.0126,
            0.01575,
            0.01969,
            0.02461
          ],
          "values": [
            [
              0.1714,
              0.52046,
              0.60693,
              0.71467,
              0.84922,
              1.01737,
              1.22727
            ],
            [
              0.17308,
              0.52334,
              0.60987,
              0.71768,
              0.85228,
              1.02054,
              1.23044
            ],
            [
              0.17525,
              0.52649,
              0.6131,
              0.72098,
              0.85565,
              1.02392,
              1.23392
            ],
            [
              0.17871,
              0.53126,
              0.61794,
              0.72591,
              0.86067,
              1.02907,
              1.23908
            ],
            [
              0.18459,
              0.53847,
              0.62533,
              0.73344,
              0.86835,
              1.03671,
              1.24701
            ],
            [
              0.19453,
              0.54956,
              0.6366,
              0.74485,
              0.87985,
              1.04852,
              1.25872
            ],
            [
              0.21112,
              0.56668,
              0.65393,
              0.76239,
              0.89763,
              1.06663,
              1.27693
            ],
            [
              0.23814,
              0.59369,
              0.68068,
              0.78931,
              0.92476,
              1.09376,
              1.30446
            ],
            [
              0.28124,
              0.63471,
              0.7224,
              0.83125,
              0.96695,
              1.13535,
              1.34625
            ],
            [
              0.34784,
              0.69769,
              0.78529,
              0.89429,
              1.02999,
              1.19939,
              1.41059
            ],
            [
              0.43138,
              0.79492,
              0.88232,
              0.99102,
              1.12662,
              1.29592,
              1.50712
            ],
            [
              0.53577,
              0.94247,
              1.02927,
              1.13747,
              1.27267,
              1.44177,
              1.65267
            ],
            [
              0.6661,
              1.1654,
              1.2548,
              1.3614,
              1.4958,
              1.664,
              1.8741
            ]
          ]
        },
        "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.00806,
            0.01008,
            0.0126,
            0.01575,
            0.01969,
            0.02461
          ],
          "values": [
            [
              0.07187,
              0.26397,
              0.31205,
              0.37202,
              0.4473,
              0.54098,
              0.65827
            ],
            [
              0.07187,
              0.26393,
              0.31197,
              0.37202,
              0.44712,
              0.54079,
              0.6583
            ],
            [
              0.07188,
              0.26395,
              0.31207,
              0.37201,
              0.44702,
              0.54131,
              0.65824
            ],
            [
              0.07187,
              0.26396,
              0.31206,
              0.37228,
              0.44716,
              0.54064,
              0.65826
            ],
            [
              0.07188,
              0.26407,
              0.31208,
              0.37213,
              0.44691,
              0.54071,
              0.65805
            ],
            [
              0.07185,
              0.26401,
              0.31209,
              0.37221,
              0.44712,
              0.541,
              0.65813
            ],
            [
              0.07571,
              0.26396,
              0.31207,
              0.3722,
              0.44714,
              0.54125,
              0.65819
            ],
            [
              0.08699,
              0.26405,
              0.31199,
              0.37218,
              0.44696,
              0.54122,
              0.65774
            ],
            [
              0.10718,
              0.26677,
              0.31285,
              0.3724,
              0.44691,
              0.54113,
              0.65814
            ],
            [
              0.13449,
              0.28331,
              0.3251,
              0.37959,
              0.45022,
              0.5415,
              0.65828
            ],
            [
              0.17268,
              0.32422,
              0.36042,
              0.40823,
              0.47218,
              0.55564,
              0.6647
            ],
            [
              0.22463,
              0.3965,
              0.4316,
              0.4735,
              0.5288,
              0.6036,
              0.7001
            ],
            [
              0.2935,
              0.4961,
              0.5356,
              0.5824,
              0.6379,
              0.7035,
              0.7891
            ]
          ]
        },
        "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.00806,
            0.01008,
            0.0126,
            0.01575,
            0.01969,
            0.02461
          ],
          "values": [
            [
              0.16776,
              0.62957,
              0.74379,
              0.886,
              1.06415,
              1.28651,
              1.56586
            ],
            [
              0.16773,
              0.62988,
              0.74428,
              0.88605,
              1.06397,
              1.28857,
              1.56589
            ],
            [
              0.16737,
              0.62961,
              0.74363,
              0.88594,
              1.06406,
              1.28641,
              1.56586
            ],
            [
              0.16727,
              0.6292,
              0.74394,
              0.88604,
              1.064,
              1.28656,
              1.56638
            ],
            [
              0.16685,
              0.62972,
              0.7437,
              0.88589,
              1.06402,
              1.2879,
              1.5664
            ],
            [
              0.16617,
              0.62955,
              0.74445,
              0.88736,
              1.0642,
              1.2865,
              1.56586
            ],
            [
              0.16499,
              0.62939,
              0.74352,
              0.8866,
              1.06413,
              1.28697,
              1.56585
            ],
            [
              0.16259,
              0.6292,
              0.74341,
              0.88662,
              1.06574,
              1.28816,
              1.56616
            ],
            [
              0.1678,
              0.62922,
              0.7441,
              0.88695,
              1.06547,
              1.2873,
              1.56547
            ],
            [
              0.18785,
              0.62782,
              0.7435,
              0.88613,
              1.06546,
              1.28778,
              1.5663
            ],
            [
              0.22918,
              0.6295,
              0.7414,
              0.8858,
              1.0651,
              1.2885,
              1.5659
            ],
            [
              0.2764,
              0.6568,
              0.7589,
              0.8929,
              1.0638,
              1.287,
              1.5646
            ],
            [
              0.3421,
              0.7309,
              0.8215,
              0.9409,
              1.0983,
              1.3032,
              1.5696
            ]
          ]
        },
        "sdf_cond": "(A1&!A2&A3&B2)",
        "timing_sense": "negative_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.00806,
            0.01008,
            0.0126,
            0.01575,
            0.01969,
            0.02461
          ],
          "values": [
            [
              0.06958,
              0.21399,
              0.24981,
              0.29442,
              0.35018,
              0.41999,
              0.50694
            ],
            [
              0.07175,
              0.21694,
              0.25277,
              0.29743,
              0.35321,
              0.42295,
              0.51008
            ],
            [
              0.07444,
              0.22049,
              0.25634,
              0.30106,
              0.35687,
              0.4266,
              0.51373
            ],
            [
              0.07871,
              0.2257,
              0.26166,
              0.3064,
              0.3623,
              0.43206,
              0.51921
            ],
            [
              0.08541,
              0.23365,
              0.26963,
              0.31443,
              0.3704,
              0.44026,
              0.52745
            ],
            [
              0.09584,
              0.24526,
              0.2814,
              0.32633,
              0.38233,
              0.45235,
              0.53968
            ],
            [
              0.11217,
              0.26252,
              0.29879,
              0.34382,
              0.40003,
              0.47001,
              0.55741
            ],
            [
              0.13368,
              0.28822,
              0.32475,
              0.36992,
              0.4262,
              0.49631,
              0.58383
            ],
            [
              0.15853,
              0.32691,
              0.36334,
              0.40878,
              0.46536,
              0.53539,
              0.62317
            ],
            [
              0.18703,
              0.38569,
              0.42225,
              0.46753,
              0.52399,
              0.59439,
              0.68209
            ],
            [
              0.21879,
              0.46662,
              0.50872,
              0.55662,
              0.61292,
              0.68302,
              0.77062
            ],
            [
              0.25287,
              0.56357,
              0.61567,
              0.67497,
              0.74177,
              0.81737,
              0.90507
            ],
            [
              0.2871,
              0.6773,
              0.7428,
              0.8164,
              0.8991,
              0.9928,
              1.0979
            ]
          ]
        },
        "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.00806,
            0.01008,
            0.0126,
            0.01575,
            0.01969,
            0.02461
          ],
          "values": [
            [
              0.19557,
              0.53554,
              0.61903,
              0.72295,
              0.85256,
              1.01447,
              1.21657
            ],
            [
              0.19759,
              0.5384,
              0.62196,
              0.72601,
              0.85571,
              1.01764,
              1.21964
            ],
            [
              0.20008,
              0.54165,
              0.62528,
              0.7293,
              0.85913,
              1.02112,
              1.22322
            ],
            [
              0.20403,
              0.54653,
              0.63023,
              0.73437,
              0.8642,
              1.02628,
              1.22838
            ],
            [
              0.21047,
              0.5539,
              0.63774,
              0.74199,
              0.87193,
              1.03401,
              1.23621
            ],
            [
              0.22096,
              0.56524,
              0.64921,
              0.75358,
              0.88365,
              1.04592,
              1.24832
            ],
            [
              0.2378,
              0.58269,
              0.66686,
              0.77144,
              0.90173,
              1.06423,
              1.26683
            ],
            [
              0.26472,
              0.61015,
              0.69409,
              0.79876,
              0.92916,
              1.09176,
              1.29446
            ],
            [
              0.30707,
              0.65113,
              0.73623,
              0.84125,
              0.97175,
              1.13445,
              1.33735
            ],
            [
              0.3751,
              0.71569,
              0.79999,
              0.90439,
              1.03549,
              1.19859,
              1.40169
            ],
            [
              0.46732,
              0.81322,
              0.89722,
              1.00182,
              1.13282,
              1.29592,
              1.49892
            ],
            [
              0.58267,
              0.96197,
              1.04577,
              1.15017,
              1.28007,
              1.44277,
              1.64567
            ],
            [
              0.7263,
              1.1877,
              1.2723,
              1.3754,
              1.5049,
              1.6664,
              1.8692
            ]
          ]
        },
        "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.00806,
            0.01008,
            0.0126,
            0.01575,
            0.01969,
            0.02461
          ],
          "values": [
            [
              0.07871,
              0.28079,
              0.3292,
              0.38926,
              0.4644,
              0.55792,
              0.67515
            ],
            [
              0.07871,
              0.28079,
              0.32921,
              0.38928,
              0.46434,
              0.55826,
              0.67521
            ],
            [
              0.07871,
              0.2808,
              0.32922,
              0.38926,
              0.46441,
              0.5582,
              0.67485
            ],
            [
              0.07872,
              0.2808,
              0.32922,
              0.38935,
              0.46442,
              0.55795,
              0.67515
            ],
            [
              0.07873,
              0.28079,
              0.32922,
              0.38921,
              0.46435,
              0.55796,
              0.67485
            ],
            [
              0.0787,
              0.2808,
              0.32924,
              0.38919,
              0.46436,
              0.55829,
              0.67516
            ],
            [
              0.08259,
              0.2808,
              0.3292,
              0.38935,
              0.46435,
              0.55793,
              0.67489
            ],
            [
              0.09406,
              0.28077,
              0.32929,
              0.38929,
              0.46445,
              0.55795,
              0.67478
            ],
            [
              0.11828,
              0.28362,
              0.33007,
              0.3893,
              0.46444,
              0.55792,
              0.67482
            ],
            [
              0.15053,
              0.30027,
              0.34231,
              0.39679,
              0.46739,
              0.55865,
              0.67521
            ],
            [
              0.19512,
              0.34106,
              0.37771,
              0.4257,
              0.48941,
              0.5727,
              0.6815
            ],
            [
              0.25492,
              0.415,
              0.4491,
              0.4911,
              0.5465,
              0.62,
              0.7177
            ],
            [
              0.3338,
              0.5177,
              0.556,
              0.6018,
              0.6561,
              0.7212,
              0.8059
            ]
          ]
        },
        "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.00806,
            0.01008,
            0.0126,
            0.01575,
            0.01969,
            0.02461
          ],
          "values": [
            [
              0.18457,
              0.62798,
              0.73776,
              0.87527,
              1.04791,
              1.26237,
              1.53014
            ],
            [
              0.18426,
              0.62756,
              0.73827,
              0.87588,
              1.04785,
              1.26233,
              1.53011
            ],
            [
              0.18441,
              0.62779,
              0.73844,
              0.87603,
              1.04792,
              1.26239,
              1.53004
            ],
            [
              0.18424,
              0.62786,
              0.73816,
              0.87577,
              1.04781,
              1.26226,
              1.53001
            ],
            [
              0.18393,
              0.62797,
              0.73847,
              0.87547,
              1.04781,
              1.26236,
              1.53007
            ],
            [
              0.1838,
              0.62759,
              0.7382,
              0.87616,
              1.04789,
              1.26229,
              1.53012
            ],
            [
              0.18307,
              0.62802,
              0.73795,
              0.87611,
              1.04755,
              1.26242,
              1.53009
            ],
            [
              0.18165,
              0.62806,
              0.73872,
              0.87494,
              1.0477,
              1.26229,
              1.53002
            ],
            [
              0.18155,
              0.62776,
              0.73869,
              0.87547,
              1.04754,
              1.26237,
              1.53008
            ],
            [
              0.1959,
              0.62746,
              0.73829,
              0.87541,
              1.04785,
              1.26174,
              1.5301
            ],
            [
              0.2339,
              0.6266,
              0.7357,
              0.8748,
              1.0477,
              1.261,
              1.5295
            ],
            [
              0.2828,
              0.6515,
              0.7511,
              0.881,
              1.0473,
              1.2615,
              1.5289
            ],
            [
              0.349,
              0.7221,
              0.8106,
              0.927,
              1.0792,
              1.276,
              1.5306
            ]
          ]
        },
        "sdf_cond": "(A1&A2&!A3&B2)",
        "timing_sense": "negative_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.00806,
            0.01008,
            0.0126,
            0.01575,
            0.01969,
            0.02461
          ],
          "values": [
            [
              0.08051,
              0.22569,
              0.26149,
              0.30594,
              0.36168,
              0.43187,
              0.51877
            ],
            [
              0.08308,
              0.22879,
              0.26494,
              0.30934,
              0.36542,
              0.43492,
              0.52267
            ],
            [
              0.08609,
              0.23268,
              0.26888,
              0.31359,
              0.36915,
              0.43945,
              0.52649
            ],
            [
              0.09022,
              0.2381,
              0.2742,
              0.31901,
              0.37504,
              0.44459,
              0.53165
            ],
            [
              0.09628,
              0.24544,
              0.28169,
              0.32654,
              0.38227,
              0.45268,
              0.53998
            ],
            [
              0.10542,
              0.25597,
              0.29222,
              0.33694,
              0.39342,
              0.46335,
              0.55024
            ],
            [
              0.11943,
              0.27104,
              0.30728,
              0.35233,
              0.40892,
              0.47878,
              0.56614
            ],
            [
              0.13831,
              0.29347,
              0.3298,
              0.37513,
              0.43165,
              0.50215,
              0.58987
            ],
            [
              0.16254,
              0.32686,
              0.36369,
              0.40945,
              0.46604,
              0.53667,
              0.62432
            ],
            [
              0.19342,
              0.37757,
              0.41452,
              0.46032,
              0.51725,
              0.58844,
              0.67609
            ],
            [
              0.23076,
              0.44662,
              0.48802,
              0.53672,
              0.59442,
              0.66542,
              0.75412
            ],
            [
              0.27367,
              0.53617,
              0.58357,
              0.63897,
              0.70387,
              0.78027,
              0.87047
            ],
            [
              0.3207,
              0.6501,
              0.7063,
              0.771,
              0.8459,
              0.9329,
              1.0345
            ]
          ]
        },
        "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.00806,
            0.01008,
            0.0126,
            0.01575,
            0.01969,
            0.02461
          ],
          "values": [
            [
              0.11544,
              0.32948,
              0.38259,
              0.44888,
              0.53159,
              0.63511,
              0.76419
            ],
            [
              0.11749,
              0.33215,
              0.38529,
              0.45161,
              0.53429,
              0.63781,
              0.76689
            ],
            [
              0.12023,
              0.33552,
              0.38872,
              0.45499,
              0.53778,
              0.64131,
              0.77042
            ],
            [
              0.12472,
              0.34076,
              0.39399,
              0.46038,
              0.54317,
              0.64665,
              0.77587
            ],
            [
              0.13207,
              0.34894,
              0.40228,
              0.46863,
              0.5515,
              0.65515,
              0.78434
            ],
            [
              0.14396,
              0.3615,
              0.41494,
              0.4814,
              0.56429,
              0.66795,
              0.79704
            ],
            [
              0.16286,
              0.38076,
              0.43421,
              0.50069,
              0.58366,
              0.68729,
              0.8166
            ],
            [
              0.19238,
              0.4098,
              0.4633,
              0.52987,
              0.61287,
              0.71736,
              0.84696
            ],
            [
              0.23731,
              0.45483,
              0.50846,
              0.57519,
              0.65848,
              0.76235,
              0.89185
            ],
            [
              0.29334,
              0.5219,
              0.57563,
              0.64229,
              0.72559,
              0.82949,
              0.95909
            ],
            [
              0.36268,
              0.62522,
              0.67872,
              0.74522,
              0.82792,
              0.93102,
              1.06152
            ],
            [
              0.44837,
              0.77727,
              0.83457,
              0.90067,
              0.98367,
              1.08747,
              1.21507
            ],
            [
              0.554,
              0.9719,
              1.0439,
              1.1251,
              1.2168,
              1.3212,
              1.4501
            ]
          ]
        },
        "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.00806,
            0.01008,
            0.0126,
            0.01575,
            0.01969,
            0.02461
          ],
          "values": [
            [
              0.0524,
              0.24512,
              0.29304,
              0.35326,
              0.42836,
              0.5231,
              0.63984
            ],
            [
              0.05247,
              0.24484,
              0.29311,
              0.35327,
              0.42905,
              0.5222,
              0.64035
            ],
            [
              0.05247,
              0.2449,
              0.29329,
              0.35318,
              0.42836,
              0.5225,
              0.63977
            ],
            [
              0.05246,
              0.24522,
              0.29341,
              0.35314,
              0.42843,
              0.52244,
              0.63972
            ],
            [
              0.05245,
              0.24522,
              0.29322,
              0.35312,
              0.42836,
              0.52263,
              0.63923
            ],
            [
              0.05243,
              0.24512,
              0.29304,
              0.35327,
              0.42858,
              0.52237,
              0.63979
            ],
            [
              0.05455,
              0.2451,
              0.29312,
              0.35315,
              0.4285,
              0.52247,
              0.63959
            ],
            [
              0.06184,
              0.24468,
              0.29307,
              0.35308,
              0.42846,
              0.52313,
              0.63973
            ],
            [
              0.07275,
              0.24712,
              0.29417,
              0.35362,
              0.42838,
              0.52298,
              0.63996
            ],
            [
              0.08904,
              0.25802,
              0.30251,
              0.35913,
              0.43156,
              0.5235,
              0.63984
            ],
            [
              0.11357,
              0.28458,
              0.32551,
              0.37758,
              0.44615,
              0.53374,
              0.6458
            ],
            [
              0.1487,
              0.3312,
              0.3718,
              0.4209,
              0.4828,
              0.5641,
              0.6694
            ],
            [
              0.1977,
              0.3993,
              0.4409,
              0.4922,
              0.5551,
              0.6316,
              0.7277
            ]
          ]
        },
        "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.00806,
            0.01008,
            0.0126,
            0.01575,
            0.01969,
            0.02461
          ],
          "values": [
            [
              0.09816,
              0.38542,
              0.45687,
              0.54654,
              0.6579,
              0.798,
              0.97238
            ],
            [
              0.0982,
              0.38523,
              0.45675,
              0.54664,
              0.65826,
              0.79794,
              0.97253
            ],
            [
              0.09806,
              0.385,
              0.4572,
              0.54647,
              0.65819,
              0.79802,
              0.97229
            ],
            [
              0.09804,
              0.38519,
              0.45688,
              0.54668,
              0.65824,
              0.798,
              0.97241
            ],
            [
              0.09799,
              0.38531,
              0.45694,
              0.54633,
              0.65825,
              0.79803,
              0.97235
            ],
            [
              0.0978,
              0.38495,
              0.4572,
              0.54641,
              0.65823,
              0.79802,
              0.97218
            ],
            [
              0.09749,
              0.38533,
              0.45659,
              0.54611,
              0.65847,
              0.79797,
              0.9725
            ],
            [
              0.10096,
              0.38509,
              0.45714,
              0.54629,
              0.65806,
              0.7979,
              0.97246
            ],
            [
              0.1159,
              0.38494,
              0.45711,
              0.54629,
              0.65837,
              0.79797,
              0.97244
            ],
            [
              0.14612,
              0.38725,
              0.45651,
              0.54571,
              0.65825,
              0.79694,
              0.97248
            ],
            [
              0.18162,
              0.40788,
              0.4709,
              0.5529,
              0.6595,
              0.797,
              0.9724
            ],
            [
              0.2292,
              0.4627,
              0.5169,
              0.5892,
              0.6856,
              0.8111,
              0.9752
            ],
            [
              0.2918,
              0.569,
              0.6157,
              0.6771,
              0.7591,
              0.8708,
              1.0194
            ]
          ]
        },
        "sdf_cond": "(!A1&!A2&!A3&B1)",
        "timing_sense": "negative_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.00806,
            0.01008,
            0.0126,
            0.01575,
            0.01969,
            0.02461
          ],
          "values": [
            [
              0.08056,
              0.22544,
              0.26137,
              0.30595,
              0.36216,
              0.43147,
              0.51899
            ],
            [
              0.08314,
              0.22913,
              0.26509,
              0.30976,
              0.36568,
              0.435,
              0.52272
            ],
            [
              0.08623,
              0.23298,
              0.26907,
              0.31388,
              0.36967,
              0.43913,
              0.52683
            ],
            [
              0.09057,
              0.23831,
              0.27453,
              0.3192,
              0.37533,
              0.44526,
              0.53217
            ],
            [
              0.09666,
              0.24597,
              0.28197,
              0.32672,
              0.38303,
              0.45306,
              0.54009
            ],
            [
              0.10587,
              0.25653,
              0.29251,
              0.33778,
              0.39381,
              0.46353,
              0.55144
            ],
            [
              0.11994,
              0.27174,
              0.30801,
              0.35329,
              0.40961,
              0.47955,
              0.5674
            ],
            [
              0.1389,
              0.29425,
              0.33055,
              0.37625,
              0.43249,
              0.503,
              0.59066
            ],
            [
              0.16314,
              0.32774,
              0.36457,
              0.41041,
              0.46669,
              0.5377,
              0.62534
            ],
            [
              0.19398,
              0.37841,
              0.41544,
              0.4612,
              0.51818,
              0.5894,
              0.67719
            ],
            [
              0.23128,
              0.44752,
              0.48892,
              0.53762,
              0.59532,
              0.66642,
              0.75512
            ],
            [
              0.27417,
              0.53707,
              0.58447,
              0.63987,
              0.70477,
              0.78127,
              0.87147
            ],
            [
              0.3211,
              0.6508,
              0.7071,
              0.7719,
              0.8468,
              0.9339,
              1.0355
            ]
          ]
        },
        "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.00806,
            0.01008,
            0.0126,
            0.01575,
            0.01969,
            0.02461
          ],
          "values": [
            [
              0.12867,
              0.37423,
              0.43527,
              0.51125,
              0.60609,
              0.72495,
              0.87288
            ],
            [
              0.13046,
              0.37666,
              0.43774,
              0.51377,
              0.60873,
              0.72739,
              0.87559
            ],
            [
              0.1329,
              0.37982,
              0.44089,
              0.51695,
              0.61204,
              0.73076,
              0.87887
            ],
            [
              0.137,
              0.38488,
              0.44599,
              0.52216,
              0.61721,
              0.73601,
              0.88416
            ],
            [
              0.14385,
              0.3927,
              0.45384,
              0.53012,
              0.62517,
              0.74414,
              0.8924
            ],
            [
              0.15512,
              0.40475,
              0.46606,
              0.54232,
              0.63759,
              0.75662,
              0.90501
            ],
            [
              0.17327,
              0.42327,
              0.48466,
              0.56105,
              0.65632,
              0.77533,
              0.92383
            ],
            [
              0.20196,
              0.45145,
              0.51291,
              0.58929,
              0.68537,
              0.8045,
              0.95316
            ],
            [
              0.24707,
              0.49516,
              0.55676,
              0.63338,
              0.72905,
              0.84835,
              0.99685
            ],
            [
              0.30463,
              0.56081,
              0.62238,
              0.69909,
              0.79459,
              0.91389,
              1.06279
            ],
            [
              0.37575,
              0.66072,
              0.72232,
              0.79842,
              0.89442,
              1.01372,
              1.16252
            ],
            [
              0.46357,
              0.81257,
              0.87467,
              0.95077,
              1.04537,
              1.16377,
              1.31257
            ],
            [
              0.5716,
              1.0126,
              1.0894,
              1.1763,
              1.2747,
              1.3932,
              1.5411
            ]
          ]
        },
        "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.00806,
            0.01008,
            0.0126,
            0.01575,
            0.01969,
            0.02461
          ],
          "values": [
            [
              0.05248,
              0.24483,
              0.29312,
              0.35307,
              0.42849,
              0.52224,
              0.63977
            ],
            [
              0.05242,
              0.24509,
              0.29309,
              0.3535,
              0.42839,
              0.52239,
              0.64039
            ],
            [
              0.05245,
              0.24484,
              0.29313,
              0.353,
              0.42866,
              0.52235,
              0.63933
            ],
            [
              0.05245,
              0.2449,
              0.2931,
              0.35326,
              0.42864,
              0.52248,
              0.63989
            ],
            [
              0.05237,
              0.2452,
              0.2931,
              0.35326,
              0.42841,
              0.52256,
              0.63989
            ],
            [
              0.05241,
              0.24492,
              0.29312,
              0.3535,
              0.42836,
              0.5224,
              0.63958
            ],
            [
              0.05444,
              0.24504,
              0.29312,
              0.35361,
              0.42838,
              0.52248,
              0.63999
            ],
            [
              0.06161,
              0.24463,
              0.29305,
              0.35349,
              0.42846,
              0.52309,
              0.63973
            ],
            [
              0.07244,
              0.24695,
              0.29411,
              0.35312,
              0.42837,
              0.52257,
              0.63996
            ],
            [
              0.08874,
              0.25784,
              0.3021,
              0.35868,
              0.43154,
              0.52341,
              0.63987
            ],
            [
              0.11323,
              0.28399,
              0.32511,
              0.3773,
              0.44581,
              0.53342,
              0.6455
            ],
            [
              0.1483,
              0.3309,
              0.3712,
              0.4204,
              0.4823,
              0.5638,
              0.6692
            ],
            [
              0.1973,
              0.3985,
              0.4404,
              0.4917,
              0.5545,
              0.6311,
              0.7272
            ]
          ]
        },
        "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.00806,
            0.01008,
            0.0126,
            0.01575,
            0.01969,
            0.02461
          ],
          "values": [
            [
              0.11449,
              0.44316,
              0.52535,
              0.62737,
              0.75469,
              0.91445,
              1.11319
            ],
            [
              0.11449,
              0.44362,
              0.52576,
              0.62782,
              0.75454,
              0.91537,
              1.11436
            ],
            [
              0.11418,
              0.44337,
              0.52567,
              0.62797,
              0.75556,
              0.91376,
              1.11448
            ],
            [
              0.11408,
              0.44381,
              0.52559,
              0.62694,
              0.75552,
              0.91359,
              1.11436
            ],
            [
              0.11385,
              0.44353,
              0.52581,
              0.62793,
              0.75564,
              0.91403,
              1.11414
            ],
            [
              0.1135,
              0.44369,
              0.52548,
              0.6277,
              0.75526,
              0.91399,
              1.11403
            ],
            [
              0.11295,
              0.44365,
              0.52584,
              0.62753,
              0.75458,
              0.91374,
              1.11366
            ],
            [
              0.11457,
              0.44368,
              0.52523,
              0.62799,
              0.75562,
              0.91493,
              1.11407
            ],
            [
              0.1275,
              0.44342,
              0.52484,
              0.62787,
              0.75447,
              0.91487,
              1.11388
            ],
            [
              0.15717,
              0.44318,
              0.5251,
              0.62665,
              0.75553,
              0.91523,
              1.11408
            ],
            [
              0.19321,
              0.4589,
              0.5339,
              0.6304,
              0.7543,
              0.9138,
              1.1142
            ],
            [
              0.241,
              0.5078,
              0.5731,
              0.6597,
              0.7727,
              0.9221,
              1.1142
            ],
            [
              0.3043,
              0.6078,
              0.6635,
              0.738,
              0.8381,
              0.9705,
              1.1446
            ]
          ]
        },
        "sdf_cond": "(!A1&!A2&A3&B1)",
        "timing_sense": "negative_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.00806,
            0.01008,
            0.0126,
            0.01575,
            0.01969,
            0.02461
          ],
          "values": [
            [
              0.08057,
              0.22559,
              0.26149,
              0.30594,
              0.36216,
              0.43162,
              0.51914
            ],
            [
              0.0832,
              0.22901,
              0.26491,
              0.30943,
              0.36566,
              0.43523,
              0.52269
            ],
            [
              0.08621,
              0.23294,
              0.26889,
              0.3138,
              0.36975,
              0.4392,
              0.52686
            ],
            [
              0.09054,
              0.2385,
              0.27443,
              0.31899,
              0.37489,
              0.44473,
              0.53239
            ],
            [
              0.09666,
              0.24574,
              0.28205,
              0.32664,
              0.383,
              0.45302,
              0.54011
            ],
            [
              0.10581,
              0.25645,
              0.2925,
              0.33769,
              0.39378,
              0.46343,
              0.55135
            ],
            [
              0.11985,
              0.27164,
              0.30806,
              0.35321,
              0.40946,
              0.47943,
              0.56731
            ],
            [
              0.13879,
              0.29412,
              0.33043,
              0.37614,
              0.43239,
              0.50286,
              0.59054
            ],
            [
              0.16303,
              0.32758,
              0.36442,
              0.41026,
              0.46654,
              0.53754,
              0.62519
            ],
            [
              0.19387,
              0.37826,
              0.41527,
              0.46103,
              0.51802,
              0.58923,
              0.67699
            ],
            [
              0.23118,
              0.44742,
              0.48872,
              0.53752,
              0.59512,
              0.66622,
              0.75502
            ],
            [
              0.27407,
              0.53687,
              0.58437,
              0.63967,
              0.70457,
              0.78107,
              0.87127
            ],
            [
              0.321,
              0.6507,
              0.707,
              0.7717,
              0.8466,
              0.9337,
              1.0353
            ]
          ]
        },
        "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.00806,
            0.01008,
            0.0126,
            0.01575,
            0.01969,
            0.02461
          ],
          "values": [
            [
              0.12644,
              0.36569,
              0.42508,
              0.49912,
              0.59156,
              0.70713,
              0.85152
            ],
            [
              0.12826,
              0.36812,
              0.42759,
              0.50161,
              0.59411,
              0.70991,
              0.85404
            ],
            [
              0.13074,
              0.37132,
              0.43081,
              0.50489,
              0.59741,
              0.71326,
              0.85748
            ],
            [
              0.13489,
              0.37634,
              0.43595,
              0.51011,
              0.60264,
              0.71854,
              0.86279
            ],
            [
              0.14184,
              0.38424,
              0.44386,
              0.51812,
              0.61082,
              0.72656,
              0.87115
            ],
            [
              0.15321,
              0.39643,
              0.4562,
              0.53044,
              0.62312,
              0.73897,
              0.88367
            ],
            [
              0.17148,
              0.41508,
              0.47483,
              0.54923,
              0.64209,
              0.75795,
              0.90243
            ],
            [
              0.20033,
              0.44342,
              0.50328,
              0.57772,
              0.67127,
              0.78731,
              0.93226
            ],
            [
              0.2454,
              0.48738,
              0.54738,
              0.622,
              0.71517,
              0.83135,
              0.97615
            ],
            [
              0.30263,
              0.55332,
              0.61329,
              0.68799,
              0.78109,
              0.89729,
              1.04219
            ],
            [
              0.37338,
              0.65422,
              0.71382,
              0.78792,
              0.88132,
              0.99762,
              1.14242
            ],
            [
              0.46077,
              0.80587,
              0.86677,
              0.94087,
              1.03377,
              1.14827,
              1.29317
            ],
            [
              0.5683,
              1.0048,
              1.0807,
              1.1665,
              1.2635,
              1.3788,
              1.5229
            ]
          ]
        },
        "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.00806,
            0.01008,
            0.0126,
            0.01575,
            0.01969,
            0.02461
          ],
          "values": [
            [
              0.0524,
              0.24484,
              0.29311,
              0.35318,
              0.42863,
              0.52251,
              0.63996
            ],
            [
              0.05239,
              0.24517,
              0.29307,
              0.35317,
              0.42864,
              0.5225,
              0.64062
            ],
            [
              0.05249,
              0.2449,
              0.2931,
              0.3532,
              0.42886,
              0.52249,
              0.64056
            ],
            [
              0.05245,
              0.2449,
              0.29341,
              0.3532,
              0.4284,
              0.52244,
              0.64081
            ],
            [
              0.05246,
              0.2449,
              0.2933,
              0.35322,
              0.42886,
              0.52286,
              0.63984
            ],
            [
              0.05241,
              0.24505,
              0.29312,
              0.35359,
              0.4283,
              0.52242,
              0.64063
            ],
            [
              0.05446,
              0.24477,
              0.29312,
              0.35359,
              0.42858,
              0.52246,
              0.64053
            ],
            [
              0.06167,
              0.24467,
              0.29304,
              0.35341,
              0.42845,
              0.5231,
              0.63976
            ],
            [
              0.07249,
              0.24699,
              0.29413,
              0.3532,
              0.42837,
              0.52262,
              0.63992
            ],
            [
              0.08881,
              0.25787,
              0.30212,
              0.35867,
              0.43153,
              0.5234,
              0.63985
            ],
            [
              0.11328,
              0.28412,
              0.32514,
              0.37732,
              0.44593,
              0.53343,
              0.6455
            ],
            [
              0.1484,
              0.331,
              0.3713,
              0.4204,
              0.4824,
              0.5639,
              0.6692
            ],
            [
              0.1975,
              0.3987,
              0.4405,
              0.4918,
              0.5546,
              0.6311,
              0.7274
            ]
          ]
        },
        "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.00806,
            0.01008,
            0.0126,
            0.01575,
            0.01969,
            0.02461
          ],
          "values": [
            [
              0.11096,
              0.43182,
              0.51104,
              0.61147,
              0.73462,
              0.89148,
              1.08568
            ],
            [
              0.11104,
              0.4319,
              0.51145,
              0.61058,
              0.73615,
              0.89058,
              1.08555
            ],
            [
              0.11093,
              0.43182,
              0.51131,
              0.61156,
              0.73593,
              0.89013,
              1.08556
            ],
            [
              0.11077,
              0.43195,
              0.51183,
              0.61109,
              0.73575,
              0.89012,
              1.08551
            ],
            [
              0.11068,
              0.43187,
              0.51167,
              0.61162,
              0.73616,
              0.89142,
              1.08456
            ],
            [
              0.11041,
              0.43189,
              0.51177,
              0.61087,
              0.73578,
              0.89126,
              1.08392
            ],
            [
              0.10989,
              0.43156,
              0.51096,
              0.61137,
              0.73622,
              0.89108,
              1.08557
            ],
            [
              0.11179,
              0.43146,
              0.5118,
              0.61129,
              0.73592,
              0.89123,
              1.08491
            ],
            [
              0.12501,
              0.43118,
              0.5117,
              0.61153,
              0.73582,
              0.89144,
              1.08512
            ],
            [
              0.15534,
              0.43169,
              0.51112,
              0.61044,
              0.73589,
              0.89081,
              1.08573
            ],
            [
              0.19085,
              0.44817,
              0.521,
              0.6146,
              0.7356,
              0.8913,
              1.0852
            ],
            [
              0.2387,
              0.4977,
              0.5615,
              0.6453,
              0.7548,
              0.8986,
              1.0858
            ],
            [
              0.3018,
              0.6,
              0.6538,
              0.7252,
              0.8221,
              0.9501,
              1.1204
            ]
          ]
        },
        "sdf_cond": "(!A1&A2&!A3&B1)",
        "timing_sense": "negative_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.00806,
            0.01008,
            0.0126,
            0.01575,
            0.01969,
            0.02461
          ],
          "values": [
            [
              0.08067,
              0.22573,
              0.26162,
              0.30616,
              0.36222,
              0.43155,
              0.51919
            ],
            [
              0.08339,
              0.22907,
              0.26512,
              0.30958,
              0.36593,
              0.43543,
              0.52291
            ],
            [
              0.08655,
              0.23322,
              0.26933,
              0.31374,
              0.37008,
              0.43941,
              0.5271
            ],
            [
              0.09101,
              0.23889,
              0.27497,
              0.31964,
              0.3757,
              0.44561,
              0.53299
            ],
            [
              0.09734,
              0.24663,
              0.28267,
              0.32755,
              0.38327,
              0.45357,
              0.541
            ],
            [
              0.10675,
              0.25739,
              0.29362,
              0.33837,
              0.39487,
              0.46445,
              0.55237
            ],
            [
              0.12098,
              0.27288,
              0.30908,
              0.35432,
              0.41042,
              0.48092,
              0.56799
            ],
            [
              0.14018,
              0.29575,
              0.33208,
              0.3778,
              0.43381,
              0.50466,
              0.59166
            ],
            [
              0.16457,
              0.3295,
              0.36633,
              0.41219,
              0.46864,
              0.53946,
              0.62683
            ],
            [
              0.19545,
              0.3803,
              0.41735,
              0.46313,
              0.52025,
              0.59135,
              0.67899
            ],
            [
              0.23273,
              0.44962,
              0.49102,
              0.53972,
              0.59732,
              0.66852,
              0.75732
            ],
            [
              0.27557,
              0.53917,
              0.58667,
              0.64207,
              0.70697,
              0.78347,
              0.87357
            ],
            [
              0.3225,
              0.6528,
              0.7092,
              0.774,
              0.849,
              0.9361,
              1.0378
            ]
          ]
        },
        "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.00806,
            0.01008,
            0.0126,
            0.01575,
            0.01969,
            0.02461
          ],
          "values": [
            [
              0.16229,
              0.49521,
              0.57805,
              0.68119,
              0.81014,
              0.97128,
              1.17247
            ],
            [
              0.16342,
              0.49731,
              0.58015,
              0.68336,
              0.81232,
              0.97357,
              1.17474
            ],
            [
              0.16521,
              0.5001,
              0.58301,
              0.68634,
              0.81531,
              0.97653,
              1.17792
            ],
            [
              0.16836,
              0.50457,
              0.58756,
              0.69097,
              0.82,
              0.98128,
              1.18258
            ],
            [
              0.17401,
              0.5116,
              0.59469,
              0.69815,
              0.82736,
              0.98871,
              1.19021
            ],
            [
              0.18384,
              0.52253,
              0.60577,
              0.70939,
              0.83874,
              1.00032,
              1.20172
            ],
            [
              0.20028,
              0.53949,
              0.62286,
              0.72668,
              0.8561,
              1.01773,
              1.21953
            ],
            [
              0.22694,
              0.56589,
              0.64946,
              0.75346,
              0.88306,
              1.04496,
              1.24676
            ],
            [
              0.2696,
              0.60619,
              0.68986,
              0.79395,
              0.92375,
              1.08575,
              1.28775
            ],
            [
              0.33166,
              0.66789,
              0.75159,
              0.85569,
              0.98559,
              1.14769,
              1.34979
            ],
            [
              0.40771,
              0.76142,
              0.84482,
              0.94882,
              1.07862,
              1.24062,
              1.44362
            ],
            [
              0.50097,
              0.90567,
              0.98847,
              1.09207,
              1.22157,
              1.38337,
              1.58527
            ],
            [
              0.6154,
              1.1163,
              1.2059,
              1.3091,
              1.4376,
              1.5988,
              1.8001
            ]
          ]
        },
        "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.00806,
            0.01008,
            0.0126,
            0.01575,
            0.01969,
            0.02461
          ],
          "values": [
            [
              0.05239,
              0.24486,
              0.29318,
              0.35321,
              0.4288,
              0.52246,
              0.63941
            ],
            [
              0.05246,
              0.24504,
              0.29317,
              0.35319,
              0.4287,
              0.52256,
              0.64034
            ],
            [
              0.05234,
              0.24507,
              0.29285,
              0.35315,
              0.42815,
              0.52228,
              0.63971
            ],
            [
              0.05244,
              0.24516,
              0.29341,
              0.35325,
              0.42884,
              0.52276,
              0.64071
            ],
            [
              0.05239,
              0.24489,
              0.29285,
              0.35329,
              0.42837,
              0.5225,
              0.64027
            ],
            [
              0.05236,
              0.24511,
              0.29304,
              0.35309,
              0.42828,
              0.52224,
              0.64017
            ],
            [
              0.05421,
              0.24483,
              0.29301,
              0.35327,
              0.42817,
              0.52247,
              0.63956
            ],
            [
              0.06111,
              0.24471,
              0.29302,
              0.35344,
              0.42831,
              0.52287,
              0.63968
            ],
            [
              0.07189,
              0.24677,
              0.29402,
              0.35314,
              0.4284,
              0.5226,
              0.63991
            ],
            [
              0.08797,
              0.25738,
              0.3018,
              0.35853,
              0.43125,
              0.52354,
              0.6398
            ],
            [
              0.11226,
              0.28307,
              0.32414,
              0.37681,
              0.44528,
              0.53309,
              0.6452
            ],
            [
              0.1473,
              0.3294,
              0.3701,
              0.4192,
              0.4814,
              0.563,
              0.6687
            ],
            [
              0.1964,
              0.3972,
              0.4392,
              0.4903,
              0.5531,
              0.6297,
              0.7261
            ]
          ]
        },
        "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.00806,
            0.01008,
            0.0126,
            0.01575,
            0.01969,
            0.02461
          ],
          "values": [
            [
              0.16132,
              0.60634,
              0.71605,
              0.85435,
              1.02517,
              1.24009,
              1.50765
            ],
            [
              0.1611,
              0.60588,
              0.71695,
              0.85434,
              1.02466,
              1.2391,
              1.50777
            ],
            [
              0.16088,
              0.60674,
              0.71605,
              0.85372,
              1.02594,
              1.23958,
              1.50781
            ],
            [
              0.16069,
              0.60617,
              0.71598,
              0.85346,
              1.0259,
              1.24057,
              1.50718
            ],
            [
              0.16001,
              0.60648,
              0.71689,
              0.85363,
              1.02511,
              1.23897,
              1.50719
            ],
            [
              0.15933,
              0.60629,
              0.71691,
              0.85302,
              1.02505,
              1.23892,
              1.50763
            ],
            [
              0.15802,
              0.60655,
              0.7165,
              0.85317,
              1.02578,
              1.23936,
              1.50792
            ],
            [
              0.15576,
              0.60655,
              0.71678,
              0.85438,
              1.02541,
              1.2386,
              1.50657
            ],
            [
              0.16374,
              0.60619,
              0.71676,
              0.85435,
              1.02564,
              1.23875,
              1.50657
            ],
            [
              0.18707,
              0.60451,
              0.71567,
              0.85424,
              1.02582,
              1.23906,
              1.5069
            ],
            [
              0.22703,
              0.6084,
              0.7151,
              0.8513,
              1.0255,
              1.2403,
              1.5075
            ],
            [
              0.2735,
              0.6409,
              0.739,
              0.8646,
              1.028,
              1.2387,
              1.5068
            ],
            [
              0.3377,
              0.7234,
              0.8086,
              0.9213,
              1.0687,
              1.2619,
              1.5146
            ]
          ]
        },
        "sdf_cond": "(!A1&A2&A3&B1)",
        "timing_sense": "negative_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.00806,
            0.01008,
            0.0126,
            0.01575,
            0.01969,
            0.02461
          ],
          "values": [
            [
              0.0811,
              0.22605,
              0.26186,
              0.30653,
              0.36224,
              0.43202,
              0.51915
            ],
            [
              0.08368,
              0.22946,
              0.26532,
              0.30998,
              0.36578,
              0.43558,
              0.52272
            ],
            [
              0.08675,
              0.2334,
              0.26935,
              0.31402,
              0.36985,
              0.43968,
              0.52691
            ],
            [
              0.09105,
              0.2388,
              0.27477,
              0.31956,
              0.37543,
              0.44526,
              0.53256
            ],
            [
              0.09718,
              0.24626,
              0.28231,
              0.32718,
              0.38316,
              0.45319,
              0.54022
            ],
            [
              0.10634,
              0.25678,
              0.29298,
              0.33806,
              0.394,
              0.46414,
              0.55146
            ],
            [
              0.12046,
              0.27197,
              0.30835,
              0.35356,
              0.40968,
              0.47998,
              0.56738
            ],
            [
              0.13949,
              0.2945,
              0.33106,
              0.37643,
              0.43276,
              0.50307,
              0.59061
            ],
            [
              0.16384,
              0.32822,
              0.36501,
              0.41057,
              0.46716,
              0.53771,
              0.62541
            ],
            [
              0.19487,
              0.379,
              0.41599,
              0.4618,
              0.51867,
              0.58942,
              0.67739
            ],
            [
              0.23244,
              0.44822,
              0.48952,
              0.53832,
              0.59592,
              0.66702,
              0.75532
            ],
            [
              0.27577,
              0.53787,
              0.58527,
              0.64057,
              0.70557,
              0.78197,
              0.87217
            ],
            [
              0.3233,
              0.6519,
              0.7082,
              0.7729,
              0.8477,
              0.9348,
              1.0364
            ]
          ]
        },
        "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.00806,
            0.01008,
            0.0126,
            0.01575,
            0.01969,
            0.02461
          ],
          "values": [
            [
              0.15575,
              0.39818,
              0.45823,
              0.53299,
              0.62638,
              0.74329,
              0.88884
            ],
            [
              0.15778,
              0.40075,
              0.46075,
              0.53558,
              0.62899,
              0.74581,
              0.89145
            ],
            [
              0.1605,
              0.40398,
              0.46399,
              0.53885,
              0.6323,
              0.74913,
              0.89479
            ],
            [
              0.16495,
              0.40896,
              0.46914,
              0.54405,
              0.63753,
              0.7544,
              0.90009
            ],
            [
              0.17216,
              0.41686,
              0.47709,
              0.55209,
              0.64564,
              0.76247,
              0.90828
            ],
            [
              0.18368,
              0.42908,
              0.48937,
              0.56444,
              0.65803,
              0.77503,
              0.92081
            ],
            [
              0.20188,
              0.44785,
              0.50821,
              0.58327,
              0.67691,
              0.79391,
              0.93973
            ],
            [
              0.23033,
              0.47615,
              0.53658,
              0.61236,
              0.70622,
              0.82329,
              0.96946
            ],
            [
              0.27437,
              0.52017,
              0.58073,
              0.65606,
              0.75012,
              0.86735,
              1.01335
            ],
            [
              0.33984,
              0.58605,
              0.64659,
              0.72199,
              0.81589,
              0.93319,
              1.07939
            ],
            [
              0.42093,
              0.68642,
              0.74662,
              0.82222,
              0.91622,
              1.03342,
              1.17962
            ],
            [
              0.52157,
              0.83967,
              0.89957,
              0.97457,
              1.06687,
              1.18397,
              1.33027
            ],
            [
              0.6453,
              1.0469,
              1.1197,
              1.2028,
              1.2977,
              1.4142,
              1.5595
            ]
          ]
        },
        "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.00806,
            0.01008,
            0.0126,
            0.01575,
            0.01969,
            0.02461
          ],
          "values": [
            [
              0.07195,
              0.26396,
              0.31201,
              0.37223,
              0.44715,
              0.54128,
              0.65768
            ],
            [
              0.07195,
              0.26397,
              0.31209,
              0.37193,
              0.44713,
              0.54084,
              0.65829
            ],
            [
              0.07194,
              0.26397,
              0.31212,
              0.37219,
              0.44682,
              0.54088,
              0.65826
            ],
            [
              0.07195,
              0.26396,
              0.31201,
              0.37219,
              0.44687,
              0.54052,
              0.65834
            ],
            [
              0.07195,
              0.26406,
              0.31197,
              0.37195,
              0.44707,
              0.54135,
              0.65811
            ],
            [
              0.07196,
              0.26403,
              0.31208,
              0.37206,
              0.44733,
              0.54129,
              0.6583
            ],
            [
              0.07401,
              0.264,
              0.31201,
              0.37216,
              0.447,
              0.54137,
              0.65835
            ],
            [
              0.081,
              0.26393,
              0.31207,
              0.37195,
              0.44702,
              0.54127,
              0.65778
            ],
            [
              0.09463,
              0.26639,
              0.31296,
              0.37243,
              0.44718,
              0.54124,
              0.65814
            ],
            [
              0.11382,
              0.27725,
              0.32154,
              0.37788,
              0.45014,
              0.5417,
              0.65816
            ],
            [
              0.1423,
              0.30352,
              0.34404,
              0.39702,
              0.46483,
              0.55243,
              0.6642
            ],
            [
              0.1833,
              0.3517,
              0.3912,
              0.4394,
              0.5019,
              0.5831,
              0.6882
            ],
            [
              0.2414,
              0.4225,
              0.463,
              0.5131,
              0.5745,
              0.6495,
              0.7451
            ]
          ]
        },
        "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.00806,
            0.01008,
            0.0126,
            0.01575,
            0.01969,
            0.02461
          ],
          "values": [
            [
              0.13216,
              0.45583,
              0.53637,
              0.63688,
              0.76239,
              0.91929,
              1.11646
            ],
            [
              0.13212,
              0.4565,
              0.53639,
              0.63679,
              0.76265,
              0.92027,
              1.11639
            ],
            [
              0.13209,
              0.45646,
              0.53642,
              0.63692,
              0.76215,
              0.92046,
              1.11633
            ],
            [
              0.13208,
              0.45599,
              0.53645,
              0.63688,
              0.76227,
              0.92055,
              1.11638
            ],
            [
              0.13198,
              0.45602,
              0.5365,
              0.63684,
              0.76326,
              0.92041,
              1.11605
            ],
            [
              0.13185,
              0.456,
              0.5365,
              0.63683,
              0.76326,
              0.92034,
              1.11602
            ],
            [
              0.13147,
              0.45642,
              0.53727,
              0.63775,
              0.76319,
              0.92039,
              1.1148
            ],
            [
              0.13049,
              0.45631,
              0.5366,
              0.63746,
              0.76283,
              0.9205,
              1.11527
            ],
            [
              0.13829,
              0.45644,
              0.53642,
              0.63698,
              0.76285,
              0.92063,
              1.11582
            ],
            [
              0.16153,
              0.45539,
              0.53694,
              0.63776,
              0.76358,
              0.92041,
              1.11644
            ],
            [
              0.20139,
              0.4678,
              0.5427,
              0.6383,
              0.7626,
              0.919,
              1.116
            ],
            [
              0.2502,
              0.5119,
              0.5785,
              0.6646,
              0.7789,
              0.926,
              1.116
            ],
            [
              0.3156,
              0.6077,
              0.6644,
              0.7395,
              0.8395,
              0.9722,
              1.1449
            ]
          ]
        },
        "sdf_cond": "(A1&!A2&!A3&B1)",
        "timing_sense": "negative_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.00806,
            0.01008,
            0.0126,
            0.01575,
            0.01969,
            0.02461
          ],
          "values": [
            [
              0.08119,
              0.2261,
              0.26197,
              0.30655,
              0.36239,
              0.43207,
              0.5191
            ],
            [
              0.08389,
              0.22965,
              0.26554,
              0.31017,
              0.366,
              0.43571,
              0.52286
            ],
            [
              0.08709,
              0.23369,
              0.26961,
              0.31432,
              0.37021,
              0.43996,
              0.52699
            ],
            [
              0.09151,
              0.23925,
              0.27522,
              0.31996,
              0.37595,
              0.44581,
              0.53292
            ],
            [
              0.09787,
              0.24693,
              0.283,
              0.32787,
              0.38387,
              0.45372,
              0.541
            ],
            [
              0.10724,
              0.25776,
              0.29394,
              0.33892,
              0.39496,
              0.465,
              0.55241
            ],
            [
              0.12153,
              0.27327,
              0.30962,
              0.35478,
              0.41102,
              0.48105,
              0.56846
            ],
            [
              0.14082,
              0.2961,
              0.33265,
              0.37802,
              0.4344,
              0.50472,
              0.59217
            ],
            [
              0.16532,
              0.33005,
              0.36687,
              0.4124,
              0.46905,
              0.53961,
              0.62724
            ],
            [
              0.19637,
              0.38098,
              0.41799,
              0.46385,
              0.52074,
              0.59152,
              0.67949
            ],
            [
              0.23393,
              0.45042,
              0.49172,
              0.54042,
              0.59812,
              0.66922,
              0.75762
            ],
            [
              0.27717,
              0.54007,
              0.58757,
              0.64297,
              0.70787,
              0.78427,
              0.87447
            ],
            [
              0.3247,
              0.654,
              0.7103,
              0.7752,
              0.85,
              0.9371,
              1.0387
            ]
          ]
        },
        "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.00806,
            0.01008,
            0.0126,
            0.01575,
            0.01969,
            0.02461
          ],
          "values": [
            [
              0.20195,
              0.53564,
              0.61837,
              0.72145,
              0.8502,
              1.01107,
              1.21177
            ],
            [
              0.20337,
              0.53774,
              0.62052,
              0.72365,
              0.85241,
              1.01334,
              1.21414
            ],
            [
              0.20552,
              0.54053,
              0.62339,
              0.72658,
              0.85538,
              1.01632,
              1.21712
            ],
            [
              0.20914,
              0.54509,
              0.62803,
              0.73125,
              0.8601,
              1.02107,
              1.22198
            ],
            [
              0.21523,
              0.55218,
              0.63521,
              0.73854,
              0.8675,
              1.02861,
              1.22951
            ],
            [
              0.22526,
              0.56323,
              0.64638,
              0.74985,
              0.87892,
              1.04012,
              1.24122
            ],
            [
              0.24158,
              0.58037,
              0.66359,
              0.76718,
              0.89633,
              1.05763,
              1.25883
            ],
            [
              0.26772,
              0.60692,
              0.69033,
              0.79413,
              0.92346,
              1.08496,
              1.28636
            ],
            [
              0.30887,
              0.64733,
              0.73084,
              0.83475,
              0.96425,
              1.12585,
              1.32735
            ],
            [
              0.374,
              0.70909,
              0.79259,
              0.89659,
              1.02609,
              1.18789,
              1.38959
            ],
            [
              0.46132,
              0.80252,
              0.88592,
              0.98972,
              1.11922,
              1.28092,
              1.48262
            ],
            [
              0.56877,
              0.94657,
              1.02947,
              1.13297,
              1.26227,
              1.42387,
              1.62537
            ],
            [
              0.7006,
              1.1618,
              1.2479,
              1.3499,
              1.4784,
              1.6393,
              1.8403
            ]
          ]
        },
        "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.00806,
            0.01008,
            0.0126,
            0.01575,
            0.01969,
            0.02461
          ],
          "values": [
            [
              0.07188,
              0.26401,
              0.31217,
              0.37199,
              0.44689,
              0.54103,
              0.6579
            ],
            [
              0.07189,
              0.26412,
              0.31208,
              0.3723,
              0.44692,
              0.54092,
              0.6583
            ],
            [
              0.07189,
              0.26396,
              0.31209,
              0.372,
              0.44712,
              0.54063,
              0.65819
            ],
            [
              0.07189,
              0.26408,
              0.3121,
              0.37195,
              0.44704,
              0.54084,
              0.65821
            ],
            [
              0.0719,
              0.26405,
              0.31198,
              0.37218,
              0.44698,
              0.54108,
              0.65796
            ],
            [
              0.07192,
              0.26405,
              0.31211,
              0.37216,
              0.44692,
              0.54108,
              0.65842
            ],
            [
              0.07377,
              0.264,
              0.31202,
              0.3721,
              0.44713,
              0.54109,
              0.65774
            ],
            [
              0.08053,
              0.26393,
              0.31201,
              0.37197,
              0.44731,
              0.54071,
              0.65817
            ],
            [
              0.09392,
              0.26615,
              0.31279,
              0.37204,
              0.44712,
              0.54139,
              0.6579
            ],
            [
              0.11287,
              0.27673,
              0.3211,
              0.37773,
              0.44975,
              0.54173,
              0.6582
            ],
            [
              0.14124,
              0.30247,
              0.34313,
              0.39601,
              0.46417,
              0.55203,
              0.664
            ],
            [
              0.1821,
              0.3503,
              0.3898,
              0.4382,
              0.5008,
              0.5822,
              0.6876
            ],
            [
              0.2402,
              0.4208,
              0.4613,
              0.5116,
              0.573,
              0.6482,
              0.744
            ]
          ]
        },
        "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.00806,
            0.01008,
            0.0126,
            0.01575,
            0.01969,
            0.02461
          ],
          "values": [
            [
              0.18951,
              0.634,
              0.74402,
              0.88033,
              1.05243,
              1.26703,
              1.53422
            ],
            [
              0.18944,
              0.63383,
              0.74384,
              0.881,
              1.05301,
              1.26672,
              1.53354
            ],
            [
              0.18934,
              0.63368,
              0.74332,
              0.88095,
              1.05211,
              1.26571,
              1.53377
            ],
            [
              0.18914,
              0.634,
              0.74459,
              0.88195,
              1.05196,
              1.26532,
              1.53299
            ],
            [
              0.18877,
              0.63427,
              0.74412,
              0.88077,
              1.05159,
              1.26565,
              1.5339
            ],
            [
              0.18839,
              0.63416,
              0.74375,
              0.88088,
              1.05198,
              1.26694,
              1.53426
            ],
            [
              0.18757,
              0.63414,
              0.74386,
              0.88057,
              1.05233,
              1.26622,
              1.53312
            ],
            [
              0.18571,
              0.63416,
              0.74413,
              0.88176,
              1.05335,
              1.26557,
              1.53311
            ],
            [
              0.18666,
              0.63399,
              0.74344,
              0.88111,
              1.05248,
              1.26534,
              1.53342
            ],
            [
              0.20292,
              0.63324,
              0.74397,
              0.88103,
              1.05269,
              1.26633,
              1.533
            ],
            [
              0.24212,
              0.6329,
              0.742,
              0.8802,
              1.0525,
              1.2672,
              1.5344
            ],
            [
              0.2902,
              0.6609,
              0.7606,
              0.8882,
              1.0523,
              1.2654,
              1.5329
            ],
            [
              0.3563,
              0.7368,
              0.8244,
              0.9396,
              1.0903,
              1.2856,
              1.5396
            ]
          ]
        },
        "sdf_cond": "(A1&!A2&A3&B1)",
        "timing_sense": "negative_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.00806,
            0.01008,
            0.0126,
            0.01575,
            0.01969,
            0.02461
          ],
          "values": [
            [
              0.08117,
              0.22615,
              0.26193,
              0.30655,
              0.36239,
              0.43213,
              0.51926
            ],
            [
              0.08388,
              0.2296,
              0.26551,
              0.31015,
              0.36598,
              0.43569,
              0.52291
            ],
            [
              0.08705,
              0.23367,
              0.26963,
              0.3143,
              0.37013,
              0.43996,
              0.5272
            ],
            [
              0.09148,
              0.23924,
              0.27524,
              0.32,
              0.3759,
              0.44571,
              0.53283
            ],
            [
              0.09781,
              0.2469,
              0.28296,
              0.32781,
              0.38383,
              0.45366,
              0.54092
            ],
            [
              0.10716,
              0.25767,
              0.29382,
              0.33887,
              0.39489,
              0.46495,
              0.55235
            ],
            [
              0.12141,
              0.27315,
              0.3095,
              0.35459,
              0.41093,
              0.48092,
              0.56834
            ],
            [
              0.14068,
              0.29594,
              0.33248,
              0.37788,
              0.43427,
              0.50456,
              0.59204
            ],
            [
              0.16513,
              0.32984,
              0.36666,
              0.41218,
              0.46881,
              0.53942,
              0.62705
            ],
            [
              0.19618,
              0.38072,
              0.41776,
              0.46361,
              0.52049,
              0.59129,
              0.67919
            ],
            [
              0.23371,
              0.45012,
              0.49142,
              0.54022,
              0.59782,
              0.66892,
              0.75732
            ],
            [
              0.27697,
              0.53977,
              0.58727,
              0.64257,
              0.70757,
              0.78397,
              0.87417
            ],
            [
              0.3245,
              0.6537,
              0.71,
              0.7748,
              0.8497,
              0.9368,
              1.0384
            ]
          ]
        },
        "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.00806,
            0.01008,
            0.0126,
            0.01575,
            0.01969,
            0.02461
          ],
          "values": [
            [
              0.22426,
              0.54815,
              0.628,
              0.72729,
              0.85117,
              1.00577,
              1.19867
            ],
            [
              0.22586,
              0.55032,
              0.63014,
              0.72945,
              0.85336,
              1.00804,
              1.20124
            ],
            [
              0.22816,
              0.55322,
              0.63308,
              0.73242,
              0.85639,
              1.01112,
              1.20412
            ],
            [
              0.23206,
              0.55781,
              0.63775,
              0.73716,
              0.86116,
              1.01598,
              1.20918
            ],
            [
              0.23854,
              0.56502,
              0.64508,
              0.74465,
              0.86873,
              1.02361,
              1.21681
            ],
            [
              0.24903,
              0.57632,
              0.65644,
              0.75609,
              0.88032,
              1.03532,
              1.22842
            ],
            [
              0.26579,
              0.59369,
              0.67389,
              0.77366,
              0.89793,
              1.05303,
              1.24633
            ],
            [
              0.29214,
              0.62069,
              0.70104,
              0.80098,
              0.92536,
              1.08066,
              1.27416
            ],
            [
              0.33323,
              0.66171,
              0.74201,
              0.84195,
              0.96665,
              1.12205,
              1.31565
            ],
            [
              0.39697,
              0.72369,
              0.80429,
              0.90439,
              1.02909,
              1.18469,
              1.37829
            ],
            [
              0.49182,
              0.81882,
              0.89922,
              0.99922,
              1.12382,
              1.27932,
              1.47312
            ],
            [
              0.60827,
              0.96317,
              1.04317,
              1.14287,
              1.26717,
              1.42257,
              1.61617
            ],
            [
              0.7515,
              1.1815,
              1.263,
              1.3614,
              1.4852,
              1.6399,
              1.8329
            ]
          ]
        },
        "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.00806,
            0.01008,
            0.0126,
            0.01575,
            0.01969,
            0.02461
          ],
          "values": [
            [
              0.07873,
              0.2808,
              0.32922,
              0.38926,
              0.46435,
              0.55832,
              0.67526
            ],
            [
              0.07873,
              0.28076,
              0.32924,
              0.38934,
              0.46444,
              0.5582,
              0.67523
            ],
            [
              0.07872,
              0.2808,
              0.32925,
              0.38919,
              0.46431,
              0.55796,
              0.67528
            ],
            [
              0.07873,
              0.28076,
              0.32926,
              0.38934,
              0.46436,
              0.55824,
              0.67473
            ],
            [
              0.07876,
              0.28077,
              0.32921,
              0.38927,
              0.46435,
              0.55796,
              0.67529
            ],
            [
              0.07876,
              0.28079,
              0.32924,
              0.38918,
              0.46433,
              0.5583,
              0.67532
            ],
            [
              0.08063,
              0.2808,
              0.32921,
              0.38938,
              0.46454,
              0.55793,
              0.67527
            ],
            [
              0.08752,
              0.28079,
              0.32921,
              0.38936,
              0.46448,
              0.55832,
              0.67512
            ],
            [
              0.10418,
              0.28299,
              0.33005,
              0.38936,
              0.46431,
              0.55809,
              0.67509
            ],
            [
              0.12708,
              0.29361,
              0.33831,
              0.3949,
              0.46721,
              0.55869,
              0.67503
            ],
            [
              0.16008,
              0.31924,
              0.36039,
              0.41334,
              0.48173,
              0.56924,
              0.6809
            ],
            [
              0.2065,
              0.3687,
              0.4077,
              0.4552,
              0.5175,
              0.5993,
              0.7045
            ],
            [
              0.2713,
              0.4414,
              0.4812,
              0.5303,
              0.5908,
              0.6654,
              0.7613
            ]
          ]
        },
        "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.00806,
            0.01008,
            0.0126,
            0.01575,
            0.01969,
            0.02461
          ],
          "values": [
            [
              0.20331,
              0.63058,
              0.73649,
              0.86848,
              1.03262,
              1.23851,
              1.49451
            ],
            [
              0.2031,
              0.63067,
              0.73666,
              0.86772,
              1.03234,
              1.23795,
              1.49427
            ],
            [
              0.20322,
              0.63066,
              0.7366,
              0.8684,
              1.03189,
              1.23779,
              1.49432
            ],
            [
              0.2031,
              0.63059,
              0.73629,
              0.86804,
              1.03246,
              1.23791,
              1.49415
            ],
            [
              0.20294,
              0.6306,
              0.73648,
              0.86854,
              1.03249,
              1.23796,
              1.49425
            ],
            [
              0.20272,
              0.63065,
              0.73663,
              0.86869,
              1.03283,
              1.2381,
              1.49482
            ],
            [
              0.20231,
              0.63027,
              0.73637,
              0.86863,
              1.03306,
              1.23814,
              1.4942
            ],
            [
              0.20131,
              0.63038,
              0.73655,
              0.86845,
              1.03303,
              1.23805,
              1.49595
            ],
            [
              0.19944,
              0.63014,
              0.73642,
              0.86864,
              1.0328,
              1.23909,
              1.495
            ],
            [
              0.21111,
              0.63003,
              0.73583,
              0.86807,
              1.0329,
              1.23918,
              1.4957
            ],
            [
              0.24465,
              0.6296,
              0.7339,
              0.8673,
              1.0329,
              1.2389,
              1.496
            ],
            [
              0.2961,
              0.6539,
              0.7511,
              0.8739,
              1.0322,
              1.2376,
              1.4959
            ],
            [
              0.3628,
              0.7272,
              0.8119,
              0.9239,
              1.0691,
              1.2575,
              1.5015
            ]
          ]
        },
        "sdf_cond": "(A1&A2&!A3&B1)",
        "timing_sense": "negative_unate",
        "when": "(A1&A2&!A3&B1)"
      }
    ]
  }
}