{
  "area": 14.3856,
  "cell_footprint": "sky130_fd_sc_lp__mux2",
  "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,A0": {
    "capacitance": 0.00177,
    "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.00432,
          0.00517,
          0.00398,
          0.00381,
          0.00366,
          0.0036,
          0.00352,
          0.00366,
          0.00363,
          0.00391,
          0.00392,
          0.00424,
          0.00426
        ]
      },
      "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.00691,
          0.00666,
          0.00644,
          0.00585,
          0.00572,
          0.00557,
          0.00562,
          0.00562,
          0.00566,
          0.0061,
          0.00612,
          0.00665,
          0.00674
        ]
      }
    },
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,A1": {
    "capacitance": 0.00185,
    "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.00653,
          0.0059,
          0.00614,
          0.00571,
          0.0057,
          0.00567,
          0.00564,
          0.00561,
          0.00562,
          0.00603,
          0.00604,
          0.00655,
          0.00662
        ]
      },
      "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.00403,
          0.00353,
          0.00345,
          0.00365,
          0.00354,
          0.00342,
          0.00339,
          0.00345,
          0.00341,
          0.00369,
          0.00368,
          0.00399,
          0.00401
        ]
      }
    },
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,S": {
    "capacitance": 0.00411,
    "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.01044,
          0.01066,
          0.00977,
          0.00973,
          0.00956,
          0.00951,
          0.00933,
          0.00932,
          0.00924,
          0.00992,
          0.00989,
          0.01064,
          0.01063
        ]
      },
      "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.0023,
          0.00299,
          0.00242,
          0.00222,
          0.00202,
          0.00197,
          0.00208,
          0.00213,
          0.00219,
          0.00239,
          0.00245,
          0.00272,
          0.00283
        ]
      }
    },
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,X": {
    "direction": "output",
    "function": "(A0&!S) | (A1&S)",
    "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.00515,
            0.00618,
            0.00742,
            0.0089,
            0.01068,
            0.01282
          ],
          "values": [
            [
              0.01284,
              0.00658,
              0.00528,
              0.00371,
              0.00184,
              -0.00042,
              -0.00314
            ],
            [
              0.01282,
              0.00656,
              0.00527,
              0.0037,
              0.00183,
              -0.00043,
              -0.00315
            ],
            [
              0.01279,
              0.00655,
              0.00525,
              0.00368,
              0.00181,
              -0.00045,
              -0.00317
            ],
            [
              0.01276,
              0.00651,
              0.00521,
              0.00365,
              0.00177,
              -0.00049,
              -0.00321
            ],
            [
              0.01271,
              0.00647,
              0.00517,
              0.0036,
              0.00173,
              -0.00053,
              -0.00325
            ],
            [
              0.01267,
              0.00642,
              0.00512,
              0.00355,
              0.00168,
              -0.00058,
              -0.0033
            ],
            [
              0.01261,
              0.00636,
              0.00506,
              0.00349,
              0.00162,
              -0.00064,
              -0.00336
            ],
            [
              0.01256,
              0.00629,
              0.005,
              0.00343,
              0.00156,
              -0.0007,
              -0.00342
            ],
            [
              0.01251,
              0.00625,
              0.00495,
              0.00338,
              0.00151,
              -0.00075,
              -0.00347
            ],
            [
              0.01248,
              0.00621,
              0.00491,
              0.00334,
              0.00147,
              -0.00079,
              -0.00351
            ],
            [
              0.01245,
              0.00616,
              0.00486,
              0.0033,
              0.00143,
              -0.00083,
              -0.00355
            ],
            [
              0.01241,
              0.00611,
              0.00481,
              0.00325,
              0.00138,
              -0.00088,
              -0.00359
            ],
            [
              0.01236,
              0.00604,
              0.00475,
              0.00319,
              0.00132,
              -0.00093,
              -0.00365
            ]
          ]
        },
        "related_pin": "A0",
        "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.00515,
            0.00618,
            0.00742,
            0.0089,
            0.01068,
            0.01282
          ],
          "values": [
            [
              0.00567,
              0.01255,
              0.01387,
              0.01546,
              0.01735,
              0.01962,
              0.02234
            ],
            [
              0.0057,
              0.01259,
              0.01391,
              0.0155,
              0.01739,
              0.01966,
              0.02237
            ],
            [
              0.0057,
              0.01259,
              0.01391,
              0.01551,
              0.0174,
              0.01967,
              0.02239
            ],
            [
              0.0057,
              0.01261,
              0.01392,
              0.01551,
              0.01741,
              0.01967,
              0.02239
            ],
            [
              0.00571,
              0.0126,
              0.01393,
              0.01552,
              0.01741,
              0.01968,
              0.0224
            ],
            [
              0.0057,
              0.01259,
              0.01391,
              0.01549,
              0.01739,
              0.01967,
              0.02238
            ],
            [
              0.00567,
              0.01255,
              0.01387,
              0.01547,
              0.01736,
              0.01963,
              0.02237
            ],
            [
              0.00562,
              0.01247,
              0.01381,
              0.0154,
              0.01731,
              0.01959,
              0.02232
            ],
            [
              0.00556,
              0.0124,
              0.01373,
              0.01533,
              0.01724,
              0.01952,
              0.02226
            ],
            [
              0.00549,
              0.01232,
              0.01367,
              0.01526,
              0.01716,
              0.01944,
              0.02219
            ],
            [
              0.00541,
              0.01223,
              0.01357,
              0.01517,
              0.01707,
              0.01936,
              0.0221
            ],
            [
              0.00535,
              0.01214,
              0.01348,
              0.01507,
              0.01698,
              0.01927,
              0.02201
            ],
            [
              0.00528,
              0.01205,
              0.01338,
              0.01499,
              0.01689,
              0.01917,
              0.02192
            ]
          ]
        },
        "when": "(!S)"
      },
      {
        "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.00515,
            0.00618,
            0.00742,
            0.0089,
            0.01068,
            0.01282
          ],
          "values": [
            [
              0.01328,
              0.00699,
              0.00569,
              0.00412,
              0.00224,
              -2e-05,
              -0.00274
            ],
            [
              0.01326,
              0.00698,
              0.00568,
              0.00411,
              0.00224,
              -2e-05,
              -0.00275
            ],
            [
              0.01324,
              0.00696,
              0.00566,
              0.0041,
              0.00222,
              -4e-05,
              -0.00276
            ],
            [
              0.0132,
              0.00693,
              0.00563,
              0.00406,
              0.00218,
              -8e-05,
              -0.0028
            ],
            [
              0.01316,
              0.00688,
              0.00559,
              0.00402,
              0.00214,
              -0.00012,
              -0.00285
            ],
            [
              0.0131,
              0.00683,
              0.00553,
              0.00396,
              0.00208,
              -0.00018,
              -0.0029
            ],
            [
              0.01304,
              0.00677,
              0.00547,
              0.0039,
              0.00202,
              -0.00024,
              -0.00297
            ],
            [
              0.01297,
              0.00669,
              0.00539,
              0.00382,
              0.00195,
              -0.00031,
              -0.00304
            ],
            [
              0.01292,
              0.00663,
              0.00534,
              0.00377,
              0.00189,
              -0.00037,
              -0.00309
            ],
            [
              0.01288,
              0.00659,
              0.00529,
              0.00372,
              0.00184,
              -0.00042,
              -0.00314
            ],
            [
              0.01284,
              0.00653,
              0.00524,
              0.00367,
              0.0018,
              -0.00046,
              -0.00318
            ],
            [
              0.0128,
              0.00648,
              0.00518,
              0.00362,
              0.00175,
              -0.00051,
              -0.00323
            ],
            [
              0.01274,
              0.00641,
              0.00512,
              0.00355,
              0.00168,
              -0.00057,
              -0.00329
            ]
          ]
        },
        "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.00515,
            0.00618,
            0.00742,
            0.0089,
            0.01068,
            0.01282
          ],
          "values": [
            [
              0.00546,
              0.01241,
              0.01373,
              0.01533,
              0.01722,
              0.0195,
              0.02222
            ],
            [
              0.00547,
              0.01244,
              0.01378,
              0.01537,
              0.01726,
              0.01954,
              0.02227
            ],
            [
              0.00547,
              0.01244,
              0.01378,
              0.01537,
              0.01726,
              0.01954,
              0.02227
            ],
            [
              0.00548,
              0.01244,
              0.01378,
              0.01537,
              0.01727,
              0.01955,
              0.02227
            ],
            [
              0.00547,
              0.01244,
              0.01377,
              0.01537,
              0.01727,
              0.01954,
              0.02228
            ],
            [
              0.00546,
              0.01241,
              0.01376,
              0.01535,
              0.01725,
              0.01953,
              0.02227
            ],
            [
              0.00544,
              0.01238,
              0.01371,
              0.01531,
              0.01721,
              0.01949,
              0.02224
            ],
            [
              0.00538,
              0.01229,
              0.01364,
              0.01524,
              0.01715,
              0.01944,
              0.02217
            ],
            [
              0.00532,
              0.01221,
              0.01355,
              0.01516,
              0.01707,
              0.01936,
              0.0221
            ],
            [
              0.00524,
              0.01212,
              0.01346,
              0.01506,
              0.01697,
              0.01926,
              0.02201
            ],
            [
              0.00516,
              0.01201,
              0.01335,
              0.01496,
              0.01688,
              0.01916,
              0.0219
            ],
            [
              0.00508,
              0.0119,
              0.01324,
              0.01484,
              0.01675,
              0.01905,
              0.02178
            ],
            [
              0.005,
              0.0118,
              0.01314,
              0.01474,
              0.01665,
              0.01893,
              0.02169
            ]
          ]
        },
        "when": "(S)"
      },
      {
        "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.00515,
            0.00618,
            0.00742,
            0.0089,
            0.01068,
            0.01282
          ],
          "values": [
            [
              0.02296,
              0.0167,
              0.0154,
              0.01384,
              0.01196,
              0.00971,
              0.00698
            ],
            [
              0.02288,
              0.01662,
              0.01533,
              0.01376,
              0.01189,
              0.00963,
              0.00691
            ],
            [
              0.02281,
              0.01655,
              0.01525,
              0.01368,
              0.01181,
              0.00955,
              0.00683
            ],
            [
              0.02271,
              0.01645,
              0.01516,
              0.01359,
              0.01172,
              0.00946,
              0.00674
            ],
            [
              0.0226,
              0.01634,
              0.01505,
              0.01348,
              0.01161,
              0.00935,
              0.00663
            ],
            [
              0.02248,
              0.01622,
              0.01493,
              0.01336,
              0.01149,
              0.00923,
              0.00651
            ],
            [
              0.02238,
              0.01612,
              0.01482,
              0.01325,
              0.01138,
              0.00912,
              0.0064
            ],
            [
              0.02227,
              0.01601,
              0.01471,
              0.01315,
              0.01127,
              0.00902,
              0.0063
            ],
            [
              0.02218,
              0.01592,
              0.01462,
              0.01306,
              0.01119,
              0.00893,
              0.00621
            ],
            [
              0.02212,
              0.01585,
              0.01455,
              0.01299,
              0.01112,
              0.00886,
              0.00614
            ],
            [
              0.02205,
              0.01578,
              0.01449,
              0.01292,
              0.01105,
              0.0088,
              0.00608
            ],
            [
              0.022,
              0.01571,
              0.01442,
              0.01285,
              0.01099,
              0.00873,
              0.00601
            ],
            [
              0.02191,
              0.01562,
              0.01432,
              0.01276,
              0.0109,
              0.00864,
              0.00593
            ]
          ]
        },
        "related_pin": "S",
        "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.00515,
            0.00618,
            0.00742,
            0.0089,
            0.01068,
            0.01282
          ],
          "values": [
            [
              0.0061,
              0.01304,
              0.01438,
              0.01596,
              0.01786,
              0.02014,
              0.02287
            ],
            [
              0.00607,
              0.01301,
              0.01435,
              0.01594,
              0.01783,
              0.02011,
              0.02285
            ],
            [
              0.00604,
              0.01299,
              0.01433,
              0.01591,
              0.01781,
              0.02008,
              0.02282
            ],
            [
              0.00601,
              0.01296,
              0.01428,
              0.01588,
              0.01778,
              0.02005,
              0.02279
            ],
            [
              0.00595,
              0.01292,
              0.01426,
              0.01584,
              0.01774,
              0.02002,
              0.02275
            ],
            [
              0.00591,
              0.01285,
              0.01419,
              0.01579,
              0.01768,
              0.01996,
              0.02269
            ],
            [
              0.00587,
              0.0128,
              0.01413,
              0.01573,
              0.01763,
              0.01991,
              0.02264
            ],
            [
              0.00578,
              0.01271,
              0.01403,
              0.01563,
              0.01753,
              0.01981,
              0.02255
            ],
            [
              0.00569,
              0.01259,
              0.01391,
              0.01552,
              0.01743,
              0.01971,
              0.02245
            ],
            [
              0.00557,
              0.01245,
              0.01379,
              0.01539,
              0.0173,
              0.0196,
              0.02233
            ],
            [
              0.00544,
              0.01229,
              0.01364,
              0.01524,
              0.01715,
              0.01946,
              0.02218
            ],
            [
              0.00531,
              0.01215,
              0.01349,
              0.01508,
              0.017,
              0.01928,
              0.02206
            ],
            [
              0.00519,
              0.012,
              0.01334,
              0.01495,
              0.01686,
              0.01913,
              0.02189
            ]
          ]
        },
        "when": "(!A0&A1)"
      },
      {
        "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.00515,
            0.00618,
            0.00742,
            0.0089,
            0.01068,
            0.01282
          ],
          "values": [
            [
              0.01516,
              0.00889,
              0.00759,
              0.00602,
              0.00415,
              0.00188,
              -0.00084
            ],
            [
              0.01509,
              0.00882,
              0.00752,
              0.00596,
              0.00408,
              0.00182,
              -0.0009
            ],
            [
              0.01505,
              0.00879,
              0.00749,
              0.00592,
              0.00404,
              0.00178,
              -0.00094
            ],
            [
              0.01495,
              0.00868,
              0.00738,
              0.00581,
              0.00394,
              0.00168,
              -0.00104
            ],
            [
              0.01486,
              0.0086,
              0.00729,
              0.00573,
              0.00385,
              0.00159,
              -0.00114
            ],
            [
              0.01477,
              0.0085,
              0.0072,
              0.00563,
              0.00376,
              0.0015,
              -0.00123
            ],
            [
              0.01464,
              0.00837,
              0.00707,
              0.0055,
              0.00363,
              0.00136,
              -0.00136
            ],
            [
              0.01448,
              0.00821,
              0.00691,
              0.00534,
              0.00347,
              0.0012,
              -0.00152
            ],
            [
              0.01432,
              0.00803,
              0.00674,
              0.00517,
              0.00329,
              0.00103,
              -0.00169
            ],
            [
              0.01415,
              0.00787,
              0.00657,
              0.005,
              0.00313,
              0.00086,
              -0.00186
            ],
            [
              0.01398,
              0.00769,
              0.00639,
              0.00482,
              0.00295,
              0.00069,
              -0.00204
            ],
            [
              0.01381,
              0.00752,
              0.00622,
              0.00465,
              0.00278,
              0.00052,
              -0.00221
            ],
            [
              0.01365,
              0.00737,
              0.00607,
              0.0045,
              0.00262,
              0.00036,
              -0.00236
            ]
          ]
        },
        "related_pin": "S",
        "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.00515,
            0.00618,
            0.00742,
            0.0089,
            0.01068,
            0.01282
          ],
          "values": [
            [
              0.01779,
              0.02464,
              0.02598,
              0.02758,
              0.02948,
              0.03175,
              0.03448
            ],
            [
              0.01782,
              0.02467,
              0.02599,
              0.02761,
              0.02951,
              0.03177,
              0.03453
            ],
            [
              0.01772,
              0.02458,
              0.02591,
              0.02752,
              0.02941,
              0.03168,
              0.03442
            ],
            [
              0.01761,
              0.02446,
              0.02578,
              0.0274,
              0.0293,
              0.03156,
              0.03432
            ],
            [
              0.01755,
              0.0244,
              0.02573,
              0.02734,
              0.02923,
              0.0315,
              0.03426
            ],
            [
              0.01744,
              0.02429,
              0.02562,
              0.02723,
              0.02914,
              0.0314,
              0.03416
            ],
            [
              0.01735,
              0.02421,
              0.02553,
              0.02714,
              0.02905,
              0.03131,
              0.03407
            ],
            [
              0.01727,
              0.02412,
              0.02544,
              0.02704,
              0.02896,
              0.03124,
              0.03396
            ],
            [
              0.0172,
              0.02405,
              0.02537,
              0.02698,
              0.02889,
              0.03116,
              0.03389
            ],
            [
              0.01714,
              0.024,
              0.02532,
              0.02693,
              0.02884,
              0.0311,
              0.03386
            ],
            [
              0.01708,
              0.02393,
              0.02527,
              0.02686,
              0.02876,
              0.03103,
              0.0338
            ],
            [
              0.01702,
              0.02387,
              0.0252,
              0.02679,
              0.02871,
              0.03099,
              0.03371
            ],
            [
              0.01696,
              0.02381,
              0.02514,
              0.02673,
              0.02863,
              0.03092,
              0.03364
            ]
          ]
        },
        "when": "(A0&!A1)"
      }
    ],
    "max_capacitance": 0.01282,
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR",
    "timing": [
      {
        "cell_fall,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00515,
            0.00618,
            0.00742,
            0.0089,
            0.01068,
            0.01282
          ],
          "values": [
            [
              0.66843,
              0.84736,
              0.87168,
              0.89888,
              0.92914,
              0.96325,
              1.00187
            ],
            [
              0.6705,
              0.84934,
              0.87368,
              0.90088,
              0.93116,
              0.96526,
              1.00384
            ],
            [
              0.67283,
              0.85194,
              0.87625,
              0.9035,
              0.93377,
              0.96786,
              1.00652
            ],
            [
              0.67678,
              0.85604,
              0.88038,
              0.90758,
              0.93788,
              0.97198,
              1.01058
            ],
            [
              0.68406,
              0.86334,
              0.88766,
              0.91491,
              0.94522,
              0.97931,
              1.01791
            ],
            [
              0.69658,
              0.8759,
              0.9002,
              0.92742,
              0.95772,
              0.99182,
              1.03042
            ],
            [
              0.71659,
              0.89593,
              0.92023,
              0.94753,
              0.97783,
              1.01193,
              1.05053
            ],
            [
              0.75006,
              0.92896,
              0.95336,
              0.98056,
              1.01096,
              1.04496,
              1.08366
            ],
            [
              0.80365,
              0.98225,
              1.00665,
              1.03385,
              1.06415,
              1.09825,
              1.13695
            ],
            [
              0.88579,
              1.06419,
              1.08849,
              1.11579,
              1.14609,
              1.18019,
              1.21879
            ],
            [
              1.01012,
              1.18892,
              1.21332,
              1.24052,
              1.27092,
              1.30502,
              1.34372
            ],
            [
              1.19967,
              1.37757,
              1.40197,
              1.42927,
              1.45967,
              1.49387,
              1.53247
            ],
            [
              1.486,
              1.6635,
              1.6879,
              1.7153,
              1.7457,
              1.7799,
              1.8187
            ]
          ]
        },
        "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.00515,
            0.00618,
            0.00742,
            0.0089,
            0.01068,
            0.01282
          ],
          "values": [
            [
              0.29352,
              0.75038,
              0.83769,
              0.94267,
              1.06727,
              1.21777,
              1.39707
            ],
            [
              0.2971,
              0.75447,
              0.84198,
              0.94703,
              1.07144,
              1.22164,
              1.40124
            ],
            [
              0.30137,
              0.75862,
              0.84622,
              0.95123,
              1.07572,
              1.22632,
              1.40552
            ],
            [
              0.30778,
              0.76521,
              0.85293,
              0.95805,
              1.08238,
              1.23308,
              1.41218
            ],
            [
              0.31739,
              0.77524,
              0.86263,
              0.96751,
              1.09261,
              1.24291,
              1.42181
            ],
            [
              0.33161,
              0.78891,
              0.87636,
              0.98132,
              1.10672,
              1.25662,
              1.43672
            ],
            [
              0.35264,
              0.80879,
              0.89633,
              1.00153,
              1.12683,
              1.27743,
              1.45653
            ],
            [
              0.38321,
              0.83836,
              0.92616,
              1.03166,
              1.15656,
              1.30726,
              1.48786
            ],
            [
              0.42914,
              0.88325,
              0.97125,
              1.07685,
              1.20185,
              1.35275,
              1.53355
            ],
            [
              0.49322,
              0.94639,
              1.03409,
              1.14019,
              1.26559,
              1.41599,
              1.59729
            ],
            [
              0.57762,
              1.03022,
              1.11772,
              1.22392,
              1.34962,
              1.49942,
              1.68112
            ],
            [
              0.68767,
              1.14057,
              1.22827,
              1.33407,
              1.45927,
              1.61047,
              1.79047
            ],
            [
              0.8316,
              1.2849,
              1.3728,
              1.4783,
              1.6033,
              1.7544,
              1.9349
            ]
          ]
        },
        "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.00515,
            0.00618,
            0.00742,
            0.0089,
            0.01068,
            0.01282
          ],
          "values": [
            [
              0.08406,
              0.21319,
              0.23229,
              0.25408,
              0.27904,
              0.30835,
              0.34278
            ],
            [
              0.08404,
              0.21319,
              0.23229,
              0.25414,
              0.27911,
              0.3083,
              0.34289
            ],
            [
              0.08404,
              0.21318,
              0.23222,
              0.25412,
              0.27922,
              0.30839,
              0.34287
            ],
            [
              0.08404,
              0.21317,
              0.23226,
              0.25409,
              0.27916,
              0.30833,
              0.3429
            ],
            [
              0.08409,
              0.21323,
              0.23218,
              0.25407,
              0.27916,
              0.30828,
              0.34289
            ],
            [
              0.08401,
              0.21317,
              0.23215,
              0.25406,
              0.27904,
              0.30836,
              0.34285
            ],
            [
              0.08408,
              0.21321,
              0.23222,
              0.2541,
              0.27919,
              0.30835,
              0.34282
            ],
            [
              0.08401,
              0.21324,
              0.23229,
              0.2541,
              0.2793,
              0.3084,
              0.3428
            ],
            [
              0.0841,
              0.2132,
              0.2323,
              0.2542,
              0.2793,
              0.3084,
              0.3429
            ],
            [
              0.0841,
              0.2134,
              0.2324,
              0.2542,
              0.2792,
              0.3085,
              0.3429
            ],
            [
              0.0841,
              0.2135,
              0.2325,
              0.2543,
              0.2794,
              0.3085,
              0.343
            ],
            [
              0.0843,
              0.2138,
              0.2328,
              0.2546,
              0.2797,
              0.3087,
              0.3429
            ],
            [
              0.0845,
              0.2142,
              0.2331,
              0.2549,
              0.2799,
              0.3089,
              0.3433
            ]
          ]
        },
        "related_pin": "A0",
        "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.00515,
            0.00618,
            0.00742,
            0.0089,
            0.01068,
            0.01282
          ],
          "values": [
            [
              0.12455,
              0.67852,
              0.78743,
              0.9203,
              1.07891,
              1.27002,
              1.49885
            ],
            [
              0.12446,
              0.6777,
              0.78745,
              0.92043,
              1.07881,
              1.27059,
              1.49898
            ],
            [
              0.12446,
              0.67848,
              0.78743,
              0.92027,
              1.07897,
              1.27008,
              1.49891
            ],
            [
              0.12447,
              0.67846,
              0.78747,
              0.92027,
              1.07893,
              1.27011,
              1.49882
            ],
            [
              0.12454,
              0.67734,
              0.78847,
              0.9224,
              1.08031,
              1.2702,
              1.49881
            ],
            [
              0.12449,
              0.67751,
              0.78916,
              0.92029,
              1.07889,
              1.271,
              1.49913
            ],
            [
              0.12458,
              0.67725,
              0.7884,
              0.9223,
              1.08015,
              1.27016,
              1.49878
            ],
            [
              0.12448,
              0.67706,
              0.78747,
              0.92045,
              1.07886,
              1.2707,
              1.49939
            ],
            [
              0.12449,
              0.67705,
              0.78748,
              0.92037,
              1.07883,
              1.27108,
              1.4994
            ],
            [
              0.12449,
              0.67702,
              0.7892,
              0.9209,
              1.0789,
              1.2696,
              1.4996
            ],
            [
              0.1258,
              0.677,
              0.7873,
              0.9207,
              1.0792,
              1.2695,
              1.4996
            ],
            [
              0.1267,
              0.6772,
              0.7883,
              0.9203,
              1.0788,
              1.2709,
              1.4987
            ],
            [
              0.1277,
              0.6792,
              0.7896,
              0.9225,
              1.0797,
              1.2699,
              1.4998
            ]
          ]
        },
        "sdf_cond": "(!A1&!S)",
        "timing_sense": "positive_unate",
        "when": "(!A1&!S)"
      },
      {
        "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.00515,
            0.00618,
            0.00742,
            0.0089,
            0.01068,
            0.01282
          ],
          "values": [
            [
              0.75066,
              0.91027,
              0.93183,
              0.95626,
              0.98379,
              1.01517,
              1.05097
            ],
            [
              0.75321,
              0.91287,
              0.93448,
              0.95891,
              0.98644,
              1.01774,
              1.05364
            ],
            [
              0.75596,
              0.9157,
              0.93732,
              0.96175,
              0.98922,
              1.02062,
              1.05652
            ],
            [
              0.76048,
              0.92029,
              0.94191,
              0.96635,
              0.99387,
              1.02518,
              1.06108
            ],
            [
              0.76797,
              0.92783,
              0.94943,
              0.97391,
              1.00141,
              1.03281,
              1.06861
            ],
            [
              0.78064,
              0.94052,
              0.96222,
              0.98662,
              1.01422,
              1.04552,
              1.08142
            ],
            [
              0.80145,
              0.96123,
              0.98293,
              1.00733,
              1.03483,
              1.06623,
              1.10213
            ],
            [
              0.83385,
              0.99356,
              1.01516,
              1.03966,
              1.06716,
              1.09856,
              1.13446
            ],
            [
              0.88625,
              1.04575,
              1.06725,
              1.09175,
              1.11925,
              1.15065,
              1.18655
            ],
            [
              0.96809,
              1.12719,
              1.14819,
              1.17269,
              1.20019,
              1.23159,
              1.26739
            ],
            [
              1.09282,
              1.25192,
              1.27352,
              1.29802,
              1.32552,
              1.35692,
              1.39282
            ],
            [
              1.28177,
              1.44067,
              1.46227,
              1.48677,
              1.51437,
              1.54577,
              1.58167
            ],
            [
              1.5668,
              1.7253,
              1.747,
              1.7715,
              1.7991,
              1.8305,
              1.8665
            ]
          ]
        },
        "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.00515,
            0.00618,
            0.00742,
            0.0089,
            0.01068,
            0.01282
          ],
          "values": [
            [
              0.30193,
              0.75998,
              0.84727,
              0.95133,
              1.07677,
              1.22627,
              1.40577
            ],
            [
              0.30553,
              0.76381,
              0.85126,
              0.95613,
              1.08084,
              1.23014,
              1.41004
            ],
            [
              0.30986,
              0.76833,
              0.85578,
              0.96074,
              1.08552,
              1.23482,
              1.41362
            ],
            [
              0.31626,
              0.7748,
              0.86259,
              0.96676,
              1.09218,
              1.24118,
              1.42048
            ],
            [
              0.32573,
              0.78453,
              0.87219,
              0.97711,
              1.10181,
              1.25141,
              1.43081
            ],
            [
              0.33978,
              0.79766,
              0.88554,
              0.99082,
              1.11582,
              1.26522,
              1.44552
            ],
            [
              0.36038,
              0.81729,
              0.90533,
              1.01043,
              1.13593,
              1.28593,
              1.46563
            ],
            [
              0.3909,
              0.84706,
              0.93496,
              1.04006,
              1.16546,
              1.31626,
              1.49666
            ],
            [
              0.43652,
              0.89115,
              0.97965,
              1.08525,
              1.21085,
              1.36105,
              1.54195
            ],
            [
              0.50063,
              0.95479,
              1.04239,
              1.14849,
              1.27439,
              1.42429,
              1.60469
            ],
            [
              0.58662,
              1.03942,
              1.12782,
              1.23342,
              1.35892,
              1.51012,
              1.69072
            ],
            [
              0.69837,
              1.15157,
              1.23947,
              1.34527,
              1.47037,
              1.62167,
              1.80267
            ],
            [
              0.845,
              1.2988,
              1.3867,
              1.4923,
              1.6172,
              1.7684,
              1.9491
            ]
          ]
        },
        "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.00515,
            0.00618,
            0.00742,
            0.0089,
            0.01068,
            0.01282
          ],
          "values": [
            [
              0.08213,
              0.19085,
              0.20876,
              0.23004,
              0.25484,
              0.28411,
              0.31914
            ],
            [
              0.08207,
              0.19081,
              0.20876,
              0.22995,
              0.25478,
              0.28409,
              0.31919
            ],
            [
              0.08207,
              0.19076,
              0.2088,
              0.23,
              0.25482,
              0.28423,
              0.31918
            ],
            [
              0.08206,
              0.19073,
              0.20876,
              0.22995,
              0.25477,
              0.28418,
              0.31922
            ],
            [
              0.08207,
              0.1907,
              0.20879,
              0.23005,
              0.25474,
              0.28416,
              0.31914
            ],
            [
              0.08204,
              0.1908,
              0.20873,
              0.2299,
              0.25481,
              0.28422,
              0.31909
            ],
            [
              0.08202,
              0.19079,
              0.20872,
              0.2299,
              0.2548,
              0.2841,
              0.3191
            ],
            [
              0.082,
              0.1908,
              0.2087,
              0.2301,
              0.2547,
              0.2841,
              0.3191
            ],
            [
              0.082,
              0.1908,
              0.2088,
              0.23,
              0.2548,
              0.2841,
              0.3192
            ],
            [
              0.082,
              0.1908,
              0.2089,
              0.23,
              0.2548,
              0.2842,
              0.3193
            ],
            [
              0.0821,
              0.191,
              0.209,
              0.2302,
              0.2549,
              0.2843,
              0.3193
            ],
            [
              0.0821,
              0.1911,
              0.2092,
              0.2304,
              0.255,
              0.2844,
              0.3193
            ],
            [
              0.0824,
              0.1915,
              0.2094,
              0.2306,
              0.2552,
              0.2846,
              0.3195
            ]
          ]
        },
        "related_pin": "A0",
        "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.00515,
            0.00618,
            0.00742,
            0.0089,
            0.01068,
            0.01282
          ],
          "values": [
            [
              0.12455,
              0.67657,
              0.78725,
              0.91977,
              1.07873,
              1.26935,
              1.49851
            ],
            [
              0.12454,
              0.67649,
              0.78688,
              0.91997,
              1.07874,
              1.27078,
              1.49891
            ],
            [
              0.12455,
              0.67651,
              0.78684,
              0.92023,
              1.07866,
              1.26916,
              1.4984
            ],
            [
              0.12455,
              0.67783,
              0.78708,
              0.91979,
              1.07886,
              1.26905,
              1.49838
            ],
            [
              0.1245,
              0.67654,
              0.78706,
              0.91992,
              1.07851,
              1.26919,
              1.49831
            ],
            [
              0.12449,
              0.67785,
              0.78689,
              0.91985,
              1.07864,
              1.26905,
              1.49891
            ],
            [
              0.12461,
              0.67785,
              0.78739,
              0.92102,
              1.07865,
              1.2693,
              1.50014
            ],
            [
              0.12456,
              0.67652,
              0.78723,
              0.92115,
              1.07989,
              1.26987,
              1.499
            ],
            [
              0.12464,
              0.67779,
              0.78691,
              0.91999,
              1.07866,
              1.2691,
              1.4993
            ],
            [
              0.12471,
              0.6765,
              0.7885,
              0.9206,
              1.0786,
              1.269,
              1.4983
            ],
            [
              0.1261,
              0.6764,
              0.7877,
              0.9198,
              1.0783,
              1.2696,
              1.4985
            ],
            [
              0.1274,
              0.6767,
              0.7875,
              0.9199,
              1.0782,
              1.2712,
              1.4991
            ],
            [
              0.129,
              0.6785,
              0.789,
              0.9221,
              1.0806,
              1.2695,
              1.4991
            ]
          ]
        },
        "sdf_cond": "(A1&!S)",
        "timing_sense": "positive_unate",
        "when": "(A1&!S)"
      },
      {
        "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.00515,
            0.00618,
            0.00742,
            0.0089,
            0.01068,
            0.01282
          ],
          "values": [
            [
              0.67231,
              0.85082,
              0.87511,
              0.90226,
              0.93248,
              0.96655,
              1.00507
            ],
            [
              0.67422,
              0.85296,
              0.87722,
              0.90441,
              0.93465,
              0.96876,
              1.00724
            ],
            [
              0.67659,
              0.85545,
              0.87972,
              0.90691,
              0.93716,
              0.97121,
              1.00982
            ],
            [
              0.68068,
              0.85972,
              0.88404,
              0.91119,
              0.94144,
              0.97547,
              1.01408
            ],
            [
              0.68794,
              0.86705,
              0.89134,
              0.91855,
              0.94881,
              0.98291,
              1.02141
            ],
            [
              0.70041,
              0.87949,
              0.9038,
              0.93102,
              0.96132,
              0.99532,
              1.03392
            ],
            [
              0.72107,
              0.90003,
              0.92433,
              0.95153,
              0.98183,
              1.01593,
              1.05453
            ],
            [
              0.7537,
              0.93246,
              0.95676,
              0.98396,
              1.01426,
              1.04836,
              1.08696
            ],
            [
              0.80625,
              0.98555,
              1.00995,
              1.03715,
              1.06745,
              1.10155,
              1.14005
            ],
            [
              0.88889,
              1.06709,
              1.09139,
              1.11859,
              1.14889,
              1.18299,
              1.22159
            ],
            [
              1.01442,
              1.19182,
              1.21612,
              1.24342,
              1.27372,
              1.30782,
              1.34642
            ],
            [
              1.20267,
              1.38027,
              1.40467,
              1.43197,
              1.46237,
              1.49647,
              1.53507
            ],
            [
              1.4878,
              1.6648,
              1.6893,
              1.7166,
              1.747,
              1.7812,
              1.8199
            ]
          ]
        },
        "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.00515,
            0.00618,
            0.00742,
            0.0089,
            0.01068,
            0.01282
          ],
          "values": [
            [
              0.29649,
              0.75787,
              0.84564,
              0.95056,
              1.07557,
              1.22627,
              1.40607
            ],
            [
              0.29997,
              0.76156,
              0.84947,
              0.95437,
              1.07954,
              1.22974,
              1.41014
            ],
            [
              0.3042,
              0.76588,
              0.85373,
              0.95865,
              1.08372,
              1.23442,
              1.41432
            ],
            [
              0.3104,
              0.77221,
              0.86003,
              0.96478,
              1.08988,
              1.24077,
              1.42088
            ],
            [
              0.31955,
              0.78119,
              0.86934,
              0.97461,
              1.10001,
              1.24961,
              1.43051
            ],
            [
              0.33341,
              0.79445,
              0.88266,
              0.98812,
              1.11352,
              1.26322,
              1.44422
            ],
            [
              0.35397,
              0.81377,
              0.90193,
              1.00713,
              1.13273,
              1.28353,
              1.46403
            ],
            [
              0.38445,
              0.84246,
              0.93076,
              1.03626,
              1.16176,
              1.31296,
              1.49346
            ],
            [
              0.42995,
              0.88675,
              0.97445,
              1.08105,
              1.20615,
              1.35755,
              1.53865
            ],
            [
              0.49417,
              0.94969,
              1.03809,
              1.14379,
              1.26909,
              1.42039,
              1.60199
            ],
            [
              0.57882,
              1.03312,
              1.12132,
              1.22682,
              1.35352,
              1.50442,
              1.68482
            ],
            [
              0.68837,
              1.14297,
              1.23077,
              1.33697,
              1.46237,
              1.61397,
              1.79517
            ],
            [
              0.8329,
              1.2876,
              1.3757,
              1.4814,
              1.6067,
              1.7581,
              1.939
            ]
          ]
        },
        "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.00515,
            0.00618,
            0.00742,
            0.0089,
            0.01068,
            0.01282
          ],
          "values": [
            [
              0.08383,
              0.21304,
              0.23209,
              0.25398,
              0.27887,
              0.30808,
              0.3426
            ],
            [
              0.08382,
              0.213,
              0.23205,
              0.25396,
              0.279,
              0.3082,
              0.34261
            ],
            [
              0.08383,
              0.213,
              0.23209,
              0.25396,
              0.27897,
              0.30805,
              0.34256
            ],
            [
              0.08376,
              0.213,
              0.23205,
              0.25392,
              0.27893,
              0.30811,
              0.34263
            ],
            [
              0.0838,
              0.21294,
              0.23203,
              0.2539,
              0.27899,
              0.30806,
              0.34256
            ],
            [
              0.08383,
              0.213,
              0.23199,
              0.25392,
              0.27893,
              0.30806,
              0.3426
            ],
            [
              0.08376,
              0.21298,
              0.23206,
              0.25388,
              0.27897,
              0.30803,
              0.34253
            ],
            [
              0.0838,
              0.21296,
              0.23197,
              0.2539,
              0.279,
              0.308,
              0.3426
            ],
            [
              0.0838,
              0.2131,
              0.232,
              0.2539,
              0.2789,
              0.3081,
              0.3425
            ],
            [
              0.0838,
              0.2131,
              0.2322,
              0.2539,
              0.279,
              0.3081,
              0.3424
            ],
            [
              0.0839,
              0.2133,
              0.2322,
              0.2541,
              0.279,
              0.3082,
              0.3427
            ],
            [
              0.084,
              0.2135,
              0.2325,
              0.2543,
              0.2793,
              0.3083,
              0.3428
            ],
            [
              0.0843,
              0.2138,
              0.2328,
              0.2546,
              0.2795,
              0.3085,
              0.3429
            ]
          ]
        },
        "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.00515,
            0.00618,
            0.00742,
            0.0089,
            0.01068,
            0.01282
          ],
          "values": [
            [
              0.12426,
              0.67709,
              0.7882,
              0.92201,
              1.07919,
              1.2708,
              1.49932
            ],
            [
              0.12424,
              0.67713,
              0.78813,
              0.92056,
              1.079,
              1.27021,
              1.49959
            ],
            [
              0.12436,
              0.67717,
              0.78826,
              0.92061,
              1.07918,
              1.27079,
              1.49932
            ],
            [
              0.12435,
              0.67721,
              0.78844,
              0.92051,
              1.07905,
              1.27135,
              1.4994
            ],
            [
              0.12426,
              0.67706,
              0.78792,
              0.92169,
              1.0799,
              1.26989,
              1.50011
            ],
            [
              0.12427,
              0.67712,
              0.78791,
              0.92136,
              1.0798,
              1.26989,
              1.50034
            ],
            [
              0.12426,
              0.67742,
              0.78821,
              0.92206,
              1.07932,
              1.27208,
              1.49963
            ],
            [
              0.12433,
              0.67713,
              0.78819,
              0.92196,
              1.07926,
              1.27122,
              1.49944
            ],
            [
              0.12425,
              0.67804,
              0.78745,
              0.92046,
              1.07902,
              1.27,
              1.4997
            ],
            [
              0.12431,
              0.6777,
              0.7876,
              0.9204,
              1.0791,
              1.27,
              1.4996
            ],
            [
              0.1257,
              0.6771,
              0.7875,
              0.9203,
              1.0795,
              1.2698,
              1.499
            ],
            [
              0.1266,
              0.6773,
              0.7884,
              0.9204,
              1.0788,
              1.2708,
              1.4994
            ],
            [
              0.1277,
              0.6793,
              0.7899,
              0.9227,
              1.0812,
              1.2703,
              1.4994
            ]
          ]
        },
        "sdf_cond": "(!A0&S)",
        "timing_sense": "positive_unate",
        "when": "(!A0&S)"
      },
      {
        "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.00515,
            0.00618,
            0.00742,
            0.0089,
            0.01068,
            0.01282
          ],
          "values": [
            [
              0.74864,
              0.90787,
              0.92949,
              0.95389,
              0.98136,
              1.01267,
              1.04847
            ],
            [
              0.75109,
              0.91047,
              0.93202,
              0.95641,
              0.98385,
              1.01514,
              1.05094
            ],
            [
              0.75391,
              0.91341,
              0.93498,
              0.95934,
              0.98682,
              1.01812,
              1.05392
            ],
            [
              0.75848,
              0.91802,
              0.93966,
              0.96405,
              0.99157,
              1.02288,
              1.05858
            ],
            [
              0.76604,
              0.92575,
              0.94734,
              0.97171,
              0.99921,
              1.03051,
              1.06631
            ],
            [
              0.7787,
              0.93842,
              0.96002,
              0.98442,
              1.01192,
              1.04322,
              1.07902
            ],
            [
              0.79942,
              0.95913,
              0.98063,
              1.00503,
              1.03253,
              1.06383,
              1.09963
            ],
            [
              0.83165,
              0.99126,
              1.01276,
              1.03726,
              1.06476,
              1.09606,
              1.13186
            ],
            [
              0.88435,
              1.04305,
              1.06465,
              1.08905,
              1.11655,
              1.14785,
              1.18375
            ],
            [
              0.96579,
              1.12469,
              1.14619,
              1.17069,
              1.19819,
              1.22949,
              1.26529
            ],
            [
              1.08962,
              1.24872,
              1.27032,
              1.29472,
              1.32232,
              1.35362,
              1.38942
            ],
            [
              1.27807,
              1.43657,
              1.45817,
              1.48267,
              1.51017,
              1.54157,
              1.57737
            ],
            [
              1.5634,
              1.7215,
              1.7431,
              1.7676,
              1.7952,
              1.8266,
              1.8625
            ]
          ]
        },
        "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.00515,
            0.00618,
            0.00742,
            0.0089,
            0.01068,
            0.01282
          ],
          "values": [
            [
              0.30359,
              0.76476,
              0.85317,
              0.95836,
              1.08317,
              1.23307,
              1.41317
            ],
            [
              0.3069,
              0.76865,
              0.85709,
              0.96226,
              1.08664,
              1.23684,
              1.41704
            ],
            [
              0.31124,
              0.77305,
              0.86153,
              0.96672,
              1.09112,
              1.24122,
              1.42152
            ],
            [
              0.3172,
              0.77921,
              0.86774,
              0.97298,
              1.09728,
              1.24788,
              1.42798
            ],
            [
              0.32642,
              0.78871,
              0.87687,
              0.98221,
              1.10681,
              1.25701,
              1.43741
            ],
            [
              0.3403,
              0.80153,
              0.88994,
              0.99542,
              1.12012,
              1.27052,
              1.45102
            ],
            [
              0.36056,
              0.82051,
              0.90893,
              1.01463,
              1.13953,
              1.29023,
              1.47093
            ],
            [
              0.39044,
              0.84866,
              0.93756,
              1.04346,
              1.16906,
              1.31976,
              1.50056
            ],
            [
              0.43598,
              0.89315,
              0.98185,
              1.08755,
              1.21265,
              1.36365,
              1.54545
            ],
            [
              0.50016,
              0.95609,
              1.04459,
              1.15049,
              1.27619,
              1.42659,
              1.60849
            ],
            [
              0.58582,
              1.04032,
              1.12862,
              1.23492,
              1.36092,
              1.51102,
              1.69252
            ],
            [
              0.69717,
              1.15197,
              1.24007,
              1.34607,
              1.47137,
              1.62307,
              1.80417
            ],
            [
              0.8435,
              1.2984,
              1.3865,
              1.4924,
              1.6176,
              1.769,
              1.9499
            ]
          ]
        },
        "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.00515,
            0.00618,
            0.00742,
            0.0089,
            0.01068,
            0.01282
          ],
          "values": [
            [
              0.08172,
              0.19059,
              0.20861,
              0.2297,
              0.25448,
              0.28395,
              0.31884
            ],
            [
              0.0817,
              0.19052,
              0.20855,
              0.22965,
              0.25454,
              0.28389,
              0.31888
            ],
            [
              0.08173,
              0.19058,
              0.20856,
              0.22981,
              0.25443,
              0.28387,
              0.31879
            ],
            [
              0.0817,
              0.19054,
              0.20853,
              0.22964,
              0.25449,
              0.28385,
              0.31876
            ],
            [
              0.0817,
              0.19051,
              0.20848,
              0.22967,
              0.25453,
              0.28387,
              0.31885
            ],
            [
              0.08168,
              0.19056,
              0.20853,
              0.22974,
              0.25447,
              0.28389,
              0.31887
            ],
            [
              0.0817,
              0.19046,
              0.20852,
              0.22965,
              0.2544,
              0.2839,
              0.3188
            ],
            [
              0.08174,
              0.1906,
              0.2086,
              0.2296,
              0.2545,
              0.2839,
              0.3189
            ],
            [
              0.0817,
              0.1906,
              0.2086,
              0.2296,
              0.2545,
              0.2838,
              0.3187
            ],
            [
              0.0817,
              0.1906,
              0.2086,
              0.2296,
              0.2545,
              0.2838,
              0.3189
            ],
            [
              0.0817,
              0.1906,
              0.2087,
              0.2298,
              0.2546,
              0.284,
              0.3188
            ],
            [
              0.0818,
              0.1909,
              0.2088,
              0.23,
              0.2547,
              0.2839,
              0.3189
            ],
            [
              0.082,
              0.1912,
              0.2091,
              0.2302,
              0.2548,
              0.2841,
              0.319
            ]
          ]
        },
        "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.00515,
            0.00618,
            0.00742,
            0.0089,
            0.01068,
            0.01282
          ],
          "values": [
            [
              0.12437,
              0.67653,
              0.78741,
              0.92022,
              1.08026,
              1.27149,
              1.50013
            ],
            [
              0.12428,
              0.67649,
              0.78733,
              0.92086,
              1.07844,
              1.26945,
              1.4996
            ],
            [
              0.12436,
              0.67647,
              0.78737,
              0.92088,
              1.07845,
              1.26932,
              1.50032
            ],
            [
              0.12428,
              0.67646,
              0.78731,
              0.92076,
              1.07844,
              1.27139,
              1.50004
            ],
            [
              0.12432,
              0.67797,
              0.78734,
              0.92079,
              1.07852,
              1.26937,
              1.50004
            ],
            [
              0.12436,
              0.67668,
              0.78737,
              0.92079,
              1.07847,
              1.26937,
              1.50012
            ],
            [
              0.12436,
              0.67794,
              0.78757,
              0.92087,
              1.07847,
              1.26936,
              1.49984
            ],
            [
              0.12432,
              0.67645,
              0.78744,
              0.92078,
              1.08026,
              1.27141,
              1.50036
            ],
            [
              0.12436,
              0.67667,
              0.78766,
              0.92193,
              1.07844,
              1.2691,
              1.5009
            ],
            [
              0.12442,
              0.6766,
              0.7876,
              0.9202,
              1.0787,
              1.2691,
              1.4988
            ],
            [
              0.126,
              0.6765,
              0.7887,
              0.9209,
              1.0788,
              1.2691,
              1.4984
            ],
            [
              0.1272,
              0.6769,
              0.7876,
              0.9198,
              1.0783,
              1.2711,
              1.4989
            ],
            [
              0.1287,
              0.6788,
              0.7892,
              0.9223,
              1.0794,
              1.2697,
              1.4992
            ]
          ]
        },
        "sdf_cond": "(A0&S)",
        "timing_sense": "positive_unate",
        "when": "(A0&S)"
      },
      {
        "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.00515,
            0.00618,
            0.00742,
            0.0089,
            0.01068,
            0.01282
          ],
          "values": [
            [
              0.72572,
              0.88413,
              0.90564,
              0.93,
              0.95744,
              0.9887,
              1.02447
            ],
            [
              0.72857,
              0.88701,
              0.90851,
              0.93287,
              0.96031,
              0.99154,
              1.02734
            ],
            [
              0.73246,
              0.89096,
              0.91247,
              0.93683,
              0.96428,
              0.99552,
              1.03132
            ],
            [
              0.73886,
              0.89743,
              0.91897,
              0.94332,
              0.97078,
              1.00208,
              1.03788
            ],
            [
              0.74899,
              0.90762,
              0.92915,
              0.95351,
              0.98101,
              1.01231,
              1.04801
            ],
            [
              0.76496,
              0.92364,
              0.94512,
              0.96952,
              0.99692,
              1.02822,
              1.06412
            ],
            [
              0.78975,
              0.94843,
              0.96993,
              0.99433,
              1.02173,
              1.05303,
              1.08883
            ],
            [
              0.82686,
              0.98546,
              1.00696,
              1.03136,
              1.05886,
              1.09016,
              1.12596
            ],
            [
              0.88205,
              1.04055,
              1.06215,
              1.08645,
              1.11395,
              1.14525,
              1.18105
            ],
            [
              0.96399,
              1.12239,
              1.14389,
              1.16829,
              1.19579,
              1.22709,
              1.26279
            ],
            [
              1.08632,
              1.24452,
              1.26602,
              1.29042,
              1.31782,
              1.34912,
              1.38492
            ],
            [
              1.26947,
              1.42727,
              1.44877,
              1.47317,
              1.50067,
              1.53197,
              1.56777
            ],
            [
              1.5441,
              1.7013,
              1.7228,
              1.7471,
              1.7746,
              1.8059,
              1.8417
            ]
          ]
        },
        "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.00515,
            0.00618,
            0.00742,
            0.0089,
            0.01068,
            0.01282
          ],
          "values": [
            [
              0.2974,
              0.75876,
              0.84649,
              0.95126,
              1.07647,
              1.22707,
              1.40707
            ],
            [
              0.30109,
              0.76264,
              0.85044,
              0.95518,
              1.08034,
              1.23084,
              1.41094
            ],
            [
              0.30544,
              0.76704,
              0.85456,
              0.95975,
              1.08462,
              1.23522,
              1.41562
            ],
            [
              0.31171,
              0.77355,
              0.86074,
              0.96647,
              1.09158,
              1.24148,
              1.42207
            ],
            [
              0.32073,
              0.78248,
              0.86997,
              0.97541,
              1.10041,
              1.25061,
              1.43121
            ],
            [
              0.33401,
              0.79524,
              0.8834,
              0.98872,
              1.11382,
              1.26332,
              1.44382
            ],
            [
              0.35326,
              0.81392,
              0.90193,
              1.00673,
              1.13203,
              1.28293,
              1.46333
            ],
            [
              0.3818,
              0.84116,
              0.92916,
              1.03516,
              1.16026,
              1.31056,
              1.49146
            ],
            [
              0.42429,
              0.88205,
              0.97065,
              1.07625,
              1.20215,
              1.35315,
              1.53325
            ],
            [
              0.48494,
              0.94199,
              1.03039,
              1.13589,
              1.26159,
              1.41299,
              1.59359
            ],
            [
              0.56802,
              1.02352,
              1.11212,
              1.21792,
              1.34332,
              1.49502,
              1.67582
            ],
            [
              0.67987,
              1.13437,
              1.22247,
              1.32857,
              1.45417,
              1.60577,
              1.78587
            ],
            [
              0.8296,
              1.2831,
              1.3712,
              1.4772,
              1.6024,
              1.754,
              1.9348
            ]
          ]
        },
        "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.00515,
            0.00618,
            0.00742,
            0.0089,
            0.01068,
            0.01282
          ],
          "values": [
            [
              0.08074,
              0.18981,
              0.20787,
              0.22907,
              0.2539,
              0.28333,
              0.31851
            ],
            [
              0.08073,
              0.18978,
              0.2079,
              0.22916,
              0.25394,
              0.28338,
              0.31857
            ],
            [
              0.08075,
              0.18984,
              0.2079,
              0.22907,
              0.25399,
              0.28333,
              0.31851
            ],
            [
              0.08078,
              0.18983,
              0.20787,
              0.22908,
              0.254,
              0.28342,
              0.31848
            ],
            [
              0.08081,
              0.18989,
              0.20783,
              0.22912,
              0.25394,
              0.28346,
              0.31853
            ],
            [
              0.08081,
              0.18988,
              0.20798,
              0.22915,
              0.25405,
              0.28345,
              0.31849
            ],
            [
              0.08083,
              0.18984,
              0.20791,
              0.22918,
              0.25407,
              0.2835,
              0.3185
            ],
            [
              0.08088,
              0.1898,
              0.208,
              0.2291,
              0.2539,
              0.2835,
              0.3185
            ],
            [
              0.0809,
              0.1899,
              0.208,
              0.2292,
              0.254,
              0.2835,
              0.3186
            ],
            [
              0.0808,
              0.1899,
              0.2078,
              0.2291,
              0.2539,
              0.2834,
              0.3185
            ],
            [
              0.0807,
              0.1898,
              0.2078,
              0.2291,
              0.2539,
              0.2834,
              0.3185
            ],
            [
              0.0805,
              0.1898,
              0.2078,
              0.2289,
              0.2538,
              0.2832,
              0.3184
            ],
            [
              0.0803,
              0.1896,
              0.2077,
              0.2289,
              0.2537,
              0.2832,
              0.3182
            ]
          ]
        },
        "related_pin": "S",
        "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.00515,
            0.00618,
            0.00742,
            0.0089,
            0.01068,
            0.01282
          ],
          "values": [
            [
              0.12433,
              0.67746,
              0.78841,
              0.92049,
              1.07925,
              1.27021,
              1.49977
            ],
            [
              0.12432,
              0.6771,
              0.78818,
              0.92058,
              1.07922,
              1.27023,
              1.50103
            ],
            [
              0.12434,
              0.67798,
              0.78935,
              0.92045,
              1.07909,
              1.27004,
              1.49951
            ],
            [
              0.12428,
              0.67709,
              0.78754,
              0.92041,
              1.07899,
              1.27001,
              1.4997
            ],
            [
              0.12433,
              0.67793,
              0.78934,
              0.92037,
              1.07905,
              1.27002,
              1.49949
            ],
            [
              0.12436,
              0.67707,
              0.78765,
              0.92144,
              1.07908,
              1.26981,
              1.49935
            ],
            [
              0.12427,
              0.67711,
              0.78831,
              0.92043,
              1.07913,
              1.27014,
              1.49964
            ],
            [
              0.12428,
              0.6786,
              0.78747,
              0.92053,
              1.07897,
              1.26997,
              1.4993
            ],
            [
              0.12431,
              0.6784,
              0.78745,
              0.92033,
              1.08074,
              1.27012,
              1.499
            ],
            [
              0.12428,
              0.67783,
              0.7876,
              0.9203,
              1.0792,
              1.2711,
              1.4995
            ],
            [
              0.1249,
              0.677,
              0.7877,
              0.9205,
              1.0791,
              1.2702,
              1.4991
            ],
            [
              0.1257,
              0.6783,
              0.7878,
              0.9204,
              1.0802,
              1.27,
              1.5023
            ],
            [
              0.1265,
              0.6783,
              0.7889,
              0.9217,
              1.0806,
              1.2698,
              1.4997
            ]
          ]
        },
        "sdf_cond": "(!A0&A1)",
        "timing_sense": "positive_unate",
        "when": "(!A0&A1)"
      },
      {
        "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.00515,
            0.00618,
            0.00742,
            0.0089,
            0.01068,
            0.01282
          ],
          "values": [
            [
              0.88638,
              1.04607,
              1.06757,
              1.09197,
              1.11947,
              1.15067,
              1.18647
            ],
            [
              0.8905,
              1.05024,
              1.07184,
              1.09624,
              1.12364,
              1.15494,
              1.19074
            ],
            [
              0.89538,
              1.05522,
              1.07682,
              1.10112,
              1.12862,
              1.15992,
              1.19562
            ],
            [
              0.9027,
              1.06258,
              1.08418,
              1.10848,
              1.13598,
              1.16728,
              1.20308
            ],
            [
              0.91327,
              1.07321,
              1.09471,
              1.11911,
              1.14651,
              1.17781,
              1.21361
            ],
            [
              0.92852,
              1.08832,
              1.10992,
              1.13432,
              1.16172,
              1.19302,
              1.22882
            ],
            [
              0.95083,
              1.11063,
              1.13223,
              1.15663,
              1.18403,
              1.21533,
              1.25113
            ],
            [
              0.98416,
              1.14386,
              1.16546,
              1.18976,
              1.21726,
              1.24856,
              1.28436
            ],
            [
              1.03495,
              1.19455,
              1.21615,
              1.24045,
              1.26795,
              1.29925,
              1.33505
            ],
            [
              1.10739,
              1.26689,
              1.28849,
              1.31289,
              1.34039,
              1.37159,
              1.40739
            ],
            [
              1.20432,
              1.36372,
              1.38522,
              1.40972,
              1.43712,
              1.46842,
              1.50422
            ],
            [
              1.33377,
              1.49307,
              1.51457,
              1.53907,
              1.56647,
              1.59777,
              1.63357
            ],
            [
              1.5066,
              1.6659,
              1.6875,
              1.7119,
              1.7393,
              1.7706,
              1.8064
            ]
          ]
        },
        "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.00515,
            0.00618,
            0.00742,
            0.0089,
            0.01068,
            0.01282
          ],
          "values": [
            [
              0.82251,
              1.27767,
              1.36567,
              1.47137,
              1.59737,
              1.74807,
              1.92767
            ],
            [
              0.82421,
              1.27934,
              1.36744,
              1.47284,
              1.59864,
              1.74974,
              1.92914
            ],
            [
              0.82666,
              1.28182,
              1.36982,
              1.47562,
              1.60152,
              1.75222,
              1.93182
            ],
            [
              0.8311,
              1.28618,
              1.37438,
              1.47978,
              1.60557,
              1.75667,
              1.93588
            ],
            [
              0.83873,
              1.29391,
              1.38181,
              1.48761,
              1.61341,
              1.76441,
              1.94331
            ],
            [
              0.85191,
              1.30702,
              1.39522,
              1.50042,
              1.62632,
              1.77742,
              1.95682
            ],
            [
              0.87416,
              1.32933,
              1.41753,
              1.52273,
              1.64833,
              1.79963,
              1.97903
            ],
            [
              0.91016,
              1.36556,
              1.45376,
              1.55896,
              1.68436,
              1.83606,
              2.01556
            ],
            [
              0.96735,
              1.42265,
              1.51085,
              1.61605,
              1.74165,
              1.89325,
              2.07275
            ],
            [
              1.05599,
              1.51119,
              1.59939,
              1.70459,
              1.83009,
              1.98139,
              2.16089
            ],
            [
              1.19082,
              1.64602,
              1.73412,
              1.83982,
              1.96562,
              2.11622,
              2.29572
            ],
            [
              1.39497,
              1.85037,
              1.93857,
              2.04377,
              2.16897,
              2.32067,
              2.50027
            ],
            [
              1.7024,
              2.1575,
              2.2455,
              2.3512,
              2.4766,
              2.6274,
              2.8074
            ]
          ]
        },
        "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.00515,
            0.00618,
            0.00742,
            0.0089,
            0.01068,
            0.01282
          ],
          "values": [
            [
              0.08174,
              0.19054,
              0.20849,
              0.22958,
              0.25447,
              0.284,
              0.3189
            ],
            [
              0.08173,
              0.19047,
              0.20847,
              0.22973,
              0.2545,
              0.2839,
              0.3188
            ],
            [
              0.08174,
              0.1904,
              0.20852,
              0.2297,
              0.2545,
              0.2838,
              0.3188
            ],
            [
              0.08173,
              0.1905,
              0.2085,
              0.2298,
              0.2545,
              0.2838,
              0.3187
            ],
            [
              0.08176,
              0.1904,
              0.2085,
              0.2297,
              0.2545,
              0.2839,
              0.3189
            ],
            [
              0.08174,
              0.1905,
              0.2085,
              0.2297,
              0.2545,
              0.2837,
              0.3188
            ],
            [
              0.0817,
              0.1905,
              0.2085,
              0.2297,
              0.2545,
              0.2839,
              0.3188
            ],
            [
              0.0817,
              0.1904,
              0.2085,
              0.2297,
              0.2546,
              0.2839,
              0.3189
            ],
            [
              0.0817,
              0.1904,
              0.2085,
              0.2297,
              0.2545,
              0.2838,
              0.3188
            ],
            [
              0.0817,
              0.1906,
              0.2085,
              0.2296,
              0.2545,
              0.2839,
              0.3189
            ],
            [
              0.0817,
              0.1905,
              0.2086,
              0.2297,
              0.2544,
              0.2838,
              0.3188
            ],
            [
              0.0817,
              0.1906,
              0.2086,
              0.2297,
              0.2546,
              0.2839,
              0.3189
            ],
            [
              0.0817,
              0.1906,
              0.2086,
              0.2297,
              0.2545,
              0.2839,
              0.3188
            ]
          ]
        },
        "related_pin": "S",
        "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.00515,
            0.00618,
            0.00742,
            0.0089,
            0.01068,
            0.01282
          ],
          "values": [
            [
              0.12533,
              0.67826,
              0.7891,
              0.9222,
              1.0795,
              1.27,
              1.499
            ],
            [
              0.12538,
              0.67824,
              0.7875,
              0.9221,
              1.081,
              1.2698,
              1.5019
            ],
            [
              0.12532,
              0.67825,
              0.7891,
              0.9222,
              1.0794,
              1.27,
              1.4989
            ],
            [
              0.12538,
              0.67828,
              0.7875,
              0.9222,
              1.081,
              1.2698,
              1.5018
            ],
            [
              0.12538,
              0.6783,
              0.7891,
              0.9222,
              1.0797,
              1.2699,
              1.5017
            ],
            [
              0.12536,
              0.6783,
              0.7874,
              0.9221,
              1.081,
              1.2698,
              1.5019
            ],
            [
              0.12537,
              0.6783,
              0.7874,
              0.9222,
              1.081,
              1.2698,
              1.5021
            ],
            [
              0.1254,
              0.6783,
              0.7875,
              0.9203,
              1.081,
              1.2699,
              1.499
            ],
            [
              0.1254,
              0.6783,
              0.7875,
              0.9221,
              1.0811,
              1.2699,
              1.499
            ],
            [
              0.1254,
              0.6783,
              0.7875,
              0.9221,
              1.081,
              1.2699,
              1.5021
            ],
            [
              0.1254,
              0.6783,
              0.7891,
              0.9211,
              1.0793,
              1.2698,
              1.502
            ],
            [
              0.1254,
              0.6783,
              0.7877,
              0.9204,
              1.0811,
              1.2699,
              1.499
            ],
            [
              0.1253,
              0.6783,
              0.7892,
              0.9204,
              1.0789,
              1.2698,
              1.4988
            ]
          ]
        },
        "sdf_cond": "(A0&!A1)",
        "timing_sense": "negative_unate",
        "when": "(A0&!A1)"
      }
    ]
  }
}