{
  "area": 15.984,
  "cell_footprint": "sky130_fd_sc_ls__a41o",
  "cell_leakage_power": 0.0,
  "pg_pin,VGND": {
    "pg_type": "primary_ground",
    "voltage_name": "VGND"
  },
  "pg_pin,VNB": {
    "pg_type": "primary_ground",
    "voltage_name": "VNB"
  },
  "pg_pin,VPB": {
    "pg_type": "primary_power",
    "voltage_name": "VPB"
  },
  "pg_pin,VPWR": {
    "pg_type": "primary_power",
    "voltage_name": "VPWR"
  },
  "pin,A1": {
    "capacitance": 0.00269,
    "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.00342,
          0.00317,
          0.00308,
          0.00314,
          0.00312,
          0.00311,
          0.00309,
          0.00309,
          0.00309,
          0.00334,
          0.00334,
          0.0036,
          0.00361
        ]
      },
      "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.00341,
          0.00321,
          0.00325,
          0.00318,
          0.00318,
          0.00315,
          0.00319,
          0.00318,
          0.00325,
          0.00349,
          0.00353,
          0.00385,
          0.00396
        ]
      }
    },
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,A2": {
    "capacitance": 0.00261,
    "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.00288,
          0.00289,
          0.0026,
          0.00267,
          0.00271,
          0.00269,
          0.00267,
          0.00268,
          0.0027,
          0.00293,
          0.00295,
          0.0032,
          0.00328
        ]
      },
      "rise_power,hidden_pwr_template13": {
        "index_1": [
          0.01,
          0.01735,
          0.02602,
          0.03903,
          0.05855,
          0.08782,
          0.13172,
          0.19757,
          0.29634,
          0.44449,
          0.6667,
          1.0,
          1.5
        ],
        "values": [
          0.00243,
          0.00259,
          0.00247,
          0.00247,
          0.00246,
          0.00244,
          0.00244,
          0.00244,
          0.00243,
          0.00264,
          0.00266,
          0.00289,
          0.00294
        ]
      }
    },
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,A3": {
    "capacitance": 0.00307,
    "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.00376,
          0.00349,
          0.00343,
          0.00341,
          0.00345,
          0.00344,
          0.00344,
          0.00344,
          0.00345,
          0.00376,
          0.00379,
          0.00414,
          0.00422
        ]
      },
      "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.00253,
          0.0027,
          0.00253,
          0.00255,
          0.0025,
          0.00247,
          0.00246,
          0.00246,
          0.00246,
          0.00266,
          0.00265,
          0.00285,
          0.00287
        ]
      }
    },
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,A4": {
    "capacitance": 0.00259,
    "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.00362,
          0.00353,
          0.00354,
          0.00345,
          0.00349,
          0.0035,
          0.00347,
          0.00347,
          0.00346,
          0.00376,
          0.00378,
          0.0041,
          0.00414
        ]
      },
      "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.00298,
          0.0028,
          0.00268,
          0.00268,
          0.00266,
          0.0026,
          0.00261,
          0.00259,
          0.00261,
          0.00281,
          0.00281,
          0.00303,
          0.00304
        ]
      }
    },
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,B1": {
    "capacitance": 0.00297,
    "clock": "false",
    "direction": "input",
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,X": {
    "direction": "output",
    "function": "(A1&A2&A3&A4) | (B1)",
    "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.00725,
            0.0145,
            0.029,
            0.05801,
            0.11602,
            0.23204
          ],
          "values": [
            [
              0.0309,
              0.02197,
              0.01308,
              -0.005,
              -0.04172,
              -0.11574,
              -0.26417
            ],
            [
              0.03089,
              0.02197,
              0.01308,
              -0.00501,
              -0.04173,
              -0.11574,
              -0.26417
            ],
            [
              0.03089,
              0.02196,
              0.01306,
              -0.00501,
              -0.04172,
              -0.11574,
              -0.26418
            ],
            [
              0.03086,
              0.02193,
              0.01304,
              -0.00504,
              -0.04175,
              -0.11577,
              -0.26421
            ],
            [
              0.03081,
              0.02189,
              0.01298,
              -0.00508,
              -0.04181,
              -0.11582,
              -0.26425
            ],
            [
              0.03075,
              0.02182,
              0.01291,
              -0.00516,
              -0.04188,
              -0.11589,
              -0.26432
            ],
            [
              0.03066,
              0.02174,
              0.01284,
              -0.00525,
              -0.04195,
              -0.11596,
              -0.2644
            ],
            [
              0.03053,
              0.02162,
              0.0127,
              -0.00538,
              -0.04209,
              -0.1161,
              -0.26453
            ],
            [
              0.03045,
              0.0215,
              0.01258,
              -0.00553,
              -0.04224,
              -0.11623,
              -0.26466
            ],
            [
              0.03034,
              0.02135,
              0.01241,
              -0.0057,
              -0.0424,
              -0.11638,
              -0.26478
            ],
            [
              0.03031,
              0.02124,
              0.01226,
              -0.0059,
              -0.04257,
              -0.11652,
              -0.26489
            ],
            [
              0.03038,
              0.02114,
              0.01211,
              -0.00606,
              -0.04275,
              -0.11666,
              -0.265
            ],
            [
              0.03064,
              0.02124,
              0.01212,
              -0.00616,
              -0.04288,
              -0.11674,
              -0.26501
            ]
          ]
        },
        "related_pin": "A1",
        "rise_power,pwr_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00725,
            0.0145,
            0.029,
            0.05801,
            0.11602,
            0.23204
          ],
          "values": [
            [
              0.01621,
              0.02555,
              0.03488,
              0.0535,
              0.09075,
              0.1648,
              0.31274
            ],
            [
              0.0162,
              0.02552,
              0.03493,
              0.05351,
              0.0907,
              0.16457,
              0.31287
            ],
            [
              0.0162,
              0.02554,
              0.0349,
              0.05352,
              0.09077,
              0.16453,
              0.31233
            ],
            [
              0.01614,
              0.02545,
              0.03483,
              0.05355,
              0.09064,
              0.16447,
              0.31165
            ],
            [
              0.01608,
              0.02542,
              0.03476,
              0.05349,
              0.09068,
              0.16445,
              0.31199
            ],
            [
              0.016,
              0.02536,
              0.03469,
              0.0534,
              0.09057,
              0.16446,
              0.31263
            ],
            [
              0.01593,
              0.02525,
              0.03465,
              0.05325,
              0.09048,
              0.16431,
              0.31168
            ],
            [
              0.01582,
              0.02517,
              0.0345,
              0.05312,
              0.09036,
              0.1642,
              0.3124
            ],
            [
              0.01572,
              0.02505,
              0.03445,
              0.05308,
              0.09026,
              0.16409,
              0.31232
            ],
            [
              0.01568,
              0.02501,
              0.03436,
              0.05298,
              0.09008,
              0.16391,
              0.31136
            ],
            [
              0.01574,
              0.02497,
              0.03431,
              0.05289,
              0.08998,
              0.16372,
              0.31122
            ],
            [
              0.016,
              0.02516,
              0.0344,
              0.05279,
              0.08978,
              0.16359,
              0.31109
            ],
            [
              0.01646,
              0.02548,
              0.03467,
              0.05318,
              0.09015,
              0.16372,
              0.31082
            ]
          ]
        },
        "when": "(A2&A3&A4&!B1)"
      },
      {
        "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.00725,
            0.0145,
            0.029,
            0.05801,
            0.11602,
            0.23204
          ],
          "values": [
            [
              0.03411,
              0.02504,
              0.01608,
              -0.00203,
              -0.03872,
              -0.11268,
              -0.26106
            ],
            [
              0.03412,
              0.02504,
              0.01608,
              -0.00203,
              -0.03872,
              -0.11268,
              -0.26105
            ],
            [
              0.03407,
              0.02501,
              0.01606,
              -0.00207,
              -0.03874,
              -0.11269,
              -0.26107
            ],
            [
              0.03406,
              0.02501,
              0.01605,
              -0.00207,
              -0.03874,
              -0.1127,
              -0.26108
            ],
            [
              0.03406,
              0.02496,
              0.016,
              -0.00211,
              -0.03879,
              -0.11274,
              -0.26112
            ],
            [
              0.03401,
              0.02491,
              0.01594,
              -0.00216,
              -0.03884,
              -0.1128,
              -0.26118
            ],
            [
              0.03389,
              0.02484,
              0.01588,
              -0.00225,
              -0.03892,
              -0.11287,
              -0.26125
            ],
            [
              0.03383,
              0.02474,
              0.01577,
              -0.00236,
              -0.03903,
              -0.11297,
              -0.26136
            ],
            [
              0.03372,
              0.02463,
              0.01566,
              -0.00246,
              -0.03916,
              -0.11309,
              -0.26147
            ],
            [
              0.03361,
              0.02453,
              0.01553,
              -0.00261,
              -0.03929,
              -0.11322,
              -0.26158
            ],
            [
              0.03358,
              0.02441,
              0.0154,
              -0.00276,
              -0.03945,
              -0.11335,
              -0.26169
            ],
            [
              0.0336,
              0.02434,
              0.01528,
              -0.00293,
              -0.03961,
              -0.1135,
              -0.26181
            ],
            [
              0.03386,
              0.02442,
              0.01526,
              -0.00304,
              -0.03974,
              -0.11359,
              -0.26184
            ]
          ]
        },
        "related_pin": "A2",
        "rise_power,pwr_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00725,
            0.0145,
            0.029,
            0.05801,
            0.11602,
            0.23204
          ],
          "values": [
            [
              0.01631,
              0.02564,
              0.03499,
              0.05363,
              0.09083,
              0.16469,
              0.31301
            ],
            [
              0.01627,
              0.02561,
              0.03501,
              0.05356,
              0.09081,
              0.16465,
              0.31282
            ],
            [
              0.01625,
              0.02558,
              0.03495,
              0.05368,
              0.09092,
              0.16462,
              0.31218
            ],
            [
              0.0162,
              0.02552,
              0.03493,
              0.05352,
              0.09074,
              0.16455,
              0.3128
            ],
            [
              0.01612,
              0.02547,
              0.03479,
              0.05343,
              0.09065,
              0.16452,
              0.31282
            ],
            [
              0.01608,
              0.02543,
              0.03476,
              0.05342,
              0.09064,
              0.16469,
              0.31264
            ],
            [
              0.01601,
              0.02533,
              0.03471,
              0.05346,
              0.09054,
              0.16436,
              0.31173
            ],
            [
              0.01592,
              0.02527,
              0.03459,
              0.05321,
              0.09045,
              0.16431,
              0.3125
            ],
            [
              0.01584,
              0.02515,
              0.03453,
              0.05319,
              0.09031,
              0.1642,
              0.31242
            ],
            [
              0.01576,
              0.0251,
              0.03443,
              0.05309,
              0.09035,
              0.16407,
              0.31239
            ],
            [
              0.01574,
              0.02501,
              0.03435,
              0.05289,
              0.09004,
              0.16382,
              0.31174
            ],
            [
              0.01584,
              0.02506,
              0.03432,
              0.05279,
              0.08989,
              0.16402,
              0.31176
            ],
            [
              0.01608,
              0.02516,
              0.03443,
              0.05297,
              0.08993,
              0.16367,
              0.31117
            ]
          ]
        },
        "when": "(A1&A3&A4&!B1)"
      },
      {
        "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.00725,
            0.0145,
            0.029,
            0.05801,
            0.11602,
            0.23204
          ],
          "values": [
            [
              0.03704,
              0.02793,
              0.01892,
              0.0008,
              -0.03589,
              -0.10981,
              -0.25817
            ],
            [
              0.037,
              0.02789,
              0.01889,
              0.00076,
              -0.03592,
              -0.10984,
              -0.2582
            ],
            [
              0.03697,
              0.02785,
              0.01886,
              0.00072,
              -0.03595,
              -0.10987,
              -0.25823
            ],
            [
              0.03694,
              0.02782,
              0.01881,
              0.00068,
              -0.036,
              -0.10992,
              -0.25827
            ],
            [
              0.03689,
              0.02776,
              0.01876,
              0.00064,
              -0.03604,
              -0.10996,
              -0.25832
            ],
            [
              0.03685,
              0.0277,
              0.0187,
              0.00058,
              -0.0361,
              -0.11002,
              -0.25837
            ],
            [
              0.03677,
              0.02764,
              0.01866,
              0.00052,
              -0.03616,
              -0.11008,
              -0.25843
            ],
            [
              0.03671,
              0.02757,
              0.01858,
              0.00045,
              -0.03624,
              -0.11015,
              -0.25851
            ],
            [
              0.03664,
              0.02749,
              0.01848,
              0.00034,
              -0.03634,
              -0.11025,
              -0.2586
            ],
            [
              0.03657,
              0.02743,
              0.01839,
              0.00025,
              -0.03643,
              -0.11034,
              -0.25867
            ],
            [
              0.03652,
              0.02732,
              0.01827,
              9e-05,
              -0.03658,
              -0.11046,
              -0.25878
            ],
            [
              0.03657,
              0.02728,
              0.0182,
              -1e-05,
              -0.0367,
              -0.11058,
              -0.25887
            ],
            [
              0.0368,
              0.02734,
              0.01817,
              -0.00014,
              -0.03684,
              -0.11068,
              -0.25892
            ]
          ]
        },
        "related_pin": "A3",
        "rise_power,pwr_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00725,
            0.0145,
            0.029,
            0.05801,
            0.11602,
            0.23204
          ],
          "values": [
            [
              0.0163,
              0.02565,
              0.03498,
              0.05375,
              0.09087,
              0.1649,
              0.3129
            ],
            [
              0.01627,
              0.02561,
              0.03494,
              0.05361,
              0.09083,
              0.16465,
              0.31281
            ],
            [
              0.01619,
              0.02555,
              0.03488,
              0.05355,
              0.09077,
              0.16475,
              0.31276
            ],
            [
              0.01618,
              0.02553,
              0.03486,
              0.05349,
              0.09078,
              0.16453,
              0.3121
            ],
            [
              0.01612,
              0.02548,
              0.03481,
              0.05357,
              0.09069,
              0.16473,
              0.31272
            ],
            [
              0.01605,
              0.02539,
              0.03473,
              0.05334,
              0.09061,
              0.16445,
              0.31261
            ],
            [
              0.01599,
              0.02534,
              0.03467,
              0.05334,
              0.09056,
              0.16439,
              0.31257
            ],
            [
              0.01591,
              0.02524,
              0.03463,
              0.05336,
              0.09049,
              0.16425,
              0.31148
            ],
            [
              0.0158,
              0.02515,
              0.03449,
              0.05312,
              0.09035,
              0.1644,
              0.31244
            ],
            [
              0.01573,
              0.02508,
              0.03443,
              0.05308,
              0.09025,
              0.16408,
              0.31222
            ],
            [
              0.0157,
              0.02498,
              0.03432,
              0.05285,
              0.09004,
              0.16411,
              0.31207
            ],
            [
              0.01573,
              0.02498,
              0.03428,
              0.0528,
              0.08987,
              0.16365,
              0.31185
            ],
            [
              0.01587,
              0.02502,
              0.03431,
              0.05291,
              0.08993,
              0.16354,
              0.31096
            ]
          ]
        },
        "when": "(A1&A2&A4&!B1)"
      },
      {
        "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.00725,
            0.0145,
            0.029,
            0.05801,
            0.11602,
            0.23204
          ],
          "values": [
            [
              0.03938,
              0.03019,
              0.02118,
              0.00303,
              -0.03365,
              -0.10755,
              -0.25589
            ],
            [
              0.03933,
              0.03014,
              0.02113,
              0.00299,
              -0.0337,
              -0.10761,
              -0.25594
            ],
            [
              0.03928,
              0.0301,
              0.02109,
              0.00294,
              -0.03374,
              -0.10764,
              -0.25598
            ],
            [
              0.03924,
              0.03005,
              0.02103,
              0.00289,
              -0.03379,
              -0.10769,
              -0.25603
            ],
            [
              0.0392,
              0.03,
              0.021,
              0.00285,
              -0.03382,
              -0.10772,
              -0.25606
            ],
            [
              0.03917,
              0.02998,
              0.02096,
              0.00282,
              -0.03386,
              -0.10776,
              -0.2561
            ],
            [
              0.03915,
              0.02996,
              0.02092,
              0.00279,
              -0.03389,
              -0.10779,
              -0.25613
            ],
            [
              0.03909,
              0.02992,
              0.02088,
              0.00275,
              -0.03393,
              -0.10783,
              -0.25617
            ],
            [
              0.03902,
              0.02987,
              0.02083,
              0.00269,
              -0.034,
              -0.10789,
              -0.25623
            ],
            [
              0.039,
              0.02982,
              0.0208,
              0.00264,
              -0.03405,
              -0.10794,
              -0.25626
            ],
            [
              0.03896,
              0.02976,
              0.02071,
              0.00252,
              -0.03416,
              -0.10803,
              -0.25634
            ],
            [
              0.03907,
              0.02977,
              0.02067,
              0.00243,
              -0.03426,
              -0.10812,
              -0.2564
            ],
            [
              0.03932,
              0.02985,
              0.02067,
              0.00235,
              -0.03437,
              -0.10819,
              -0.25642
            ]
          ]
        },
        "related_pin": "A4",
        "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.00725,
            0.0145,
            0.029,
            0.05801,
            0.11602,
            0.23204
          ],
          "values": [
            [
              0.01626,
              0.02558,
              0.03499,
              0.05365,
              0.09082,
              0.16463,
              0.31287
            ],
            [
              0.01622,
              0.02556,
              0.03489,
              0.05354,
              0.09078,
              0.16475,
              0.31278
            ],
            [
              0.01617,
              0.02552,
              0.03486,
              0.05346,
              0.09074,
              0.16455,
              0.31273
            ],
            [
              0.01611,
              0.02545,
              0.03478,
              0.05344,
              0.09067,
              0.16472,
              0.31271
            ],
            [
              0.01608,
              0.02538,
              0.03478,
              0.0534,
              0.09063,
              0.16439,
              0.31269
            ],
            [
              0.01598,
              0.02533,
              0.03468,
              0.05344,
              0.09056,
              0.16459,
              0.3126
            ],
            [
              0.01592,
              0.02525,
              0.03463,
              0.05337,
              0.09049,
              0.16427,
              0.31176
            ],
            [
              0.01583,
              0.02517,
              0.03455,
              0.05328,
              0.09042,
              0.16417,
              0.31145
            ],
            [
              0.01574,
              0.02509,
              0.03442,
              0.05309,
              0.09028,
              0.16426,
              0.31239
            ],
            [
              0.01567,
              0.02499,
              0.03433,
              0.05296,
              0.0902,
              0.16399,
              0.3111
            ],
            [
              0.01561,
              0.0249,
              0.03425,
              0.05278,
              0.09003,
              0.16385,
              0.31203
            ],
            [
              0.01563,
              0.0249,
              0.03421,
              0.05275,
              0.0898,
              0.16364,
              0.31169
            ],
            [
              0.01573,
              0.02493,
              0.03423,
              0.05293,
              0.08993,
              0.16366,
              0.31096
            ]
          ]
        },
        "when": "(A1&A2&A3&!B1)"
      },
      {
        "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.00725,
            0.0145,
            0.029,
            0.05801,
            0.11602,
            0.23204
          ],
          "values": [
            [
              0.02142,
              0.01264,
              0.00376,
              -0.01434,
              -0.05111,
              -0.12515,
              -0.27359
            ],
            [
              0.02137,
              0.01258,
              0.0037,
              -0.0144,
              -0.05117,
              -0.12521,
              -0.27364
            ],
            [
              0.02131,
              0.01252,
              0.00364,
              -0.01446,
              -0.05123,
              -0.12527,
              -0.27371
            ],
            [
              0.02123,
              0.01244,
              0.00356,
              -0.01454,
              -0.05131,
              -0.12536,
              -0.27379
            ],
            [
              0.02114,
              0.01236,
              0.00347,
              -0.01464,
              -0.05141,
              -0.12546,
              -0.27389
            ],
            [
              0.02104,
              0.01224,
              0.00336,
              -0.01475,
              -0.05152,
              -0.12556,
              -0.27399
            ],
            [
              0.02093,
              0.01213,
              0.00323,
              -0.01488,
              -0.05165,
              -0.12568,
              -0.27411
            ],
            [
              0.02084,
              0.01202,
              0.0031,
              -0.01502,
              -0.05177,
              -0.12579,
              -0.27421
            ],
            [
              0.02079,
              0.01191,
              0.00297,
              -0.01516,
              -0.05189,
              -0.12588,
              -0.27427
            ],
            [
              0.02084,
              0.01188,
              0.00289,
              -0.01525,
              -0.05197,
              -0.12593,
              -0.27429
            ],
            [
              0.02104,
              0.01191,
              0.00289,
              -0.01529,
              -0.052,
              -0.12593,
              -0.27425
            ],
            [
              0.02154,
              0.01222,
              0.00311,
              -0.01514,
              -0.05186,
              -0.12575,
              -0.27402
            ],
            [
              0.02234,
              0.01281,
              0.00362,
              -0.0147,
              -0.05149,
              -0.12536,
              -0.2736
            ]
          ]
        },
        "related_pin": "B1",
        "rise_power,pwr_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00725,
            0.0145,
            0.029,
            0.05801,
            0.11602,
            0.23204
          ],
          "values": [
            [
              0.01183,
              0.02181,
              0.03127,
              0.04988,
              0.08677,
              0.16029,
              0.30773
            ],
            [
              0.0118,
              0.02179,
              0.03126,
              0.04989,
              0.0867,
              0.16027,
              0.30758
            ],
            [
              0.01177,
              0.02174,
              0.03121,
              0.04985,
              0.08675,
              0.16026,
              0.30767
            ],
            [
              0.01173,
              0.02168,
              0.03117,
              0.04982,
              0.08669,
              0.16021,
              0.30758
            ],
            [
              0.01165,
              0.02158,
              0.03104,
              0.04973,
              0.08659,
              0.16014,
              0.30748
            ],
            [
              0.01155,
              0.02143,
              0.03091,
              0.04958,
              0.08654,
              0.16012,
              0.30751
            ],
            [
              0.01141,
              0.02121,
              0.03068,
              0.04938,
              0.08639,
              0.15998,
              0.30729
            ],
            [
              0.01126,
              0.02098,
              0.03044,
              0.04912,
              0.08616,
              0.1599,
              0.30716
            ],
            [
              0.01118,
              0.02078,
              0.03022,
              0.04889,
              0.08594,
              0.15968,
              0.30712
            ],
            [
              0.01116,
              0.0207,
              0.03008,
              0.04871,
              0.08574,
              0.15964,
              0.30707
            ],
            [
              0.01126,
              0.02072,
              0.03012,
              0.04869,
              0.0857,
              0.15941,
              0.30644
            ],
            [
              0.01157,
              0.02085,
              0.03028,
              0.04893,
              0.08588,
              0.15941,
              0.30668
            ],
            [
              0.0122,
              0.02136,
              0.03065,
              0.04928,
              0.08643,
              0.15996,
              0.30693
            ]
          ]
        },
        "when": "(!A1) | (!A2) | (!A3) | (!A4)"
      }
    ],
    "max_capacitance": 0.1523,
    "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.00725,
            0.0145,
            0.029,
            0.05801,
            0.11602,
            0.23204
          ],
          "values": [
            [
              0.31223,
              0.36478,
              0.39902,
              0.45228,
              0.53793,
              0.68591,
              0.96268
            ],
            [
              0.31566,
              0.36823,
              0.40257,
              0.45576,
              0.54143,
              0.68939,
              0.96626
            ],
            [
              0.3196,
              0.37217,
              0.4065,
              0.45967,
              0.54533,
              0.69329,
              0.96985
            ],
            [
              0.32533,
              0.37789,
              0.41224,
              0.46544,
              0.55112,
              0.6991,
              0.97588
            ],
            [
              0.33386,
              0.38638,
              0.4207,
              0.47391,
              0.55958,
              0.70752,
              0.98431
            ],
            [
              0.34655,
              0.39905,
              0.43337,
              0.48659,
              0.57227,
              0.72022,
              0.99712
            ],
            [
              0.36523,
              0.41772,
              0.45201,
              0.50532,
              0.59085,
              0.73883,
              1.01543
            ],
            [
              0.39198,
              0.44442,
              0.47873,
              0.53191,
              0.61758,
              0.76552,
              1.04226
            ],
            [
              0.43029,
              0.48267,
              0.51692,
              0.57017,
              0.65581,
              0.80385,
              1.08065
            ],
            [
              0.48565,
              0.53806,
              0.57228,
              0.62555,
              0.71129,
              0.85919,
              1.13619
            ],
            [
              0.56412,
              0.61752,
              0.65192,
              0.70542,
              0.79142,
              0.93962,
              1.21662
            ],
            [
              0.66307,
              0.72067,
              0.75757,
              0.81377,
              0.90217,
              1.05147,
              1.32867
            ],
            [
              0.786,
              0.8488,
              0.8887,
              0.9489,
              1.0419,
              1.1957,
              1.475
            ]
          ]
        },
        "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.00725,
            0.0145,
            0.029,
            0.05801,
            0.11602,
            0.23204
          ],
          "values": [
            [
              0.27437,
              0.34563,
              0.39406,
              0.47376,
              0.61274,
              0.8732,
              1.38497
            ],
            [
              0.27646,
              0.34771,
              0.39615,
              0.47582,
              0.61496,
              0.87507,
              1.38634
            ],
            [
              0.27905,
              0.35031,
              0.39874,
              0.47848,
              0.61749,
              0.87804,
              1.39022
            ],
            [
              0.28306,
              0.35424,
              0.40268,
              0.48242,
              0.62148,
              0.88199,
              1.39428
            ],
            [
              0.28922,
              0.36048,
              0.40894,
              0.48871,
              0.62784,
              0.88827,
              1.40051
            ],
            [
              0.29866,
              0.36992,
              0.41836,
              0.49808,
              0.63702,
              0.89765,
              1.40962
            ],
            [
              0.31321,
              0.38447,
              0.43292,
              0.5126,
              0.65177,
              0.91193,
              1.42333
            ],
            [
              0.33543,
              0.40671,
              0.45517,
              0.53484,
              0.67394,
              0.93426,
              1.44596
            ],
            [
              0.36938,
              0.44073,
              0.48917,
              0.56884,
              0.70778,
              0.96815,
              1.47995
            ],
            [
              0.42199,
              0.49292,
              0.54123,
              0.62077,
              0.75969,
              1.02019,
              1.53259
            ],
            [
              0.49522,
              0.56662,
              0.61512,
              0.69472,
              0.83352,
              1.09402,
              1.60612
            ],
            [
              0.58417,
              0.65777,
              0.70687,
              0.78737,
              0.92727,
              1.18837,
              1.70037
            ],
            [
              0.6875,
              0.7671,
              0.8174,
              0.8987,
              1.0394,
              1.3014,
              1.8142
            ]
          ]
        },
        "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.00725,
            0.0145,
            0.029,
            0.05801,
            0.11602,
            0.23204
          ],
          "values": [
            [
              0.04388,
              0.0786,
              0.10454,
              0.15078,
              0.23682,
              0.4094,
              0.7662
            ],
            [
              0.0439,
              0.07859,
              0.10452,
              0.15048,
              0.23677,
              0.40945,
              0.7666
            ],
            [
              0.04389,
              0.07861,
              0.10444,
              0.15079,
              0.23683,
              0.40941,
              0.7661
            ],
            [
              0.04388,
              0.07859,
              0.10453,
              0.15076,
              0.23681,
              0.4094,
              0.76632
            ],
            [
              0.0439,
              0.07872,
              0.10444,
              0.15035,
              0.23691,
              0.40948,
              0.76639
            ],
            [
              0.04388,
              0.07862,
              0.10443,
              0.15035,
              0.23693,
              0.40951,
              0.76675
            ],
            [
              0.04388,
              0.07861,
              0.10448,
              0.15069,
              0.23683,
              0.40938,
              0.76623
            ],
            [
              0.04389,
              0.07865,
              0.10448,
              0.15085,
              0.23706,
              0.40928,
              0.76635
            ],
            [
              0.0439,
              0.07861,
              0.10472,
              0.15043,
              0.23711,
              0.40942,
              0.76634
            ],
            [
              0.04396,
              0.07871,
              0.10466,
              0.15078,
              0.23684,
              0.4091,
              0.7664
            ],
            [
              0.0465,
              0.0805,
              0.106,
              0.1514,
              0.2374,
              0.4097,
              0.7668
            ],
            [
              0.0521,
              0.0881,
              0.114,
              0.159,
              0.2431,
              0.4124,
              0.7669
            ],
            [
              0.0598,
              0.098,
              0.1249,
              0.1709,
              0.255,
              0.4217,
              0.7713
            ]
          ]
        },
        "related_pin": "A1",
        "rise_transition,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00725,
            0.0145,
            0.029,
            0.05801,
            0.11602,
            0.23204
          ],
          "values": [
            [
              0.05432,
              0.10975,
              0.15459,
              0.23995,
              0.41353,
              0.77166,
              1.50128
            ],
            [
              0.05432,
              0.10973,
              0.15484,
              0.24026,
              0.41328,
              0.77168,
              1.50165
            ],
            [
              0.05438,
              0.10973,
              0.15478,
              0.24045,
              0.41467,
              0.77135,
              1.5009
            ],
            [
              0.05439,
              0.10971,
              0.15454,
              0.2405,
              0.4132,
              0.77107,
              1.50161
            ],
            [
              0.05431,
              0.11001,
              0.15454,
              0.24025,
              0.41429,
              0.77014,
              1.50296
            ],
            [
              0.05431,
              0.1099,
              0.15454,
              0.24033,
              0.41398,
              0.77147,
              1.50047
            ],
            [
              0.05431,
              0.10974,
              0.15483,
              0.24027,
              0.41335,
              0.77156,
              1.50571
            ],
            [
              0.05432,
              0.10986,
              0.15452,
              0.24016,
              0.41298,
              0.77174,
              1.50163
            ],
            [
              0.05439,
              0.10964,
              0.15474,
              0.24036,
              0.41326,
              0.77172,
              1.5015
            ],
            [
              0.05374,
              0.10961,
              0.15449,
              0.24041,
              0.41316,
              0.771,
              1.502
            ],
            [
              0.0562,
              0.1112,
              0.1562,
              0.2412,
              0.415,
              0.7715,
              1.5041
            ],
            [
              0.0628,
              0.1154,
              0.1595,
              0.2445,
              0.4164,
              0.7719,
              1.5027
            ],
            [
              0.0728,
              0.1238,
              0.1654,
              0.2484,
              0.42,
              0.7754,
              1.5016
            ]
          ]
        },
        "timing_sense": "positive_unate"
      },
      {
        "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.00725,
            0.0145,
            0.029,
            0.05801,
            0.11602,
            0.23204
          ],
          "values": [
            [
              0.36635,
              0.42092,
              0.45638,
              0.51129,
              0.599,
              0.74916,
              1.02787
            ],
            [
              0.36983,
              0.42442,
              0.45986,
              0.51479,
              0.60251,
              0.75267,
              1.03144
            ],
            [
              0.3738,
              0.42838,
              0.46386,
              0.51878,
              0.60652,
              0.75665,
              1.03522
            ],
            [
              0.37971,
              0.43429,
              0.46977,
              0.5247,
              0.61245,
              0.76258,
              1.04127
            ],
            [
              0.38835,
              0.44294,
              0.47842,
              0.53334,
              0.6211,
              0.77123,
              1.04991
            ],
            [
              0.40123,
              0.45581,
              0.49128,
              0.5462,
              0.63399,
              0.78414,
              1.06292
            ],
            [
              0.42014,
              0.4747,
              0.51018,
              0.56511,
              0.65287,
              0.80302,
              1.08163
            ],
            [
              0.44716,
              0.50173,
              0.53717,
              0.59209,
              0.67983,
              0.83,
              1.10876
            ],
            [
              0.48566,
              0.54019,
              0.57564,
              0.63054,
              0.71826,
              0.86845,
              1.14705
            ],
            [
              0.54104,
              0.59557,
              0.63099,
              0.68589,
              0.77369,
              0.92379,
              1.20239
            ],
            [
              0.62172,
              0.67632,
              0.71172,
              0.76662,
              0.85452,
              1.00482,
              1.28352
            ],
            [
              0.72947,
              0.78727,
              0.82427,
              0.88067,
              0.96957,
              1.12037,
              1.39937
            ],
            [
              0.865,
              0.9277,
              0.9674,
              1.0275,
              1.1206,
              1.2748,
              1.5552
            ]
          ]
        },
        "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.00725,
            0.0145,
            0.029,
            0.05801,
            0.11602,
            0.23204
          ],
          "values": [
            [
              0.30538,
              0.37665,
              0.42508,
              0.50475,
              0.64389,
              0.90397,
              1.41517
            ],
            [
              0.30753,
              0.37879,
              0.42724,
              0.50692,
              0.64604,
              0.90609,
              1.41754
            ],
            [
              0.31031,
              0.38158,
              0.43002,
              0.50978,
              0.6489,
              0.90921,
              1.42102
            ],
            [
              0.31462,
              0.38589,
              0.43434,
              0.51404,
              0.653,
              0.91361,
              1.42568
            ],
            [
              0.32107,
              0.39231,
              0.44076,
              0.52044,
              0.6596,
              0.91972,
              1.43091
            ],
            [
              0.33042,
              0.40168,
              0.45013,
              0.52983,
              0.66885,
              0.92932,
              1.44112
            ],
            [
              0.34424,
              0.41552,
              0.46395,
              0.5437,
              0.68278,
              0.94333,
              1.45553
            ],
            [
              0.36497,
              0.43623,
              0.48469,
              0.56435,
              0.70345,
              0.96356,
              1.47506
            ],
            [
              0.39646,
              0.46772,
              0.51612,
              0.59583,
              0.73486,
              0.99495,
              1.50665
            ],
            [
              0.44381,
              0.51494,
              0.56329,
              0.64289,
              0.78189,
              1.04189,
              1.55349
            ],
            [
              0.50992,
              0.58272,
              0.63152,
              0.71132,
              0.85042,
              1.11092,
              1.62202
            ],
            [
              0.59517,
              0.67087,
              0.72087,
              0.80217,
              0.94237,
              1.20287,
              1.71537
            ],
            [
              0.6996,
              0.7802,
              0.8321,
              0.9148,
              1.0562,
              1.3183,
              1.8311
            ]
          ]
        },
        "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.00725,
            0.0145,
            0.029,
            0.05801,
            0.11602,
            0.23204
          ],
          "values": [
            [
              0.04736,
              0.08271,
              0.10893,
              0.15511,
              0.2416,
              0.41405,
              0.77078
            ],
            [
              0.04735,
              0.08271,
              0.10898,
              0.15512,
              0.24169,
              0.41403,
              0.77084
            ],
            [
              0.0473,
              0.0827,
              0.10899,
              0.15513,
              0.24192,
              0.41404,
              0.77021
            ],
            [
              0.04729,
              0.08271,
              0.10898,
              0.15512,
              0.24199,
              0.41407,
              0.77044
            ],
            [
              0.04728,
              0.08271,
              0.10894,
              0.15515,
              0.24182,
              0.41406,
              0.77043
            ],
            [
              0.04729,
              0.08271,
              0.10894,
              0.15518,
              0.24174,
              0.41404,
              0.77085
            ],
            [
              0.04729,
              0.0827,
              0.10898,
              0.15513,
              0.24191,
              0.41409,
              0.77046
            ],
            [
              0.04729,
              0.08271,
              0.109,
              0.15512,
              0.24176,
              0.41403,
              0.77072
            ],
            [
              0.04731,
              0.08271,
              0.109,
              0.15517,
              0.24182,
              0.41406,
              0.7703
            ],
            [
              0.04729,
              0.0828,
              0.10917,
              0.15514,
              0.2421,
              0.4141,
              0.7699
            ],
            [
              0.0478,
              0.0831,
              0.1093,
              0.1554,
              0.2421,
              0.4141,
              0.7707
            ],
            [
              0.053,
              0.0888,
              0.1148,
              0.1598,
              0.2446,
              0.4155,
              0.7707
            ],
            [
              0.06,
              0.0978,
              0.1246,
              0.1706,
              0.255,
              0.4229,
              0.7736
            ]
          ]
        },
        "related_pin": "A2",
        "rise_transition,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00725,
            0.0145,
            0.029,
            0.05801,
            0.11602,
            0.23204
          ],
          "values": [
            [
              0.05432,
              0.10966,
              0.15455,
              0.24023,
              0.41326,
              0.77167,
              1.50185
            ],
            [
              0.05433,
              0.10978,
              0.15487,
              0.24018,
              0.41311,
              0.77177,
              1.50197
            ],
            [
              0.05432,
              0.10974,
              0.15454,
              0.24012,
              0.41372,
              0.77108,
              1.5049
            ],
            [
              0.05431,
              0.10975,
              0.15483,
              0.24028,
              0.41416,
              0.77148,
              1.50007
            ],
            [
              0.0543,
              0.10974,
              0.15454,
              0.24021,
              0.41327,
              0.7716,
              1.50167
            ],
            [
              0.05432,
              0.10976,
              0.15458,
              0.24,
              0.41345,
              0.77168,
              1.50131
            ],
            [
              0.0543,
              0.1097,
              0.15457,
              0.24052,
              0.41321,
              0.77102,
              1.50176
            ],
            [
              0.05432,
              0.10989,
              0.15453,
              0.24018,
              0.41307,
              0.77174,
              1.50193
            ],
            [
              0.05433,
              0.10967,
              0.15456,
              0.24011,
              0.41328,
              0.77174,
              1.5019
            ],
            [
              0.05432,
              0.1097,
              0.15457,
              0.24029,
              0.41359,
              0.7717,
              1.5019
            ],
            [
              0.0569,
              0.1121,
              0.1562,
              0.2413,
              0.4134,
              0.7714,
              1.5043
            ],
            [
              0.0613,
              0.1166,
              0.1608,
              0.2453,
              0.4174,
              0.7734,
              1.5007
            ],
            [
              0.0686,
              0.1238,
              0.1674,
              0.2504,
              0.4208,
              0.7744,
              1.5015
            ]
          ]
        },
        "timing_sense": "positive_unate"
      },
      {
        "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.00725,
            0.0145,
            0.029,
            0.05801,
            0.11602,
            0.23204
          ],
          "values": [
            [
              0.39644,
              0.45164,
              0.48739,
              0.54274,
              0.63102,
              0.78172,
              1.06117
            ],
            [
              0.3994,
              0.4546,
              0.49037,
              0.54571,
              0.63398,
              0.78481,
              1.06454
            ],
            [
              0.40302,
              0.45821,
              0.49397,
              0.54932,
              0.63759,
              0.7884,
              1.06802
            ],
            [
              0.40857,
              0.46376,
              0.49952,
              0.55487,
              0.64314,
              0.7939,
              1.07357
            ],
            [
              0.41709,
              0.47229,
              0.50808,
              0.56342,
              0.6517,
              0.80256,
              1.08221
            ],
            [
              0.43003,
              0.48523,
              0.52102,
              0.57636,
              0.66465,
              0.81551,
              1.09522
            ],
            [
              0.44918,
              0.50438,
              0.54014,
              0.59551,
              0.6838,
              0.8346,
              1.11423
            ],
            [
              0.47649,
              0.53169,
              0.56745,
              0.6228,
              0.71109,
              0.86196,
              1.14166
            ],
            [
              0.5151,
              0.57029,
              0.60605,
              0.66139,
              0.74967,
              0.90045,
              1.17985
            ],
            [
              0.57038,
              0.62557,
              0.66129,
              0.71659,
              0.80489,
              0.95579,
              1.23549
            ],
            [
              0.65102,
              0.70622,
              0.74192,
              0.79722,
              0.88552,
              1.03642,
              1.31612
            ],
            [
              0.76267,
              0.82027,
              0.85687,
              0.91307,
              1.00187,
              1.15317,
              1.43307
            ],
            [
              0.9032,
              0.9653,
              1.0046,
              1.0642,
              1.1569,
              1.3109,
              1.5919
            ]
          ]
        },
        "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.00725,
            0.0145,
            0.029,
            0.05801,
            0.11602,
            0.23204
          ],
          "values": [
            [
              0.32364,
              0.3949,
              0.44335,
              0.52305,
              0.66205,
              0.92253,
              1.43427
            ],
            [
              0.326,
              0.39726,
              0.44571,
              0.52541,
              0.66448,
              0.92481,
              1.43644
            ],
            [
              0.329,
              0.40027,
              0.44872,
              0.52843,
              0.66747,
              0.92788,
              1.43962
            ],
            [
              0.33364,
              0.40491,
              0.45334,
              0.53307,
              0.67224,
              0.93264,
              1.44478
            ],
            [
              0.34032,
              0.41157,
              0.46001,
              0.53973,
              0.67873,
              0.93922,
              1.45101
            ],
            [
              0.34988,
              0.42113,
              0.46958,
              0.54927,
              0.68839,
              0.94862,
              1.46012
            ],
            [
              0.36345,
              0.43472,
              0.48317,
              0.56288,
              0.70194,
              0.96233,
              1.47393
            ],
            [
              0.38282,
              0.4541,
              0.50253,
              0.58228,
              0.72141,
              0.98186,
              1.49416
            ],
            [
              0.41092,
              0.48219,
              0.53061,
              0.61028,
              0.74924,
              1.00975,
              1.52165
            ],
            [
              0.45236,
              0.52353,
              0.57191,
              0.65159,
              0.79049,
              1.05089,
              1.56269
            ],
            [
              0.50982,
              0.58262,
              0.63152,
              0.71132,
              0.85052,
              1.11102,
              1.62202
            ],
            [
              0.58497,
              0.66077,
              0.71107,
              0.79257,
              0.93257,
              1.19377,
              1.70617
            ],
            [
              0.6806,
              0.7608,
              0.813,
              0.8964,
              1.0384,
              1.3002,
              1.8127
            ]
          ]
        },
        "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.00725,
            0.0145,
            0.029,
            0.05801,
            0.11602,
            0.23204
          ],
          "values": [
            [
              0.04866,
              0.0843,
              0.11035,
              0.15677,
              0.24315,
              0.41525,
              0.77148
            ],
            [
              0.04865,
              0.08413,
              0.11042,
              0.15654,
              0.24304,
              0.41609,
              0.77261
            ],
            [
              0.04864,
              0.08415,
              0.11038,
              0.15678,
              0.2431,
              0.41538,
              0.77246
            ],
            [
              0.04864,
              0.08432,
              0.11035,
              0.15679,
              0.24315,
              0.4156,
              0.77201
            ],
            [
              0.04865,
              0.08416,
              0.1105,
              0.15651,
              0.24323,
              0.4156,
              0.77258
            ],
            [
              0.04865,
              0.08416,
              0.1105,
              0.15651,
              0.24328,
              0.41556,
              0.77265
            ],
            [
              0.04864,
              0.08416,
              0.11039,
              0.1565,
              0.24346,
              0.41554,
              0.77229
            ],
            [
              0.04867,
              0.08416,
              0.11039,
              0.15654,
              0.24323,
              0.41557,
              0.77253
            ],
            [
              0.04868,
              0.08417,
              0.11052,
              0.1565,
              0.24339,
              0.41535,
              0.7716
            ],
            [
              0.04868,
              0.08421,
              0.11054,
              0.1565,
              0.2429,
              0.4155,
              0.7726
            ],
            [
              0.0488,
              0.0843,
              0.1105,
              0.1565,
              0.2431,
              0.4157,
              0.7723
            ],
            [
              0.0529,
              0.0884,
              0.1141,
              0.1593,
              0.2447,
              0.4163,
              0.7729
            ],
            [
              0.0595,
              0.0969,
              0.1235,
              0.1697,
              0.2541,
              0.4222,
              0.7754
            ]
          ]
        },
        "related_pin": "A3",
        "rise_transition,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00725,
            0.0145,
            0.029,
            0.05801,
            0.11602,
            0.23204
          ],
          "values": [
            [
              0.05431,
              0.10974,
              0.15457,
              0.24035,
              0.41349,
              0.77164,
              1.50127
            ],
            [
              0.05431,
              0.10974,
              0.15456,
              0.24006,
              0.4131,
              0.77175,
              1.50168
            ],
            [
              0.05431,
              0.10974,
              0.15458,
              0.24003,
              0.4133,
              0.7717,
              1.50144
            ],
            [
              0.05431,
              0.10974,
              0.15458,
              0.23995,
              0.41416,
              0.7706,
              1.50382
            ],
            [
              0.0543,
              0.10978,
              0.15459,
              0.24035,
              0.41353,
              0.77168,
              1.50122
            ],
            [
              0.0543,
              0.10984,
              0.15454,
              0.24013,
              0.4129,
              0.77175,
              1.50187
            ],
            [
              0.05432,
              0.10973,
              0.15458,
              0.24003,
              0.41318,
              0.77175,
              1.50158
            ],
            [
              0.05431,
              0.10966,
              0.15462,
              0.24025,
              0.41339,
              0.77028,
              1.5028
            ],
            [
              0.05428,
              0.10971,
              0.15456,
              0.23995,
              0.41362,
              0.77167,
              1.5013
            ],
            [
              0.05429,
              0.10971,
              0.15465,
              0.24055,
              0.41306,
              0.7717,
              1.5015
            ],
            [
              0.0566,
              0.112,
              0.1562,
              0.2412,
              0.4136,
              0.7717,
              1.5019
            ],
            [
              0.0602,
              0.1165,
              0.1608,
              0.2452,
              0.416,
              0.7724,
              1.5015
            ],
            [
              0.0655,
              0.123,
              0.1674,
              0.2508,
              0.4206,
              0.7747,
              1.5026
            ]
          ]
        },
        "timing_sense": "positive_unate"
      },
      {
        "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.00725,
            0.0145,
            0.029,
            0.05801,
            0.11602,
            0.23204
          ],
          "values": [
            [
              0.40582,
              0.46115,
              0.49692,
              0.55227,
              0.64059,
              0.79169,
              1.07197
            ],
            [
              0.40842,
              0.46375,
              0.49953,
              0.55488,
              0.6432,
              0.79418,
              1.07434
            ],
            [
              0.41181,
              0.46716,
              0.50296,
              0.55828,
              0.6466,
              0.79769,
              1.07812
            ],
            [
              0.41726,
              0.47259,
              0.50836,
              0.56371,
              0.65204,
              0.80314,
              1.08348
            ],
            [
              0.42572,
              0.48105,
              0.51683,
              0.57218,
              0.66051,
              0.81162,
              1.09191
            ],
            [
              0.43854,
              0.49387,
              0.52965,
              0.585,
              0.67333,
              0.82444,
              1.10472
            ],
            [
              0.45717,
              0.51252,
              0.54832,
              0.60365,
              0.69198,
              0.8431,
              1.12343
            ],
            [
              0.48345,
              0.5388,
              0.57459,
              0.62991,
              0.71824,
              0.86936,
              1.14976
            ],
            [
              0.52,
              0.57533,
              0.61111,
              0.66644,
              0.75475,
              0.90585,
              1.18625
            ],
            [
              0.57185,
              0.62718,
              0.66289,
              0.71819,
              0.80659,
              0.95759,
              1.23799
            ],
            [
              0.64722,
              0.70242,
              0.73812,
              0.79342,
              0.88172,
              1.03292,
              1.31332
            ],
            [
              0.75047,
              0.80807,
              0.84467,
              0.90087,
              0.98967,
              1.14107,
              1.42147
            ],
            [
              0.8781,
              0.94,
              0.9792,
              1.0386,
              1.1311,
              1.2851,
              1.5664
            ]
          ]
        },
        "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.00725,
            0.0145,
            0.029,
            0.05801,
            0.11602,
            0.23204
          ],
          "values": [
            [
              0.33047,
              0.40174,
              0.45019,
              0.52992,
              0.66886,
              0.92949,
              1.44147
            ],
            [
              0.33327,
              0.40453,
              0.45298,
              0.53269,
              0.67172,
              0.93217,
              1.44394
            ],
            [
              0.33659,
              0.40786,
              0.45631,
              0.53601,
              0.6751,
              0.93539,
              1.44702
            ],
            [
              0.34136,
              0.41262,
              0.46107,
              0.54078,
              0.6798,
              0.94027,
              1.45208
            ],
            [
              0.34814,
              0.4194,
              0.46783,
              0.54758,
              0.68656,
              0.94716,
              1.45921
            ],
            [
              0.35781,
              0.42907,
              0.4775,
              0.55722,
              0.69622,
              0.95672,
              1.46852
            ],
            [
              0.3714,
              0.44265,
              0.4911,
              0.57087,
              0.71,
              0.97053,
              1.48273
            ],
            [
              0.39045,
              0.46172,
              0.51015,
              0.58991,
              0.72905,
              0.98956,
              1.50176
            ],
            [
              0.41739,
              0.48864,
              0.53707,
              0.61677,
              0.75565,
              1.01635,
              1.52825
            ],
            [
              0.45603,
              0.52726,
              0.57566,
              0.65529,
              0.79429,
              1.05489,
              1.56729
            ],
            [
              0.50892,
              0.58142,
              0.63022,
              0.71002,
              0.84912,
              1.10972,
              1.62182
            ],
            [
              0.57737,
              0.65257,
              0.70277,
              0.78407,
              0.92397,
              1.18507,
              1.69667
            ],
            [
              0.6653,
              0.7443,
              0.7964,
              0.8798,
              1.0219,
              1.2833,
              1.7953
            ]
          ]
        },
        "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.00725,
            0.0145,
            0.029,
            0.05801,
            0.11602,
            0.23204
          ],
          "values": [
            [
              0.04916,
              0.08468,
              0.11062,
              0.1566,
              0.24336,
              0.41615,
              0.77365
            ],
            [
              0.04923,
              0.08449,
              0.1106,
              0.15686,
              0.24327,
              0.41582,
              0.77278
            ],
            [
              0.0492,
              0.08451,
              0.11061,
              0.15659,
              0.24307,
              0.41672,
              0.77396
            ],
            [
              0.04916,
              0.08467,
              0.11076,
              0.15661,
              0.24336,
              0.4161,
              0.77371
            ],
            [
              0.04917,
              0.08468,
              0.11073,
              0.15661,
              0.24346,
              0.41616,
              0.77378
            ],
            [
              0.04916,
              0.08468,
              0.11062,
              0.15661,
              0.24332,
              0.41615,
              0.77377
            ],
            [
              0.0492,
              0.08453,
              0.11072,
              0.15664,
              0.24337,
              0.41619,
              0.77382
            ],
            [
              0.04921,
              0.08466,
              0.11072,
              0.1566,
              0.24312,
              0.41671,
              0.77394
            ],
            [
              0.0492,
              0.08466,
              0.11072,
              0.15661,
              0.24334,
              0.41614,
              0.7737
            ],
            [
              0.0492,
              0.0845,
              0.11066,
              0.1566,
              0.2433,
              0.4163,
              0.7736
            ],
            [
              0.0492,
              0.0845,
              0.1106,
              0.157,
              0.2433,
              0.4161,
              0.7738
            ],
            [
              0.0533,
              0.0885,
              0.1142,
              0.1596,
              0.245,
              0.4174,
              0.7738
            ],
            [
              0.0594,
              0.0968,
              0.1231,
              0.169,
              0.2538,
              0.4223,
              0.7752
            ]
          ]
        },
        "related_pin": "A4",
        "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.00725,
            0.0145,
            0.029,
            0.05801,
            0.11602,
            0.23204
          ],
          "values": [
            [
              0.05432,
              0.10975,
              0.15482,
              0.24032,
              0.41406,
              0.77149,
              1.50029
            ],
            [
              0.0543,
              0.10976,
              0.15458,
              0.23996,
              0.41341,
              0.77165,
              1.50139
            ],
            [
              0.05431,
              0.10977,
              0.15455,
              0.24009,
              0.41302,
              0.77172,
              1.50165
            ],
            [
              0.05429,
              0.10975,
              0.15458,
              0.23997,
              0.41346,
              0.77169,
              1.50123
            ],
            [
              0.05441,
              0.10972,
              0.15479,
              0.24039,
              0.41428,
              0.77148,
              1.50006
            ],
            [
              0.05438,
              0.10983,
              0.15459,
              0.24034,
              0.41358,
              0.77158,
              1.50122
            ],
            [
              0.0543,
              0.10983,
              0.15463,
              0.24024,
              0.41335,
              0.77055,
              1.50248
            ],
            [
              0.05429,
              0.10966,
              0.15462,
              0.24025,
              0.41345,
              0.77035,
              1.5028
            ],
            [
              0.05429,
              0.10972,
              0.15457,
              0.24033,
              0.41382,
              0.77149,
              1.5008
            ],
            [
              0.05428,
              0.10965,
              0.15458,
              0.24003,
              0.41464,
              0.7712,
              1.5016
            ],
            [
              0.0562,
              0.1115,
              0.1559,
              0.2409,
              0.4139,
              0.7704,
              1.5002
            ],
            [
              0.0592,
              0.1156,
              0.1599,
              0.2449,
              0.4161,
              0.7715,
              1.5041
            ],
            [
              0.0634,
              0.1214,
              0.1663,
              0.2504,
              0.42,
              0.7744,
              1.5026
            ]
          ]
        },
        "timing_sense": "positive_unate"
      },
      {
        "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.00725,
            0.0145,
            0.029,
            0.05801,
            0.11602,
            0.23204
          ],
          "values": [
            [
              0.17091,
              0.21165,
              0.23879,
              0.28245,
              0.35746,
              0.49676,
              0.77024
            ],
            [
              0.17321,
              0.21398,
              0.24113,
              0.2849,
              0.35983,
              0.4991,
              0.77251
            ],
            [
              0.17619,
              0.21691,
              0.24406,
              0.28783,
              0.3628,
              0.50193,
              0.77502
            ],
            [
              0.18093,
              0.22157,
              0.24874,
              0.2924,
              0.36741,
              0.50675,
              0.78024
            ],
            [
              0.18842,
              0.22908,
              0.25623,
              0.30002,
              0.37492,
              0.51402,
              0.78718
            ],
            [
              0.20008,
              0.24089,
              0.26795,
              0.31173,
              0.38683,
              0.52608,
              0.79951
            ],
            [
              0.21861,
              0.25914,
              0.28621,
              0.33001,
              0.40514,
              0.5444,
              0.81785
            ],
            [
              0.24694,
              0.28737,
              0.31444,
              0.35824,
              0.43341,
              0.57263,
              0.84606
            ],
            [
              0.29002,
              0.33031,
              0.35739,
              0.40124,
              0.4765,
              0.61601,
              0.88965
            ],
            [
              0.35018,
              0.39214,
              0.41959,
              0.46378,
              0.53926,
              0.67879,
              0.95259
            ],
            [
              0.4237,
              0.46972,
              0.49912,
              0.54542,
              0.62242,
              0.76232,
              1.03582
            ],
            [
              0.51207,
              0.56387,
              0.59557,
              0.64437,
              0.72397,
              0.86637,
              1.14047
            ],
            [
              0.6173,
              0.6765,
              0.7118,
              0.7641,
              0.8467,
              0.9909,
              1.2667
            ]
          ]
        },
        "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.00725,
            0.0145,
            0.029,
            0.05801,
            0.11602,
            0.23204
          ],
          "values": [
            [
              0.08773,
              0.12823,
              0.16183,
              0.22638,
              0.35401,
              0.6085,
              1.11727
            ],
            [
              0.09084,
              0.13133,
              0.16495,
              0.2295,
              0.35725,
              0.61149,
              1.12094
            ],
            [
              0.09451,
              0.13498,
              0.16864,
              0.23325,
              0.36084,
              0.61491,
              1.12452
            ],
            [
              0.10004,
              0.14047,
              0.17414,
              0.2388,
              0.36634,
              0.62111,
              1.12948
            ],
            [
              0.10843,
              0.14876,
              0.18243,
              0.24713,
              0.37482,
              0.62895,
              1.13741
            ],
            [
              0.12107,
              0.16126,
              0.19492,
              0.25967,
              0.38731,
              0.64231,
              1.15132
            ],
            [
              0.13992,
              0.17995,
              0.21351,
              0.2784,
              0.40615,
              0.66082,
              1.17083
            ],
            [
              0.16553,
              0.20607,
              0.23971,
              0.30459,
              0.43266,
              0.68699,
              1.19676
            ],
            [
              0.19679,
              0.23913,
              0.27315,
              0.33809,
              0.46633,
              0.72121,
              1.23095
            ],
            [
              0.23439,
              0.27933,
              0.31398,
              0.37928,
              0.50747,
              0.76219,
              1.27089
            ],
            [
              0.27863,
              0.32772,
              0.36323,
              0.42879,
              0.55722,
              0.81172,
              1.32092
            ],
            [
              0.32947,
              0.38487,
              0.42187,
              0.48807,
              0.61637,
              0.87137,
              1.37957
            ],
            [
              0.3864,
              0.4507,
              0.4903,
              0.5578,
              0.6862,
              0.9414,
              1.4495
            ]
          ]
        },
        "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.00725,
            0.0145,
            0.029,
            0.05801,
            0.11602,
            0.23204
          ],
          "values": [
            [
              0.03021,
              0.05873,
              0.08191,
              0.12528,
              0.21154,
              0.38982,
              0.75648
            ],
            [
              0.03021,
              0.05876,
              0.08192,
              0.12525,
              0.21166,
              0.38974,
              0.75669
            ],
            [
              0.03021,
              0.05876,
              0.0819,
              0.12522,
              0.21159,
              0.3895,
              0.75694
            ],
            [
              0.0302,
              0.05867,
              0.08173,
              0.12538,
              0.21146,
              0.38988,
              0.75622
            ],
            [
              0.03021,
              0.05874,
              0.08193,
              0.12521,
              0.21158,
              0.3895,
              0.75683
            ],
            [
              0.03019,
              0.05871,
              0.08178,
              0.12519,
              0.21158,
              0.38991,
              0.75617
            ],
            [
              0.03022,
              0.05879,
              0.08183,
              0.1252,
              0.21157,
              0.38976,
              0.75656
            ],
            [
              0.0302,
              0.0588,
              0.08181,
              0.12538,
              0.21188,
              0.3894,
              0.75686
            ],
            [
              0.03043,
              0.0591,
              0.08204,
              0.12557,
              0.21169,
              0.38986,
              0.75637
            ],
            [
              0.03421,
              0.06167,
              0.08394,
              0.12645,
              0.2121,
              0.38968,
              0.75628
            ],
            [
              0.04081,
              0.06872,
              0.0908,
              0.1324,
              0.216,
              0.391,
              0.757
            ],
            [
              0.0496,
              0.0783,
              0.0999,
              0.1408,
              0.2234,
              0.3959,
              0.758
            ],
            [
              0.0608,
              0.0917,
              0.113,
              0.1525,
              0.2324,
              0.4028,
              0.7615
            ]
          ]
        },
        "related_pin": "B1",
        "rise_transition,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00725,
            0.0145,
            0.029,
            0.05801,
            0.11602,
            0.23204
          ],
          "values": [
            [
              0.02383,
              0.06767,
              0.11223,
              0.20309,
              0.38744,
              0.75343,
              1.48932
            ],
            [
              0.0238,
              0.06776,
              0.11218,
              0.20307,
              0.38744,
              0.75328,
              1.48985
            ],
            [
              0.02386,
              0.06772,
              0.11224,
              0.20309,
              0.38742,
              0.75381,
              1.48946
            ],
            [
              0.02379,
              0.06769,
              0.11228,
              0.20305,
              0.38745,
              0.75451,
              1.48868
            ],
            [
              0.02381,
              0.06778,
              0.11225,
              0.20307,
              0.38746,
              0.75378,
              1.488
            ],
            [
              0.02381,
              0.06774,
              0.11234,
              0.20321,
              0.38741,
              0.75479,
              1.49064
            ],
            [
              0.02406,
              0.06783,
              0.11221,
              0.20295,
              0.3865,
              0.75322,
              1.49075
            ],
            [
              0.0258,
              0.06849,
              0.11259,
              0.20305,
              0.38628,
              0.75572,
              1.49244
            ],
            [
              0.02871,
              0.07066,
              0.11374,
              0.20335,
              0.38665,
              0.7559,
              1.49083
            ],
            [
              0.0331,
              0.07375,
              0.11606,
              0.20443,
              0.38701,
              0.75377,
              1.4892
            ],
            [
              0.03926,
              0.0786,
              0.11929,
              0.20677,
              0.38781,
              0.7541,
              1.4911
            ],
            [
              0.0472,
              0.0859,
              0.1246,
              0.2094,
              0.3888,
              0.7534,
              1.4889
            ],
            [
              0.0572,
              0.0975,
              0.1333,
              0.2138,
              0.3914,
              0.7559,
              1.4866
            ]
          ]
        },
        "sdf_cond": "(!A1&!A2&!A3&!A4)",
        "timing_sense": "positive_unate",
        "when": "(!A1&!A2&!A3&!A4)"
      },
      {
        "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.00725,
            0.0145,
            0.029,
            0.05801,
            0.11602,
            0.23204
          ],
          "values": [
            [
              0.1814,
              0.22368,
              0.25168,
              0.2966,
              0.37281,
              0.51271,
              0.78618
            ],
            [
              0.18365,
              0.22593,
              0.25398,
              0.29884,
              0.37506,
              0.51496,
              0.78841
            ],
            [
              0.18649,
              0.2288,
              0.25687,
              0.30177,
              0.3779,
              0.5179,
              0.79137
            ],
            [
              0.19104,
              0.23328,
              0.26131,
              0.30624,
              0.38242,
              0.5224,
              0.79561
            ],
            [
              0.19829,
              0.24055,
              0.26862,
              0.31357,
              0.38963,
              0.52969,
              0.80324
            ],
            [
              0.20971,
              0.2519,
              0.27991,
              0.32492,
              0.40112,
              0.54122,
              0.81491
            ],
            [
              0.22782,
              0.26993,
              0.29795,
              0.34289,
              0.41914,
              0.55934,
              0.83306
            ],
            [
              0.25566,
              0.29767,
              0.32565,
              0.37059,
              0.44698,
              0.58708,
              0.86046
            ],
            [
              0.29818,
              0.34004,
              0.36801,
              0.41302,
              0.48942,
              0.62978,
              0.90335
            ],
            [
              0.35886,
              0.40189,
              0.4301,
              0.47535,
              0.55198,
              0.69229,
              0.96629
            ],
            [
              0.43353,
              0.48052,
              0.51062,
              0.55782,
              0.63582,
              0.77662,
              1.05042
            ],
            [
              0.52337,
              0.57597,
              0.60837,
              0.65797,
              0.73867,
              0.88187,
              1.15627
            ],
            [
              0.6303,
              0.6903,
              0.7261,
              0.7792,
              0.8629,
              1.008,
              1.2844
            ]
          ]
        },
        "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.00725,
            0.0145,
            0.029,
            0.05801,
            0.11602,
            0.23204
          ],
          "values": [
            [
              0.08778,
              0.12828,
              0.16182,
              0.22638,
              0.35401,
              0.60885,
              1.11747
            ],
            [
              0.09082,
              0.13136,
              0.16498,
              0.22954,
              0.35728,
              0.61152,
              1.12094
            ],
            [
              0.09456,
              0.13502,
              0.16866,
              0.23325,
              0.36099,
              0.61529,
              1.12432
            ],
            [
              0.1001,
              0.14055,
              0.17422,
              0.23886,
              0.36632,
              0.62116,
              1.13028
            ],
            [
              0.10846,
              0.14882,
              0.18243,
              0.24716,
              0.37485,
              0.62884,
              1.13701
            ],
            [
              0.12112,
              0.16133,
              0.19498,
              0.25976,
              0.38744,
              0.64237,
              1.15142
            ],
            [
              0.14001,
              0.17995,
              0.21361,
              0.27829,
              0.4064,
              0.6605,
              1.17083
            ],
            [
              0.16564,
              0.20617,
              0.23982,
              0.30465,
              0.43283,
              0.68731,
              1.19706
            ],
            [
              0.19692,
              0.23924,
              0.27327,
              0.33819,
              0.46646,
              0.72142,
              1.23105
            ],
            [
              0.23453,
              0.27948,
              0.31412,
              0.3794,
              0.5076,
              0.76229,
              1.27069
            ],
            [
              0.27873,
              0.32782,
              0.36334,
              0.42888,
              0.55732,
              0.81192,
              1.32142
            ],
            [
              0.32947,
              0.38487,
              0.42187,
              0.48807,
              0.61657,
              0.87137,
              1.37977
            ],
            [
              0.3863,
              0.4506,
              0.4903,
              0.5577,
              0.6861,
              0.9415,
              1.4493
            ]
          ]
        },
        "fall_transition,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00725,
            0.0145,
            0.029,
            0.05801,
            0.11602,
            0.23204
          ],
          "values": [
            [
              0.03194,
              0.06116,
              0.08453,
              0.12835,
              0.21463,
              0.39125,
              0.75759
            ],
            [
              0.03192,
              0.06115,
              0.08448,
              0.12826,
              0.21462,
              0.39123,
              0.75761
            ],
            [
              0.03189,
              0.06114,
              0.08448,
              0.12806,
              0.21467,
              0.39152,
              0.75754
            ],
            [
              0.03192,
              0.06114,
              0.0845,
              0.12824,
              0.21468,
              0.39146,
              0.75772
            ],
            [
              0.03192,
              0.06116,
              0.0845,
              0.12819,
              0.21432,
              0.39172,
              0.75739
            ],
            [
              0.0319,
              0.0612,
              0.08457,
              0.12814,
              0.21428,
              0.39176,
              0.75654
            ],
            [
              0.0319,
              0.06121,
              0.08476,
              0.12822,
              0.21417,
              0.39178,
              0.75669
            ],
            [
              0.03192,
              0.06137,
              0.08466,
              0.12828,
              0.21427,
              0.39146,
              0.75774
            ],
            [
              0.03202,
              0.06149,
              0.08481,
              0.12837,
              0.21428,
              0.39168,
              0.75746
            ],
            [
              0.0353,
              0.06351,
              0.08624,
              0.12921,
              0.21511,
              0.3916,
              0.75658
            ],
            [
              0.04187,
              0.07049,
              0.0929,
              0.1349,
              0.2187,
              0.393,
              0.7579
            ],
            [
              0.0508,
              0.0799,
              0.102,
              0.1432,
              0.2261,
              0.3981,
              0.7595
            ],
            [
              0.0621,
              0.0933,
              0.1149,
              0.1549,
              0.235,
              0.405,
              0.7624
            ]
          ]
        },
        "related_pin": "B1",
        "rise_transition,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00725,
            0.0145,
            0.029,
            0.05801,
            0.11602,
            0.23204
          ],
          "values": [
            [
              0.02389,
              0.06768,
              0.1121,
              0.20343,
              0.38643,
              0.7551,
              1.49331
            ],
            [
              0.02379,
              0.06769,
              0.11218,
              0.20307,
              0.38742,
              0.75325,
              1.48991
            ],
            [
              0.02388,
              0.06772,
              0.11217,
              0.20307,
              0.38742,
              0.75309,
              1.48912
            ],
            [
              0.02381,
              0.06785,
              0.11233,
              0.2031,
              0.38741,
              0.75487,
              1.49052
            ],
            [
              0.02382,
              0.0677,
              0.11221,
              0.20308,
              0.38746,
              0.75528,
              1.48938
            ],
            [
              0.02384,
              0.06773,
              0.11234,
              0.20304,
              0.38725,
              0.75483,
              1.49074
            ],
            [
              0.02405,
              0.06787,
              0.1124,
              0.20357,
              0.38629,
              0.75548,
              1.49044
            ],
            [
              0.02579,
              0.06845,
              0.11258,
              0.20331,
              0.38646,
              0.75574,
              1.49072
            ],
            [
              0.0287,
              0.07066,
              0.11381,
              0.20345,
              0.38638,
              0.75571,
              1.49091
            ],
            [
              0.03308,
              0.07384,
              0.11606,
              0.20436,
              0.38639,
              0.75375,
              1.4889
            ],
            [
              0.03924,
              0.07856,
              0.11927,
              0.20679,
              0.38784,
              0.7541,
              1.4909
            ],
            [
              0.0472,
              0.086,
              0.1246,
              0.2096,
              0.3888,
              0.7534,
              1.4888
            ],
            [
              0.0572,
              0.0974,
              0.1334,
              0.2139,
              0.3914,
              0.7559,
              1.4861
            ]
          ]
        },
        "sdf_cond": "(!A1&!A2&!A3&A4)",
        "timing_sense": "positive_unate",
        "when": "(!A1&!A2&!A3&A4)"
      },
      {
        "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.00725,
            0.0145,
            0.029,
            0.05801,
            0.11602,
            0.23204
          ],
          "values": [
            [
              0.17977,
              0.22181,
              0.24973,
              0.29439,
              0.37042,
              0.51026,
              0.78366
            ],
            [
              0.18203,
              0.22407,
              0.25199,
              0.29665,
              0.37269,
              0.51255,
              0.78581
            ],
            [
              0.18489,
              0.22693,
              0.25483,
              0.29951,
              0.3756,
              0.51551,
              0.78911
            ],
            [
              0.18948,
              0.23145,
              0.25936,
              0.30402,
              0.38009,
              0.51997,
              0.79326
            ],
            [
              0.19675,
              0.23876,
              0.26668,
              0.31145,
              0.3873,
              0.52721,
              0.80084
            ],
            [
              0.2082,
              0.25015,
              0.27803,
              0.32275,
              0.39874,
              0.53877,
              0.81229
            ],
            [
              0.22639,
              0.26824,
              0.29611,
              0.34086,
              0.41691,
              0.55695,
              0.83062
            ],
            [
              0.25429,
              0.29605,
              0.32388,
              0.36864,
              0.44483,
              0.58487,
              0.85836
            ],
            [
              0.29689,
              0.3385,
              0.36633,
              0.41115,
              0.4874,
              0.62756,
              0.90085
            ],
            [
              0.3575,
              0.40036,
              0.42844,
              0.47352,
              0.54998,
              0.69009,
              0.96379
            ],
            [
              0.43197,
              0.47882,
              0.50872,
              0.55592,
              0.63372,
              0.77442,
              1.04822
            ],
            [
              0.52157,
              0.57407,
              0.60627,
              0.65587,
              0.73637,
              0.87937,
              1.15377
            ],
            [
              0.6282,
              0.6881,
              0.7238,
              0.7768,
              0.8603,
              1.0053,
              1.2815
            ]
          ]
        },
        "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.00725,
            0.0145,
            0.029,
            0.05801,
            0.11602,
            0.23204
          ],
          "values": [
            [
              0.08778,
              0.12825,
              0.16184,
              0.22637,
              0.35412,
              0.60871,
              1.11627
            ],
            [
              0.09081,
              0.1313,
              0.16491,
              0.22946,
              0.35724,
              0.61114,
              1.11884
            ],
            [
              0.09455,
              0.13502,
              0.16866,
              0.23324,
              0.36099,
              0.61528,
              1.12382
            ],
            [
              0.1001,
              0.14053,
              0.1742,
              0.23886,
              0.3663,
              0.62116,
              1.13028
            ],
            [
              0.10845,
              0.14875,
              0.18244,
              0.24714,
              0.37483,
              0.62884,
              1.13711
            ],
            [
              0.12111,
              0.16131,
              0.19496,
              0.25973,
              0.38748,
              0.64245,
              1.15032
            ],
            [
              0.14,
              0.18004,
              0.21359,
              0.27849,
              0.40622,
              0.66084,
              1.17083
            ],
            [
              0.16562,
              0.20616,
              0.23981,
              0.30463,
              0.43281,
              0.68725,
              1.19696
            ],
            [
              0.1969,
              0.23922,
              0.27325,
              0.33817,
              0.46644,
              0.72131,
              1.23105
            ],
            [
              0.23451,
              0.27946,
              0.3141,
              0.37938,
              0.50758,
              0.76229,
              1.27079
            ],
            [
              0.27872,
              0.3278,
              0.36333,
              0.42886,
              0.55732,
              0.81192,
              1.32122
            ],
            [
              0.32947,
              0.38487,
              0.42187,
              0.48807,
              0.61647,
              0.87137,
              1.37977
            ],
            [
              0.3863,
              0.4506,
              0.4903,
              0.5578,
              0.6861,
              0.9415,
              1.4494
            ]
          ]
        },
        "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.00725,
            0.0145,
            0.029,
            0.05801,
            0.11602,
            0.23204
          ],
          "values": [
            [
              0.03162,
              0.06075,
              0.08403,
              0.12775,
              0.21411,
              0.39105,
              0.75759
            ],
            [
              0.03164,
              0.06075,
              0.08403,
              0.12785,
              0.21416,
              0.3912,
              0.75758
            ],
            [
              0.03164,
              0.06082,
              0.08406,
              0.12776,
              0.21381,
              0.3914,
              0.75681
            ],
            [
              0.03165,
              0.06075,
              0.08403,
              0.12792,
              0.21426,
              0.39134,
              0.75765
            ],
            [
              0.03164,
              0.06076,
              0.08405,
              0.12769,
              0.21386,
              0.39146,
              0.75639
            ],
            [
              0.03166,
              0.0608,
              0.0841,
              0.1277,
              0.2139,
              0.39146,
              0.75719
            ],
            [
              0.03162,
              0.06082,
              0.08414,
              0.12767,
              0.21387,
              0.39143,
              0.75697
            ],
            [
              0.03164,
              0.06099,
              0.08438,
              0.12777,
              0.21383,
              0.39137,
              0.75757
            ],
            [
              0.03175,
              0.06113,
              0.08438,
              0.12787,
              0.21412,
              0.39144,
              0.7576
            ],
            [
              0.03512,
              0.06327,
              0.08589,
              0.12891,
              0.21472,
              0.39114,
              0.75736
            ],
            [
              0.04164,
              0.07025,
              0.0925,
              0.1345,
              0.2183,
              0.3929,
              0.7573
            ],
            [
              0.0506,
              0.0797,
              0.1017,
              0.1428,
              0.2256,
              0.3976,
              0.7593
            ],
            [
              0.0618,
              0.0931,
              0.1146,
              0.1545,
              0.2346,
              0.4047,
              0.7622
            ]
          ]
        },
        "related_pin": "B1",
        "rise_transition,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00725,
            0.0145,
            0.029,
            0.05801,
            0.11602,
            0.23204
          ],
          "values": [
            [
              0.02387,
              0.06774,
              0.11208,
              0.20347,
              0.38617,
              0.75504,
              1.48926
            ],
            [
              0.0238,
              0.06767,
              0.11215,
              0.20366,
              0.38746,
              0.75517,
              1.48875
            ],
            [
              0.02381,
              0.06771,
              0.11217,
              0.20306,
              0.38743,
              0.75311,
              1.48903
            ],
            [
              0.02381,
              0.06784,
              0.11233,
              0.20309,
              0.3874,
              0.75489,
              1.49034
            ],
            [
              0.02381,
              0.06773,
              0.11224,
              0.20308,
              0.38747,
              0.75529,
              1.48927
            ],
            [
              0.02384,
              0.06771,
              0.11235,
              0.20311,
              0.38702,
              0.75516,
              1.48892
            ],
            [
              0.02404,
              0.0678,
              0.11219,
              0.203,
              0.38651,
              0.75344,
              1.49058
            ],
            [
              0.02579,
              0.06845,
              0.11259,
              0.20332,
              0.38646,
              0.75575,
              1.49083
            ],
            [
              0.0287,
              0.07066,
              0.11381,
              0.20345,
              0.38638,
              0.75591,
              1.49084
            ],
            [
              0.03309,
              0.07378,
              0.11606,
              0.2044,
              0.38651,
              0.75377,
              1.4891
            ],
            [
              0.03925,
              0.07857,
              0.11927,
              0.2068,
              0.38785,
              0.7541,
              1.4912
            ],
            [
              0.0473,
              0.0859,
              0.1246,
              0.2095,
              0.3888,
              0.7536,
              1.4888
            ],
            [
              0.0572,
              0.0974,
              0.1333,
              0.2139,
              0.3915,
              0.7559,
              1.4862
            ]
          ]
        },
        "sdf_cond": "(!A1&!A2&A3&!A4)",
        "timing_sense": "positive_unate",
        "when": "(!A1&!A2&A3&!A4)"
      },
      {
        "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.00725,
            0.0145,
            0.029,
            0.05801,
            0.11602,
            0.23204
          ],
          "values": [
            [
              0.20174,
              0.24702,
              0.27688,
              0.32411,
              0.40271,
              0.54473,
              0.81889
            ],
            [
              0.20372,
              0.24903,
              0.27889,
              0.32616,
              0.40483,
              0.54661,
              0.82051
            ],
            [
              0.20631,
              0.2516,
              0.28153,
              0.32882,
              0.40758,
              0.54936,
              0.82358
            ],
            [
              0.21058,
              0.25587,
              0.28578,
              0.33308,
              0.41184,
              0.55363,
              0.82781
            ],
            [
              0.21743,
              0.26269,
              0.29252,
              0.33979,
              0.41853,
              0.5605,
              0.83405
            ],
            [
              0.22833,
              0.27352,
              0.30337,
              0.35063,
              0.42937,
              0.5714,
              0.84516
            ],
            [
              0.24551,
              0.29064,
              0.32045,
              0.36772,
              0.4465,
              0.58838,
              0.86255
            ],
            [
              0.27261,
              0.31767,
              0.34744,
              0.39472,
              0.47354,
              0.61566,
              0.88986
            ],
            [
              0.31399,
              0.35892,
              0.38866,
              0.43595,
              0.51483,
              0.65704,
              0.93105
            ],
            [
              0.37514,
              0.42036,
              0.45019,
              0.49761,
              0.57663,
              0.71889,
              0.99299
            ],
            [
              0.45192,
              0.50092,
              0.53232,
              0.58132,
              0.66142,
              0.80402,
              1.07842
            ],
            [
              0.54447,
              0.59887,
              0.63237,
              0.68377,
              0.76657,
              0.91157,
              1.18657
            ],
            [
              0.6548,
              0.7164,
              0.7532,
              0.8079,
              0.8936,
              1.0408,
              1.3182
            ]
          ]
        },
        "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.00725,
            0.0145,
            0.029,
            0.05801,
            0.11602,
            0.23204
          ],
          "values": [
            [
              0.08781,
              0.12831,
              0.16191,
              0.22644,
              0.35415,
              0.60845,
              1.11787
            ],
            [
              0.09092,
              0.13141,
              0.16504,
              0.22959,
              0.35729,
              0.61161,
              1.12094
            ],
            [
              0.09462,
              0.13509,
              0.16875,
              0.23335,
              0.36099,
              0.61541,
              1.12292
            ],
            [
              0.10021,
              0.14066,
              0.17431,
              0.23897,
              0.36634,
              0.62128,
              1.13028
            ],
            [
              0.10859,
              0.14891,
              0.18259,
              0.24732,
              0.375,
              0.62904,
              1.13831
            ],
            [
              0.1213,
              0.1615,
              0.19515,
              0.25994,
              0.38756,
              0.64226,
              1.15162
            ],
            [
              0.14014,
              0.18019,
              0.21382,
              0.27867,
              0.40638,
              0.66149,
              1.17013
            ],
            [
              0.16582,
              0.20637,
              0.24002,
              0.30479,
              0.43305,
              0.68805,
              1.19766
            ],
            [
              0.19717,
              0.23952,
              0.27351,
              0.33844,
              0.4667,
              0.72187,
              1.23135
            ],
            [
              0.23478,
              0.27971,
              0.31432,
              0.37961,
              0.50784,
              0.76289,
              1.27209
            ],
            [
              0.27891,
              0.32797,
              0.36348,
              0.4291,
              0.55742,
              0.81192,
              1.32162
            ],
            [
              0.32967,
              0.38507,
              0.42207,
              0.48817,
              0.61647,
              0.87147,
              1.37997
            ],
            [
              0.3862,
              0.4506,
              0.4902,
              0.5576,
              0.686,
              0.9412,
              1.4492
            ]
          ]
        },
        "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.00725,
            0.0145,
            0.029,
            0.05801,
            0.11602,
            0.23204
          ],
          "values": [
            [
              0.03526,
              0.06609,
              0.09014,
              0.13426,
              0.2204,
              0.396,
              0.75859
            ],
            [
              0.03528,
              0.06609,
              0.09014,
              0.13438,
              0.22038,
              0.39591,
              0.7597
            ],
            [
              0.0353,
              0.06609,
              0.09007,
              0.13433,
              0.2206,
              0.39583,
              0.75918
            ],
            [
              0.03531,
              0.06606,
              0.09008,
              0.13452,
              0.22061,
              0.39597,
              0.75868
            ],
            [
              0.03529,
              0.06606,
              0.09029,
              0.13433,
              0.22044,
              0.39598,
              0.75987
            ],
            [
              0.03528,
              0.06609,
              0.09012,
              0.13423,
              0.22037,
              0.39596,
              0.75988
            ],
            [
              0.03527,
              0.06611,
              0.09013,
              0.13438,
              0.22063,
              0.39572,
              0.75988
            ],
            [
              0.03527,
              0.06625,
              0.09018,
              0.13438,
              0.22033,
              0.39596,
              0.75874
            ],
            [
              0.03524,
              0.06626,
              0.09042,
              0.13443,
              0.22035,
              0.39594,
              0.75995
            ],
            [
              0.03734,
              0.0674,
              0.09123,
              0.13486,
              0.22098,
              0.39602,
              0.76
            ],
            [
              0.04394,
              0.0739,
              0.0971,
              0.14,
              0.2238,
              0.3971,
              0.7598
            ],
            [
              0.053,
              0.0832,
              0.1058,
              0.1479,
              0.231,
              0.4019,
              0.7608
            ],
            [
              0.0643,
              0.0967,
              0.1188,
              0.1592,
              0.2402,
              0.4096,
              0.7658
            ]
          ]
        },
        "related_pin": "B1",
        "rise_transition,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00725,
            0.0145,
            0.029,
            0.05801,
            0.11602,
            0.23204
          ],
          "values": [
            [
              0.0238,
              0.06766,
              0.11223,
              0.20308,
              0.38742,
              0.75308,
              1.49079
            ],
            [
              0.02381,
              0.06767,
              0.11221,
              0.20308,
              0.38739,
              0.75301,
              1.49132
            ],
            [
              0.02387,
              0.06771,
              0.11221,
              0.20309,
              0.38746,
              0.75312,
              1.49049
            ],
            [
              0.02382,
              0.06766,
              0.11232,
              0.20305,
              0.38748,
              0.75466,
              1.49142
            ],
            [
              0.02382,
              0.0678,
              0.11225,
              0.20295,
              0.38746,
              0.7557,
              1.48838
            ],
            [
              0.02384,
              0.06775,
              0.11237,
              0.20295,
              0.38738,
              0.7557,
              1.48955
            ],
            [
              0.02404,
              0.06781,
              0.11234,
              0.20282,
              0.3865,
              0.75511,
              1.48888
            ],
            [
              0.02577,
              0.06846,
              0.1126,
              0.20349,
              0.38713,
              0.75522,
              1.49066
            ],
            [
              0.02862,
              0.07065,
              0.11379,
              0.20344,
              0.38641,
              0.75322,
              1.49087
            ],
            [
              0.03305,
              0.07373,
              0.11606,
              0.20453,
              0.38667,
              0.75365,
              1.4924
            ],
            [
              0.03924,
              0.0786,
              0.11937,
              0.20682,
              0.38787,
              0.7542,
              1.4901
            ],
            [
              0.0472,
              0.086,
              0.1245,
              0.2094,
              0.3889,
              0.7535,
              1.4888
            ],
            [
              0.0572,
              0.0975,
              0.1333,
              0.2139,
              0.3915,
              0.7559,
              1.4861
            ]
          ]
        },
        "sdf_cond": "(!A1&!A2&A3&A4)",
        "timing_sense": "positive_unate",
        "when": "(!A1&!A2&A3&A4)"
      },
      {
        "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.00725,
            0.0145,
            0.029,
            0.05801,
            0.11602,
            0.23204
          ],
          "values": [
            [
              0.17901,
              0.22093,
              0.24877,
              0.29334,
              0.36928,
              0.50908,
              0.78255
            ],
            [
              0.18128,
              0.22319,
              0.25103,
              0.29561,
              0.37155,
              0.51135,
              0.78469
            ],
            [
              0.18414,
              0.22608,
              0.2539,
              0.29847,
              0.37445,
              0.51429,
              0.78789
            ],
            [
              0.18874,
              0.23059,
              0.25843,
              0.30301,
              0.37896,
              0.51879,
              0.79214
            ],
            [
              0.19603,
              0.23792,
              0.26576,
              0.31043,
              0.38619,
              0.52604,
              0.79962
            ],
            [
              0.20749,
              0.24932,
              0.27713,
              0.32176,
              0.39766,
              0.53752,
              0.81088
            ],
            [
              0.22571,
              0.26744,
              0.29523,
              0.33988,
              0.41585,
              0.55574,
              0.82928
            ],
            [
              0.25365,
              0.29529,
              0.32305,
              0.36771,
              0.4438,
              0.58376,
              0.85726
            ],
            [
              0.29629,
              0.33778,
              0.36554,
              0.41026,
              0.48644,
              0.62649,
              0.89995
            ],
            [
              0.35685,
              0.39963,
              0.42765,
              0.47263,
              0.54902,
              0.68919,
              0.96269
            ],
            [
              0.43123,
              0.47802,
              0.50792,
              0.55492,
              0.63272,
              0.77332,
              1.04712
            ],
            [
              0.52067,
              0.57317,
              0.60537,
              0.65477,
              0.73517,
              0.87817,
              1.15257
            ],
            [
              0.6272,
              0.6871,
              0.7227,
              0.7756,
              0.8591,
              1.004,
              1.2801
            ]
          ]
        },
        "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.00725,
            0.0145,
            0.029,
            0.05801,
            0.11602,
            0.23204
          ],
          "values": [
            [
              0.08777,
              0.12823,
              0.16184,
              0.22636,
              0.35418,
              0.60872,
              1.11707
            ],
            [
              0.09081,
              0.13132,
              0.16491,
              0.22945,
              0.35726,
              0.611,
              1.11974
            ],
            [
              0.09455,
              0.13502,
              0.16866,
              0.23325,
              0.36098,
              0.61528,
              1.12382
            ],
            [
              0.1001,
              0.14053,
              0.17419,
              0.23885,
              0.36629,
              0.62114,
              1.13028
            ],
            [
              0.10844,
              0.14876,
              0.18243,
              0.24714,
              0.37483,
              0.62881,
              1.13721
            ],
            [
              0.1211,
              0.16131,
              0.19495,
              0.25972,
              0.38748,
              0.64243,
              1.15062
            ],
            [
              0.13999,
              0.18003,
              0.21358,
              0.27848,
              0.40621,
              0.66084,
              1.17083
            ],
            [
              0.16561,
              0.20615,
              0.2398,
              0.30465,
              0.43278,
              0.68707,
              1.19696
            ],
            [
              0.19689,
              0.23921,
              0.27324,
              0.33816,
              0.46643,
              0.72128,
              1.23105
            ],
            [
              0.2345,
              0.27945,
              0.31409,
              0.37937,
              0.50756,
              0.76229,
              1.27089
            ],
            [
              0.27871,
              0.32779,
              0.36333,
              0.42885,
              0.55732,
              0.81192,
              1.32062
            ],
            [
              0.32947,
              0.38487,
              0.42187,
              0.48807,
              0.61637,
              0.87137,
              1.37977
            ],
            [
              0.3863,
              0.4506,
              0.4903,
              0.5578,
              0.6861,
              0.9415,
              1.4494
            ]
          ]
        },
        "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.00725,
            0.0145,
            0.029,
            0.05801,
            0.11602,
            0.23204
          ],
          "values": [
            [
              0.03151,
              0.06054,
              0.08381,
              0.12753,
              0.21391,
              0.391,
              0.75739
            ],
            [
              0.03152,
              0.06055,
              0.0838,
              0.12754,
              0.21394,
              0.39107,
              0.75757
            ],
            [
              0.0315,
              0.06054,
              0.08382,
              0.12751,
              0.21362,
              0.39125,
              0.75678
            ],
            [
              0.03151,
              0.06057,
              0.08381,
              0.12768,
              0.21358,
              0.39123,
              0.75752
            ],
            [
              0.03151,
              0.06056,
              0.08382,
              0.12745,
              0.21363,
              0.39131,
              0.75672
            ],
            [
              0.03151,
              0.0606,
              0.08389,
              0.12744,
              0.21375,
              0.39114,
              0.75744
            ],
            [
              0.0315,
              0.06065,
              0.08392,
              0.12746,
              0.21369,
              0.39109,
              0.75727
            ],
            [
              0.03152,
              0.0608,
              0.08417,
              0.12751,
              0.21361,
              0.39122,
              0.75744
            ],
            [
              0.03163,
              0.06094,
              0.08432,
              0.12755,
              0.21357,
              0.39127,
              0.75743
            ],
            [
              0.03503,
              0.06318,
              0.08572,
              0.12859,
              0.21405,
              0.39149,
              0.75759
            ],
            [
              0.04164,
              0.07009,
              0.0924,
              0.1342,
              0.2181,
              0.3928,
              0.7574
            ],
            [
              0.0505,
              0.0796,
              0.1015,
              0.1426,
              0.2254,
              0.3974,
              0.7592
            ],
            [
              0.0618,
              0.093,
              0.1145,
              0.1543,
              0.2344,
              0.4045,
              0.7617
            ]
          ]
        },
        "related_pin": "B1",
        "rise_transition,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00725,
            0.0145,
            0.029,
            0.05801,
            0.11602,
            0.23204
          ],
          "values": [
            [
              0.02386,
              0.06772,
              0.11208,
              0.20349,
              0.38665,
              0.75503,
              1.48845
            ],
            [
              0.0238,
              0.0679,
              0.11214,
              0.20365,
              0.38746,
              0.7554,
              1.489
            ],
            [
              0.02381,
              0.06771,
              0.11218,
              0.20307,
              0.38741,
              0.7531,
              1.48901
            ],
            [
              0.02382,
              0.06785,
              0.11233,
              0.2031,
              0.3874,
              0.75489,
              1.49025
            ],
            [
              0.0238,
              0.06782,
              0.11224,
              0.20308,
              0.38746,
              0.7554,
              1.48915
            ],
            [
              0.02384,
              0.0677,
              0.11235,
              0.20315,
              0.38695,
              0.75519,
              1.48767
            ],
            [
              0.02405,
              0.0678,
              0.11218,
              0.20299,
              0.38651,
              0.75345,
              1.4906
            ],
            [
              0.02579,
              0.06845,
              0.11259,
              0.2032,
              0.38625,
              0.75563,
              1.49144
            ],
            [
              0.0287,
              0.07066,
              0.11381,
              0.20345,
              0.38636,
              0.75591,
              1.49095
            ],
            [
              0.03309,
              0.07378,
              0.11607,
              0.20441,
              0.38692,
              0.75378,
              1.4891
            ],
            [
              0.03925,
              0.07857,
              0.11927,
              0.20671,
              0.38785,
              0.7541,
              1.4907
            ],
            [
              0.0473,
              0.0859,
              0.1246,
              0.2095,
              0.3888,
              0.7534,
              1.4888
            ],
            [
              0.0572,
              0.0974,
              0.1333,
              0.2139,
              0.3915,
              0.7559,
              1.4862
            ]
          ]
        },
        "sdf_cond": "(!A1&A2&!A3&!A4)",
        "timing_sense": "positive_unate",
        "when": "(!A1&A2&!A3&!A4)"
      },
      {
        "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.00725,
            0.0145,
            0.029,
            0.05801,
            0.11602,
            0.23204
          ],
          "values": [
            [
              0.19776,
              0.24243,
              0.2719,
              0.31866,
              0.39669,
              0.53807,
              0.81214
            ],
            [
              0.19978,
              0.24446,
              0.27396,
              0.32072,
              0.39875,
              0.54008,
              0.81424
            ],
            [
              0.20241,
              0.24711,
              0.27659,
              0.32332,
              0.40148,
              0.54282,
              0.81665
            ],
            [
              0.20672,
              0.2514,
              0.2809,
              0.32765,
              0.40575,
              0.54705,
              0.82112
            ],
            [
              0.21366,
              0.25829,
              0.28778,
              0.33454,
              0.41259,
              0.55398,
              0.82795
            ],
            [
              0.22466,
              0.26921,
              0.29866,
              0.34543,
              0.42362,
              0.56504,
              0.83918
            ],
            [
              0.24197,
              0.28646,
              0.31589,
              0.36264,
              0.44086,
              0.58234,
              0.85648
            ],
            [
              0.26924,
              0.31366,
              0.34305,
              0.38981,
              0.46806,
              0.60967,
              0.88366
            ],
            [
              0.31085,
              0.35513,
              0.38449,
              0.43129,
              0.50962,
              0.65122,
              0.92555
            ],
            [
              0.37194,
              0.4167,
              0.44615,
              0.49308,
              0.57156,
              0.71329,
              0.98749
            ],
            [
              0.44832,
              0.49682,
              0.52792,
              0.57662,
              0.65622,
              0.79822,
              1.07272
            ],
            [
              0.54027,
              0.59427,
              0.62747,
              0.67847,
              0.76087,
              0.90547,
              1.17987
            ],
            [
              0.6498,
              0.7111,
              0.7477,
              0.8021,
              0.8873,
              1.034,
              1.3112
            ]
          ]
        },
        "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.00725,
            0.0145,
            0.029,
            0.05801,
            0.11602,
            0.23204
          ],
          "values": [
            [
              0.0878,
              0.12831,
              0.16191,
              0.22642,
              0.35421,
              0.60819,
              1.11697
            ],
            [
              0.09086,
              0.13141,
              0.16503,
              0.22959,
              0.35729,
              0.61163,
              1.12094
            ],
            [
              0.09462,
              0.13509,
              0.16872,
              0.2333,
              0.36109,
              0.61503,
              1.12302
            ],
            [
              0.10018,
              0.14062,
              0.17428,
              0.23894,
              0.3665,
              0.62123,
              1.12938
            ],
            [
              0.10857,
              0.1489,
              0.18257,
              0.24727,
              0.3748,
              0.62967,
              1.13881
            ],
            [
              0.12127,
              0.16147,
              0.19512,
              0.25987,
              0.38776,
              0.64224,
              1.15152
            ],
            [
              0.1401,
              0.18014,
              0.21379,
              0.2786,
              0.40654,
              0.66151,
              1.17053
            ],
            [
              0.16577,
              0.20632,
              0.23998,
              0.30473,
              0.433,
              0.68802,
              1.19766
            ],
            [
              0.1971,
              0.23947,
              0.27346,
              0.33839,
              0.46665,
              0.72185,
              1.23125
            ],
            [
              0.23472,
              0.27966,
              0.31427,
              0.37956,
              0.50779,
              0.76289,
              1.27209
            ],
            [
              0.27886,
              0.32794,
              0.36343,
              0.42906,
              0.55742,
              0.81212,
              1.32162
            ],
            [
              0.32957,
              0.38497,
              0.42197,
              0.48817,
              0.61647,
              0.87147,
              1.37997
            ],
            [
              0.3863,
              0.4506,
              0.4902,
              0.5577,
              0.6861,
              0.9409,
              1.4493
            ]
          ]
        },
        "fall_transition,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00725,
            0.0145,
            0.029,
            0.05801,
            0.11602,
            0.23204
          ],
          "values": [
            [
              0.03458,
              0.06503,
              0.08888,
              0.133,
              0.21901,
              0.39471,
              0.75937
            ],
            [
              0.03457,
              0.06501,
              0.08886,
              0.133,
              0.21922,
              0.39465,
              0.7592
            ],
            [
              0.0346,
              0.06513,
              0.08891,
              0.1328,
              0.21896,
              0.3949,
              0.75923
            ],
            [
              0.03459,
              0.06515,
              0.08892,
              0.13302,
              0.21922,
              0.39448,
              0.75924
            ],
            [
              0.03458,
              0.06501,
              0.08888,
              0.13301,
              0.21902,
              0.39475,
              0.75932
            ],
            [
              0.03458,
              0.06507,
              0.08893,
              0.13311,
              0.21896,
              0.39465,
              0.7588
            ],
            [
              0.03459,
              0.06508,
              0.08893,
              0.13311,
              0.21873,
              0.39455,
              0.75916
            ],
            [
              0.03456,
              0.06512,
              0.08898,
              0.13316,
              0.21899,
              0.39489,
              0.75915
            ],
            [
              0.03455,
              0.06521,
              0.0891,
              0.13299,
              0.21927,
              0.39478,
              0.75858
            ],
            [
              0.03696,
              0.06653,
              0.09016,
              0.13364,
              0.21936,
              0.3945,
              0.759
            ],
            [
              0.04349,
              0.0731,
              0.0962,
              0.139,
              0.2226,
              0.396,
              0.7588
            ],
            [
              0.0525,
              0.0825,
              0.105,
              0.1469,
              0.2299,
              0.4012,
              0.7603
            ],
            [
              0.0639,
              0.096,
              0.118,
              0.1584,
              0.2392,
              0.4085,
              0.7651
            ]
          ]
        },
        "related_pin": "B1",
        "rise_transition,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00725,
            0.0145,
            0.029,
            0.05801,
            0.11602,
            0.23204
          ],
          "values": [
            [
              0.02379,
              0.06767,
              0.11222,
              0.20366,
              0.38747,
              0.75573,
              1.48813
            ],
            [
              0.0238,
              0.06767,
              0.1122,
              0.20308,
              0.38737,
              0.753,
              1.49172
            ],
            [
              0.02383,
              0.06776,
              0.11215,
              0.20366,
              0.38745,
              0.7549,
              1.48833
            ],
            [
              0.0238,
              0.06769,
              0.11227,
              0.20306,
              0.38743,
              0.75447,
              1.48849
            ],
            [
              0.0238,
              0.06779,
              0.11225,
              0.20322,
              0.38738,
              0.75533,
              1.49082
            ],
            [
              0.02385,
              0.06776,
              0.11236,
              0.20332,
              0.38705,
              0.75562,
              1.49173
            ],
            [
              0.02404,
              0.06806,
              0.11239,
              0.20325,
              0.38627,
              0.75521,
              1.48971
            ],
            [
              0.02578,
              0.06847,
              0.1126,
              0.20351,
              0.38711,
              0.75525,
              1.4906
            ],
            [
              0.02864,
              0.07065,
              0.11379,
              0.20343,
              0.3864,
              0.75524,
              1.49082
            ],
            [
              0.03305,
              0.07376,
              0.11606,
              0.20453,
              0.38662,
              0.75369,
              1.4923
            ],
            [
              0.03924,
              0.0786,
              0.11932,
              0.20686,
              0.38782,
              0.754,
              1.4904
            ],
            [
              0.0472,
              0.086,
              0.1246,
              0.2094,
              0.3889,
              0.7535,
              1.4887
            ],
            [
              0.0573,
              0.0975,
              0.1333,
              0.2139,
              0.3914,
              0.7559,
              1.4867
            ]
          ]
        },
        "sdf_cond": "(!A1&A2&!A3&A4)",
        "timing_sense": "positive_unate",
        "when": "(!A1&A2&!A3&A4)"
      },
      {
        "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.00725,
            0.0145,
            0.029,
            0.05801,
            0.11602,
            0.23204
          ],
          "values": [
            [
              0.19607,
              0.24045,
              0.26978,
              0.31631,
              0.39414,
              0.53543,
              0.80948
            ],
            [
              0.1981,
              0.24251,
              0.27184,
              0.3184,
              0.39623,
              0.53751,
              0.81156
            ],
            [
              0.20076,
              0.24518,
              0.27452,
              0.32104,
              0.39887,
              0.54008,
              0.81376
            ],
            [
              0.20509,
              0.24951,
              0.27885,
              0.3254,
              0.4032,
              0.54444,
              0.81849
            ],
            [
              0.21206,
              0.25643,
              0.28576,
              0.33232,
              0.41029,
              0.55129,
              0.82535
            ],
            [
              0.22311,
              0.26739,
              0.29668,
              0.34324,
              0.42121,
              0.56252,
              0.83653
            ],
            [
              0.24048,
              0.28471,
              0.31397,
              0.36052,
              0.43852,
              0.57992,
              0.85396
            ],
            [
              0.26784,
              0.31199,
              0.34123,
              0.38777,
              0.46582,
              0.60718,
              0.88106
            ],
            [
              0.30956,
              0.35357,
              0.38278,
              0.42937,
              0.50749,
              0.64882,
              0.92315
            ],
            [
              0.37064,
              0.41518,
              0.44451,
              0.49126,
              0.56949,
              0.71119,
              0.98539
            ],
            [
              0.44682,
              0.49522,
              0.52622,
              0.57472,
              0.65402,
              0.79602,
              1.07022
            ],
            [
              0.53857,
              0.59237,
              0.62557,
              0.67647,
              0.75867,
              0.90307,
              1.17747
            ],
            [
              0.6478,
              0.709,
              0.7455,
              0.7998,
              0.8849,
              1.0314,
              1.3085
            ]
          ]
        },
        "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.00725,
            0.0145,
            0.029,
            0.05801,
            0.11602,
            0.23204
          ],
          "values": [
            [
              0.0878,
              0.12831,
              0.16193,
              0.22646,
              0.35415,
              0.60847,
              1.11787
            ],
            [
              0.09086,
              0.13135,
              0.16497,
              0.22953,
              0.35725,
              0.61155,
              1.12094
            ],
            [
              0.09462,
              0.13508,
              0.16872,
              0.2333,
              0.36107,
              0.61531,
              1.12372
            ],
            [
              0.10018,
              0.14059,
              0.17425,
              0.23886,
              0.36662,
              0.62104,
              1.12928
            ],
            [
              0.10856,
              0.14889,
              0.18258,
              0.24721,
              0.37495,
              0.62961,
              1.13871
            ],
            [
              0.12126,
              0.16146,
              0.19511,
              0.25987,
              0.38771,
              0.64206,
              1.15122
            ],
            [
              0.14008,
              0.18012,
              0.21377,
              0.27856,
              0.40656,
              0.66148,
              1.17003
            ],
            [
              0.16575,
              0.2063,
              0.23996,
              0.30471,
              0.43298,
              0.68803,
              1.19766
            ],
            [
              0.19708,
              0.23945,
              0.27344,
              0.33837,
              0.46664,
              0.7218,
              1.23125
            ],
            [
              0.2347,
              0.27964,
              0.31425,
              0.37955,
              0.50777,
              0.76289,
              1.27209
            ],
            [
              0.27885,
              0.32792,
              0.36342,
              0.42904,
              0.55742,
              0.81192,
              1.32162
            ],
            [
              0.32957,
              0.38497,
              0.42197,
              0.48817,
              0.61647,
              0.87147,
              1.37997
            ],
            [
              0.3863,
              0.4506,
              0.4902,
              0.5577,
              0.6861,
              0.9413,
              1.4493
            ]
          ]
        },
        "fall_transition,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00725,
            0.0145,
            0.029,
            0.05801,
            0.11602,
            0.23204
          ],
          "values": [
            [
              0.03428,
              0.06465,
              0.08838,
              0.13251,
              0.21872,
              0.39435,
              0.7585
            ],
            [
              0.03428,
              0.06462,
              0.0884,
              0.13257,
              0.21821,
              0.39432,
              0.75859
            ],
            [
              0.03427,
              0.06463,
              0.08851,
              0.13251,
              0.2185,
              0.39437,
              0.75912
            ],
            [
              0.03428,
              0.06463,
              0.08843,
              0.13247,
              0.21875,
              0.39421,
              0.75869
            ],
            [
              0.03425,
              0.0646,
              0.08838,
              0.13231,
              0.21866,
              0.39422,
              0.75857
            ],
            [
              0.03427,
              0.06465,
              0.08844,
              0.13256,
              0.21842,
              0.39453,
              0.7584
            ],
            [
              0.03427,
              0.06475,
              0.08841,
              0.13248,
              0.21861,
              0.39457,
              0.75838
            ],
            [
              0.03427,
              0.06467,
              0.08848,
              0.13249,
              0.21865,
              0.39438,
              0.75921
            ],
            [
              0.03429,
              0.06478,
              0.08862,
              0.13241,
              0.2187,
              0.39411,
              0.7582
            ],
            [
              0.0368,
              0.06621,
              0.08962,
              0.13302,
              0.2188,
              0.39463,
              0.7581
            ],
            [
              0.04337,
              0.0729,
              0.0958,
              0.1382,
              0.2223,
              0.3957,
              0.7601
            ],
            [
              0.0523,
              0.0822,
              0.1047,
              0.1464,
              0.2295,
              0.401,
              0.7604
            ],
            [
              0.0637,
              0.0958,
              0.1177,
              0.158,
              0.2388,
              0.4083,
              0.7648
            ]
          ]
        },
        "related_pin": "B1",
        "rise_transition,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00725,
            0.0145,
            0.029,
            0.05801,
            0.11602,
            0.23204
          ],
          "values": [
            [
              0.0238,
              0.06766,
              0.11227,
              0.20308,
              0.38739,
              0.75308,
              1.48975
            ],
            [
              0.02379,
              0.06767,
              0.11219,
              0.20307,
              0.38741,
              0.75307,
              1.49011
            ],
            [
              0.02382,
              0.06772,
              0.11216,
              0.20367,
              0.38743,
              0.75315,
              1.48902
            ],
            [
              0.02379,
              0.06772,
              0.11218,
              0.20307,
              0.38737,
              0.75339,
              1.4885
            ],
            [
              0.02381,
              0.06779,
              0.11235,
              0.20341,
              0.38677,
              0.75547,
              1.49337
            ],
            [
              0.02384,
              0.06776,
              0.11237,
              0.20307,
              0.38724,
              0.75571,
              1.4904
            ],
            [
              0.02404,
              0.06787,
              0.11239,
              0.20334,
              0.38615,
              0.75524,
              1.4887
            ],
            [
              0.02578,
              0.06848,
              0.1126,
              0.20352,
              0.38711,
              0.75525,
              1.49062
            ],
            [
              0.02864,
              0.07066,
              0.11379,
              0.20343,
              0.38639,
              0.75318,
              1.49085
            ],
            [
              0.03305,
              0.07376,
              0.11606,
              0.20452,
              0.38664,
              0.75391,
              1.4923
            ],
            [
              0.03924,
              0.07859,
              0.11929,
              0.20688,
              0.38783,
              0.7542,
              1.4906
            ],
            [
              0.0472,
              0.086,
              0.1245,
              0.2094,
              0.3888,
              0.7534,
              1.4887
            ],
            [
              0.0573,
              0.0975,
              0.1333,
              0.214,
              0.3914,
              0.7559,
              1.4864
            ]
          ]
        },
        "sdf_cond": "(!A1&A2&A3&!A4)",
        "timing_sense": "positive_unate",
        "when": "(!A1&A2&A3&!A4)"
      },
      {
        "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.00725,
            0.0145,
            0.029,
            0.05801,
            0.11602,
            0.23204
          ],
          "values": [
            [
              0.25336,
              0.30597,
              0.34028,
              0.39353,
              0.47914,
              0.62684,
              0.90364
            ],
            [
              0.25485,
              0.30748,
              0.3418,
              0.39505,
              0.4807,
              0.6287,
              0.9054
            ],
            [
              0.25695,
              0.30959,
              0.34392,
              0.39719,
              0.48282,
              0.63076,
              0.90724
            ],
            [
              0.2605,
              0.31311,
              0.34745,
              0.40072,
              0.4864,
              0.63423,
              0.9108
            ],
            [
              0.26647,
              0.31908,
              0.3534,
              0.40663,
              0.49228,
              0.64021,
              0.91696
            ],
            [
              0.27618,
              0.3287,
              0.36298,
              0.41624,
              0.50192,
              0.64992,
              0.9267
            ],
            [
              0.29185,
              0.3443,
              0.37859,
              0.43185,
              0.51751,
              0.66551,
              0.94243
            ],
            [
              0.31662,
              0.36924,
              0.40348,
              0.45672,
              0.54236,
              0.69042,
              0.96756
            ],
            [
              0.3555,
              0.40787,
              0.44198,
              0.49519,
              0.58093,
              0.72898,
              1.00615
            ],
            [
              0.4151,
              0.46709,
              0.5012,
              0.55439,
              0.64019,
              0.78839,
              1.06529
            ],
            [
              0.49702,
              0.55112,
              0.58592,
              0.63962,
              0.72572,
              0.87422,
              1.15122
            ],
            [
              0.59617,
              0.65467,
              0.69117,
              0.74717,
              0.83617,
              0.98647,
              1.26397
            ],
            [
              0.7147,
              0.7802,
              0.8197,
              0.8784,
              0.9697,
              1.1228,
              1.4037
            ]
          ]
        },
        "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.00725,
            0.0145,
            0.029,
            0.05801,
            0.11602,
            0.23204
          ],
          "values": [
            [
              0.08784,
              0.12834,
              0.16198,
              0.22652,
              0.35417,
              0.60863,
              1.11677
            ],
            [
              0.09099,
              0.13148,
              0.16511,
              0.22968,
              0.35734,
              0.61173,
              1.12064
            ],
            [
              0.0947,
              0.13517,
              0.16883,
              0.23345,
              0.36104,
              0.61555,
              1.12352
            ],
            [
              0.10036,
              0.14081,
              0.17447,
              0.23913,
              0.36652,
              0.62155,
              1.13048
            ],
            [
              0.10885,
              0.14918,
              0.18284,
              0.24755,
              0.37531,
              0.62954,
              1.13721
            ],
            [
              0.12157,
              0.16178,
              0.19544,
              0.26017,
              0.38808,
              0.64259,
              1.15222
            ],
            [
              0.14049,
              0.18055,
              0.21412,
              0.27903,
              0.40671,
              0.66187,
              1.17033
            ],
            [
              0.16628,
              0.2068,
              0.24048,
              0.30529,
              0.43351,
              0.68854,
              1.19756
            ],
            [
              0.19774,
              0.24006,
              0.27406,
              0.33898,
              0.46723,
              0.72217,
              1.23185
            ],
            [
              0.23536,
              0.28023,
              0.31487,
              0.38016,
              0.50838,
              0.76309,
              1.27259
            ],
            [
              0.27952,
              0.32853,
              0.36405,
              0.42967,
              0.55802,
              0.81252,
              1.32182
            ],
            [
              0.32997,
              0.38527,
              0.42227,
              0.48857,
              0.61707,
              0.87177,
              1.38027
            ],
            [
              0.386,
              0.4504,
              0.49,
              0.5575,
              0.6858,
              0.9413,
              1.4491
            ]
          ]
        },
        "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.00725,
            0.0145,
            0.029,
            0.05801,
            0.11602,
            0.23204
          ],
          "values": [
            [
              0.0439,
              0.07858,
              0.10441,
              0.1504,
              0.23706,
              0.40908,
              0.76676
            ],
            [
              0.0439,
              0.07859,
              0.10445,
              0.15078,
              0.23674,
              0.40941,
              0.7667
            ],
            [
              0.0439,
              0.0786,
              0.10444,
              0.15075,
              0.23701,
              0.40937,
              0.76624
            ],
            [
              0.0439,
              0.07872,
              0.10447,
              0.15033,
              0.23674,
              0.40941,
              0.76611
            ],
            [
              0.0439,
              0.07872,
              0.10445,
              0.15035,
              0.23689,
              0.40947,
              0.76629
            ],
            [
              0.04391,
              0.07864,
              0.10456,
              0.15047,
              0.23679,
              0.40939,
              0.76635
            ],
            [
              0.0439,
              0.07861,
              0.10464,
              0.15062,
              0.23687,
              0.40948,
              0.76646
            ],
            [
              0.04389,
              0.07861,
              0.10467,
              0.15081,
              0.23676,
              0.40941,
              0.76695
            ],
            [
              0.04385,
              0.07856,
              0.10471,
              0.15049,
              0.23682,
              0.40926,
              0.76705
            ],
            [
              0.04369,
              0.07888,
              0.10471,
              0.15063,
              0.2369,
              0.40935,
              0.7665
            ],
            [
              0.0493,
              0.0829,
              0.1082,
              0.153,
              0.2382,
              0.41,
              0.7664
            ],
            [
              0.0583,
              0.0917,
              0.1163,
              0.1612,
              0.246,
              0.4148,
              0.768
            ],
            [
              0.0702,
              0.1047,
              0.1286,
              0.1715,
              0.2542,
              0.4231,
              0.7745
            ]
          ]
        },
        "related_pin": "B1",
        "rise_transition,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00725,
            0.0145,
            0.029,
            0.05801,
            0.11602,
            0.23204
          ],
          "values": [
            [
              0.0238,
              0.06768,
              0.11233,
              0.20325,
              0.38618,
              0.75344,
              1.48906
            ],
            [
              0.02381,
              0.06766,
              0.11222,
              0.20308,
              0.38741,
              0.75323,
              1.49038
            ],
            [
              0.02383,
              0.06772,
              0.11224,
              0.20307,
              0.38741,
              0.75364,
              1.48898
            ],
            [
              0.02379,
              0.06769,
              0.11228,
              0.20282,
              0.3875,
              0.7548,
              1.48987
            ],
            [
              0.02382,
              0.06774,
              0.1122,
              0.20309,
              0.38735,
              0.75579,
              1.48908
            ],
            [
              0.02383,
              0.06769,
              0.11235,
              0.20309,
              0.38686,
              0.7556,
              1.49002
            ],
            [
              0.02403,
              0.06779,
              0.11218,
              0.20302,
              0.38651,
              0.75523,
              1.48867
            ],
            [
              0.02571,
              0.06849,
              0.11257,
              0.20337,
              0.38684,
              0.75511,
              1.48947
            ],
            [
              0.02857,
              0.07062,
              0.11384,
              0.20338,
              0.38616,
              0.75583,
              1.49075
            ],
            [
              0.03297,
              0.07367,
              0.11603,
              0.20457,
              0.38682,
              0.75376,
              1.4924
            ],
            [
              0.03915,
              0.07843,
              0.11924,
              0.20674,
              0.3878,
              0.7542,
              1.4912
            ],
            [
              0.0472,
              0.0859,
              0.1245,
              0.2096,
              0.3889,
              0.7535,
              1.4886
            ],
            [
              0.0572,
              0.0974,
              0.1333,
              0.2141,
              0.3914,
              0.7559,
              1.4862
            ]
          ]
        },
        "sdf_cond": "(!A1&A2&A3&A4)",
        "timing_sense": "positive_unate",
        "when": "(!A1&A2&A3&A4)"
      },
      {
        "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.00725,
            0.0145,
            0.029,
            0.05801,
            0.11602,
            0.23204
          ],
          "values": [
            [
              0.21157,
              0.25473,
              0.28334,
              0.32903,
              0.40615,
              0.54711,
              0.82149
            ],
            [
              0.21392,
              0.25709,
              0.28569,
              0.33139,
              0.40855,
              0.54951,
              0.82366
            ],
            [
              0.21688,
              0.26005,
              0.28867,
              0.33434,
              0.41146,
              0.55248,
              0.82684
            ],
            [
              0.22152,
              0.26469,
              0.2933,
              0.33899,
              0.41614,
              0.55709,
              0.83147
            ],
            [
              0.22883,
              0.27193,
              0.30055,
              0.34623,
              0.42336,
              0.56427,
              0.83871
            ],
            [
              0.24018,
              0.28325,
              0.31186,
              0.35755,
              0.43473,
              0.57556,
              0.84983
            ],
            [
              0.25818,
              0.30123,
              0.3298,
              0.3755,
              0.45269,
              0.59365,
              0.86774
            ],
            [
              0.28572,
              0.32871,
              0.35723,
              0.40291,
              0.48009,
              0.62093,
              0.89536
            ],
            [
              0.32788,
              0.3708,
              0.39928,
              0.44495,
              0.52217,
              0.6631,
              0.93725
            ],
            [
              0.39171,
              0.43437,
              0.46303,
              0.50877,
              0.5861,
              0.72729,
              1.00159
            ],
            [
              0.47482,
              0.52102,
              0.55082,
              0.59762,
              0.67552,
              0.81692,
              1.09132
            ],
            [
              0.57567,
              0.62677,
              0.65867,
              0.70787,
              0.78847,
              0.93157,
              1.20637
            ],
            [
              0.6959,
              0.7541,
              0.789,
              0.8413,
              0.9246,
              1.0698,
              1.3464
            ]
          ]
        },
        "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.00725,
            0.0145,
            0.029,
            0.05801,
            0.11602,
            0.23204
          ],
          "values": [
            [
              0.09255,
              0.13693,
              0.17146,
              0.23634,
              0.36407,
              0.61875,
              1.12767
            ],
            [
              0.09559,
              0.13998,
              0.17453,
              0.23938,
              0.36704,
              0.62179,
              1.13094
            ],
            [
              0.09933,
              0.14366,
              0.17827,
              0.24318,
              0.37083,
              0.62547,
              1.13462
            ],
            [
              0.10487,
              0.14919,
              0.18379,
              0.24874,
              0.37667,
              0.63035,
              1.13958
            ],
            [
              0.11323,
              0.15743,
              0.19199,
              0.25701,
              0.38481,
              0.63921,
              1.14661
            ],
            [
              0.12588,
              0.16992,
              0.20447,
              0.26955,
              0.39763,
              0.65201,
              1.16032
            ],
            [
              0.14473,
              0.18854,
              0.22314,
              0.28832,
              0.41626,
              0.67108,
              1.17963
            ],
            [
              0.17078,
              0.21519,
              0.24984,
              0.31506,
              0.4431,
              0.69811,
              1.20726
            ],
            [
              0.20292,
              0.25002,
              0.28508,
              0.35047,
              0.47868,
              0.73338,
              1.24295
            ],
            [
              0.24146,
              0.29272,
              0.32884,
              0.39477,
              0.52294,
              0.77809,
              1.28599
            ],
            [
              0.28661,
              0.34419,
              0.38177,
              0.44852,
              0.57692,
              0.83182,
              1.34132
            ],
            [
              0.33847,
              0.40507,
              0.44507,
              0.51317,
              0.64197,
              0.89677,
              1.40487
            ],
            [
              0.3968,
              0.4754,
              0.5193,
              0.5898,
              0.7191,
              0.9741,
              1.4827
            ]
          ]
        },
        "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.00725,
            0.0145,
            0.029,
            0.05801,
            0.11602,
            0.23204
          ],
          "values": [
            [
              0.03347,
              0.06302,
              0.08637,
              0.13019,
              0.2161,
              0.39342,
              0.75856
            ],
            [
              0.03348,
              0.063,
              0.08643,
              0.13024,
              0.21613,
              0.39343,
              0.75918
            ],
            [
              0.03345,
              0.06306,
              0.08642,
              0.13016,
              0.21622,
              0.39353,
              0.75819
            ],
            [
              0.03346,
              0.06312,
              0.08641,
              0.13012,
              0.21654,
              0.39331,
              0.75802
            ],
            [
              0.03347,
              0.06302,
              0.08642,
              0.1301,
              0.2162,
              0.39328,
              0.75858
            ],
            [
              0.03348,
              0.06301,
              0.08657,
              0.13003,
              0.21617,
              0.39297,
              0.75915
            ],
            [
              0.03348,
              0.06315,
              0.08643,
              0.12996,
              0.21641,
              0.39338,
              0.75929
            ],
            [
              0.03345,
              0.06312,
              0.08649,
              0.13018,
              0.21653,
              0.39303,
              0.75903
            ],
            [
              0.03349,
              0.06325,
              0.08656,
              0.1302,
              0.21659,
              0.39299,
              0.75926
            ],
            [
              0.03433,
              0.06378,
              0.087,
              0.13054,
              0.21624,
              0.39358,
              0.759
            ],
            [
              0.0404,
              0.0693,
              0.0918,
              0.1341,
              0.2183,
              0.3941,
              0.7581
            ],
            [
              0.0486,
              0.0777,
              0.0999,
              0.1418,
              0.225,
              0.398,
              0.7595
            ],
            [
              0.0596,
              0.09,
              0.1117,
              0.152,
              0.2334,
              0.4048,
              0.7634
            ]
          ]
        },
        "related_pin": "B1",
        "rise_transition,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00725,
            0.0145,
            0.029,
            0.05801,
            0.11602,
            0.23204
          ],
          "values": [
            [
              0.02786,
              0.07091,
              0.1144,
              0.20408,
              0.38627,
              0.75495,
              1.48979
            ],
            [
              0.02782,
              0.07091,
              0.11415,
              0.20398,
              0.38705,
              0.75567,
              1.49015
            ],
            [
              0.0279,
              0.07085,
              0.11413,
              0.20403,
              0.38699,
              0.75603,
              1.49056
            ],
            [
              0.02785,
              0.07093,
              0.11424,
              0.20409,
              0.38737,
              0.75556,
              1.48899
            ],
            [
              0.02785,
              0.07095,
              0.11426,
              0.20402,
              0.38665,
              0.75639,
              1.48875
            ],
            [
              0.02792,
              0.07103,
              0.11425,
              0.20404,
              0.38731,
              0.75395,
              1.49001
            ],
            [
              0.0282,
              0.0712,
              0.11462,
              0.20404,
              0.3869,
              0.75412,
              1.48914
            ],
            [
              0.03011,
              0.07188,
              0.11481,
              0.20422,
              0.38681,
              0.75528,
              1.49046
            ],
            [
              0.0343,
              0.07455,
              0.11615,
              0.20463,
              0.38698,
              0.7557,
              1.48992
            ],
            [
              0.04013,
              0.07908,
              0.1195,
              0.20652,
              0.38711,
              0.75449,
              1.4881
            ],
            [
              0.04793,
              0.08591,
              0.12432,
              0.20887,
              0.38819,
              0.7538,
              1.4904
            ],
            [
              0.0577,
              0.0963,
              0.132,
              0.2135,
              0.3899,
              0.756,
              1.4893
            ],
            [
              0.0696,
              0.1117,
              0.1442,
              0.2207,
              0.3934,
              0.7557,
              1.4875
            ]
          ]
        },
        "sdf_cond": "(A1&!A2&!A3&!A4)",
        "timing_sense": "positive_unate",
        "when": "(A1&!A2&!A3&!A4)"
      },
      {
        "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.00725,
            0.0145,
            0.029,
            0.05801,
            0.11602,
            0.23204
          ],
          "values": [
            [
              0.2371,
              0.28339,
              0.31386,
              0.36196,
              0.44173,
              0.58471,
              0.85953
            ],
            [
              0.23921,
              0.28553,
              0.31601,
              0.36412,
              0.44386,
              0.58689,
              0.86192
            ],
            [
              0.24199,
              0.28829,
              0.31876,
              0.36688,
              0.44663,
              0.58961,
              0.86454
            ],
            [
              0.24633,
              0.29263,
              0.3231,
              0.37123,
              0.45099,
              0.59383,
              0.86879
            ],
            [
              0.25325,
              0.29948,
              0.33004,
              0.37816,
              0.4579,
              0.60095,
              0.87598
            ],
            [
              0.2641,
              0.3103,
              0.34077,
              0.38888,
              0.46864,
              0.61167,
              0.88672
            ],
            [
              0.28136,
              0.32755,
              0.35797,
              0.40609,
              0.48586,
              0.62877,
              0.90373
            ],
            [
              0.30794,
              0.35409,
              0.38426,
              0.43236,
              0.51215,
              0.65518,
              0.93016
            ],
            [
              0.34892,
              0.39499,
              0.42536,
              0.47344,
              0.55327,
              0.69635,
              0.97125
            ],
            [
              0.41158,
              0.45746,
              0.48777,
              0.53588,
              0.61575,
              0.75879,
              1.03379
            ],
            [
              0.49722,
              0.54552,
              0.57672,
              0.62542,
              0.70572,
              0.84902,
              1.12422
            ],
            [
              0.60127,
              0.65427,
              0.68737,
              0.73857,
              0.82147,
              0.96627,
              1.24187
            ],
            [
              0.7255,
              0.7855,
              0.8215,
              0.8755,
              0.961,
              1.1084,
              1.3861
            ]
          ]
        },
        "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.00725,
            0.0145,
            0.029,
            0.05801,
            0.11602,
            0.23204
          ],
          "values": [
            [
              0.09258,
              0.13693,
              0.17148,
              0.23634,
              0.36408,
              0.61843,
              1.12587
            ],
            [
              0.0957,
              0.14003,
              0.17466,
              0.2395,
              0.36712,
              0.62187,
              1.13094
            ],
            [
              0.09941,
              0.14374,
              0.17836,
              0.24324,
              0.3709,
              0.62554,
              1.13472
            ],
            [
              0.10498,
              0.14932,
              0.18388,
              0.24887,
              0.37661,
              0.63111,
              1.13878
            ],
            [
              0.11337,
              0.15757,
              0.19216,
              0.25725,
              0.38497,
              0.63948,
              1.14871
            ],
            [
              0.12606,
              0.17008,
              0.20469,
              0.26973,
              0.39759,
              0.65233,
              1.15962
            ],
            [
              0.14486,
              0.18878,
              0.22332,
              0.28848,
              0.41655,
              0.67088,
              1.17883
            ],
            [
              0.17097,
              0.21543,
              0.25006,
              0.31526,
              0.44326,
              0.69832,
              1.20606
            ],
            [
              0.20318,
              0.25028,
              0.28538,
              0.35069,
              0.47873,
              0.73382,
              1.24295
            ],
            [
              0.24171,
              0.29295,
              0.32907,
              0.39498,
              0.52317,
              0.77819,
              1.28609
            ],
            [
              0.28679,
              0.34436,
              0.38192,
              0.44872,
              0.57722,
              0.83212,
              1.34132
            ],
            [
              0.33857,
              0.40527,
              0.44517,
              0.51337,
              0.64217,
              0.89687,
              1.40507
            ],
            [
              0.3967,
              0.4752,
              0.5192,
              0.5897,
              0.719,
              0.974,
              1.4826
            ]
          ]
        },
        "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.00725,
            0.0145,
            0.029,
            0.05801,
            0.11602,
            0.23204
          ],
          "values": [
            [
              0.03706,
              0.06821,
              0.09227,
              0.13654,
              0.22289,
              0.398,
              0.76169
            ],
            [
              0.03708,
              0.06821,
              0.09226,
              0.13664,
              0.22264,
              0.39797,
              0.76137
            ],
            [
              0.03708,
              0.06821,
              0.09228,
              0.13682,
              0.2229,
              0.39784,
              0.7617
            ],
            [
              0.0371,
              0.06823,
              0.09229,
              0.13641,
              0.22289,
              0.39781,
              0.76118
            ],
            [
              0.03711,
              0.06822,
              0.09228,
              0.13653,
              0.22245,
              0.39801,
              0.76138
            ],
            [
              0.03709,
              0.06821,
              0.09228,
              0.13665,
              0.22291,
              0.39799,
              0.76126
            ],
            [
              0.03709,
              0.06823,
              0.09232,
              0.13656,
              0.22217,
              0.39754,
              0.76167
            ],
            [
              0.03708,
              0.06824,
              0.09247,
              0.13666,
              0.22245,
              0.39802,
              0.76061
            ],
            [
              0.03706,
              0.06828,
              0.0924,
              0.13654,
              0.22269,
              0.39794,
              0.76165
            ],
            [
              0.03722,
              0.06853,
              0.09278,
              0.13698,
              0.22262,
              0.39795,
              0.7616
            ],
            [
              0.0426,
              0.0729,
              0.0962,
              0.1392,
              0.2237,
              0.3983,
              0.7616
            ],
            [
              0.0509,
              0.0811,
              0.1044,
              0.1472,
              0.2306,
              0.4022,
              0.7623
            ],
            [
              0.062,
              0.0934,
              0.1158,
              0.1572,
              0.2389,
              0.4093,
              0.7657
            ]
          ]
        },
        "related_pin": "B1",
        "rise_transition,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00725,
            0.0145,
            0.029,
            0.05801,
            0.11602,
            0.23204
          ],
          "values": [
            [
              0.02782,
              0.0709,
              0.11418,
              0.20401,
              0.38641,
              0.75643,
              1.48877
            ],
            [
              0.02787,
              0.07089,
              0.11425,
              0.204,
              0.38719,
              0.75471,
              1.49034
            ],
            [
              0.02785,
              0.07086,
              0.11423,
              0.204,
              0.38701,
              0.75605,
              1.49049
            ],
            [
              0.02785,
              0.07083,
              0.11441,
              0.20413,
              0.38669,
              0.75376,
              1.48911
            ],
            [
              0.02786,
              0.0709,
              0.11416,
              0.20395,
              0.38652,
              0.75628,
              1.49075
            ],
            [
              0.0279,
              0.07101,
              0.11426,
              0.20402,
              0.38693,
              0.75598,
              1.48849
            ],
            [
              0.02816,
              0.07109,
              0.11435,
              0.20407,
              0.38641,
              0.75403,
              1.48824
            ],
            [
              0.03009,
              0.07188,
              0.11481,
              0.20424,
              0.38705,
              0.75487,
              1.48828
            ],
            [
              0.03426,
              0.07464,
              0.11616,
              0.20464,
              0.38741,
              0.75541,
              1.48971
            ],
            [
              0.04009,
              0.07905,
              0.11949,
              0.2063,
              0.38709,
              0.753,
              1.4883
            ],
            [
              0.04798,
              0.08589,
              0.12425,
              0.20891,
              0.38845,
              0.7535,
              1.4913
            ],
            [
              0.0577,
              0.0964,
              0.132,
              0.2134,
              0.3898,
              0.7559,
              1.4894
            ],
            [
              0.0696,
              0.1116,
              0.1442,
              0.2205,
              0.3934,
              0.7557,
              1.4875
            ]
          ]
        },
        "sdf_cond": "(A1&!A2&!A3&A4)",
        "timing_sense": "positive_unate",
        "when": "(A1&!A2&!A3&A4)"
      },
      {
        "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.00725,
            0.0145,
            0.029,
            0.05801,
            0.11602,
            0.23204
          ],
          "values": [
            [
              0.23273,
              0.27848,
              0.30861,
              0.35626,
              0.43554,
              0.57811,
              0.85295
            ],
            [
              0.23488,
              0.28064,
              0.31077,
              0.35846,
              0.43773,
              0.58018,
              0.85494
            ],
            [
              0.23767,
              0.28343,
              0.31358,
              0.36125,
              0.4405,
              0.58315,
              0.85801
            ],
            [
              0.24207,
              0.2878,
              0.31796,
              0.36563,
              0.44494,
              0.58752,
              0.86233
            ],
            [
              0.24903,
              0.29471,
              0.32495,
              0.37264,
              0.4519,
              0.59457,
              0.86944
            ],
            [
              0.25996,
              0.30562,
              0.33575,
              0.38344,
              0.46271,
              0.6052,
              0.88024
            ],
            [
              0.27733,
              0.32297,
              0.35307,
              0.40076,
              0.48004,
              0.62265,
              0.89743
            ],
            [
              0.30406,
              0.34966,
              0.37971,
              0.42716,
              0.50647,
              0.64911,
              0.92386
            ],
            [
              0.34517,
              0.39073,
              0.42076,
              0.46841,
              0.54775,
              0.69031,
              0.96515
            ],
            [
              0.40808,
              0.45342,
              0.48341,
              0.5311,
              0.61049,
              0.75329,
              1.02799
            ],
            [
              0.49322,
              0.54122,
              0.57222,
              0.62052,
              0.70032,
              0.84332,
              1.11832
            ],
            [
              0.59667,
              0.64937,
              0.68227,
              0.73307,
              0.81557,
              0.95997,
              1.23537
            ],
            [
              0.7202,
              0.7798,
              0.8157,
              0.8694,
              0.9544,
              1.1015,
              1.379
            ]
          ]
        },
        "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.00725,
            0.0145,
            0.029,
            0.05801,
            0.11602,
            0.23204
          ],
          "values": [
            [
              0.09257,
              0.13695,
              0.17148,
              0.23634,
              0.36404,
              0.61862,
              1.12777
            ],
            [
              0.09569,
              0.14002,
              0.17465,
              0.23949,
              0.36712,
              0.62187,
              1.13084
            ],
            [
              0.0994,
              0.14373,
              0.17833,
              0.24325,
              0.3709,
              0.62554,
              1.13472
            ],
            [
              0.10497,
              0.1493,
              0.18385,
              0.2488,
              0.37661,
              0.63128,
              1.13958
            ],
            [
              0.11335,
              0.15758,
              0.19217,
              0.25713,
              0.38514,
              0.63879,
              1.14801
            ],
            [
              0.12603,
              0.17005,
              0.20466,
              0.2697,
              0.39753,
              0.65232,
              1.16152
            ],
            [
              0.14482,
              0.18877,
              0.2233,
              0.28848,
              0.41661,
              0.6713,
              1.17913
            ],
            [
              0.17093,
              0.21538,
              0.25001,
              0.31522,
              0.44322,
              0.69833,
              1.20766
            ],
            [
              0.20313,
              0.25023,
              0.28533,
              0.35065,
              0.47872,
              0.73373,
              1.24315
            ],
            [
              0.24167,
              0.2929,
              0.32903,
              0.39494,
              0.52312,
              0.77829,
              1.28589
            ],
            [
              0.28676,
              0.34432,
              0.38189,
              0.44872,
              0.57712,
              0.83192,
              1.34142
            ],
            [
              0.33857,
              0.40527,
              0.44517,
              0.51327,
              0.64217,
              0.89687,
              1.40507
            ],
            [
              0.3967,
              0.4753,
              0.5192,
              0.5896,
              0.7191,
              0.9742,
              1.4827
            ]
          ]
        },
        "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.00725,
            0.0145,
            0.029,
            0.05801,
            0.11602,
            0.23204
          ],
          "values": [
            [
              0.03645,
              0.06732,
              0.09123,
              0.13541,
              0.22142,
              0.39695,
              0.76114
            ],
            [
              0.03645,
              0.0673,
              0.09125,
              0.13536,
              0.2217,
              0.39693,
              0.7609
            ],
            [
              0.03645,
              0.06739,
              0.09123,
              0.1354,
              0.22146,
              0.39712,
              0.76089
            ],
            [
              0.03643,
              0.06728,
              0.09124,
              0.1354,
              0.22102,
              0.39709,
              0.76107
            ],
            [
              0.03644,
              0.06729,
              0.09122,
              0.13545,
              0.22171,
              0.39716,
              0.76037
            ],
            [
              0.03645,
              0.06731,
              0.09139,
              0.13539,
              0.22103,
              0.39699,
              0.76007
            ],
            [
              0.03644,
              0.06739,
              0.09127,
              0.13532,
              0.22115,
              0.39708,
              0.76128
            ],
            [
              0.03645,
              0.06735,
              0.09141,
              0.13543,
              0.22167,
              0.39712,
              0.76059
            ],
            [
              0.03644,
              0.06736,
              0.09152,
              0.13538,
              0.22175,
              0.397,
              0.76125
            ],
            [
              0.03669,
              0.06767,
              0.09165,
              0.13548,
              0.2216,
              0.39721,
              0.7609
            ],
            [
              0.0422,
              0.0722,
              0.0955,
              0.1381,
              0.2231,
              0.3977,
              0.7601
            ],
            [
              0.0505,
              0.0806,
              0.1036,
              0.1463,
              0.2297,
              0.4012,
              0.7612
            ],
            [
              0.0616,
              0.0928,
              0.1151,
              0.1564,
              0.238,
              0.4086,
              0.7654
            ]
          ]
        },
        "related_pin": "B1",
        "rise_transition,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00725,
            0.0145,
            0.029,
            0.05801,
            0.11602,
            0.23204
          ],
          "values": [
            [
              0.02782,
              0.07092,
              0.11413,
              0.20401,
              0.38675,
              0.75609,
              1.49072
            ],
            [
              0.02787,
              0.07089,
              0.11425,
              0.204,
              0.38715,
              0.75514,
              1.49066
            ],
            [
              0.02785,
              0.07086,
              0.11413,
              0.20403,
              0.38696,
              0.75606,
              1.4907
            ],
            [
              0.02785,
              0.07094,
              0.11416,
              0.20402,
              0.38687,
              0.75539,
              1.49321
            ],
            [
              0.02783,
              0.07097,
              0.11427,
              0.20402,
              0.38735,
              0.75558,
              1.48883
            ],
            [
              0.0279,
              0.07101,
              0.11426,
              0.20403,
              0.38704,
              0.756,
              1.49072
            ],
            [
              0.02817,
              0.0712,
              0.11448,
              0.20416,
              0.38629,
              0.75439,
              1.48747
            ],
            [
              0.0301,
              0.07195,
              0.11481,
              0.20424,
              0.38703,
              0.75527,
              1.49082
            ],
            [
              0.03426,
              0.07458,
              0.11617,
              0.20464,
              0.38737,
              0.75564,
              1.49002
            ],
            [
              0.04009,
              0.07905,
              0.11949,
              0.2063,
              0.38713,
              0.75501,
              1.4885
            ],
            [
              0.04798,
              0.0859,
              0.12429,
              0.20884,
              0.38816,
              0.7538,
              1.4905
            ],
            [
              0.0577,
              0.0963,
              0.1321,
              0.2134,
              0.3898,
              0.7559,
              1.4894
            ],
            [
              0.0696,
              0.1116,
              0.1442,
              0.2203,
              0.3928,
              0.7558,
              1.4878
            ]
          ]
        },
        "sdf_cond": "(A1&!A2&A3&!A4)",
        "timing_sense": "positive_unate",
        "when": "(A1&!A2&A3&!A4)"
      },
      {
        "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.00725,
            0.0145,
            0.029,
            0.05801,
            0.11602,
            0.23204
          ],
          "values": [
            [
              0.30777,
              0.36242,
              0.3979,
              0.45285,
              0.54055,
              0.69069,
              0.96943
            ],
            [
              0.30944,
              0.3641,
              0.39961,
              0.45457,
              0.54226,
              0.69241,
              0.97117
            ],
            [
              0.3117,
              0.36636,
              0.40188,
              0.45682,
              0.54451,
              0.69459,
              0.97331
            ],
            [
              0.31534,
              0.37,
              0.40551,
              0.46044,
              0.54819,
              0.6982,
              0.97688
            ],
            [
              0.32135,
              0.37598,
              0.41151,
              0.46646,
              0.55417,
              0.70428,
              0.98301
            ],
            [
              0.33094,
              0.38552,
              0.42102,
              0.47598,
              0.56368,
              0.71384,
              0.99262
            ],
            [
              0.34643,
              0.40096,
              0.43645,
              0.49137,
              0.57902,
              0.72904,
              1.00773
            ],
            [
              0.37067,
              0.42518,
              0.46064,
              0.51554,
              0.60328,
              0.75345,
              1.03196
            ],
            [
              0.40868,
              0.4632,
              0.49861,
              0.55347,
              0.64122,
              0.79135,
              1.06985
            ],
            [
              0.46732,
              0.52175,
              0.55711,
              0.61195,
              0.69969,
              0.84999,
              1.12859
            ],
            [
              0.55572,
              0.61012,
              0.64532,
              0.70022,
              0.78802,
              0.93822,
              1.21712
            ],
            [
              0.66807,
              0.72637,
              0.76317,
              0.81977,
              0.90937,
              1.06037,
              1.33967
            ],
            [
              0.8029,
              0.8675,
              0.9067,
              0.9656,
              1.0576,
              1.2122,
              1.4935
            ]
          ]
        },
        "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.00725,
            0.0145,
            0.029,
            0.05801,
            0.11602,
            0.23204
          ],
          "values": [
            [
              0.09262,
              0.13701,
              0.17156,
              0.23641,
              0.36409,
              0.61882,
              1.12767
            ],
            [
              0.09577,
              0.1401,
              0.17473,
              0.23957,
              0.36721,
              0.62192,
              1.12924
            ],
            [
              0.09949,
              0.14386,
              0.1784,
              0.24336,
              0.37126,
              0.62493,
              1.13442
            ],
            [
              0.10515,
              0.14946,
              0.18405,
              0.24899,
              0.37673,
              0.6313,
              1.13967
            ],
            [
              0.11366,
              0.15786,
              0.19247,
              0.25743,
              0.38521,
              0.63979,
              1.14721
            ],
            [
              0.12636,
              0.17039,
              0.20499,
              0.27008,
              0.39785,
              0.65222,
              1.16222
            ],
            [
              0.14525,
              0.18914,
              0.22373,
              0.28889,
              0.41687,
              0.67176,
              1.18093
            ],
            [
              0.17148,
              0.21585,
              0.25053,
              0.31575,
              0.44373,
              0.69869,
              1.20766
            ],
            [
              0.2038,
              0.25085,
              0.28594,
              0.35123,
              0.4795,
              0.73445,
              1.24405
            ],
            [
              0.24237,
              0.29353,
              0.32965,
              0.39556,
              0.52376,
              0.77819,
              1.28689
            ],
            [
              0.28747,
              0.34494,
              0.3825,
              0.44932,
              0.57772,
              0.83262,
              1.34192
            ],
            [
              0.33897,
              0.40557,
              0.44557,
              0.51367,
              0.64247,
              0.89717,
              1.40537
            ],
            [
              0.3965,
              0.4751,
              0.519,
              0.5895,
              0.7188,
              0.9738,
              1.4825
            ]
          ]
        },
        "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.00725,
            0.0145,
            0.029,
            0.05801,
            0.11602,
            0.23204
          ],
          "values": [
            [
              0.04729,
              0.08271,
              0.10888,
              0.15539,
              0.24169,
              0.41406,
              0.77073
            ],
            [
              0.04728,
              0.0827,
              0.10894,
              0.15551,
              0.24174,
              0.41405,
              0.77079
            ],
            [
              0.04727,
              0.0827,
              0.109,
              0.15514,
              0.2418,
              0.41419,
              0.77045
            ],
            [
              0.04726,
              0.08271,
              0.10899,
              0.15517,
              0.2419,
              0.4138,
              0.77007
            ],
            [
              0.04727,
              0.08277,
              0.1091,
              0.15509,
              0.24177,
              0.41416,
              0.77059
            ],
            [
              0.04729,
              0.08272,
              0.10908,
              0.1555,
              0.24174,
              0.41404,
              0.77082
            ],
            [
              0.04729,
              0.08278,
              0.10911,
              0.15518,
              0.24188,
              0.41386,
              0.77004
            ],
            [
              0.0473,
              0.08271,
              0.10902,
              0.15515,
              0.24204,
              0.41409,
              0.76992
            ],
            [
              0.04727,
              0.08269,
              0.10905,
              0.15522,
              0.24186,
              0.41396,
              0.76972
            ],
            [
              0.04726,
              0.08271,
              0.10916,
              0.15523,
              0.242,
              0.4147,
              0.77
            ],
            [
              0.049,
              0.0836,
              0.1099,
              0.1557,
              0.2422,
              0.414,
              0.7702
            ],
            [
              0.0573,
              0.0911,
              0.1168,
              0.1621,
              0.2469,
              0.4161,
              0.7715
            ],
            [
              0.0689,
              0.1029,
              0.1273,
              0.1712,
              0.2558,
              0.4247,
              0.7763
            ]
          ]
        },
        "related_pin": "B1",
        "rise_transition,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00725,
            0.0145,
            0.029,
            0.05801,
            0.11602,
            0.23204
          ],
          "values": [
            [
              0.02783,
              0.07091,
              0.11429,
              0.20406,
              0.38674,
              0.75477,
              1.48973
            ],
            [
              0.02787,
              0.0709,
              0.11425,
              0.20401,
              0.38708,
              0.75549,
              1.48898
            ],
            [
              0.02783,
              0.07092,
              0.11419,
              0.20404,
              0.38737,
              0.75551,
              1.4892
            ],
            [
              0.02789,
              0.07087,
              0.11409,
              0.20399,
              0.38663,
              0.75374,
              1.48879
            ],
            [
              0.02785,
              0.07096,
              0.11417,
              0.20399,
              0.38694,
              0.75622,
              1.48898
            ],
            [
              0.02788,
              0.07096,
              0.11418,
              0.20412,
              0.38726,
              0.75399,
              1.49118
            ],
            [
              0.02813,
              0.07118,
              0.11425,
              0.20409,
              0.38677,
              0.75571,
              1.4899
            ],
            [
              0.03002,
              0.07183,
              0.1148,
              0.20422,
              0.38708,
              0.75411,
              1.48946
            ],
            [
              0.03417,
              0.07456,
              0.11613,
              0.20464,
              0.38684,
              0.75517,
              1.49086
            ],
            [
              0.03997,
              0.07905,
              0.11944,
              0.20622,
              0.38709,
              0.75386,
              1.488
            ],
            [
              0.04786,
              0.0858,
              0.12422,
              0.2088,
              0.38823,
              0.7536,
              1.4914
            ],
            [
              0.0576,
              0.0963,
              0.132,
              0.2135,
              0.3899,
              0.756,
              1.4894
            ],
            [
              0.0696,
              0.1117,
              0.144,
              0.2207,
              0.3934,
              0.7557,
              1.4876
            ]
          ]
        },
        "sdf_cond": "(A1&!A2&A3&A4)",
        "timing_sense": "positive_unate",
        "when": "(A1&!A2&A3&A4)"
      },
      {
        "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.00725,
            0.0145,
            0.029,
            0.05801,
            0.11602,
            0.23204
          ],
          "values": [
            [
              0.26039,
              0.30732,
              0.33813,
              0.38674,
              0.46713,
              0.61079,
              0.88634
            ],
            [
              0.2626,
              0.30956,
              0.34037,
              0.38899,
              0.46936,
              0.61317,
              0.88901
            ],
            [
              0.26543,
              0.31239,
              0.34321,
              0.39184,
              0.47221,
              0.61602,
              0.8919
            ],
            [
              0.26989,
              0.31683,
              0.34765,
              0.39627,
              0.47667,
              0.62043,
              0.89619
            ],
            [
              0.27699,
              0.32387,
              0.3547,
              0.40333,
              0.48371,
              0.62737,
              0.90326
            ],
            [
              0.28804,
              0.33488,
              0.36567,
              0.41429,
              0.49467,
              0.63865,
              0.91453
            ],
            [
              0.30512,
              0.35195,
              0.38273,
              0.43133,
              0.51172,
              0.65534,
              0.93113
            ],
            [
              0.33196,
              0.37881,
              0.40955,
              0.45814,
              0.53853,
              0.68219,
              0.95816
            ],
            [
              0.37268,
              0.41966,
              0.45021,
              0.49876,
              0.57917,
              0.72288,
              0.99855
            ],
            [
              0.43551,
              0.48212,
              0.51278,
              0.56133,
              0.64179,
              0.78549,
              1.06149
            ],
            [
              0.52622,
              0.57412,
              0.60512,
              0.65372,
              0.73432,
              0.87822,
              1.15422
            ],
            [
              0.63857,
              0.69067,
              0.72347,
              0.77437,
              0.85707,
              1.00187,
              1.27797
            ],
            [
              0.7733,
              0.8318,
              0.8672,
              0.9208,
              1.0059,
              1.1535,
              1.4313
            ]
          ]
        },
        "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.00725,
            0.0145,
            0.029,
            0.05801,
            0.11602,
            0.23204
          ],
          "values": [
            [
              0.09262,
              0.14176,
              0.17846,
              0.2445,
              0.37228,
              0.62699,
              1.13427
            ],
            [
              0.09573,
              0.14487,
              0.18161,
              0.24773,
              0.37545,
              0.62995,
              1.13814
            ],
            [
              0.09944,
              0.14856,
              0.1853,
              0.25142,
              0.37915,
              0.63373,
              1.14192
            ],
            [
              0.10501,
              0.15408,
              0.19085,
              0.25704,
              0.38488,
              0.63926,
              1.14777
            ],
            [
              0.1134,
              0.16237,
              0.19912,
              0.26529,
              0.39317,
              0.64778,
              1.15511
            ],
            [
              0.12609,
              0.17487,
              0.21161,
              0.27787,
              0.40573,
              0.66037,
              1.16782
            ],
            [
              0.14486,
              0.19347,
              0.23027,
              0.29666,
              0.42478,
              0.67938,
              1.18803
            ],
            [
              0.17098,
              0.22001,
              0.25689,
              0.32333,
              0.45169,
              0.70642,
              1.21546
            ],
            [
              0.20312,
              0.25523,
              0.29259,
              0.35928,
              0.48769,
              0.74187,
              1.25175
            ],
            [
              0.24161,
              0.29866,
              0.33763,
              0.40512,
              0.53355,
              0.78839,
              1.29789
            ],
            [
              0.28666,
              0.35115,
              0.39239,
              0.46142,
              0.59042,
              0.84542,
              1.35462
            ],
            [
              0.33847,
              0.41347,
              0.45827,
              0.52957,
              0.65957,
              0.91437,
              1.42207
            ],
            [
              0.3965,
              0.4849,
              0.5355,
              0.6107,
              0.7419,
              0.9973,
              1.5056
            ]
          ]
        },
        "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.00725,
            0.0145,
            0.029,
            0.05801,
            0.11602,
            0.23204
          ],
          "values": [
            [
              0.0383,
              0.06958,
              0.09373,
              0.13801,
              0.22384,
              0.39906,
              0.76307
            ],
            [
              0.03829,
              0.06957,
              0.09369,
              0.13791,
              0.22379,
              0.39966,
              0.76196
            ],
            [
              0.03828,
              0.06957,
              0.0937,
              0.13794,
              0.22382,
              0.39967,
              0.7623
            ],
            [
              0.03829,
              0.06956,
              0.09374,
              0.13786,
              0.22415,
              0.39943,
              0.76334
            ],
            [
              0.03831,
              0.06962,
              0.09367,
              0.13779,
              0.22381,
              0.39947,
              0.76239
            ],
            [
              0.03829,
              0.06957,
              0.09371,
              0.13796,
              0.22414,
              0.39967,
              0.76227
            ],
            [
              0.0383,
              0.06959,
              0.09368,
              0.13776,
              0.22373,
              0.3992,
              0.76292
            ],
            [
              0.03828,
              0.06958,
              0.09373,
              0.13796,
              0.22382,
              0.39922,
              0.76331
            ],
            [
              0.03828,
              0.06959,
              0.09371,
              0.13804,
              0.22387,
              0.39905,
              0.763
            ],
            [
              0.03818,
              0.06961,
              0.09381,
              0.1379,
              0.22376,
              0.39915,
              0.7623
            ],
            [
              0.0418,
              0.072,
              0.0954,
              0.1391,
              0.2245,
              0.3996,
              0.7626
            ],
            [
              0.0496,
              0.0799,
              0.1029,
              0.146,
              0.2295,
              0.4022,
              0.7625
            ],
            [
              0.0601,
              0.091,
              0.1135,
              0.1552,
              0.2379,
              0.4089,
              0.7669
            ]
          ]
        },
        "related_pin": "B1",
        "rise_transition,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00725,
            0.0145,
            0.029,
            0.05801,
            0.11602,
            0.23204
          ],
          "values": [
            [
              0.02847,
              0.07665,
              0.11921,
              0.20662,
              0.38756,
              0.75471,
              1.4884
            ],
            [
              0.02849,
              0.07664,
              0.1194,
              0.20661,
              0.38791,
              0.75492,
              1.4869
            ],
            [
              0.02846,
              0.07666,
              0.11925,
              0.20665,
              0.38796,
              0.75486,
              1.48686
            ],
            [
              0.02847,
              0.07668,
              0.11894,
              0.20653,
              0.38693,
              0.75302,
              1.48842
            ],
            [
              0.02848,
              0.0767,
              0.11925,
              0.20661,
              0.38751,
              0.75483,
              1.48844
            ],
            [
              0.02853,
              0.07683,
              0.11932,
              0.20666,
              0.38789,
              0.755,
              1.48843
            ],
            [
              0.02871,
              0.07708,
              0.11932,
              0.20646,
              0.3868,
              0.75316,
              1.48834
            ],
            [
              0.03062,
              0.07774,
              0.11984,
              0.20687,
              0.38731,
              0.75303,
              1.49037
            ],
            [
              0.03478,
              0.08082,
              0.12164,
              0.20754,
              0.38699,
              0.75516,
              1.49017
            ],
            [
              0.04067,
              0.08679,
              0.12618,
              0.20975,
              0.38811,
              0.75448,
              1.4907
            ],
            [
              0.04839,
              0.09559,
              0.13314,
              0.21372,
              0.38913,
              0.7531,
              1.4895
            ],
            [
              0.0581,
              0.1085,
              0.1438,
              0.22,
              0.3925,
              0.756,
              1.4894
            ],
            [
              0.0701,
              0.1271,
              0.1604,
              0.231,
              0.3975,
              0.7562,
              1.4878
            ]
          ]
        },
        "sdf_cond": "(A1&A2&!A3&!A4)",
        "timing_sense": "positive_unate",
        "when": "(A1&A2&!A3&!A4)"
      },
      {
        "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.00725,
            0.0145,
            0.029,
            0.05801,
            0.11602,
            0.23204
          ],
          "values": [
            [
              0.34048,
              0.39576,
              0.43158,
              0.48692,
              0.5752,
              0.72599,
              1.00557
            ],
            [
              0.34226,
              0.39757,
              0.43336,
              0.48873,
              0.577,
              0.72774,
              1.00734
            ],
            [
              0.34464,
              0.39994,
              0.43577,
              0.49112,
              0.57941,
              0.7302,
              1.00982
            ],
            [
              0.34848,
              0.40376,
              0.43959,
              0.49495,
              0.58325,
              0.73411,
              1.01378
            ],
            [
              0.35472,
              0.40995,
              0.44575,
              0.50114,
              0.58941,
              0.74015,
              1.01971
            ],
            [
              0.36461,
              0.41982,
              0.45562,
              0.51097,
              0.59927,
              0.75014,
              1.02982
            ],
            [
              0.38016,
              0.43534,
              0.47111,
              0.52649,
              0.61475,
              0.76552,
              1.04523
            ],
            [
              0.4046,
              0.45977,
              0.49553,
              0.55085,
              0.63913,
              0.79,
              1.06966
            ],
            [
              0.44226,
              0.49742,
              0.53317,
              0.58844,
              0.67672,
              0.82765,
              1.10735
            ],
            [
              0.50062,
              0.55577,
              0.59148,
              0.64669,
              0.73499,
              0.88579,
              1.16539
            ],
            [
              0.59062,
              0.64532,
              0.68092,
              0.73612,
              0.82442,
              0.97532,
              1.25512
            ],
            [
              0.71167,
              0.76927,
              0.80587,
              0.86227,
              0.95137,
              1.10267,
              1.38207
            ],
            [
              0.8577,
              0.921,
              0.9596,
              1.0181,
              1.1099,
              1.2644,
              1.5456
            ]
          ]
        },
        "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.00725,
            0.0145,
            0.029,
            0.05801,
            0.11602,
            0.23204
          ],
          "values": [
            [
              0.09267,
              0.14178,
              0.17851,
              0.24461,
              0.37227,
              0.62671,
              1.13577
            ],
            [
              0.09581,
              0.14495,
              0.18169,
              0.24781,
              0.37556,
              0.62993,
              1.13844
            ],
            [
              0.09953,
              0.14864,
              0.1854,
              0.25155,
              0.37928,
              0.63355,
              1.14282
            ],
            [
              0.10521,
              0.15427,
              0.19101,
              0.25716,
              0.38498,
              0.63963,
              1.14708
            ],
            [
              0.1137,
              0.16267,
              0.19942,
              0.2656,
              0.39348,
              0.64819,
              1.15541
            ],
            [
              0.12639,
              0.17518,
              0.21193,
              0.27825,
              0.40624,
              0.66073,
              1.16862
            ],
            [
              0.14526,
              0.19387,
              0.23067,
              0.29706,
              0.42509,
              0.67985,
              1.18803
            ],
            [
              0.17149,
              0.2205,
              0.25741,
              0.3239,
              0.45198,
              0.70676,
              1.21536
            ],
            [
              0.20374,
              0.25579,
              0.29314,
              0.35983,
              0.48823,
              0.74254,
              1.25245
            ],
            [
              0.24225,
              0.29923,
              0.33818,
              0.40569,
              0.53413,
              0.78889,
              1.29849
            ],
            [
              0.28733,
              0.35172,
              0.39294,
              0.46202,
              0.59092,
              0.84592,
              1.35512
            ],
            [
              0.33887,
              0.41367,
              0.45857,
              0.52987,
              0.65977,
              0.91457,
              1.42247
            ],
            [
              0.3963,
              0.4847,
              0.5354,
              0.6106,
              0.7417,
              0.9972,
              1.5055
            ]
          ]
        },
        "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.00725,
            0.0145,
            0.029,
            0.05801,
            0.11602,
            0.23204
          ],
          "values": [
            [
              0.04872,
              0.08414,
              0.1104,
              0.15653,
              0.2433,
              0.41552,
              0.77214
            ],
            [
              0.04866,
              0.08418,
              0.11037,
              0.15677,
              0.24315,
              0.41546,
              0.77183
            ],
            [
              0.04868,
              0.08415,
              0.11051,
              0.15652,
              0.24347,
              0.41549,
              0.77206
            ],
            [
              0.04869,
              0.08414,
              0.1104,
              0.15686,
              0.24309,
              0.41559,
              0.7726
            ],
            [
              0.04863,
              0.08433,
              0.11038,
              0.15686,
              0.24316,
              0.41548,
              0.77189
            ],
            [
              0.04868,
              0.08414,
              0.1104,
              0.1565,
              0.24285,
              0.4155,
              0.7727
            ],
            [
              0.04864,
              0.08416,
              0.11037,
              0.15687,
              0.24315,
              0.41564,
              0.77213
            ],
            [
              0.04864,
              0.0842,
              0.11051,
              0.15654,
              0.24312,
              0.41562,
              0.77257
            ],
            [
              0.04865,
              0.08413,
              0.11042,
              0.15654,
              0.24323,
              0.4156,
              0.77264
            ],
            [
              0.04864,
              0.08415,
              0.11051,
              0.15665,
              0.24333,
              0.4153,
              0.7717
            ],
            [
              0.0486,
              0.0842,
              0.1105,
              0.1567,
              0.2435,
              0.4156,
              0.7725
            ],
            [
              0.0559,
              0.0902,
              0.1156,
              0.1609,
              0.246,
              0.4167,
              0.7718
            ],
            [
              0.0667,
              0.1005,
              0.1251,
              0.1698,
              0.2548,
              0.4241,
              0.7756
            ]
          ]
        },
        "related_pin": "B1",
        "rise_transition,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00725,
            0.0145,
            0.029,
            0.05801,
            0.11602,
            0.23204
          ],
          "values": [
            [
              0.02851,
              0.07658,
              0.11894,
              0.20651,
              0.38757,
              0.75285,
              1.48613
            ],
            [
              0.02847,
              0.07664,
              0.11894,
              0.2065,
              0.38766,
              0.75505,
              1.4881
            ],
            [
              0.02847,
              0.07667,
              0.11896,
              0.20652,
              0.38756,
              0.75307,
              1.49073
            ],
            [
              0.0285,
              0.07657,
              0.1192,
              0.20661,
              0.38755,
              0.75444,
              1.48822
            ],
            [
              0.02847,
              0.0767,
              0.11927,
              0.20663,
              0.38755,
              0.75455,
              1.48846
            ],
            [
              0.02852,
              0.07664,
              0.11937,
              0.20655,
              0.3869,
              0.753,
              1.48785
            ],
            [
              0.02877,
              0.07705,
              0.11932,
              0.20659,
              0.38795,
              0.75495,
              1.48707
            ],
            [
              0.03054,
              0.07771,
              0.11973,
              0.20682,
              0.38748,
              0.75345,
              1.48679
            ],
            [
              0.0347,
              0.08075,
              0.12146,
              0.20758,
              0.38706,
              0.75509,
              1.49009
            ],
            [
              0.04055,
              0.0867,
              0.12619,
              0.20974,
              0.38804,
              0.75473,
              1.4907
            ],
            [
              0.04829,
              0.09545,
              0.13302,
              0.21364,
              0.38906,
              0.7532,
              1.4893
            ],
            [
              0.0581,
              0.1084,
              0.1438,
              0.22,
              0.3925,
              0.7564,
              1.4893
            ],
            [
              0.0702,
              0.1271,
              0.1603,
              0.2311,
              0.3976,
              0.7562,
              1.4877
            ]
          ]
        },
        "sdf_cond": "(A1&A2&!A3&A4)",
        "timing_sense": "positive_unate",
        "when": "(A1&A2&!A3&A4)"
      },
      {
        "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.00725,
            0.0145,
            0.029,
            0.05801,
            0.11602,
            0.23204
          ],
          "values": [
            [
              0.3583,
              0.4137,
              0.44951,
              0.50486,
              0.59319,
              0.74426,
              1.02467
            ],
            [
              0.36013,
              0.41557,
              0.4514,
              0.50674,
              0.59508,
              0.74621,
              1.02654
            ],
            [
              0.36263,
              0.41803,
              0.45383,
              0.50922,
              0.59755,
              0.74863,
              1.02882
            ],
            [
              0.36661,
              0.42201,
              0.45781,
              0.51319,
              0.60154,
              0.7526,
              1.03288
            ],
            [
              0.373,
              0.42837,
              0.46418,
              0.51954,
              0.60789,
              0.75902,
              1.03941
            ],
            [
              0.3831,
              0.43843,
              0.47425,
              0.52959,
              0.61794,
              0.76906,
              1.04942
            ],
            [
              0.39894,
              0.45424,
              0.49002,
              0.54553,
              0.63387,
              0.78488,
              1.06533
            ],
            [
              0.42377,
              0.47909,
              0.51485,
              0.5702,
              0.65853,
              0.80965,
              1.08996
            ],
            [
              0.46182,
              0.5173,
              0.55303,
              0.60819,
              0.69651,
              0.84765,
              1.12805
            ],
            [
              0.52075,
              0.57563,
              0.61133,
              0.66659,
              0.75489,
              0.90589,
              1.18609
            ],
            [
              0.61112,
              0.66612,
              0.70162,
              0.75682,
              0.84502,
              0.99612,
              1.27652
            ],
            [
              0.73807,
              0.79517,
              0.83147,
              0.88727,
              0.97587,
              1.12707,
              1.40717
            ],
            [
              0.8923,
              0.9545,
              0.9927,
              1.0507,
              1.142,
              1.2959,
              1.5773
            ]
          ]
        },
        "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.00725,
            0.0145,
            0.029,
            0.05801,
            0.11602,
            0.23204
          ],
          "values": [
            [
              0.09265,
              0.14272,
              0.18205,
              0.25062,
              0.37931,
              0.63363,
              1.14277
            ],
            [
              0.09579,
              0.14587,
              0.18524,
              0.25381,
              0.38248,
              0.63651,
              1.14564
            ],
            [
              0.09953,
              0.14956,
              0.18893,
              0.25755,
              0.38626,
              0.64059,
              1.14972
            ],
            [
              0.10518,
              0.15518,
              0.19459,
              0.26322,
              0.39195,
              0.64604,
              1.15478
            ],
            [
              0.11366,
              0.16356,
              0.20297,
              0.27166,
              0.40042,
              0.65448,
              1.16351
            ],
            [
              0.12636,
              0.17605,
              0.21543,
              0.28423,
              0.4131,
              0.66724,
              1.17572
            ],
            [
              0.14522,
              0.1947,
              0.23413,
              0.30299,
              0.43206,
              0.68635,
              1.19523
            ],
            [
              0.17143,
              0.22122,
              0.26077,
              0.3298,
              0.45901,
              0.7134,
              1.22266
            ],
            [
              0.20366,
              0.25646,
              0.29645,
              0.36579,
              0.49512,
              0.74983,
              1.25875
            ],
            [
              0.24216,
              0.29989,
              0.34181,
              0.41213,
              0.54179,
              0.79679,
              1.30519
            ],
            [
              0.28723,
              0.35237,
              0.39707,
              0.46972,
              0.60012,
              0.85492,
              1.36402
            ],
            [
              0.33877,
              0.41437,
              0.46337,
              0.53927,
              0.67117,
              0.92637,
              1.43437
            ],
            [
              0.3963,
              0.4853,
              0.5413,
              0.6225,
              0.7569,
              1.0126,
              1.521
            ]
          ]
        },
        "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.00725,
            0.0145,
            0.029,
            0.05801,
            0.11602,
            0.23204
          ],
          "values": [
            [
              0.04917,
              0.08448,
              0.11062,
              0.15658,
              0.24318,
              0.41662,
              0.7738
            ],
            [
              0.0492,
              0.08451,
              0.11062,
              0.15663,
              0.24342,
              0.41613,
              0.77392
            ],
            [
              0.04917,
              0.08468,
              0.11059,
              0.15695,
              0.24349,
              0.4161,
              0.77332
            ],
            [
              0.04916,
              0.08468,
              0.1106,
              0.15695,
              0.24352,
              0.41612,
              0.7733
            ],
            [
              0.04918,
              0.08453,
              0.11072,
              0.15663,
              0.24342,
              0.41615,
              0.77388
            ],
            [
              0.04921,
              0.08451,
              0.11062,
              0.15659,
              0.24301,
              0.41598,
              0.77392
            ],
            [
              0.04923,
              0.08449,
              0.11061,
              0.15663,
              0.24325,
              0.4162,
              0.77353
            ],
            [
              0.04918,
              0.08467,
              0.11073,
              0.15661,
              0.24335,
              0.41618,
              0.77368
            ],
            [
              0.04917,
              0.08466,
              0.11074,
              0.15668,
              0.24339,
              0.41616,
              0.7739
            ],
            [
              0.04916,
              0.0845,
              0.11077,
              0.15701,
              0.2433,
              0.4159,
              0.7729
            ],
            [
              0.0487,
              0.0845,
              0.1105,
              0.1565,
              0.2434,
              0.4162,
              0.7736
            ],
            [
              0.0547,
              0.0889,
              0.1144,
              0.1593,
              0.2448,
              0.417,
              0.773
            ],
            [
              0.0651,
              0.0988,
              0.1234,
              0.1679,
              0.2527,
              0.4226,
              0.7764
            ]
          ]
        },
        "related_pin": "B1",
        "rise_transition,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00725,
            0.0145,
            0.029,
            0.05801,
            0.11602,
            0.23204
          ],
          "values": [
            [
              0.02839,
              0.07976,
              0.12473,
              0.21127,
              0.38901,
              0.75362,
              1.49073
            ],
            [
              0.02839,
              0.07985,
              0.12461,
              0.21144,
              0.38931,
              0.75469,
              1.48847
            ],
            [
              0.02838,
              0.07986,
              0.12473,
              0.21126,
              0.389,
              0.75334,
              1.49028
            ],
            [
              0.0284,
              0.07987,
              0.12462,
              0.21141,
              0.38935,
              0.75458,
              1.48688
            ],
            [
              0.02839,
              0.07989,
              0.12465,
              0.21143,
              0.38931,
              0.75469,
              1.48819
            ],
            [
              0.02842,
              0.07997,
              0.12482,
              0.21146,
              0.38931,
              0.75466,
              1.48768
            ],
            [
              0.02862,
              0.08014,
              0.12489,
              0.21116,
              0.38936,
              0.75463,
              1.48694
            ],
            [
              0.03047,
              0.08078,
              0.12551,
              0.21135,
              0.3894,
              0.75459,
              1.48872
            ],
            [
              0.0346,
              0.08383,
              0.12718,
              0.21207,
              0.38917,
              0.75585,
              1.48885
            ],
            [
              0.04047,
              0.08999,
              0.13234,
              0.2154,
              0.39039,
              0.75375,
              1.4868
            ],
            [
              0.04827,
              0.09916,
              0.14026,
              0.22074,
              0.39238,
              0.7552,
              1.4908
            ],
            [
              0.058,
              0.1128,
              0.1525,
              0.2296,
              0.3965,
              0.7569,
              1.4892
            ],
            [
              0.0701,
              0.1326,
              0.1716,
              0.2433,
              0.4042,
              0.757,
              1.4879
            ]
          ]
        },
        "sdf_cond": "(A1&A2&A3&!A4)",
        "timing_sense": "positive_unate",
        "when": "(A1&A2&A3&!A4)"
      }
    ]
  }
}