cells/fah/sky130_fd_sc_hs__fah_4__ss_150C_1v60.lib.json

{
  "area": 51.1488,
  "cell_footprint": "sky130_fd_sc_hs__fah",
  "cell_leakage_power": 10845.68637,
  "leakage_power": [
    {
      "value": 12676.18757,
      "when": "!A&!B&!CI"
    },
    {
      "value": 9553.11672,
      "when": "!A&!B&CI"
    },
    {
      "value": 10431.62947,
      "when": "!A&B&!CI"
    },
    {
      "value": 11150.0959,
      "when": "!A&B&CI"
    },
    {
      "value": 9784.1844,
      "when": "A&!B&!CI"
    },
    {
      "value": 12072.9132,
      "when": "A&!B&CI"
    },
    {
      "value": 12949.67058,
      "when": "A&B&!CI"
    },
    {
      "value": 8147.69312,
      "when": "A&B&CI"
    }
  ],
  "pg_pin,VGND": {
    "pg_type": "primary_ground",
    "related_bias_pin": "VPB",
    "voltage_name": "VGND"
  },
  "pg_pin,VNB": {
    "pg_type": "nwell",
    "physical_connection": "device_layer",
    "voltage_name": "VNB"
  },
  "pg_pin,VPB": {
    "pg_type": "pwell",
    "physical_connection": "device_layer",
    "voltage_name": "VPB"
  },
  "pg_pin,VPWR": {
    "pg_type": "primary_power",
    "related_bias_pin": "VNB",
    "voltage_name": "VPWR"
  },
  "pin,A": {
    "capacitance": 0.00514,
    "clock": "false",
    "direction": "input",
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,B": {
    "capacitance": 0.00748,
    "clock": "false",
    "direction": "input",
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,CI": {
    "capacitance": 0.00281,
    "clock": "false",
    "direction": "input",
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,COUT": {
    "direction": "output",
    "function": "(A&B) | (A&CI) | (B&CI)",
    "internal_power": [
      {
        "fall_power,pwr_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00654,
            0.01309,
            0.02618,
            0.05235,
            0.10471,
            0.20942,
            0.41884
          ],
          "values": [
            [
              0.10685,
              0.11657,
              0.12789,
              0.15185,
              0.20109,
              0.29956,
              0.49594,
              0.89034
            ],
            [
              0.1067,
              0.11643,
              0.12777,
              0.1517,
              0.201,
              0.29924,
              0.49575,
              0.89046
            ],
            [
              0.10656,
              0.11632,
              0.12761,
              0.15161,
              0.20084,
              0.29929,
              0.49599,
              0.89052
            ],
            [
              0.10643,
              0.11617,
              0.1275,
              0.15149,
              0.20066,
              0.29907,
              0.4955,
              0.89005
            ],
            [
              0.1063,
              0.11604,
              0.12737,
              0.15139,
              0.20058,
              0.299,
              0.49585,
              0.88991
            ],
            [
              0.1062,
              0.11599,
              0.12728,
              0.15129,
              0.20044,
              0.29875,
              0.49545,
              0.88976
            ],
            [
              0.10623,
              0.11595,
              0.12727,
              0.15123,
              0.20046,
              0.29893,
              0.49543,
              0.88953
            ],
            [
              0.10636,
              0.11611,
              0.12744,
              0.15148,
              0.20065,
              0.29912,
              0.49577,
              0.89092
            ],
            [
              0.10689,
              0.11662,
              0.12793,
              0.1519,
              0.20109,
              0.29954,
              0.49578,
              0.89028
            ],
            [
              0.10803,
              0.11775,
              0.12906,
              0.15297,
              0.20205,
              0.30051,
              0.49701,
              0.89103
            ],
            [
              0.11013,
              0.11978,
              0.13103,
              0.15497,
              0.20402,
              0.30238,
              0.49953,
              0.8946
            ],
            [
              0.11362,
              0.12326,
              0.13456,
              0.15831,
              0.2074,
              0.30559,
              0.50252,
              0.89671
            ],
            [
              0.11929,
              0.12887,
              0.14006,
              0.1639,
              0.21295,
              0.31115,
              0.50716,
              0.90187
            ]
          ]
        },
        "related_pin": "A",
        "rise_power,pwr_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00654,
            0.01309,
            0.02618,
            0.05235,
            0.10471,
            0.20942,
            0.41884
          ],
          "values": [
            [
              0.09476,
              0.09988,
              0.10692,
              0.12268,
              0.15584,
              0.22222,
              0.35572,
              0.62251
            ],
            [
              0.09458,
              0.09971,
              0.10673,
              0.1225,
              0.15567,
              0.22217,
              0.35547,
              0.62182
            ],
            [
              0.09436,
              0.09949,
              0.10652,
              0.1223,
              0.15542,
              0.222,
              0.35473,
              0.62241
            ],
            [
              0.09423,
              0.09935,
              0.10639,
              0.12215,
              0.15528,
              0.22174,
              0.35501,
              0.62182
            ],
            [
              0.094,
              0.09914,
              0.10617,
              0.12194,
              0.1551,
              0.22159,
              0.35467,
              0.62136
            ],
            [
              0.0938,
              0.09892,
              0.10594,
              0.12171,
              0.15488,
              0.22138,
              0.35459,
              0.62125
            ],
            [
              0.09364,
              0.09876,
              0.1058,
              0.12157,
              0.15475,
              0.22115,
              0.35456,
              0.62171
            ],
            [
              0.09358,
              0.0987,
              0.10574,
              0.12152,
              0.1547,
              0.22115,
              0.35429,
              0.62102
            ],
            [
              0.09374,
              0.09886,
              0.10591,
              0.1217,
              0.15491,
              0.22146,
              0.35426,
              0.62125
            ],
            [
              0.09441,
              0.09954,
              0.10657,
              0.12238,
              0.15562,
              0.2221,
              0.35503,
              0.62158
            ],
            [
              0.09584,
              0.10096,
              0.10801,
              0.12383,
              0.15707,
              0.22359,
              0.3566,
              0.62367
            ],
            [
              0.09863,
              0.10377,
              0.11081,
              0.12665,
              0.15989,
              0.22651,
              0.35926,
              0.62615
            ],
            [
              0.10351,
              0.10865,
              0.11569,
              0.13149,
              0.16478,
              0.23122,
              0.36423,
              0.63085
            ]
          ]
        },
        "when": "(B&!CI) | (!B&CI)"
      },
      {
        "fall_power,pwr_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00654,
            0.01309,
            0.02618,
            0.05235,
            0.10471,
            0.20942,
            0.41884
          ],
          "values": [
            [
              0.10158,
              0.11136,
              0.12269,
              0.14671,
              0.19598,
              0.29416,
              0.49131,
              0.88615
            ],
            [
              0.10151,
              0.11128,
              0.12261,
              0.14658,
              0.19569,
              0.29414,
              0.49106,
              0.88596
            ],
            [
              0.10135,
              0.11112,
              0.12244,
              0.14646,
              0.19576,
              0.29422,
              0.49055,
              0.88586
            ],
            [
              0.10122,
              0.11102,
              0.12237,
              0.14636,
              0.19555,
              0.29415,
              0.49057,
              0.88536
            ],
            [
              0.10116,
              0.11093,
              0.12229,
              0.14627,
              0.19551,
              0.29393,
              0.49073,
              0.88543
            ],
            [
              0.1011,
              0.1109,
              0.12222,
              0.14619,
              0.19539,
              0.29375,
              0.49058,
              0.88471
            ],
            [
              0.10118,
              0.11098,
              0.12232,
              0.1463,
              0.19547,
              0.29391,
              0.49026,
              0.88598
            ],
            [
              0.10146,
              0.11126,
              0.12258,
              0.14657,
              0.19572,
              0.29429,
              0.49071,
              0.88592
            ],
            [
              0.10207,
              0.11188,
              0.12318,
              0.14717,
              0.19632,
              0.29486,
              0.49151,
              0.88638
            ],
            [
              0.10328,
              0.11305,
              0.12435,
              0.14825,
              0.1973,
              0.29578,
              0.49258,
              0.88642
            ],
            [
              0.10541,
              0.11507,
              0.12634,
              0.15017,
              0.19915,
              0.29731,
              0.49426,
              0.88901
            ],
            [
              0.10912,
              0.11868,
              0.12985,
              0.1535,
              0.2022,
              0.30054,
              0.49688,
              0.89094
            ],
            [
              0.11497,
              0.12429,
              0.13528,
              0.15881,
              0.20759,
              0.30533,
              0.50158,
              0.89682
            ]
          ]
        },
        "related_pin": "B",
        "rise_power,pwr_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00654,
            0.01309,
            0.02618,
            0.05235,
            0.10471,
            0.20942,
            0.41884
          ],
          "values": [
            [
              0.08175,
              0.08683,
              0.09385,
              0.10961,
              0.14278,
              0.20929,
              0.34261,
              0.60883
            ],
            [
              0.08173,
              0.08681,
              0.09382,
              0.10958,
              0.14275,
              0.20928,
              0.34264,
              0.60891
            ],
            [
              0.08166,
              0.08675,
              0.09376,
              0.10953,
              0.14272,
              0.20918,
              0.34247,
              0.60938
            ],
            [
              0.08162,
              0.0867,
              0.09371,
              0.10948,
              0.14265,
              0.20912,
              0.34247,
              0.60941
            ],
            [
              0.08159,
              0.08667,
              0.09368,
              0.10943,
              0.14261,
              0.20913,
              0.34235,
              0.60944
            ],
            [
              0.08153,
              0.08662,
              0.09361,
              0.10939,
              0.14253,
              0.20913,
              0.34237,
              0.6095
            ],
            [
              0.0816,
              0.08668,
              0.09369,
              0.10943,
              0.14259,
              0.20904,
              0.3421,
              0.60842
            ],
            [
              0.08176,
              0.08682,
              0.09381,
              0.10955,
              0.14267,
              0.20907,
              0.34253,
              0.60946
            ],
            [
              0.0822,
              0.08727,
              0.09426,
              0.10999,
              0.14305,
              0.20954,
              0.34267,
              0.60915
            ],
            [
              0.08309,
              0.08815,
              0.09515,
              0.11082,
              0.14386,
              0.2102,
              0.3433,
              0.60939
            ],
            [
              0.08478,
              0.08982,
              0.09679,
              0.11241,
              0.14531,
              0.21168,
              0.34493,
              0.61114
            ],
            [
              0.08768,
              0.09273,
              0.09966,
              0.1152,
              0.14795,
              0.21409,
              0.34707,
              0.61387
            ],
            [
              0.09248,
              0.09751,
              0.10439,
              0.11983,
              0.15252,
              0.21838,
              0.3512,
              0.61896
            ]
          ]
        },
        "when": "(A&!CI) | (!A&CI)"
      },
      {
        "fall_power,pwr_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00654,
            0.01309,
            0.02618,
            0.05235,
            0.10471,
            0.20942,
            0.41884
          ],
          "values": [
            [
              0.08239,
              0.09198,
              0.10322,
              0.12722,
              0.17637,
              0.27519,
              0.47162,
              0.86677
            ],
            [
              0.08237,
              0.09196,
              0.10322,
              0.12717,
              0.1763,
              0.27504,
              0.47223,
              0.86659
            ],
            [
              0.08234,
              0.09191,
              0.10316,
              0.12715,
              0.1763,
              0.27496,
              0.47155,
              0.8667
            ],
            [
              0.0823,
              0.09189,
              0.10318,
              0.12704,
              0.17613,
              0.27495,
              0.47241,
              0.86641
            ],
            [
              0.08226,
              0.09186,
              0.1031,
              0.12703,
              0.1762,
              0.27502,
              0.47235,
              0.86618
            ],
            [
              0.08228,
              0.09183,
              0.10312,
              0.12705,
              0.17617,
              0.27499,
              0.4714,
              0.86693
            ],
            [
              0.08229,
              0.0918,
              0.10309,
              0.12694,
              0.17607,
              0.27491,
              0.47183,
              0.86613
            ],
            [
              0.08231,
              0.09186,
              0.1031,
              0.12703,
              0.17608,
              0.27481,
              0.47182,
              0.8666
            ],
            [
              0.08239,
              0.09192,
              0.10314,
              0.12696,
              0.17605,
              0.27483,
              0.47145,
              0.86666
            ],
            [
              0.08295,
              0.09242,
              0.10354,
              0.12729,
              0.17612,
              0.27473,
              0.47181,
              0.86614
            ],
            [
              0.0844,
              0.09366,
              0.10466,
              0.12815,
              0.17694,
              0.27541,
              0.47217,
              0.86672
            ],
            [
              0.08749,
              0.09638,
              0.10702,
              0.13009,
              0.17843,
              0.27664,
              0.4732,
              0.86879
            ],
            [
              0.09208,
              0.10056,
              0.11092,
              0.1337,
              0.18142,
              0.27858,
              0.47515,
              0.86948
            ]
          ]
        },
        "related_pin": "CI",
        "rise_power,pwr_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00654,
            0.01309,
            0.02618,
            0.05235,
            0.10471,
            0.20942,
            0.41884
          ],
          "values": [
            [
              0.07788,
              0.08329,
              0.09048,
              0.10649,
              0.14007,
              0.20717,
              0.3399,
              0.60602
            ],
            [
              0.07784,
              0.08325,
              0.09044,
              0.10646,
              0.14005,
              0.20712,
              0.33991,
              0.60665
            ],
            [
              0.07779,
              0.0832,
              0.09039,
              0.10641,
              0.14001,
              0.20711,
              0.33988,
              0.6068
            ],
            [
              0.07771,
              0.08312,
              0.09033,
              0.10634,
              0.13991,
              0.20692,
              0.33976,
              0.60597
            ],
            [
              0.07769,
              0.08308,
              0.09029,
              0.10631,
              0.13987,
              0.20692,
              0.33964,
              0.60599
            ],
            [
              0.07761,
              0.083,
              0.09019,
              0.10622,
              0.13981,
              0.20689,
              0.3397,
              0.60633
            ],
            [
              0.07752,
              0.08292,
              0.09012,
              0.10613,
              0.13969,
              0.20666,
              0.33957,
              0.60574
            ],
            [
              0.07746,
              0.08287,
              0.09006,
              0.10606,
              0.13959,
              0.20662,
              0.33929,
              0.60607
            ],
            [
              0.07754,
              0.08293,
              0.09009,
              0.10605,
              0.13955,
              0.20652,
              0.33938,
              0.60574
            ],
            [
              0.07802,
              0.08333,
              0.09042,
              0.1063,
              0.1397,
              0.20662,
              0.33941,
              0.6064
            ],
            [
              0.07897,
              0.08414,
              0.09111,
              0.10683,
              0.14006,
              0.20683,
              0.3396,
              0.60609
            ],
            [
              0.08083,
              0.08572,
              0.09258,
              0.10811,
              0.14114,
              0.20773,
              0.3404,
              0.60634
            ],
            [
              0.08397,
              0.08851,
              0.09517,
              0.11042,
              0.14309,
              0.20945,
              0.3418,
              0.60794
            ]
          ]
        },
        "when": "(A&!B) | (!A&B)"
      }
    ],
    "max_capacitance": 0.26977,
    "power_down_function": "(!VPWR + VGND)",
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR",
    "timing": [
      {
        "cell_fall,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00654,
            0.01309,
            0.02618,
            0.05235,
            0.10471,
            0.20942,
            0.41884
          ],
          "values": [
            [
              0.45147,
              0.48232,
              0.50438,
              0.5389,
              0.59202,
              0.67481,
              0.81021,
              1.04947
            ],
            [
              0.45373,
              0.48458,
              0.50664,
              0.54116,
              0.59428,
              0.67707,
              0.81247,
              1.05174
            ],
            [
              0.45656,
              0.48741,
              0.50948,
              0.54398,
              0.5971,
              0.67991,
              0.81527,
              1.05472
            ],
            [
              0.46098,
              0.49183,
              0.51389,
              0.54839,
              0.60152,
              0.68432,
              0.81968,
              1.05918
            ],
            [
              0.46782,
              0.49866,
              0.52073,
              0.55523,
              0.60835,
              0.69117,
              0.82651,
              1.06601
            ],
            [
              0.47833,
              0.50917,
              0.53124,
              0.56574,
              0.61886,
              0.70168,
              0.83702,
              1.07652
            ],
            [
              0.49349,
              0.52433,
              0.54639,
              0.58092,
              0.63404,
              0.71683,
              0.85224,
              1.09143
            ],
            [
              0.51364,
              0.54447,
              0.56653,
              0.60103,
              0.65416,
              0.73699,
              0.87236,
              1.11186
            ],
            [
              0.53854,
              0.56932,
              0.59136,
              0.62587,
              0.67903,
              0.76185,
              0.89725,
              1.13665
            ],
            [
              0.56684,
              0.59752,
              0.61955,
              0.65409,
              0.70719,
              0.79009,
              0.92559,
              1.16509
            ],
            [
              0.59442,
              0.62492,
              0.64682,
              0.68132,
              0.73452,
              0.81742,
              0.95292,
              1.19232
            ],
            [
              0.61797,
              0.64817,
              0.66997,
              0.70437,
              0.75757,
              0.84047,
              0.97597,
              1.21557
            ],
            [
              0.6371,
              0.6671,
              0.6888,
              0.723,
              0.776,
              0.8589,
              0.9945,
              1.2337
            ]
          ]
        },
        "cell_rise,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00654,
            0.01309,
            0.02618,
            0.05235,
            0.10471,
            0.20942,
            0.41884
          ],
          "values": [
            [
              0.39859,
              0.43685,
              0.46482,
              0.50993,
              0.58462,
              0.71712,
              0.97084,
              1.47517
            ],
            [
              0.40129,
              0.43953,
              0.46752,
              0.51262,
              0.58731,
              0.71984,
              0.97365,
              1.47794
            ],
            [
              0.40452,
              0.44277,
              0.47076,
              0.51586,
              0.59055,
              0.72308,
              0.97687,
              1.48122
            ],
            [
              0.40949,
              0.44775,
              0.47573,
              0.52084,
              0.59552,
              0.72806,
              0.98177,
              1.48618
            ],
            [
              0.41707,
              0.45531,
              0.4833,
              0.5284,
              0.60309,
              0.73562,
              0.98941,
              1.49371
            ],
            [
              0.4283,
              0.46654,
              0.49453,
              0.53964,
              0.61432,
              0.74686,
              1.00062,
              1.50492
            ],
            [
              0.44399,
              0.48222,
              0.51021,
              0.55532,
              0.63,
              0.76253,
              1.01633,
              1.52063
            ],
            [
              0.46481,
              0.50306,
              0.53102,
              0.57613,
              0.65082,
              0.7833,
              1.03696,
              1.54126
            ],
            [
              0.49208,
              0.5303,
              0.55826,
              0.60338,
              0.67806,
              0.81055,
              1.06425,
              1.56855
            ],
            [
              0.52713,
              0.56532,
              0.59328,
              0.63839,
              0.71309,
              0.84549,
              1.09919,
              1.60349
            ],
            [
              0.57152,
              0.60972,
              0.63762,
              0.68272,
              0.75742,
              0.88982,
              1.14332,
              1.64772
            ],
            [
              0.62747,
              0.66547,
              0.69337,
              0.73847,
              0.81307,
              0.94547,
              1.19897,
              1.70337
            ],
            [
              0.6974,
              0.7353,
              0.7632,
              0.8081,
              0.8827,
              1.0149,
              1.2683,
              1.7725
            ]
          ]
        },
        "fall_transition,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00654,
            0.01309,
            0.02618,
            0.05235,
            0.10471,
            0.20942,
            0.41884
          ],
          "values": [
            [
              0.05174,
              0.07152,
              0.08656,
              0.11207,
              0.15545,
              0.23249,
              0.37999,
              0.67773
            ],
            [
              0.05174,
              0.07152,
              0.08658,
              0.11206,
              0.15543,
              0.23251,
              0.38,
              0.67765
            ],
            [
              0.05173,
              0.0715,
              0.08657,
              0.11206,
              0.15554,
              0.23265,
              0.37993,
              0.67823
            ],
            [
              0.05174,
              0.0715,
              0.08657,
              0.11207,
              0.15553,
              0.23265,
              0.37987,
              0.67818
            ],
            [
              0.05172,
              0.07149,
              0.08659,
              0.11207,
              0.15566,
              0.23288,
              0.37989,
              0.67868
            ],
            [
              0.05173,
              0.07148,
              0.08659,
              0.11209,
              0.1553,
              0.23281,
              0.3799,
              0.67878
            ],
            [
              0.05172,
              0.07152,
              0.08655,
              0.11206,
              0.15552,
              0.23253,
              0.37995,
              0.67795
            ],
            [
              0.05169,
              0.07145,
              0.08656,
              0.11205,
              0.15565,
              0.2328,
              0.37983,
              0.67891
            ],
            [
              0.05158,
              0.07137,
              0.08647,
              0.11195,
              0.15556,
              0.23246,
              0.37996,
              0.678
            ],
            [
              0.05135,
              0.07124,
              0.0863,
              0.11191,
              0.15532,
              0.2326,
              0.38,
              0.6789
            ],
            [
              0.051,
              0.0708,
              0.086,
              0.1117,
              0.1552,
              0.2325,
              0.3799,
              0.6784
            ],
            [
              0.0507,
              0.0705,
              0.0856,
              0.1113,
              0.1548,
              0.2324,
              0.38,
              0.6789
            ],
            [
              0.0504,
              0.07,
              0.0851,
              0.1107,
              0.1545,
              0.2325,
              0.3794,
              0.6771
            ]
          ]
        },
        "related_pin": "A",
        "rise_transition,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00654,
            0.01309,
            0.02618,
            0.05235,
            0.10471,
            0.20942,
            0.41884
          ],
          "values": [
            [
              0.05059,
              0.08222,
              0.10685,
              0.15132,
              0.23788,
              0.41585,
              0.78466,
              1.53136
            ],
            [
              0.05056,
              0.0822,
              0.10684,
              0.15139,
              0.23783,
              0.41598,
              0.78475,
              1.53206
            ],
            [
              0.05057,
              0.0822,
              0.10684,
              0.15139,
              0.2378,
              0.41599,
              0.78469,
              1.5319
            ],
            [
              0.05061,
              0.08221,
              0.10683,
              0.15137,
              0.23779,
              0.41598,
              0.78457,
              1.53138
            ],
            [
              0.05056,
              0.0822,
              0.10683,
              0.15138,
              0.23781,
              0.416,
              0.78474,
              1.53195
            ],
            [
              0.05059,
              0.0822,
              0.10683,
              0.15137,
              0.23777,
              0.41597,
              0.78471,
              1.53162
            ],
            [
              0.05053,
              0.08217,
              0.10682,
              0.15137,
              0.23783,
              0.4159,
              0.78474,
              1.53207
            ],
            [
              0.0506,
              0.08213,
              0.10677,
              0.15124,
              0.23777,
              0.41576,
              0.78455,
              1.5314
            ],
            [
              0.05041,
              0.08199,
              0.1067,
              0.15121,
              0.23777,
              0.41559,
              0.78491,
              1.5339
            ],
            [
              0.05024,
              0.08181,
              0.10659,
              0.1511,
              0.23761,
              0.4155,
              0.7849,
              1.5326
            ],
            [
              0.0499,
              0.0816,
              0.1063,
              0.1508,
              0.2374,
              0.4155,
              0.7845,
              1.5316
            ],
            [
              0.0496,
              0.0813,
              0.1061,
              0.1506,
              0.2372,
              0.4151,
              0.7845,
              1.5339
            ],
            [
              0.0492,
              0.0809,
              0.1057,
              0.1503,
              0.2368,
              0.4149,
              0.7845,
              1.5316
            ]
          ]
        },
        "sdf_cond": "(!B&CI)",
        "timing_sense": "positive_unate",
        "when": "(!B&CI)"
      },
      {
        "cell_fall,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00654,
            0.01309,
            0.02618,
            0.05235,
            0.10471,
            0.20942,
            0.41884
          ],
          "values": [
            [
              0.46981,
              0.50345,
              0.52744,
              0.56488,
              0.62235,
              0.71147,
              0.85568,
              1.10717
            ],
            [
              0.47208,
              0.5057,
              0.5297,
              0.56714,
              0.62461,
              0.71373,
              0.85797,
              1.10944
            ],
            [
              0.47491,
              0.50854,
              0.53254,
              0.56997,
              0.62745,
              0.71658,
              0.86078,
              1.11242
            ],
            [
              0.47933,
              0.51294,
              0.53694,
              0.57439,
              0.63186,
              0.72096,
              0.86521,
              1.11668
            ],
            [
              0.48615,
              0.51978,
              0.54377,
              0.58121,
              0.63868,
              0.7278,
              0.87201,
              1.12351
            ],
            [
              0.49662,
              0.53024,
              0.55424,
              0.59168,
              0.64915,
              0.73827,
              0.88251,
              1.13392
            ],
            [
              0.51172,
              0.54535,
              0.56934,
              0.60677,
              0.66425,
              0.75338,
              0.89753,
              1.14913
            ],
            [
              0.53194,
              0.56554,
              0.58953,
              0.62696,
              0.68444,
              0.77357,
              0.91776,
              1.16936
            ],
            [
              0.55745,
              0.59102,
              0.615,
              0.65243,
              0.70991,
              0.79905,
              0.94325,
              1.19475
            ],
            [
              0.58731,
              0.62078,
              0.64469,
              0.68219,
              0.73969,
              0.82879,
              0.97299,
              1.22459
            ],
            [
              0.61692,
              0.65012,
              0.67402,
              0.71132,
              0.76882,
              0.85812,
              1.00232,
              1.25412
            ],
            [
              0.64177,
              0.67457,
              0.69827,
              0.73547,
              0.79287,
              0.88207,
              1.02637,
              1.27807
            ],
            [
              0.6613,
              0.6937,
              0.7172,
              0.7542,
              0.8114,
              0.9005,
              1.0447,
              1.2959
            ]
          ]
        },
        "cell_rise,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00654,
            0.01309,
            0.02618,
            0.05235,
            0.10471,
            0.20942,
            0.41884
          ],
          "values": [
            [
              0.39807,
              0.43541,
              0.46259,
              0.50626,
              0.57857,
              0.7067,
              0.95083,
              1.43257
            ],
            [
              0.40077,
              0.43811,
              0.46528,
              0.50896,
              0.58127,
              0.7094,
              0.95352,
              1.43524
            ],
            [
              0.40401,
              0.44136,
              0.46853,
              0.51221,
              0.58452,
              0.71266,
              0.95656,
              1.43832
            ],
            [
              0.40899,
              0.44633,
              0.47351,
              0.51719,
              0.58949,
              0.71762,
              0.96179,
              1.44348
            ],
            [
              0.41657,
              0.45392,
              0.48108,
              0.52476,
              0.59707,
              0.72516,
              0.96941,
              1.45111
            ],
            [
              0.42785,
              0.46519,
              0.49237,
              0.53605,
              0.60836,
              0.73649,
              0.98052,
              1.46222
            ],
            [
              0.44373,
              0.48106,
              0.50823,
              0.55191,
              0.62422,
              0.75236,
              0.99643,
              1.47803
            ],
            [
              0.46494,
              0.50226,
              0.52942,
              0.57309,
              0.6454,
              0.77351,
              1.01776,
              1.49946
            ],
            [
              0.49277,
              0.53005,
              0.5572,
              0.60086,
              0.67317,
              0.80135,
              1.04555,
              1.52705
            ],
            [
              0.52846,
              0.56567,
              0.5928,
              0.63649,
              0.70879,
              0.83689,
              1.08089,
              1.56279
            ],
            [
              0.57342,
              0.61052,
              0.63762,
              0.68122,
              0.75352,
              0.88172,
              1.12572,
              1.60742
            ],
            [
              0.62977,
              0.66677,
              0.69377,
              0.73737,
              0.80967,
              0.93777,
              1.18167,
              1.66367
            ],
            [
              0.7001,
              0.7369,
              0.7639,
              0.8074,
              0.8795,
              1.0077,
              1.2515,
              1.7335
            ]
          ]
        },
        "fall_transition,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00654,
            0.01309,
            0.02618,
            0.05235,
            0.10471,
            0.20942,
            0.41884
          ],
          "values": [
            [
              0.05861,
              0.07996,
              0.09616,
              0.12323,
              0.16949,
              0.25044,
              0.40247,
              0.70893
            ],
            [
              0.05864,
              0.07996,
              0.09617,
              0.1232,
              0.1695,
              0.25006,
              0.40232,
              0.70838
            ],
            [
              0.05864,
              0.07996,
              0.09615,
              0.12324,
              0.16944,
              0.25046,
              0.40267,
              0.7093
            ],
            [
              0.05865,
              0.07997,
              0.09618,
              0.12324,
              0.16949,
              0.25004,
              0.40232,
              0.70827
            ],
            [
              0.05861,
              0.07996,
              0.09616,
              0.12322,
              0.16949,
              0.25041,
              0.40237,
              0.70893
            ],
            [
              0.05864,
              0.07996,
              0.09617,
              0.12319,
              0.16951,
              0.25007,
              0.40235,
              0.70843
            ],
            [
              0.05862,
              0.07996,
              0.09615,
              0.12322,
              0.16946,
              0.2505,
              0.40267,
              0.70921
            ],
            [
              0.05862,
              0.07997,
              0.0961,
              0.12324,
              0.16942,
              0.25051,
              0.40261,
              0.7092
            ],
            [
              0.05854,
              0.07987,
              0.09609,
              0.12313,
              0.16944,
              0.25003,
              0.40229,
              0.7083
            ],
            [
              0.05833,
              0.07969,
              0.09592,
              0.12296,
              0.1694,
              0.2501,
              0.4025,
              0.709
            ],
            [
              0.058,
              0.0794,
              0.0955,
              0.1229,
              0.1688,
              0.2503,
              0.4024,
              0.7084
            ],
            [
              0.0576,
              0.0789,
              0.0951,
              0.1223,
              0.1684,
              0.2501,
              0.4022,
              0.7085
            ],
            [
              0.0573,
              0.0784,
              0.0945,
              0.1218,
              0.1683,
              0.2498,
              0.4019,
              0.7084
            ]
          ]
        },
        "related_pin": "A",
        "rise_transition,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00654,
            0.01309,
            0.02618,
            0.05235,
            0.10471,
            0.20942,
            0.41884
          ],
          "values": [
            [
              0.04972,
              0.08014,
              0.1039,
              0.14689,
              0.23062,
              0.40262,
              0.7597,
              1.48691
            ],
            [
              0.04973,
              0.08014,
              0.1039,
              0.14689,
              0.23062,
              0.40262,
              0.75967,
              1.48688
            ],
            [
              0.04975,
              0.08011,
              0.10387,
              0.14687,
              0.23072,
              0.40281,
              0.7593,
              1.48602
            ],
            [
              0.0497,
              0.08014,
              0.1039,
              0.14688,
              0.23055,
              0.40256,
              0.75978,
              1.48679
            ],
            [
              0.04971,
              0.08015,
              0.1039,
              0.14681,
              0.23039,
              0.40251,
              0.75884,
              1.48514
            ],
            [
              0.04972,
              0.08011,
              0.10387,
              0.14687,
              0.23064,
              0.40263,
              0.75957,
              1.48668
            ],
            [
              0.04969,
              0.08006,
              0.10383,
              0.14684,
              0.23062,
              0.40267,
              0.75961,
              1.48613
            ],
            [
              0.04957,
              0.08,
              0.10377,
              0.14669,
              0.23048,
              0.40249,
              0.76014,
              1.4857
            ],
            [
              0.04938,
              0.07979,
              0.10359,
              0.14654,
              0.23054,
              0.40234,
              0.76005,
              1.4869
            ],
            [
              0.04917,
              0.07954,
              0.10324,
              0.1464,
              0.23027,
              0.4023,
              0.7587,
              1.486
            ],
            [
              0.0488,
              0.0792,
              0.103,
              0.146,
              0.2299,
              0.4022,
              0.7597,
              1.4867
            ],
            [
              0.0484,
              0.0788,
              0.1026,
              0.1457,
              0.2298,
              0.4021,
              0.7595,
              1.4846
            ],
            [
              0.0479,
              0.0784,
              0.1021,
              0.1454,
              0.2295,
              0.402,
              0.7586,
              1.4854
            ]
          ]
        },
        "sdf_cond": "(B&!CI)",
        "timing_sense": "positive_unate",
        "when": "(B&!CI)"
      },
      {
        "cell_fall,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00654,
            0.01309,
            0.02618,
            0.05235,
            0.10471,
            0.20942,
            0.41884
          ],
          "values": [
            [
              0.42492,
              0.45582,
              0.47791,
              0.51242,
              0.56555,
              0.64833,
              0.78374,
              1.02307
            ],
            [
              0.42673,
              0.45762,
              0.4797,
              0.51422,
              0.56734,
              0.65015,
              0.78547,
              1.02504
            ],
            [
              0.42912,
              0.46003,
              0.48211,
              0.51662,
              0.56975,
              0.65253,
              0.78794,
              1.02722
            ],
            [
              0.43295,
              0.46386,
              0.48594,
              0.52045,
              0.57357,
              0.65638,
              0.79173,
              1.03117
            ],
            [
              0.43916,
              0.47008,
              0.49216,
              0.52667,
              0.57981,
              0.66259,
              0.79799,
              1.03741
            ],
            [
              0.44908,
              0.48,
              0.50208,
              0.53661,
              0.58972,
              0.67252,
              0.80784,
              1.04742
            ],
            [
              0.46468,
              0.4956,
              0.51769,
              0.55221,
              0.60534,
              0.68811,
              0.82352,
              1.06293
            ],
            [
              0.48826,
              0.51919,
              0.54129,
              0.5758,
              0.62892,
              0.7117,
              0.84706,
              1.08656
            ],
            [
              0.52143,
              0.55236,
              0.57446,
              0.60898,
              0.66208,
              0.74488,
              0.88015,
              1.11975
            ],
            [
              0.5652,
              0.59612,
              0.61821,
              0.65269,
              0.70579,
              0.78859,
              0.92389,
              1.16339
            ],
            [
              0.62452,
              0.65552,
              0.67762,
              0.71212,
              0.76522,
              0.84802,
              0.98342,
              1.22272
            ],
            [
              0.69817,
              0.73047,
              0.75357,
              0.78937,
              0.84397,
              0.92807,
              1.06417,
              1.30387
            ],
            [
              0.781,
              0.815,
              0.8394,
              0.8772,
              0.9346,
              1.0225,
              1.1626,
              1.4046
            ]
          ]
        },
        "cell_rise,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00654,
            0.01309,
            0.02618,
            0.05235,
            0.10471,
            0.20942,
            0.41884
          ],
          "values": [
            [
              0.33226,
              0.37076,
              0.39887,
              0.44408,
              0.51876,
              0.65116,
              0.90481,
              1.40907
            ],
            [
              0.33508,
              0.37358,
              0.40168,
              0.44689,
              0.52157,
              0.65397,
              0.90768,
              1.41194
            ],
            [
              0.33843,
              0.37694,
              0.40503,
              0.45024,
              0.52492,
              0.65734,
              0.91103,
              1.41542
            ],
            [
              0.34348,
              0.38199,
              0.41009,
              0.45531,
              0.52997,
              0.66239,
              0.91609,
              1.42028
            ],
            [
              0.35103,
              0.38955,
              0.41766,
              0.46286,
              0.53754,
              0.66994,
              0.92364,
              1.42761
            ],
            [
              0.36235,
              0.40087,
              0.42898,
              0.47419,
              0.54887,
              0.68128,
              0.93492,
              1.43932
            ],
            [
              0.37906,
              0.41762,
              0.44573,
              0.49095,
              0.56561,
              0.698,
              0.95173,
              1.45573
            ],
            [
              0.40376,
              0.44234,
              0.47048,
              0.51569,
              0.59034,
              0.72271,
              0.97636,
              1.48056
            ],
            [
              0.43963,
              0.47829,
              0.50644,
              0.55165,
              0.62629,
              0.75865,
              1.01225,
              1.51675
            ],
            [
              0.48612,
              0.52485,
              0.55302,
              0.59823,
              0.67289,
              0.80519,
              1.05889,
              1.56319
            ],
            [
              0.54262,
              0.58132,
              0.60942,
              0.65452,
              0.72912,
              0.86142,
              1.11522,
              1.61932
            ],
            [
              0.61197,
              0.65087,
              0.67907,
              0.72427,
              0.79887,
              0.93127,
              1.18487,
              1.68887
            ],
            [
              0.6984,
              0.7375,
              0.7658,
              0.8111,
              0.8859,
              1.0183,
              1.2717,
              1.7753
            ]
          ]
        },
        "fall_transition,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00654,
            0.01309,
            0.02618,
            0.05235,
            0.10471,
            0.20942,
            0.41884
          ],
          "values": [
            [
              0.05188,
              0.07161,
              0.08669,
              0.11214,
              0.15556,
              0.23285,
              0.37977,
              0.67876
            ],
            [
              0.05186,
              0.07157,
              0.08668,
              0.11209,
              0.15548,
              0.23274,
              0.37975,
              0.67866
            ],
            [
              0.05189,
              0.07163,
              0.0867,
              0.11215,
              0.15553,
              0.2329,
              0.37979,
              0.6787
            ],
            [
              0.05191,
              0.07163,
              0.0867,
              0.11211,
              0.15571,
              0.23269,
              0.37995,
              0.67804
            ],
            [
              0.05191,
              0.07164,
              0.08672,
              0.11216,
              0.1556,
              0.23278,
              0.37982,
              0.67887
            ],
            [
              0.05195,
              0.07166,
              0.08674,
              0.11215,
              0.1555,
              0.23269,
              0.37979,
              0.67877
            ],
            [
              0.05196,
              0.07167,
              0.08674,
              0.11217,
              0.15559,
              0.23276,
              0.37981,
              0.67886
            ],
            [
              0.05199,
              0.07168,
              0.08675,
              0.11218,
              0.15554,
              0.23266,
              0.37965,
              0.67891
            ],
            [
              0.05198,
              0.07167,
              0.08672,
              0.11217,
              0.15548,
              0.23273,
              0.37984,
              0.6785
            ],
            [
              0.05192,
              0.07159,
              0.08661,
              0.11196,
              0.15546,
              0.2326,
              0.3799,
              0.6784
            ],
            [
              0.0523,
              0.0719,
              0.0869,
              0.1122,
              0.1557,
              0.2326,
              0.3798,
              0.6776
            ],
            [
              0.0575,
              0.0769,
              0.0919,
              0.1172,
              0.1603,
              0.2357,
              0.3817,
              0.6795
            ],
            [
              0.064,
              0.0838,
              0.0992,
              0.1252,
              0.1692,
              0.2461,
              0.3906,
              0.6844
            ]
          ]
        },
        "related_pin": "B",
        "rise_transition,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00654,
            0.01309,
            0.02618,
            0.05235,
            0.10471,
            0.20942,
            0.41884
          ],
          "values": [
            [
              0.05169,
              0.08323,
              0.10784,
              0.15213,
              0.23825,
              0.41587,
              0.78482,
              1.53135
            ],
            [
              0.05162,
              0.08322,
              0.10786,
              0.15209,
              0.23832,
              0.41589,
              0.78507,
              1.53339
            ],
            [
              0.05162,
              0.08322,
              0.10787,
              0.1521,
              0.23833,
              0.41591,
              0.78509,
              1.53371
            ],
            [
              0.05174,
              0.08324,
              0.10789,
              0.15213,
              0.23834,
              0.41591,
              0.78499,
              1.53291
            ],
            [
              0.05178,
              0.08331,
              0.10793,
              0.15218,
              0.23836,
              0.41593,
              0.78498,
              1.5324
            ],
            [
              0.05173,
              0.08344,
              0.108,
              0.15229,
              0.23833,
              0.41588,
              0.78468,
              1.53157
            ],
            [
              0.05187,
              0.08353,
              0.10814,
              0.15235,
              0.23851,
              0.41599,
              0.78498,
              1.53226
            ],
            [
              0.05209,
              0.08378,
              0.10835,
              0.15258,
              0.23867,
              0.4162,
              0.78504,
              1.5319
            ],
            [
              0.05249,
              0.08412,
              0.1087,
              0.1529,
              0.23896,
              0.41642,
              0.78481,
              1.5316
            ],
            [
              0.05295,
              0.08461,
              0.10911,
              0.15335,
              0.23943,
              0.41678,
              0.7853,
              1.5306
            ],
            [
              0.0533,
              0.0848,
              0.1094,
              0.1536,
              0.2397,
              0.4171,
              0.785,
              1.5316
            ],
            [
              0.0541,
              0.0857,
              0.1102,
              0.1545,
              0.2408,
              0.4175,
              0.7849,
              1.5312
            ],
            [
              0.0552,
              0.0868,
              0.1114,
              0.1557,
              0.2416,
              0.4182,
              0.7842,
              1.531
            ]
          ]
        },
        "sdf_cond": "(!A&CI)",
        "timing_sense": "positive_unate",
        "when": "(!A&CI)"
      },
      {
        "cell_fall,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00654,
            0.01309,
            0.02618,
            0.05235,
            0.10471,
            0.20942,
            0.41884
          ],
          "values": [
            [
              0.41851,
              0.45182,
              0.47568,
              0.513,
              0.57047,
              0.65969,
              0.80401,
              1.05547
            ],
            [
              0.42043,
              0.45376,
              0.47762,
              0.51494,
              0.5724,
              0.66164,
              0.80599,
              1.05764
            ],
            [
              0.42288,
              0.45621,
              0.48007,
              0.5174,
              0.57488,
              0.6641,
              0.80841,
              1.05992
            ],
            [
              0.42673,
              0.46008,
              0.48395,
              0.52128,
              0.57873,
              0.668,
              0.81232,
              1.06398
            ],
            [
              0.43278,
              0.46612,
              0.49001,
              0.52735,
              0.5848,
              0.67407,
              0.81839,
              1.07011
            ],
            [
              0.44217,
              0.47551,
              0.4994,
              0.53672,
              0.59421,
              0.68345,
              0.8278,
              1.07932
            ],
            [
              0.45659,
              0.48992,
              0.51381,
              0.55115,
              0.60861,
              0.6979,
              0.84225,
              1.09393
            ],
            [
              0.47834,
              0.51165,
              0.53551,
              0.57283,
              0.63032,
              0.7196,
              0.86406,
              1.11576
            ],
            [
              0.51052,
              0.54378,
              0.56761,
              0.6049,
              0.66239,
              0.7517,
              0.89615,
              1.14795
            ],
            [
              0.55324,
              0.58642,
              0.61021,
              0.64749,
              0.70489,
              0.79419,
              0.93869,
              1.19029
            ],
            [
              0.60182,
              0.63472,
              0.65842,
              0.69552,
              0.75282,
              0.84222,
              0.98672,
              1.23852
            ],
            [
              0.65417,
              0.68697,
              0.71057,
              0.74757,
              0.80477,
              0.89397,
              1.03837,
              1.29007
            ],
            [
              0.7078,
              0.7404,
              0.7639,
              0.8007,
              0.8577,
              0.9468,
              1.0914,
              1.3428
            ]
          ]
        },
        "cell_rise,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00654,
            0.01309,
            0.02618,
            0.05235,
            0.10471,
            0.20942,
            0.41884
          ],
          "values": [
            [
              0.34078,
              0.37804,
              0.40517,
              0.44883,
              0.52113,
              0.6493,
              0.89322,
              1.37527
            ],
            [
              0.3436,
              0.38085,
              0.40799,
              0.45164,
              0.52394,
              0.65213,
              0.89603,
              1.37804
            ],
            [
              0.34699,
              0.38424,
              0.41138,
              0.45504,
              0.52735,
              0.6555,
              0.89965,
              1.38142
            ],
            [
              0.35219,
              0.38943,
              0.41657,
              0.46024,
              0.53256,
              0.66073,
              0.90494,
              1.38648
            ],
            [
              0.36006,
              0.39732,
              0.42446,
              0.46812,
              0.54043,
              0.66861,
              0.91257,
              1.39451
            ],
            [
              0.37188,
              0.40915,
              0.43629,
              0.47995,
              0.55226,
              0.68044,
              0.9245,
              1.40622
            ],
            [
              0.38944,
              0.4267,
              0.45385,
              0.49751,
              0.56982,
              0.698,
              0.94223,
              1.42373
            ],
            [
              0.41505,
              0.45233,
              0.47947,
              0.52314,
              0.59544,
              0.72361,
              0.96756,
              1.44946
            ],
            [
              0.45137,
              0.48867,
              0.51582,
              0.55949,
              0.63179,
              0.75995,
              1.00405,
              1.48585
            ],
            [
              0.49717,
              0.53448,
              0.56161,
              0.60527,
              0.67759,
              0.80569,
              1.04979,
              1.53149
            ],
            [
              0.55712,
              0.59452,
              0.62162,
              0.66522,
              0.73742,
              0.86542,
              1.10962,
              1.59122
            ],
            [
              0.63357,
              0.67247,
              0.70087,
              0.74607,
              0.81977,
              0.94847,
              1.19247,
              1.67407
            ],
            [
              0.7334,
              0.7742,
              0.8042,
              0.8517,
              0.9281,
              1.0593,
              1.3039,
              1.7855
            ]
          ]
        },
        "fall_transition,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00654,
            0.01309,
            0.02618,
            0.05235,
            0.10471,
            0.20942,
            0.41884
          ],
          "values": [
            [
              0.05841,
              0.07986,
              0.09611,
              0.12339,
              0.16955,
              0.25041,
              0.40258,
              0.70871
            ],
            [
              0.05848,
              0.07989,
              0.09613,
              0.1234,
              0.16939,
              0.2508,
              0.40238,
              0.70828
            ],
            [
              0.05844,
              0.07987,
              0.09612,
              0.12342,
              0.16958,
              0.25049,
              0.40277,
              0.70897
            ],
            [
              0.05843,
              0.07987,
              0.09617,
              0.12346,
              0.16952,
              0.25076,
              0.40259,
              0.70861
            ],
            [
              0.05844,
              0.07986,
              0.09618,
              0.12347,
              0.16954,
              0.25076,
              0.40265,
              0.70868
            ],
            [
              0.05847,
              0.07992,
              0.09617,
              0.12339,
              0.16958,
              0.25034,
              0.4025,
              0.70845
            ],
            [
              0.05844,
              0.07989,
              0.09618,
              0.1235,
              0.16956,
              0.2508,
              0.40262,
              0.70851
            ],
            [
              0.05848,
              0.0799,
              0.09618,
              0.12344,
              0.16958,
              0.25096,
              0.4025,
              0.70834
            ],
            [
              0.05842,
              0.07987,
              0.09616,
              0.12354,
              0.16976,
              0.25101,
              0.40257,
              0.709
            ],
            [
              0.05832,
              0.07979,
              0.09616,
              0.12349,
              0.16973,
              0.251,
              0.4029,
              0.7088
            ],
            [
              0.0579,
              0.0795,
              0.0959,
              0.1233,
              0.1696,
              0.2506,
              0.4026,
              0.7093
            ],
            [
              0.058,
              0.0794,
              0.0958,
              0.1234,
              0.1695,
              0.2509,
              0.4027,
              0.7089
            ],
            [
              0.058,
              0.0792,
              0.0957,
              0.1233,
              0.1697,
              0.2508,
              0.4026,
              0.7086
            ]
          ]
        },
        "related_pin": "B",
        "rise_transition,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00654,
            0.01309,
            0.02618,
            0.05235,
            0.10471,
            0.20942,
            0.41884
          ],
          "values": [
            [
              0.04925,
              0.07971,
              0.10346,
              0.14645,
              0.23023,
              0.40238,
              0.75904,
              1.48466
            ],
            [
              0.04931,
              0.0797,
              0.10345,
              0.14646,
              0.23045,
              0.40227,
              0.75949,
              1.48511
            ],
            [
              0.04933,
              0.07973,
              0.10346,
              0.14643,
              0.23034,
              0.40243,
              0.75938,
              1.48661
            ],
            [
              0.04937,
              0.07972,
              0.10344,
              0.14649,
              0.23052,
              0.40248,
              0.75872,
              1.48695
            ],
            [
              0.04936,
              0.07973,
              0.10349,
              0.14649,
              0.23047,
              0.40225,
              0.75958,
              1.4854
            ],
            [
              0.0494,
              0.07974,
              0.1035,
              0.14653,
              0.23053,
              0.40223,
              0.75976,
              1.48589
            ],
            [
              0.04943,
              0.07978,
              0.1035,
              0.14655,
              0.23057,
              0.40244,
              0.76002,
              1.48684
            ],
            [
              0.04946,
              0.07982,
              0.10356,
              0.14657,
              0.23035,
              0.40237,
              0.75954,
              1.4856
            ],
            [
              0.04948,
              0.07992,
              0.10369,
              0.14661,
              0.23065,
              0.40277,
              0.75882,
              1.4849
            ],
            [
              0.04949,
              0.07991,
              0.10367,
              0.14662,
              0.23024,
              0.4024,
              0.7597,
              1.4869
            ],
            [
              0.0501,
              0.0804,
              0.1041,
              0.1469,
              0.2304,
              0.4024,
              0.7595,
              1.4848
            ],
            [
              0.0528,
              0.0846,
              0.1089,
              0.152,
              0.2347,
              0.4046,
              0.7591,
              1.4858
            ],
            [
              0.0566,
              0.09,
              0.1156,
              0.1594,
              0.2418,
              0.41,
              0.7616,
              1.4849
            ]
          ]
        },
        "sdf_cond": "(A&!CI)",
        "timing_sense": "positive_unate",
        "when": "(A&!CI)"
      },
      {
        "cell_fall,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00654,
            0.01309,
            0.02618,
            0.05235,
            0.10471,
            0.20942,
            0.41884
          ],
          "values": [
            [
              0.31886,
              0.35316,
              0.37765,
              0.41564,
              0.47383,
              0.56402,
              0.70954,
              0.96174
            ],
            [
              0.32135,
              0.35564,
              0.38012,
              0.41814,
              0.47633,
              0.56652,
              0.71202,
              0.96445
            ],
            [
              0.32433,
              0.35864,
              0.38312,
              0.42112,
              0.47931,
              0.5695,
              0.71503,
              0.96723
            ],
            [
              0.32899,
              0.36329,
              0.38777,
              0.42579,
              0.48396,
              0.57417,
              0.71967,
              0.97198
            ],
            [
              0.33611,
              0.37039,
              0.39487,
              0.43288,
              0.49108,
              0.58128,
              0.7268,
              0.97911
            ],
            [
              0.34683,
              0.38112,
              0.40559,
              0.44361,
              0.50181,
              0.59202,
              0.73756,
              0.98982
            ],
            [
              0.36302,
              0.3973,
              0.42175,
              0.45976,
              0.51798,
              0.60821,
              0.75374,
              1.00613
            ],
            [
              0.38732,
              0.42157,
              0.446,
              0.484,
              0.54223,
              0.6325,
              0.7781,
              1.03036
            ],
            [
              0.42305,
              0.45728,
              0.4817,
              0.51969,
              0.57795,
              0.66833,
              0.81405,
              1.06635
            ],
            [
              0.47393,
              0.50818,
              0.5326,
              0.57061,
              0.62893,
              0.71939,
              0.86529,
              1.11769
            ],
            [
              0.54102,
              0.57612,
              0.60102,
              0.63952,
              0.69822,
              0.78912,
              0.93532,
              1.18802
            ],
            [
              0.61717,
              0.65447,
              0.68087,
              0.72147,
              0.78297,
              0.87667,
              1.02467,
              1.27827
            ],
            [
              0.7004,
              0.7404,
              0.7687,
              0.812,
              0.8774,
              0.9761,
              1.1297,
              1.3867
            ]
          ]
        },
        "cell_rise,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00654,
            0.01309,
            0.02618,
            0.05235,
            0.10471,
            0.20942,
            0.41884
          ],
          "values": [
            [
              0.22776,
              0.26582,
              0.29388,
              0.33939,
              0.41469,
              0.54669,
              0.79875,
              1.30277
            ],
            [
              0.23061,
              0.26867,
              0.29674,
              0.34225,
              0.41756,
              0.54954,
              0.80157,
              1.30604
            ],
            [
              0.234,
              0.27206,
              0.30013,
              0.34564,
              0.42095,
              0.55293,
              0.80497,
              1.30922
            ],
            [
              0.2391,
              0.27715,
              0.30522,
              0.35073,
              0.42606,
              0.55802,
              0.81012,
              1.31418
            ],
            [
              0.24677,
              0.28484,
              0.3129,
              0.35841,
              0.43373,
              0.5657,
              0.81779,
              1.32191
            ],
            [
              0.2582,
              0.29626,
              0.32433,
              0.36984,
              0.44516,
              0.57714,
              0.82919,
              1.33342
            ],
            [
              0.27524,
              0.31329,
              0.34136,
              0.38686,
              0.46216,
              0.59415,
              0.84623,
              1.35023
            ],
            [
              0.30064,
              0.3387,
              0.36676,
              0.41224,
              0.4875,
              0.61949,
              0.87156,
              1.37536
            ],
            [
              0.33721,
              0.37524,
              0.40327,
              0.44871,
              0.52394,
              0.65587,
              0.90795,
              1.41205
            ],
            [
              0.38797,
              0.42618,
              0.45424,
              0.49967,
              0.57487,
              0.70679,
              0.95879,
              1.46319
            ],
            [
              0.45302,
              0.49282,
              0.52192,
              0.56852,
              0.64442,
              0.77652,
              1.02852,
              1.53242
            ],
            [
              0.53457,
              0.57647,
              0.60717,
              0.65587,
              0.73437,
              0.86827,
              1.12057,
              1.62477
            ],
            [
              0.6374,
              0.6817,
              0.7145,
              0.7662,
              0.8481,
              0.985,
              1.2388,
              1.7426
            ]
          ]
        },
        "fall_transition,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00654,
            0.01309,
            0.02618,
            0.05235,
            0.10471,
            0.20942,
            0.41884
          ],
          "values": [
            [
              0.0647,
              0.08479,
              0.10029,
              0.12665,
              0.1725,
              0.25371,
              0.40568,
              0.71091
            ],
            [
              0.06472,
              0.08476,
              0.10031,
              0.12673,
              0.17244,
              0.25378,
              0.40606,
              0.71042
            ],
            [
              0.06472,
              0.08479,
              0.10027,
              0.12667,
              0.17251,
              0.2537,
              0.40568,
              0.71088
            ],
            [
              0.0647,
              0.08476,
              0.10032,
              0.12672,
              0.17251,
              0.2539,
              0.40582,
              0.7114
            ],
            [
              0.06471,
              0.08479,
              0.10026,
              0.12668,
              0.17253,
              0.2539,
              0.40583,
              0.71141
            ],
            [
              0.06467,
              0.08478,
              0.10032,
              0.12674,
              0.17248,
              0.25364,
              0.40588,
              0.71072
            ],
            [
              0.06471,
              0.08482,
              0.1003,
              0.12671,
              0.17256,
              0.25394,
              0.40589,
              0.71146
            ],
            [
              0.06474,
              0.08483,
              0.10037,
              0.12678,
              0.17262,
              0.25374,
              0.40569,
              0.7108
            ],
            [
              0.06482,
              0.08499,
              0.1005,
              0.12693,
              0.17277,
              0.25405,
              0.40581,
              0.71086
            ],
            [
              0.06555,
              0.08566,
              0.10114,
              0.12758,
              0.17332,
              0.25446,
              0.4062,
              0.7114
            ],
            [
              0.0709,
              0.0903,
              0.1053,
              0.1309,
              0.1756,
              0.256,
              0.4072,
              0.712
            ],
            [
              0.0803,
              0.1,
              0.1153,
              0.141,
              0.1853,
              0.264,
              0.4122,
              0.7142
            ],
            [
              0.0929,
              0.1131,
              0.1286,
              0.1548,
              0.1999,
              0.2791,
              0.4252,
              0.7209
            ]
          ]
        },
        "related_pin": "CI",
        "rise_transition,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00654,
            0.01309,
            0.02618,
            0.05235,
            0.10471,
            0.20942,
            0.41884
          ],
          "values": [
            [
              0.04809,
              0.08021,
              0.10553,
              0.15085,
              0.23721,
              0.41411,
              0.7838,
              1.53408
            ],
            [
              0.04814,
              0.08028,
              0.1056,
              0.15088,
              0.23722,
              0.41416,
              0.7836,
              1.53449
            ],
            [
              0.04813,
              0.08038,
              0.10563,
              0.1509,
              0.23724,
              0.41417,
              0.78369,
              1.53448
            ],
            [
              0.0481,
              0.08021,
              0.10554,
              0.15075,
              0.23723,
              0.4142,
              0.78386,
              1.53424
            ],
            [
              0.04808,
              0.08022,
              0.10554,
              0.15076,
              0.23725,
              0.4142,
              0.78381,
              1.53429
            ],
            [
              0.04812,
              0.08038,
              0.10566,
              0.15094,
              0.23726,
              0.41422,
              0.78368,
              1.53415
            ],
            [
              0.0481,
              0.08022,
              0.10554,
              0.15088,
              0.23729,
              0.4142,
              0.78378,
              1.53413
            ],
            [
              0.04813,
              0.08028,
              0.10565,
              0.15097,
              0.23735,
              0.41422,
              0.78386,
              1.53348
            ],
            [
              0.04817,
              0.08043,
              0.10565,
              0.15109,
              0.23749,
              0.41426,
              0.78367,
              1.5342
            ],
            [
              0.04932,
              0.08137,
              0.10665,
              0.1518,
              0.23794,
              0.41444,
              0.7838,
              1.5345
            ],
            [
              0.05276,
              0.0858,
              0.1112,
              0.1558,
              0.2407,
              0.4156,
              0.7839,
              1.5337
            ],
            [
              0.0573,
              0.0921,
              0.1184,
              0.1636,
              0.2477,
              0.4202,
              0.7857,
              1.5345
            ],
            [
              0.0639,
              0.1005,
              0.128,
              0.1741,
              0.258,
              0.4283,
              0.7899,
              1.5346
            ]
          ]
        },
        "sdf_cond": "(!A&B)",
        "timing_sense": "positive_unate",
        "when": "(!A&B)"
      },
      {
        "cell_fall,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00654,
            0.01309,
            0.02618,
            0.05235,
            0.10471,
            0.20942,
            0.41884
          ],
          "values": [
            [
              0.31957,
              0.35381,
              0.37825,
              0.4162,
              0.47433,
              0.56446,
              0.70991,
              0.96201
            ],
            [
              0.32207,
              0.35629,
              0.38074,
              0.41871,
              0.47684,
              0.56696,
              0.71239,
              0.96469
            ],
            [
              0.32505,
              0.35929,
              0.38373,
              0.42168,
              0.47982,
              0.56995,
              0.71539,
              0.96749
            ],
            [
              0.32971,
              0.36394,
              0.38838,
              0.42634,
              0.48446,
              0.57461,
              0.72003,
              0.97228
            ],
            [
              0.33682,
              0.37105,
              0.39547,
              0.43344,
              0.49158,
              0.58173,
              0.72716,
              0.97941
            ],
            [
              0.34756,
              0.38178,
              0.4062,
              0.44417,
              0.50231,
              0.59246,
              0.73791,
              0.99012
            ],
            [
              0.36372,
              0.39793,
              0.42234,
              0.4603,
              0.51846,
              0.60864,
              0.7541,
              1.00633
            ],
            [
              0.38799,
              0.42217,
              0.44657,
              0.48452,
              0.54269,
              0.6329,
              0.77843,
              1.03066
            ],
            [
              0.42368,
              0.45785,
              0.48222,
              0.52017,
              0.57837,
              0.66866,
              0.81425,
              1.06645
            ],
            [
              0.47448,
              0.50866,
              0.53304,
              0.571,
              0.62928,
              0.71969,
              0.86549,
              1.11789
            ],
            [
              0.54142,
              0.57652,
              0.60132,
              0.63982,
              0.69852,
              0.78932,
              0.93542,
              1.18802
            ],
            [
              0.61747,
              0.65477,
              0.68107,
              0.72167,
              0.78307,
              0.87677,
              1.02467,
              1.27817
            ],
            [
              0.7007,
              0.7406,
              0.7688,
              0.8122,
              0.8775,
              0.9762,
              1.1297,
              1.3866
            ]
          ]
        },
        "cell_rise,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00654,
            0.01309,
            0.02618,
            0.05235,
            0.10471,
            0.20942,
            0.41884
          ],
          "values": [
            [
              0.22704,
              0.26509,
              0.29315,
              0.33866,
              0.41398,
              0.54599,
              0.79806,
              1.30197
            ],
            [
              0.22989,
              0.26794,
              0.29601,
              0.34152,
              0.41685,
              0.54884,
              0.80086,
              1.30534
            ],
            [
              0.23327,
              0.27132,
              0.29939,
              0.3449,
              0.42024,
              0.55223,
              0.80429,
              1.30862
            ],
            [
              0.23836,
              0.27642,
              0.30447,
              0.35,
              0.42534,
              0.55732,
              0.80939,
              1.31347
            ],
            [
              0.24605,
              0.2841,
              0.31216,
              0.35767,
              0.43301,
              0.565,
              0.81707,
              1.32111
            ],
            [
              0.25748,
              0.29553,
              0.3236,
              0.36911,
              0.44445,
              0.57644,
              0.82849,
              1.33272
            ],
            [
              0.27454,
              0.31266,
              0.34065,
              0.38615,
              0.46146,
              0.59347,
              0.84555,
              1.34953
            ],
            [
              0.29998,
              0.33802,
              0.36608,
              0.41156,
              0.48684,
              0.61885,
              0.87096,
              1.37526
            ],
            [
              0.3366,
              0.37462,
              0.40264,
              0.44807,
              0.52333,
              0.65527,
              0.90735,
              1.41135
            ],
            [
              0.38742,
              0.42562,
              0.45367,
              0.49911,
              0.57432,
              0.70619,
              0.95829,
              1.46279
            ],
            [
              0.45242,
              0.49232,
              0.52142,
              0.56802,
              0.64392,
              0.77612,
              1.02802,
              1.53202
            ],
            [
              0.53407,
              0.57597,
              0.60667,
              0.65547,
              0.73397,
              0.86787,
              1.12017,
              1.62437
            ],
            [
              0.637,
              0.6813,
              0.7141,
              0.7658,
              0.8477,
              0.9846,
              1.2385,
              1.7423
            ]
          ]
        },
        "fall_transition,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00654,
            0.01309,
            0.02618,
            0.05235,
            0.10471,
            0.20942,
            0.41884
          ],
          "values": [
            [
              0.06444,
              0.08462,
              0.10007,
              0.12652,
              0.17232,
              0.25347,
              0.40551,
              0.7107
            ],
            [
              0.06451,
              0.0846,
              0.1001,
              0.12656,
              0.17224,
              0.25364,
              0.40588,
              0.71013
            ],
            [
              0.06448,
              0.08461,
              0.10007,
              0.12652,
              0.17233,
              0.2535,
              0.40549,
              0.71067
            ],
            [
              0.06445,
              0.08461,
              0.1001,
              0.12652,
              0.17236,
              0.25371,
              0.40557,
              0.71119
            ],
            [
              0.06446,
              0.08462,
              0.10011,
              0.1265,
              0.17236,
              0.25371,
              0.40559,
              0.7112
            ],
            [
              0.0645,
              0.08462,
              0.10011,
              0.12658,
              0.17227,
              0.25353,
              0.4057,
              0.71041
            ],
            [
              0.06452,
              0.0846,
              0.10014,
              0.12653,
              0.17241,
              0.25375,
              0.4057,
              0.71126
            ],
            [
              0.06453,
              0.08461,
              0.10019,
              0.12664,
              0.17243,
              0.25349,
              0.40565,
              0.71063
            ],
            [
              0.06468,
              0.08481,
              0.10029,
              0.12684,
              0.17259,
              0.25365,
              0.40573,
              0.71074
            ],
            [
              0.06539,
              0.08548,
              0.10098,
              0.12739,
              0.17307,
              0.25427,
              0.4061,
              0.7113
            ],
            [
              0.0707,
              0.0901,
              0.105,
              0.1306,
              0.1754,
              0.2558,
              0.4069,
              0.7119
            ],
            [
              0.08,
              0.0998,
              0.115,
              0.1408,
              0.185,
              0.2639,
              0.4119,
              0.714
            ],
            [
              0.0926,
              0.1127,
              0.1283,
              0.1546,
              0.1997,
              0.2789,
              0.425,
              0.7207
            ]
          ]
        },
        "related_pin": "CI",
        "rise_transition,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00654,
            0.01309,
            0.02618,
            0.05235,
            0.10471,
            0.20942,
            0.41884
          ],
          "values": [
            [
              0.04812,
              0.0802,
              0.10553,
              0.15086,
              0.23724,
              0.41409,
              0.7838,
              1.53388
            ],
            [
              0.04808,
              0.08034,
              0.1056,
              0.15089,
              0.23725,
              0.41419,
              0.7836,
              1.53449
            ],
            [
              0.04807,
              0.08034,
              0.10561,
              0.1509,
              0.23725,
              0.41419,
              0.78371,
              1.53448
            ],
            [
              0.04804,
              0.08022,
              0.10548,
              0.15078,
              0.23725,
              0.41421,
              0.78386,
              1.53424
            ],
            [
              0.04802,
              0.08014,
              0.10549,
              0.15079,
              0.23725,
              0.41421,
              0.78382,
              1.5342
            ],
            [
              0.04807,
              0.08034,
              0.10548,
              0.15092,
              0.23727,
              0.41424,
              0.78369,
              1.53435
            ],
            [
              0.04812,
              0.08022,
              0.10554,
              0.1509,
              0.23731,
              0.4142,
              0.78386,
              1.53422
            ],
            [
              0.04808,
              0.08037,
              0.10565,
              0.15098,
              0.23738,
              0.41428,
              0.78381,
              1.53465
            ],
            [
              0.04812,
              0.08033,
              0.10563,
              0.15096,
              0.23752,
              0.41428,
              0.78366,
              1.5341
            ],
            [
              0.04934,
              0.08136,
              0.10641,
              0.15181,
              0.23796,
              0.41439,
              0.7839,
              1.5345
            ],
            [
              0.05268,
              0.0858,
              0.1112,
              0.1558,
              0.2407,
              0.4156,
              0.7839,
              1.5335
            ],
            [
              0.0573,
              0.092,
              0.1185,
              0.1635,
              0.2478,
              0.4202,
              0.7858,
              1.5345
            ],
            [
              0.0639,
              0.1006,
              0.1281,
              0.1743,
              0.258,
              0.4283,
              0.7899,
              1.5347
            ]
          ]
        },
        "sdf_cond": "(A&!B)",
        "timing_sense": "positive_unate",
        "when": "(A&!B)"
      }
    ]
  },
  "pin,SUM": {
    "direction": "output",
    "function": "(A&!B&!CI) | (!A&B&!CI) | (!A&!B&CI) | (A&B&CI)",
    "internal_power": [
      {
        "fall_power,pwr_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0081,
            0.01621,
            0.03241,
            0.06481,
            0.12962,
            0.25925,
            0.5185
          ],
          "values": [
            [
              0.08401,
              0.07121,
              0.05976,
              0.03828,
              -0.00334,
              -0.08604,
              -0.25166,
              -0.58328
            ],
            [
              0.08387,
              0.07107,
              0.05962,
              0.03812,
              -0.00349,
              -0.08617,
              -0.25181,
              -0.58343
            ],
            [
              0.08374,
              0.07095,
              0.0595,
              0.038,
              -0.00361,
              -0.0863,
              -0.25194,
              -0.58355
            ],
            [
              0.08361,
              0.07082,
              0.05937,
              0.03786,
              -0.00375,
              -0.08642,
              -0.25207,
              -0.58368
            ],
            [
              0.08347,
              0.07066,
              0.05924,
              0.03776,
              -0.00386,
              -0.08655,
              -0.25219,
              -0.5838
            ],
            [
              0.08338,
              0.07059,
              0.05916,
              0.03767,
              -0.00394,
              -0.08663,
              -0.25228,
              -0.58388
            ],
            [
              0.08341,
              0.0706,
              0.05916,
              0.03768,
              -0.00394,
              -0.08663,
              -0.25226,
              -0.58387
            ],
            [
              0.08355,
              0.07075,
              0.05932,
              0.03784,
              -0.00377,
              -0.08647,
              -0.25209,
              -0.58372
            ],
            [
              0.08404,
              0.07125,
              0.0598,
              0.03832,
              -0.00329,
              -0.08598,
              -0.25162,
              -0.58323
            ],
            [
              0.08509,
              0.0723,
              0.06085,
              0.03936,
              -0.00226,
              -0.08493,
              -0.25058,
              -0.58219
            ],
            [
              0.08694,
              0.07416,
              0.06271,
              0.0412,
              -0.00042,
              -0.08311,
              -0.24873,
              -0.58034
            ],
            [
              0.09007,
              0.07729,
              0.06585,
              0.04439,
              0.00277,
              -0.07991,
              -0.24554,
              -0.57715
            ],
            [
              0.09525,
              0.08248,
              0.07104,
              0.04955,
              0.00791,
              -0.0748,
              -0.2404,
              -0.57198
            ]
          ]
        },
        "related_pin": "A",
        "rise_power,pwr_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0081,
            0.01621,
            0.03241,
            0.06481,
            0.12962,
            0.25925,
            0.5185
          ],
          "values": [
            [
              0.06341,
              0.07283,
              0.08288,
              0.10324,
              0.14438,
              0.22672,
              0.39124,
              0.72247
            ],
            [
              0.06323,
              0.07265,
              0.08271,
              0.10311,
              0.1443,
              0.22649,
              0.39143,
              0.7227
            ],
            [
              0.06301,
              0.07241,
              0.08245,
              0.1029,
              0.14395,
              0.2262,
              0.39095,
              0.7229
            ],
            [
              0.06288,
              0.07227,
              0.08232,
              0.10273,
              0.14382,
              0.22614,
              0.39045,
              0.72282
            ],
            [
              0.06265,
              0.07205,
              0.0821,
              0.10246,
              0.14361,
              0.22611,
              0.39008,
              0.72138
            ],
            [
              0.06243,
              0.07183,
              0.08186,
              0.10226,
              0.1434,
              0.22601,
              0.39047,
              0.72104
            ],
            [
              0.06229,
              0.07169,
              0.08172,
              0.10213,
              0.14319,
              0.22565,
              0.38972,
              0.72127
            ],
            [
              0.06222,
              0.07163,
              0.08169,
              0.10208,
              0.14316,
              0.22572,
              0.38969,
              0.72121
            ],
            [
              0.06235,
              0.07177,
              0.08182,
              0.1022,
              0.14347,
              0.22583,
              0.3905,
              0.72121
            ],
            [
              0.06296,
              0.07239,
              0.08245,
              0.10286,
              0.14415,
              0.22672,
              0.3908,
              0.72185
            ],
            [
              0.06432,
              0.07377,
              0.08387,
              0.10432,
              0.1455,
              0.22801,
              0.39212,
              0.72288
            ],
            [
              0.06706,
              0.07654,
              0.08666,
              0.10712,
              0.14809,
              0.23039,
              0.39462,
              0.72533
            ],
            [
              0.07181,
              0.08132,
              0.09143,
              0.11192,
              0.15336,
              0.23559,
              0.39994,
              0.73181
            ]
          ]
        },
        "when": "(!B&!CI) | (B&CI)"
      },
      {
        "fall_power,pwr_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0081,
            0.01621,
            0.03241,
            0.06481,
            0.12962,
            0.25925,
            0.5185
          ],
          "values": [
            [
              0.09476,
              0.09789,
              0.10293,
              0.11471,
              0.13989,
              0.19034,
              0.29194,
              0.49494
            ],
            [
              0.09458,
              0.09772,
              0.10273,
              0.11453,
              0.13973,
              0.19028,
              0.29169,
              0.49426
            ],
            [
              0.09436,
              0.09749,
              0.10252,
              0.11432,
              0.13947,
              0.19011,
              0.29095,
              0.49484
            ],
            [
              0.09423,
              0.09735,
              0.10239,
              0.11418,
              0.13933,
              0.18986,
              0.29122,
              0.49425
            ],
            [
              0.094,
              0.09714,
              0.10218,
              0.11396,
              0.13915,
              0.1897,
              0.29089,
              0.49379
            ],
            [
              0.0938,
              0.09692,
              0.10194,
              0.11374,
              0.13893,
              0.18949,
              0.2908,
              0.49368
            ],
            [
              0.09364,
              0.09676,
              0.10181,
              0.1136,
              0.1388,
              0.18927,
              0.29078,
              0.49414
            ],
            [
              0.09358,
              0.0967,
              0.10174,
              0.11354,
              0.13875,
              0.18926,
              0.2905,
              0.49345
            ],
            [
              0.09374,
              0.09687,
              0.10192,
              0.11373,
              0.13896,
              0.18958,
              0.29047,
              0.49369
            ],
            [
              0.09441,
              0.09754,
              0.10258,
              0.11441,
              0.13967,
              0.19022,
              0.29124,
              0.49401
            ],
            [
              0.09584,
              0.09896,
              0.10402,
              0.11585,
              0.14112,
              0.1917,
              0.29282,
              0.4961
            ],
            [
              0.09863,
              0.10178,
              0.10682,
              0.11867,
              0.14394,
              0.19463,
              0.29547,
              0.49859
            ],
            [
              0.10351,
              0.10665,
              0.1117,
              0.12352,
              0.14883,
              0.19933,
              0.30045,
              0.50329
            ]
          ]
        },
        "related_pin": "A",
        "rise_power,pwr_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0081,
            0.01621,
            0.03241,
            0.06481,
            0.12962,
            0.25925,
            0.5185
          ],
          "values": [
            [
              0.10685,
              0.11457,
              0.1239,
              0.14388,
              0.18514,
              0.26767,
              0.43215,
              0.76277
            ],
            [
              0.1067,
              0.11443,
              0.12378,
              0.14373,
              0.18505,
              0.26736,
              0.43196,
              0.76289
            ],
            [
              0.10656,
              0.11432,
              0.12362,
              0.14364,
              0.18489,
              0.2674,
              0.43221,
              0.76295
            ],
            [
              0.10643,
              0.11418,
              0.12351,
              0.14351,
              0.18471,
              0.26718,
              0.43172,
              0.76249
            ],
            [
              0.1063,
              0.11404,
              0.12337,
              0.14342,
              0.18464,
              0.26711,
              0.43207,
              0.76235
            ],
            [
              0.1062,
              0.114,
              0.12329,
              0.14332,
              0.18449,
              0.26686,
              0.43167,
              0.76219
            ],
            [
              0.10623,
              0.11395,
              0.12328,
              0.14326,
              0.18451,
              0.26704,
              0.43164,
              0.76197
            ],
            [
              0.10636,
              0.11411,
              0.12344,
              0.1435,
              0.1847,
              0.26723,
              0.43199,
              0.76335
            ],
            [
              0.10689,
              0.11462,
              0.12394,
              0.14393,
              0.18514,
              0.26765,
              0.432,
              0.76271
            ],
            [
              0.10803,
              0.11575,
              0.12506,
              0.145,
              0.1861,
              0.26862,
              0.43323,
              0.76346
            ],
            [
              0.11013,
              0.11778,
              0.12704,
              0.147,
              0.18807,
              0.27049,
              0.43575,
              0.76704
            ],
            [
              0.11362,
              0.12126,
              0.13056,
              0.15034,
              0.19145,
              0.2737,
              0.43874,
              0.76914
            ],
            [
              0.11929,
              0.12687,
              0.13607,
              0.15593,
              0.197,
              0.27926,
              0.44338,
              0.7743
            ]
          ]
        },
        "when": "(B&!CI) | (!B&CI)"
      },
      {
        "fall_power,pwr_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0081,
            0.01621,
            0.03241,
            0.06481,
            0.12962,
            0.25925,
            0.5185
          ],
          "values": [
            [
              0.08066,
              0.06786,
              0.0564,
              0.0349,
              -0.00672,
              -0.08942,
              -0.25503,
              -0.58663
            ],
            [
              0.08053,
              0.0677,
              0.05626,
              0.03476,
              -0.00687,
              -0.08957,
              -0.25518,
              -0.58678
            ],
            [
              0.08047,
              0.06764,
              0.0562,
              0.03469,
              -0.00694,
              -0.08964,
              -0.25525,
              -0.58685
            ],
            [
              0.08035,
              0.06754,
              0.05608,
              0.03455,
              -0.00708,
              -0.08974,
              -0.25537,
              -0.58697
            ],
            [
              0.08031,
              0.0675,
              0.05606,
              0.03456,
              -0.00708,
              -0.08977,
              -0.25538,
              -0.58699
            ],
            [
              0.08043,
              0.06761,
              0.05617,
              0.03467,
              -0.00698,
              -0.08966,
              -0.25528,
              -0.58689
            ],
            [
              0.08077,
              0.06795,
              0.05649,
              0.03497,
              -0.00665,
              -0.08935,
              -0.25497,
              -0.58657
            ],
            [
              0.08149,
              0.06867,
              0.05719,
              0.03568,
              -0.00598,
              -0.08867,
              -0.25427,
              -0.58587
            ],
            [
              0.08272,
              0.06989,
              0.05842,
              0.03688,
              -0.00478,
              -0.08746,
              -0.25307,
              -0.58467
            ],
            [
              0.08457,
              0.07172,
              0.06025,
              0.03872,
              -0.00295,
              -0.08563,
              -0.25127,
              -0.58286
            ],
            [
              0.08713,
              0.07432,
              0.06284,
              0.0413,
              -0.00039,
              -0.08308,
              -0.24869,
              -0.58027
            ],
            [
              0.09085,
              0.07801,
              0.06658,
              0.04504,
              0.00335,
              -0.07938,
              -0.24498,
              -0.57657
            ],
            [
              0.09627,
              0.08344,
              0.07197,
              0.0504,
              0.00867,
              -0.07405,
              -0.23963,
              -0.57118
            ]
          ]
        },
        "related_pin": "B",
        "rise_power,pwr_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0081,
            0.01621,
            0.03241,
            0.06481,
            0.12962,
            0.25925,
            0.5185
          ],
          "values": [
            [
              0.05078,
              0.06018,
              0.07021,
              0.09061,
              0.13184,
              0.2142,
              0.37854,
              0.70959
            ],
            [
              0.0509,
              0.06028,
              0.07033,
              0.09068,
              0.13181,
              0.21427,
              0.37841,
              0.71021
            ],
            [
              0.05085,
              0.06023,
              0.07026,
              0.09065,
              0.13175,
              0.21414,
              0.37827,
              0.70986
            ],
            [
              0.05082,
              0.0602,
              0.07023,
              0.09063,
              0.13172,
              0.21423,
              0.37823,
              0.70997
            ],
            [
              0.05084,
              0.06025,
              0.0703,
              0.09069,
              0.1319,
              0.21409,
              0.37898,
              0.71004
            ],
            [
              0.05094,
              0.06031,
              0.07034,
              0.09078,
              0.1318,
              0.21433,
              0.37851,
              0.70967
            ],
            [
              0.05127,
              0.06066,
              0.07072,
              0.09101,
              0.1322,
              0.21448,
              0.37886,
              0.71073
            ],
            [
              0.05192,
              0.06129,
              0.07131,
              0.09167,
              0.13276,
              0.21509,
              0.37924,
              0.71075
            ],
            [
              0.05304,
              0.06242,
              0.07242,
              0.09278,
              0.1339,
              0.2159,
              0.3808,
              0.71208
            ],
            [
              0.0548,
              0.06415,
              0.07415,
              0.09459,
              0.13565,
              0.21795,
              0.38253,
              0.71314
            ],
            [
              0.05733,
              0.06667,
              0.07665,
              0.09694,
              0.13796,
              0.22025,
              0.38447,
              0.71644
            ],
            [
              0.06118,
              0.0705,
              0.08051,
              0.10074,
              0.14154,
              0.22382,
              0.38816,
              0.71984
            ],
            [
              0.06716,
              0.07644,
              0.08636,
              0.10673,
              0.14778,
              0.22976,
              0.39352,
              0.72439
            ]
          ]
        },
        "when": "(!A&!CI) | (A&CI)"
      },
      {
        "fall_power,pwr_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0081,
            0.01621,
            0.03241,
            0.06481,
            0.12962,
            0.25925,
            0.5185
          ],
          "values": [
            [
              0.08175,
              0.08483,
              0.08986,
              0.10163,
              0.12683,
              0.17741,
              0.27883,
              0.48127
            ],
            [
              0.08173,
              0.08482,
              0.08982,
              0.10161,
              0.1268,
              0.1774,
              0.27885,
              0.48135
            ],
            [
              0.08166,
              0.08476,
              0.08977,
              0.10155,
              0.12678,
              0.1773,
              0.27868,
              0.48182
            ],
            [
              0.08162,
              0.0847,
              0.08972,
              0.1015,
              0.1267,
              0.17724,
              0.27869,
              0.48184
            ],
            [
              0.08159,
              0.08468,
              0.08968,
              0.10145,
              0.12666,
              0.17724,
              0.27856,
              0.48188
            ],
            [
              0.08153,
              0.08462,
              0.08962,
              0.10141,
              0.12658,
              0.17724,
              0.27859,
              0.48193
            ],
            [
              0.0816,
              0.08468,
              0.0897,
              0.10146,
              0.12664,
              0.17715,
              0.27832,
              0.48085
            ],
            [
              0.08176,
              0.08482,
              0.08982,
              0.10157,
              0.12672,
              0.17718,
              0.27875,
              0.4819
            ],
            [
              0.0822,
              0.08527,
              0.09026,
              0.10201,
              0.1271,
              0.17765,
              0.27888,
              0.48158
            ],
            [
              0.08309,
              0.08615,
              0.09116,
              0.10285,
              0.12791,
              0.17831,
              0.27951,
              0.48183
            ],
            [
              0.08478,
              0.08782,
              0.09279,
              0.10444,
              0.12937,
              0.17979,
              0.28114,
              0.48357
            ],
            [
              0.08768,
              0.09074,
              0.09567,
              0.10722,
              0.13201,
              0.18221,
              0.28328,
              0.48631
            ],
            [
              0.09248,
              0.09551,
              0.1004,
              0.11185,
              0.13657,
              0.1865,
              0.28741,
              0.4914
            ]
          ]
        },
        "related_pin": "B",
        "rise_power,pwr_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0081,
            0.01621,
            0.03241,
            0.06481,
            0.12962,
            0.25925,
            0.5185
          ],
          "values": [
            [
              0.10158,
              0.10936,
              0.1187,
              0.13873,
              0.18003,
              0.26228,
              0.42753,
              0.75859
            ],
            [
              0.10151,
              0.10928,
              0.11862,
              0.1386,
              0.17974,
              0.26225,
              0.42728,
              0.75839
            ],
            [
              0.10135,
              0.10912,
              0.11845,
              0.13849,
              0.17981,
              0.26234,
              0.42677,
              0.75829
            ],
            [
              0.10122,
              0.10902,
              0.11838,
              0.13838,
              0.1796,
              0.26226,
              0.42679,
              0.75779
            ],
            [
              0.10116,
              0.10893,
              0.1183,
              0.1383,
              0.17956,
              0.26205,
              0.42695,
              0.75786
            ],
            [
              0.1011,
              0.1089,
              0.11822,
              0.13822,
              0.17944,
              0.26187,
              0.4268,
              0.75715
            ],
            [
              0.10118,
              0.10898,
              0.11833,
              0.13832,
              0.17952,
              0.26202,
              0.42648,
              0.75841
            ],
            [
              0.10146,
              0.10926,
              0.11858,
              0.1386,
              0.17977,
              0.26241,
              0.42693,
              0.75836
            ],
            [
              0.10207,
              0.10989,
              0.11918,
              0.1392,
              0.18037,
              0.26298,
              0.42773,
              0.75882
            ],
            [
              0.10328,
              0.11105,
              0.12036,
              0.14028,
              0.18135,
              0.2639,
              0.4288,
              0.75885
            ],
            [
              0.10541,
              0.11307,
              0.12235,
              0.1422,
              0.18321,
              0.26543,
              0.43047,
              0.76144
            ],
            [
              0.10912,
              0.11668,
              0.12585,
              0.14553,
              0.18625,
              0.26866,
              0.4331,
              0.76337
            ],
            [
              0.11497,
              0.12229,
              0.13129,
              0.15084,
              0.19164,
              0.27345,
              0.43779,
              0.76925
            ]
          ]
        },
        "when": "(A&!CI) | (!A&CI)"
      },
      {
        "fall_power,pwr_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0081,
            0.01621,
            0.03241,
            0.06481,
            0.12962,
            0.25925,
            0.5185
          ],
          "values": [
            [
              0.05655,
              0.04357,
              0.03201,
              0.01036,
              -0.03149,
              -0.11442,
              -0.28024,
              -0.61205
            ],
            [
              0.0565,
              0.04355,
              0.03196,
              0.01032,
              -0.03154,
              -0.11448,
              -0.28028,
              -0.61209
            ],
            [
              0.05647,
              0.04352,
              0.03195,
              0.01028,
              -0.03158,
              -0.1145,
              -0.28033,
              -0.61212
            ],
            [
              0.05643,
              0.04347,
              0.0319,
              0.01024,
              -0.03162,
              -0.11453,
              -0.28035,
              -0.61216
            ],
            [
              0.05641,
              0.04342,
              0.03186,
              0.01018,
              -0.03165,
              -0.11458,
              -0.28039,
              -0.61219
            ],
            [
              0.05639,
              0.04344,
              0.03184,
              0.01017,
              -0.03168,
              -0.11461,
              -0.28043,
              -0.61222
            ],
            [
              0.0564,
              0.04338,
              0.03183,
              0.01016,
              -0.03171,
              -0.11465,
              -0.28045,
              -0.61223
            ],
            [
              0.05643,
              0.04343,
              0.03185,
              0.01016,
              -0.03174,
              -0.11467,
              -0.28045,
              -0.61223
            ],
            [
              0.05658,
              0.04361,
              0.03196,
              0.01022,
              -0.03171,
              -0.11464,
              -0.28041,
              -0.61216
            ],
            [
              0.05715,
              0.04411,
              0.03244,
              0.0106,
              -0.03139,
              -0.11437,
              -0.28012,
              -0.61185
            ],
            [
              0.05865,
              0.04545,
              0.03363,
              0.01161,
              -0.03061,
              -0.1137,
              -0.2795,
              -0.6112
            ],
            [
              0.06169,
              0.04813,
              0.0361,
              0.01375,
              -0.02883,
              -0.11218,
              -0.2781,
              -0.60987
            ],
            [
              0.06635,
              0.05242,
              0.04005,
              0.01722,
              -0.02586,
              -0.10964,
              -0.27577,
              -0.60762
            ]
          ]
        },
        "related_pin": "CI",
        "rise_power,pwr_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0081,
            0.01621,
            0.03241,
            0.06481,
            0.12962,
            0.25925,
            0.5185
          ],
          "values": [
            [
              0.04337,
              0.05291,
              0.06306,
              0.08359,
              0.12474,
              0.20668,
              0.37122,
              0.70242
            ],
            [
              0.04332,
              0.05289,
              0.06303,
              0.08352,
              0.12459,
              0.20679,
              0.37025,
              0.7015
            ],
            [
              0.04328,
              0.05284,
              0.06297,
              0.08353,
              0.12459,
              0.20645,
              0.37046,
              0.70178
            ],
            [
              0.0432,
              0.0528,
              0.06291,
              0.08341,
              0.12458,
              0.20658,
              0.37087,
              0.70229
            ],
            [
              0.04316,
              0.05274,
              0.06284,
              0.08342,
              0.12463,
              0.20701,
              0.3704,
              0.70167
            ],
            [
              0.0431,
              0.05264,
              0.06279,
              0.08332,
              0.12448,
              0.20675,
              0.37036,
              0.70115
            ],
            [
              0.04305,
              0.05263,
              0.06272,
              0.08322,
              0.1244,
              0.20656,
              0.3703,
              0.70167
            ],
            [
              0.04306,
              0.05262,
              0.06273,
              0.08327,
              0.12433,
              0.20663,
              0.37043,
              0.70162
            ],
            [
              0.04322,
              0.05274,
              0.06285,
              0.08339,
              0.12452,
              0.2063,
              0.37064,
              0.70208
            ],
            [
              0.04385,
              0.05328,
              0.06338,
              0.08375,
              0.12475,
              0.20681,
              0.37108,
              0.70148
            ],
            [
              0.04503,
              0.05432,
              0.06419,
              0.08444,
              0.12534,
              0.2074,
              0.37131,
              0.70168
            ],
            [
              0.04715,
              0.05616,
              0.06602,
              0.08613,
              0.12668,
              0.20846,
              0.37239,
              0.70247
            ],
            [
              0.0505,
              0.05913,
              0.06877,
              0.08869,
              0.12946,
              0.21079,
              0.37415,
              0.70625
            ]
          ]
        },
        "when": "(!A&!B) | (A&B)"
      },
      {
        "fall_power,pwr_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0081,
            0.01621,
            0.03241,
            0.06481,
            0.12962,
            0.25925,
            0.5185
          ],
          "values": [
            [
              0.07788,
              0.0813,
              0.08648,
              0.09852,
              0.12412,
              0.17529,
              0.27612,
              0.47846
            ],
            [
              0.07784,
              0.08125,
              0.08644,
              0.09849,
              0.12411,
              0.17523,
              0.27613,
              0.47909
            ],
            [
              0.07779,
              0.0812,
              0.0864,
              0.09843,
              0.12406,
              0.17522,
              0.2761,
              0.47923
            ],
            [
              0.07771,
              0.08112,
              0.08633,
              0.09837,
              0.12396,
              0.17503,
              0.27598,
              0.4784
            ],
            [
              0.07769,
              0.08108,
              0.08629,
              0.09833,
              0.12392,
              0.17504,
              0.27586,
              0.47842
            ],
            [
              0.07761,
              0.081,
              0.0862,
              0.09824,
              0.12386,
              0.175,
              0.27592,
              0.47876
            ],
            [
              0.07752,
              0.08093,
              0.08612,
              0.09816,
              0.12374,
              0.17478,
              0.27579,
              0.47818
            ],
            [
              0.07746,
              0.08088,
              0.08606,
              0.09809,
              0.12364,
              0.17474,
              0.2755,
              0.47851
            ],
            [
              0.07754,
              0.08093,
              0.0861,
              0.09807,
              0.1236,
              0.17463,
              0.2756,
              0.47817
            ],
            [
              0.07802,
              0.08133,
              0.08643,
              0.09833,
              0.12376,
              0.17473,
              0.27562,
              0.47884
            ],
            [
              0.07897,
              0.08214,
              0.08712,
              0.09886,
              0.12411,
              0.17494,
              0.27582,
              0.47852
            ],
            [
              0.08083,
              0.08372,
              0.08859,
              0.10014,
              0.12519,
              0.17585,
              0.27661,
              0.47877
            ],
            [
              0.08397,
              0.08651,
              0.09118,
              0.10245,
              0.12714,
              0.17757,
              0.27802,
              0.48037
            ]
          ]
        },
        "related_pin": "CI",
        "rise_power,pwr_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0081,
            0.01621,
            0.03241,
            0.06481,
            0.12962,
            0.25925,
            0.5185
          ],
          "values": [
            [
              0.08239,
              0.08998,
              0.09922,
              0.11925,
              0.16042,
              0.24331,
              0.40784,
              0.7392
            ],
            [
              0.08237,
              0.08996,
              0.09922,
              0.1192,
              0.16035,
              0.24315,
              0.40845,
              0.73903
            ],
            [
              0.08234,
              0.08991,
              0.09916,
              0.11917,
              0.16035,
              0.24307,
              0.40777,
              0.73913
            ],
            [
              0.0823,
              0.0899,
              0.09919,
              0.11906,
              0.16018,
              0.24307,
              0.40863,
              0.73885
            ],
            [
              0.08226,
              0.08986,
              0.09911,
              0.11906,
              0.16026,
              0.24314,
              0.40857,
              0.73862
            ],
            [
              0.08228,
              0.08984,
              0.09913,
              0.11908,
              0.16022,
              0.24311,
              0.40761,
              0.73937
            ],
            [
              0.08229,
              0.08981,
              0.09909,
              0.11897,
              0.16012,
              0.24303,
              0.40804,
              0.73857
            ],
            [
              0.08231,
              0.08986,
              0.09911,
              0.11905,
              0.16013,
              0.24293,
              0.40804,
              0.73903
            ],
            [
              0.08239,
              0.08992,
              0.09914,
              0.11899,
              0.1601,
              0.24294,
              0.40766,
              0.73909
            ],
            [
              0.08295,
              0.09042,
              0.09954,
              0.11931,
              0.16017,
              0.24285,
              0.40803,
              0.73857
            ],
            [
              0.0844,
              0.09166,
              0.10066,
              0.12018,
              0.16099,
              0.24353,
              0.40839,
              0.73915
            ],
            [
              0.08749,
              0.09438,
              0.10303,
              0.12211,
              0.16248,
              0.24475,
              0.40942,
              0.74122
            ],
            [
              0.09208,
              0.09856,
              0.10693,
              0.12573,
              0.16547,
              0.2467,
              0.41136,
              0.74191
            ]
          ]
        },
        "when": "(A&!B) | (!A&B)"
      }
    ],
    "max_capacitance": 0.33349,
    "power_down_function": "(!VPWR + VGND)",
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR",
    "timing": [
      {
        "cell_fall,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0081,
            0.01621,
            0.03241,
            0.06481,
            0.12962,
            0.25925,
            0.5185
          ],
          "values": [
            [
              0.48558,
              0.52367,
              0.55064,
              0.59268,
              0.6576,
              0.75895,
              0.9249,
              1.21837
            ],
            [
              0.48785,
              0.52594,
              0.55289,
              0.59496,
              0.65984,
              0.76122,
              0.92722,
              1.22074
            ],
            [
              0.4907,
              0.52879,
              0.55575,
              0.5978,
              0.66271,
              0.76408,
              0.93003,
              1.22352
            ],
            [
              0.49512,
              0.53321,
              0.56017,
              0.60221,
              0.66712,
              0.7685,
              0.93444,
              1.22798
            ],
            [
              0.50196,
              0.54005,
              0.56701,
              0.60907,
              0.67397,
              0.77532,
              0.94126,
              1.23461
            ],
            [
              0.51246,
              0.55055,
              0.57752,
              0.61958,
              0.68448,
              0.78583,
              0.95172,
              1.24512
            ],
            [
              0.52771,
              0.5658,
              0.59276,
              0.63484,
              0.6997,
              0.80108,
              0.96713,
              1.26053
            ],
            [
              0.54833,
              0.58641,
              0.61338,
              0.65543,
              0.72033,
              0.82168,
              0.98766,
              1.28096
            ],
            [
              0.57454,
              0.61261,
              0.63956,
              0.68161,
              0.74653,
              0.84785,
              1.01385,
              1.30725
            ],
            [
              0.60589,
              0.64389,
              0.67089,
              0.71289,
              0.77779,
              0.87919,
              1.04509,
              1.33869
            ],
            [
              0.63912,
              0.67702,
              0.70392,
              0.74592,
              0.81082,
              0.91222,
              1.07822,
              1.37192
            ],
            [
              0.66817,
              0.70587,
              0.73267,
              0.77457,
              0.83937,
              0.94077,
              1.10677,
              1.40007
            ],
            [
              0.6897,
              0.7273,
              0.754,
              0.7958,
              0.8605,
              0.9618,
              1.1277,
              1.4204
            ]
          ]
        },
        "cell_rise,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0081,
            0.01621,
            0.03241,
            0.06481,
            0.12962,
            0.25925,
            0.5185
          ],
          "values": [
            [
              0.40703,
              0.44859,
              0.47812,
              0.52473,
              0.60059,
              0.73302,
              0.98382,
              1.48177
            ],
            [
              0.40973,
              0.45128,
              0.4808,
              0.52742,
              0.60334,
              0.73586,
              0.98694,
              1.48424
            ],
            [
              0.41297,
              0.45452,
              0.48405,
              0.53066,
              0.6066,
              0.73912,
              0.99002,
              1.48682
            ],
            [
              0.41796,
              0.45952,
              0.48903,
              0.53565,
              0.61145,
              0.74396,
              0.99498,
              1.49308
            ],
            [
              0.42553,
              0.46708,
              0.49661,
              0.54322,
              0.61912,
              0.7516,
              1.00241,
              1.49921
            ],
            [
              0.43678,
              0.47834,
              0.50785,
              0.55448,
              0.6303,
              0.76283,
              1.01392,
              1.51192
            ],
            [
              0.45253,
              0.49407,
              0.5236,
              0.57021,
              0.64614,
              0.77865,
              1.02953,
              1.52573
            ],
            [
              0.47354,
              0.51507,
              0.54458,
              0.59119,
              0.66712,
              0.79963,
              1.05046,
              1.54696
            ],
            [
              0.50122,
              0.54271,
              0.57221,
              0.61881,
              0.69468,
              0.82715,
              1.07825,
              1.57565
            ],
            [
              0.53689,
              0.57833,
              0.60781,
              0.65439,
              0.73029,
              0.86279,
              1.11389,
              1.61069
            ],
            [
              0.58202,
              0.62342,
              0.65282,
              0.69942,
              0.77532,
              0.90792,
              1.15892,
              1.65552
            ],
            [
              0.63877,
              0.68007,
              0.70947,
              0.75597,
              0.83177,
              0.96427,
              1.21537,
              1.71287
            ],
            [
              0.7095,
              0.7507,
              0.7801,
              0.8266,
              0.9025,
              1.035,
              1.2855,
              1.7827
            ]
          ]
        },
        "fall_transition,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0081,
            0.01621,
            0.03241,
            0.06481,
            0.12962,
            0.25925,
            0.5185
          ],
          "values": [
            [
              0.06144,
              0.08585,
              0.10434,
              0.13531,
              0.1887,
              0.28307,
              0.46236,
              0.82592
            ],
            [
              0.06142,
              0.08584,
              0.10441,
              0.13553,
              0.18853,
              0.28274,
              0.46212,
              0.82531
            ],
            [
              0.06143,
              0.08583,
              0.10434,
              0.13554,
              0.18878,
              0.28309,
              0.4624,
              0.82586
            ],
            [
              0.06143,
              0.08583,
              0.10435,
              0.13553,
              0.18878,
              0.28309,
              0.46234,
              0.8259
            ],
            [
              0.06144,
              0.08595,
              0.10431,
              0.13537,
              0.18858,
              0.28307,
              0.46233,
              0.82581
            ],
            [
              0.06146,
              0.08597,
              0.10433,
              0.13537,
              0.1886,
              0.28304,
              0.46232,
              0.82583
            ],
            [
              0.06143,
              0.08582,
              0.10429,
              0.13548,
              0.18842,
              0.28261,
              0.46195,
              0.82482
            ],
            [
              0.06144,
              0.08594,
              0.10431,
              0.13536,
              0.18856,
              0.28302,
              0.46241,
              0.8258
            ],
            [
              0.06136,
              0.08576,
              0.10428,
              0.13526,
              0.18861,
              0.28307,
              0.4624,
              0.8259
            ],
            [
              0.06127,
              0.08567,
              0.10418,
              0.1352,
              0.1884,
              0.2832,
              0.4623,
              0.8259
            ],
            [
              0.061,
              0.0854,
              0.104,
              0.1352,
              0.1885,
              0.2825,
              0.4622,
              0.8258
            ],
            [
              0.0607,
              0.0852,
              0.1036,
              0.1347,
              0.1881,
              0.2827,
              0.4621,
              0.8247
            ],
            [
              0.0606,
              0.0848,
              0.1034,
              0.1345,
              0.1876,
              0.2819,
              0.4614,
              0.8243
            ]
          ]
        },
        "related_pin": "A",
        "rise_transition,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0081,
            0.01621,
            0.03241,
            0.06481,
            0.12962,
            0.25925,
            0.5185
          ],
          "values": [
            [
              0.05013,
              0.08332,
              0.10775,
              0.15123,
              0.2344,
              0.40642,
              0.76649,
              1.50079
            ],
            [
              0.05011,
              0.08333,
              0.10793,
              0.15119,
              0.23458,
              0.40687,
              0.76496,
              1.50087
            ],
            [
              0.0501,
              0.08336,
              0.10778,
              0.15118,
              0.23513,
              0.40665,
              0.76567,
              1.49965
            ],
            [
              0.05012,
              0.08331,
              0.10779,
              0.15101,
              0.23461,
              0.40654,
              0.76658,
              1.49926
            ],
            [
              0.05012,
              0.0833,
              0.10778,
              0.15124,
              0.23476,
              0.40617,
              0.76622,
              1.4995
            ],
            [
              0.05012,
              0.08329,
              0.10784,
              0.15107,
              0.23484,
              0.40667,
              0.76631,
              1.49888
            ],
            [
              0.05007,
              0.08331,
              0.10775,
              0.15115,
              0.23502,
              0.40648,
              0.76593,
              1.4999
            ],
            [
              0.04998,
              0.08323,
              0.10775,
              0.15109,
              0.23504,
              0.40641,
              0.76597,
              1.4997
            ],
            [
              0.04983,
              0.08304,
              0.10754,
              0.15104,
              0.23432,
              0.40649,
              0.7663,
              1.5003
            ],
            [
              0.04961,
              0.08288,
              0.10736,
              0.15083,
              0.23418,
              0.4066,
              0.765,
              1.4995
            ],
            [
              0.0494,
              0.0826,
              0.1072,
              0.1507,
              0.2343,
              0.4067,
              0.7662,
              1.498
            ],
            [
              0.0491,
              0.0823,
              0.1069,
              0.1502,
              0.2336,
              0.4058,
              0.7655,
              1.5048
            ],
            [
              0.0489,
              0.0821,
              0.1068,
              0.1503,
              0.234,
              0.406,
              0.766,
              1.4989
            ]
          ]
        },
        "sdf_cond": "(!B&!CI)",
        "timing_sense": "positive_unate",
        "when": "(!B&!CI)"
      },
      {
        "cell_fall,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0081,
            0.01621,
            0.03241,
            0.06481,
            0.12962,
            0.25925,
            0.5185
          ],
          "values": [
            [
              0.51371,
              0.55723,
              0.58849,
              0.63682,
              0.71004,
              0.82222,
              1.00317,
              1.32137
            ],
            [
              0.51648,
              0.56001,
              0.59125,
              0.63959,
              0.7128,
              0.82496,
              1.00594,
              1.32394
            ],
            [
              0.51979,
              0.56331,
              0.59455,
              0.64289,
              0.7161,
              0.82826,
              1.00922,
              1.32722
            ],
            [
              0.52482,
              0.56834,
              0.59957,
              0.64792,
              0.72113,
              0.8333,
              1.01428,
              1.33228
            ],
            [
              0.53241,
              0.57593,
              0.60716,
              0.6555,
              0.72871,
              0.84088,
              1.02181,
              1.33981
            ],
            [
              0.54373,
              0.58724,
              0.61848,
              0.66682,
              0.74003,
              0.85219,
              1.03312,
              1.35112
            ],
            [
              0.56011,
              0.60359,
              0.63481,
              0.68316,
              0.75637,
              0.86852,
              1.04953,
              1.36753
            ],
            [
              0.58301,
              0.62639,
              0.65758,
              0.70589,
              0.77911,
              0.89126,
              1.07226,
              1.39046
            ],
            [
              0.61397,
              0.65716,
              0.6883,
              0.73659,
              0.80985,
              0.92205,
              1.10305,
              1.42135
            ],
            [
              0.65399,
              0.69699,
              0.72799,
              0.77629,
              0.84949,
              0.96169,
              1.14279,
              1.46099
            ],
            [
              0.70412,
              0.74682,
              0.77782,
              0.82602,
              0.89922,
              1.01152,
              1.19262,
              1.51062
            ],
            [
              0.76647,
              0.80887,
              0.83967,
              0.88787,
              0.96117,
              1.07347,
              1.25467,
              1.57307
            ],
            [
              0.8451,
              0.8872,
              0.9178,
              0.9659,
              1.0393,
              1.1517,
              1.3329,
              1.651
            ]
          ]
        },
        "cell_rise,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0081,
            0.01621,
            0.03241,
            0.06481,
            0.12962,
            0.25925,
            0.5185
          ],
          "values": [
            [
              0.40498,
              0.4472,
              0.47745,
              0.52545,
              0.60335,
              0.73803,
              0.98993,
              1.48607
            ],
            [
              0.40728,
              0.4495,
              0.47976,
              0.52775,
              0.60566,
              0.74033,
              0.99224,
              1.48834
            ],
            [
              0.41015,
              0.45237,
              0.48262,
              0.53061,
              0.60853,
              0.74321,
              0.99502,
              1.49112
            ],
            [
              0.41458,
              0.4568,
              0.48705,
              0.53504,
              0.61296,
              0.74764,
              0.99948,
              1.49558
            ],
            [
              0.42139,
              0.46361,
              0.49386,
              0.54186,
              0.61978,
              0.75452,
              1.00631,
              1.50251
            ],
            [
              0.43182,
              0.47404,
              0.50429,
              0.55229,
              0.63021,
              0.76495,
              1.01672,
              1.51292
            ],
            [
              0.4471,
              0.48933,
              0.51958,
              0.56758,
              0.64549,
              0.78017,
              1.03203,
              1.52823
            ],
            [
              0.46843,
              0.51067,
              0.54092,
              0.58892,
              0.66684,
              0.80157,
              1.05336,
              1.54966
            ],
            [
              0.49674,
              0.53899,
              0.56925,
              0.61726,
              0.69518,
              0.82985,
              1.08175,
              1.57785
            ],
            [
              0.53205,
              0.57435,
              0.60464,
              0.65269,
              0.73059,
              0.86529,
              1.11719,
              1.61349
            ],
            [
              0.57292,
              0.61542,
              0.64582,
              0.69402,
              0.77202,
              0.90682,
              1.15872,
              1.65482
            ],
            [
              0.61567,
              0.65867,
              0.68947,
              0.73797,
              0.81627,
              0.95117,
              1.20327,
              1.69927
            ],
            [
              0.6584,
              0.7026,
              0.7338,
              0.7828,
              0.8616,
              0.9967,
              1.2488,
              1.7451
            ]
          ]
        },
        "fall_transition,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0081,
            0.01621,
            0.03241,
            0.06481,
            0.12962,
            0.25925,
            0.5185
          ],
          "values": [
            [
              0.07174,
              0.0947,
              0.11307,
              0.14502,
              0.20078,
              0.30163,
              0.49198,
              0.88089
            ],
            [
              0.07174,
              0.09476,
              0.11311,
              0.14521,
              0.20124,
              0.30121,
              0.49201,
              0.88062
            ],
            [
              0.07166,
              0.09476,
              0.11321,
              0.14525,
              0.20126,
              0.30117,
              0.49197,
              0.88067
            ],
            [
              0.07168,
              0.09476,
              0.11319,
              0.14509,
              0.20127,
              0.30107,
              0.49201,
              0.8808
            ],
            [
              0.07171,
              0.09476,
              0.11322,
              0.14524,
              0.20125,
              0.30122,
              0.49195,
              0.88066
            ],
            [
              0.07174,
              0.09476,
              0.11321,
              0.14509,
              0.20128,
              0.3011,
              0.49204,
              0.8807
            ],
            [
              0.07173,
              0.09486,
              0.1131,
              0.14508,
              0.20112,
              0.3013,
              0.49194,
              0.8805
            ],
            [
              0.07172,
              0.09475,
              0.11306,
              0.14514,
              0.20114,
              0.30113,
              0.49201,
              0.8809
            ],
            [
              0.07164,
              0.09467,
              0.11296,
              0.14489,
              0.20103,
              0.3011,
              0.4916,
              0.8796
            ],
            [
              0.07156,
              0.0946,
              0.1129,
              0.1446,
              0.2006,
              0.3007,
              0.4916,
              0.8799
            ],
            [
              0.0714,
              0.0945,
              0.1127,
              0.1445,
              0.2002,
              0.3008,
              0.4915,
              0.8803
            ],
            [
              0.0711,
              0.0944,
              0.1126,
              0.1443,
              0.2002,
              0.3007,
              0.4913,
              0.8793
            ],
            [
              0.0708,
              0.0946,
              0.1125,
              0.144,
              0.2,
              0.3,
              0.4911,
              0.8801
            ]
          ]
        },
        "related_pin": "A",
        "rise_transition,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0081,
            0.01621,
            0.03241,
            0.06481,
            0.12962,
            0.25925,
            0.5185
          ],
          "values": [
            [
              0.05036,
              0.08429,
              0.10963,
              0.15388,
              0.23798,
              0.40958,
              0.76569,
              1.49978
            ],
            [
              0.05036,
              0.08428,
              0.10961,
              0.15388,
              0.23799,
              0.40961,
              0.76585,
              1.49935
            ],
            [
              0.05038,
              0.0843,
              0.10956,
              0.15387,
              0.23796,
              0.41002,
              0.76538,
              1.49736
            ],
            [
              0.05037,
              0.08429,
              0.10956,
              0.15387,
              0.23795,
              0.41006,
              0.7654,
              1.49739
            ],
            [
              0.05038,
              0.08431,
              0.10961,
              0.15387,
              0.23802,
              0.40907,
              0.76522,
              1.49571
            ],
            [
              0.05038,
              0.08432,
              0.10962,
              0.15389,
              0.23804,
              0.40914,
              0.7652,
              1.49538
            ],
            [
              0.05037,
              0.08432,
              0.10966,
              0.15389,
              0.23796,
              0.40939,
              0.76522,
              1.5009
            ],
            [
              0.05039,
              0.08438,
              0.10968,
              0.15387,
              0.23798,
              0.40906,
              0.76511,
              1.4963
            ],
            [
              0.0505,
              0.08444,
              0.10967,
              0.15394,
              0.23812,
              0.40961,
              0.7657,
              1.4979
            ],
            [
              0.0507,
              0.08463,
              0.10985,
              0.15419,
              0.23812,
              0.4094,
              0.765,
              1.4955
            ],
            [
              0.0514,
              0.0854,
              0.1106,
              0.1547,
              0.2386,
              0.4097,
              0.7658,
              1.4959
            ],
            [
              0.0523,
              0.0864,
              0.1117,
              0.1559,
              0.2394,
              0.4099,
              0.767,
              1.4988
            ],
            [
              0.0534,
              0.0881,
              0.1135,
              0.1574,
              0.2408,
              0.411,
              0.7668,
              1.4956
            ]
          ]
        },
        "sdf_cond": "(!B&CI)",
        "timing_sense": "negative_unate",
        "when": "(!B&CI)"
      },
      {
        "cell_fall,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0081,
            0.01621,
            0.03241,
            0.06481,
            0.12962,
            0.25925,
            0.5185
          ],
          "values": [
            [
              0.4709,
              0.51148,
              0.53998,
              0.58382,
              0.65046,
              0.75333,
              0.92033,
              1.21447
            ],
            [
              0.47368,
              0.51426,
              0.54276,
              0.5866,
              0.65324,
              0.75611,
              0.92311,
              1.21724
            ],
            [
              0.477,
              0.51757,
              0.54606,
              0.58991,
              0.65656,
              0.75943,
              0.92645,
              1.22062
            ],
            [
              0.48206,
              0.52263,
              0.55112,
              0.59496,
              0.66161,
              0.76448,
              0.93146,
              1.22558
            ],
            [
              0.48969,
              0.53025,
              0.55874,
              0.60261,
              0.66925,
              0.77209,
              0.93915,
              1.23301
            ],
            [
              0.50113,
              0.54169,
              0.57019,
              0.61403,
              0.68068,
              0.78355,
              0.95052,
              1.24472
            ],
            [
              0.51784,
              0.55838,
              0.58688,
              0.63072,
              0.69737,
              0.80024,
              0.96723,
              1.26143
            ],
            [
              0.54133,
              0.58181,
              0.6103,
              0.65416,
              0.72083,
              0.82367,
              0.99066,
              1.28466
            ],
            [
              0.57308,
              0.61342,
              0.64191,
              0.6858,
              0.75246,
              0.85535,
              1.02235,
              1.31645
            ],
            [
              0.61404,
              0.65419,
              0.68269,
              0.72659,
              0.79329,
              0.89609,
              1.06319,
              1.35709
            ],
            [
              0.66532,
              0.70522,
              0.73362,
              0.77752,
              0.84422,
              0.94712,
              1.11412,
              1.40822
            ],
            [
              0.72897,
              0.76867,
              0.79707,
              0.84097,
              0.90767,
              1.01067,
              1.17767,
              1.47177
            ],
            [
              0.8103,
              0.8495,
              0.8778,
              0.9216,
              0.9885,
              1.0915,
              1.2585,
              1.5525
            ]
          ]
        },
        "cell_rise,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0081,
            0.01621,
            0.03241,
            0.06481,
            0.12962,
            0.25925,
            0.5185
          ],
          "values": [
            [
              0.41782,
              0.4619,
              0.49349,
              0.54326,
              0.62345,
              0.76223,
              1.02427,
              1.54317
            ],
            [
              0.42012,
              0.46419,
              0.49577,
              0.54554,
              0.62573,
              0.76442,
              1.02654,
              1.54544
            ],
            [
              0.42295,
              0.46703,
              0.49862,
              0.5484,
              0.62859,
              0.76729,
              1.02932,
              1.54832
            ],
            [
              0.42738,
              0.47145,
              0.50304,
              0.5528,
              0.63299,
              0.77168,
              1.03378,
              1.55268
            ],
            [
              0.43417,
              0.47824,
              0.50983,
              0.5596,
              0.63979,
              0.77858,
              1.04061,
              1.55951
            ],
            [
              0.44456,
              0.48863,
              0.52022,
              0.56999,
              0.65017,
              0.78886,
              1.05102,
              1.56992
            ],
            [
              0.45962,
              0.50369,
              0.53528,
              0.58505,
              0.66524,
              0.80398,
              1.06603,
              1.58493
            ],
            [
              0.4802,
              0.52427,
              0.55586,
              0.60562,
              0.68581,
              0.82454,
              1.08656,
              1.60556
            ],
            [
              0.50675,
              0.55083,
              0.58242,
              0.63218,
              0.71236,
              0.85105,
              1.11315,
              1.63205
            ],
            [
              0.53933,
              0.58342,
              0.61502,
              0.66479,
              0.74499,
              0.88369,
              1.14579,
              1.66469
            ],
            [
              0.57722,
              0.62152,
              0.65322,
              0.70312,
              0.78332,
              0.92212,
              1.18412,
              1.70282
            ],
            [
              0.61767,
              0.66227,
              0.69427,
              0.74437,
              0.82487,
              0.96387,
              1.22597,
              1.74467
            ],
            [
              0.6589,
              0.7043,
              0.7366,
              0.7873,
              0.8682,
              1.0074,
              1.2695,
              1.7882
            ]
          ]
        },
        "fall_transition,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0081,
            0.01621,
            0.03241,
            0.06481,
            0.12962,
            0.25925,
            0.5185
          ],
          "values": [
            [
              0.06074,
              0.08376,
              0.1023,
              0.13359,
              0.18704,
              0.28129,
              0.4605,
              0.82397
            ],
            [
              0.06075,
              0.08376,
              0.1023,
              0.13359,
              0.18704,
              0.28129,
              0.46049,
              0.82396
            ],
            [
              0.06077,
              0.08386,
              0.10231,
              0.13358,
              0.18704,
              0.28135,
              0.4605,
              0.82333
            ],
            [
              0.06078,
              0.08379,
              0.10225,
              0.13356,
              0.187,
              0.28136,
              0.46045,
              0.82392
            ],
            [
              0.06078,
              0.08381,
              0.10219,
              0.13352,
              0.18684,
              0.2813,
              0.46023,
              0.82344
            ],
            [
              0.06079,
              0.08378,
              0.10231,
              0.13359,
              0.18705,
              0.28126,
              0.46055,
              0.82381
            ],
            [
              0.0609,
              0.08384,
              0.10226,
              0.13358,
              0.18702,
              0.28128,
              0.46056,
              0.82373
            ],
            [
              0.06105,
              0.08391,
              0.10235,
              0.13359,
              0.18678,
              0.2814,
              0.46037,
              0.8236
            ],
            [
              0.06141,
              0.08424,
              0.10229,
              0.13356,
              0.18706,
              0.28142,
              0.4604,
              0.8239
            ],
            [
              0.0618,
              0.08441,
              0.1025,
              0.1336,
              0.187,
              0.2812,
              0.4603,
              0.8236
            ],
            [
              0.0622,
              0.0848,
              0.1025,
              0.1336,
              0.1869,
              0.2812,
              0.4604,
              0.8238
            ],
            [
              0.0628,
              0.0852,
              0.1029,
              0.1338,
              0.1866,
              0.2814,
              0.4605,
              0.8228
            ],
            [
              0.0635,
              0.0859,
              0.1036,
              0.1341,
              0.187,
              0.2814,
              0.4601,
              0.8242
            ]
          ]
        },
        "related_pin": "A",
        "rise_transition,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0081,
            0.01621,
            0.03241,
            0.06481,
            0.12962,
            0.25925,
            0.5185
          ],
          "values": [
            [
              0.05376,
              0.08896,
              0.11487,
              0.15946,
              0.24466,
              0.41972,
              0.78629,
              1.53254
            ],
            [
              0.05375,
              0.08899,
              0.11486,
              0.15951,
              0.24477,
              0.41981,
              0.78697,
              1.53163
            ],
            [
              0.05377,
              0.08896,
              0.11488,
              0.15948,
              0.24476,
              0.41942,
              0.7854,
              1.53325
            ],
            [
              0.05374,
              0.089,
              0.11485,
              0.15951,
              0.24478,
              0.41978,
              0.78635,
              1.53191
            ],
            [
              0.05377,
              0.08897,
              0.11488,
              0.15946,
              0.24465,
              0.41982,
              0.78598,
              1.53243
            ],
            [
              0.05376,
              0.08899,
              0.11487,
              0.1595,
              0.24478,
              0.41984,
              0.7855,
              1.53146
            ],
            [
              0.05377,
              0.08898,
              0.11488,
              0.15948,
              0.24472,
              0.41968,
              0.78565,
              1.5331
            ],
            [
              0.05378,
              0.08897,
              0.11486,
              0.15951,
              0.24476,
              0.41985,
              0.78551,
              1.5332
            ],
            [
              0.05382,
              0.08906,
              0.11493,
              0.15957,
              0.24459,
              0.41982,
              0.7852,
              1.5319
            ],
            [
              0.05396,
              0.08921,
              0.11505,
              0.15977,
              0.2447,
              0.4198,
              0.786,
              1.5324
            ],
            [
              0.0547,
              0.09,
              0.1157,
              0.1603,
              0.2452,
              0.4201,
              0.7848,
              1.5325
            ],
            [
              0.0557,
              0.0911,
              0.1169,
              0.1615,
              0.2461,
              0.4202,
              0.7845,
              1.5318
            ],
            [
              0.0572,
              0.0928,
              0.1187,
              0.1632,
              0.2473,
              0.4202,
              0.7855,
              1.5319
            ]
          ]
        },
        "sdf_cond": "(B&!CI)",
        "timing_sense": "negative_unate",
        "when": "(B&!CI)"
      },
      {
        "cell_fall,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0081,
            0.01621,
            0.03241,
            0.06481,
            0.12962,
            0.25925,
            0.5185
          ],
          "values": [
            [
              0.49112,
              0.52921,
              0.55617,
              0.5982,
              0.66297,
              0.76393,
              0.92906,
              1.22147
            ],
            [
              0.4934,
              0.5315,
              0.55843,
              0.60048,
              0.66523,
              0.76622,
              0.93141,
              1.22384
            ],
            [
              0.49624,
              0.53434,
              0.56127,
              0.60332,
              0.66806,
              0.76906,
              0.93425,
              1.22662
            ],
            [
              0.50065,
              0.53875,
              0.56568,
              0.60774,
              0.67248,
              0.77348,
              0.93866,
              1.23108
            ],
            [
              0.50747,
              0.54556,
              0.57252,
              0.61456,
              0.67932,
              0.78028,
              0.9454,
              1.23771
            ],
            [
              0.51794,
              0.55603,
              0.58297,
              0.62502,
              0.68976,
              0.79075,
              0.95592,
              1.24832
            ],
            [
              0.53309,
              0.57118,
              0.59814,
              0.64017,
              0.70494,
              0.8059,
              0.97103,
              1.26333
            ],
            [
              0.55356,
              0.59165,
              0.6186,
              0.66065,
              0.72539,
              0.82638,
              0.99156,
              1.28366
            ],
            [
              0.57956,
              0.61765,
              0.64458,
              0.68663,
              0.7514,
              0.85245,
              1.01755,
              1.30995
            ],
            [
              0.61063,
              0.64869,
              0.67559,
              0.71769,
              0.78249,
              0.88349,
              1.04869,
              1.34099
            ],
            [
              0.64362,
              0.68162,
              0.70852,
              0.75052,
              0.81532,
              0.91642,
              1.08172,
              1.37432
            ],
            [
              0.67327,
              0.71117,
              0.73797,
              0.77997,
              0.84477,
              0.94577,
              1.11097,
              1.40357
            ],
            [
              0.6964,
              0.7342,
              0.7609,
              0.8029,
              0.8676,
              0.9686,
              1.1339,
              1.4257
            ]
          ]
        },
        "cell_rise,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0081,
            0.01621,
            0.03241,
            0.06481,
            0.12962,
            0.25925,
            0.5185
          ],
          "values": [
            [
              0.411,
              0.45354,
              0.48393,
              0.53194,
              0.60984,
              0.74433,
              0.99627,
              1.49347
            ],
            [
              0.41369,
              0.45623,
              0.48662,
              0.53464,
              0.61253,
              0.74701,
              0.99884,
              1.49594
            ],
            [
              0.41693,
              0.45947,
              0.48986,
              0.53788,
              0.61576,
              0.75029,
              1.00222,
              1.49962
            ],
            [
              0.4219,
              0.46444,
              0.49483,
              0.54285,
              0.62072,
              0.75528,
              1.00728,
              1.50478
            ],
            [
              0.42947,
              0.47202,
              0.50239,
              0.55042,
              0.62823,
              0.76286,
              1.01501,
              1.51301
            ],
            [
              0.44071,
              0.48324,
              0.51363,
              0.56165,
              0.63951,
              0.77393,
              1.02582,
              1.52372
            ],
            [
              0.45652,
              0.49906,
              0.52943,
              0.57746,
              0.65523,
              0.78987,
              1.04193,
              1.54003
            ],
            [
              0.47751,
              0.52003,
              0.5504,
              0.59842,
              0.67617,
              0.81083,
              1.06286,
              1.56096
            ],
            [
              0.50507,
              0.54756,
              0.5779,
              0.62591,
              0.70377,
              0.83825,
              1.09005,
              1.58835
            ],
            [
              0.54053,
              0.58298,
              0.61331,
              0.66129,
              0.73919,
              0.87359,
              1.12569,
              1.62369
            ],
            [
              0.58552,
              0.62782,
              0.65822,
              0.70612,
              0.78402,
              0.91852,
              1.17052,
              1.66862
            ],
            [
              0.64197,
              0.68437,
              0.71457,
              0.76257,
              0.84017,
              0.97487,
              1.22667,
              1.72377
            ],
            [
              0.7129,
              0.755,
              0.7853,
              0.8331,
              0.9109,
              1.0455,
              1.2969,
              1.7942
            ]
          ]
        },
        "fall_transition,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0081,
            0.01621,
            0.03241,
            0.06481,
            0.12962,
            0.25925,
            0.5185
          ],
          "values": [
            [
              0.0617,
              0.08605,
              0.10435,
              0.13529,
              0.18814,
              0.28204,
              0.46069,
              0.82418
            ],
            [
              0.06168,
              0.08599,
              0.1045,
              0.13543,
              0.18807,
              0.28171,
              0.46013,
              0.82329
            ],
            [
              0.06168,
              0.08599,
              0.1045,
              0.13543,
              0.18804,
              0.28168,
              0.46017,
              0.82302
            ],
            [
              0.06168,
              0.08598,
              0.10451,
              0.13544,
              0.18808,
              0.28172,
              0.46021,
              0.82337
            ],
            [
              0.06169,
              0.08598,
              0.10435,
              0.13529,
              0.1882,
              0.28211,
              0.46059,
              0.82402
            ],
            [
              0.06168,
              0.08598,
              0.10451,
              0.13542,
              0.18802,
              0.28164,
              0.46028,
              0.82292
            ],
            [
              0.0617,
              0.08596,
              0.10435,
              0.13529,
              0.18817,
              0.28209,
              0.46069,
              0.82415
            ],
            [
              0.06169,
              0.08599,
              0.10437,
              0.1353,
              0.18827,
              0.28175,
              0.46057,
              0.8236
            ],
            [
              0.06166,
              0.08597,
              0.10448,
              0.13543,
              0.18808,
              0.2817,
              0.4602,
              0.8232
            ],
            [
              0.06156,
              0.08589,
              0.10445,
              0.1354,
              0.1881,
              0.2817,
              0.4602,
              0.8229
            ],
            [
              0.0615,
              0.0857,
              0.1042,
              0.1351,
              0.1879,
              0.2821,
              0.4602,
              0.824
            ],
            [
              0.0614,
              0.0856,
              0.1041,
              0.1351,
              0.1878,
              0.2815,
              0.4606,
              0.8234
            ],
            [
              0.0612,
              0.0854,
              0.1039,
              0.1348,
              0.1875,
              0.2813,
              0.46,
              0.8224
            ]
          ]
        },
        "related_pin": "A",
        "rise_transition,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0081,
            0.01621,
            0.03241,
            0.06481,
            0.12962,
            0.25925,
            0.5185
          ],
          "values": [
            [
              0.0519,
              0.08618,
              0.1115,
              0.15591,
              0.24037,
              0.41123,
              0.76849,
              1.50639
            ],
            [
              0.05189,
              0.08617,
              0.1115,
              0.15591,
              0.24032,
              0.41118,
              0.76858,
              1.50047
            ],
            [
              0.05189,
              0.08618,
              0.11155,
              0.15592,
              0.24056,
              0.41135,
              0.76829,
              1.50032
            ],
            [
              0.05189,
              0.08631,
              0.11155,
              0.15594,
              0.24062,
              0.41133,
              0.76817,
              1.50031
            ],
            [
              0.05197,
              0.08609,
              0.11178,
              0.15587,
              0.24043,
              0.41159,
              0.76828,
              1.49957
            ],
            [
              0.05188,
              0.08617,
              0.11139,
              0.15594,
              0.24003,
              0.41091,
              0.76887,
              1.50164
            ],
            [
              0.05186,
              0.08611,
              0.11147,
              0.15577,
              0.24026,
              0.41159,
              0.76888,
              1.5055
            ],
            [
              0.05178,
              0.08604,
              0.11132,
              0.15574,
              0.24007,
              0.41154,
              0.76894,
              1.5054
            ],
            [
              0.05171,
              0.08583,
              0.1115,
              0.15571,
              0.23995,
              0.41099,
              0.7687,
              1.5044
            ],
            [
              0.05144,
              0.0857,
              0.11107,
              0.15552,
              0.23981,
              0.4108,
              0.7689,
              1.5061
            ],
            [
              0.0512,
              0.0854,
              0.1109,
              0.1553,
              0.2402,
              0.4115,
              0.7677,
              1.4992
            ],
            [
              0.0509,
              0.0851,
              0.1105,
              0.155,
              0.2394,
              0.4114,
              0.7684,
              1.502
            ],
            [
              0.0506,
              0.0848,
              0.1102,
              0.1548,
              0.2398,
              0.4106,
              0.7688,
              1.5
            ]
          ]
        },
        "sdf_cond": "(B&CI)",
        "timing_sense": "positive_unate",
        "when": "(B&CI)"
      },
      {
        "cell_fall,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0081,
            0.01621,
            0.03241,
            0.06481,
            0.12962,
            0.25925,
            0.5185
          ],
          "values": [
            [
              0.45151,
              0.4896,
              0.51656,
              0.55863,
              0.6235,
              0.72488,
              0.89088,
              1.18427
            ],
            [
              0.45327,
              0.49136,
              0.51832,
              0.5604,
              0.62526,
              0.72664,
              0.89262,
              1.18594
            ],
            [
              0.45561,
              0.4937,
              0.52065,
              0.56271,
              0.62761,
              0.72898,
              0.89494,
              1.18842
            ],
            [
              0.45933,
              0.49744,
              0.52439,
              0.56646,
              0.63135,
              0.73271,
              0.89863,
              1.19178
            ],
            [
              0.46543,
              0.50353,
              0.53049,
              0.57255,
              0.63744,
              0.73881,
              0.90474,
              1.19801
            ],
            [
              0.47522,
              0.51332,
              0.54029,
              0.58234,
              0.64724,
              0.7486,
              0.91453,
              1.20792
            ],
            [
              0.49069,
              0.52879,
              0.55575,
              0.59783,
              0.66269,
              0.76407,
              0.93003,
              1.22333
            ],
            [
              0.51408,
              0.55219,
              0.57915,
              0.6212,
              0.68612,
              0.78747,
              0.95346,
              1.24686
            ],
            [
              0.5466,
              0.5847,
              0.61167,
              0.65373,
              0.71861,
              0.81995,
              0.98585,
              1.27905
            ],
            [
              0.58693,
              0.625,
              0.65189,
              0.69399,
              0.75889,
              0.86019,
              1.02619,
              1.31969
            ],
            [
              0.63162,
              0.66952,
              0.69642,
              0.73842,
              0.80322,
              0.90462,
              1.07052,
              1.36422
            ],
            [
              0.67747,
              0.71527,
              0.74207,
              0.78397,
              0.84877,
              0.94997,
              1.11587,
              1.40927
            ],
            [
              0.7201,
              0.7578,
              0.7845,
              0.8263,
              0.891,
              0.9923,
              1.1582,
              1.4511
            ]
          ]
        },
        "cell_rise,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0081,
            0.01621,
            0.03241,
            0.06481,
            0.12962,
            0.25925,
            0.5185
          ],
          "values": [
            [
              0.35156,
              0.39347,
              0.42323,
              0.47013,
              0.54634,
              0.67911,
              0.93033,
              1.42797
            ],
            [
              0.35431,
              0.39623,
              0.42598,
              0.47289,
              0.549,
              0.68175,
              0.93275,
              1.43024
            ],
            [
              0.3577,
              0.39962,
              0.42938,
              0.47629,
              0.55244,
              0.68511,
              0.93598,
              1.43292
            ],
            [
              0.36292,
              0.40485,
              0.43461,
              0.48152,
              0.55768,
              0.69037,
              0.94127,
              1.43808
            ],
            [
              0.37092,
              0.41285,
              0.44262,
              0.48954,
              0.56577,
              0.69854,
              0.94974,
              1.44751
            ],
            [
              0.38309,
              0.42503,
              0.45481,
              0.50173,
              0.57796,
              0.71074,
              0.96182,
              1.45922
            ],
            [
              0.40138,
              0.44335,
              0.47314,
              0.52009,
              0.59624,
              0.729,
              0.97993,
              1.47723
            ],
            [
              0.42839,
              0.4704,
              0.50021,
              0.54719,
              0.62334,
              0.7561,
              1.00706,
              1.50356
            ],
            [
              0.4673,
              0.50939,
              0.53924,
              0.58625,
              0.66255,
              0.79535,
              1.04655,
              1.54405
            ],
            [
              0.51774,
              0.55992,
              0.58983,
              0.63689,
              0.71319,
              0.84589,
              1.09679,
              1.59329
            ],
            [
              0.57842,
              0.62052,
              0.65042,
              0.69752,
              0.77372,
              0.90652,
              1.15742,
              1.65392
            ],
            [
              0.65387,
              0.69617,
              0.72617,
              0.77327,
              0.84927,
              0.98197,
              1.23327,
              1.72957
            ],
            [
              0.7503,
              0.7929,
              0.8229,
              0.8701,
              0.9464,
              1.079,
              1.3295,
              1.8267
            ]
          ]
        },
        "fall_transition,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0081,
            0.01621,
            0.03241,
            0.06481,
            0.12962,
            0.25925,
            0.5185
          ],
          "values": [
            [
              0.06143,
              0.08581,
              0.10429,
              0.13547,
              0.18841,
              0.28263,
              0.46199,
              0.82455
            ],
            [
              0.06143,
              0.08581,
              0.10429,
              0.1355,
              0.1884,
              0.28269,
              0.4621,
              0.82465
            ],
            [
              0.06143,
              0.08584,
              0.10441,
              0.13551,
              0.18884,
              0.28314,
              0.46223,
              0.82576
            ],
            [
              0.0614,
              0.08593,
              0.10432,
              0.13538,
              0.18867,
              0.28304,
              0.46234,
              0.82534
            ],
            [
              0.06147,
              0.08597,
              0.10434,
              0.1354,
              0.18857,
              0.28325,
              0.46236,
              0.82559
            ],
            [
              0.06148,
              0.086,
              0.10434,
              0.13539,
              0.18859,
              0.28311,
              0.46237,
              0.82574
            ],
            [
              0.06147,
              0.08584,
              0.10431,
              0.13555,
              0.18843,
              0.28273,
              0.46217,
              0.82481
            ],
            [
              0.06149,
              0.08589,
              0.10438,
              0.13533,
              0.18872,
              0.28303,
              0.46233,
              0.826
            ],
            [
              0.06143,
              0.08596,
              0.10433,
              0.13541,
              0.18868,
              0.28305,
              0.4624,
              0.8254
            ],
            [
              0.06136,
              0.08576,
              0.10434,
              0.13546,
              0.1888,
              0.2831,
              0.4623,
              0.8258
            ],
            [
              0.061,
              0.0854,
              0.1041,
              0.1351,
              0.1882,
              0.2825,
              0.4622,
              0.8256
            ],
            [
              0.0609,
              0.0854,
              0.1037,
              0.1347,
              0.1878,
              0.2827,
              0.4616,
              0.8257
            ],
            [
              0.0607,
              0.0852,
              0.1035,
              0.1348,
              0.1879,
              0.2821,
              0.4612,
              0.8252
            ]
          ]
        },
        "related_pin": "B",
        "rise_transition,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0081,
            0.01621,
            0.03241,
            0.06481,
            0.12962,
            0.25925,
            0.5185
          ],
          "values": [
            [
              0.05093,
              0.08435,
              0.109,
              0.15226,
              0.2354,
              0.40744,
              0.76508,
              1.50075
            ],
            [
              0.05097,
              0.08433,
              0.10893,
              0.15212,
              0.23558,
              0.40718,
              0.76682,
              1.49942
            ],
            [
              0.05096,
              0.08436,
              0.10886,
              0.15226,
              0.23525,
              0.40689,
              0.76658,
              1.49956
            ],
            [
              0.05098,
              0.08438,
              0.10887,
              0.1523,
              0.23531,
              0.40677,
              0.7665,
              1.49969
            ],
            [
              0.05099,
              0.08449,
              0.10909,
              0.15225,
              0.23555,
              0.40746,
              0.76521,
              1.49988
            ],
            [
              0.05105,
              0.08445,
              0.10899,
              0.15237,
              0.23593,
              0.40731,
              0.7659,
              1.50383
            ],
            [
              0.05113,
              0.08458,
              0.10918,
              0.15236,
              0.23585,
              0.40733,
              0.76688,
              1.49848
            ],
            [
              0.05124,
              0.08472,
              0.10935,
              0.15246,
              0.23576,
              0.40707,
              0.76648,
              1.4999
            ],
            [
              0.05146,
              0.08495,
              0.10944,
              0.15287,
              0.23643,
              0.40774,
              0.76633,
              1.5007
            ],
            [
              0.0518,
              0.08533,
              0.10989,
              0.15314,
              0.23624,
              0.4077,
              0.767,
              1.4999
            ],
            [
              0.052,
              0.0855,
              0.1102,
              0.1534,
              0.2363,
              0.4078,
              0.7667,
              1.4998
            ],
            [
              0.0526,
              0.0863,
              0.1108,
              0.1537,
              0.2365,
              0.408,
              0.7655,
              1.5
            ],
            [
              0.0534,
              0.0869,
              0.1114,
              0.1545,
              0.2375,
              0.4081,
              0.7648,
              1.5002
            ]
          ]
        },
        "sdf_cond": "(!A&!CI)",
        "timing_sense": "positive_unate",
        "when": "(!A&!CI)"
      },
      {
        "cell_fall,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0081,
            0.01621,
            0.03241,
            0.06481,
            0.12962,
            0.25925,
            0.5185
          ],
          "values": [
            [
              0.46738,
              0.51012,
              0.54107,
              0.58931,
              0.66262,
              0.77492,
              0.95599,
              1.27407
            ],
            [
              0.47002,
              0.51276,
              0.54373,
              0.59197,
              0.66527,
              0.77759,
              0.95866,
              1.27704
            ],
            [
              0.47325,
              0.516,
              0.54697,
              0.59521,
              0.66851,
              0.78085,
              0.96192,
              1.28032
            ],
            [
              0.47819,
              0.52095,
              0.55192,
              0.60018,
              0.67348,
              0.7858,
              0.96686,
              1.28517
            ],
            [
              0.48565,
              0.52841,
              0.55939,
              0.60764,
              0.68094,
              0.79326,
              0.97431,
              1.29261
            ],
            [
              0.49687,
              0.53964,
              0.5706,
              0.61885,
              0.69218,
              0.80447,
              0.98552,
              1.30362
            ],
            [
              0.51327,
              0.55604,
              0.58701,
              0.63526,
              0.70858,
              0.82092,
              1.00203,
              1.32023
            ],
            [
              0.53633,
              0.57918,
              0.61017,
              0.65844,
              0.73177,
              0.84406,
              1.02516,
              1.34336
            ],
            [
              0.56605,
              0.60916,
              0.64026,
              0.68858,
              0.76185,
              0.87415,
              1.05515,
              1.37315
            ],
            [
              0.60065,
              0.64429,
              0.67549,
              0.72389,
              0.79709,
              0.90929,
              1.09029,
              1.40839
            ],
            [
              0.63962,
              0.68392,
              0.71532,
              0.76362,
              0.83672,
              0.94882,
              1.12972,
              1.44802
            ],
            [
              0.68387,
              0.72877,
              0.76017,
              0.80837,
              0.88127,
              0.99327,
              1.17417,
              1.49227
            ],
            [
              0.738,
              0.782,
              0.8129,
              0.8605,
              0.933,
              1.0447,
              1.2254,
              1.5432
            ]
          ]
        },
        "cell_rise,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0081,
            0.01621,
            0.03241,
            0.06481,
            0.12962,
            0.25925,
            0.5185
          ],
          "values": [
            [
              0.37612,
              0.4183,
              0.44853,
              0.4965,
              0.5744,
              0.70911,
              0.96094,
              1.45717
            ],
            [
              0.37778,
              0.41995,
              0.45018,
              0.49815,
              0.57605,
              0.71077,
              0.96254,
              1.45864
            ],
            [
              0.37997,
              0.42215,
              0.45237,
              0.50035,
              0.57824,
              0.71296,
              0.96478,
              1.46102
            ],
            [
              0.3835,
              0.42568,
              0.45591,
              0.50389,
              0.58178,
              0.71642,
              0.96827,
              1.46438
            ],
            [
              0.38928,
              0.43145,
              0.46167,
              0.50965,
              0.58754,
              0.72226,
              0.97411,
              1.47031
            ],
            [
              0.39857,
              0.44074,
              0.47097,
              0.51894,
              0.59683,
              0.73155,
              0.98332,
              1.47942
            ],
            [
              0.4133,
              0.45546,
              0.48569,
              0.53365,
              0.61155,
              0.74628,
              0.99813,
              1.49433
            ],
            [
              0.43587,
              0.47803,
              0.50826,
              0.55623,
              0.63412,
              0.76885,
              1.02066,
              1.51676
            ],
            [
              0.46828,
              0.51045,
              0.54068,
              0.58866,
              0.66655,
              0.80125,
              1.05315,
              1.54915
            ],
            [
              0.51039,
              0.55263,
              0.58289,
              0.63089,
              0.70879,
              0.84359,
              1.09539,
              1.59139
            ],
            [
              0.55962,
              0.60222,
              0.63272,
              0.68092,
              0.75892,
              0.89372,
              1.14562,
              1.64192
            ],
            [
              0.61357,
              0.65647,
              0.68717,
              0.73567,
              0.81397,
              0.94907,
              1.20117,
              1.69727
            ],
            [
              0.6722,
              0.7158,
              0.7468,
              0.7956,
              0.8741,
              1.0094,
              1.2616,
              1.7577
            ]
          ]
        },
        "fall_transition,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0081,
            0.01621,
            0.03241,
            0.06481,
            0.12962,
            0.25925,
            0.5185
          ],
          "values": [
            [
              0.07098,
              0.09433,
              0.11243,
              0.14417,
              0.2001,
              0.30026,
              0.49141,
              0.8805
            ],
            [
              0.07096,
              0.09433,
              0.11243,
              0.14423,
              0.2003,
              0.30052,
              0.4914,
              0.8799
            ],
            [
              0.07095,
              0.09432,
              0.11244,
              0.14423,
              0.20032,
              0.30067,
              0.49126,
              0.87924
            ],
            [
              0.07098,
              0.09432,
              0.11243,
              0.14424,
              0.20028,
              0.30049,
              0.49143,
              0.88033
            ],
            [
              0.07098,
              0.09432,
              0.11242,
              0.14426,
              0.20026,
              0.30045,
              0.49148,
              0.88048
            ],
            [
              0.07096,
              0.09441,
              0.11255,
              0.14415,
              0.20012,
              0.30046,
              0.49143,
              0.88019
            ],
            [
              0.07089,
              0.09426,
              0.11247,
              0.14432,
              0.19996,
              0.30066,
              0.49145,
              0.8805
            ],
            [
              0.07097,
              0.09439,
              0.11254,
              0.14419,
              0.19986,
              0.30076,
              0.49144,
              0.8806
            ],
            [
              0.07106,
              0.09442,
              0.1126,
              0.14443,
              0.20041,
              0.30091,
              0.4916,
              0.8804
            ],
            [
              0.07106,
              0.09441,
              0.11269,
              0.1449,
              0.2009,
              0.301,
              0.4915,
              0.8809
            ],
            [
              0.0708,
              0.0942,
              0.1131,
              0.1457,
              0.2018,
              0.3018,
              0.4924,
              0.8807
            ],
            [
              0.0685,
              0.0937,
              0.1135,
              0.1464,
              0.2032,
              0.3031,
              0.4932,
              0.8809
            ],
            [
              0.0642,
              0.0924,
              0.1132,
              0.1474,
              0.2043,
              0.304,
              0.4936,
              0.8819
            ]
          ]
        },
        "related_pin": "B",
        "rise_transition,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0081,
            0.01621,
            0.03241,
            0.06481,
            0.12962,
            0.25925,
            0.5185
          ],
          "values": [
            [
              0.05018,
              0.08415,
              0.10947,
              0.15377,
              0.2379,
              0.40934,
              0.76511,
              1.49632
            ],
            [
              0.05017,
              0.08412,
              0.10949,
              0.15372,
              0.23782,
              0.40916,
              0.76522,
              1.49573
            ],
            [
              0.05015,
              0.08414,
              0.10946,
              0.15377,
              0.23789,
              0.40936,
              0.76511,
              1.49613
            ],
            [
              0.05017,
              0.08409,
              0.10941,
              0.15377,
              0.23795,
              0.40931,
              0.76563,
              1.49813
            ],
            [
              0.05015,
              0.08412,
              0.10948,
              0.15374,
              0.2379,
              0.40928,
              0.765,
              1.49671
            ],
            [
              0.05015,
              0.08409,
              0.10948,
              0.1537,
              0.23784,
              0.40911,
              0.76512,
              1.49552
            ],
            [
              0.05014,
              0.08408,
              0.10946,
              0.15374,
              0.23792,
              0.40919,
              0.76532,
              1.49672
            ],
            [
              0.05013,
              0.08408,
              0.10948,
              0.1537,
              0.23785,
              0.40947,
              0.76566,
              1.497
            ],
            [
              0.05017,
              0.08415,
              0.1095,
              0.15377,
              0.23792,
              0.40904,
              0.76553,
              1.4965
            ],
            [
              0.05045,
              0.08446,
              0.10964,
              0.15415,
              0.23818,
              0.4092,
              0.7656,
              1.497
            ],
            [
              0.0517,
              0.0858,
              0.1111,
              0.1551,
              0.2392,
              0.4095,
              0.7652,
              1.4999
            ],
            [
              0.0529,
              0.0871,
              0.1124,
              0.1565,
              0.2401,
              0.4104,
              0.7677,
              1.4985
            ],
            [
              0.0549,
              0.0892,
              0.1145,
              0.1584,
              0.2415,
              0.4115,
              0.7666,
              1.4968
            ]
          ]
        },
        "sdf_cond": "(!A&CI)",
        "timing_sense": "negative_unate",
        "when": "(!A&CI)"
      },
      {
        "cell_fall,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0081,
            0.01621,
            0.03241,
            0.06481,
            0.12962,
            0.25925,
            0.5185
          ],
          "values": [
            [
              0.42904,
              0.46914,
              0.49761,
              0.54152,
              0.60822,
              0.71109,
              0.87812,
              1.17207
            ],
            [
              0.43176,
              0.47186,
              0.50033,
              0.54424,
              0.61096,
              0.71383,
              0.88083,
              1.17494
            ],
            [
              0.43504,
              0.47516,
              0.50362,
              0.54755,
              0.61425,
              0.71712,
              0.88418,
              1.17812
            ],
            [
              0.44005,
              0.48017,
              0.50862,
              0.55254,
              0.61928,
              0.72215,
              0.88919,
              1.18328
            ],
            [
              0.4476,
              0.48772,
              0.5162,
              0.56011,
              0.62682,
              0.72969,
              0.89669,
              1.19091
            ],
            [
              0.45885,
              0.49898,
              0.52746,
              0.57137,
              0.63808,
              0.74095,
              0.90795,
              1.20222
            ],
            [
              0.47543,
              0.5156,
              0.54409,
              0.58799,
              0.6547,
              0.75758,
              0.92453,
              1.21873
            ],
            [
              0.4992,
              0.53944,
              0.56791,
              0.61184,
              0.67852,
              0.78139,
              0.94836,
              1.24256
            ],
            [
              0.53134,
              0.5717,
              0.6002,
              0.64411,
              0.71077,
              0.81365,
              0.98075,
              1.27445
            ],
            [
              0.57015,
              0.61071,
              0.63919,
              0.68309,
              0.74969,
              0.85259,
              1.01959,
              1.31369
            ],
            [
              0.61592,
              0.65682,
              0.68522,
              0.72902,
              0.79552,
              0.89842,
              1.06542,
              1.35932
            ],
            [
              0.67007,
              0.71067,
              0.73887,
              0.78247,
              0.84887,
              0.95187,
              1.11897,
              1.41277
            ],
            [
              0.7364,
              0.7754,
              0.803,
              0.8461,
              0.9124,
              1.0153,
              1.1826,
              1.4762
            ]
          ]
        },
        "cell_rise,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0081,
            0.01621,
            0.03241,
            0.06481,
            0.12962,
            0.25925,
            0.5185
          ],
          "values": [
            [
              0.38402,
              0.42779,
              0.45923,
              0.50886,
              0.58896,
              0.72763,
              0.98962,
              1.50847
            ],
            [
              0.38572,
              0.42949,
              0.46093,
              0.51056,
              0.59066,
              0.7294,
              0.99134,
              1.51004
            ],
            [
              0.38795,
              0.43173,
              0.46316,
              0.51279,
              0.5929,
              0.73158,
              0.99362,
              1.51242
            ],
            [
              0.39154,
              0.43533,
              0.46676,
              0.51638,
              0.59649,
              0.73523,
              0.99718,
              1.51588
            ],
            [
              0.39733,
              0.4411,
              0.47254,
              0.52216,
              0.60226,
              0.74101,
              1.00301,
              1.52171
            ],
            [
              0.40656,
              0.45032,
              0.48175,
              0.53138,
              0.61148,
              0.75015,
              1.01212,
              1.53092
            ],
            [
              0.4212,
              0.46494,
              0.49637,
              0.54599,
              0.62608,
              0.76483,
              1.02683,
              1.54553
            ],
            [
              0.44404,
              0.48776,
              0.51918,
              0.5688,
              0.6489,
              0.78763,
              1.04966,
              1.56826
            ],
            [
              0.47776,
              0.52144,
              0.55285,
              0.60245,
              0.68255,
              0.82125,
              1.08335,
              1.60205
            ],
            [
              0.52174,
              0.5654,
              0.59679,
              0.64639,
              0.72649,
              0.86519,
              1.12719,
              1.64609
            ],
            [
              0.57292,
              0.61682,
              0.64832,
              0.69802,
              0.77822,
              0.91702,
              1.17912,
              1.69792
            ],
            [
              0.62967,
              0.67367,
              0.70527,
              0.75507,
              0.83547,
              0.97437,
              1.23657,
              1.75527
            ],
            [
              0.693,
              0.7373,
              0.769,
              0.8191,
              0.8996,
              1.0386,
              1.3007,
              1.8198
            ]
          ]
        },
        "fall_transition,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0081,
            0.01621,
            0.03241,
            0.06481,
            0.12962,
            0.25925,
            0.5185
          ],
          "values": [
            [
              0.06197,
              0.08448,
              0.10255,
              0.13361,
              0.18694,
              0.28128,
              0.46049,
              0.82299
            ],
            [
              0.06196,
              0.08448,
              0.10252,
              0.13359,
              0.18684,
              0.28133,
              0.46039,
              0.8231
            ],
            [
              0.06193,
              0.08446,
              0.10245,
              0.13346,
              0.18676,
              0.28127,
              0.46017,
              0.82375
            ],
            [
              0.06194,
              0.0845,
              0.10243,
              0.13344,
              0.18675,
              0.28118,
              0.46011,
              0.82393
            ],
            [
              0.06192,
              0.08444,
              0.10252,
              0.1336,
              0.18687,
              0.28134,
              0.46041,
              0.82342
            ],
            [
              0.06189,
              0.08442,
              0.10251,
              0.1336,
              0.18685,
              0.28134,
              0.46038,
              0.82377
            ],
            [
              0.06182,
              0.08437,
              0.1025,
              0.13359,
              0.18685,
              0.28129,
              0.4604,
              0.82396
            ],
            [
              0.06166,
              0.08422,
              0.10234,
              0.13356,
              0.18696,
              0.28122,
              0.46046,
              0.8235
            ],
            [
              0.06136,
              0.08418,
              0.10226,
              0.13351,
              0.18693,
              0.28136,
              0.46,
              0.8233
            ],
            [
              0.06081,
              0.08381,
              0.1022,
              0.13352,
              0.1869,
              0.2815,
              0.4605,
              0.824
            ],
            [
              0.0597,
              0.0837,
              0.1024,
              0.1339,
              0.1873,
              0.2817,
              0.4606,
              0.8237
            ],
            [
              0.0579,
              0.0835,
              0.1028,
              0.1345,
              0.1882,
              0.2825,
              0.4613,
              0.8237
            ],
            [
              0.058,
              0.0842,
              0.1034,
              0.1353,
              0.1891,
              0.2835,
              0.4613,
              0.8239
            ]
          ]
        },
        "related_pin": "B",
        "rise_transition,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0081,
            0.01621,
            0.03241,
            0.06481,
            0.12962,
            0.25925,
            0.5185
          ],
          "values": [
            [
              0.0524,
              0.08756,
              0.11338,
              0.15823,
              0.24368,
              0.41871,
              0.78472,
              1.53132
            ],
            [
              0.05241,
              0.08761,
              0.11345,
              0.1583,
              0.24362,
              0.41925,
              0.78549,
              1.53236
            ],
            [
              0.05241,
              0.08755,
              0.11338,
              0.15828,
              0.2437,
              0.41887,
              0.78593,
              1.53104
            ],
            [
              0.05238,
              0.08754,
              0.11346,
              0.15831,
              0.24351,
              0.41883,
              0.78419,
              1.53237
            ],
            [
              0.05237,
              0.08755,
              0.11345,
              0.15829,
              0.2435,
              0.41879,
              0.78475,
              1.53233
            ],
            [
              0.05236,
              0.08756,
              0.11338,
              0.15821,
              0.24363,
              0.41897,
              0.78595,
              1.53245
            ],
            [
              0.05228,
              0.08749,
              0.11339,
              0.15824,
              0.24349,
              0.41897,
              0.78444,
              1.5323
            ],
            [
              0.0522,
              0.08741,
              0.11328,
              0.15813,
              0.24364,
              0.41897,
              0.78514,
              1.5323
            ],
            [
              0.05206,
              0.08727,
              0.11314,
              0.15802,
              0.24348,
              0.41887,
              0.78514,
              1.5325
            ],
            [
              0.05198,
              0.0872,
              0.11313,
              0.15804,
              0.24348,
              0.4188,
              0.7859,
              1.5313
            ],
            [
              0.0526,
              0.0879,
              0.1137,
              0.1586,
              0.2438,
              0.4191,
              0.7849,
              1.5315
            ],
            [
              0.0529,
              0.0882,
              0.1142,
              0.1591,
              0.2444,
              0.4192,
              0.7859,
              1.5311
            ],
            [
              0.0536,
              0.089,
              0.1149,
              0.1599,
              0.2452,
              0.4192,
              0.7858,
              1.5303
            ]
          ]
        },
        "sdf_cond": "(A&!CI)",
        "timing_sense": "negative_unate",
        "when": "(A&!CI)"
      },
      {
        "cell_fall,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0081,
            0.01621,
            0.03241,
            0.06481,
            0.12962,
            0.25925,
            0.5185
          ],
          "values": [
            [
              0.46865,
              0.50693,
              0.53399,
              0.57612,
              0.64095,
              0.74202,
              0.90727,
              1.19977
            ],
            [
              0.47045,
              0.50872,
              0.53578,
              0.57791,
              0.6428,
              0.74385,
              0.90906,
              1.20134
            ],
            [
              0.47284,
              0.51111,
              0.53817,
              0.58031,
              0.64518,
              0.74624,
              0.91151,
              1.20392
            ],
            [
              0.47673,
              0.51499,
              0.54204,
              0.5842,
              0.64904,
              0.75011,
              0.91541,
              1.20798
            ],
            [
              0.48301,
              0.52128,
              0.54834,
              0.59048,
              0.65531,
              0.75638,
              0.92167,
              1.21421
            ],
            [
              0.49314,
              0.53141,
              0.55847,
              0.6006,
              0.66542,
              0.7665,
              0.93182,
              1.22432
            ],
            [
              0.50933,
              0.5476,
              0.57465,
              0.61677,
              0.68165,
              0.78269,
              0.94803,
              1.24043
            ],
            [
              0.53483,
              0.57311,
              0.60016,
              0.64228,
              0.70716,
              0.8082,
              0.97346,
              1.26576
            ],
            [
              0.5724,
              0.61069,
              0.63773,
              0.67988,
              0.74471,
              0.84575,
              1.01105,
              1.30365
            ],
            [
              0.62081,
              0.65909,
              0.68619,
              0.72829,
              0.79309,
              0.89419,
              1.05949,
              1.35199
            ],
            [
              0.67682,
              0.71502,
              0.74202,
              0.78412,
              0.84902,
              0.95012,
              1.11552,
              1.40802
            ],
            [
              0.73837,
              0.77647,
              0.80347,
              0.84547,
              0.91017,
              1.01117,
              1.17637,
              1.46877
            ],
            [
              0.8052,
              0.8433,
              0.8702,
              0.9122,
              0.9769,
              1.078,
              1.2432,
              1.5354
            ]
          ]
        },
        "cell_rise,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0081,
            0.01621,
            0.03241,
            0.06481,
            0.12962,
            0.25925,
            0.5185
          ],
          "values": [
            [
              0.35074,
              0.39322,
              0.42357,
              0.47157,
              0.54947,
              0.68389,
              0.93587,
              1.43407
            ],
            [
              0.35355,
              0.39603,
              0.42639,
              0.47439,
              0.55215,
              0.68684,
              0.93897,
              1.43654
            ],
            [
              0.35696,
              0.39944,
              0.4298,
              0.4778,
              0.5556,
              0.69024,
              0.9424,
              1.44022
            ],
            [
              0.36218,
              0.40466,
              0.43504,
              0.48302,
              0.56085,
              0.69546,
              0.94763,
              1.44558
            ],
            [
              0.37011,
              0.4126,
              0.44295,
              0.49096,
              0.56881,
              0.70338,
              0.95511,
              1.45311
            ],
            [
              0.38201,
              0.4245,
              0.45486,
              0.50286,
              0.5807,
              0.71531,
              0.96742,
              1.46552
            ],
            [
              0.39968,
              0.44217,
              0.47253,
              0.52054,
              0.59834,
              0.73299,
              0.98503,
              1.48243
            ],
            [
              0.42533,
              0.46783,
              0.4982,
              0.5462,
              0.62398,
              0.75865,
              1.01076,
              1.50876
            ],
            [
              0.46079,
              0.50331,
              0.53367,
              0.58169,
              0.65954,
              0.79415,
              1.04605,
              1.54325
            ],
            [
              0.50241,
              0.54493,
              0.57531,
              0.62336,
              0.70119,
              0.83569,
              1.08739,
              1.58539
            ],
            [
              0.55132,
              0.59372,
              0.62402,
              0.67202,
              0.74972,
              0.88432,
              1.13602,
              1.63242
            ],
            [
              0.61017,
              0.65267,
              0.68307,
              0.73107,
              0.80877,
              0.94307,
              1.19517,
              1.69197
            ],
            [
              0.6823,
              0.7249,
              0.7553,
              0.8033,
              0.8811,
              1.0156,
              1.2671,
              1.7641
            ]
          ]
        },
        "fall_transition,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0081,
            0.01621,
            0.03241,
            0.06481,
            0.12962,
            0.25925,
            0.5185
          ],
          "values": [
            [
              0.06229,
              0.08658,
              0.10498,
              0.13583,
              0.18866,
              0.2826,
              0.46093,
              0.82436
            ],
            [
              0.06231,
              0.08657,
              0.10495,
              0.13585,
              0.18863,
              0.28252,
              0.46088,
              0.82363
            ],
            [
              0.0623,
              0.08658,
              0.10496,
              0.13587,
              0.18855,
              0.28242,
              0.46068,
              0.82316
            ],
            [
              0.06229,
              0.08661,
              0.10509,
              0.13601,
              0.18858,
              0.28202,
              0.46075,
              0.82399
            ],
            [
              0.06232,
              0.08661,
              0.10501,
              0.13578,
              0.18864,
              0.28214,
              0.46091,
              0.82407
            ],
            [
              0.06234,
              0.08662,
              0.10502,
              0.1358,
              0.18865,
              0.28214,
              0.46091,
              0.82406
            ],
            [
              0.06236,
              0.08665,
              0.10503,
              0.1359,
              0.18888,
              0.28253,
              0.46065,
              0.82303
            ],
            [
              0.06241,
              0.08669,
              0.10507,
              0.13595,
              0.18882,
              0.28256,
              0.46087,
              0.8235
            ],
            [
              0.06249,
              0.08676,
              0.10517,
              0.13616,
              0.18876,
              0.28221,
              0.4609,
              0.8241
            ],
            [
              0.06253,
              0.08676,
              0.1052,
              0.136,
              0.1888,
              0.2827,
              0.4609,
              0.8243
            ],
            [
              0.0624,
              0.0867,
              0.1052,
              0.136,
              0.1886,
              0.2821,
              0.461,
              0.8245
            ],
            [
              0.0624,
              0.0866,
              0.1049,
              0.1358,
              0.1886,
              0.2822,
              0.4609,
              0.8233
            ],
            [
              0.0624,
              0.0866,
              0.1052,
              0.1361,
              0.1887,
              0.2823,
              0.46,
              0.8243
            ]
          ]
        },
        "related_pin": "B",
        "rise_transition,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0081,
            0.01621,
            0.03241,
            0.06481,
            0.12962,
            0.25925,
            0.5185
          ],
          "values": [
            [
              0.05159,
              0.08588,
              0.11133,
              0.15566,
              0.24016,
              0.41107,
              0.76904,
              1.50472
            ],
            [
              0.0516,
              0.08588,
              0.11111,
              0.15567,
              0.24001,
              0.41152,
              0.76746,
              1.4999
            ],
            [
              0.05161,
              0.0859,
              0.11114,
              0.15572,
              0.23985,
              0.41151,
              0.76804,
              1.50627
            ],
            [
              0.05161,
              0.08591,
              0.11114,
              0.15573,
              0.2398,
              0.41151,
              0.76827,
              1.50609
            ],
            [
              0.05164,
              0.08586,
              0.11128,
              0.15568,
              0.24052,
              0.41119,
              0.76867,
              1.50157
            ],
            [
              0.05165,
              0.08596,
              0.11115,
              0.15575,
              0.2397,
              0.4116,
              0.7688,
              1.49928
            ],
            [
              0.05167,
              0.08593,
              0.11131,
              0.15562,
              0.24029,
              0.4115,
              0.76779,
              1.50042
            ],
            [
              0.05169,
              0.08598,
              0.11123,
              0.1558,
              0.24006,
              0.4115,
              0.76819,
              1.5061
            ],
            [
              0.05176,
              0.08608,
              0.11155,
              0.15581,
              0.24064,
              0.41142,
              0.76829,
              1.5064
            ],
            [
              0.05179,
              0.08607,
              0.11148,
              0.15585,
              0.24002,
              0.4112,
              0.7687,
              1.5014
            ],
            [
              0.0516,
              0.0858,
              0.1111,
              0.1556,
              0.2405,
              0.4115,
              0.769,
              1.5011
            ],
            [
              0.0519,
              0.0861,
              0.1116,
              0.1558,
              0.2395,
              0.4117,
              0.769,
              1.5012
            ],
            [
              0.0522,
              0.0865,
              0.1116,
              0.1562,
              0.2406,
              0.411,
              0.7689,
              1.4996
            ]
          ]
        },
        "sdf_cond": "(A&CI)",
        "timing_sense": "positive_unate",
        "when": "(A&CI)"
      },
      {
        "cell_fall,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0081,
            0.01621,
            0.03241,
            0.06481,
            0.12962,
            0.25925,
            0.5185
          ],
          "values": [
            [
              0.33456,
              0.37345,
              0.4008,
              0.44328,
              0.50849,
              0.61012,
              0.77624,
              1.06987
            ],
            [
              0.33704,
              0.37592,
              0.40327,
              0.44574,
              0.51097,
              0.61262,
              0.77873,
              1.07234
            ],
            [
              0.34001,
              0.3789,
              0.40625,
              0.44873,
              0.51397,
              0.61561,
              0.78175,
              1.07532
            ],
            [
              0.34464,
              0.38351,
              0.41087,
              0.45337,
              0.51858,
              0.62023,
              0.78636,
              1.07998
            ],
            [
              0.35172,
              0.39061,
              0.41797,
              0.46044,
              0.52569,
              0.62734,
              0.79348,
              1.08711
            ],
            [
              0.36238,
              0.40126,
              0.42861,
              0.47109,
              0.53635,
              0.638,
              0.80414,
              1.09772
            ],
            [
              0.37851,
              0.41738,
              0.44471,
              0.48718,
              0.55244,
              0.65412,
              0.82032,
              1.11353
            ],
            [
              0.40272,
              0.44158,
              0.46889,
              0.51135,
              0.5766,
              0.67832,
              0.84456,
              1.13786
            ],
            [
              0.43846,
              0.47729,
              0.5046,
              0.54703,
              0.61231,
              0.71406,
              0.88025,
              1.17395
            ],
            [
              0.4897,
              0.5285,
              0.55579,
              0.59822,
              0.66349,
              0.76529,
              0.93169,
              1.22539
            ],
            [
              0.55852,
              0.59792,
              0.62542,
              0.66812,
              0.73362,
              0.83572,
              1.00232,
              1.29592
            ],
            [
              0.63737,
              0.67867,
              0.70757,
              0.75207,
              0.81977,
              0.92397,
              1.09177,
              1.38587
            ],
            [
              0.7242,
              0.7679,
              0.7983,
              0.8451,
              0.9161,
              1.0246,
              1.1971,
              1.494
            ]
          ]
        },
        "cell_rise,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0081,
            0.01621,
            0.03241,
            0.06481,
            0.12962,
            0.25925,
            0.5185
          ],
          "values": [
            [
              0.23575,
              0.27762,
              0.30764,
              0.35524,
              0.43265,
              0.56661,
              0.81808,
              1.31577
            ],
            [
              0.2386,
              0.28047,
              0.31048,
              0.35809,
              0.43546,
              0.56949,
              0.82101,
              1.31704
            ],
            [
              0.24201,
              0.28389,
              0.31389,
              0.36151,
              0.43885,
              0.57291,
              0.82447,
              1.32032
            ],
            [
              0.24707,
              0.28895,
              0.31896,
              0.36656,
              0.44398,
              0.57796,
              0.82942,
              1.32698
            ],
            [
              0.25474,
              0.29662,
              0.32663,
              0.37422,
              0.45165,
              0.58548,
              0.83715,
              1.33371
            ],
            [
              0.26617,
              0.30803,
              0.33807,
              0.38567,
              0.46306,
              0.5971,
              0.84855,
              1.34532
            ],
            [
              0.28318,
              0.32508,
              0.3551,
              0.40269,
              0.48,
              0.61414,
              0.86576,
              1.36173
            ],
            [
              0.30842,
              0.35034,
              0.38035,
              0.42794,
              0.50526,
              0.63936,
              0.89086,
              1.38766
            ],
            [
              0.3449,
              0.38681,
              0.41682,
              0.46438,
              0.54175,
              0.67581,
              0.92755,
              1.42345
            ],
            [
              0.39612,
              0.4381,
              0.46814,
              0.5157,
              0.59296,
              0.72709,
              0.97869,
              1.47589
            ],
            [
              0.46232,
              0.50592,
              0.53702,
              0.58562,
              0.66362,
              0.79792,
              1.04972,
              1.54592
            ],
            [
              0.54567,
              0.59137,
              0.62397,
              0.67477,
              0.75517,
              0.89097,
              1.14317,
              1.64007
            ],
            [
              0.6508,
              0.699,
              0.7337,
              0.7874,
              0.8711,
              1.0102,
              1.2635,
              1.76
            ]
          ]
        },
        "fall_transition,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0081,
            0.01621,
            0.03241,
            0.06481,
            0.12962,
            0.25925,
            0.5185
          ],
          "values": [
            [
              0.0642,
              0.08853,
              0.10657,
              0.13745,
              0.18998,
              0.2839,
              0.46308,
              0.82615
            ],
            [
              0.06414,
              0.08839,
              0.10673,
              0.13726,
              0.18997,
              0.28434,
              0.46306,
              0.82614
            ],
            [
              0.06421,
              0.08839,
              0.10667,
              0.13742,
              0.19013,
              0.28418,
              0.46307,
              0.8252
            ],
            [
              0.06422,
              0.08834,
              0.1066,
              0.13743,
              0.18999,
              0.28389,
              0.46298,
              0.82615
            ],
            [
              0.06421,
              0.08841,
              0.10662,
              0.13732,
              0.19017,
              0.28422,
              0.4631,
              0.82556
            ],
            [
              0.06421,
              0.08839,
              0.10661,
              0.13727,
              0.19012,
              0.28418,
              0.46306,
              0.82551
            ],
            [
              0.06422,
              0.08852,
              0.10669,
              0.1373,
              0.19023,
              0.28436,
              0.46288,
              0.82577
            ],
            [
              0.06423,
              0.08844,
              0.10679,
              0.13738,
              0.19049,
              0.28433,
              0.46298,
              0.82539
            ],
            [
              0.06433,
              0.08852,
              0.1069,
              0.13751,
              0.19057,
              0.28431,
              0.46319,
              0.8255
            ],
            [
              0.06478,
              0.08889,
              0.10716,
              0.13799,
              0.19069,
              0.28457,
              0.4632,
              0.8257
            ],
            [
              0.0687,
              0.0922,
              0.1102,
              0.1401,
              0.192,
              0.2857,
              0.4637,
              0.8265
            ],
            [
              0.0764,
              0.1004,
              0.1185,
              0.1486,
              0.1999,
              0.2918,
              0.467,
              0.8278
            ],
            [
              0.0865,
              0.111,
              0.1294,
              0.1602,
              0.2125,
              0.3045,
              0.4775,
              0.8338
            ]
          ]
        },
        "related_pin": "CI",
        "rise_transition,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0081,
            0.01621,
            0.03241,
            0.06481,
            0.12962,
            0.25925,
            0.5185
          ],
          "values": [
            [
              0.04901,
              0.08322,
              0.10859,
              0.15338,
              0.23846,
              0.41063,
              0.76798,
              1.50014
            ],
            [
              0.04902,
              0.08317,
              0.10871,
              0.15338,
              0.23804,
              0.41064,
              0.76875,
              1.50101
            ],
            [
              0.04903,
              0.08317,
              0.10873,
              0.15336,
              0.23804,
              0.41063,
              0.76861,
              1.50079
            ],
            [
              0.04902,
              0.08322,
              0.10855,
              0.15337,
              0.23848,
              0.41064,
              0.76804,
              1.5002
            ],
            [
              0.04904,
              0.08323,
              0.10852,
              0.15339,
              0.23863,
              0.41014,
              0.76877,
              1.50426
            ],
            [
              0.04904,
              0.08321,
              0.10861,
              0.15338,
              0.23818,
              0.41064,
              0.7688,
              1.50427
            ],
            [
              0.04911,
              0.08328,
              0.1086,
              0.15344,
              0.23853,
              0.41052,
              0.76846,
              1.50091
            ],
            [
              0.04919,
              0.08329,
              0.10867,
              0.15338,
              0.23865,
              0.41062,
              0.76816,
              1.50416
            ],
            [
              0.04918,
              0.08341,
              0.10876,
              0.1536,
              0.23894,
              0.4107,
              0.76745,
              1.5007
            ],
            [
              0.0502,
              0.08431,
              0.10963,
              0.15416,
              0.23892,
              0.41045,
              0.768,
              1.5004
            ],
            [
              0.05365,
              0.0886,
              0.114,
              0.1579,
              0.2417,
              0.4115,
              0.7687,
              1.5057
            ],
            [
              0.0584,
              0.095,
              0.1212,
              0.1655,
              0.248,
              0.4156,
              0.77,
              1.5021
            ],
            [
              0.0652,
              0.1035,
              0.1308,
              0.176,
              0.2581,
              0.4235,
              0.7746,
              1.5019
            ]
          ]
        },
        "sdf_cond": "(!A&!B)",
        "timing_sense": "positive_unate",
        "when": "(!A&!B)"
      },
      {
        "cell_fall,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0081,
            0.01621,
            0.03241,
            0.06481,
            0.12962,
            0.25925,
            0.5185
          ],
          "values": [
            [
              0.49857,
              0.53821,
              0.56702,
              0.61351,
              0.68696,
              0.80101,
              0.98367,
              1.30267
            ],
            [
              0.50143,
              0.54107,
              0.56988,
              0.61637,
              0.68982,
              0.80385,
              0.98654,
              1.30594
            ],
            [
              0.50483,
              0.54448,
              0.5733,
              0.61979,
              0.69325,
              0.80727,
              0.98992,
              1.30922
            ],
            [
              0.51004,
              0.5497,
              0.57851,
              0.62497,
              0.69844,
              0.81253,
              0.99528,
              1.31428
            ],
            [
              0.51797,
              0.55761,
              0.58643,
              0.63289,
              0.70636,
              0.82044,
              1.00311,
              1.32221
            ],
            [
              0.52998,
              0.5696,
              0.59842,
              0.6449,
              0.71835,
              0.83239,
              1.01512,
              1.33432
            ],
            [
              0.54801,
              0.58764,
              0.61644,
              0.66289,
              0.73635,
              0.85045,
              1.03313,
              1.35213
            ],
            [
              0.57475,
              0.61437,
              0.64316,
              0.6896,
              0.76305,
              0.87716,
              1.05996,
              1.37886
            ],
            [
              0.61243,
              0.65205,
              0.68083,
              0.72725,
              0.80065,
              0.91475,
              1.09755,
              1.41655
            ],
            [
              0.66409,
              0.70369,
              0.73239,
              0.77879,
              0.85229,
              0.96639,
              1.14909,
              1.46849
            ],
            [
              0.73382,
              0.77322,
              0.80182,
              0.84812,
              0.92152,
              1.03552,
              1.21822,
              1.53722
            ],
            [
              0.82387,
              0.86277,
              0.89117,
              0.93717,
              1.01027,
              1.12417,
              1.30677,
              1.62577
            ],
            [
              0.9377,
              0.9762,
              1.0043,
              1.0499,
              1.1228,
              1.2363,
              1.4185,
              1.7372
            ]
          ]
        },
        "cell_rise,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0081,
            0.01621,
            0.03241,
            0.06481,
            0.12962,
            0.25925,
            0.5185
          ],
          "values": [
            [
              0.41951,
              0.46273,
              0.494,
              0.54352,
              0.6237,
              0.76257,
              1.02467,
              1.54307
            ],
            [
              0.42201,
              0.46524,
              0.4965,
              0.54601,
              0.62619,
              0.7651,
              1.02714,
              1.54554
            ],
            [
              0.42502,
              0.46824,
              0.49951,
              0.54903,
              0.62921,
              0.76808,
              1.03012,
              1.54862
            ],
            [
              0.42968,
              0.47291,
              0.50418,
              0.55371,
              0.63387,
              0.77272,
              1.03488,
              1.55328
            ],
            [
              0.43681,
              0.48005,
              0.51132,
              0.56084,
              0.64102,
              0.77987,
              1.04201,
              1.56041
            ],
            [
              0.44755,
              0.4908,
              0.52207,
              0.57158,
              0.65175,
              0.79064,
              1.05272,
              1.57112
            ],
            [
              0.46383,
              0.50708,
              0.53835,
              0.58788,
              0.66804,
              0.80687,
              1.06903,
              1.58733
            ],
            [
              0.48859,
              0.53185,
              0.56312,
              0.61264,
              0.69278,
              0.83162,
              1.09366,
              1.61206
            ],
            [
              0.52619,
              0.56941,
              0.60068,
              0.65017,
              0.73027,
              0.86905,
              1.13115,
              1.64955
            ],
            [
              0.58008,
              0.62322,
              0.65449,
              0.70389,
              0.78399,
              0.92269,
              1.18479,
              1.70319
            ],
            [
              0.64942,
              0.69252,
              0.72362,
              0.77302,
              0.85292,
              0.99162,
              1.25372,
              1.77212
            ],
            [
              0.72997,
              0.77317,
              0.80447,
              0.85387,
              0.93387,
              1.07247,
              1.33437,
              1.85247
            ],
            [
              0.819,
              0.8624,
              0.8938,
              0.9435,
              1.0237,
              1.1624,
              1.424,
              1.9422
            ]
          ]
        },
        "fall_transition,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0081,
            0.01621,
            0.03241,
            0.06481,
            0.12962,
            0.25925,
            0.5185
          ],
          "values": [
            [
              0.06493,
              0.08968,
              0.10841,
              0.14004,
              0.19495,
              0.29594,
              0.48793,
              0.878
            ],
            [
              0.06498,
              0.08971,
              0.10839,
              0.14001,
              0.19501,
              0.29545,
              0.488,
              0.87676
            ],
            [
              0.06501,
              0.0897,
              0.10841,
              0.14,
              0.19504,
              0.29547,
              0.48787,
              0.87702
            ],
            [
              0.06501,
              0.08973,
              0.10834,
              0.13984,
              0.19511,
              0.29614,
              0.48788,
              0.87796
            ],
            [
              0.06498,
              0.08956,
              0.10833,
              0.13984,
              0.19511,
              0.29615,
              0.48789,
              0.87799
            ],
            [
              0.06496,
              0.08966,
              0.10827,
              0.13996,
              0.19502,
              0.29544,
              0.48793,
              0.8772
            ],
            [
              0.0649,
              0.08955,
              0.10829,
              0.13979,
              0.19506,
              0.29602,
              0.4876,
              0.8779
            ],
            [
              0.06491,
              0.08947,
              0.10833,
              0.13976,
              0.19505,
              0.2959,
              0.48776,
              0.8776
            ],
            [
              0.06488,
              0.08956,
              0.10813,
              0.13992,
              0.19487,
              0.2958,
              0.4878,
              0.8779
            ],
            [
              0.06486,
              0.0895,
              0.1083,
              0.1398,
              0.1948,
              0.2959,
              0.4878,
              0.8767
            ],
            [
              0.065,
              0.0895,
              0.1083,
              0.1399,
              0.1953,
              0.296,
              0.4879,
              0.8776
            ],
            [
              0.0656,
              0.0903,
              0.109,
              0.1405,
              0.1955,
              0.2962,
              0.4879,
              0.878
            ],
            [
              0.0668,
              0.0916,
              0.1101,
              0.1414,
              0.1961,
              0.2965,
              0.4882,
              0.8782
            ]
          ]
        },
        "related_pin": "CI",
        "rise_transition,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0081,
            0.01621,
            0.03241,
            0.06481,
            0.12962,
            0.25925,
            0.5185
          ],
          "values": [
            [
              0.05082,
              0.08495,
              0.11016,
              0.15492,
              0.24014,
              0.41524,
              0.78029,
              1.52742
            ],
            [
              0.05084,
              0.08492,
              0.11025,
              0.15494,
              0.2403,
              0.41553,
              0.77983,
              1.52887
            ],
            [
              0.05085,
              0.08495,
              0.1102,
              0.15493,
              0.24014,
              0.41518,
              0.78022,
              1.52745
            ],
            [
              0.05082,
              0.08492,
              0.11027,
              0.15498,
              0.24013,
              0.41584,
              0.78003,
              1.52569
            ],
            [
              0.0509,
              0.08495,
              0.11021,
              0.15495,
              0.24004,
              0.41493,
              0.78002,
              1.5262
            ],
            [
              0.05082,
              0.08494,
              0.11025,
              0.15493,
              0.24027,
              0.41516,
              0.78228,
              1.52732
            ],
            [
              0.05083,
              0.08509,
              0.11037,
              0.15495,
              0.24009,
              0.41596,
              0.78075,
              1.5265
            ],
            [
              0.05086,
              0.08487,
              0.11032,
              0.15495,
              0.24017,
              0.41509,
              0.78024,
              1.5274
            ],
            [
              0.05085,
              0.08498,
              0.11019,
              0.15486,
              0.24028,
              0.41519,
              0.7826,
              1.5273
            ],
            [
              0.05086,
              0.08498,
              0.11036,
              0.15495,
              0.2401,
              0.4156,
              0.7815,
              1.5274
            ],
            [
              0.051,
              0.0852,
              0.1106,
              0.155,
              0.2404,
              0.4152,
              0.7806,
              1.5265
            ],
            [
              0.052,
              0.0863,
              0.1117,
              0.1561,
              0.2411,
              0.4159,
              0.7801,
              1.5276
            ],
            [
              0.0534,
              0.0882,
              0.1137,
              0.1582,
              0.243,
              0.4166,
              0.7816,
              1.5303
            ]
          ]
        },
        "sdf_cond": "(!A&B)",
        "timing_sense": "negative_unate",
        "when": "(!A&B)"
      },
      {
        "cell_fall,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0081,
            0.01621,
            0.03241,
            0.06481,
            0.12962,
            0.25925,
            0.5185
          ],
          "values": [
            [
              0.49866,
              0.53831,
              0.56713,
              0.61361,
              0.68705,
              0.80112,
              0.98385,
              1.30277
            ],
            [
              0.5015,
              0.54116,
              0.56999,
              0.61647,
              0.68992,
              0.80396,
              0.98664,
              1.30604
            ],
            [
              0.50494,
              0.54458,
              0.57341,
              0.61989,
              0.69334,
              0.80738,
              0.99012,
              1.30942
            ],
            [
              0.51014,
              0.5498,
              0.57861,
              0.62509,
              0.69854,
              0.81263,
              0.99538,
              1.31438
            ],
            [
              0.51807,
              0.55772,
              0.58654,
              0.633,
              0.70645,
              0.82055,
              1.00331,
              1.32231
            ],
            [
              0.53007,
              0.5697,
              0.59852,
              0.645,
              0.71845,
              0.8325,
              1.01522,
              1.33452
            ],
            [
              0.5481,
              0.58781,
              0.61654,
              0.66299,
              0.73644,
              0.85056,
              1.03333,
              1.35233
            ],
            [
              0.57485,
              0.61448,
              0.64328,
              0.68971,
              0.76315,
              0.87726,
              1.06006,
              1.37926
            ],
            [
              0.61252,
              0.65215,
              0.68095,
              0.72737,
              0.80075,
              0.91495,
              1.09765,
              1.41675
            ],
            [
              0.66419,
              0.70379,
              0.73259,
              0.77899,
              0.85239,
              0.96649,
              1.14929,
              1.46869
            ],
            [
              0.73392,
              0.77332,
              0.80202,
              0.84832,
              0.92172,
              1.03572,
              1.21842,
              1.53752
            ],
            [
              0.82397,
              0.86297,
              0.89137,
              0.93737,
              1.01047,
              1.12437,
              1.30697,
              1.62597
            ],
            [
              0.9379,
              0.9764,
              1.0045,
              1.0501,
              1.1229,
              1.2364,
              1.4187,
              1.7374
            ]
          ]
        },
        "cell_rise,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0081,
            0.01621,
            0.03241,
            0.06481,
            0.12962,
            0.25925,
            0.5185
          ],
          "values": [
            [
              0.41923,
              0.46248,
              0.49377,
              0.54329,
              0.62348,
              0.76235,
              1.02447,
              1.54287
            ],
            [
              0.42173,
              0.465,
              0.49627,
              0.54579,
              0.62597,
              0.76488,
              1.02694,
              1.54534
            ],
            [
              0.42474,
              0.468,
              0.49928,
              0.54881,
              0.62899,
              0.76786,
              1.02992,
              1.54842
            ],
            [
              0.4294,
              0.47267,
              0.50394,
              0.55348,
              0.63365,
              0.77251,
              1.03468,
              1.55307
            ],
            [
              0.43653,
              0.47981,
              0.51109,
              0.56062,
              0.6408,
              0.77965,
              1.04181,
              1.56021
            ],
            [
              0.44728,
              0.49055,
              0.52184,
              0.57136,
              0.65153,
              0.79043,
              1.05252,
              1.57092
            ],
            [
              0.46355,
              0.50684,
              0.53812,
              0.58766,
              0.66782,
              0.80666,
              1.06873,
              1.58713
            ],
            [
              0.48832,
              0.53161,
              0.5629,
              0.61242,
              0.69256,
              0.83141,
              1.09346,
              1.61186
            ],
            [
              0.52593,
              0.56918,
              0.60045,
              0.64996,
              0.73006,
              0.86885,
              1.13095,
              1.64935
            ],
            [
              0.5798,
              0.62297,
              0.65419,
              0.70369,
              0.78369,
              0.92249,
              1.18459,
              1.70289
            ],
            [
              0.64912,
              0.69222,
              0.72332,
              0.77272,
              0.85262,
              0.99142,
              1.25342,
              1.77182
            ],
            [
              0.72967,
              0.77287,
              0.80417,
              0.85357,
              0.93357,
              1.07217,
              1.33407,
              1.85217
            ],
            [
              0.8187,
              0.8621,
              0.8936,
              0.9432,
              1.0234,
              1.1621,
              1.4237,
              1.9419
            ]
          ]
        },
        "fall_transition,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0081,
            0.01621,
            0.03241,
            0.06481,
            0.12962,
            0.25925,
            0.5185
          ],
          "values": [
            [
              0.06501,
              0.0897,
              0.10843,
              0.14007,
              0.19504,
              0.29597,
              0.48794,
              0.87794
            ],
            [
              0.06503,
              0.08971,
              0.10841,
              0.14004,
              0.19502,
              0.29548,
              0.48799,
              0.87682
            ],
            [
              0.06501,
              0.08971,
              0.10831,
              0.14002,
              0.19506,
              0.29549,
              0.48797,
              0.87688
            ],
            [
              0.06503,
              0.0896,
              0.10836,
              0.13987,
              0.19516,
              0.29612,
              0.48762,
              0.87801
            ],
            [
              0.065,
              0.08965,
              0.10835,
              0.13987,
              0.19516,
              0.29605,
              0.48762,
              0.87802
            ],
            [
              0.06499,
              0.08968,
              0.10828,
              0.13999,
              0.19504,
              0.29546,
              0.48791,
              0.877
            ],
            [
              0.06497,
              0.08951,
              0.10831,
              0.13982,
              0.19509,
              0.29603,
              0.4876,
              0.878
            ],
            [
              0.06487,
              0.08949,
              0.10834,
              0.13979,
              0.19507,
              0.2956,
              0.48775,
              0.878
            ],
            [
              0.06487,
              0.08948,
              0.10821,
              0.13992,
              0.19489,
              0.2959,
              0.4878,
              0.8778
            ],
            [
              0.06495,
              0.0896,
              0.1082,
              0.1398,
              0.195,
              0.2959,
              0.4879,
              0.8769
            ],
            [
              0.065,
              0.0896,
              0.1084,
              0.1399,
              0.1953,
              0.2961,
              0.4879,
              0.8776
            ],
            [
              0.0655,
              0.0902,
              0.1088,
              0.1405,
              0.1955,
              0.2962,
              0.488,
              0.8781
            ],
            [
              0.0668,
              0.0916,
              0.1101,
              0.1414,
              0.1962,
              0.2965,
              0.4883,
              0.8782
            ]
          ]
        },
        "related_pin": "CI",
        "rise_transition,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0081,
            0.01621,
            0.03241,
            0.06481,
            0.12962,
            0.25925,
            0.5185
          ],
          "values": [
            [
              0.05083,
              0.08495,
              0.11018,
              0.15493,
              0.24018,
              0.41526,
              0.7802,
              1.52744
            ],
            [
              0.05084,
              0.08493,
              0.11025,
              0.15492,
              0.24034,
              0.41555,
              0.77985,
              1.52899
            ],
            [
              0.05085,
              0.08495,
              0.11015,
              0.15492,
              0.24017,
              0.4152,
              0.78024,
              1.52738
            ],
            [
              0.05082,
              0.08494,
              0.11026,
              0.15499,
              0.24011,
              0.41496,
              0.78045,
              1.52782
            ],
            [
              0.05083,
              0.08495,
              0.11021,
              0.15496,
              0.24001,
              0.41495,
              0.78025,
              1.52633
            ],
            [
              0.05086,
              0.08495,
              0.11023,
              0.15491,
              0.24032,
              0.41488,
              0.7807,
              1.52704
            ],
            [
              0.05084,
              0.085,
              0.1104,
              0.15495,
              0.24006,
              0.41588,
              0.77997,
              1.5266
            ],
            [
              0.05086,
              0.08489,
              0.11033,
              0.15496,
              0.24021,
              0.41521,
              0.78026,
              1.5274
            ],
            [
              0.05083,
              0.08487,
              0.11041,
              0.15495,
              0.2402,
              0.41501,
              0.7809,
              1.5273
            ],
            [
              0.05085,
              0.08503,
              0.1104,
              0.15487,
              0.2401,
              0.4159,
              0.7811,
              1.5275
            ],
            [
              0.051,
              0.0851,
              0.1106,
              0.155,
              0.2405,
              0.4152,
              0.7801,
              1.5267
            ],
            [
              0.052,
              0.0864,
              0.1117,
              0.1561,
              0.2411,
              0.4154,
              0.7802,
              1.5276
            ],
            [
              0.0534,
              0.0882,
              0.1136,
              0.1582,
              0.243,
              0.4166,
              0.7826,
              1.5298
            ]
          ]
        },
        "sdf_cond": "(A&!B)",
        "timing_sense": "negative_unate",
        "when": "(A&!B)"
      },
      {
        "cell_fall,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0081,
            0.01621,
            0.03241,
            0.06481,
            0.12962,
            0.25925,
            0.5185
          ],
          "values": [
            [
              0.33479,
              0.37367,
              0.40102,
              0.44349,
              0.50875,
              0.61038,
              0.77654,
              1.07007
            ],
            [
              0.33727,
              0.37616,
              0.40351,
              0.44599,
              0.51123,
              0.61288,
              0.77904,
              1.07234
            ],
            [
              0.34025,
              0.37914,
              0.40648,
              0.44897,
              0.51421,
              0.61585,
              0.782,
              1.07552
            ],
            [
              0.34487,
              0.38376,
              0.4111,
              0.4536,
              0.51882,
              0.62047,
              0.7866,
              1.08028
            ],
            [
              0.35195,
              0.39085,
              0.4182,
              0.46067,
              0.52593,
              0.62758,
              0.79373,
              1.08731
            ],
            [
              0.36262,
              0.40149,
              0.42884,
              0.47132,
              0.53659,
              0.63824,
              0.8044,
              1.09792
            ],
            [
              0.37873,
              0.41761,
              0.44494,
              0.48741,
              0.55268,
              0.65436,
              0.82055,
              1.11403
            ],
            [
              0.40293,
              0.4418,
              0.46911,
              0.51157,
              0.57684,
              0.67855,
              0.84476,
              1.13806
            ],
            [
              0.43866,
              0.47749,
              0.5048,
              0.54724,
              0.61252,
              0.71428,
              0.88055,
              1.17415
            ],
            [
              0.48988,
              0.52867,
              0.55596,
              0.5984,
              0.66369,
              0.76549,
              0.93179,
              1.22559
            ],
            [
              0.55872,
              0.59812,
              0.62562,
              0.66822,
              0.73382,
              0.83592,
              1.00242,
              1.29612
            ],
            [
              0.63747,
              0.67877,
              0.70767,
              0.75217,
              0.81997,
              0.92407,
              1.09197,
              1.38607
            ],
            [
              0.7243,
              0.7679,
              0.7984,
              0.8452,
              0.9162,
              1.0247,
              1.1973,
              1.4942
            ]
          ]
        },
        "cell_rise,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0081,
            0.01621,
            0.03241,
            0.06481,
            0.12962,
            0.25925,
            0.5185
          ],
          "values": [
            [
              0.23583,
              0.27769,
              0.30769,
              0.35528,
              0.43265,
              0.56659,
              0.81795,
              1.31467
            ],
            [
              0.23868,
              0.28054,
              0.31053,
              0.35813,
              0.43547,
              0.56947,
              0.82095,
              1.31704
            ],
            [
              0.2421,
              0.28396,
              0.31395,
              0.36155,
              0.43883,
              0.5729,
              0.82426,
              1.32062
            ],
            [
              0.24715,
              0.28901,
              0.31899,
              0.36658,
              0.44385,
              0.57793,
              0.82935,
              1.32578
            ],
            [
              0.25482,
              0.29669,
              0.32668,
              0.37427,
              0.45164,
              0.58554,
              0.83694,
              1.33391
            ],
            [
              0.26623,
              0.3081,
              0.3381,
              0.3857,
              0.46308,
              0.59703,
              0.84833,
              1.34542
            ],
            [
              0.28327,
              0.32515,
              0.35515,
              0.40274,
              0.47999,
              0.61395,
              0.86552,
              1.36243
            ],
            [
              0.30851,
              0.35041,
              0.38042,
              0.42799,
              0.50526,
              0.63934,
              0.89096,
              1.38726
            ],
            [
              0.345,
              0.38689,
              0.41689,
              0.46443,
              0.54178,
              0.67582,
              0.92715,
              1.42395
            ],
            [
              0.39623,
              0.4382,
              0.46822,
              0.51577,
              0.59307,
              0.72709,
              0.97889,
              1.47479
            ],
            [
              0.46252,
              0.50612,
              0.53712,
              0.58572,
              0.66362,
              0.79802,
              1.04982,
              1.54622
            ],
            [
              0.54587,
              0.59147,
              0.62417,
              0.67497,
              0.75537,
              0.89117,
              1.14327,
              1.64007
            ],
            [
              0.651,
              0.6992,
              0.7339,
              0.7876,
              0.8713,
              1.0104,
              1.2636,
              1.7604
            ]
          ]
        },
        "fall_transition,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0081,
            0.01621,
            0.03241,
            0.06481,
            0.12962,
            0.25925,
            0.5185
          ],
          "values": [
            [
              0.06419,
              0.08838,
              0.10674,
              0.13728,
              0.19011,
              0.28422,
              0.46314,
              0.82526
            ],
            [
              0.06414,
              0.08838,
              0.10672,
              0.13749,
              0.19024,
              0.28427,
              0.46304,
              0.82547
            ],
            [
              0.0642,
              0.08838,
              0.10666,
              0.13745,
              0.19014,
              0.2842,
              0.46304,
              0.82504
            ],
            [
              0.06419,
              0.08836,
              0.10661,
              0.13742,
              0.18998,
              0.28391,
              0.46304,
              0.82619
            ],
            [
              0.0642,
              0.0884,
              0.10662,
              0.13731,
              0.19015,
              0.2842,
              0.46308,
              0.82541
            ],
            [
              0.06415,
              0.08837,
              0.10659,
              0.1375,
              0.19016,
              0.28421,
              0.46304,
              0.82514
            ],
            [
              0.06421,
              0.08851,
              0.10668,
              0.13728,
              0.19027,
              0.28424,
              0.46294,
              0.82509
            ],
            [
              0.06422,
              0.08843,
              0.10679,
              0.13739,
              0.19023,
              0.28437,
              0.46296,
              0.82544
            ],
            [
              0.06433,
              0.08851,
              0.10689,
              0.13751,
              0.19052,
              0.2843,
              0.46317,
              0.8255
            ],
            [
              0.06476,
              0.08889,
              0.10717,
              0.13801,
              0.1905,
              0.28466,
              0.4633,
              0.8259
            ],
            [
              0.0687,
              0.0922,
              0.1101,
              0.1403,
              0.1921,
              0.2853,
              0.4638,
              0.8265
            ],
            [
              0.0764,
              0.1004,
              0.1185,
              0.1486,
              0.1999,
              0.2914,
              0.4671,
              0.8279
            ],
            [
              0.0866,
              0.111,
              0.1294,
              0.1603,
              0.2125,
              0.3046,
              0.4776,
              0.8339
            ]
          ]
        },
        "related_pin": "CI",
        "rise_transition,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0081,
            0.01621,
            0.03241,
            0.06481,
            0.12962,
            0.25925,
            0.5185
          ],
          "values": [
            [
              0.04898,
              0.08313,
              0.10867,
              0.15334,
              0.23833,
              0.41054,
              0.76874,
              1.50425
            ],
            [
              0.04899,
              0.08313,
              0.10866,
              0.15335,
              0.23801,
              0.41057,
              0.76865,
              1.50094
            ],
            [
              0.04899,
              0.08309,
              0.1085,
              0.15322,
              0.23818,
              0.41054,
              0.76872,
              1.50098
            ],
            [
              0.04899,
              0.08317,
              0.10849,
              0.15311,
              0.23844,
              0.41057,
              0.76873,
              1.50447
            ],
            [
              0.04901,
              0.08319,
              0.10852,
              0.15333,
              0.23815,
              0.40998,
              0.76876,
              1.50053
            ],
            [
              0.049,
              0.08321,
              0.10884,
              0.15311,
              0.23863,
              0.41005,
              0.76869,
              1.49976
            ],
            [
              0.04905,
              0.08312,
              0.10856,
              0.15334,
              0.23829,
              0.40999,
              0.76866,
              1.50484
            ],
            [
              0.04909,
              0.08341,
              0.10855,
              0.1533,
              0.23852,
              0.41058,
              0.76851,
              1.50443
            ],
            [
              0.04915,
              0.0834,
              0.10872,
              0.15355,
              0.23831,
              0.41054,
              0.7682,
              1.5
            ],
            [
              0.05014,
              0.08434,
              0.10959,
              0.15413,
              0.23916,
              0.41048,
              0.7673,
              1.5009
            ],
            [
              0.05368,
              0.0886,
              0.1139,
              0.1578,
              0.2413,
              0.4114,
              0.7686,
              1.5052
            ],
            [
              0.0583,
              0.095,
              0.1212,
              0.1658,
              0.248,
              0.4155,
              0.77,
              1.5021
            ],
            [
              0.0651,
              0.1034,
              0.1308,
              0.176,
              0.2581,
              0.4234,
              0.7746,
              1.5026
            ]
          ]
        },
        "sdf_cond": "(A&B)",
        "timing_sense": "positive_unate",
        "when": "(A&B)"
      }
    ]
  }
}