{
  "area": 12.7872,
  "cell_footprint": "sky130_fd_sc_hs__maj3",
  "cell_leakage_power": 6.64954,
  "leakage_power": [
    {
      "value": 9.03796,
      "when": "!A&!B&!C"
    },
    {
      "value": 9.18988,
      "when": "!A&!B&C"
    },
    {
      "value": 9.17638,
      "when": "!A&B&!C"
    },
    {
      "value": 9.90936,
      "when": "!A&B&C"
    },
    {
      "value": 9.18682,
      "when": "A&!B&!C"
    },
    {
      "value": 2.38233,
      "when": "A&!B&C"
    },
    {
      "value": 4.13597,
      "when": "A&B&!C"
    },
    {
      "value": 0.17765,
      "when": "A&B&C"
    }
  ],
  "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.00551,
    "clock": "false",
    "direction": "input",
    "internal_power": {
      "fall_power,hidden_pwr_template13": {
        "index_1": [
          0.01,
          0.01735,
          0.02602,
          0.03903,
          0.05855,
          0.08782,
          0.13172,
          0.19757,
          0.29634,
          0.44449,
          0.6667,
          1.0,
          1.5
        ],
        "values": [
          0.00581,
          0.00548,
          0.00549,
          0.00555,
          0.0056,
          0.0057,
          0.00592,
          0.0064,
          0.0072,
          0.00958,
          0.01184,
          0.01697,
          0.02271
        ]
      },
      "rise_power,hidden_pwr_template13": {
        "index_1": [
          0.01,
          0.01735,
          0.02602,
          0.03903,
          0.05855,
          0.08782,
          0.13172,
          0.19757,
          0.29634,
          0.44449,
          0.6667,
          1.0,
          1.5
        ],
        "values": [
          0.00252,
          0.00274,
          0.00286,
          0.0029,
          0.00281,
          0.00294,
          0.00287,
          0.00316,
          0.00366,
          0.005,
          0.00673,
          0.01131,
          0.01706
        ]
      }
    },
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,B": {
    "capacitance": 0.0051,
    "clock": "false",
    "direction": "input",
    "internal_power": {
      "fall_power,hidden_pwr_template13": {
        "index_1": [
          0.01,
          0.01735,
          0.02602,
          0.03903,
          0.05855,
          0.08782,
          0.13172,
          0.19757,
          0.29634,
          0.44449,
          0.6667,
          1.0,
          1.5
        ],
        "values": [
          0.00299,
          0.00303,
          0.00322,
          0.00324,
          0.00319,
          0.00326,
          0.00325,
          0.00337,
          0.00372,
          0.00503,
          0.00674,
          0.01124,
          0.01688
        ]
      },
      "rise_power,hidden_pwr_template13": {
        "index_1": [
          0.01,
          0.01735,
          0.02602,
          0.03903,
          0.05855,
          0.08782,
          0.13172,
          0.19757,
          0.29634,
          0.44449,
          0.6667,
          1.0,
          1.5
        ],
        "values": [
          0.0056,
          0.00543,
          0.00522,
          0.0053,
          0.00542,
          0.00552,
          0.00578,
          0.00625,
          0.00705,
          0.00939,
          0.01161,
          0.01664,
          0.02228
        ]
      }
    },
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,C": {
    "capacitance": 0.00535,
    "clock": "false",
    "direction": "input",
    "internal_power": {
      "fall_power,hidden_pwr_template13": {
        "index_1": [
          0.01,
          0.01735,
          0.02602,
          0.03903,
          0.05855,
          0.08782,
          0.13172,
          0.19757,
          0.29634,
          0.44449,
          0.6667,
          1.0,
          1.5
        ],
        "values": [
          0.00293,
          0.003,
          0.00285,
          0.00287,
          0.00296,
          0.00304,
          0.00314,
          0.0036,
          0.00442,
          0.00645,
          0.00869,
          0.01347,
          0.01918
        ]
      },
      "rise_power,hidden_pwr_template13": {
        "index_1": [
          0.01,
          0.01735,
          0.02602,
          0.03903,
          0.05855,
          0.08782,
          0.13172,
          0.19757,
          0.29634,
          0.44449,
          0.6667,
          1.0,
          1.5
        ],
        "values": [
          0.00362,
          0.00334,
          0.00347,
          0.00346,
          0.00352,
          0.00354,
          0.00366,
          0.00397,
          0.00462,
          0.00668,
          0.00893,
          0.01372,
          0.01944
        ]
      }
    },
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,X": {
    "direction": "output",
    "function": "(A&B) | (A&C) | (B&C)",
    "internal_power": [
      {
        "fall_power,pwr_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00726,
            0.01452,
            0.02905,
            0.05809,
            0.11618,
            0.23237
          ],
          "values": [
            [
              0.04279,
              0.0303,
              0.01851,
              -0.00504,
              -0.05216,
              -0.14641,
              -0.33472
            ],
            [
              0.04264,
              0.03016,
              0.01836,
              -0.00519,
              -0.05231,
              -0.14655,
              -0.33487
            ],
            [
              0.04256,
              0.03006,
              0.01826,
              -0.00528,
              -0.0524,
              -0.14664,
              -0.33497
            ],
            [
              0.04241,
              0.02994,
              0.01814,
              -0.0054,
              -0.05251,
              -0.14676,
              -0.33508
            ],
            [
              0.04229,
              0.02981,
              0.01802,
              -0.00553,
              -0.05264,
              -0.14688,
              -0.33519
            ],
            [
              0.04222,
              0.02969,
              0.01789,
              -0.00564,
              -0.05274,
              -0.14697,
              -0.33528
            ],
            [
              0.04217,
              0.02962,
              0.01782,
              -0.0057,
              -0.05278,
              -0.14701,
              -0.33531
            ],
            [
              0.04249,
              0.02981,
              0.01799,
              -0.00554,
              -0.05262,
              -0.14684,
              -0.33514
            ],
            [
              0.04336,
              0.03051,
              0.01862,
              -0.00493,
              -0.05202,
              -0.14625,
              -0.33456
            ],
            [
              0.04521,
              0.03202,
              0.02004,
              -0.00355,
              -0.05065,
              -0.14486,
              -0.33318
            ],
            [
              0.0482,
              0.03471,
              0.02262,
              -0.00112,
              -0.04825,
              -0.14248,
              -0.33082
            ],
            [
              0.05298,
              0.0391,
              0.02685,
              0.00303,
              -0.04424,
              -0.13855,
              -0.32693
            ],
            [
              0.06035,
              0.04599,
              0.0335,
              0.00948,
              -0.03789,
              -0.13231,
              -0.32078
            ]
          ]
        },
        "related_pin": "A",
        "rise_power,pwr_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00726,
            0.01452,
            0.02905,
            0.05809,
            0.11618,
            0.23237
          ],
          "values": [
            [
              0.00988,
              0.02139,
              0.033,
              0.05621,
              0.10292,
              0.19601,
              0.3838
            ],
            [
              0.00968,
              0.02118,
              0.03278,
              0.05608,
              0.10265,
              0.19583,
              0.38308
            ],
            [
              0.0095,
              0.02104,
              0.03265,
              0.05593,
              0.1025,
              0.19589,
              0.3825
            ],
            [
              0.00928,
              0.02083,
              0.03242,
              0.05572,
              0.10224,
              0.19564,
              0.38294
            ],
            [
              0.00915,
              0.02065,
              0.0323,
              0.05557,
              0.10218,
              0.19553,
              0.38265
            ],
            [
              0.00906,
              0.02053,
              0.03218,
              0.05549,
              0.10197,
              0.19533,
              0.38297
            ],
            [
              0.00912,
              0.02057,
              0.03217,
              0.05549,
              0.10203,
              0.19523,
              0.3827
            ],
            [
              0.00945,
              0.02075,
              0.03232,
              0.05568,
              0.10209,
              0.19514,
              0.38325
            ],
            [
              0.01021,
              0.02138,
              0.03288,
              0.05607,
              0.10247,
              0.19592,
              0.38329
            ],
            [
              0.01175,
              0.02272,
              0.03417,
              0.05728,
              0.10364,
              0.19672,
              0.3839
            ],
            [
              0.01446,
              0.02509,
              0.03649,
              0.05952,
              0.1059,
              0.19862,
              0.38589
            ],
            [
              0.01906,
              0.02935,
              0.04048,
              0.06342,
              0.10968,
              0.20237,
              0.38875
            ],
            [
              0.0264,
              0.03626,
              0.04719,
              0.06967,
              0.11584,
              0.20839,
              0.39433
            ]
          ]
        },
        "when": "(B&!C) | (!B&C)"
      },
      {
        "fall_power,pwr_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00726,
            0.01452,
            0.02905,
            0.05809,
            0.11618,
            0.23237
          ],
          "values": [
            [
              0.03464,
              0.02211,
              0.01029,
              -0.01323,
              -0.06028,
              -0.15452,
              -0.34288
            ],
            [
              0.03433,
              0.02179,
              0.00999,
              -0.01354,
              -0.06059,
              -0.15483,
              -0.34319
            ],
            [
              0.03412,
              0.02159,
              0.00979,
              -0.01373,
              -0.06079,
              -0.15502,
              -0.34338
            ],
            [
              0.03389,
              0.02132,
              0.00953,
              -0.014,
              -0.06105,
              -0.15529,
              -0.34364
            ],
            [
              0.03368,
              0.02112,
              0.00931,
              -0.01419,
              -0.06123,
              -0.15546,
              -0.34381
            ],
            [
              0.03355,
              0.02096,
              0.00916,
              -0.01433,
              -0.06137,
              -0.1556,
              -0.34394
            ],
            [
              0.03363,
              0.02103,
              0.0092,
              -0.01427,
              -0.06131,
              -0.15553,
              -0.34387
            ],
            [
              0.03431,
              0.02151,
              0.00965,
              -0.01386,
              -0.06089,
              -0.15511,
              -0.34346
            ],
            [
              0.03564,
              0.02261,
              0.01066,
              -0.0129,
              -0.05996,
              -0.1542,
              -0.34254
            ],
            [
              0.03784,
              0.02449,
              0.01245,
              -0.01119,
              -0.05827,
              -0.15251,
              -0.34086
            ],
            [
              0.04129,
              0.0276,
              0.0154,
              -0.00841,
              -0.05552,
              -0.14977,
              -0.33815
            ],
            [
              0.04657,
              0.03246,
              0.02008,
              -0.00384,
              -0.05112,
              -0.14543,
              -0.33386
            ],
            [
              0.05469,
              0.04002,
              0.02739,
              0.00323,
              -0.04421,
              -0.13864,
              -0.32717
            ]
          ]
        },
        "related_pin": "B",
        "rise_power,pwr_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00726,
            0.01452,
            0.02905,
            0.05809,
            0.11618,
            0.23237
          ],
          "values": [
            [
              0.00988,
              0.0215,
              0.03323,
              0.05649,
              0.10312,
              0.19615,
              0.38412
            ],
            [
              0.00979,
              0.02147,
              0.03313,
              0.05642,
              0.10304,
              0.19629,
              0.38342
            ],
            [
              0.00971,
              0.02137,
              0.03302,
              0.05642,
              0.10286,
              0.19636,
              0.38368
            ],
            [
              0.00957,
              0.02123,
              0.03289,
              0.05627,
              0.10277,
              0.19624,
              0.38344
            ],
            [
              0.00935,
              0.02099,
              0.03264,
              0.05602,
              0.10261,
              0.19599,
              0.38325
            ],
            [
              0.00925,
              0.02085,
              0.03247,
              0.05588,
              0.10243,
              0.19539,
              0.38338
            ],
            [
              0.00924,
              0.02072,
              0.03233,
              0.05568,
              0.10221,
              0.19542,
              0.38299
            ],
            [
              0.00949,
              0.02076,
              0.03239,
              0.05574,
              0.10238,
              0.19542,
              0.38303
            ],
            [
              0.0102,
              0.02136,
              0.03287,
              0.05611,
              0.10268,
              0.19562,
              0.38337
            ],
            [
              0.0118,
              0.02273,
              0.03419,
              0.05736,
              0.1037,
              0.19645,
              0.38433
            ],
            [
              0.01475,
              0.02529,
              0.0367,
              0.05972,
              0.10593,
              0.19871,
              0.38682
            ],
            [
              0.01979,
              0.02994,
              0.04104,
              0.06394,
              0.11012,
              0.20259,
              0.38937
            ],
            [
              0.0279,
              0.03759,
              0.04843,
              0.07095,
              0.11691,
              0.20938,
              0.39646
            ]
          ]
        },
        "when": "(A&!C) | (!A&C)"
      },
      {
        "fall_power,pwr_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00726,
            0.01452,
            0.02905,
            0.05809,
            0.11618,
            0.23237
          ],
          "values": [
            [
              0.03916,
              0.02675,
              0.01503,
              -0.00841,
              -0.05541,
              -0.14959,
              -0.3379
            ],
            [
              0.03894,
              0.02652,
              0.01479,
              -0.00863,
              -0.05563,
              -0.14981,
              -0.33813
            ],
            [
              0.03877,
              0.02633,
              0.01462,
              -0.00882,
              -0.05582,
              -0.15,
              -0.3383
            ],
            [
              0.03852,
              0.02609,
              0.01437,
              -0.00906,
              -0.05605,
              -0.15023,
              -0.33854
            ],
            [
              0.03834,
              0.02588,
              0.01417,
              -0.00926,
              -0.05626,
              -0.15044,
              -0.33875
            ],
            [
              0.03819,
              0.02571,
              0.01398,
              -0.00943,
              -0.05642,
              -0.15059,
              -0.3389
            ],
            [
              0.03821,
              0.02569,
              0.01395,
              -0.00946,
              -0.05644,
              -0.1506,
              -0.33888
            ],
            [
              0.03874,
              0.02604,
              0.01425,
              -0.00917,
              -0.05615,
              -0.15031,
              -0.3386
            ],
            [
              0.03986,
              0.02696,
              0.01509,
              -0.00838,
              -0.05537,
              -0.14952,
              -0.33779
            ],
            [
              0.04195,
              0.02872,
              0.01675,
              -0.00677,
              -0.05377,
              -0.1479,
              -0.33618
            ],
            [
              0.04527,
              0.03175,
              0.01964,
              -0.00405,
              -0.05106,
              -0.14519,
              -0.33347
            ],
            [
              0.05053,
              0.03661,
              0.02435,
              0.00056,
              -0.04659,
              -0.14076,
              -0.32905
            ],
            [
              0.05866,
              0.04425,
              0.03177,
              0.00778,
              -0.03948,
              -0.13371,
              -0.32205
            ]
          ]
        },
        "related_pin": "C",
        "rise_power,pwr_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00726,
            0.01452,
            0.02905,
            0.05809,
            0.11618,
            0.23237
          ],
          "values": [
            [
              0.01009,
              0.0219,
              0.03372,
              0.05724,
              0.10404,
              0.19714,
              0.38483
            ],
            [
              0.00992,
              0.02174,
              0.03354,
              0.057,
              0.10381,
              0.19714,
              0.38438
            ],
            [
              0.00972,
              0.02154,
              0.03332,
              0.05683,
              0.10358,
              0.19698,
              0.3846
            ],
            [
              0.00953,
              0.02134,
              0.03314,
              0.05668,
              0.10337,
              0.19665,
              0.38424
            ],
            [
              0.00932,
              0.02111,
              0.03288,
              0.05646,
              0.10317,
              0.1965,
              0.38448
            ],
            [
              0.00919,
              0.02091,
              0.03269,
              0.05625,
              0.10306,
              0.19623,
              0.3838
            ],
            [
              0.00919,
              0.02079,
              0.03258,
              0.05605,
              0.10273,
              0.19622,
              0.38371
            ],
            [
              0.00948,
              0.02092,
              0.0326,
              0.05606,
              0.10286,
              0.19641,
              0.38408
            ],
            [
              0.01029,
              0.02156,
              0.03316,
              0.05655,
              0.10339,
              0.19682,
              0.38422
            ],
            [
              0.01198,
              0.02305,
              0.03459,
              0.05784,
              0.10446,
              0.19753,
              0.38517
            ],
            [
              0.015,
              0.02573,
              0.03719,
              0.06039,
              0.10687,
              0.19984,
              0.38759
            ],
            [
              0.0201,
              0.03049,
              0.04176,
              0.06489,
              0.11132,
              0.20416,
              0.3912
            ],
            [
              0.0282,
              0.03819,
              0.04921,
              0.07205,
              0.11849,
              0.21142,
              0.39782
            ]
          ]
        },
        "when": "(A&!B) | (!A&B)"
      }
    ],
    "max_capacitance": 0.15459,
    "power_down_function": "(!VPWR + VGND)",
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR",
    "timing": [
      {
        "cell_fall,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00726,
            0.01452,
            0.02905,
            0.05809,
            0.11618,
            0.23237
          ],
          "values": [
            [
              0.12778,
              0.17434,
              0.20562,
              0.25697,
              0.3465,
              0.51501,
              0.84776
            ],
            [
              0.12958,
              0.17614,
              0.20742,
              0.25876,
              0.34828,
              0.51684,
              0.84967
            ],
            [
              0.13182,
              0.17836,
              0.20965,
              0.26099,
              0.35052,
              0.51894,
              0.85174
            ],
            [
              0.13503,
              0.18157,
              0.21285,
              0.26421,
              0.35369,
              0.52204,
              0.85484
            ],
            [
              0.13964,
              0.18615,
              0.21745,
              0.26881,
              0.35833,
              0.52685,
              0.85965
            ],
            [
              0.1465,
              0.19298,
              0.22429,
              0.27568,
              0.36522,
              0.53375,
              0.86628
            ],
            [
              0.15704,
              0.20345,
              0.23479,
              0.28622,
              0.37578,
              0.54426,
              0.87675
            ],
            [
              0.17228,
              0.21917,
              0.25064,
              0.30219,
              0.39179,
              0.56017,
              0.89326
            ],
            [
              0.19153,
              0.2407,
              0.27306,
              0.32524,
              0.41518,
              0.58361,
              0.91655
            ],
            [
              0.21753,
              0.26907,
              0.30275,
              0.35659,
              0.44776,
              0.61672,
              0.94949
            ],
            [
              0.25314,
              0.30739,
              0.34254,
              0.3982,
              0.49112,
              0.66102,
              0.99382
            ],
            [
              0.30187,
              0.35937,
              0.39627,
              0.45407,
              0.54917,
              0.72057,
              1.05377
            ],
            [
              0.3685,
              0.4301,
              0.4691,
              0.5297,
              0.6277,
              0.8008,
              1.1346
            ]
          ]
        },
        "cell_rise,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00726,
            0.01452,
            0.02905,
            0.05809,
            0.11618,
            0.23237
          ],
          "values": [
            [
              0.08757,
              0.12942,
              0.16217,
              0.22458,
              0.34752,
              0.59303,
              1.08277
            ],
            [
              0.08911,
              0.13089,
              0.16363,
              0.22601,
              0.34906,
              0.5944,
              1.08414
            ],
            [
              0.09094,
              0.13268,
              0.16537,
              0.22767,
              0.35055,
              0.59548,
              1.08572
            ],
            [
              0.0937,
              0.13542,
              0.16809,
              0.23034,
              0.35322,
              0.59796,
              1.08848
            ],
            [
              0.09795,
              0.13959,
              0.17225,
              0.23452,
              0.35759,
              0.60243,
              1.09241
            ],
            [
              0.10431,
              0.14584,
              0.17852,
              0.24084,
              0.36391,
              0.60883,
              1.09882
            ],
            [
              0.11325,
              0.1549,
              0.18754,
              0.24985,
              0.37276,
              0.61784,
              1.10693
            ],
            [
              0.1239,
              0.16654,
              0.19939,
              0.26168,
              0.3845,
              0.62914,
              1.11886
            ],
            [
              0.13562,
              0.17965,
              0.21282,
              0.27533,
              0.39822,
              0.64364,
              1.13395
            ],
            [
              0.14732,
              0.19327,
              0.22696,
              0.28971,
              0.41268,
              0.65769,
              1.14689
            ],
            [
              0.15729,
              0.20597,
              0.24049,
              0.30362,
              0.42689,
              0.67172,
              1.16102
            ],
            [
              0.16304,
              0.21527,
              0.25117,
              0.31527,
              0.43887,
              0.68427,
              1.17307
            ],
            [
              0.1608,
              0.2175,
              0.2555,
              0.3212,
              0.4457,
              0.6922,
              1.1818
            ]
          ]
        },
        "fall_transition,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00726,
            0.01452,
            0.02905,
            0.05809,
            0.11618,
            0.23237
          ],
          "values": [
            [
              0.02393,
              0.06125,
              0.0891,
              0.14106,
              0.24514,
              0.462,
              0.90757
            ],
            [
              0.02392,
              0.06121,
              0.08909,
              0.14109,
              0.24496,
              0.46179,
              0.90783
            ],
            [
              0.02391,
              0.06114,
              0.08899,
              0.14099,
              0.24491,
              0.46186,
              0.90755
            ],
            [
              0.02392,
              0.06115,
              0.08895,
              0.14101,
              0.24506,
              0.46169,
              0.9063
            ],
            [
              0.0239,
              0.06115,
              0.08898,
              0.14106,
              0.24496,
              0.46164,
              0.90771
            ],
            [
              0.02392,
              0.06125,
              0.08906,
              0.14097,
              0.24484,
              0.46165,
              0.90723
            ],
            [
              0.02399,
              0.06127,
              0.08903,
              0.14102,
              0.24497,
              0.46181,
              0.90667
            ],
            [
              0.02559,
              0.0621,
              0.08964,
              0.1413,
              0.24515,
              0.46152,
              0.90746
            ],
            [
              0.02792,
              0.06524,
              0.09236,
              0.14305,
              0.24594,
              0.46183,
              0.90667
            ],
            [
              0.03078,
              0.06911,
              0.09649,
              0.14702,
              0.24847,
              0.46322,
              0.90787
            ],
            [
              0.03435,
              0.07378,
              0.10148,
              0.15216,
              0.25259,
              0.4651,
              0.9066
            ],
            [
              0.039,
              0.0798,
              0.1077,
              0.1583,
              0.258,
              0.4674,
              0.908
            ],
            [
              0.0454,
              0.0877,
              0.1159,
              0.1666,
              0.2652,
              0.473,
              0.9096
            ]
          ]
        },
        "related_pin": "A",
        "rise_transition,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00726,
            0.01452,
            0.02905,
            0.05809,
            0.11618,
            0.23237
          ],
          "values": [
            [
              0.02002,
              0.0644,
              0.1082,
              0.199,
              0.38319,
              0.75417,
              1.49578
            ],
            [
              0.01999,
              0.06431,
              0.10812,
              0.19883,
              0.38375,
              0.7542,
              1.4953
            ],
            [
              0.01996,
              0.0643,
              0.10795,
              0.19878,
              0.38327,
              0.75447,
              1.49734
            ],
            [
              0.01993,
              0.06425,
              0.10784,
              0.19881,
              0.38317,
              0.7544,
              1.49635
            ],
            [
              0.01993,
              0.06422,
              0.10792,
              0.19846,
              0.38309,
              0.75458,
              1.49497
            ],
            [
              0.01994,
              0.06421,
              0.10783,
              0.19906,
              0.38399,
              0.75408,
              1.49512
            ],
            [
              0.02052,
              0.06435,
              0.10794,
              0.1986,
              0.38287,
              0.75385,
              1.49954
            ],
            [
              0.02155,
              0.06548,
              0.10876,
              0.19866,
              0.38326,
              0.75498,
              1.49575
            ],
            [
              0.0231,
              0.06729,
              0.1099,
              0.19952,
              0.38355,
              0.75423,
              1.50109
            ],
            [
              0.02526,
              0.06984,
              0.11174,
              0.20063,
              0.3835,
              0.75363,
              1.49666
            ],
            [
              0.0282,
              0.07371,
              0.11471,
              0.2022,
              0.38472,
              0.75467,
              1.4961
            ],
            [
              0.03208,
              0.0794,
              0.1196,
              0.2054,
              0.3868,
              0.7556,
              1.4971
            ],
            [
              0.037,
              0.087,
              0.1271,
              0.2111,
              0.3905,
              0.7588,
              1.4973
            ]
          ]
        },
        "sdf_cond": "(!B&C)",
        "timing_sense": "positive_unate",
        "when": "(!B&C)"
      },
      {
        "cell_fall,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00726,
            0.01452,
            0.02905,
            0.05809,
            0.11618,
            0.23237
          ],
          "values": [
            [
              0.13074,
              0.17311,
              0.20185,
              0.25005,
              0.3369,
              0.50417,
              0.83707
            ],
            [
              0.13277,
              0.17512,
              0.20382,
              0.25207,
              0.33889,
              0.50621,
              0.83922
            ],
            [
              0.13518,
              0.17753,
              0.20627,
              0.25444,
              0.34117,
              0.50872,
              0.84166
            ],
            [
              0.1385,
              0.18083,
              0.20953,
              0.25776,
              0.34448,
              0.51202,
              0.84517
            ],
            [
              0.14325,
              0.18556,
              0.21428,
              0.26252,
              0.34934,
              0.51673,
              0.84983
            ],
            [
              0.15037,
              0.19265,
              0.22139,
              0.26966,
              0.35645,
              0.52398,
              0.85715
            ],
            [
              0.16137,
              0.2036,
              0.23236,
              0.28068,
              0.36749,
              0.53493,
              0.86768
            ],
            [
              0.17779,
              0.22023,
              0.24903,
              0.29743,
              0.3843,
              0.55164,
              0.88496
            ],
            [
              0.19872,
              0.24315,
              0.27273,
              0.32163,
              0.40874,
              0.57632,
              0.90935
            ],
            [
              0.22637,
              0.27296,
              0.30372,
              0.35403,
              0.4421,
              0.60985,
              0.94309
            ],
            [
              0.26344,
              0.31248,
              0.34457,
              0.39639,
              0.48582,
              0.65442,
              0.98762
            ],
            [
              0.31337,
              0.36527,
              0.39887,
              0.45247,
              0.54337,
              0.71277,
              1.04607
            ],
            [
              0.3807,
              0.4361,
              0.4715,
              0.5273,
              0.6202,
              0.7904,
              1.1246
            ]
          ]
        },
        "cell_rise,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00726,
            0.01452,
            0.02905,
            0.05809,
            0.11618,
            0.23237
          ],
          "values": [
            [
              0.08042,
              0.12231,
              0.1545,
              0.21599,
              0.33848,
              0.58219,
              1.07167
            ],
            [
              0.08198,
              0.12383,
              0.156,
              0.21747,
              0.33932,
              0.58379,
              1.07264
            ],
            [
              0.08386,
              0.12566,
              0.15785,
              0.21926,
              0.34134,
              0.58627,
              1.07542
            ],
            [
              0.08667,
              0.12845,
              0.16062,
              0.22198,
              0.34395,
              0.58827,
              1.07738
            ],
            [
              0.09091,
              0.13265,
              0.16485,
              0.22622,
              0.34832,
              0.59242,
              1.08241
            ],
            [
              0.09723,
              0.13894,
              0.17113,
              0.23264,
              0.35481,
              0.59943,
              1.08952
            ],
            [
              0.10553,
              0.14779,
              0.18006,
              0.24152,
              0.36359,
              0.60808,
              1.09813
            ],
            [
              0.11509,
              0.1587,
              0.19132,
              0.25296,
              0.37496,
              0.61921,
              1.10946
            ],
            [
              0.12531,
              0.17074,
              0.2039,
              0.26576,
              0.38793,
              0.63217,
              1.12175
            ],
            [
              0.1352,
              0.18303,
              0.21699,
              0.27931,
              0.40134,
              0.64519,
              1.13439
            ],
            [
              0.14326,
              0.19421,
              0.2294,
              0.2925,
              0.41488,
              0.65862,
              1.14652
            ],
            [
              0.14719,
              0.20197,
              0.23897,
              0.30357,
              0.42657,
              0.67137,
              1.15907
            ],
            [
              0.1435,
              0.2028,
              0.2424,
              0.3093,
              0.4343,
              0.6801,
              1.1678
            ]
          ]
        },
        "fall_transition,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00726,
            0.01452,
            0.02905,
            0.05809,
            0.11618,
            0.23237
          ],
          "values": [
            [
              0.02196,
              0.05507,
              0.08173,
              0.13345,
              0.23921,
              0.4589,
              0.90734
            ],
            [
              0.02195,
              0.055,
              0.08168,
              0.13341,
              0.23924,
              0.45896,
              0.90753
            ],
            [
              0.02195,
              0.05504,
              0.08173,
              0.13328,
              0.23943,
              0.45969,
              0.90614
            ],
            [
              0.02194,
              0.05498,
              0.08171,
              0.13327,
              0.23941,
              0.45964,
              0.90779
            ],
            [
              0.02195,
              0.05506,
              0.08176,
              0.13336,
              0.23934,
              0.45918,
              0.90764
            ],
            [
              0.02195,
              0.05502,
              0.08168,
              0.13325,
              0.23938,
              0.45961,
              0.90687
            ],
            [
              0.022,
              0.05505,
              0.08173,
              0.13328,
              0.23936,
              0.45893,
              0.90696
            ],
            [
              0.02303,
              0.05559,
              0.08216,
              0.13343,
              0.23943,
              0.45874,
              0.90761
            ],
            [
              0.02511,
              0.05829,
              0.08434,
              0.13491,
              0.23996,
              0.45972,
              0.90766
            ],
            [
              0.02752,
              0.06172,
              0.08795,
              0.13804,
              0.24193,
              0.45951,
              0.90761
            ],
            [
              0.03055,
              0.06576,
              0.09218,
              0.14219,
              0.24462,
              0.46154,
              0.9077
            ],
            [
              0.0343,
              0.0708,
              0.0974,
              0.1469,
              0.2485,
              0.4627,
              0.9076
            ],
            [
              0.0393,
              0.0771,
              0.1037,
              0.1532,
              0.253,
              0.4664,
              0.908
            ]
          ]
        },
        "related_pin": "A",
        "rise_transition,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00726,
            0.01452,
            0.02905,
            0.05809,
            0.11618,
            0.23237
          ],
          "values": [
            [
              0.02134,
              0.06533,
              0.10839,
              0.19883,
              0.38263,
              0.7537,
              1.49607
            ],
            [
              0.02129,
              0.06523,
              0.10845,
              0.19907,
              0.38281,
              0.75504,
              1.49995
            ],
            [
              0.02127,
              0.06514,
              0.10836,
              0.1983,
              0.3827,
              0.75372,
              1.50072
            ],
            [
              0.02128,
              0.06504,
              0.10818,
              0.19828,
              0.38379,
              0.75363,
              1.49502
            ],
            [
              0.02129,
              0.06498,
              0.10813,
              0.19831,
              0.38233,
              0.75357,
              1.50085
            ],
            [
              0.02142,
              0.06519,
              0.10828,
              0.19836,
              0.38299,
              0.7552,
              1.49602
            ],
            [
              0.02236,
              0.06555,
              0.10846,
              0.19818,
              0.38261,
              0.75485,
              1.49568
            ],
            [
              0.0237,
              0.06722,
              0.10946,
              0.19868,
              0.38239,
              0.75326,
              1.49724
            ],
            [
              0.02556,
              0.06947,
              0.11124,
              0.20014,
              0.38276,
              0.75615,
              1.49549
            ],
            [
              0.0281,
              0.07309,
              0.11392,
              0.20135,
              0.38429,
              0.75368,
              1.49771
            ],
            [
              0.03125,
              0.07794,
              0.11812,
              0.20385,
              0.38477,
              0.75408,
              1.4961
            ],
            [
              0.03533,
              0.08487,
              0.1248,
              0.2086,
              0.3881,
              0.7558,
              1.4975
            ],
            [
              0.0406,
              0.094,
              0.1339,
              0.2166,
              0.3941,
              0.7598,
              1.4973
            ]
          ]
        },
        "sdf_cond": "(B&!C)",
        "timing_sense": "positive_unate",
        "when": "(B&!C)"
      },
      {
        "cell_fall,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00726,
            0.01452,
            0.02905,
            0.05809,
            0.11618,
            0.23237
          ],
          "values": [
            [
              0.11727,
              0.16292,
              0.19406,
              0.24539,
              0.33497,
              0.50358,
              0.83675
            ],
            [
              0.11815,
              0.16373,
              0.19488,
              0.24619,
              0.33565,
              0.50427,
              0.8375
            ],
            [
              0.11956,
              0.1651,
              0.19621,
              0.24744,
              0.33698,
              0.50542,
              0.83877
            ],
            [
              0.1222,
              0.16767,
              0.19872,
              0.24998,
              0.33953,
              0.50814,
              0.84113
            ],
            [
              0.12696,
              0.17233,
              0.20339,
              0.25468,
              0.34415,
              0.51278,
              0.84567
            ],
            [
              0.13518,
              0.18044,
              0.21149,
              0.26272,
              0.35221,
              0.52073,
              0.85339
            ],
            [
              0.14891,
              0.19394,
              0.22495,
              0.27619,
              0.3657,
              0.53418,
              0.86719
            ],
            [
              0.16933,
              0.21462,
              0.24571,
              0.29702,
              0.38657,
              0.55513,
              0.88816
            ],
            [
              0.19343,
              0.24021,
              0.27289,
              0.32529,
              0.41531,
              0.58374,
              0.91685
            ],
            [
              0.22404,
              0.27141,
              0.30463,
              0.35945,
              0.45197,
              0.62114,
              0.95389
            ],
            [
              0.26331,
              0.31263,
              0.34618,
              0.40182,
              0.49632,
              0.66852,
              1.00152
            ],
            [
              0.31497,
              0.36747,
              0.40187,
              0.45867,
              0.55447,
              0.72797,
              1.06337
            ],
            [
              0.3843,
              0.4409,
              0.4774,
              0.5361,
              0.6342,
              0.8087,
              1.146
            ]
          ]
        },
        "cell_rise,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00726,
            0.01452,
            0.02905,
            0.05809,
            0.11618,
            0.23237
          ],
          "values": [
            [
              0.07239,
              0.11707,
              0.1507,
              0.21334,
              0.3361,
              0.58117,
              1.07097
            ],
            [
              0.07425,
              0.11892,
              0.15255,
              0.21526,
              0.33814,
              0.58306,
              1.07374
            ],
            [
              0.07652,
              0.12115,
              0.15477,
              0.21748,
              0.3402,
              0.58581,
              1.07602
            ],
            [
              0.08006,
              0.12456,
              0.15815,
              0.22079,
              0.34358,
              0.58854,
              1.07757
            ],
            [
              0.08555,
              0.12989,
              0.16343,
              0.226,
              0.34866,
              0.59439,
              1.08361
            ],
            [
              0.09379,
              0.1379,
              0.17136,
              0.23396,
              0.35664,
              0.60155,
              1.09092
            ],
            [
              0.1031,
              0.14845,
              0.182,
              0.24456,
              0.3674,
              0.61177,
              1.10143
            ],
            [
              0.11277,
              0.15979,
              0.19418,
              0.25698,
              0.37972,
              0.62468,
              1.11326
            ],
            [
              0.12296,
              0.1712,
              0.20624,
              0.27012,
              0.39298,
              0.63793,
              1.12715
            ],
            [
              0.13248,
              0.18269,
              0.21851,
              0.2827,
              0.40661,
              0.65129,
              1.14129
            ],
            [
              0.13965,
              0.19271,
              0.22991,
              0.29494,
              0.41903,
              0.66452,
              1.15382
            ],
            [
              0.14157,
              0.19847,
              0.23777,
              0.30457,
              0.42927,
              0.67577,
              1.16477
            ],
            [
              0.1336,
              0.1955,
              0.2374,
              0.3073,
              0.434,
              0.6809,
              1.172
            ]
          ]
        },
        "fall_transition,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00726,
            0.01452,
            0.02905,
            0.05809,
            0.11618,
            0.23237
          ],
          "values": [
            [
              0.02311,
              0.06005,
              0.08828,
              0.14062,
              0.24506,
              0.46203,
              0.90742
            ],
            [
              0.02306,
              0.06003,
              0.08813,
              0.14038,
              0.24482,
              0.46138,
              0.90766
            ],
            [
              0.02302,
              0.06,
              0.0881,
              0.14048,
              0.24488,
              0.46175,
              0.9078
            ],
            [
              0.02296,
              0.05991,
              0.0881,
              0.14045,
              0.24462,
              0.46147,
              0.90683
            ],
            [
              0.02289,
              0.05988,
              0.08807,
              0.14023,
              0.24473,
              0.46172,
              0.9081
            ],
            [
              0.02281,
              0.05976,
              0.08784,
              0.14026,
              0.24461,
              0.46171,
              0.90708
            ],
            [
              0.02266,
              0.05962,
              0.08775,
              0.14013,
              0.24444,
              0.46167,
              0.90677
            ],
            [
              0.02413,
              0.06034,
              0.08833,
              0.1404,
              0.24472,
              0.46166,
              0.90774
            ],
            [
              0.02574,
              0.06401,
              0.09227,
              0.14334,
              0.24605,
              0.46196,
              0.90751
            ],
            [
              0.02854,
              0.06571,
              0.0957,
              0.14898,
              0.25079,
              0.46312,
              0.90727
            ],
            [
              0.03246,
              0.06882,
              0.09827,
              0.15234,
              0.25645,
              0.4683,
              0.9093
            ],
            [
              0.0374,
              0.074,
              0.1028,
              0.1565,
              0.2603,
              0.4728,
              0.9126
            ],
            [
              0.0439,
              0.0821,
              0.1103,
              0.1635,
              0.266,
              0.4766,
              0.916
            ]
          ]
        },
        "related_pin": "B",
        "rise_transition,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00726,
            0.01452,
            0.02905,
            0.05809,
            0.11618,
            0.23237
          ],
          "values": [
            [
              0.02129,
              0.06605,
              0.10927,
              0.19892,
              0.38292,
              0.75387,
              1.49482
            ],
            [
              0.02127,
              0.066,
              0.10916,
              0.19924,
              0.38253,
              0.75393,
              1.49636
            ],
            [
              0.02121,
              0.06596,
              0.10921,
              0.19928,
              0.38293,
              0.75347,
              1.49657
            ],
            [
              0.02117,
              0.06597,
              0.1091,
              0.19891,
              0.38288,
              0.75353,
              1.49949
            ],
            [
              0.02109,
              0.06582,
              0.10901,
              0.19868,
              0.38251,
              0.75331,
              1.50136
            ],
            [
              0.02129,
              0.06593,
              0.10906,
              0.19894,
              0.38255,
              0.75393,
              1.49618
            ],
            [
              0.02302,
              0.06715,
              0.10955,
              0.19903,
              0.38324,
              0.75492,
              1.49624
            ],
            [
              0.024,
              0.06987,
              0.11158,
              0.19954,
              0.38286,
              0.75345,
              1.49434
            ],
            [
              0.0258,
              0.07248,
              0.11436,
              0.20199,
              0.38359,
              0.7527,
              1.49503
            ],
            [
              0.02862,
              0.07583,
              0.11702,
              0.20407,
              0.38494,
              0.75393,
              1.49574
            ],
            [
              0.03216,
              0.08084,
              0.12183,
              0.20689,
              0.38712,
              0.75584,
              1.4961
            ],
            [
              0.0367,
              0.08816,
              0.129,
              0.2125,
              0.3895,
              0.7573,
              1.5002
            ],
            [
              0.0426,
              0.0977,
              0.1392,
              0.2214,
              0.3964,
              0.7637,
              1.4998
            ]
          ]
        },
        "sdf_cond": "(!A&C)",
        "timing_sense": "positive_unate",
        "when": "(!A&C)"
      },
      {
        "cell_fall,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00726,
            0.01452,
            0.02905,
            0.05809,
            0.11618,
            0.23237
          ],
          "values": [
            [
              0.11194,
              0.16251,
              0.19635,
              0.25118,
              0.34441,
              0.51543,
              0.84863
            ],
            [
              0.11251,
              0.16299,
              0.19682,
              0.25161,
              0.34482,
              0.51568,
              0.84916
            ],
            [
              0.11378,
              0.16417,
              0.19797,
              0.25273,
              0.34592,
              0.51675,
              0.85021
            ],
            [
              0.11639,
              0.16665,
              0.20042,
              0.25516,
              0.34826,
              0.51919,
              0.85254
            ],
            [
              0.12124,
              0.17138,
              0.20512,
              0.25983,
              0.35291,
              0.52375,
              0.85669
            ],
            [
              0.1297,
              0.17965,
              0.21335,
              0.26807,
              0.36117,
              0.53199,
              0.86521
            ],
            [
              0.1437,
              0.19334,
              0.22702,
              0.28173,
              0.37483,
              0.5456,
              0.87846
            ],
            [
              0.1633,
              0.21368,
              0.24753,
              0.30243,
              0.39569,
              0.56644,
              0.89976
            ],
            [
              0.18686,
              0.23886,
              0.27441,
              0.33055,
              0.42449,
              0.59553,
              0.92875
            ],
            [
              0.21716,
              0.27024,
              0.30648,
              0.36532,
              0.4619,
              0.63389,
              0.96679
            ],
            [
              0.25644,
              0.31193,
              0.34872,
              0.40865,
              0.50782,
              0.68312,
              1.01702
            ],
            [
              0.30847,
              0.36727,
              0.40527,
              0.46647,
              0.56737,
              0.74477,
              1.08157
            ],
            [
              0.3787,
              0.4414,
              0.4813,
              0.5445,
              0.6478,
              0.8266,
              1.1655
            ]
          ]
        },
        "cell_rise,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00726,
            0.01452,
            0.02905,
            0.05809,
            0.11618,
            0.23237
          ],
          "values": [
            [
              0.07779,
              0.11967,
              0.15197,
              0.21352,
              0.33554,
              0.58075,
              1.06957
            ],
            [
              0.07986,
              0.12169,
              0.15402,
              0.21562,
              0.33803,
              0.58193,
              1.07064
            ],
            [
              0.08227,
              0.1241,
              0.1564,
              0.21801,
              0.34005,
              0.58482,
              1.07382
            ],
            [
              0.08589,
              0.12767,
              0.15996,
              0.22157,
              0.34364,
              0.58783,
              1.07728
            ],
            [
              0.09139,
              0.13312,
              0.16541,
              0.227,
              0.34927,
              0.59334,
              1.08321
            ],
            [
              0.09983,
              0.14144,
              0.17371,
              0.23517,
              0.3573,
              0.60187,
              1.09182
            ],
            [
              0.11072,
              0.15308,
              0.18538,
              0.24688,
              0.36885,
              0.61314,
              1.10153
            ],
            [
              0.1218,
              0.16606,
              0.19903,
              0.26064,
              0.38246,
              0.6269,
              1.11616
            ],
            [
              0.13343,
              0.1789,
              0.21251,
              0.27519,
              0.39719,
              0.64177,
              1.13065
            ],
            [
              0.1445,
              0.19188,
              0.22614,
              0.28911,
              0.41208,
              0.65589,
              1.14499
            ],
            [
              0.15328,
              0.2035,
              0.23898,
              0.30261,
              0.4257,
              0.67042,
              1.15902
            ],
            [
              0.157,
              0.21107,
              0.24837,
              0.31357,
              0.43777,
              0.68377,
              1.17187
            ],
            [
              0.1511,
              0.2102,
              0.2499,
              0.3177,
              0.4439,
              0.6913,
              1.1813
            ]
          ]
        },
        "fall_transition,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00726,
            0.01452,
            0.02905,
            0.05809,
            0.11618,
            0.23237
          ],
          "values": [
            [
              0.02549,
              0.06518,
              0.09438,
              0.14789,
              0.25178,
              0.46552,
              0.90769
            ],
            [
              0.02542,
              0.06509,
              0.09436,
              0.14779,
              0.25172,
              0.46589,
              0.90812
            ],
            [
              0.02534,
              0.06501,
              0.09422,
              0.14766,
              0.25142,
              0.46581,
              0.90907
            ],
            [
              0.02525,
              0.06492,
              0.09418,
              0.14767,
              0.25157,
              0.46514,
              0.90895
            ],
            [
              0.02518,
              0.06487,
              0.09426,
              0.14769,
              0.25149,
              0.46481,
              0.90727
            ],
            [
              0.02507,
              0.0648,
              0.09406,
              0.14758,
              0.25111,
              0.46498,
              0.90796
            ],
            [
              0.02493,
              0.06487,
              0.09425,
              0.14754,
              0.25141,
              0.46549,
              0.9067
            ],
            [
              0.02724,
              0.06615,
              0.09524,
              0.14828,
              0.2516,
              0.46538,
              0.90752
            ],
            [
              0.02923,
              0.07037,
              0.09957,
              0.15154,
              0.25321,
              0.46559,
              0.90792
            ],
            [
              0.0328,
              0.07288,
              0.10352,
              0.1576,
              0.2587,
              0.46745,
              0.90717
            ],
            [
              0.03749,
              0.07681,
              0.1072,
              0.16215,
              0.26506,
              0.4735,
              0.9104
            ],
            [
              0.0433,
              0.0828,
              0.1124,
              0.1671,
              0.2702,
              0.4793,
              0.914
            ],
            [
              0.0507,
              0.0911,
              0.12,
              0.1742,
              0.2764,
              0.4837,
              0.917
            ]
          ]
        },
        "related_pin": "B",
        "rise_transition,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00726,
            0.01452,
            0.02905,
            0.05809,
            0.11618,
            0.23237
          ],
          "values": [
            [
              0.02073,
              0.06526,
              0.10846,
              0.19896,
              0.38297,
              0.75468,
              1.49676
            ],
            [
              0.02075,
              0.06512,
              0.10847,
              0.19923,
              0.38258,
              0.75413,
              1.49783
            ],
            [
              0.02072,
              0.06517,
              0.10831,
              0.19864,
              0.38293,
              0.75385,
              1.49663
            ],
            [
              0.02062,
              0.06494,
              0.10819,
              0.19857,
              0.38315,
              0.75382,
              1.4957
            ],
            [
              0.0206,
              0.06493,
              0.10825,
              0.19847,
              0.38254,
              0.75324,
              1.49514
            ],
            [
              0.0205,
              0.06479,
              0.10799,
              0.19827,
              0.38378,
              0.75505,
              1.49594
            ],
            [
              0.02182,
              0.06533,
              0.10834,
              0.19872,
              0.38365,
              0.75313,
              1.49524
            ],
            [
              0.02261,
              0.06774,
              0.11002,
              0.19889,
              0.3822,
              0.75309,
              1.49974
            ],
            [
              0.02405,
              0.06988,
              0.11241,
              0.20072,
              0.38345,
              0.75373,
              1.49553
            ],
            [
              0.02655,
              0.07277,
              0.11457,
              0.20289,
              0.38481,
              0.75405,
              1.49464
            ],
            [
              0.03003,
              0.07731,
              0.11863,
              0.20504,
              0.38689,
              0.75529,
              1.4962
            ],
            [
              0.03469,
              0.0839,
              0.1247,
              0.2102,
              0.3901,
              0.7583,
              1.4961
            ],
            [
              0.0411,
              0.0933,
              0.1343,
              0.2184,
              0.3972,
              0.7628,
              1.5008
            ]
          ]
        },
        "sdf_cond": "(A&!C)",
        "timing_sense": "positive_unate",
        "when": "(A&!C)"
      },
      {
        "cell_fall,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00726,
            0.01452,
            0.02905,
            0.05809,
            0.11618,
            0.23237
          ],
          "values": [
            [
              0.12864,
              0.17113,
              0.19997,
              0.24837,
              0.33529,
              0.50301,
              0.8361
            ],
            [
              0.12955,
              0.17202,
              0.20082,
              0.24921,
              0.33616,
              0.50364,
              0.83645
            ],
            [
              0.1309,
              0.17334,
              0.20218,
              0.25049,
              0.33745,
              0.50484,
              0.83786
            ],
            [
              0.13334,
              0.17575,
              0.20453,
              0.25289,
              0.33974,
              0.50733,
              0.83995
            ],
            [
              0.13769,
              0.18006,
              0.20885,
              0.25716,
              0.34406,
              0.51144,
              0.84417
            ],
            [
              0.14523,
              0.18755,
              0.21635,
              0.26472,
              0.35161,
              0.51898,
              0.85174
            ],
            [
              0.15785,
              0.20011,
              0.22892,
              0.27731,
              0.36422,
              0.53176,
              0.86474
            ],
            [
              0.17776,
              0.21999,
              0.24881,
              0.29724,
              0.38422,
              0.55177,
              0.88486
            ],
            [
              0.20234,
              0.24666,
              0.27631,
              0.32525,
              0.41239,
              0.57998,
              0.91285
            ],
            [
              0.23259,
              0.27889,
              0.3095,
              0.35999,
              0.44848,
              0.61614,
              0.94939
            ],
            [
              0.27113,
              0.32021,
              0.35186,
              0.40328,
              0.49292,
              0.66232,
              0.99542
            ],
            [
              0.32227,
              0.37467,
              0.40787,
              0.46067,
              0.55107,
              0.72107,
              1.05567
            ],
            [
              0.3917,
              0.4483,
              0.4836,
              0.5385,
              0.6306,
              0.801,
              1.1366
            ]
          ]
        },
        "cell_rise,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00726,
            0.01452,
            0.02905,
            0.05809,
            0.11618,
            0.23237
          ],
          "values": [
            [
              0.07221,
              0.11671,
              0.15031,
              0.21294,
              0.33579,
              0.58055,
              1.06997
            ],
            [
              0.07381,
              0.11825,
              0.15182,
              0.21433,
              0.33714,
              0.58184,
              1.07124
            ],
            [
              0.07561,
              0.12001,
              0.15355,
              0.21603,
              0.33861,
              0.58329,
              1.07282
            ],
            [
              0.07831,
              0.12263,
              0.15613,
              0.21868,
              0.34132,
              0.58564,
              1.07557
            ],
            [
              0.08245,
              0.12665,
              0.16012,
              0.22272,
              0.34511,
              0.58968,
              1.07911
            ],
            [
              0.08832,
              0.13241,
              0.16591,
              0.22841,
              0.35127,
              0.59603,
              1.08442
            ],
            [
              0.09452,
              0.14012,
              0.17377,
              0.23632,
              0.35924,
              0.60396,
              1.09343
            ],
            [
              0.10214,
              0.14881,
              0.18333,
              0.24636,
              0.36903,
              0.614,
              1.10226
            ],
            [
              0.11037,
              0.15827,
              0.19342,
              0.25741,
              0.38032,
              0.62479,
              1.11495
            ],
            [
              0.11777,
              0.16775,
              0.20392,
              0.26855,
              0.39259,
              0.63749,
              1.12599
            ],
            [
              0.12253,
              0.17543,
              0.21322,
              0.2793,
              0.40409,
              0.64992,
              1.13932
            ],
            [
              0.12183,
              0.17867,
              0.21837,
              0.28697,
              0.41367,
              0.66117,
              1.14997
            ],
            [
              0.1113,
              0.1731,
              0.2154,
              0.2872,
              0.4175,
              0.6685,
              1.1602
            ]
          ]
        },
        "fall_transition,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00726,
            0.01452,
            0.02905,
            0.05809,
            0.11618,
            0.23237
          ],
          "values": [
            [
              0.022,
              0.05502,
              0.08176,
              0.1334,
              0.2396,
              0.45998,
              0.9064
            ],
            [
              0.02198,
              0.055,
              0.08169,
              0.13338,
              0.23926,
              0.45952,
              0.90709
            ],
            [
              0.02197,
              0.05498,
              0.08166,
              0.13339,
              0.23925,
              0.45893,
              0.90752
            ],
            [
              0.02196,
              0.05497,
              0.08163,
              0.13324,
              0.23938,
              0.45975,
              0.90693
            ],
            [
              0.02195,
              0.05495,
              0.08164,
              0.13333,
              0.23904,
              0.4593,
              0.9069
            ],
            [
              0.02198,
              0.05504,
              0.08159,
              0.13321,
              0.23918,
              0.45919,
              0.90683
            ],
            [
              0.02196,
              0.05502,
              0.08171,
              0.13329,
              0.23927,
              0.45914,
              0.90724
            ],
            [
              0.02282,
              0.0555,
              0.08198,
              0.13349,
              0.23913,
              0.45958,
              0.906
            ],
            [
              0.02547,
              0.0586,
              0.08458,
              0.13491,
              0.24003,
              0.45942,
              0.90753
            ],
            [
              0.0287,
              0.06183,
              0.08816,
              0.13894,
              0.24231,
              0.45989,
              0.90784
            ],
            [
              0.03254,
              0.06623,
              0.092,
              0.14203,
              0.24559,
              0.4622,
              0.9078
            ],
            [
              0.037,
              0.0718,
              0.0972,
              0.1462,
              0.2486,
              0.4648,
              0.9084
            ],
            [
              0.0429,
              0.0796,
              0.1046,
              0.1526,
              0.2526,
              0.4673,
              0.9108
            ]
          ]
        },
        "related_pin": "C",
        "rise_transition,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00726,
            0.01452,
            0.02905,
            0.05809,
            0.11618,
            0.23237
          ],
          "values": [
            [
              0.02107,
              0.0659,
              0.10917,
              0.1991,
              0.3841,
              0.75404,
              1.49626
            ],
            [
              0.02107,
              0.06582,
              0.10899,
              0.19875,
              0.38275,
              0.75402,
              1.50026
            ],
            [
              0.02102,
              0.06574,
              0.10901,
              0.19856,
              0.38255,
              0.75429,
              1.49612
            ],
            [
              0.02098,
              0.0657,
              0.10889,
              0.19863,
              0.38255,
              0.7538,
              1.49873
            ],
            [
              0.02092,
              0.06571,
              0.10893,
              0.19898,
              0.38228,
              0.75285,
              1.49446
            ],
            [
              0.02136,
              0.06596,
              0.10893,
              0.19862,
              0.38268,
              0.75366,
              1.4964
            ],
            [
              0.02218,
              0.0672,
              0.10957,
              0.19873,
              0.38338,
              0.75319,
              1.49617
            ],
            [
              0.02301,
              0.06962,
              0.11187,
              0.19983,
              0.38285,
              0.75331,
              1.49674
            ],
            [
              0.02479,
              0.07194,
              0.1143,
              0.20188,
              0.38333,
              0.75328,
              1.49614
            ],
            [
              0.02746,
              0.07557,
              0.11753,
              0.20444,
              0.38555,
              0.75413,
              1.49658
            ],
            [
              0.03085,
              0.08063,
              0.12286,
              0.2083,
              0.38836,
              0.75658,
              1.4961
            ],
            [
              0.03518,
              0.0875,
              0.13004,
              0.2154,
              0.393,
              0.7595,
              1.4964
            ],
            [
              0.0408,
              0.0967,
              0.1397,
              0.2251,
              0.4028,
              0.7674,
              1.5001
            ]
          ]
        },
        "sdf_cond": "(!A&B)",
        "timing_sense": "positive_unate",
        "when": "(!A&B)"
      },
      {
        "cell_fall,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00726,
            0.01452,
            0.02905,
            0.05809,
            0.11618,
            0.23237
          ],
          "values": [
            [
              0.11748,
              0.168,
              0.20185,
              0.25663,
              0.34979,
              0.5207,
              0.85403
            ],
            [
              0.11913,
              0.16962,
              0.20345,
              0.25822,
              0.35133,
              0.52221,
              0.85548
            ],
            [
              0.12106,
              0.17151,
              0.20534,
              0.26009,
              0.35322,
              0.52406,
              0.85735
            ],
            [
              0.12381,
              0.1742,
              0.20802,
              0.26277,
              0.35589,
              0.52672,
              0.85994
            ],
            [
              0.12804,
              0.17834,
              0.21214,
              0.26688,
              0.36,
              0.53083,
              0.86405
            ],
            [
              0.1348,
              0.18494,
              0.21871,
              0.27346,
              0.36658,
              0.53742,
              0.87072
            ],
            [
              0.1456,
              0.19541,
              0.22918,
              0.28394,
              0.37709,
              0.54794,
              0.88116
            ],
            [
              0.15926,
              0.21047,
              0.24448,
              0.29948,
              0.39276,
              0.56369,
              0.89696
            ],
            [
              0.17629,
              0.22851,
              0.2644,
              0.32091,
              0.41501,
              0.586,
              0.91945
            ],
            [
              0.20028,
              0.25315,
              0.28958,
              0.34845,
              0.44535,
              0.61746,
              0.95079
            ],
            [
              0.23302,
              0.28782,
              0.32484,
              0.38502,
              0.48432,
              0.65962,
              0.99372
            ],
            [
              0.27687,
              0.33487,
              0.37307,
              0.43497,
              0.53647,
              0.71387,
              1.05047
            ],
            [
              0.3353,
              0.3977,
              0.438,
              0.5022,
              0.6072,
              0.7871,
              1.1258
            ]
          ]
        },
        "cell_rise,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00726,
            0.01452,
            0.02905,
            0.05809,
            0.11618,
            0.23237
          ],
          "values": [
            [
              0.0902,
              0.13212,
              0.16504,
              0.22752,
              0.351,
              0.59603,
              1.08497
            ],
            [
              0.09213,
              0.13401,
              0.16692,
              0.2294,
              0.35282,
              0.59784,
              1.08654
            ],
            [
              0.09447,
              0.13631,
              0.16919,
              0.23167,
              0.3551,
              0.60012,
              1.09002
            ],
            [
              0.09804,
              0.13983,
              0.17269,
              0.23523,
              0.35855,
              0.60369,
              1.09387
            ],
            [
              0.10352,
              0.14527,
              0.17806,
              0.24055,
              0.36363,
              0.60881,
              1.09881
            ],
            [
              0.11195,
              0.15357,
              0.18632,
              0.24876,
              0.37204,
              0.61703,
              1.10752
            ],
            [
              0.1247,
              0.16606,
              0.1987,
              0.26109,
              0.38431,
              0.62917,
              1.11933
            ],
            [
              0.13971,
              0.18214,
              0.21489,
              0.27718,
              0.40014,
              0.64523,
              1.13526
            ],
            [
              0.15559,
              0.1993,
              0.23249,
              0.29515,
              0.41805,
              0.66319,
              1.15255
            ],
            [
              0.1719,
              0.21752,
              0.25101,
              0.3138,
              0.43721,
              0.68199,
              1.17239
            ],
            [
              0.18778,
              0.23623,
              0.27039,
              0.33335,
              0.45722,
              0.70192,
              1.19142
            ],
            [
              0.20157,
              0.25387,
              0.28937,
              0.35307,
              0.47657,
              0.72267,
              1.21197
            ],
            [
              0.2104,
              0.2676,
              0.3053,
              0.3704,
              0.4951,
              0.742,
              1.2316
            ]
          ]
        },
        "fall_transition,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00726,
            0.01452,
            0.02905,
            0.05809,
            0.11618,
            0.23237
          ],
          "values": [
            [
              0.02539,
              0.0652,
              0.0944,
              0.14789,
              0.25162,
              0.46557,
              0.90897
            ],
            [
              0.02535,
              0.06517,
              0.09431,
              0.14783,
              0.2516,
              0.46493,
              0.90796
            ],
            [
              0.02531,
              0.06518,
              0.09433,
              0.1478,
              0.25125,
              0.46544,
              0.90863
            ],
            [
              0.02527,
              0.06506,
              0.09426,
              0.14778,
              0.25122,
              0.46524,
              0.90882
            ],
            [
              0.02519,
              0.06512,
              0.09428,
              0.14771,
              0.25126,
              0.46528,
              0.90823
            ],
            [
              0.02506,
              0.065,
              0.0942,
              0.14759,
              0.25142,
              0.46506,
              0.9079
            ],
            [
              0.025,
              0.06503,
              0.09428,
              0.14774,
              0.25133,
              0.46522,
              0.90822
            ],
            [
              0.0272,
              0.0667,
              0.09559,
              0.14838,
              0.25188,
              0.4655,
              0.90867
            ],
            [
              0.02794,
              0.07027,
              0.09993,
              0.15194,
              0.25369,
              0.46617,
              0.90841
            ],
            [
              0.03021,
              0.07208,
              0.10312,
              0.15744,
              0.25895,
              0.46812,
              0.90819
            ],
            [
              0.03384,
              0.07526,
              0.10652,
              0.16186,
              0.26483,
              0.47331,
              0.9091
            ],
            [
              0.0389,
              0.0806,
              0.1116,
              0.167,
              0.2704,
              0.4791,
              0.9138
            ],
            [
              0.0458,
              0.0891,
              0.1196,
              0.1754,
              0.2783,
              0.4852,
              0.9179
            ]
          ]
        },
        "related_pin": "C",
        "rise_transition,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00726,
            0.01452,
            0.02905,
            0.05809,
            0.11618,
            0.23237
          ],
          "values": [
            [
              0.02004,
              0.06445,
              0.10812,
              0.1993,
              0.38311,
              0.75374,
              1.49633
            ],
            [
              0.02003,
              0.06441,
              0.10807,
              0.19935,
              0.38319,
              0.75369,
              1.49634
            ],
            [
              0.02,
              0.06437,
              0.10796,
              0.19907,
              0.38323,
              0.75427,
              1.49871
            ],
            [
              0.01997,
              0.0642,
              0.10805,
              0.19878,
              0.38428,
              0.75432,
              1.49526
            ],
            [
              0.01996,
              0.06424,
              0.10783,
              0.1986,
              0.38311,
              0.75425,
              1.49555
            ],
            [
              0.01991,
              0.06408,
              0.10779,
              0.19855,
              0.38303,
              0.75392,
              1.4962
            ],
            [
              0.02015,
              0.0643,
              0.10779,
              0.19851,
              0.3833,
              0.75492,
              1.49524
            ],
            [
              0.0216,
              0.06548,
              0.10843,
              0.19864,
              0.38298,
              0.75318,
              1.4955
            ],
            [
              0.02349,
              0.06737,
              0.11019,
              0.19969,
              0.38334,
              0.75338,
              1.49544
            ],
            [
              0.02597,
              0.06983,
              0.1118,
              0.20095,
              0.38442,
              0.75486,
              1.49989
            ],
            [
              0.02927,
              0.0738,
              0.1146,
              0.2024,
              0.38553,
              0.75614,
              1.4978
            ],
            [
              0.0335,
              0.0798,
              0.1194,
              0.2054,
              0.3871,
              0.7566,
              1.4978
            ],
            [
              0.0392,
              0.0884,
              0.1273,
              0.2109,
              0.3906,
              0.7593,
              1.5009
            ]
          ]
        },
        "sdf_cond": "(A&!B)",
        "timing_sense": "positive_unate",
        "when": "(A&!B)"
      }
    ]
  }
}