{
  "area": 19.1808,
  "cell_footprint": "sky130_fd_sc_ls__o221ai",
  "cell_leakage_power": 0.0,
  "pg_pin,VGND": {
    "pg_type": "primary_ground",
    "voltage_name": "VGND"
  },
  "pg_pin,VNB": {
    "pg_type": "primary_ground",
    "voltage_name": "VNB"
  },
  "pg_pin,VPB": {
    "pg_type": "primary_power",
    "voltage_name": "VPB"
  },
  "pg_pin,VPWR": {
    "pg_type": "primary_power",
    "voltage_name": "VPWR"
  },
  "pin,A1": {
    "capacitance": 0.00621,
    "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.01175,
          0.01056,
          0.01093,
          0.01039,
          0.01005,
          0.01009,
          0.01003,
          0.00996,
          0.00995,
          0.01074,
          0.01077,
          0.01163,
          0.01183
        ]
      },
      "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.00584,
          0.00583,
          0.00552,
          0.00557,
          0.00565,
          0.00553,
          0.00555,
          0.00559,
          0.00558,
          0.00604,
          0.00602,
          0.00647,
          0.00643
        ]
      }
    },
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,A2": {
    "capacitance": 0.00564,
    "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.00879,
          0.00799,
          0.008,
          0.00794,
          0.00785,
          0.00782,
          0.00782,
          0.00782,
          0.00782,
          0.00847,
          0.00849,
          0.00919,
          0.0093
        ]
      },
      "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.00755,
          0.00739,
          0.00751,
          0.00744,
          0.00721,
          0.00713,
          0.00711,
          0.00708,
          0.00707,
          0.00763,
          0.00761,
          0.00802,
          0.00805
        ]
      }
    },
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,B1": {
    "capacitance": 0.00628,
    "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.01021,
          0.00827,
          0.00826,
          0.00815,
          0.00809,
          0.00811,
          0.00811,
          0.00803,
          0.00802,
          0.00872,
          0.00864,
          0.00925,
          0.00921
        ]
      },
      "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.00713,
          0.00651,
          0.00675,
          0.00702,
          0.00684,
          0.00683,
          0.00686,
          0.00686,
          0.00686,
          0.00747,
          0.00745,
          0.00808,
          0.00818
        ]
      }
    },
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,B2": {
    "capacitance": 0.00557,
    "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.00664,
          0.00645,
          0.00671,
          0.00646,
          0.00631,
          0.00633,
          0.00634,
          0.00635,
          0.00635,
          0.00687,
          0.00688,
          0.00742,
          0.00746
        ]
      },
      "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.00745,
          0.00749,
          0.00741,
          0.00745,
          0.00737,
          0.00729,
          0.00724,
          0.00721,
          0.00719,
          0.00775,
          0.00773,
          0.00836,
          0.0083
        ]
      }
    },
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,C1": {
    "capacitance": 0.00579,
    "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.00431,
          0.00502,
          0.00359,
          0.00411,
          0.00411,
          0.00377,
          0.00373,
          0.00372,
          0.00367,
          0.00399,
          0.00394,
          0.00423,
          0.00424
        ]
      },
      "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.01229,
          0.01183,
          0.01222,
          0.01129,
          0.0112,
          0.01107,
          0.01093,
          0.01082,
          0.01075,
          0.01165,
          0.01175,
          0.01289,
          0.01336
        ]
      }
    },
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,Y": {
    "direction": "output",
    "function": "(!B1&!B2) | (!A1&!A2) | (!C1)",
    "internal_power": [
      {
        "fall_power,pwr_template13x5": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00982,
            0.01963,
            0.03927,
            0.07855
          ],
          "values": [
            [
              0.01122,
              -0.00132,
              -0.01386,
              -0.03899,
              -0.08927
            ],
            [
              0.01135,
              -0.0012,
              -0.01374,
              -0.03888,
              -0.08916
            ],
            [
              0.01144,
              -0.00111,
              -0.01365,
              -0.03878,
              -0.08906
            ],
            [
              0.01156,
              -0.001,
              -0.01356,
              -0.0387,
              -0.08898
            ],
            [
              0.01169,
              -0.0009,
              -0.01346,
              -0.0386,
              -0.08889
            ],
            [
              0.01183,
              -0.00079,
              -0.01336,
              -0.03851,
              -0.08881
            ],
            [
              0.01202,
              -0.00066,
              -0.01326,
              -0.03844,
              -0.08875
            ],
            [
              0.01222,
              -0.00052,
              -0.01315,
              -0.03835,
              -0.08869
            ],
            [
              0.01243,
              -0.00035,
              -0.01301,
              -0.03826,
              -0.08862
            ],
            [
              0.01264,
              -0.00017,
              -0.01285,
              -0.03813,
              -0.08853
            ],
            [
              0.01281,
              2e-05,
              -0.01268,
              -0.038,
              -0.08844
            ],
            [
              0.01296,
              0.0002,
              -0.0125,
              -0.03783,
              -0.08832
            ],
            [
              0.01305,
              0.00034,
              -0.01235,
              -0.03768,
              -0.08818
            ]
          ]
        },
        "related_pin": "A1",
        "rise_power,pwr_template13x5": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00982,
            0.01963,
            0.03927,
            0.07855
          ],
          "values": [
            [
              0.05736,
              0.06983,
              0.0823,
              0.10712,
              0.15679
            ],
            [
              0.05723,
              0.06975,
              0.08219,
              0.10703,
              0.15669
            ],
            [
              0.05711,
              0.06962,
              0.08207,
              0.10695,
              0.1566
            ],
            [
              0.057,
              0.06952,
              0.08197,
              0.10682,
              0.15652
            ],
            [
              0.05691,
              0.06943,
              0.08191,
              0.10681,
              0.15649
            ],
            [
              0.05677,
              0.06934,
              0.0818,
              0.1067,
              0.15629
            ],
            [
              0.05662,
              0.06921,
              0.0817,
              0.10668,
              0.15633
            ],
            [
              0.05647,
              0.06908,
              0.08159,
              0.10652,
              0.15628
            ],
            [
              0.05633,
              0.06893,
              0.08144,
              0.10648,
              0.15626
            ],
            [
              0.05627,
              0.06885,
              0.08139,
              0.10634,
              0.15619
            ],
            [
              0.05616,
              0.06874,
              0.08127,
              0.10625,
              0.15606
            ],
            [
              0.0562,
              0.06868,
              0.08121,
              0.10615,
              0.15596
            ],
            [
              0.05618,
              0.0687,
              0.08107,
              0.10606,
              0.15582
            ]
          ]
        },
        "when": "(!A2&B1&C1) | (!A2&B2&C1)"
      },
      {
        "fall_power,pwr_template13x5": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00982,
            0.01963,
            0.03927,
            0.07855
          ],
          "values": [
            [
              0.00736,
              -0.00529,
              -0.01787,
              -0.04301,
              -0.0933
            ],
            [
              0.00739,
              -0.00536,
              -0.01793,
              -0.04306,
              -0.09335
            ],
            [
              0.00745,
              -0.00533,
              -0.01793,
              -0.0431,
              -0.0934
            ],
            [
              0.00754,
              -0.00532,
              -0.01794,
              -0.04313,
              -0.09344
            ],
            [
              0.00769,
              -0.00527,
              -0.01793,
              -0.04314,
              -0.09347
            ],
            [
              0.00788,
              -0.0052,
              -0.0179,
              -0.04314,
              -0.09349
            ],
            [
              0.00811,
              -0.00504,
              -0.0178,
              -0.0431,
              -0.09347
            ],
            [
              0.00837,
              -0.00483,
              -0.01765,
              -0.04301,
              -0.09344
            ],
            [
              0.00862,
              -0.00458,
              -0.01744,
              -0.04288,
              -0.09337
            ],
            [
              0.00885,
              -0.00429,
              -0.01718,
              -0.04268,
              -0.09325
            ],
            [
              0.00902,
              -0.00401,
              -0.0169,
              -0.04244,
              -0.09309
            ],
            [
              0.00916,
              -0.00377,
              -0.01661,
              -0.04216,
              -0.09287
            ],
            [
              0.00922,
              -0.00361,
              -0.01638,
              -0.04188,
              -0.09261
            ]
          ]
        },
        "related_pin": "A2",
        "rise_power,pwr_template13x5": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00982,
            0.01963,
            0.03927,
            0.07855
          ],
          "values": [
            [
              0.04418,
              0.0566,
              0.06906,
              0.09393,
              0.14363
            ],
            [
              0.04405,
              0.05658,
              0.06905,
              0.09394,
              0.14359
            ],
            [
              0.04392,
              0.05644,
              0.0689,
              0.09385,
              0.14357
            ],
            [
              0.04384,
              0.0564,
              0.06884,
              0.09372,
              0.14339
            ],
            [
              0.04372,
              0.05626,
              0.06877,
              0.09369,
              0.14334
            ],
            [
              0.04357,
              0.05617,
              0.06865,
              0.09361,
              0.14327
            ],
            [
              0.04338,
              0.05603,
              0.06852,
              0.09345,
              0.14315
            ],
            [
              0.04319,
              0.05585,
              0.06837,
              0.09336,
              0.14308
            ],
            [
              0.04303,
              0.05567,
              0.06821,
              0.09319,
              0.14301
            ],
            [
              0.04293,
              0.05557,
              0.06814,
              0.09313,
              0.14298
            ],
            [
              0.04292,
              0.05546,
              0.06798,
              0.09293,
              0.14264
            ],
            [
              0.04304,
              0.05546,
              0.06794,
              0.09288,
              0.14261
            ],
            [
              0.04327,
              0.05563,
              0.06796,
              0.09284,
              0.14253
            ]
          ]
        },
        "when": "(!A1&B1&C1) | (!A1&B2&C1)"
      },
      {
        "fall_power,pwr_template13x5": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00982,
            0.01963,
            0.03927,
            0.07855
          ],
          "values": [
            [
              0.011,
              -0.00153,
              -0.01407,
              -0.03921,
              -0.08949
            ],
            [
              0.01115,
              -0.00137,
              -0.01392,
              -0.03905,
              -0.08933
            ],
            [
              0.01128,
              -0.00127,
              -0.01382,
              -0.03896,
              -0.08924
            ],
            [
              0.01137,
              -0.0012,
              -0.01376,
              -0.03889,
              -0.08918
            ],
            [
              0.01151,
              -0.0011,
              -0.01366,
              -0.03879,
              -0.08908
            ],
            [
              0.01168,
              -0.00098,
              -0.01355,
              -0.03871,
              -0.08902
            ],
            [
              0.01186,
              -0.00084,
              -0.01345,
              -0.03862,
              -0.08894
            ],
            [
              0.01207,
              -0.00069,
              -0.01333,
              -0.03854,
              -0.08888
            ],
            [
              0.01229,
              -0.00052,
              -0.01319,
              -0.03844,
              -0.08881
            ],
            [
              0.01251,
              -0.00032,
              -0.01302,
              -0.03831,
              -0.08872
            ],
            [
              0.0127,
              -0.00011,
              -0.01284,
              -0.03817,
              -0.08862
            ],
            [
              0.01286,
              7e-05,
              -0.01264,
              -0.038,
              -0.08849
            ],
            [
              0.01293,
              0.00021,
              -0.01249,
              -0.03783,
              -0.08835
            ]
          ]
        },
        "related_pin": "B1",
        "rise_power,pwr_template13x5": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00982,
            0.01963,
            0.03927,
            0.07855
          ],
          "values": [
            [
              0.04785,
              0.06034,
              0.07279,
              0.09765,
              0.14729
            ],
            [
              0.04775,
              0.06027,
              0.07271,
              0.09761,
              0.14721
            ],
            [
              0.04766,
              0.06023,
              0.07265,
              0.09754,
              0.14724
            ],
            [
              0.04749,
              0.06014,
              0.07262,
              0.09751,
              0.14723
            ],
            [
              0.0473,
              0.06,
              0.07251,
              0.09743,
              0.14712
            ],
            [
              0.04709,
              0.05987,
              0.07242,
              0.0974,
              0.14714
            ],
            [
              0.04686,
              0.05966,
              0.07229,
              0.09728,
              0.14703
            ],
            [
              0.04666,
              0.05944,
              0.07208,
              0.09714,
              0.14697
            ],
            [
              0.0465,
              0.05924,
              0.07183,
              0.09699,
              0.14692
            ],
            [
              0.0464,
              0.05907,
              0.07171,
              0.09678,
              0.14676
            ],
            [
              0.04629,
              0.05893,
              0.0715,
              0.09661,
              0.14654
            ],
            [
              0.04629,
              0.05884,
              0.07137,
              0.09638,
              0.14636
            ],
            [
              0.04622,
              0.05881,
              0.07124,
              0.09621,
              0.14619
            ]
          ]
        },
        "when": "(A1&!B2&C1) | (A2&!B2&C1)"
      },
      {
        "fall_power,pwr_template13x5": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00982,
            0.01963,
            0.03927,
            0.07855
          ],
          "values": [
            [
              0.00728,
              -0.00539,
              -0.01797,
              -0.04313,
              -0.09342
            ],
            [
              0.00731,
              -0.00541,
              -0.018,
              -0.04317,
              -0.09346
            ],
            [
              0.00737,
              -0.00543,
              -0.01804,
              -0.04321,
              -0.09352
            ],
            [
              0.00744,
              -0.00543,
              -0.01805,
              -0.04324,
              -0.09356
            ],
            [
              0.00758,
              -0.00538,
              -0.01805,
              -0.04326,
              -0.09359
            ],
            [
              0.00778,
              -0.00529,
              -0.018,
              -0.04325,
              -0.0936
            ],
            [
              0.00802,
              -0.00514,
              -0.01791,
              -0.0432,
              -0.09359
            ],
            [
              0.00828,
              -0.00493,
              -0.01775,
              -0.04312,
              -0.09355
            ],
            [
              0.00853,
              -0.00468,
              -0.01755,
              -0.04298,
              -0.09348
            ],
            [
              0.00875,
              -0.00439,
              -0.01729,
              -0.04279,
              -0.09336
            ],
            [
              0.00892,
              -0.00412,
              -0.01701,
              -0.04255,
              -0.0932
            ],
            [
              0.00904,
              -0.00388,
              -0.01673,
              -0.04228,
              -0.09298
            ],
            [
              0.00909,
              -0.00374,
              -0.01651,
              -0.042,
              -0.09273
            ]
          ]
        },
        "related_pin": "B2",
        "rise_power,pwr_template13x5": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00982,
            0.01963,
            0.03927,
            0.07855
          ],
          "values": [
            [
              0.03458,
              0.04705,
              0.05951,
              0.0844,
              0.13403
            ],
            [
              0.0345,
              0.04705,
              0.05951,
              0.08431,
              0.13402
            ],
            [
              0.03437,
              0.04693,
              0.05943,
              0.08438,
              0.13398
            ],
            [
              0.03419,
              0.04691,
              0.05938,
              0.08426,
              0.13398
            ],
            [
              0.034,
              0.04677,
              0.05928,
              0.08421,
              0.13397
            ],
            [
              0.03378,
              0.04661,
              0.05916,
              0.08414,
              0.13387
            ],
            [
              0.03351,
              0.0464,
              0.05903,
              0.08408,
              0.13385
            ],
            [
              0.03331,
              0.04617,
              0.05883,
              0.08387,
              0.13373
            ],
            [
              0.03315,
              0.04594,
              0.05857,
              0.08367,
              0.13362
            ],
            [
              0.03306,
              0.04575,
              0.05838,
              0.08355,
              0.13344
            ],
            [
              0.03313,
              0.04561,
              0.05817,
              0.08326,
              0.13317
            ],
            [
              0.03327,
              0.04564,
              0.05812,
              0.08313,
              0.13299
            ],
            [
              0.03341,
              0.0458,
              0.05813,
              0.08303,
              0.1328
            ]
          ]
        },
        "when": "(A1&!B1&C1) | (A2&!B1&C1)"
      },
      {
        "fall_power,pwr_template13x5": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00982,
            0.01963,
            0.03927,
            0.07855
          ],
          "values": [
            [
              0.00905,
              -0.00369,
              -0.01628,
              -0.04148,
              -0.0918
            ],
            [
              0.00924,
              -0.0036,
              -0.01622,
              -0.04142,
              -0.09172
            ],
            [
              0.00941,
              -0.00355,
              -0.0162,
              -0.0414,
              -0.09172
            ],
            [
              0.00959,
              -0.00343,
              -0.01612,
              -0.04135,
              -0.09169
            ],
            [
              0.0098,
              -0.0033,
              -0.01603,
              -0.04129,
              -0.09165
            ],
            [
              0.01001,
              -0.00312,
              -0.01589,
              -0.04121,
              -0.09161
            ],
            [
              0.01024,
              -0.0029,
              -0.01572,
              -0.04109,
              -0.09154
            ],
            [
              0.01045,
              -0.00266,
              -0.01551,
              -0.04094,
              -0.09144
            ],
            [
              0.01062,
              -0.00241,
              -0.01527,
              -0.04075,
              -0.09131
            ],
            [
              0.01073,
              -0.00219,
              -0.01503,
              -0.04052,
              -0.09114
            ],
            [
              0.01074,
              -0.00204,
              -0.01483,
              -0.04028,
              -0.09094
            ],
            [
              0.01064,
              -0.00198,
              -0.01468,
              -0.04007,
              -0.09073
            ],
            [
              0.01036,
              -0.00213,
              -0.01467,
              -0.03996,
              -0.09054
            ]
          ]
        },
        "related_pin": "C1",
        "rise_power,pwr_template13x5": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00982,
            0.01963,
            0.03927,
            0.07855
          ],
          "values": [
            [
              0.03064,
              0.04363,
              0.05614,
              0.08103,
              0.13087
            ],
            [
              0.03045,
              0.0436,
              0.05612,
              0.08111,
              0.13091
            ],
            [
              0.03027,
              0.0435,
              0.05608,
              0.0811,
              0.13092
            ],
            [
              0.03009,
              0.04341,
              0.05607,
              0.08106,
              0.13095
            ],
            [
              0.0299,
              0.04324,
              0.05594,
              0.081,
              0.13089
            ],
            [
              0.02974,
              0.04303,
              0.0558,
              0.08093,
              0.13085
            ],
            [
              0.02959,
              0.04281,
              0.05561,
              0.08082,
              0.13072
            ],
            [
              0.0295,
              0.04258,
              0.05538,
              0.0806,
              0.13055
            ],
            [
              0.02947,
              0.04236,
              0.05511,
              0.0804,
              0.13043
            ],
            [
              0.02952,
              0.04226,
              0.05486,
              0.08016,
              0.13019
            ],
            [
              0.02967,
              0.04219,
              0.0547,
              0.07986,
              0.13003
            ],
            [
              0.02988,
              0.04235,
              0.05485,
              0.07968,
              0.12957
            ],
            [
              0.03018,
              0.0425,
              0.05497,
              0.07973,
              0.12946
            ]
          ]
        },
        "when": "(A1&B1) | (A2&B1) | (A1&B2) | (A2&B2)"
      }
    ],
    "max_capacitance": 0.04851,
    "power_down_function": "(!VPWR + VGND)",
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR",
    "timing": [
      {
        "cell_fall,delay_template13x5": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00982,
            0.01963,
            0.03927,
            0.07855
          ],
          "values": [
            [
              0.12501,
              0.19982,
              0.27149,
              0.41308,
              0.69437
            ],
            [
              0.12783,
              0.20268,
              0.27435,
              0.41595,
              0.69723
            ],
            [
              0.13136,
              0.20626,
              0.27795,
              0.41955,
              0.70082
            ],
            [
              0.13673,
              0.21177,
              0.28349,
              0.4251,
              0.70642
            ],
            [
              0.14468,
              0.21985,
              0.29162,
              0.43329,
              0.71461
            ],
            [
              0.15581,
              0.23124,
              0.3031,
              0.44482,
              0.72622
            ],
            [
              0.17135,
              0.24707,
              0.31909,
              0.46097,
              0.74238
            ],
            [
              0.19308,
              0.26903,
              0.34119,
              0.48324,
              0.76487
            ],
            [
              0.22223,
              0.29985,
              0.37217,
              0.51442,
              0.79625
            ],
            [
              0.25957,
              0.34241,
              0.41615,
              0.55866,
              0.84069
            ],
            [
              0.3073,
              0.3975,
              0.47662,
              0.62242,
              0.90502
            ],
            [
              0.36727,
              0.46897,
              0.55567,
              0.71237,
              0.99937
            ],
            [
              0.4397,
              0.5606,
              0.6587,
              0.8311,
              1.1371
            ]
          ]
        },
        "cell_rise,delay_template13x5": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00982,
            0.01963,
            0.03927,
            0.07855
          ],
          "values": [
            [
              0.21457,
              0.341,
              0.46091,
              0.69624,
              1.16117
            ],
            [
              0.21725,
              0.34368,
              0.46362,
              0.69899,
              1.16394
            ],
            [
              0.22077,
              0.34726,
              0.46725,
              0.70256,
              1.16752
            ],
            [
              0.22646,
              0.35307,
              0.47306,
              0.70844,
              1.17348
            ],
            [
              0.2354,
              0.36219,
              0.48231,
              0.71766,
              1.18271
            ],
            [
              0.24884,
              0.37586,
              0.49604,
              0.73163,
              1.19672
            ],
            [
              0.26828,
              0.39554,
              0.51587,
              0.75158,
              1.21683
            ],
            [
              0.29627,
              0.42371,
              0.54425,
              0.78013,
              1.24556
            ],
            [
              0.33689,
              0.46442,
              0.58504,
              0.82115,
              1.28675
            ],
            [
              0.39761,
              0.52453,
              0.64529,
              0.88159,
              1.34759
            ],
            [
              0.48162,
              0.61432,
              0.73502,
              0.97142,
              1.43772
            ],
            [
              0.59187,
              0.74277,
              0.86927,
              1.10587,
              1.57247
            ],
            [
              0.7361,
              0.9117,
              1.0565,
              1.307,
              1.7744
            ]
          ]
        },
        "fall_transition,delay_template13x5": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00982,
            0.01963,
            0.03927,
            0.07855
          ],
          "values": [
            [
              0.07433,
              0.16735,
              0.26059,
              0.44669,
              0.8202
            ],
            [
              0.07437,
              0.16753,
              0.26059,
              0.44714,
              0.81962
            ],
            [
              0.07446,
              0.1675,
              0.26061,
              0.44651,
              0.82038
            ],
            [
              0.07443,
              0.16752,
              0.26059,
              0.44671,
              0.82027
            ],
            [
              0.07432,
              0.16737,
              0.26043,
              0.4471,
              0.82038
            ],
            [
              0.07442,
              0.16741,
              0.26059,
              0.44688,
              0.8197
            ],
            [
              0.07435,
              0.16752,
              0.26041,
              0.44668,
              0.82033
            ],
            [
              0.07516,
              0.16744,
              0.26053,
              0.44686,
              0.81968
            ],
            [
              0.07962,
              0.16926,
              0.26083,
              0.44696,
              0.82024
            ],
            [
              0.08705,
              0.17629,
              0.2656,
              0.44791,
              0.82032
            ],
            [
              0.09845,
              0.19144,
              0.27869,
              0.45561,
              0.8211
            ],
            [
              0.1174,
              0.2144,
              0.3045,
              0.477,
              0.8315
            ],
            [
              0.1494,
              0.251,
              0.344,
              0.5201,
              0.8623
            ]
          ]
        },
        "related_pin": "A1",
        "rise_transition,delay_template13x5": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00982,
            0.01963,
            0.03927,
            0.07855
          ],
          "values": [
            [
              0.15976,
              0.32003,
              0.47768,
              0.79208,
              1.41856
            ],
            [
              0.15984,
              0.31976,
              0.47766,
              0.79194,
              1.4188
            ],
            [
              0.15981,
              0.31985,
              0.47723,
              0.79141,
              1.41815
            ],
            [
              0.1598,
              0.31992,
              0.47773,
              0.7918,
              1.4179
            ],
            [
              0.15982,
              0.31989,
              0.47744,
              0.79217,
              1.41959
            ],
            [
              0.15994,
              0.31978,
              0.47758,
              0.79198,
              1.41783
            ],
            [
              0.15993,
              0.32002,
              0.47783,
              0.79201,
              1.41807
            ],
            [
              0.15974,
              0.32002,
              0.47757,
              0.79191,
              1.41947
            ],
            [
              0.15916,
              0.31988,
              0.47779,
              0.79215,
              1.41953
            ],
            [
              0.16666,
              0.32037,
              0.47751,
              0.79136,
              1.4188
            ],
            [
              0.18751,
              0.33298,
              0.4824,
              0.792,
              1.4193
            ],
            [
              0.2192,
              0.365,
              0.5059,
              0.801,
              1.4188
            ],
            [
              0.2652,
              0.4238,
              0.561,
              0.8364,
              1.4282
            ]
          ]
        },
        "sdf_cond": "(!A2&!B1&B2&C1)",
        "timing_sense": "negative_unate",
        "when": "(!A2&!B1&B2&C1)"
      },
      {
        "cell_fall,delay_template13x5": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00982,
            0.01963,
            0.03927,
            0.07855
          ],
          "values": [
            [
              0.14793,
              0.22122,
              0.29077,
              0.42734,
              0.69746
            ],
            [
              0.1508,
              0.22409,
              0.29365,
              0.43023,
              0.70034
            ],
            [
              0.15434,
              0.22769,
              0.29725,
              0.43382,
              0.70395
            ],
            [
              0.15987,
              0.23325,
              0.30284,
              0.43943,
              0.70957
            ],
            [
              0.16793,
              0.24145,
              0.31108,
              0.44769,
              0.71785
            ],
            [
              0.1794,
              0.25305,
              0.32272,
              0.45938,
              0.72955
            ],
            [
              0.19543,
              0.26923,
              0.33901,
              0.47579,
              0.74605
            ],
            [
              0.21779,
              0.29176,
              0.36165,
              0.49856,
              0.76893
            ],
            [
              0.24916,
              0.3233,
              0.39337,
              0.53044,
              0.80095
            ],
            [
              0.28986,
              0.36814,
              0.43854,
              0.57579,
              0.84659
            ],
            [
              0.34222,
              0.42705,
              0.50222,
              0.64142,
              0.91252
            ],
            [
              0.40927,
              0.50377,
              0.58597,
              0.73527,
              1.00977
            ],
            [
              0.493,
              0.6029,
              0.6953,
              0.8596,
              1.1522
            ]
          ]
        },
        "cell_rise,delay_template13x5": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00982,
            0.01963,
            0.03927,
            0.07855
          ],
          "values": [
            [
              0.21738,
              0.34353,
              0.46359,
              0.69914,
              1.16477
            ],
            [
              0.22007,
              0.34626,
              0.46628,
              0.70189,
              1.16744
            ],
            [
              0.22358,
              0.34984,
              0.46992,
              0.70549,
              1.17112
            ],
            [
              0.22925,
              0.35564,
              0.47571,
              0.71135,
              1.17698
            ],
            [
              0.23814,
              0.36471,
              0.48493,
              0.72059,
              1.18631
            ],
            [
              0.25153,
              0.37838,
              0.49869,
              0.73449,
              1.20022
            ],
            [
              0.2709,
              0.398,
              0.51844,
              0.75445,
              1.22033
            ],
            [
              0.29886,
              0.42612,
              0.54675,
              0.78293,
              1.24906
            ],
            [
              0.33947,
              0.46678,
              0.58751,
              0.82395,
              1.29025
            ],
            [
              0.40013,
              0.52687,
              0.64769,
              0.88429,
              1.35099
            ],
            [
              0.48442,
              0.61662,
              0.73732,
              0.97412,
              1.44102
            ],
            [
              0.59497,
              0.74517,
              0.87157,
              1.10847,
              1.57577
            ],
            [
              0.7397,
              0.9144,
              1.059,
              1.3096,
              1.7776
            ]
          ]
        },
        "fall_transition,delay_template13x5": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00982,
            0.01963,
            0.03927,
            0.07855
          ],
          "values": [
            [
              0.08874,
              0.17887,
              0.26834,
              0.44677,
              0.80363
            ],
            [
              0.08876,
              0.179,
              0.26831,
              0.4468,
              0.80362
            ],
            [
              0.08878,
              0.17907,
              0.26804,
              0.44681,
              0.80359
            ],
            [
              0.08876,
              0.17906,
              0.26831,
              0.44677,
              0.80353
            ],
            [
              0.08873,
              0.17878,
              0.26833,
              0.44676,
              0.80358
            ],
            [
              0.08864,
              0.1789,
              0.26834,
              0.44677,
              0.80329
            ],
            [
              0.08872,
              0.17903,
              0.26815,
              0.44679,
              0.80371
            ],
            [
              0.08865,
              0.17883,
              0.26826,
              0.4468,
              0.80304
            ],
            [
              0.09178,
              0.17984,
              0.26811,
              0.44674,
              0.80361
            ],
            [
              0.09945,
              0.18572,
              0.27189,
              0.44725,
              0.80383
            ],
            [
              0.11106,
              0.20035,
              0.28417,
              0.45465,
              0.8043
            ],
            [
              0.1294,
              0.2236,
              0.3101,
              0.4758,
              0.8149
            ],
            [
              0.1601,
              0.2596,
              0.3493,
              0.5183,
              0.8457
            ]
          ]
        },
        "related_pin": "A1",
        "rise_transition,delay_template13x5": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00982,
            0.01963,
            0.03927,
            0.07855
          ],
          "values": [
            [
              0.2196,
              0.3802,
              0.53863,
              0.85278,
              1.47835
            ],
            [
              0.21964,
              0.38018,
              0.53853,
              0.85272,
              1.47757
            ],
            [
              0.21964,
              0.3801,
              0.53849,
              0.85269,
              1.4777
            ],
            [
              0.2196,
              0.3802,
              0.53851,
              0.85268,
              1.47747
            ],
            [
              0.21961,
              0.38008,
              0.53862,
              0.85227,
              1.47833
            ],
            [
              0.21963,
              0.3802,
              0.53863,
              0.8528,
              1.47773
            ],
            [
              0.21962,
              0.38018,
              0.53864,
              0.85246,
              1.47758
            ],
            [
              0.21947,
              0.38013,
              0.53847,
              0.85219,
              1.47777
            ],
            [
              0.21892,
              0.37993,
              0.53845,
              0.85238,
              1.47769
            ],
            [
              0.22628,
              0.38079,
              0.53831,
              0.85233,
              1.4777
            ],
            [
              0.24653,
              0.39301,
              0.5435,
              0.8524,
              1.4782
            ],
            [
              0.2877,
              0.425,
              0.5667,
              0.861,
              1.478
            ],
            [
              0.3447,
              0.4892,
              0.6217,
              0.8981,
              1.4874
            ]
          ]
        },
        "sdf_cond": "(!A2&B1&!B2&C1)",
        "timing_sense": "negative_unate",
        "when": "(!A2&B1&!B2&C1)"
      },
      {
        "cell_fall,delay_template13x5": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00982,
            0.01963,
            0.03927,
            0.07855
          ],
          "values": [
            [
              0.10877,
              0.17088,
              0.23005,
              0.34674,
              0.57836
            ],
            [
              0.11169,
              0.17382,
              0.233,
              0.34969,
              0.58131
            ],
            [
              0.11531,
              0.17749,
              0.23665,
              0.35338,
              0.58498
            ],
            [
              0.12084,
              0.1831,
              0.2423,
              0.35901,
              0.59062
            ],
            [
              0.12908,
              0.19147,
              0.25073,
              0.36747,
              0.59914
            ],
            [
              0.14096,
              0.20357,
              0.2629,
              0.3797,
              0.61141
            ],
            [
              0.15795,
              0.22079,
              0.28024,
              0.39716,
              0.62889
            ],
            [
              0.18186,
              0.24491,
              0.30449,
              0.42156,
              0.65341
            ],
            [
              0.21329,
              0.27879,
              0.33849,
              0.45571,
              0.68777
            ],
            [
              0.2533,
              0.32471,
              0.38691,
              0.50448,
              0.73679
            ],
            [
              0.30396,
              0.38393,
              0.45212,
              0.57522,
              0.80802
            ],
            [
              0.36667,
              0.46017,
              0.53687,
              0.67227,
              0.91307
            ],
            [
              0.4404,
              0.5562,
              0.6464,
              0.7996,
              1.0631
            ]
          ]
        },
        "cell_rise,delay_template13x5": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00982,
            0.01963,
            0.03927,
            0.07855
          ],
          "values": [
            [
              0.22963,
              0.35715,
              0.47785,
              0.71408,
              1.18027
            ],
            [
              0.23247,
              0.36003,
              0.48067,
              0.71696,
              1.18324
            ],
            [
              0.23607,
              0.36371,
              0.48438,
              0.7207,
              1.18692
            ],
            [
              0.24177,
              0.36954,
              0.49025,
              0.72662,
              1.19287
            ],
            [
              0.25065,
              0.37865,
              0.49949,
              0.73582,
              1.20221
            ],
            [
              0.264,
              0.39223,
              0.5132,
              0.7497,
              1.21612
            ],
            [
              0.28331,
              0.41177,
              0.53295,
              0.76958,
              1.23623
            ],
            [
              0.31118,
              0.43984,
              0.56107,
              0.79804,
              1.26486
            ],
            [
              0.35169,
              0.48039,
              0.60176,
              0.83885,
              1.30595
            ],
            [
              0.41207,
              0.54039,
              0.66189,
              0.89919,
              1.36659
            ],
            [
              0.49842,
              0.63002,
              0.75142,
              0.98892,
              1.45662
            ],
            [
              0.61157,
              0.76027,
              0.88577,
              1.12327,
              1.59127
            ],
            [
              0.76,
              0.9322,
              1.0753,
              1.3245,
              1.793
            ]
          ]
        },
        "fall_transition,delay_template13x5": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00982,
            0.01963,
            0.03927,
            0.07855
          ],
          "values": [
            [
              0.06159,
              0.13826,
              0.21542,
              0.36952,
              0.67797
            ],
            [
              0.06156,
              0.13828,
              0.21538,
              0.36956,
              0.67788
            ],
            [
              0.06154,
              0.13828,
              0.21512,
              0.36939,
              0.67759
            ],
            [
              0.06157,
              0.13838,
              0.21534,
              0.36943,
              0.67737
            ],
            [
              0.06157,
              0.13841,
              0.21515,
              0.36942,
              0.67748
            ],
            [
              0.06155,
              0.1383,
              0.21534,
              0.36954,
              0.67743
            ],
            [
              0.0615,
              0.13835,
              0.21541,
              0.3695,
              0.67716
            ],
            [
              0.06296,
              0.13848,
              0.21528,
              0.36928,
              0.67737
            ],
            [
              0.06829,
              0.14138,
              0.21634,
              0.3695,
              0.67768
            ],
            [
              0.07695,
              0.15035,
              0.22259,
              0.37149,
              0.67731
            ],
            [
              0.09062,
              0.16784,
              0.23935,
              0.38243,
              0.6798
            ],
            [
              0.113,
              0.1947,
              0.2691,
              0.4096,
              0.6953
            ],
            [
              0.1486,
              0.2373,
              0.3147,
              0.4592,
              0.7347
            ]
          ]
        },
        "related_pin": "A1",
        "rise_transition,delay_template13x5": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00982,
            0.01963,
            0.03927,
            0.07855
          ],
          "values": [
            [
              0.1707,
              0.33123,
              0.48978,
              0.80393,
              1.43271
            ],
            [
              0.17062,
              0.33164,
              0.48943,
              0.80453,
              1.4322
            ],
            [
              0.17065,
              0.33175,
              0.48926,
              0.8043,
              1.43146
            ],
            [
              0.17071,
              0.33142,
              0.48966,
              0.80443,
              1.43123
            ],
            [
              0.17066,
              0.33178,
              0.48967,
              0.80449,
              1.43293
            ],
            [
              0.1708,
              0.33171,
              0.48985,
              0.80455,
              1.43139
            ],
            [
              0.17064,
              0.33163,
              0.48965,
              0.80466,
              1.43139
            ],
            [
              0.17072,
              0.33171,
              0.48953,
              0.80447,
              1.43289
            ],
            [
              0.16971,
              0.3316,
              0.48919,
              0.80464,
              1.43297
            ],
            [
              0.17564,
              0.33141,
              0.48933,
              0.80419,
              1.4325
            ],
            [
              0.19492,
              0.3424,
              0.4935,
              0.8042,
              1.4329
            ],
            [
              0.227,
              0.3726,
              0.5153,
              0.8121,
              1.4325
            ],
            [
              0.2726,
              0.4311,
              0.5682,
              0.8468,
              1.4407
            ]
          ]
        },
        "sdf_cond": "(!A2&B1&B2&C1)",
        "timing_sense": "negative_unate",
        "when": "(!A2&B1&B2&C1)"
      },
      {
        "cell_fall,delay_template13x5": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00982,
            0.01963,
            0.03927,
            0.07855
          ],
          "values": [
            [
              0.09913,
              0.17138,
              0.24236,
              0.3844,
              0.66844
            ],
            [
              0.10212,
              0.1748,
              0.24589,
              0.3887,
              0.6721
            ],
            [
              0.10572,
              0.17894,
              0.25019,
              0.39228,
              0.6764
            ],
            [
              0.11102,
              0.18482,
              0.25611,
              0.39838,
              0.68253
            ],
            [
              0.11858,
              0.19302,
              0.26483,
              0.40718,
              0.69221
            ],
            [
              0.12904,
              0.20417,
              0.27627,
              0.41932,
              0.70398
            ],
            [
              0.14372,
              0.21924,
              0.29164,
              0.43507,
              0.71973
            ],
            [
              0.16379,
              0.24027,
              0.31279,
              0.45642,
              0.74171
            ],
            [
              0.18919,
              0.26929,
              0.34238,
              0.48637,
              0.77225
            ],
            [
              0.22162,
              0.30788,
              0.38404,
              0.52843,
              0.81479
            ],
            [
              0.26188,
              0.35742,
              0.43954,
              0.58922,
              0.87592
            ],
            [
              0.30977,
              0.42087,
              0.51147,
              0.67317,
              0.96577
            ],
            [
              0.3628,
              0.5004,
              0.6045,
              0.7832,
              1.0966
            ]
          ]
        },
        "cell_rise,delay_template13x5": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00982,
            0.01963,
            0.03927,
            0.07855
          ],
          "values": [
            [
              0.18409,
              0.31049,
              0.43046,
              0.66573,
              1.13067
            ],
            [
              0.1859,
              0.31242,
              0.43241,
              0.66769,
              1.13264
            ],
            [
              0.18852,
              0.31511,
              0.43515,
              0.67052,
              1.13542
            ],
            [
              0.19299,
              0.31981,
              0.43983,
              0.67529,
              1.14018
            ],
            [
              0.20037,
              0.32733,
              0.44751,
              0.68296,
              1.14801
            ],
            [
              0.21195,
              0.33923,
              0.45952,
              0.69513,
              1.16022
            ],
            [
              0.23005,
              0.35759,
              0.47805,
              0.71406,
              1.17943
            ],
            [
              0.25828,
              0.38568,
              0.50666,
              0.74276,
              1.20826
            ],
            [
              0.30141,
              0.42934,
              0.54998,
              0.78615,
              1.25195
            ],
            [
              0.36942,
              0.49525,
              0.61579,
              0.85189,
              1.31779
            ],
            [
              0.46392,
              0.59572,
              0.71562,
              0.95142,
              1.41702
            ],
            [
              0.58317,
              0.74347,
              0.86717,
              1.10157,
              1.56597
            ],
            [
              0.7334,
              0.9318,
              1.0839,
              1.3296,
              1.7927
            ]
          ]
        },
        "fall_transition,delay_template13x5": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00982,
            0.01963,
            0.03927,
            0.07855
          ],
          "values": [
            [
              0.05223,
              0.14751,
              0.24234,
              0.43134,
              0.80953
            ],
            [
              0.05218,
              0.14761,
              0.24233,
              0.43187,
              0.80948
            ],
            [
              0.05218,
              0.14762,
              0.24237,
              0.43131,
              0.80937
            ],
            [
              0.05229,
              0.1478,
              0.24234,
              0.43134,
              0.80945
            ],
            [
              0.05233,
              0.14747,
              0.24231,
              0.43158,
              0.81002
            ],
            [
              0.05237,
              0.14742,
              0.24223,
              0.43166,
              0.81021
            ],
            [
              0.05263,
              0.14779,
              0.24242,
              0.43182,
              0.81029
            ],
            [
              0.05506,
              0.14779,
              0.2424,
              0.4318,
              0.81051
            ],
            [
              0.06046,
              0.15074,
              0.24332,
              0.43147,
              0.81054
            ],
            [
              0.0681,
              0.15956,
              0.24907,
              0.4335,
              0.81034
            ],
            [
              0.08049,
              0.17529,
              0.26405,
              0.44234,
              0.8111
            ],
            [
              0.1015,
              0.1991,
              0.2905,
              0.4653,
              0.8234
            ],
            [
              0.1355,
              0.2385,
              0.3311,
              0.5092,
              0.8554
            ]
          ]
        },
        "related_pin": "A2",
        "rise_transition,delay_template13x5": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00982,
            0.01963,
            0.03927,
            0.07855
          ],
          "values": [
            [
              0.15984,
              0.32014,
              0.47739,
              0.7918,
              1.41917
            ],
            [
              0.15979,
              0.31997,
              0.47744,
              0.79161,
              1.41936
            ],
            [
              0.15968,
              0.32011,
              0.47739,
              0.79178,
              1.41948
            ],
            [
              0.15972,
              0.32002,
              0.47781,
              0.79197,
              1.41918
            ],
            [
              0.15985,
              0.31995,
              0.47772,
              0.79181,
              1.41784
            ],
            [
              0.15982,
              0.32008,
              0.47778,
              0.79175,
              1.41832
            ],
            [
              0.1599,
              0.31976,
              0.47775,
              0.79123,
              1.41796
            ],
            [
              0.15922,
              0.31991,
              0.47779,
              0.79188,
              1.41862
            ],
            [
              0.15962,
              0.31994,
              0.47773,
              0.79161,
              1.41789
            ],
            [
              0.17295,
              0.32129,
              0.47714,
              0.7921,
              1.4193
            ],
            [
              0.20599,
              0.34033,
              0.4844,
              0.7917,
              1.418
            ],
            [
              0.2515,
              0.3913,
              0.5196,
              0.8023,
              1.4181
            ],
            [
              0.315,
              0.4806,
              0.6035,
              0.8546,
              1.4274
            ]
          ]
        },
        "sdf_cond": "(!A1&!B1&B2&C1)",
        "timing_sense": "negative_unate",
        "when": "(!A1&!B1&B2&C1)"
      },
      {
        "cell_fall,delay_template13x5": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00982,
            0.01963,
            0.03927,
            0.07855
          ],
          "values": [
            [
              0.1216,
              0.19536,
              0.26574,
              0.40467,
              0.68065
            ],
            [
              0.12491,
              0.19884,
              0.26928,
              0.40834,
              0.68427
            ],
            [
              0.12881,
              0.20298,
              0.27349,
              0.41255,
              0.68856
            ],
            [
              0.13453,
              0.20894,
              0.27954,
              0.41868,
              0.69473
            ],
            [
              0.14268,
              0.21735,
              0.28805,
              0.42729,
              0.70344
            ],
            [
              0.15384,
              0.22881,
              0.29968,
              0.4391,
              0.71535
            ],
            [
              0.16918,
              0.24446,
              0.31557,
              0.45515,
              0.73156
            ],
            [
              0.19049,
              0.26596,
              0.33728,
              0.47709,
              0.75368
            ],
            [
              0.21897,
              0.296,
              0.36749,
              0.50767,
              0.78465
            ],
            [
              0.25503,
              0.3374,
              0.41042,
              0.55086,
              0.82829
            ],
            [
              0.30085,
              0.39074,
              0.46922,
              0.61332,
              0.89112
            ],
            [
              0.35837,
              0.45957,
              0.54567,
              0.70087,
              0.98367
            ],
            [
              0.4268,
              0.5475,
              0.6451,
              0.816,
              1.1183
            ]
          ]
        },
        "cell_rise,delay_template13x5": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00982,
            0.01963,
            0.03927,
            0.07855
          ],
          "values": [
            [
              0.18671,
              0.31286,
              0.43294,
              0.66844,
              1.13397
            ],
            [
              0.18854,
              0.31479,
              0.43489,
              0.67043,
              1.13604
            ],
            [
              0.19118,
              0.31752,
              0.43764,
              0.67326,
              1.13882
            ],
            [
              0.19564,
              0.32216,
              0.44233,
              0.67805,
              1.14358
            ],
            [
              0.20296,
              0.32968,
              0.44997,
              0.6857,
              1.15141
            ],
            [
              0.21451,
              0.34158,
              0.46197,
              0.69786,
              1.16362
            ],
            [
              0.23257,
              0.35988,
              0.48045,
              0.71676,
              1.18263
            ],
            [
              0.26078,
              0.38827,
              0.50904,
              0.74542,
              1.21166
            ],
            [
              0.3039,
              0.43154,
              0.55232,
              0.78885,
              1.25525
            ],
            [
              0.37172,
              0.49746,
              0.61809,
              0.85449,
              1.32099
            ],
            [
              0.46672,
              0.59792,
              0.71792,
              0.95392,
              1.42022
            ],
            [
              0.58657,
              0.74587,
              0.86937,
              1.10407,
              1.56917
            ],
            [
              0.7378,
              0.9348,
              1.0865,
              1.3321,
              1.7958
            ]
          ]
        },
        "fall_transition,delay_template13x5": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00982,
            0.01963,
            0.03927,
            0.07855
          ],
          "values": [
            [
              0.07213,
              0.16366,
              0.25492,
              0.4378,
              0.80347
            ],
            [
              0.07214,
              0.16366,
              0.25496,
              0.43781,
              0.80343
            ],
            [
              0.07218,
              0.16366,
              0.25498,
              0.43763,
              0.80342
            ],
            [
              0.07216,
              0.16366,
              0.25497,
              0.4377,
              0.80349
            ],
            [
              0.07215,
              0.16366,
              0.25484,
              0.43791,
              0.80343
            ],
            [
              0.07214,
              0.16365,
              0.25473,
              0.43743,
              0.80343
            ],
            [
              0.07199,
              0.16339,
              0.25498,
              0.43763,
              0.80383
            ],
            [
              0.07274,
              0.1634,
              0.25491,
              0.43797,
              0.80333
            ],
            [
              0.0773,
              0.16529,
              0.25518,
              0.43781,
              0.80392
            ],
            [
              0.08487,
              0.17253,
              0.25978,
              0.43883,
              0.80402
            ],
            [
              0.09632,
              0.18766,
              0.27321,
              0.44692,
              0.8044
            ],
            [
              0.1154,
              0.211,
              0.2996,
              0.4689,
              0.816
            ],
            [
              0.1473,
              0.2481,
              0.3388,
              0.5119,
              0.8477
            ]
          ]
        },
        "related_pin": "A2",
        "rise_transition,delay_template13x5": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00982,
            0.01963,
            0.03927,
            0.07855
          ],
          "values": [
            [
              0.21955,
              0.38012,
              0.53861,
              0.85277,
              1.47813
            ],
            [
              0.21952,
              0.38002,
              0.53861,
              0.85226,
              1.47824
            ],
            [
              0.21958,
              0.38012,
              0.5386,
              0.85232,
              1.47824
            ],
            [
              0.21959,
              0.38008,
              0.53853,
              0.85242,
              1.47809
            ],
            [
              0.21957,
              0.38,
              0.53856,
              0.85277,
              1.47742
            ],
            [
              0.21963,
              0.3801,
              0.53842,
              0.85283,
              1.47794
            ],
            [
              0.21971,
              0.38006,
              0.53852,
              0.85262,
              1.47813
            ],
            [
              0.21909,
              0.38007,
              0.53842,
              0.8522,
              1.47749
            ],
            [
              0.21957,
              0.37996,
              0.53843,
              0.85278,
              1.47751
            ],
            [
              0.23244,
              0.38137,
              0.53819,
              0.85271,
              1.4775
            ],
            [
              0.26599,
              0.40037,
              0.545,
              0.8526,
              1.4778
            ],
            [
              0.326,
              0.4513,
              0.5802,
              0.863,
              1.4779
            ],
            [
              0.4051,
              0.5474,
              0.6641,
              0.9152,
              1.4857
            ]
          ]
        },
        "sdf_cond": "(!A1&B1&!B2&C1)",
        "timing_sense": "negative_unate",
        "when": "(!A1&B1&!B2&C1)"
      },
      {
        "cell_fall,delay_template13x5": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00982,
            0.01963,
            0.03927,
            0.07855
          ],
          "values": [
            [
              0.08873,
              0.14898,
              0.20802,
              0.32631,
              0.56181
            ],
            [
              0.09185,
              0.15236,
              0.21148,
              0.32947,
              0.56557
            ],
            [
              0.09551,
              0.15646,
              0.2158,
              0.33403,
              0.56966
            ],
            [
              0.10096,
              0.16243,
              0.22184,
              0.34022,
              0.57586
            ],
            [
              0.10885,
              0.17091,
              0.23036,
              0.34863,
              0.58521
            ],
            [
              0.12013,
              0.18269,
              0.24251,
              0.36088,
              0.5973
            ],
            [
              0.13613,
              0.19926,
              0.25932,
              0.37822,
              0.61482
            ],
            [
              0.15788,
              0.22227,
              0.28265,
              0.40181,
              0.63872
            ],
            [
              0.18532,
              0.2542,
              0.31517,
              0.43433,
              0.67205
            ],
            [
              0.21985,
              0.29571,
              0.36073,
              0.48108,
              0.71879
            ],
            [
              0.2621,
              0.34886,
              0.42037,
              0.54832,
              0.78632
            ],
            [
              0.31137,
              0.41627,
              0.49757,
              0.63857,
              0.88677
            ],
            [
              0.3656,
              0.4988,
              0.5961,
              0.7565,
              1.0285
            ]
          ]
        },
        "cell_rise,delay_template13x5": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00982,
            0.01963,
            0.03927,
            0.07855
          ],
          "values": [
            [
              0.19893,
              0.32647,
              0.4471,
              0.68338,
              1.14957
            ],
            [
              0.20088,
              0.32852,
              0.44922,
              0.68547,
              1.15164
            ],
            [
              0.20359,
              0.33133,
              0.45206,
              0.68842,
              1.15462
            ],
            [
              0.20811,
              0.33602,
              0.45682,
              0.6932,
              1.15948
            ],
            [
              0.21548,
              0.34355,
              0.46446,
              0.70092,
              1.16721
            ],
            [
              0.22696,
              0.35539,
              0.47643,
              0.7131,
              1.17942
            ],
            [
              0.24513,
              0.3738,
              0.49507,
              0.73175,
              1.19833
            ],
            [
              0.27276,
              0.40201,
              0.52342,
              0.76051,
              1.22706
            ],
            [
              0.31622,
              0.44513,
              0.56655,
              0.80385,
              1.27095
            ],
            [
              0.3831,
              0.51088,
              0.63219,
              0.86939,
              1.33669
            ],
            [
              0.48132,
              0.61112,
              0.73192,
              0.96862,
              1.43572
            ],
            [
              0.60527,
              0.76087,
              0.88327,
              1.11857,
              1.58447
            ],
            [
              0.7619,
              0.9541,
              1.103,
              1.3466,
              1.811
            ]
          ]
        },
        "fall_transition,delay_template13x5": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00982,
            0.01963,
            0.03927,
            0.07855
          ],
          "values": [
            [
              0.04353,
              0.12299,
              0.20221,
              0.36006,
              0.67524
            ],
            [
              0.04347,
              0.12292,
              0.20228,
              0.35968,
              0.67494
            ],
            [
              0.04349,
              0.12287,
              0.20194,
              0.35997,
              0.67523
            ],
            [
              0.04361,
              0.12294,
              0.20209,
              0.36003,
              0.67522
            ],
            [
              0.04365,
              0.12301,
              0.20199,
              0.3595,
              0.67572
            ],
            [
              0.04376,
              0.12296,
              0.20212,
              0.35953,
              0.67506
            ],
            [
              0.04434,
              0.12297,
              0.20227,
              0.35999,
              0.67583
            ],
            [
              0.04748,
              0.12359,
              0.20231,
              0.36003,
              0.67579
            ],
            [
              0.05362,
              0.12756,
              0.20401,
              0.36007,
              0.67589
            ],
            [
              0.06264,
              0.13838,
              0.21132,
              0.363,
              0.6755
            ],
            [
              0.07737,
              0.15596,
              0.22979,
              0.37472,
              0.6785
            ],
            [
              0.1012,
              0.184,
              0.2595,
              0.4036,
              0.6948
            ],
            [
              0.1377,
              0.2282,
              0.3066,
              0.4534,
              0.7356
            ]
          ]
        },
        "related_pin": "A2",
        "rise_transition,delay_template13x5": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00982,
            0.01963,
            0.03927,
            0.07855
          ],
          "values": [
            [
              0.17047,
              0.33171,
              0.48976,
              0.80374,
              1.4322
            ],
            [
              0.17077,
              0.33159,
              0.48984,
              0.80429,
              1.43289
            ],
            [
              0.17045,
              0.3317,
              0.48983,
              0.80446,
              1.43184
            ],
            [
              0.17053,
              0.33145,
              0.48919,
              0.80444,
              1.43159
            ],
            [
              0.17073,
              0.33135,
              0.48982,
              0.80423,
              1.43155
            ],
            [
              0.17054,
              0.33134,
              0.48915,
              0.80393,
              1.43153
            ],
            [
              0.17068,
              0.33129,
              0.48975,
              0.80416,
              1.43121
            ],
            [
              0.17051,
              0.33125,
              0.48972,
              0.80441,
              1.4312
            ],
            [
              0.16967,
              0.33149,
              0.48916,
              0.80397,
              1.43131
            ],
            [
              0.18018,
              0.33173,
              0.48953,
              0.80461,
              1.4313
            ],
            [
              0.21162,
              0.34837,
              0.4942,
              0.8038,
              1.4316
            ],
            [
              0.2571,
              0.396,
              0.5268,
              0.8129,
              1.4314
            ],
            [
              0.3208,
              0.4846,
              0.6073,
              0.8628,
              1.4395
            ]
          ]
        },
        "sdf_cond": "(!A1&B1&B2&C1)",
        "timing_sense": "negative_unate",
        "when": "(!A1&B1&B2&C1)"
      },
      {
        "cell_fall,delay_template13x5": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00982,
            0.01963,
            0.03927,
            0.07855
          ],
          "values": [
            [
              0.10848,
              0.18191,
              0.25223,
              0.39113,
              0.66706
            ],
            [
              0.11096,
              0.18443,
              0.25475,
              0.39366,
              0.66959
            ],
            [
              0.11411,
              0.18764,
              0.25798,
              0.39689,
              0.67283
            ],
            [
              0.11907,
              0.19273,
              0.26309,
              0.40203,
              0.67797
            ],
            [
              0.12661,
              0.20043,
              0.27085,
              0.40986,
              0.68585
            ],
            [
              0.13743,
              0.21155,
              0.28206,
              0.42116,
              0.69715
            ],
            [
              0.15293,
              0.22731,
              0.29801,
              0.4372,
              0.71326
            ],
            [
              0.17556,
              0.25018,
              0.32102,
              0.4605,
              0.73674
            ],
            [
              0.20546,
              0.28413,
              0.35518,
              0.49485,
              0.77135
            ],
            [
              0.24492,
              0.3323,
              0.40611,
              0.54617,
              0.82309
            ],
            [
              0.29486,
              0.39576,
              0.47782,
              0.62292,
              0.90032
            ],
            [
              0.35417,
              0.47727,
              0.57207,
              0.73307,
              1.01607
            ],
            [
              0.4221,
              0.5768,
              0.6921,
              0.8785,
              1.187
            ]
          ]
        },
        "cell_rise,delay_template13x5": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00982,
            0.01963,
            0.03927,
            0.07855
          ],
          "values": [
            [
              0.18066,
              0.3061,
              0.42831,
              0.67101,
              1.15437
            ],
            [
              0.18367,
              0.3095,
              0.43179,
              0.67458,
              1.15804
            ],
            [
              0.18726,
              0.31351,
              0.43595,
              0.67885,
              1.16232
            ],
            [
              0.1927,
              0.31955,
              0.44222,
              0.68531,
              1.16888
            ],
            [
              0.20112,
              0.32866,
              0.45164,
              0.69497,
              1.17881
            ],
            [
              0.21408,
              0.34219,
              0.46556,
              0.70929,
              1.19342
            ],
            [
              0.23331,
              0.3618,
              0.4855,
              0.72966,
              1.21413
            ],
            [
              0.26154,
              0.38996,
              0.51399,
              0.75861,
              1.24356
            ],
            [
              0.3032,
              0.4312,
              0.55528,
              0.80025,
              1.28585
            ],
            [
              0.36392,
              0.4926,
              0.61658,
              0.86179,
              1.34779
            ],
            [
              0.4429,
              0.58462,
              0.70842,
              0.95362,
              1.44002
            ],
            [
              0.54757,
              0.71147,
              0.84617,
              1.09167,
              1.57817
            ],
            [
              0.6842,
              0.8792,
              1.0346,
              1.2987,
              1.7857
            ]
          ]
        },
        "fall_transition,delay_template13x5": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00982,
            0.01963,
            0.03927,
            0.07855
          ],
          "values": [
            [
              0.07212,
              0.16345,
              0.25497,
              0.43792,
              0.80337
            ],
            [
              0.07221,
              0.16358,
              0.2549,
              0.43766,
              0.80341
            ],
            [
              0.07219,
              0.16361,
              0.25493,
              0.43792,
              0.80394
            ],
            [
              0.07219,
              0.16339,
              0.25465,
              0.43791,
              0.80346
            ],
            [
              0.07215,
              0.16358,
              0.25464,
              0.43795,
              0.80382
            ],
            [
              0.07205,
              0.1636,
              0.25496,
              0.43797,
              0.80391
            ],
            [
              0.07206,
              0.16343,
              0.25466,
              0.43778,
              0.80392
            ],
            [
              0.07504,
              0.16367,
              0.25491,
              0.43744,
              0.80356
            ],
            [
              0.08297,
              0.16784,
              0.25597,
              0.43747,
              0.80369
            ],
            [
              0.09482,
              0.17974,
              0.2637,
              0.43984,
              0.80363
            ],
            [
              0.11475,
              0.20375,
              0.2843,
              0.45103,
              0.8049
            ],
            [
              0.1451,
              0.2415,
              0.3247,
              0.4823,
              0.8191
            ],
            [
              0.1885,
              0.2987,
              0.3869,
              0.5467,
              0.8603
            ]
          ]
        },
        "related_pin": "B1",
        "rise_transition,delay_template13x5": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00982,
            0.01963,
            0.03927,
            0.07855
          ],
          "values": [
            [
              0.12307,
              0.28841,
              0.45198,
              0.77768,
              1.42922
            ],
            [
              0.12325,
              0.28846,
              0.45195,
              0.77824,
              1.42798
            ],
            [
              0.12311,
              0.28844,
              0.45196,
              0.77815,
              1.42909
            ],
            [
              0.12316,
              0.28842,
              0.45174,
              0.77809,
              1.42837
            ],
            [
              0.12312,
              0.28843,
              0.45189,
              0.77752,
              1.42824
            ],
            [
              0.12316,
              0.28847,
              0.45197,
              0.77721,
              1.42908
            ],
            [
              0.123,
              0.28821,
              0.45141,
              0.77813,
              1.4291
            ],
            [
              0.12311,
              0.28821,
              0.45148,
              0.77767,
              1.42794
            ],
            [
              0.12508,
              0.28841,
              0.45195,
              0.77809,
              1.42902
            ],
            [
              0.1372,
              0.29103,
              0.4519,
              0.77817,
              1.4292
            ],
            [
              0.1603,
              0.30689,
              0.4592,
              0.7776,
              1.4281
            ],
            [
              0.1921,
              0.3435,
              0.485,
              0.7883,
              1.4295
            ],
            [
              0.24,
              0.4046,
              0.5443,
              0.8255,
              1.4377
            ]
          ]
        },
        "sdf_cond": "(!A1&A2&!B2&C1)",
        "timing_sense": "negative_unate",
        "when": "(!A1&A2&!B2&C1)"
      },
      {
        "cell_fall,delay_template13x5": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00982,
            0.01963,
            0.03927,
            0.07855
          ],
          "values": [
            [
              0.13347,
              0.20677,
              0.27633,
              0.4129,
              0.68303
            ],
            [
              0.13603,
              0.20935,
              0.2789,
              0.41548,
              0.68561
            ],
            [
              0.13922,
              0.21257,
              0.28214,
              0.41872,
              0.68886
            ],
            [
              0.14425,
              0.21768,
              0.28726,
              0.42385,
              0.694
            ],
            [
              0.15186,
              0.22541,
              0.29504,
              0.43168,
              0.70185
            ],
            [
              0.16283,
              0.23653,
              0.30624,
              0.44295,
              0.71314
            ],
            [
              0.17849,
              0.25234,
              0.32217,
              0.45892,
              0.7292
            ],
            [
              0.2013,
              0.27532,
              0.34525,
              0.48222,
              0.75269
            ],
            [
              0.23446,
              0.3093,
              0.37945,
              0.51661,
              0.78725
            ],
            [
              0.27814,
              0.3596,
              0.43049,
              0.56794,
              0.83889
            ],
            [
              0.3352,
              0.42683,
              0.50452,
              0.64472,
              0.91612
            ],
            [
              0.40617,
              0.51447,
              0.60267,
              0.75657,
              1.03167
            ],
            [
              0.4901,
              0.624,
              0.7292,
              0.9053,
              1.2031
            ]
          ]
        },
        "cell_rise,delay_template13x5": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00982,
            0.01963,
            0.03927,
            0.07855
          ],
          "values": [
            [
              0.18268,
              0.30823,
              0.43062,
              0.67372,
              1.15787
            ],
            [
              0.18562,
              0.31157,
              0.43405,
              0.67719,
              1.16144
            ],
            [
              0.18919,
              0.31556,
              0.4382,
              0.68149,
              1.16572
            ],
            [
              0.19462,
              0.32157,
              0.44443,
              0.6879,
              1.17228
            ],
            [
              0.20304,
              0.33066,
              0.45383,
              0.69754,
              1.18211
            ],
            [
              0.21601,
              0.34419,
              0.46774,
              0.71182,
              1.19672
            ],
            [
              0.23528,
              0.36379,
              0.48768,
              0.73221,
              1.21743
            ],
            [
              0.26357,
              0.39203,
              0.51618,
              0.76119,
              1.24686
            ],
            [
              0.30528,
              0.43331,
              0.55752,
              0.80285,
              1.28915
            ],
            [
              0.36621,
              0.49473,
              0.61887,
              0.86439,
              1.35119
            ],
            [
              0.44552,
              0.58682,
              0.71072,
              0.95622,
              1.44332
            ],
            [
              0.55067,
              0.71397,
              0.84857,
              1.09427,
              1.58157
            ],
            [
              0.688,
              0.8821,
              1.0373,
              1.3014,
              1.7891
            ]
          ]
        },
        "fall_transition,delay_template13x5": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00982,
            0.01963,
            0.03927,
            0.07855
          ],
          "values": [
            [
              0.08876,
              0.17901,
              0.26833,
              0.4468,
              0.80377
            ],
            [
              0.08877,
              0.17874,
              0.26833,
              0.44678,
              0.80376
            ],
            [
              0.08877,
              0.17905,
              0.2681,
              0.4468,
              0.80379
            ],
            [
              0.08872,
              0.17902,
              0.26804,
              0.44677,
              0.80309
            ],
            [
              0.08877,
              0.17882,
              0.26823,
              0.44671,
              0.80298
            ],
            [
              0.08868,
              0.17904,
              0.26825,
              0.4468,
              0.80349
            ],
            [
              0.08859,
              0.17892,
              0.26815,
              0.44679,
              0.80375
            ],
            [
              0.08947,
              0.1788,
              0.2682,
              0.44655,
              0.80391
            ],
            [
              0.09515,
              0.18121,
              0.26846,
              0.44656,
              0.80379
            ],
            [
              0.10675,
              0.19051,
              0.27456,
              0.44771,
              0.80308
            ],
            [
              0.12509,
              0.21241,
              0.29218,
              0.45772,
              0.8047
            ],
            [
              0.1543,
              0.2478,
              0.3296,
              0.4863,
              0.8172
            ],
            [
              0.197,
              0.3023,
              0.3888,
              0.5469,
              0.8555
            ]
          ]
        },
        "related_pin": "B1",
        "rise_transition,delay_template13x5": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00982,
            0.01963,
            0.03927,
            0.07855
          ],
          "values": [
            [
              0.17783,
              0.3484,
              0.51371,
              0.84054,
              1.49042
            ],
            [
              0.17785,
              0.34842,
              0.51372,
              0.84066,
              1.49062
            ],
            [
              0.17782,
              0.34843,
              0.51374,
              0.84016,
              1.49043
            ],
            [
              0.17783,
              0.34841,
              0.51378,
              0.84023,
              1.49011
            ],
            [
              0.17784,
              0.34842,
              0.51372,
              0.84055,
              1.49053
            ],
            [
              0.17783,
              0.34839,
              0.51374,
              0.8406,
              1.4902
            ],
            [
              0.17784,
              0.34839,
              0.51371,
              0.84033,
              1.49031
            ],
            [
              0.17784,
              0.34841,
              0.51371,
              0.84065,
              1.49017
            ],
            [
              0.17987,
              0.34836,
              0.51371,
              0.84035,
              1.49044
            ],
            [
              0.19169,
              0.35116,
              0.51382,
              0.84012,
              1.4907
            ],
            [
              0.21976,
              0.36695,
              0.521,
              0.8401,
              1.4905
            ],
            [
              0.2632,
              0.4036,
              0.5474,
              0.8506,
              1.4904
            ],
            [
              0.3241,
              0.4721,
              0.6063,
              0.8885,
              1.4987
            ]
          ]
        },
        "sdf_cond": "(A1&!A2&!B2&C1)",
        "timing_sense": "negative_unate",
        "when": "(A1&!A2&!B2&C1)"
      },
      {
        "cell_fall,delay_template13x5": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00982,
            0.01963,
            0.03927,
            0.07855
          ],
          "values": [
            [
              0.09054,
              0.15275,
              0.21203,
              0.32897,
              0.56117
            ],
            [
              0.0933,
              0.15555,
              0.21483,
              0.3318,
              0.56395
            ],
            [
              0.09674,
              0.15901,
              0.2183,
              0.33526,
              0.56747
            ],
            [
              0.102,
              0.16437,
              0.22368,
              0.34073,
              0.5729
            ],
            [
              0.1098,
              0.17235,
              0.23173,
              0.34877,
              0.58098
            ],
            [
              0.12086,
              0.18361,
              0.24307,
              0.36018,
              0.59242
            ],
            [
              0.13665,
              0.19956,
              0.25918,
              0.37633,
              0.6087
            ],
            [
              0.15906,
              0.22273,
              0.28246,
              0.39987,
              0.63235
            ],
            [
              0.18801,
              0.25697,
              0.31696,
              0.43457,
              0.66732
            ],
            [
              0.22592,
              0.30341,
              0.36803,
              0.48635,
              0.71939
            ],
            [
              0.27332,
              0.36428,
              0.43693,
              0.56352,
              0.79722
            ],
            [
              0.32967,
              0.44187,
              0.52707,
              0.66957,
              0.91367
            ],
            [
              0.3941,
              0.5362,
              0.641,
              0.8083,
              1.0807
            ]
          ]
        },
        "cell_rise,delay_template13x5": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00982,
            0.01963,
            0.03927,
            0.07855
          ],
          "values": [
            [
              0.18034,
              0.30598,
              0.42836,
              0.67142,
              1.15547
            ],
            [
              0.18303,
              0.30899,
              0.43147,
              0.67462,
              1.15884
            ],
            [
              0.18638,
              0.31279,
              0.43541,
              0.67868,
              1.16292
            ],
            [
              0.19163,
              0.31864,
              0.44149,
              0.6849,
              1.16928
            ],
            [
              0.20003,
              0.32758,
              0.45073,
              0.6944,
              1.17901
            ],
            [
              0.21305,
              0.34111,
              0.4646,
              0.7086,
              1.19342
            ],
            [
              0.23248,
              0.36072,
              0.48452,
              0.72895,
              1.21413
            ],
            [
              0.26099,
              0.38913,
              0.51313,
              0.75796,
              1.24356
            ],
            [
              0.30292,
              0.43063,
              0.55462,
              0.79975,
              1.28585
            ],
            [
              0.36381,
              0.49229,
              0.61618,
              0.86139,
              1.34789
            ],
            [
              0.44292,
              0.58462,
              0.70832,
              0.95352,
              1.44022
            ],
            [
              0.54767,
              0.71157,
              0.84627,
              1.09177,
              1.57867
            ],
            [
              0.6843,
              0.8795,
              1.0349,
              1.2991,
              1.7864
            ]
          ]
        },
        "fall_transition,delay_template13x5": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00982,
            0.01963,
            0.03927,
            0.07855
          ],
          "values": [
            [
              0.05963,
              0.13636,
              0.21339,
              0.36753,
              0.67668
            ],
            [
              0.05961,
              0.13638,
              0.21338,
              0.36742,
              0.67665
            ],
            [
              0.05967,
              0.13648,
              0.21342,
              0.36764,
              0.67574
            ],
            [
              0.05967,
              0.13644,
              0.2134,
              0.3678,
              0.67582
            ],
            [
              0.05959,
              0.13653,
              0.21339,
              0.36775,
              0.67575
            ],
            [
              0.0595,
              0.13641,
              0.21332,
              0.36769,
              0.67614
            ],
            [
              0.0598,
              0.13625,
              0.2132,
              0.36753,
              0.67616
            ],
            [
              0.06381,
              0.13708,
              0.21325,
              0.3675,
              0.67673
            ],
            [
              0.07179,
              0.14265,
              0.21598,
              0.36732,
              0.67617
            ],
            [
              0.08381,
              0.15656,
              0.22574,
              0.37168,
              0.67649
            ],
            [
              0.10317,
              0.18027,
              0.24907,
              0.3862,
              0.6801
            ],
            [
              0.1323,
              0.217,
              0.2886,
              0.4221,
              0.6989
            ],
            [
              0.1737,
              0.2716,
              0.3489,
              0.4866,
              0.7484
            ]
          ]
        },
        "related_pin": "B1",
        "rise_transition,delay_template13x5": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00982,
            0.01963,
            0.03927,
            0.07855
          ],
          "values": [
            [
              0.12335,
              0.28868,
              0.45248,
              0.77925,
              1.43132
            ],
            [
              0.12329,
              0.28848,
              0.45263,
              0.77922,
              1.43114
            ],
            [
              0.12332,
              0.28889,
              0.45262,
              0.77838,
              1.43092
            ],
            [
              0.1233,
              0.28885,
              0.45202,
              0.7792,
              1.43043
            ],
            [
              0.12321,
              0.28877,
              0.45264,
              0.77849,
              1.43
            ],
            [
              0.12335,
              0.28882,
              0.45259,
              0.77843,
              1.42988
            ],
            [
              0.12332,
              0.28854,
              0.45264,
              0.7793,
              1.4312
            ],
            [
              0.12333,
              0.28857,
              0.4522,
              0.77843,
              1.43058
            ],
            [
              0.12541,
              0.28886,
              0.45253,
              0.77878,
              1.43102
            ],
            [
              0.1374,
              0.29167,
              0.45262,
              0.77899,
              1.4314
            ],
            [
              0.16066,
              0.30712,
              0.4598,
              0.7787,
              1.4302
            ],
            [
              0.1924,
              0.344,
              0.4857,
              0.7894,
              1.4315
            ],
            [
              0.2404,
              0.4052,
              0.545,
              0.8267,
              1.4398
            ]
          ]
        },
        "sdf_cond": "(A1&A2&!B2&C1)",
        "timing_sense": "negative_unate",
        "when": "(A1&A2&!B2&C1)"
      },
      {
        "cell_fall,delay_template13x5": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00982,
            0.01963,
            0.03927,
            0.07855
          ],
          "values": [
            [
              0.08344,
              0.15579,
              0.22681,
              0.36887,
              0.65289
            ],
            [
              0.0862,
              0.15885,
              0.23,
              0.37281,
              0.65626
            ],
            [
              0.08939,
              0.16259,
              0.23389,
              0.37598,
              0.6601
            ],
            [
              0.09426,
              0.16804,
              0.2395,
              0.38218,
              0.6661
            ],
            [
              0.10146,
              0.17595,
              0.24745,
              0.39015,
              0.67457
            ],
            [
              0.11185,
              0.18695,
              0.25901,
              0.40146,
              0.68583
            ],
            [
              0.12659,
              0.20235,
              0.2747,
              0.41753,
              0.70215
            ],
            [
              0.14611,
              0.2245,
              0.29711,
              0.44039,
              0.72631
            ],
            [
              0.17123,
              0.25704,
              0.33033,
              0.47443,
              0.76055
            ],
            [
              0.20285,
              0.30077,
              0.37965,
              0.52427,
              0.81059
            ],
            [
              0.23995,
              0.35781,
              0.44662,
              0.59922,
              0.88632
            ],
            [
              0.28077,
              0.42877,
              0.53377,
              0.70507,
              0.99927
            ],
            [
              0.3223,
              0.5125,
              0.6427,
              0.8434,
              1.1665
            ]
          ]
        },
        "cell_rise,delay_template13x5": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00982,
            0.01963,
            0.03927,
            0.07855
          ],
          "values": [
            [
              0.14579,
              0.27123,
              0.39345,
              0.63614,
              1.11947
            ],
            [
              0.14784,
              0.27366,
              0.39596,
              0.63871,
              1.12214
            ],
            [
              0.15039,
              0.27669,
              0.39914,
              0.64206,
              1.12552
            ],
            [
              0.15452,
              0.28147,
              0.40415,
              0.64721,
              1.13078
            ],
            [
              0.16128,
              0.28891,
              0.41192,
              0.6553,
              1.13901
            ],
            [
              0.17216,
              0.30052,
              0.42387,
              0.66756,
              1.15162
            ],
            [
              0.1897,
              0.31835,
              0.44207,
              0.6862,
              1.17063
            ],
            [
              0.21753,
              0.34597,
              0.46993,
              0.71444,
              1.19966
            ],
            [
              0.26134,
              0.38897,
              0.51299,
              0.75785,
              1.24325
            ],
            [
              0.32531,
              0.45476,
              0.57821,
              0.82329,
              1.30879
            ],
            [
              0.40633,
              0.55582,
              0.67822,
              0.92242,
              1.40702
            ],
            [
              0.50857,
              0.69427,
              0.83017,
              1.07307,
              1.55717
            ],
            [
              0.6372,
              0.8692,
              1.0384,
              1.3018,
              1.784
            ]
          ]
        },
        "fall_transition,delay_template13x5": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00982,
            0.01963,
            0.03927,
            0.07855
          ],
          "values": [
            [
              0.05219,
              0.14761,
              0.24233,
              0.43146,
              0.80947
            ],
            [
              0.05218,
              0.14764,
              0.24232,
              0.43183,
              0.80942
            ],
            [
              0.05226,
              0.14781,
              0.24239,
              0.43126,
              0.80954
            ],
            [
              0.05228,
              0.14757,
              0.24241,
              0.43192,
              0.80964
            ],
            [
              0.05224,
              0.14756,
              0.24232,
              0.43162,
              0.80982
            ],
            [
              0.05242,
              0.14763,
              0.24239,
              0.43132,
              0.80923
            ],
            [
              0.05377,
              0.14783,
              0.24247,
              0.43125,
              0.80951
            ],
            [
              0.05915,
              0.14895,
              0.2426,
              0.43137,
              0.81038
            ],
            [
              0.06787,
              0.15474,
              0.2448,
              0.43137,
              0.81035
            ],
            [
              0.08191,
              0.16996,
              0.25443,
              0.43449,
              0.80986
            ],
            [
              0.10399,
              0.19644,
              0.27849,
              0.44712,
              0.8118
            ],
            [
              0.1364,
              0.2376,
              0.3219,
              0.4814,
              0.8263
            ],
            [
              0.1821,
              0.2986,
              0.3881,
              0.5495,
              0.8691
            ]
          ]
        },
        "related_pin": "B2",
        "rise_transition,delay_template13x5": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00982,
            0.01963,
            0.03927,
            0.07855
          ],
          "values": [
            [
              0.12312,
              0.28829,
              0.45203,
              0.77789,
              1.42903
            ],
            [
              0.12302,
              0.28803,
              0.45197,
              0.77802,
              1.42901
            ],
            [
              0.12323,
              0.28793,
              0.45198,
              0.77757,
              1.42912
            ],
            [
              0.12312,
              0.28793,
              0.45197,
              0.77811,
              1.42898
            ],
            [
              0.12311,
              0.28845,
              0.45198,
              0.7773,
              1.42927
            ],
            [
              0.12308,
              0.28838,
              0.45193,
              0.77809,
              1.42874
            ],
            [
              0.12308,
              0.28839,
              0.45178,
              0.77781,
              1.42926
            ],
            [
              0.1229,
              0.2881,
              0.45159,
              0.77812,
              1.42931
            ],
            [
              0.13114,
              0.28783,
              0.45139,
              0.77822,
              1.42868
            ],
            [
              0.15396,
              0.29496,
              0.45194,
              0.77787,
              1.4294
            ],
            [
              0.18846,
              0.32208,
              0.4643,
              0.7779,
              1.4282
            ],
            [
              0.2355,
              0.3826,
              0.5071,
              0.7922,
              1.4292
            ],
            [
              0.2993,
              0.4741,
              0.5996,
              0.85,
              1.438
            ]
          ]
        },
        "sdf_cond": "(!A1&A2&!B1&C1)",
        "timing_sense": "negative_unate",
        "when": "(!A1&A2&!B1&C1)"
      },
      {
        "cell_fall,delay_template13x5": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00982,
            0.01963,
            0.03927,
            0.07855
          ],
          "values": [
            [
              0.1082,
              0.18342,
              0.25516,
              0.3968,
              0.67812
            ],
            [
              0.11111,
              0.18654,
              0.25835,
              0.40004,
              0.68139
            ],
            [
              0.11462,
              0.19024,
              0.26213,
              0.40389,
              0.68529
            ],
            [
              0.11994,
              0.19579,
              0.26775,
              0.40964,
              0.69107
            ],
            [
              0.12769,
              0.20385,
              0.27592,
              0.41786,
              0.69941
            ],
            [
              0.13861,
              0.21504,
              0.28732,
              0.4294,
              0.71103
            ],
            [
              0.15391,
              0.23065,
              0.30316,
              0.44545,
              0.72724
            ],
            [
              0.17625,
              0.25313,
              0.32584,
              0.46842,
              0.75047
            ],
            [
              0.20585,
              0.28632,
              0.35926,
              0.5022,
              0.78465
            ],
            [
              0.24452,
              0.33372,
              0.40914,
              0.55251,
              0.83539
            ],
            [
              0.29322,
              0.39601,
              0.47972,
              0.62772,
              0.91132
            ],
            [
              0.35097,
              0.47577,
              0.57227,
              0.73607,
              1.02467
            ],
            [
              0.4157,
              0.5727,
              0.6898,
              0.8791,
              1.1929
            ]
          ]
        },
        "cell_rise,delay_template13x5": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00982,
            0.01963,
            0.03927,
            0.07855
          ],
          "values": [
            [
              0.14785,
              0.2734,
              0.39579,
              0.63887,
              1.12297
            ],
            [
              0.14985,
              0.27579,
              0.39827,
              0.64142,
              1.12564
            ],
            [
              0.15239,
              0.27879,
              0.40145,
              0.64474,
              1.12902
            ],
            [
              0.15651,
              0.28356,
              0.40643,
              0.64987,
              1.13427
            ],
            [
              0.16324,
              0.291,
              0.41417,
              0.65794,
              1.14251
            ],
            [
              0.17412,
              0.30257,
              0.42609,
              0.67018,
              1.15502
            ],
            [
              0.19167,
              0.3204,
              0.44431,
              0.68881,
              1.17403
            ],
            [
              0.21952,
              0.34801,
              0.47213,
              0.71704,
              1.20316
            ],
            [
              0.26333,
              0.39101,
              0.51521,
              0.76045,
              1.24665
            ],
            [
              0.32763,
              0.45683,
              0.58048,
              0.82589,
              1.31229
            ],
            [
              0.40929,
              0.55792,
              0.68052,
              0.92502,
              1.41032
            ],
            [
              0.51247,
              0.69697,
              0.83257,
              1.07557,
              1.56057
            ],
            [
              0.6421,
              0.8724,
              1.0411,
              1.3043,
              1.7872
            ]
          ]
        },
        "fall_transition,delay_template13x5": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00982,
            0.01963,
            0.03927,
            0.07855
          ],
          "values": [
            [
              0.07439,
              0.16753,
              0.26061,
              0.44701,
              0.82035
            ],
            [
              0.07435,
              0.16751,
              0.26061,
              0.44687,
              0.82035
            ],
            [
              0.07447,
              0.16743,
              0.26031,
              0.44712,
              0.81952
            ],
            [
              0.07447,
              0.16752,
              0.26059,
              0.44691,
              0.8199
            ],
            [
              0.07445,
              0.16752,
              0.26034,
              0.44708,
              0.8201
            ],
            [
              0.0743,
              0.16748,
              0.2606,
              0.44653,
              0.81959
            ],
            [
              0.07419,
              0.1674,
              0.2603,
              0.44706,
              0.82009
            ],
            [
              0.07689,
              0.16747,
              0.26047,
              0.44708,
              0.82009
            ],
            [
              0.08475,
              0.17129,
              0.26146,
              0.44706,
              0.82022
            ],
            [
              0.09683,
              0.18256,
              0.26866,
              0.44828,
              0.81937
            ],
            [
              0.11714,
              0.20693,
              0.28877,
              0.45912,
              0.8213
            ],
            [
              0.148,
              0.2452,
              0.329,
              0.4897,
              0.8346
            ],
            [
              0.1924,
              0.3031,
              0.392,
              0.5545,
              0.8741
            ]
          ]
        },
        "related_pin": "B2",
        "rise_transition,delay_template13x5": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00982,
            0.01963,
            0.03927,
            0.07855
          ],
          "values": [
            [
              0.17785,
              0.34844,
              0.51383,
              0.84023,
              1.49037
            ],
            [
              0.1778,
              0.3484,
              0.51375,
              0.84016,
              1.49043
            ],
            [
              0.17779,
              0.3484,
              0.51375,
              0.84042,
              1.4899
            ],
            [
              0.17783,
              0.34845,
              0.5138,
              0.83999,
              1.49035
            ],
            [
              0.17778,
              0.34841,
              0.51376,
              0.84009,
              1.49006
            ],
            [
              0.17781,
              0.34839,
              0.51372,
              0.8405,
              1.49044
            ],
            [
              0.17774,
              0.3484,
              0.51373,
              0.84042,
              1.48988
            ],
            [
              0.17754,
              0.34841,
              0.51373,
              0.84014,
              1.48994
            ],
            [
              0.18571,
              0.34808,
              0.51383,
              0.84006,
              1.49014
            ],
            [
              0.2085,
              0.35493,
              0.51369,
              0.84022,
              1.4902
            ],
            [
              0.25556,
              0.38211,
              0.5261,
              0.84,
              1.4903
            ],
            [
              0.3164,
              0.4428,
              0.5689,
              0.8547,
              1.4911
            ],
            [
              0.3999,
              0.5454,
              0.6617,
              0.912,
              1.4995
            ]
          ]
        },
        "sdf_cond": "(A1&!A2&!B1&C1)",
        "timing_sense": "negative_unate",
        "when": "(A1&!A2&!B1&C1)"
      },
      {
        "cell_fall,delay_template13x5": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00982,
            0.01963,
            0.03927,
            0.07855
          ],
          "values": [
            [
              0.07199,
              0.13374,
              0.19484,
              0.31618,
              0.55911
            ],
            [
              0.07486,
              0.13706,
              0.19814,
              0.31951,
              0.56279
            ],
            [
              0.07831,
              0.14081,
              0.20197,
              0.32388,
              0.5671
            ],
            [
              0.08345,
              0.14646,
              0.20777,
              0.32975,
              0.57239
            ],
            [
              0.09096,
              0.15462,
              0.21582,
              0.33813,
              0.58087
            ],
            [
              0.10159,
              0.16582,
              0.22748,
              0.34974,
              0.59325
            ],
            [
              0.11647,
              0.18143,
              0.24332,
              0.3657,
              0.6089
            ],
            [
              0.13539,
              0.20388,
              0.26595,
              0.38871,
              0.63262
            ],
            [
              0.15973,
              0.2361,
              0.29958,
              0.42261,
              0.66746
            ],
            [
              0.18992,
              0.27843,
              0.34839,
              0.47324,
              0.71779
            ],
            [
              0.22526,
              0.33318,
              0.41306,
              0.54842,
              0.79432
            ],
            [
              0.26417,
              0.40087,
              0.49657,
              0.65037,
              0.90827
            ],
            [
              0.3036,
              0.4805,
              0.6002,
              0.7828,
              1.0717
            ]
          ]
        },
        "cell_rise,delay_template13x5": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00982,
            0.01963,
            0.03927,
            0.07855
          ],
          "values": [
            [
              0.14554,
              0.27112,
              0.39351,
              0.63656,
              1.12057
            ],
            [
              0.1473,
              0.27331,
              0.39578,
              0.6389,
              1.12304
            ],
            [
              0.14965,
              0.27609,
              0.39875,
              0.64202,
              1.12622
            ],
            [
              0.15366,
              0.28066,
              0.40353,
              0.64699,
              1.13128
            ],
            [
              0.16025,
              0.28803,
              0.41119,
              0.65485,
              1.13941
            ],
            [
              0.17116,
              0.29956,
              0.42306,
              0.66705,
              1.15182
            ],
            [
              0.18887,
              0.31743,
              0.44125,
              0.68568,
              1.17083
            ],
            [
              0.21692,
              0.34509,
              0.46914,
              0.71391,
              1.19986
            ],
            [
              0.26095,
              0.38819,
              0.51236,
              0.75735,
              1.24335
            ],
            [
              0.32504,
              0.45418,
              0.57795,
              0.82289,
              1.30899
            ],
            [
              0.40617,
              0.55572,
              0.67812,
              0.92132,
              1.40722
            ],
            [
              0.50867,
              0.69427,
              0.83047,
              1.07307,
              1.55757
            ],
            [
              0.6374,
              0.8694,
              1.0385,
              1.302,
              1.7846
            ]
          ]
        },
        "fall_transition,delay_template13x5": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00982,
            0.01963,
            0.03927,
            0.07855
          ],
          "values": [
            [
              0.04321,
              0.12487,
              0.20619,
              0.36864,
              0.69325
            ],
            [
              0.04318,
              0.12495,
              0.20621,
              0.36863,
              0.69295
            ],
            [
              0.04324,
              0.12499,
              0.20608,
              0.36867,
              0.6935
            ],
            [
              0.04327,
              0.12484,
              0.2061,
              0.36869,
              0.69336
            ],
            [
              0.0433,
              0.12505,
              0.20598,
              0.36829,
              0.6933
            ],
            [
              0.04351,
              0.12506,
              0.20609,
              0.36875,
              0.69364
            ],
            [
              0.04558,
              0.12511,
              0.20617,
              0.36833,
              0.69322
            ],
            [
              0.05144,
              0.12703,
              0.2064,
              0.36823,
              0.69316
            ],
            [
              0.05988,
              0.13417,
              0.21005,
              0.36837,
              0.6936
            ],
            [
              0.07384,
              0.15059,
              0.22149,
              0.37318,
              0.69322
            ],
            [
              0.09504,
              0.17659,
              0.24788,
              0.38961,
              0.6976
            ],
            [
              0.1262,
              0.2166,
              0.2903,
              0.4277,
              0.7168
            ],
            [
              0.1699,
              0.275,
              0.3544,
              0.4956,
              0.7675
            ]
          ]
        },
        "related_pin": "B2",
        "rise_transition,delay_template13x5": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00982,
            0.01963,
            0.03927,
            0.07855
          ],
          "values": [
            [
              0.12332,
              0.28851,
              0.45269,
              0.77923,
              1.43131
            ],
            [
              0.12344,
              0.28843,
              0.45262,
              0.77917,
              1.43116
            ],
            [
              0.12322,
              0.28858,
              0.45264,
              0.77906,
              1.43103
            ],
            [
              0.12329,
              0.28888,
              0.45263,
              0.77918,
              1.43114
            ],
            [
              0.1234,
              0.2888,
              0.45264,
              0.77913,
              1.43084
            ],
            [
              0.12329,
              0.28878,
              0.4526,
              0.77924,
              1.4307
            ],
            [
              0.1233,
              0.28884,
              0.45261,
              0.77916,
              1.43123
            ],
            [
              0.12314,
              0.28869,
              0.45225,
              0.77928,
              1.43128
            ],
            [
              0.13154,
              0.28844,
              0.45206,
              0.77934,
              1.43063
            ],
            [
              0.15434,
              0.29568,
              0.45255,
              0.77837,
              1.4315
            ],
            [
              0.18897,
              0.32271,
              0.4646,
              0.7792,
              1.4304
            ],
            [
              0.2356,
              0.3831,
              0.5078,
              0.7935,
              1.4313
            ],
            [
              0.2995,
              0.4746,
              0.6002,
              0.8512,
              1.4402
            ]
          ]
        },
        "sdf_cond": "(A1&A2&!B1&C1)",
        "timing_sense": "negative_unate",
        "when": "(A1&A2&!B1&C1)"
      },
      {
        "cell_fall,delay_template13x5": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00982,
            0.01963,
            0.03927,
            0.07855
          ],
          "values": [
            [
              0.05204,
              0.12521,
              0.19677,
              0.33907,
              0.62333
            ],
            [
              0.05386,
              0.12757,
              0.19927,
              0.34144,
              0.62558
            ],
            [
              0.0563,
              0.13058,
              0.20246,
              0.34473,
              0.62904
            ],
            [
              0.06041,
              0.13517,
              0.20727,
              0.35012,
              0.63392
            ],
            [
              0.06727,
              0.14216,
              0.21464,
              0.35726,
              0.64165
            ],
            [
              0.07869,
              0.15302,
              0.22582,
              0.36866,
              0.65386
            ],
            [
              0.09545,
              0.16956,
              0.2427,
              0.38605,
              0.67147
            ],
            [
              0.11568,
              0.19518,
              0.2682,
              0.41194,
              0.69701
            ],
            [
              0.13988,
              0.23501,
              0.30696,
              0.45122,
              0.73635
            ],
            [
              0.16828,
              0.28652,
              0.36682,
              0.50987,
              0.79639
            ],
            [
              0.2009,
              0.34874,
              0.44772,
              0.59962,
              0.88492
            ],
            [
              0.23727,
              0.42327,
              0.54597,
              0.73017,
              1.01917
            ],
            [
              0.2762,
              0.5105,
              0.6642,
              0.8921,
              1.224
            ]
          ]
        },
        "cell_rise,delay_template13x5": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00982,
            0.01963,
            0.03927,
            0.07855
          ],
          "values": [
            [
              0.04205,
              0.09513,
              0.14627,
              0.24787,
              0.4506
            ],
            [
              0.04498,
              0.09863,
              0.14972,
              0.25136,
              0.45464
            ],
            [
              0.04866,
              0.1027,
              0.15407,
              0.25599,
              0.45916
            ],
            [
              0.05456,
              0.1088,
              0.16034,
              0.2621,
              0.46564
            ],
            [
              0.0637,
              0.11795,
              0.16973,
              0.27164,
              0.47534
            ],
            [
              0.07781,
              0.1319,
              0.1839,
              0.28609,
              0.49024
            ],
            [
              0.097,
              0.15294,
              0.20505,
              0.30756,
              0.51104
            ],
            [
              0.12083,
              0.18525,
              0.23715,
              0.33968,
              0.54379
            ],
            [
              0.15054,
              0.23272,
              0.28557,
              0.38824,
              0.59195
            ],
            [
              0.18746,
              0.2937,
              0.35827,
              0.46174,
              0.66499
            ],
            [
              0.23297,
              0.37051,
              0.45422,
              0.57212,
              0.77572
            ],
            [
              0.28867,
              0.46697,
              0.57527,
              0.72627,
              0.94147
            ],
            [
              0.357,
              0.5873,
              0.7275,
              0.9236,
              1.189
            ]
          ]
        },
        "fall_transition,delay_template13x5": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00982,
            0.01963,
            0.03927,
            0.07855
          ],
          "values": [
            [
              0.05113,
              0.14763,
              0.24249,
              0.43184,
              0.81
            ],
            [
              0.05093,
              0.14768,
              0.24246,
              0.43129,
              0.8093
            ],
            [
              0.0506,
              0.1476,
              0.24245,
              0.43131,
              0.80953
            ],
            [
              0.05001,
              0.14752,
              0.24248,
              0.43186,
              0.80926
            ],
            [
              0.04882,
              0.14745,
              0.24224,
              0.43131,
              0.80933
            ],
            [
              0.04978,
              0.14698,
              0.24243,
              0.43154,
              0.81021
            ],
            [
              0.05557,
              0.1459,
              0.24231,
              0.43166,
              0.81023
            ],
            [
              0.0662,
              0.14868,
              0.24114,
              0.43164,
              0.80914
            ],
            [
              0.08047,
              0.16121,
              0.24537,
              0.43152,
              0.80928
            ],
            [
              0.10148,
              0.18915,
              0.26334,
              0.43444,
              0.80981
            ],
            [
              0.13054,
              0.22978,
              0.30427,
              0.4566,
              0.8098
            ],
            [
              0.1694,
              0.286,
              0.3697,
              0.5125,
              0.8321
            ],
            [
              0.2205,
              0.3625,
              0.4587,
              0.6142,
              0.9005
            ]
          ]
        },
        "related_pin": "C1",
        "rise_transition,delay_template13x5": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00982,
            0.01963,
            0.03927,
            0.07855
          ],
          "values": [
            [
              0.03388,
              0.10465,
              0.17549,
              0.31762,
              0.60207
            ],
            [
              0.03381,
              0.10476,
              0.17578,
              0.31772,
              0.60169
            ],
            [
              0.03381,
              0.10475,
              0.17574,
              0.3176,
              0.60232
            ],
            [
              0.03387,
              0.10476,
              0.17559,
              0.3175,
              0.60101
            ],
            [
              0.03394,
              0.10463,
              0.17572,
              0.31753,
              0.60206
            ],
            [
              0.0372,
              0.10471,
              0.17573,
              0.3179,
              0.60116
            ],
            [
              0.04594,
              0.1052,
              0.17578,
              0.31778,
              0.60188
            ],
            [
              0.06012,
              0.11084,
              0.17615,
              0.31755,
              0.60212
            ],
            [
              0.07846,
              0.12726,
              0.18394,
              0.31742,
              0.60197
            ],
            [
              0.10318,
              0.16101,
              0.20707,
              0.3254,
              0.60154
            ],
            [
              0.13649,
              0.20822,
              0.25523,
              0.3541,
              0.6061
            ],
            [
              0.1805,
              0.2718,
              0.3292,
              0.4195,
              0.6371
            ],
            [
              0.2374,
              0.3555,
              0.4276,
              0.5345,
              0.7169
            ]
          ]
        },
        "sdf_cond": "(!A1&A2&!B1&B2)",
        "timing_sense": "negative_unate",
        "when": "(!A1&A2&!B1&B2)"
      },
      {
        "cell_fall,delay_template13x5": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00982,
            0.01963,
            0.03927,
            0.07855
          ],
          "values": [
            [
              0.07585,
              0.1505,
              0.22105,
              0.36008,
              0.63613
            ],
            [
              0.07804,
              0.15297,
              0.22364,
              0.36279,
              0.63889
            ],
            [
              0.08087,
              0.15604,
              0.2268,
              0.36608,
              0.64225
            ],
            [
              0.08529,
              0.16073,
              0.23165,
              0.37113,
              0.64738
            ],
            [
              0.09232,
              0.16806,
              0.23918,
              0.37874,
              0.65512
            ],
            [
              0.10321,
              0.17918,
              0.25039,
              0.39021,
              0.66683
            ],
            [
              0.12063,
              0.19608,
              0.26756,
              0.40756,
              0.68425
            ],
            [
              0.14808,
              0.22186,
              0.29336,
              0.43358,
              0.71056
            ],
            [
              0.18172,
              0.26145,
              0.3325,
              0.47287,
              0.75012
            ],
            [
              0.22219,
              0.31953,
              0.39201,
              0.53223,
              0.80949
            ],
            [
              0.27054,
              0.39072,
              0.47822,
              0.62202,
              0.89922
            ],
            [
              0.32717,
              0.47647,
              0.58557,
              0.75517,
              1.03387
            ],
            [
              0.3919,
              0.5785,
              0.7142,
              0.9244,
              1.2393
            ]
          ]
        },
        "cell_rise,delay_template13x5": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00982,
            0.01963,
            0.03927,
            0.07855
          ],
          "values": [
            [
              0.04257,
              0.09579,
              0.14684,
              0.24842,
              0.45129
            ],
            [
              0.04547,
              0.09923,
              0.15041,
              0.2521,
              0.45493
            ],
            [
              0.04918,
              0.10323,
              0.15465,
              0.25643,
              0.45936
            ],
            [
              0.05504,
              0.10933,
              0.16085,
              0.26256,
              0.46555
            ],
            [
              0.06419,
              0.11856,
              0.17026,
              0.27211,
              0.47522
            ],
            [
              0.07831,
              0.13247,
              0.18438,
              0.28673,
              0.48999
            ],
            [
              0.09774,
              0.15353,
              0.20552,
              0.30811,
              0.51126
            ],
            [
              0.12184,
              0.18585,
              0.23767,
              0.34034,
              0.5437
            ],
            [
              0.15197,
              0.23343,
              0.28613,
              0.38891,
              0.59248
            ],
            [
              0.18944,
              0.29464,
              0.35893,
              0.46229,
              0.66549
            ],
            [
              0.23568,
              0.37181,
              0.45522,
              0.57282,
              0.77622
            ],
            [
              0.29247,
              0.46877,
              0.57657,
              0.72777,
              0.94227
            ],
            [
              0.3619,
              0.5896,
              0.7291,
              0.9248,
              1.1899
            ]
          ]
        },
        "fall_transition,delay_template13x5": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00982,
            0.01963,
            0.03927,
            0.07855
          ],
          "values": [
            [
              0.07246,
              0.16364,
              0.25461,
              0.43775,
              0.80362
            ],
            [
              0.07239,
              0.16369,
              0.2549,
              0.4377,
              0.80352
            ],
            [
              0.07239,
              0.1637,
              0.25497,
              0.4379,
              0.80364
            ],
            [
              0.07229,
              0.1637,
              0.25469,
              0.4379,
              0.80375
            ],
            [
              0.07166,
              0.16373,
              0.25495,
              0.43788,
              0.80362
            ],
            [
              0.06939,
              0.16367,
              0.25464,
              0.43792,
              0.80405
            ],
            [
              0.0701,
              0.16298,
              0.25497,
              0.43792,
              0.80394
            ],
            [
              0.07668,
              0.1622,
              0.25447,
              0.43785,
              0.80376
            ],
            [
              0.08993,
              0.16993,
              0.25534,
              0.43729,
              0.8037
            ],
            [
              0.10878,
              0.1922,
              0.26883,
              0.43893,
              0.80345
            ],
            [
              0.13589,
              0.23102,
              0.30495,
              0.45701,
              0.8041
            ],
            [
              0.1732,
              0.2849,
              0.3668,
              0.5085,
              0.8227
            ],
            [
              0.223,
              0.3587,
              0.4535,
              0.6066,
              0.8882
            ]
          ]
        },
        "related_pin": "C1",
        "rise_transition,delay_template13x5": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00982,
            0.01963,
            0.03927,
            0.07855
          ],
          "values": [
            [
              0.04199,
              0.1176,
              0.19282,
              0.34049,
              0.62712
            ],
            [
              0.04199,
              0.11761,
              0.19285,
              0.34051,
              0.62697
            ],
            [
              0.04199,
              0.11759,
              0.19278,
              0.34047,
              0.62697
            ],
            [
              0.04199,
              0.1176,
              0.19271,
              0.34048,
              0.62681
            ],
            [
              0.0421,
              0.11759,
              0.19282,
              0.34049,
              0.6268
            ],
            [
              0.04543,
              0.11758,
              0.19272,
              0.34053,
              0.62684
            ],
            [
              0.05413,
              0.11799,
              0.19276,
              0.34049,
              0.62699
            ],
            [
              0.07153,
              0.12392,
              0.19322,
              0.34051,
              0.62684
            ],
            [
              0.09438,
              0.14048,
              0.2013,
              0.34055,
              0.62701
            ],
            [
              0.12701,
              0.17482,
              0.22458,
              0.34843,
              0.62711
            ],
            [
              0.17417,
              0.22883,
              0.27279,
              0.37734,
              0.6314
            ],
            [
              0.2415,
              0.3019,
              0.3539,
              0.4424,
              0.6624
            ],
            [
              0.3286,
              0.4009,
              0.4627,
              0.5609,
              0.7434
            ]
          ]
        },
        "sdf_cond": "(!A1&A2&B1&!B2)",
        "timing_sense": "negative_unate",
        "when": "(!A1&A2&B1&!B2)"
      },
      {
        "cell_fall,delay_template13x5": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00982,
            0.01963,
            0.03927,
            0.07855
          ],
          "values": [
            [
              0.04342,
              0.10392,
              0.16334,
              0.28156,
              0.51745
            ],
            [
              0.0456,
              0.10645,
              0.16611,
              0.28432,
              0.52026
            ],
            [
              0.04843,
              0.10969,
              0.16929,
              0.28766,
              0.52332
            ],
            [
              0.05306,
              0.11449,
              0.1745,
              0.29304,
              0.5289
            ],
            [
              0.06066,
              0.12204,
              0.18199,
              0.30072,
              0.5367
            ],
            [
              0.07296,
              0.13343,
              0.19381,
              0.31255,
              0.54872
            ],
            [
              0.08885,
              0.15087,
              0.21141,
              0.33066,
              0.56718
            ],
            [
              0.10812,
              0.178,
              0.23798,
              0.35762,
              0.59396
            ],
            [
              0.13123,
              0.21798,
              0.27853,
              0.39776,
              0.63467
            ],
            [
              0.15833,
              0.26716,
              0.33961,
              0.45902,
              0.69649
            ],
            [
              0.18944,
              0.3265,
              0.41717,
              0.55222,
              0.78862
            ],
            [
              0.22407,
              0.39757,
              0.51087,
              0.67857,
              0.92727
            ],
            [
              0.261,
              0.4809,
              0.6235,
              0.8331,
              1.134
            ]
          ]
        },
        "cell_rise,delay_template13x5": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00982,
            0.01963,
            0.03927,
            0.07855
          ],
          "values": [
            [
              0.04189,
              0.09516,
              0.14605,
              0.24788,
              0.45053
            ],
            [
              0.04479,
              0.0984,
              0.14946,
              0.25164,
              0.45451
            ],
            [
              0.04845,
              0.10244,
              0.15396,
              0.25589,
              0.45964
            ],
            [
              0.0543,
              0.10849,
              0.16012,
              0.26166,
              0.46552
            ],
            [
              0.06345,
              0.11761,
              0.1692,
              0.27115,
              0.47546
            ],
            [
              0.0776,
              0.13161,
              0.18357,
              0.28584,
              0.48979
            ],
            [
              0.09677,
              0.15276,
              0.20472,
              0.30719,
              0.51072
            ],
            [
              0.12058,
              0.18495,
              0.2367,
              0.33941,
              0.54364
            ],
            [
              0.15025,
              0.23239,
              0.28504,
              0.38803,
              0.59174
            ],
            [
              0.18721,
              0.29328,
              0.35802,
              0.46143,
              0.66519
            ],
            [
              0.23283,
              0.37042,
              0.45402,
              0.57192,
              0.77552
            ],
            [
              0.28867,
              0.46687,
              0.57487,
              0.72647,
              0.94137
            ],
            [
              0.357,
              0.5871,
              0.7273,
              0.9231,
              1.1889
            ]
          ]
        },
        "fall_transition,delay_template13x5": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00982,
            0.01963,
            0.03927,
            0.07855
          ],
          "values": [
            [
              0.04103,
              0.12274,
              0.20184,
              0.36013,
              0.67515
            ],
            [
              0.04074,
              0.12266,
              0.20214,
              0.36013,
              0.67501
            ],
            [
              0.04033,
              0.12247,
              0.20222,
              0.36024,
              0.67531
            ],
            [
              0.03965,
              0.12237,
              0.20209,
              0.36005,
              0.67477
            ],
            [
              0.03894,
              0.12219,
              0.20223,
              0.3603,
              0.67546
            ],
            [
              0.04128,
              0.12138,
              0.20189,
              0.35959,
              0.67518
            ],
            [
              0.04866,
              0.12093,
              0.20124,
              0.35994,
              0.67476
            ],
            [
              0.059,
              0.12614,
              0.20073,
              0.35992,
              0.6753
            ],
            [
              0.07378,
              0.14142,
              0.20837,
              0.35902,
              0.67526
            ],
            [
              0.09461,
              0.17028,
              0.23053,
              0.36679,
              0.67549
            ],
            [
              0.12296,
              0.21055,
              0.27474,
              0.39548,
              0.6789
            ],
            [
              0.16073,
              0.266,
              0.3387,
              0.4585,
              0.7111
            ],
            [
              0.2107,
              0.3399,
              0.4256,
              0.5609,
              0.7922
            ]
          ]
        },
        "related_pin": "C1",
        "rise_transition,delay_template13x5": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00982,
            0.01963,
            0.03927,
            0.07855
          ],
          "values": [
            [
              0.03382,
              0.1049,
              0.17592,
              0.31778,
              0.60225
            ],
            [
              0.03384,
              0.10481,
              0.17583,
              0.3179,
              0.60259
            ],
            [
              0.03386,
              0.10482,
              0.17587,
              0.31771,
              0.60171
            ],
            [
              0.03386,
              0.10474,
              0.17572,
              0.31789,
              0.60218
            ],
            [
              0.03399,
              0.10471,
              0.17575,
              0.31792,
              0.60145
            ],
            [
              0.03738,
              0.10486,
              0.17589,
              0.31816,
              0.60191
            ],
            [
              0.04621,
              0.10531,
              0.17591,
              0.31794,
              0.60205
            ],
            [
              0.0604,
              0.11114,
              0.17637,
              0.31775,
              0.60257
            ],
            [
              0.07874,
              0.12777,
              0.18454,
              0.3177,
              0.60246
            ],
            [
              0.10358,
              0.16139,
              0.20738,
              0.32576,
              0.602
            ],
            [
              0.13673,
              0.20837,
              0.25544,
              0.35447,
              0.6066
            ],
            [
              0.1805,
              0.2718,
              0.3299,
              0.4197,
              0.6376
            ],
            [
              0.2375,
              0.3559,
              0.4286,
              0.5353,
              0.7176
            ]
          ]
        },
        "sdf_cond": "(!A1&A2&B1&B2)",
        "timing_sense": "negative_unate",
        "when": "(!A1&A2&B1&B2)"
      },
      {
        "cell_fall,delay_template13x5": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00982,
            0.01963,
            0.03927,
            0.07855
          ],
          "values": [
            [
              0.07743,
              0.15354,
              0.22545,
              0.36717,
              0.64859
            ],
            [
              0.0796,
              0.15599,
              0.22803,
              0.36988,
              0.65135
            ],
            [
              0.0824,
              0.15903,
              0.23118,
              0.37316,
              0.6547
            ],
            [
              0.08682,
              0.16371,
              0.23602,
              0.37821,
              0.6598
            ],
            [
              0.0938,
              0.17101,
              0.24351,
              0.38577,
              0.66755
            ],
            [
              0.10466,
              0.18209,
              0.2547,
              0.39724,
              0.67921
            ],
            [
              0.12192,
              0.19896,
              0.27182,
              0.41455,
              0.69663
            ],
            [
              0.1495,
              0.22468,
              0.29757,
              0.44053,
              0.7229
            ],
            [
              0.18349,
              0.26413,
              0.33663,
              0.47975,
              0.76235
            ],
            [
              0.22434,
              0.32253,
              0.39598,
              0.53901,
              0.82169
            ],
            [
              0.2732,
              0.39433,
              0.48272,
              0.62862,
              0.91122
            ],
            [
              0.33037,
              0.48077,
              0.59087,
              0.76207,
              1.04567
            ],
            [
              0.3958,
              0.5837,
              0.7205,
              0.9327,
              1.2509
            ]
          ]
        },
        "cell_rise,delay_template13x5": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00982,
            0.01963,
            0.03927,
            0.07855
          ],
          "values": [
            [
              0.04253,
              0.09573,
              0.14675,
              0.24824,
              0.45091
            ],
            [
              0.04545,
              0.09918,
              0.15031,
              0.25194,
              0.45459
            ],
            [
              0.04915,
              0.10318,
              0.15457,
              0.25629,
              0.45907
            ],
            [
              0.05502,
              0.10928,
              0.16079,
              0.26239,
              0.46525
            ],
            [
              0.06418,
              0.11853,
              0.17021,
              0.27195,
              0.47492
            ],
            [
              0.0783,
              0.13246,
              0.18434,
              0.28661,
              0.4897
            ],
            [
              0.09773,
              0.15352,
              0.20547,
              0.30801,
              0.51105
            ],
            [
              0.12185,
              0.18584,
              0.23764,
              0.34023,
              0.54346
            ],
            [
              0.15199,
              0.23343,
              0.28612,
              0.38883,
              0.59223
            ],
            [
              0.18948,
              0.29465,
              0.35894,
              0.46219,
              0.66529
            ],
            [
              0.23574,
              0.37183,
              0.45522,
              0.57272,
              0.77602
            ],
            [
              0.29247,
              0.46877,
              0.57647,
              0.72707,
              0.94207
            ],
            [
              0.362,
              0.5896,
              0.7291,
              0.9247,
              1.1897
            ]
          ]
        },
        "fall_transition,delay_template13x5": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00982,
            0.01963,
            0.03927,
            0.07855
          ],
          "values": [
            [
              0.07473,
              0.16757,
              0.26022,
              0.44677,
              0.81981
            ],
            [
              0.07477,
              0.16759,
              0.26059,
              0.4468,
              0.81956
            ],
            [
              0.07479,
              0.16752,
              0.26061,
              0.44703,
              0.81995
            ],
            [
              0.07469,
              0.16732,
              0.26037,
              0.44695,
              0.81997
            ],
            [
              0.07392,
              0.16736,
              0.26027,
              0.44708,
              0.81998
            ],
            [
              0.07165,
              0.16756,
              0.26048,
              0.44702,
              0.8203
            ],
            [
              0.07221,
              0.16698,
              0.2605,
              0.44709,
              0.82019
            ],
            [
              0.07853,
              0.16618,
              0.25997,
              0.44711,
              0.82006
            ],
            [
              0.0919,
              0.17311,
              0.26075,
              0.44696,
              0.82017
            ],
            [
              0.11083,
              0.19525,
              0.27376,
              0.44761,
              0.8194
            ],
            [
              0.13813,
              0.23419,
              0.30918,
              0.46539,
              0.8202
            ],
            [
              0.1757,
              0.2884,
              0.3715,
              0.5162,
              0.8386
            ],
            [
              0.226,
              0.3625,
              0.4584,
              0.6137,
              0.9015
            ]
          ]
        },
        "related_pin": "C1",
        "rise_transition,delay_template13x5": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00982,
            0.01963,
            0.03927,
            0.07855
          ],
          "values": [
            [
              0.04195,
              0.11775,
              0.19312,
              0.34074,
              0.62678
            ],
            [
              0.04195,
              0.11777,
              0.19312,
              0.34074,
              0.62666
            ],
            [
              0.04195,
              0.11776,
              0.19309,
              0.34067,
              0.62666
            ],
            [
              0.04195,
              0.11777,
              0.19305,
              0.34069,
              0.62667
            ],
            [
              0.04206,
              0.11779,
              0.19308,
              0.34067,
              0.62662
            ],
            [
              0.04538,
              0.11776,
              0.19304,
              0.34071,
              0.62665
            ],
            [
              0.05407,
              0.11813,
              0.19306,
              0.3407,
              0.62667
            ],
            [
              0.07151,
              0.12409,
              0.19354,
              0.34073,
              0.62673
            ],
            [
              0.09451,
              0.14062,
              0.2016,
              0.34075,
              0.62679
            ],
            [
              0.1274,
              0.175,
              0.22485,
              0.34863,
              0.62677
            ],
            [
              0.17516,
              0.22917,
              0.27315,
              0.37764,
              0.6311
            ],
            [
              0.2429,
              0.3027,
              0.3544,
              0.4433,
              0.6623
            ],
            [
              0.3296,
              0.4018,
              0.4631,
              0.561,
              0.7433
            ]
          ]
        },
        "sdf_cond": "(A1&!A2&!B1&B2)",
        "timing_sense": "negative_unate",
        "when": "(A1&!A2&!B1&B2)"
      },
      {
        "cell_fall,delay_template13x5": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00982,
            0.01963,
            0.03927,
            0.07855
          ],
          "values": [
            [
              0.10233,
              0.17651,
              0.24629,
              0.38297,
              0.65318
            ],
            [
              0.1047,
              0.17902,
              0.24888,
              0.38567,
              0.65596
            ],
            [
              0.10767,
              0.18213,
              0.25206,
              0.38899,
              0.65932
            ],
            [
              0.11241,
              0.18693,
              0.25706,
              0.39405,
              0.66443
            ],
            [
              0.11969,
              0.19441,
              0.26456,
              0.40171,
              0.67225
            ],
            [
              0.13094,
              0.20569,
              0.27593,
              0.41327,
              0.68394
            ],
            [
              0.14782,
              0.22286,
              0.29324,
              0.43061,
              0.70147
            ],
            [
              0.17427,
              0.24871,
              0.31904,
              0.45688,
              0.72785
            ],
            [
              0.21462,
              0.28806,
              0.3586,
              0.49629,
              0.76745
            ],
            [
              0.26396,
              0.34872,
              0.41821,
              0.55575,
              0.82699
            ],
            [
              0.32335,
              0.42759,
              0.50812,
              0.64582,
              0.91692
            ],
            [
              0.39487,
              0.52327,
              0.62217,
              0.78107,
              1.05187
            ],
            [
              0.4785,
              0.6383,
              0.7609,
              0.9568,
              1.2576
            ]
          ]
        },
        "cell_rise,delay_template13x5": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00982,
            0.01963,
            0.03927,
            0.07855
          ],
          "values": [
            [
              0.04308,
              0.0964,
              0.14748,
              0.24907,
              0.45195
            ],
            [
              0.04598,
              0.09977,
              0.15104,
              0.25279,
              0.45561
            ],
            [
              0.04969,
              0.10385,
              0.15528,
              0.25712,
              0.46008
            ],
            [
              0.05555,
              0.10992,
              0.16151,
              0.2632,
              0.46625
            ],
            [
              0.06469,
              0.11914,
              0.17088,
              0.27275,
              0.4759
            ],
            [
              0.07881,
              0.13305,
              0.18499,
              0.28735,
              0.49066
            ],
            [
              0.09846,
              0.15409,
              0.20615,
              0.30873,
              0.51192
            ],
            [
              0.12283,
              0.1864,
              0.23827,
              0.34095,
              0.54438
            ],
            [
              0.1534,
              0.23409,
              0.28672,
              0.38951,
              0.59312
            ],
            [
              0.19142,
              0.29555,
              0.35954,
              0.46288,
              0.66609
            ],
            [
              0.2384,
              0.37308,
              0.45612,
              0.57342,
              0.77682
            ],
            [
              0.29617,
              0.47047,
              0.57777,
              0.72847,
              0.94287
            ],
            [
              0.3669,
              0.5918,
              0.7307,
              0.9258,
              1.1906
            ]
          ]
        },
        "fall_transition,delay_template13x5": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00982,
            0.01963,
            0.03927,
            0.07855
          ],
          "values": [
            [
              0.08892,
              0.179,
              0.26821,
              0.44679,
              0.80362
            ],
            [
              0.08884,
              0.17905,
              0.26825,
              0.44666,
              0.80362
            ],
            [
              0.08897,
              0.17899,
              0.26826,
              0.44671,
              0.80383
            ],
            [
              0.08901,
              0.17898,
              0.26813,
              0.44647,
              0.80368
            ],
            [
              0.08914,
              0.17907,
              0.26816,
              0.44654,
              0.80369
            ],
            [
              0.08879,
              0.17887,
              0.26826,
              0.44676,
              0.80392
            ],
            [
              0.08639,
              0.17891,
              0.2682,
              0.4465,
              0.80389
            ],
            [
              0.08842,
              0.17731,
              0.26815,
              0.44652,
              0.80373
            ],
            [
              0.09966,
              0.18109,
              0.26712,
              0.44674,
              0.80377
            ],
            [
              0.11757,
              0.19809,
              0.27653,
              0.44661,
              0.80347
            ],
            [
              0.14428,
              0.23512,
              0.3075,
              0.46169,
              0.8035
            ],
            [
              0.1812,
              0.2872,
              0.3674,
              0.5082,
              0.8204
            ],
            [
              0.2316,
              0.3594,
              0.4519,
              0.6025,
              0.8818
            ]
          ]
        },
        "related_pin": "C1",
        "rise_transition,delay_template13x5": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00982,
            0.01963,
            0.03927,
            0.07855
          ],
          "values": [
            [
              0.05659,
              0.13973,
              0.21927,
              0.36849,
              0.65481
            ],
            [
              0.0566,
              0.13976,
              0.2193,
              0.36854,
              0.65485
            ],
            [
              0.0566,
              0.13971,
              0.21928,
              0.36848,
              0.65476
            ],
            [
              0.05659,
              0.13968,
              0.21922,
              0.36845,
              0.65455
            ],
            [
              0.05672,
              0.13973,
              0.21928,
              0.36848,
              0.65471
            ],
            [
              0.06004,
              0.13976,
              0.21925,
              0.3685,
              0.6546
            ],
            [
              0.06871,
              0.14016,
              0.21925,
              0.36847,
              0.65487
            ],
            [
              0.08724,
              0.14615,
              0.21974,
              0.3685,
              0.65478
            ],
            [
              0.12271,
              0.16264,
              0.22784,
              0.36853,
              0.65497
            ],
            [
              0.17087,
              0.19708,
              0.25114,
              0.37651,
              0.65508
            ],
            [
              0.2325,
              0.26056,
              0.29926,
              0.40543,
              0.6591
            ],
            [
              0.3101,
              0.3446,
              0.386,
              0.4706,
              0.6904
            ],
            [
              0.4108,
              0.454,
              0.5031,
              0.5908,
              0.7713
            ]
          ]
        },
        "sdf_cond": "(A1&!A2&B1&!B2)",
        "timing_sense": "negative_unate",
        "when": "(A1&!A2&B1&!B2)"
      },
      {
        "cell_fall,delay_template13x5": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00982,
            0.01963,
            0.03927,
            0.07855
          ],
          "values": [
            [
              0.06256,
              0.12583,
              0.1852,
              0.30203,
              0.53368
            ],
            [
              0.065,
              0.12847,
              0.18794,
              0.30482,
              0.53654
            ],
            [
              0.06802,
              0.13171,
              0.19128,
              0.3083,
              0.54009
            ],
            [
              0.07284,
              0.1367,
              0.1964,
              0.3136,
              0.54544
            ],
            [
              0.08027,
              0.14441,
              0.20428,
              0.32151,
              0.55351
            ],
            [
              0.09207,
              0.15604,
              0.21599,
              0.33343,
              0.56561
            ],
            [
              0.11137,
              0.17364,
              0.23382,
              0.35145,
              0.5837
            ],
            [
              0.13792,
              0.20056,
              0.26067,
              0.37834,
              0.61081
            ],
            [
              0.17017,
              0.24246,
              0.3011,
              0.41905,
              0.6517
            ],
            [
              0.20894,
              0.29838,
              0.36352,
              0.48041,
              0.71299
            ],
            [
              0.25546,
              0.36662,
              0.44682,
              0.57332,
              0.80572
            ],
            [
              0.30967,
              0.44907,
              0.54957,
              0.70487,
              0.94467
            ],
            [
              0.3719,
              0.5467,
              0.6727,
              0.8666,
              1.1534
            ]
          ]
        },
        "cell_rise,delay_template13x5": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00982,
            0.01963,
            0.03927,
            0.07855
          ],
          "values": [
            [
              0.04237,
              0.09561,
              0.14664,
              0.24822,
              0.45106
            ],
            [
              0.04524,
              0.09894,
              0.15007,
              0.25191,
              0.45463
            ],
            [
              0.04892,
              0.10293,
              0.15434,
              0.25617,
              0.45913
            ],
            [
              0.05476,
              0.10898,
              0.16057,
              0.26217,
              0.46522
            ],
            [
              0.06392,
              0.11817,
              0.16979,
              0.27166,
              0.47482
            ],
            [
              0.07808,
              0.13206,
              0.18397,
              0.28612,
              0.48959
            ],
            [
              0.09749,
              0.15332,
              0.20511,
              0.30768,
              0.51085
            ],
            [
              0.1216,
              0.18551,
              0.2372,
              0.33988,
              0.54328
            ],
            [
              0.15169,
              0.23306,
              0.28558,
              0.38845,
              0.592
            ],
            [
              0.18927,
              0.29412,
              0.35865,
              0.46185,
              0.66549
            ],
            [
              0.23558,
              0.37169,
              0.45492,
              0.57252,
              0.77582
            ],
            [
              0.29247,
              0.46867,
              0.57637,
              0.72737,
              0.94197
            ],
            [
              0.362,
              0.5895,
              0.729,
              0.9242,
              1.1896
            ]
          ]
        },
        "fall_transition,delay_template13x5": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00982,
            0.01963,
            0.03927,
            0.07855
          ],
          "values": [
            [
              0.06141,
              0.13844,
              0.21532,
              0.36934,
              0.67756
            ],
            [
              0.06146,
              0.13844,
              0.21514,
              0.3692,
              0.67712
            ],
            [
              0.06122,
              0.13854,
              0.21548,
              0.36937,
              0.67739
            ],
            [
              0.06078,
              0.13854,
              0.21511,
              0.36938,
              0.67751
            ],
            [
              0.05929,
              0.13834,
              0.21544,
              0.36952,
              0.67724
            ],
            [
              0.05787,
              0.13811,
              0.21519,
              0.36938,
              0.67712
            ],
            [
              0.06002,
              0.13641,
              0.21506,
              0.36943,
              0.67714
            ],
            [
              0.06887,
              0.13803,
              0.21372,
              0.36922,
              0.67716
            ],
            [
              0.08203,
              0.14842,
              0.21783,
              0.36876,
              0.67739
            ],
            [
              0.10138,
              0.17387,
              0.23547,
              0.37364,
              0.67724
            ],
            [
              0.12809,
              0.21223,
              0.27582,
              0.39828,
              0.6802
            ],
            [
              0.1646,
              0.2653,
              0.3375,
              0.4565,
              0.7098
            ],
            [
              0.2132,
              0.3373,
              0.4223,
              0.5565,
              0.7871
            ]
          ]
        },
        "related_pin": "C1",
        "rise_transition,delay_template13x5": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00982,
            0.01963,
            0.03927,
            0.07855
          ],
          "values": [
            [
              0.04199,
              0.11783,
              0.19327,
              0.34094,
              0.62737
            ],
            [
              0.04199,
              0.11785,
              0.19326,
              0.3409,
              0.62731
            ],
            [
              0.04199,
              0.11784,
              0.19322,
              0.34091,
              0.62704
            ],
            [
              0.04199,
              0.11788,
              0.1932,
              0.341,
              0.62701
            ],
            [
              0.04215,
              0.11788,
              0.19326,
              0.34101,
              0.62703
            ],
            [
              0.04555,
              0.11785,
              0.19319,
              0.34089,
              0.627
            ],
            [
              0.05436,
              0.11827,
              0.19321,
              0.34097,
              0.62709
            ],
            [
              0.07187,
              0.12438,
              0.19374,
              0.34097,
              0.6272
            ],
            [
              0.09495,
              0.14104,
              0.20209,
              0.34101,
              0.62711
            ],
            [
              0.12777,
              0.17579,
              0.22528,
              0.34902,
              0.62726
            ],
            [
              0.17552,
              0.2296,
              0.27356,
              0.37811,
              0.6317
            ],
            [
              0.2431,
              0.303,
              0.3548,
              0.4434,
              0.6628
            ],
            [
              0.3297,
              0.4021,
              0.4637,
              0.562,
              0.7441
            ]
          ]
        },
        "sdf_cond": "(A1&!A2&B1&B2)",
        "timing_sense": "negative_unate",
        "when": "(A1&!A2&B1&B2)"
      },
      {
        "cell_fall,delay_template13x5": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00982,
            0.01963,
            0.03927,
            0.07855
          ],
          "values": [
            [
              0.04801,
              0.11081,
              0.17192,
              0.29364,
              0.53696
            ],
            [
              0.05001,
              0.11329,
              0.17431,
              0.2961,
              0.53907
            ],
            [
              0.05264,
              0.1164,
              0.17762,
              0.29979,
              0.54252
            ],
            [
              0.05697,
              0.12112,
              0.1826,
              0.30479,
              0.54766
            ],
            [
              0.0641,
              0.12843,
              0.19013,
              0.31231,
              0.55558
            ],
            [
              0.07573,
              0.13962,
              0.20179,
              0.32399,
              0.56764
            ],
            [
              0.09173,
              0.15666,
              0.21895,
              0.3417,
              0.58572
            ],
            [
              0.11102,
              0.18324,
              0.24558,
              0.36837,
              0.61303
            ],
            [
              0.13414,
              0.22281,
              0.28558,
              0.40855,
              0.65341
            ],
            [
              0.16124,
              0.27205,
              0.34611,
              0.46943,
              0.71379
            ],
            [
              0.19237,
              0.33153,
              0.42377,
              0.56152,
              0.80592
            ],
            [
              0.22707,
              0.40287,
              0.51777,
              0.68817,
              0.94317
            ],
            [
              0.264,
              0.4864,
              0.6309,
              0.8433,
              1.1493
            ]
          ]
        },
        "cell_rise,delay_template13x5": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00982,
            0.01963,
            0.03927,
            0.07855
          ],
          "values": [
            [
              0.04203,
              0.09515,
              0.14632,
              0.24765,
              0.45154
            ],
            [
              0.04493,
              0.0986,
              0.14977,
              0.2516,
              0.45482
            ],
            [
              0.04862,
              0.10255,
              0.15401,
              0.2561,
              0.45951
            ],
            [
              0.05445,
              0.10869,
              0.16015,
              0.26219,
              0.46509
            ],
            [
              0.06355,
              0.11782,
              0.16961,
              0.27147,
              0.47441
            ],
            [
              0.07764,
              0.1317,
              0.1837,
              0.28578,
              0.48946
            ],
            [
              0.09679,
              0.15261,
              0.20481,
              0.30739,
              0.51043
            ],
            [
              0.12057,
              0.18495,
              0.23681,
              0.33934,
              0.54351
            ],
            [
              0.15029,
              0.23239,
              0.28517,
              0.38791,
              0.5916
            ],
            [
              0.18723,
              0.29331,
              0.3577,
              0.46136,
              0.66449
            ],
            [
              0.23277,
              0.37035,
              0.45392,
              0.57182,
              0.77522
            ],
            [
              0.28857,
              0.46677,
              0.57477,
              0.72627,
              0.94107
            ],
            [
              0.3569,
              0.5872,
              0.7272,
              0.923,
              1.1886
            ]
          ]
        },
        "fall_transition,delay_template13x5": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00982,
            0.01963,
            0.03927,
            0.07855
          ],
          "values": [
            [
              0.04281,
              0.12492,
              0.2062,
              0.36835,
              0.69281
            ],
            [
              0.04266,
              0.12494,
              0.20608,
              0.36851,
              0.69326
            ],
            [
              0.04254,
              0.12489,
              0.20595,
              0.36876,
              0.69331
            ],
            [
              0.04215,
              0.12474,
              0.20591,
              0.36833,
              0.69328
            ],
            [
              0.04148,
              0.12492,
              0.20605,
              0.36859,
              0.69328
            ],
            [
              0.04343,
              0.1246,
              0.20617,
              0.36856,
              0.6931
            ],
            [
              0.05031,
              0.1243,
              0.2059,
              0.36845,
              0.69299
            ],
            [
              0.06073,
              0.12913,
              0.20582,
              0.36856,
              0.69366
            ],
            [
              0.07524,
              0.14414,
              0.21284,
              0.36814,
              0.6936
            ],
            [
              0.09596,
              0.17307,
              0.23424,
              0.37526,
              0.69294
            ],
            [
              0.12434,
              0.21351,
              0.27876,
              0.4029,
              0.6969
            ],
            [
              0.16214,
              0.2691,
              0.343,
              0.4654,
              0.7274
            ],
            [
              0.2122,
              0.3435,
              0.4304,
              0.5682,
              0.8069
            ]
          ]
        },
        "related_pin": "C1",
        "rise_transition,delay_template13x5": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00982,
            0.01963,
            0.03927,
            0.07855
          ],
          "values": [
            [
              0.0338,
              0.10463,
              0.17575,
              0.31717,
              0.60107
            ],
            [
              0.03377,
              0.10471,
              0.17562,
              0.31774,
              0.60258
            ],
            [
              0.03382,
              0.10462,
              0.17563,
              0.3175,
              0.60117
            ],
            [
              0.03381,
              0.1047,
              0.17567,
              0.31758,
              0.60191
            ],
            [
              0.03394,
              0.10463,
              0.17573,
              0.31772,
              0.60186
            ],
            [
              0.03725,
              0.10475,
              0.17573,
              0.31769,
              0.60199
            ],
            [
              0.04614,
              0.10524,
              0.17572,
              0.31785,
              0.60187
            ],
            [
              0.06035,
              0.11101,
              0.1762,
              0.31754,
              0.6021
            ],
            [
              0.07869,
              0.12754,
              0.18419,
              0.31734,
              0.60202
            ],
            [
              0.10346,
              0.16121,
              0.20742,
              0.3255,
              0.60156
            ],
            [
              0.13657,
              0.2083,
              0.25548,
              0.35416,
              0.6062
            ],
            [
              0.1804,
              0.2716,
              0.3296,
              0.4195,
              0.6372
            ],
            [
              0.2375,
              0.3558,
              0.4286,
              0.5351,
              0.7172
            ]
          ]
        },
        "sdf_cond": "(A1&A2&!B1&B2)",
        "timing_sense": "negative_unate",
        "when": "(A1&A2&!B1&B2)"
      },
      {
        "cell_fall,delay_template13x5": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00982,
            0.01963,
            0.03927,
            0.07855
          ],
          "values": [
            [
              0.06647,
              0.12968,
              0.18917,
              0.30627,
              0.53849
            ],
            [
              0.06881,
              0.13225,
              0.19182,
              0.30899,
              0.54129
            ],
            [
              0.0718,
              0.13544,
              0.19511,
              0.31242,
              0.54471
            ],
            [
              0.07655,
              0.14034,
              0.20017,
              0.31759,
              0.54998
            ],
            [
              0.08387,
              0.14797,
              0.20793,
              0.32542,
              0.55797
            ],
            [
              0.0953,
              0.1595,
              0.21953,
              0.33726,
              0.56998
            ],
            [
              0.1138,
              0.17703,
              0.23728,
              0.35514,
              0.58791
            ],
            [
              0.14009,
              0.20378,
              0.26397,
              0.38195,
              0.61492
            ],
            [
              0.17202,
              0.24504,
              0.30436,
              0.42247,
              0.65567
            ],
            [
              0.21045,
              0.30055,
              0.36615,
              0.48366,
              0.71679
            ],
            [
              0.25643,
              0.36834,
              0.44882,
              0.57632,
              0.80922
            ],
            [
              0.31037,
              0.45037,
              0.55117,
              0.70707,
              0.94787
            ],
            [
              0.3721,
              0.5475,
              0.6738,
              0.8682,
              1.1558
            ]
          ]
        },
        "cell_rise,delay_template13x5": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00982,
            0.01963,
            0.03927,
            0.07855
          ],
          "values": [
            [
              0.04255,
              0.09576,
              0.1468,
              0.2484,
              0.45127
            ],
            [
              0.04543,
              0.09917,
              0.15032,
              0.25203,
              0.45484
            ],
            [
              0.0491,
              0.10316,
              0.15457,
              0.2564,
              0.45934
            ],
            [
              0.05491,
              0.10923,
              0.16079,
              0.26267,
              0.46538
            ],
            [
              0.06401,
              0.11839,
              0.17013,
              0.27211,
              0.47487
            ],
            [
              0.07813,
              0.13219,
              0.18414,
              0.28639,
              0.48932
            ],
            [
              0.09751,
              0.15337,
              0.20524,
              0.30783,
              0.51106
            ],
            [
              0.12158,
              0.18551,
              0.23728,
              0.33997,
              0.54337
            ],
            [
              0.1517,
              0.23306,
              0.28565,
              0.38849,
              0.59207
            ],
            [
              0.1892,
              0.29416,
              0.35865,
              0.46187,
              0.66499
            ],
            [
              0.23548,
              0.37162,
              0.45492,
              0.57252,
              0.77572
            ],
            [
              0.29227,
              0.46857,
              0.57627,
              0.72737,
              0.94187
            ],
            [
              0.3618,
              0.5894,
              0.7289,
              0.9242,
              1.1895
            ]
          ]
        },
        "fall_transition,delay_template13x5": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00982,
            0.01963,
            0.03927,
            0.07855
          ],
          "values": [
            [
              0.05988,
              0.13656,
              0.21323,
              0.36739,
              0.67658
            ],
            [
              0.0599,
              0.13657,
              0.2133,
              0.36738,
              0.6758
            ],
            [
              0.05992,
              0.13654,
              0.21338,
              0.3675,
              0.67577
            ],
            [
              0.05974,
              0.13658,
              0.21324,
              0.36727,
              0.67602
            ],
            [
              0.05907,
              0.13651,
              0.21345,
              0.36755,
              0.67664
            ],
            [
              0.05768,
              0.1363,
              0.21333,
              0.36739,
              0.67657
            ],
            [
              0.05983,
              0.13569,
              0.21326,
              0.3674,
              0.67625
            ],
            [
              0.06858,
              0.13708,
              0.21258,
              0.36728,
              0.67675
            ],
            [
              0.08178,
              0.14769,
              0.21678,
              0.3674,
              0.67659
            ],
            [
              0.10084,
              0.17333,
              0.23446,
              0.37229,
              0.67668
            ],
            [
              0.12742,
              0.21181,
              0.27525,
              0.3968,
              0.6797
            ],
            [
              0.1637,
              0.2647,
              0.3369,
              0.4556,
              0.7087
            ],
            [
              0.2118,
              0.3365,
              0.4217,
              0.5558,
              0.7861
            ]
          ]
        },
        "related_pin": "C1",
        "rise_transition,delay_template13x5": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00982,
            0.01963,
            0.03927,
            0.07855
          ],
          "values": [
            [
              0.04197,
              0.11758,
              0.19271,
              0.34051,
              0.62678
            ],
            [
              0.04197,
              0.11758,
              0.19279,
              0.34043,
              0.62669
            ],
            [
              0.04197,
              0.1176,
              0.1927,
              0.3404,
              0.62692
            ],
            [
              0.04198,
              0.11757,
              0.1928,
              0.34051,
              0.62705
            ],
            [
              0.04213,
              0.11758,
              0.19271,
              0.34055,
              0.62703
            ],
            [
              0.04553,
              0.11757,
              0.1927,
              0.34056,
              0.627
            ],
            [
              0.05434,
              0.118,
              0.19276,
              0.34046,
              0.62703
            ],
            [
              0.0718,
              0.12407,
              0.19325,
              0.3405,
              0.62687
            ],
            [
              0.09466,
              0.14078,
              0.20158,
              0.34054,
              0.62702
            ],
            [
              0.12729,
              0.17541,
              0.2248,
              0.34857,
              0.62728
            ],
            [
              0.1744,
              0.22903,
              0.27308,
              0.37763,
              0.6314
            ],
            [
              0.2415,
              0.3022,
              0.3541,
              0.4429,
              0.6626
            ],
            [
              0.3287,
              0.4011,
              0.4629,
              0.5616,
              0.7438
            ]
          ]
        },
        "sdf_cond": "(A1&A2&B1&!B2)",
        "timing_sense": "negative_unate",
        "when": "(A1&A2&B1&!B2)"
      },
      {
        "cell_fall,delay_template13x5": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00982,
            0.01963,
            0.03927,
            0.07855
          ],
          "values": [
            [
              0.03989,
              0.08987,
              0.13856,
              0.2356,
              0.42901
            ],
            [
              0.04221,
              0.09262,
              0.14141,
              0.23854,
              0.43227
            ],
            [
              0.04525,
              0.09596,
              0.14486,
              0.24185,
              0.43574
            ],
            [
              0.05004,
              0.10093,
              0.15007,
              0.24732,
              0.44129
            ],
            [
              0.05782,
              0.10876,
              0.15815,
              0.25562,
              0.44941
            ],
            [
              0.06989,
              0.12065,
              0.17016,
              0.26789,
              0.46215
            ],
            [
              0.08491,
              0.13878,
              0.1882,
              0.28636,
              0.48076
            ],
            [
              0.10314,
              0.16685,
              0.21602,
              0.31417,
              0.50824
            ],
            [
              0.12502,
              0.20495,
              0.25803,
              0.35612,
              0.55032
            ],
            [
              0.15072,
              0.2515,
              0.31773,
              0.41905,
              0.61368
            ],
            [
              0.18022,
              0.30786,
              0.39102,
              0.51372,
              0.70932
            ],
            [
              0.21307,
              0.37537,
              0.47997,
              0.63317,
              0.85317
            ],
            [
              0.2479,
              0.4548,
              0.5873,
              0.7801,
              1.0536
            ]
          ]
        },
        "cell_rise,delay_template13x5": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00982,
            0.01963,
            0.03927,
            0.07855
          ],
          "values": [
            [
              0.04188,
              0.09507,
              0.146,
              0.24804,
              0.45137
            ],
            [
              0.04469,
              0.09846,
              0.14961,
              0.25145,
              0.45435
            ],
            [
              0.04832,
              0.10238,
              0.1539,
              0.25595,
              0.45945
            ],
            [
              0.05419,
              0.10836,
              0.15979,
              0.26179,
              0.46552
            ],
            [
              0.06327,
              0.11746,
              0.16916,
              0.27151,
              0.47509
            ],
            [
              0.07741,
              0.1313,
              0.18328,
              0.28553,
              0.48879
            ],
            [
              0.09653,
              0.1524,
              0.20435,
              0.30684,
              0.51021
            ],
            [
              0.12025,
              0.1846,
              0.23624,
              0.339,
              0.54325
            ],
            [
              0.15005,
              0.23193,
              0.28493,
              0.38757,
              0.59123
            ],
            [
              0.187,
              0.29268,
              0.35771,
              0.46101,
              0.66459
            ],
            [
              0.23262,
              0.37008,
              0.45372,
              0.57162,
              0.77512
            ],
            [
              0.28857,
              0.46667,
              0.57487,
              0.72647,
              0.94097
            ],
            [
              0.3569,
              0.587,
              0.7271,
              0.9227,
              1.1885
            ]
          ]
        },
        "fall_transition,delay_template13x5": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00982,
            0.01963,
            0.03927,
            0.07855
          ],
          "values": [
            [
              0.03318,
              0.09932,
              0.16449,
              0.29483,
              0.55476
            ],
            [
              0.03305,
              0.09932,
              0.16462,
              0.29455,
              0.55447
            ],
            [
              0.03281,
              0.09931,
              0.16465,
              0.29473,
              0.5546
            ],
            [
              0.03246,
              0.09911,
              0.16445,
              0.295,
              0.55553
            ],
            [
              0.03254,
              0.09898,
              0.16462,
              0.295,
              0.55466
            ],
            [
              0.03581,
              0.09855,
              0.16452,
              0.29501,
              0.55435
            ],
            [
              0.04378,
              0.09971,
              0.16404,
              0.295,
              0.55424
            ],
            [
              0.05395,
              0.10711,
              0.16563,
              0.29462,
              0.55531
            ],
            [
              0.06856,
              0.12508,
              0.17631,
              0.29575,
              0.5553
            ],
            [
              0.08881,
              0.15415,
              0.20267,
              0.3086,
              0.55536
            ],
            [
              0.11619,
              0.19395,
              0.24851,
              0.34331,
              0.5665
            ],
            [
              0.15284,
              0.2474,
              0.3111,
              0.4128,
              0.6076
            ],
            [
              0.2016,
              0.3191,
              0.3955,
              0.5129,
              0.7019
            ]
          ]
        },
        "related_pin": "C1",
        "rise_transition,delay_template13x5": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00982,
            0.01963,
            0.03927,
            0.07855
          ],
          "values": [
            [
              0.03379,
              0.10486,
              0.17579,
              0.31769,
              0.60157
            ],
            [
              0.03383,
              0.10469,
              0.17586,
              0.31777,
              0.60216
            ],
            [
              0.03381,
              0.10482,
              0.17562,
              0.31755,
              0.60275
            ],
            [
              0.03389,
              0.10467,
              0.17588,
              0.31823,
              0.60232
            ],
            [
              0.03408,
              0.1047,
              0.17602,
              0.31821,
              0.60235
            ],
            [
              0.03747,
              0.10488,
              0.17591,
              0.31814,
              0.60306
            ],
            [
              0.04634,
              0.10535,
              0.17584,
              0.31793,
              0.60231
            ],
            [
              0.06068,
              0.11134,
              0.17626,
              0.31773,
              0.60255
            ],
            [
              0.07891,
              0.12818,
              0.18438,
              0.3177,
              0.60245
            ],
            [
              0.10378,
              0.16207,
              0.20758,
              0.32593,
              0.60195
            ],
            [
              0.13711,
              0.20891,
              0.25571,
              0.35447,
              0.6067
            ],
            [
              0.1807,
              0.2719,
              0.33,
              0.4197,
              0.6378
            ],
            [
              0.2374,
              0.356,
              0.4288,
              0.5356,
              0.7179
            ]
          ]
        },
        "sdf_cond": "(A1&A2&B1&B2)",
        "timing_sense": "negative_unate",
        "when": "(A1&A2&B1&B2)"
      }
    ]
  }
}