{
  "area": 14.3856,
  "cell_footprint": "sky130_fd_sc_lp__mux2",
  "cell_leakage_power": 0.0,
  "pg_pin,VGND": {
    "pg_type": "primary_ground",
    "related_bias_pin": "VPB",
    "voltage_name": "VGND"
  },
  "pg_pin,VNB": {
    "pg_type": "nwell",
    "physical_connection": "device_layer",
    "voltage_name": "VNB"
  },
  "pg_pin,VPB": {
    "pg_type": "pwell",
    "physical_connection": "device_layer",
    "voltage_name": "VPB"
  },
  "pg_pin,VPWR": {
    "pg_type": "primary_power",
    "related_bias_pin": "VNB",
    "voltage_name": "VPWR"
  },
  "pin,A0": {
    "capacitance": 0.00176,
    "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.00452,
          0.00532,
          0.0036,
          0.00338,
          0.00344,
          0.00344,
          0.00346,
          0.00335,
          0.00335,
          0.00363,
          0.00365,
          0.00394,
          0.00395
        ]
      },
      "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.00692,
          0.00692,
          0.00603,
          0.00524,
          0.00533,
          0.00524,
          0.00522,
          0.00522,
          0.00523,
          0.00568,
          0.0057,
          0.00619,
          0.00627
        ]
      }
    },
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,A1": {
    "capacitance": 0.0018,
    "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.00586,
          0.00597,
          0.00572,
          0.00522,
          0.00527,
          0.00527,
          0.00524,
          0.0052,
          0.00518,
          0.00561,
          0.00561,
          0.00608,
          0.00613
        ]
      },
      "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.00358,
          0.00438,
          0.00339,
          0.00323,
          0.00326,
          0.00323,
          0.00318,
          0.00315,
          0.00315,
          0.00343,
          0.00343,
          0.0037,
          0.00372
        ]
      }
    },
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,S": {
    "capacitance": 0.00399,
    "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.01006,
          0.0109,
          0.00927,
          0.00908,
          0.00892,
          0.00887,
          0.00871,
          0.00863,
          0.00858,
          0.00924,
          0.00921,
          0.0099,
          0.00989
        ]
      },
      "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.00211,
          0.00285,
          0.00264,
          0.00182,
          0.00195,
          0.00197,
          0.00194,
          0.00195,
          0.00198,
          0.00221,
          0.00227,
          0.00251,
          0.0026
        ]
      }
    },
    "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.00443,
            0.00531,
            0.00637,
            0.00765,
            0.00918,
            0.01101
          ],
          "values": [
            [
              0.01197,
              0.00693,
              0.00589,
              0.00463,
              0.00312,
              0.0013,
              -0.00089
            ],
            [
              0.01199,
              0.00694,
              0.00591,
              0.00465,
              0.00313,
              0.00131,
              -0.00087
            ],
            [
              0.01197,
              0.00692,
              0.00589,
              0.00463,
              0.00311,
              0.00129,
              -0.00089
            ],
            [
              0.01194,
              0.00689,
              0.00586,
              0.00461,
              0.00309,
              0.00127,
              -0.00091
            ],
            [
              0.0119,
              0.00686,
              0.00583,
              0.00457,
              0.00306,
              0.00124,
              -0.00094
            ],
            [
              0.01186,
              0.00682,
              0.00578,
              0.00453,
              0.00301,
              0.00119,
              -0.00099
            ],
            [
              0.01181,
              0.00677,
              0.00573,
              0.00448,
              0.00296,
              0.00114,
              -0.00104
            ],
            [
              0.01176,
              0.00671,
              0.00568,
              0.00442,
              0.00291,
              0.00109,
              -0.00109
            ],
            [
              0.01171,
              0.00666,
              0.00563,
              0.00437,
              0.00285,
              0.00103,
              -0.00114
            ],
            [
              0.01168,
              0.00662,
              0.00559,
              0.00433,
              0.00282,
              0.001,
              -0.00118
            ],
            [
              0.01165,
              0.00658,
              0.00555,
              0.0043,
              0.00278,
              0.00096,
              -0.00122
            ],
            [
              0.01162,
              0.00654,
              0.00551,
              0.00426,
              0.00274,
              0.00092,
              -0.00126
            ],
            [
              0.01158,
              0.00649,
              0.00545,
              0.0042,
              0.00269,
              0.00087,
              -0.0013
            ]
          ]
        },
        "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.00443,
            0.00531,
            0.00637,
            0.00765,
            0.00918,
            0.01101
          ],
          "values": [
            [
              0.00533,
              0.01092,
              0.01198,
              0.01325,
              0.01479,
              0.01663,
              0.01881
            ],
            [
              0.00533,
              0.0109,
              0.01196,
              0.01324,
              0.01478,
              0.01661,
              0.0188
            ],
            [
              0.00532,
              0.01092,
              0.01198,
              0.01326,
              0.01479,
              0.01663,
              0.01881
            ],
            [
              0.00533,
              0.01092,
              0.01199,
              0.01327,
              0.0148,
              0.01663,
              0.01882
            ],
            [
              0.00533,
              0.01092,
              0.01199,
              0.01326,
              0.0148,
              0.01664,
              0.01883
            ],
            [
              0.00533,
              0.01091,
              0.01197,
              0.01325,
              0.01479,
              0.01663,
              0.01882
            ],
            [
              0.00531,
              0.01087,
              0.01194,
              0.01322,
              0.01477,
              0.01661,
              0.0188
            ],
            [
              0.00527,
              0.01082,
              0.0119,
              0.01318,
              0.01473,
              0.01656,
              0.01876
            ],
            [
              0.00522,
              0.01077,
              0.01184,
              0.01311,
              0.01466,
              0.01651,
              0.01871
            ],
            [
              0.00516,
              0.01069,
              0.01176,
              0.01305,
              0.0146,
              0.01644,
              0.01864
            ],
            [
              0.00509,
              0.01062,
              0.01169,
              0.01297,
              0.01452,
              0.01636,
              0.01857
            ],
            [
              0.00502,
              0.01053,
              0.0116,
              0.01289,
              0.01444,
              0.01629,
              0.01849
            ],
            [
              0.00496,
              0.01045,
              0.01152,
              0.01281,
              0.01435,
              0.0162,
              0.0184
            ]
          ]
        },
        "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.00443,
            0.00531,
            0.00637,
            0.00765,
            0.00918,
            0.01101
          ],
          "values": [
            [
              0.01242,
              0.00735,
              0.00631,
              0.00505,
              0.00353,
              0.00171,
              -0.00047
            ],
            [
              0.0124,
              0.00735,
              0.00631,
              0.00506,
              0.00353,
              0.00171,
              -0.00047
            ],
            [
              0.01239,
              0.00733,
              0.00629,
              0.00504,
              0.00352,
              0.00169,
              -0.00049
            ],
            [
              0.01236,
              0.0073,
              0.00626,
              0.00501,
              0.00349,
              0.00166,
              -0.00052
            ],
            [
              0.01231,
              0.00726,
              0.00623,
              0.00497,
              0.00345,
              0.00163,
              -0.00056
            ],
            [
              0.01227,
              0.00722,
              0.00618,
              0.00492,
              0.0034,
              0.00158,
              -0.00061
            ],
            [
              0.01222,
              0.00716,
              0.00612,
              0.00486,
              0.00334,
              0.00152,
              -0.00066
            ],
            [
              0.01216,
              0.0071,
              0.00606,
              0.00481,
              0.00329,
              0.00146,
              -0.00072
            ],
            [
              0.01211,
              0.00704,
              0.006,
              0.00475,
              0.00323,
              0.0014,
              -0.00078
            ],
            [
              0.01206,
              0.00699,
              0.00596,
              0.0047,
              0.00318,
              0.00136,
              -0.00082
            ],
            [
              0.01202,
              0.00694,
              0.00591,
              0.00465,
              0.00313,
              0.00131,
              -0.00087
            ],
            [
              0.01199,
              0.0069,
              0.00586,
              0.00461,
              0.00309,
              0.00127,
              -0.00091
            ],
            [
              0.01195,
              0.00684,
              0.00581,
              0.00455,
              0.00304,
              0.00122,
              -0.00096
            ]
          ]
        },
        "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.00443,
            0.00531,
            0.00637,
            0.00765,
            0.00918,
            0.01101
          ],
          "values": [
            [
              0.00512,
              0.01076,
              0.01183,
              0.01311,
              0.01465,
              0.01649,
              0.01868
            ],
            [
              0.0051,
              0.01074,
              0.01182,
              0.0131,
              0.01464,
              0.01648,
              0.01867
            ],
            [
              0.00511,
              0.01076,
              0.01183,
              0.01311,
              0.01466,
              0.01649,
              0.01869
            ],
            [
              0.00511,
              0.01077,
              0.01184,
              0.01313,
              0.01467,
              0.01651,
              0.0187
            ],
            [
              0.00511,
              0.01076,
              0.01183,
              0.01312,
              0.01466,
              0.0165,
              0.01869
            ],
            [
              0.00511,
              0.01074,
              0.01182,
              0.0131,
              0.01465,
              0.01649,
              0.01869
            ],
            [
              0.00509,
              0.01071,
              0.01179,
              0.01307,
              0.01462,
              0.01647,
              0.01866
            ],
            [
              0.00505,
              0.01065,
              0.01173,
              0.01302,
              0.01456,
              0.01641,
              0.01862
            ],
            [
              0.00499,
              0.01058,
              0.01166,
              0.01295,
              0.0145,
              0.01635,
              0.01855
            ],
            [
              0.00493,
              0.0105,
              0.01157,
              0.01287,
              0.01442,
              0.01627,
              0.01848
            ],
            [
              0.00485,
              0.0104,
              0.01148,
              0.01277,
              0.01432,
              0.01618,
              0.01839
            ],
            [
              0.00478,
              0.01031,
              0.01138,
              0.01267,
              0.01423,
              0.01608,
              0.01828
            ],
            [
              0.00471,
              0.01021,
              0.01129,
              0.01258,
              0.01412,
              0.01599,
              0.01818
            ]
          ]
        },
        "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.00443,
            0.00531,
            0.00637,
            0.00765,
            0.00918,
            0.01101
          ],
          "values": [
            [
              0.02141,
              0.01636,
              0.01532,
              0.01407,
              0.01255,
              0.01073,
              0.00855
            ],
            [
              0.02131,
              0.01627,
              0.01523,
              0.01397,
              0.01246,
              0.01064,
              0.00846
            ],
            [
              0.02125,
              0.01621,
              0.01517,
              0.01392,
              0.0124,
              0.01058,
              0.0084
            ],
            [
              0.02119,
              0.01615,
              0.01511,
              0.01386,
              0.01234,
              0.01052,
              0.00834
            ],
            [
              0.02111,
              0.01606,
              0.01502,
              0.01377,
              0.01225,
              0.01043,
              0.00825
            ],
            [
              0.02099,
              0.01595,
              0.01491,
              0.01366,
              0.01214,
              0.01032,
              0.00814
            ],
            [
              0.0209,
              0.01585,
              0.01481,
              0.01356,
              0.01204,
              0.01022,
              0.00805
            ],
            [
              0.0208,
              0.01576,
              0.01472,
              0.01347,
              0.01195,
              0.01014,
              0.00795
            ],
            [
              0.02072,
              0.01568,
              0.01464,
              0.01339,
              0.01187,
              0.01005,
              0.00787
            ],
            [
              0.02066,
              0.01561,
              0.01457,
              0.01331,
              0.0118,
              0.00998,
              0.0078
            ],
            [
              0.0206,
              0.01555,
              0.01451,
              0.01326,
              0.01174,
              0.00992,
              0.00774
            ],
            [
              0.02055,
              0.01549,
              0.01445,
              0.0132,
              0.01168,
              0.00987,
              0.00769
            ],
            [
              0.02047,
              0.0154,
              0.01437,
              0.01312,
              0.0116,
              0.00979,
              0.00761
            ]
          ]
        },
        "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.00443,
            0.00531,
            0.00637,
            0.00765,
            0.00918,
            0.01101
          ],
          "values": [
            [
              0.00568,
              0.01131,
              0.01238,
              0.01366,
              0.0152,
              0.01704,
              0.01923
            ],
            [
              0.00566,
              0.01129,
              0.01236,
              0.01364,
              0.01519,
              0.01702,
              0.01921
            ],
            [
              0.00563,
              0.01126,
              0.01234,
              0.01362,
              0.01516,
              0.017,
              0.01919
            ],
            [
              0.00561,
              0.01124,
              0.01231,
              0.0136,
              0.01514,
              0.01698,
              0.01917
            ],
            [
              0.00558,
              0.01121,
              0.01228,
              0.01356,
              0.01511,
              0.01695,
              0.01914
            ],
            [
              0.00554,
              0.01117,
              0.01224,
              0.01353,
              0.01507,
              0.01691,
              0.01911
            ],
            [
              0.00549,
              0.01111,
              0.01218,
              0.01346,
              0.01501,
              0.01685,
              0.01905
            ],
            [
              0.00543,
              0.01103,
              0.01211,
              0.01339,
              0.01494,
              0.01678,
              0.01899
            ],
            [
              0.00535,
              0.01094,
              0.01201,
              0.0133,
              0.01485,
              0.0167,
              0.0189
            ],
            [
              0.00525,
              0.01082,
              0.01189,
              0.01319,
              0.01474,
              0.01659,
              0.0188
            ],
            [
              0.00514,
              0.01069,
              0.01177,
              0.01306,
              0.01461,
              0.01647,
              0.01867
            ],
            [
              0.00502,
              0.01055,
              0.01163,
              0.01292,
              0.01448,
              0.01632,
              0.01854
            ],
            [
              0.00491,
              0.01042,
              0.0115,
              0.01279,
              0.01433,
              0.01621,
              0.0184
            ]
          ]
        },
        "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.00443,
            0.00531,
            0.00637,
            0.00765,
            0.00918,
            0.01101
          ],
          "values": [
            [
              0.01424,
              0.00918,
              0.00814,
              0.00689,
              0.00537,
              0.00355,
              0.00136
            ],
            [
              0.01419,
              0.00913,
              0.00809,
              0.00684,
              0.00532,
              0.0035,
              0.00131
            ],
            [
              0.01413,
              0.00908,
              0.00804,
              0.00678,
              0.00526,
              0.00344,
              0.00126
            ],
            [
              0.01408,
              0.00903,
              0.00799,
              0.00673,
              0.00521,
              0.00339,
              0.00121
            ],
            [
              0.014,
              0.00895,
              0.00791,
              0.00665,
              0.00513,
              0.00331,
              0.00113
            ],
            [
              0.01389,
              0.00884,
              0.0078,
              0.00655,
              0.00502,
              0.0032,
              0.00102
            ],
            [
              0.01378,
              0.00873,
              0.00769,
              0.00643,
              0.00491,
              0.00309,
              0.00091
            ],
            [
              0.01365,
              0.00859,
              0.00756,
              0.0063,
              0.00478,
              0.00296,
              0.00078
            ],
            [
              0.0135,
              0.00844,
              0.0074,
              0.00614,
              0.00463,
              0.00281,
              0.00062
            ],
            [
              0.01334,
              0.00828,
              0.00725,
              0.00599,
              0.00447,
              0.00265,
              0.00047
            ],
            [
              0.01319,
              0.00813,
              0.00709,
              0.00584,
              0.00432,
              0.0025,
              0.00031
            ],
            [
              0.01304,
              0.00797,
              0.00694,
              0.00568,
              0.00416,
              0.00234,
              0.00016
            ],
            [
              0.0129,
              0.00783,
              0.00678,
              0.00554,
              0.00402,
              0.00219,
              1e-05
            ]
          ]
        },
        "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.00443,
            0.00531,
            0.00637,
            0.00765,
            0.00918,
            0.01101
          ],
          "values": [
            [
              0.01659,
              0.02214,
              0.02322,
              0.02451,
              0.02606,
              0.02789,
              0.03008
            ],
            [
              0.01655,
              0.0221,
              0.02316,
              0.02445,
              0.02599,
              0.02784,
              0.03004
            ],
            [
              0.0165,
              0.02205,
              0.02312,
              0.0244,
              0.02595,
              0.0278,
              0.03
            ],
            [
              0.01644,
              0.02199,
              0.02305,
              0.02433,
              0.02588,
              0.02773,
              0.02993
            ],
            [
              0.01638,
              0.02193,
              0.02299,
              0.02428,
              0.02582,
              0.02767,
              0.02988
            ],
            [
              0.0163,
              0.02185,
              0.02291,
              0.02419,
              0.02574,
              0.02759,
              0.02979
            ],
            [
              0.01622,
              0.02177,
              0.02283,
              0.02411,
              0.02566,
              0.02751,
              0.02971
            ],
            [
              0.01614,
              0.02169,
              0.02275,
              0.02404,
              0.02558,
              0.02743,
              0.02963
            ],
            [
              0.01607,
              0.02162,
              0.02269,
              0.02397,
              0.02552,
              0.02737,
              0.02957
            ],
            [
              0.01602,
              0.02157,
              0.02263,
              0.02391,
              0.02546,
              0.02731,
              0.02951
            ],
            [
              0.01596,
              0.02151,
              0.02259,
              0.02388,
              0.02543,
              0.02726,
              0.02945
            ],
            [
              0.01591,
              0.02146,
              0.02253,
              0.02383,
              0.02536,
              0.0272,
              0.0294
            ],
            [
              0.01585,
              0.0214,
              0.02248,
              0.02377,
              0.0253,
              0.02715,
              0.02934
            ]
          ]
        },
        "when": "(A0&!A1)"
      }
    ],
    "max_capacitance": 0.01101,
    "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.00443,
            0.00531,
            0.00637,
            0.00765,
            0.00918,
            0.01101
          ],
          "values": [
            [
              0.77742,
              0.9542,
              0.97874,
              1.00617,
              1.03687,
              1.07097,
              1.10917
            ],
            [
              0.77943,
              0.95631,
              0.98088,
              1.00834,
              1.03894,
              1.07314,
              1.11134
            ],
            [
              0.78196,
              0.95891,
              0.98342,
              1.01092,
              1.04162,
              1.07572,
              1.11392
            ],
            [
              0.7858,
              0.963,
              0.98747,
              1.01497,
              1.04568,
              1.07978,
              1.11797
            ],
            [
              0.79291,
              0.97011,
              0.99471,
              1.02211,
              1.05281,
              1.08701,
              1.12521
            ],
            [
              0.8054,
              0.98262,
              1.00712,
              1.03462,
              1.06532,
              1.09942,
              1.13762
            ],
            [
              0.82608,
              1.00323,
              1.02783,
              1.05523,
              1.08593,
              1.12013,
              1.15833
            ],
            [
              0.85906,
              1.03606,
              1.06066,
              1.08806,
              1.11876,
              1.15376,
              1.19196
            ],
            [
              0.91315,
              1.08995,
              1.11445,
              1.14195,
              1.17265,
              1.20685,
              1.24505
            ],
            [
              0.99669,
              1.17299,
              1.19759,
              1.22499,
              1.25579,
              1.28989,
              1.32819
            ],
            [
              1.12412,
              1.30032,
              1.32492,
              1.35242,
              1.38312,
              1.41732,
              1.45552
            ],
            [
              1.31747,
              1.49317,
              1.51787,
              1.54537,
              1.57607,
              1.61037,
              1.64857
            ],
            [
              1.6092,
              1.7846,
              1.8092,
              1.8368,
              1.8676,
              1.9019,
              1.9402
            ]
          ]
        },
        "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.00443,
            0.00531,
            0.00637,
            0.00765,
            0.00918,
            0.01101
          ],
          "values": [
            [
              0.32967,
              0.78392,
              0.8702,
              0.97376,
              1.09827,
              1.24617,
              1.42417
            ],
            [
              0.33338,
              0.7878,
              0.87415,
              0.97772,
              1.10224,
              1.25024,
              1.42824
            ],
            [
              0.33784,
              0.79244,
              0.87907,
              0.98272,
              1.10732,
              1.25592,
              1.43182
            ],
            [
              0.34436,
              0.79932,
              0.88555,
              0.98908,
              1.11428,
              1.26238,
              1.43958
            ],
            [
              0.35433,
              0.80944,
              0.89592,
              0.99961,
              1.12421,
              1.27211,
              1.44991
            ],
            [
              0.36898,
              0.82359,
              0.91013,
              1.01402,
              1.13842,
              1.28672,
              1.46482
            ],
            [
              0.39058,
              0.84369,
              0.93073,
              1.03433,
              1.15903,
              1.30783,
              1.48603
            ],
            [
              0.42229,
              0.87426,
              0.96066,
              1.06466,
              1.18966,
              1.33906,
              1.51716
            ],
            [
              0.46978,
              0.92055,
              1.00745,
              1.11165,
              1.23675,
              1.38525,
              1.56415
            ],
            [
              0.53801,
              0.98819,
              1.07479,
              1.17829,
              1.30409,
              1.45359,
              1.63109
            ],
            [
              0.63002,
              1.07892,
              1.16592,
              1.26992,
              1.39532,
              1.54452,
              1.72232
            ],
            [
              0.75117,
              1.19957,
              1.28667,
              1.39047,
              1.51547,
              1.66557,
              1.84347
            ],
            [
              0.9107,
              1.3603,
              1.4467,
              1.5507,
              1.6759,
              1.8249,
              2.0035
            ]
          ]
        },
        "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.00443,
            0.00531,
            0.00637,
            0.00765,
            0.00918,
            0.01101
          ],
          "values": [
            [
              0.09437,
              0.22105,
              0.23998,
              0.2615,
              0.28599,
              0.31416,
              0.34671
            ],
            [
              0.09436,
              0.2211,
              0.24001,
              0.26151,
              0.28593,
              0.31407,
              0.34666
            ],
            [
              0.09446,
              0.22108,
              0.24001,
              0.26151,
              0.28591,
              0.3141,
              0.34664
            ],
            [
              0.09439,
              0.22109,
              0.23993,
              0.26152,
              0.28599,
              0.31411,
              0.34665
            ],
            [
              0.09434,
              0.22116,
              0.23997,
              0.26144,
              0.28593,
              0.31414,
              0.34664
            ],
            [
              0.09446,
              0.22111,
              0.23992,
              0.26148,
              0.28596,
              0.3142,
              0.3466
            ],
            [
              0.09435,
              0.22115,
              0.24,
              0.2614,
              0.2859,
              0.3141,
              0.3466
            ],
            [
              0.09432,
              0.2213,
              0.24,
              0.2614,
              0.286,
              0.3141,
              0.3466
            ],
            [
              0.0944,
              0.2213,
              0.2401,
              0.2615,
              0.286,
              0.3141,
              0.3467
            ],
            [
              0.0944,
              0.2213,
              0.2401,
              0.2616,
              0.2861,
              0.3142,
              0.3467
            ],
            [
              0.0944,
              0.2215,
              0.2403,
              0.2617,
              0.2862,
              0.3143,
              0.3467
            ],
            [
              0.0946,
              0.2217,
              0.2406,
              0.2619,
              0.2864,
              0.3145,
              0.3469
            ],
            [
              0.0948,
              0.2221,
              0.2409,
              0.2623,
              0.2867,
              0.3148,
              0.3472
            ]
          ]
        },
        "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.00443,
            0.00531,
            0.00637,
            0.00765,
            0.00918,
            0.01101
          ],
          "values": [
            [
              0.14199,
              0.68744,
              0.79515,
              0.92533,
              1.08249,
              1.27277,
              1.497
            ],
            [
              0.14196,
              0.68749,
              0.79517,
              0.92532,
              1.08248,
              1.27265,
              1.49687
            ],
            [
              0.14192,
              0.68896,
              0.79512,
              0.92536,
              1.08261,
              1.27113,
              1.49566
            ],
            [
              0.14194,
              0.68752,
              0.7976,
              0.92818,
              1.08356,
              1.27036,
              1.49737
            ],
            [
              0.14196,
              0.687,
              0.79505,
              0.92537,
              1.08251,
              1.27053,
              1.49732
            ],
            [
              0.14196,
              0.68695,
              0.79513,
              0.92536,
              1.08247,
              1.27232,
              1.49652
            ],
            [
              0.14192,
              0.68763,
              0.79512,
              0.92532,
              1.0826,
              1.27209,
              1.49625
            ],
            [
              0.14202,
              0.68742,
              0.79753,
              0.92801,
              1.0859,
              1.27211,
              1.49573
            ],
            [
              0.14199,
              0.68886,
              0.79505,
              0.92536,
              1.08252,
              1.2707,
              1.4969
            ],
            [
              0.14184,
              0.6872,
              0.795,
              0.9269,
              1.0838,
              1.2705,
              1.498
            ],
            [
              0.1425,
              0.6874,
              0.7956,
              0.9252,
              1.0835,
              1.2704,
              1.4982
            ],
            [
              0.1441,
              0.6871,
              0.7954,
              0.9252,
              1.0844,
              1.2716,
              1.4951
            ],
            [
              0.1449,
              0.6892,
              0.7975,
              0.9278,
              1.0833,
              1.2729,
              1.4962
            ]
          ]
        },
        "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.00443,
            0.00531,
            0.00637,
            0.00765,
            0.00918,
            0.01101
          ],
          "values": [
            [
              0.87083,
              1.02917,
              1.05047,
              1.07467,
              1.10207,
              1.13307,
              1.16807
            ],
            [
              0.87348,
              1.03184,
              1.05324,
              1.07744,
              1.10484,
              1.13574,
              1.17084
            ],
            [
              0.87631,
              1.03482,
              1.05612,
              1.08032,
              1.10772,
              1.13872,
              1.17372
            ],
            [
              0.88077,
              1.03938,
              1.06078,
              1.08488,
              1.11238,
              1.14328,
              1.17828
            ],
            [
              0.88825,
              1.04691,
              1.06831,
              1.09241,
              1.11991,
              1.15081,
              1.18581
            ],
            [
              0.90087,
              1.05952,
              1.08092,
              1.10512,
              1.13252,
              1.16342,
              1.19852
            ],
            [
              0.92163,
              1.08023,
              1.10173,
              1.12583,
              1.15333,
              1.18423,
              1.21933
            ],
            [
              0.95536,
              1.11376,
              1.13516,
              1.15936,
              1.18686,
              1.21776,
              1.25276
            ],
            [
              1.00725,
              1.16555,
              1.18695,
              1.21105,
              1.23855,
              1.26945,
              1.30455
            ],
            [
              1.09059,
              1.24849,
              1.26979,
              1.29399,
              1.32139,
              1.35239,
              1.38739
            ],
            [
              1.21662,
              1.37452,
              1.39582,
              1.42002,
              1.44742,
              1.47842,
              1.51352
            ],
            [
              1.41017,
              1.56787,
              1.58927,
              1.61347,
              1.64097,
              1.67197,
              1.70707
            ],
            [
              1.7016,
              1.8589,
              1.8803,
              1.9045,
              1.932,
              1.963,
              1.9981
            ]
          ]
        },
        "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.00443,
            0.00531,
            0.00637,
            0.00765,
            0.00918,
            0.01101
          ],
          "values": [
            [
              0.3395,
              0.79431,
              0.88072,
              0.9843,
              1.10867,
              1.25687,
              1.43267
            ],
            [
              0.34301,
              0.79888,
              0.8848,
              0.98834,
              1.11274,
              1.26094,
              1.43724
            ],
            [
              0.34741,
              0.8035,
              0.88944,
              0.99312,
              1.11742,
              1.26542,
              1.44282
            ],
            [
              0.35426,
              0.81044,
              0.89626,
              0.99997,
              1.12398,
              1.27288,
              1.44998
            ],
            [
              0.36406,
              0.82019,
              0.90612,
              1.00991,
              1.13431,
              1.28301,
              1.45921
            ],
            [
              0.3785,
              0.83363,
              0.92029,
              1.02432,
              1.14872,
              1.29722,
              1.47372
            ],
            [
              0.39986,
              0.85412,
              0.94073,
              1.04463,
              1.16933,
              1.31803,
              1.49513
            ],
            [
              0.4313,
              0.88426,
              0.97056,
              1.07466,
              1.19996,
              1.34886,
              1.52626
            ],
            [
              0.47854,
              0.93035,
              1.01655,
              1.12105,
              1.24635,
              1.39595,
              1.57335
            ],
            [
              0.54665,
              0.99749,
              1.08429,
              1.18839,
              1.31359,
              1.46319,
              1.64119
            ],
            [
              0.63982,
              1.08912,
              1.17562,
              1.28052,
              1.40552,
              1.55482,
              1.73352
            ],
            [
              0.76277,
              1.21227,
              1.29897,
              1.40287,
              1.52807,
              1.67807,
              1.85617
            ],
            [
              0.9256,
              1.3756,
              1.4622,
              1.566,
              1.6914,
              1.8403,
              2.019
            ]
          ]
        },
        "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.00443,
            0.00531,
            0.00637,
            0.00765,
            0.00918,
            0.01101
          ],
          "values": [
            [
              0.09237,
              0.19709,
              0.21431,
              0.23436,
              0.25798,
              0.28588,
              0.3187
            ],
            [
              0.09237,
              0.19714,
              0.21423,
              0.23429,
              0.258,
              0.2859,
              0.3187
            ],
            [
              0.09247,
              0.19711,
              0.2143,
              0.23427,
              0.25799,
              0.2859,
              0.3187
            ],
            [
              0.09236,
              0.19712,
              0.21427,
              0.23431,
              0.2581,
              0.2858,
              0.3186
            ],
            [
              0.09252,
              0.1971,
              0.2142,
              0.2343,
              0.258,
              0.2858,
              0.3186
            ],
            [
              0.09252,
              0.1972,
              0.2142,
              0.2343,
              0.258,
              0.2858,
              0.3187
            ],
            [
              0.09246,
              0.1971,
              0.2142,
              0.2343,
              0.2581,
              0.2858,
              0.3186
            ],
            [
              0.0924,
              0.197,
              0.2142,
              0.2343,
              0.2581,
              0.2859,
              0.3186
            ],
            [
              0.0924,
              0.1971,
              0.2143,
              0.2344,
              0.2581,
              0.2859,
              0.3187
            ],
            [
              0.0926,
              0.1972,
              0.2144,
              0.2343,
              0.258,
              0.2859,
              0.3187
            ],
            [
              0.0925,
              0.1973,
              0.2145,
              0.2345,
              0.2582,
              0.286,
              0.3188
            ],
            [
              0.0924,
              0.1975,
              0.2146,
              0.2347,
              0.2582,
              0.2861,
              0.3189
            ],
            [
              0.0927,
              0.1978,
              0.2149,
              0.235,
              0.2585,
              0.2863,
              0.319
            ]
          ]
        },
        "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.00443,
            0.00531,
            0.00637,
            0.00765,
            0.00918,
            0.01101
          ],
          "values": [
            [
              0.14182,
              0.68811,
              0.79441,
              0.92473,
              1.08232,
              1.271,
              1.49495
            ],
            [
              0.14186,
              0.68682,
              0.79443,
              0.92472,
              1.08229,
              1.27006,
              1.49468
            ],
            [
              0.14189,
              0.68686,
              0.79452,
              0.92477,
              1.08189,
              1.27173,
              1.49525
            ],
            [
              0.14186,
              0.68681,
              0.79539,
              0.92464,
              1.08376,
              1.27007,
              1.49555
            ],
            [
              0.14185,
              0.6868,
              0.79539,
              0.92572,
              1.08191,
              1.27077,
              1.49471
            ],
            [
              0.14188,
              0.68703,
              0.79446,
              0.9248,
              1.08189,
              1.2698,
              1.49503
            ],
            [
              0.14189,
              0.68679,
              0.79446,
              0.92469,
              1.08187,
              1.26974,
              1.49726
            ],
            [
              0.14193,
              0.6867,
              0.79523,
              0.92468,
              1.08184,
              1.26974,
              1.49725
            ],
            [
              0.14194,
              0.68673,
              0.79671,
              0.92466,
              1.08186,
              1.2705,
              1.4946
            ],
            [
              0.14193,
              0.6866,
              0.7949,
              0.9256,
              1.0832,
              1.2709,
              1.4946
            ],
            [
              0.1427,
              0.688,
              0.7965,
              0.9254,
              1.0818,
              1.2718,
              1.4952
            ],
            [
              0.1444,
              0.6864,
              0.7948,
              0.9246,
              1.084,
              1.2719,
              1.4949
            ],
            [
              0.1457,
              0.6886,
              0.7969,
              0.9271,
              1.0826,
              1.2722,
              1.4953
            ]
          ]
        },
        "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.00443,
            0.00531,
            0.00637,
            0.00765,
            0.00918,
            0.01101
          ],
          "values": [
            [
              0.7819,
              0.95829,
              0.98281,
              1.01017,
              1.04077,
              1.07487,
              1.11297
            ],
            [
              0.78393,
              0.96052,
              0.985,
              1.01234,
              1.04304,
              1.07704,
              1.11524
            ],
            [
              0.78625,
              0.96291,
              0.98742,
              1.01482,
              1.04542,
              1.07952,
              1.11772
            ],
            [
              0.79039,
              0.96727,
              0.99177,
              1.01918,
              1.04978,
              1.08388,
              1.12207
            ],
            [
              0.79747,
              0.97451,
              0.99901,
              1.02641,
              1.05711,
              1.09121,
              1.12931
            ],
            [
              0.80985,
              0.98682,
              1.01142,
              1.03872,
              1.06942,
              1.10352,
              1.14172
            ],
            [
              0.83053,
              1.00733,
              1.03193,
              1.05933,
              1.08993,
              1.12413,
              1.16223
            ],
            [
              0.86406,
              1.04076,
              1.06536,
              1.09266,
              1.12336,
              1.15756,
              1.19566
            ],
            [
              0.91705,
              1.09385,
              1.11835,
              1.14575,
              1.17645,
              1.21065,
              1.24875
            ],
            [
              1.00019,
              1.17639,
              1.20099,
              1.22839,
              1.25909,
              1.29329,
              1.33139
            ],
            [
              1.12762,
              1.30342,
              1.32802,
              1.35542,
              1.38612,
              1.42032,
              1.45852
            ],
            [
              1.32047,
              1.49597,
              1.52047,
              1.54797,
              1.57867,
              1.61287,
              1.65117
            ],
            [
              1.6119,
              1.7868,
              1.8114,
              1.8389,
              1.8697,
              1.904,
              1.9422
            ]
          ]
        },
        "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.00443,
            0.00531,
            0.00637,
            0.00765,
            0.00918,
            0.01101
          ],
          "values": [
            [
              0.33283,
              0.79137,
              0.878,
              0.98133,
              1.10637,
              1.25477,
              1.43317
            ],
            [
              0.33644,
              0.79516,
              0.8816,
              0.98535,
              1.11064,
              1.25954,
              1.43604
            ],
            [
              0.34073,
              0.79959,
              0.88624,
              0.98952,
              1.11482,
              1.26312,
              1.44152
            ],
            [
              0.34696,
              0.80597,
              0.89248,
              0.99628,
              1.12147,
              1.26978,
              1.44828
            ],
            [
              0.35659,
              0.81549,
              0.90208,
              1.00601,
              1.13141,
              1.28041,
              1.45721
            ],
            [
              0.37077,
              0.8291,
              0.91612,
              1.02022,
              1.14542,
              1.29372,
              1.47192
            ],
            [
              0.39197,
              0.849,
              0.93573,
              1.03993,
              1.16563,
              1.31393,
              1.49183
            ],
            [
              0.42328,
              0.87836,
              0.96516,
              1.06916,
              1.19496,
              1.34396,
              1.52256
            ],
            [
              0.47043,
              0.92415,
              1.01125,
              1.11515,
              1.24135,
              1.39095,
              1.56885
            ],
            [
              0.53873,
              0.99079,
              1.07769,
              1.18179,
              1.30799,
              1.45809,
              1.63619
            ],
            [
              0.63082,
              1.08122,
              1.16852,
              1.27312,
              1.39822,
              1.54802,
              1.72702
            ],
            [
              0.75177,
              1.20187,
              1.28917,
              1.39317,
              1.51877,
              1.66897,
              1.84707
            ],
            [
              0.912,
              1.3629,
              1.4495,
              1.5537,
              1.6791,
              1.8285,
              2.0073
            ]
          ]
        },
        "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.00443,
            0.00531,
            0.00637,
            0.00765,
            0.00918,
            0.01101
          ],
          "values": [
            [
              0.094,
              0.2209,
              0.23971,
              0.26113,
              0.28561,
              0.31374,
              0.34631
            ],
            [
              0.09399,
              0.22076,
              0.23965,
              0.26109,
              0.28566,
              0.31379,
              0.3463
            ],
            [
              0.094,
              0.2208,
              0.23962,
              0.26117,
              0.28559,
              0.3138,
              0.34627
            ],
            [
              0.09403,
              0.2207,
              0.23957,
              0.26114,
              0.28565,
              0.31367,
              0.34627
            ],
            [
              0.09401,
              0.22071,
              0.23958,
              0.2611,
              0.28562,
              0.31371,
              0.34629
            ],
            [
              0.094,
              0.22067,
              0.23964,
              0.26114,
              0.28565,
              0.3136,
              0.3462
            ],
            [
              0.094,
              0.22076,
              0.2397,
              0.2611,
              0.2856,
              0.3137,
              0.3462
            ],
            [
              0.09406,
              0.2208,
              0.2397,
              0.2612,
              0.2856,
              0.3138,
              0.3463
            ],
            [
              0.094,
              0.2208,
              0.2397,
              0.2611,
              0.2856,
              0.3137,
              0.3462
            ],
            [
              0.0941,
              0.2209,
              0.2397,
              0.2612,
              0.2856,
              0.3138,
              0.3462
            ],
            [
              0.094,
              0.221,
              0.2398,
              0.2613,
              0.2858,
              0.3138,
              0.3463
            ],
            [
              0.0942,
              0.2214,
              0.2402,
              0.2615,
              0.286,
              0.314,
              0.3464
            ],
            [
              0.0945,
              0.2216,
              0.2405,
              0.2619,
              0.2862,
              0.3142,
              0.3466
            ]
          ]
        },
        "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.00443,
            0.00531,
            0.00637,
            0.00765,
            0.00918,
            0.01101
          ],
          "values": [
            [
              0.1417,
              0.68727,
              0.79604,
              0.92727,
              1.08272,
              1.27101,
              1.49804
            ],
            [
              0.14175,
              0.68762,
              0.79594,
              0.92543,
              1.08266,
              1.27076,
              1.49599
            ],
            [
              0.14171,
              0.68757,
              0.79601,
              0.92556,
              1.08269,
              1.27098,
              1.49809
            ],
            [
              0.14175,
              0.68772,
              0.79507,
              0.92552,
              1.0827,
              1.27106,
              1.49792
            ],
            [
              0.14174,
              0.68757,
              0.79595,
              0.92539,
              1.08259,
              1.27068,
              1.49603
            ],
            [
              0.14175,
              0.68709,
              0.79597,
              0.92552,
              1.08267,
              1.27079,
              1.49659
            ],
            [
              0.14169,
              0.68759,
              0.79596,
              0.92541,
              1.08296,
              1.27082,
              1.49595
            ],
            [
              0.14167,
              0.68753,
              0.79597,
              0.92542,
              1.08264,
              1.2708,
              1.49671
            ],
            [
              0.14164,
              0.68721,
              0.79604,
              0.92695,
              1.08356,
              1.2708,
              1.4954
            ],
            [
              0.14165,
              0.6889,
              0.7961,
              0.9283,
              1.0842,
              1.2712,
              1.4976
            ],
            [
              0.1424,
              0.6868,
              0.7963,
              0.9254,
              1.0825,
              1.2705,
              1.4975
            ],
            [
              0.1442,
              0.6872,
              0.7955,
              0.9252,
              1.0842,
              1.2718,
              1.4952
            ],
            [
              0.1448,
              0.6893,
              0.7977,
              0.9278,
              1.0835,
              1.2745,
              1.4964
            ]
          ]
        },
        "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.00443,
            0.00531,
            0.00637,
            0.00765,
            0.00918,
            0.01101
          ],
          "values": [
            [
              0.86857,
              1.02657,
              1.04797,
              1.07207,
              1.09947,
              1.13027,
              1.16527
            ],
            [
              0.87109,
              1.02924,
              1.05054,
              1.07464,
              1.10204,
              1.13284,
              1.16784
            ],
            [
              0.87401,
              1.03212,
              1.05352,
              1.07772,
              1.10512,
              1.13592,
              1.17092
            ],
            [
              0.87853,
              1.03678,
              1.05818,
              1.08228,
              1.10968,
              1.14058,
              1.17558
            ],
            [
              0.88606,
              1.04441,
              1.06581,
              1.09001,
              1.11741,
              1.14831,
              1.18331
            ],
            [
              0.89871,
              1.05712,
              1.07852,
              1.10272,
              1.13012,
              1.16092,
              1.19592
            ],
            [
              0.91943,
              1.07783,
              1.09923,
              1.12333,
              1.15073,
              1.18163,
              1.21663
            ],
            [
              0.95296,
              1.11116,
              1.13256,
              1.15676,
              1.18406,
              1.21496,
              1.24996
            ],
            [
              1.00535,
              1.16275,
              1.18415,
              1.20825,
              1.23565,
              1.26655,
              1.30155
            ],
            [
              1.08789,
              1.24559,
              1.26699,
              1.29109,
              1.31859,
              1.34939,
              1.38439
            ],
            [
              1.21442,
              1.37212,
              1.39342,
              1.41752,
              1.44502,
              1.47592,
              1.51092
            ],
            [
              1.40697,
              1.56437,
              1.58577,
              1.60987,
              1.63727,
              1.66827,
              1.70327
            ],
            [
              1.6978,
              1.8547,
              1.8761,
              1.9002,
              1.9277,
              1.9586,
              1.9937
            ]
          ]
        },
        "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.00443,
            0.00531,
            0.00637,
            0.00765,
            0.00918,
            0.01101
          ],
          "values": [
            [
              0.34097,
              0.79972,
              0.88678,
              0.99,
              1.11507,
              1.26377,
              1.44057
            ],
            [
              0.3445,
              0.80401,
              0.89074,
              0.99454,
              1.11854,
              1.26744,
              1.44424
            ],
            [
              0.34874,
              0.80805,
              0.89529,
              0.99842,
              1.12372,
              1.27252,
              1.44922
            ],
            [
              0.35509,
              0.81507,
              0.9019,
              1.00578,
              1.13017,
              1.27838,
              1.45528
            ],
            [
              0.3646,
              0.82385,
              0.91116,
              1.01451,
              1.13991,
              1.28871,
              1.46561
            ],
            [
              0.37871,
              0.8376,
              0.9246,
              1.02802,
              1.15362,
              1.30252,
              1.47922
            ],
            [
              0.39959,
              0.85665,
              0.94403,
              1.04773,
              1.17343,
              1.32273,
              1.49993
            ],
            [
              0.43059,
              0.88596,
              0.97346,
              1.07746,
              1.20266,
              1.35226,
              1.52996
            ],
            [
              0.4775,
              0.93155,
              1.01885,
              1.12345,
              1.24905,
              1.39875,
              1.57665
            ],
            [
              0.54581,
              0.99819,
              1.08539,
              1.19009,
              1.31579,
              1.46549,
              1.64379
            ],
            [
              0.63882,
              1.08992,
              1.17682,
              1.28132,
              1.40722,
              1.55722,
              1.73572
            ],
            [
              0.76147,
              1.21197,
              1.29917,
              1.40327,
              1.52887,
              1.67907,
              1.85747
            ],
            [
              0.9241,
              1.3752,
              1.4619,
              1.5659,
              1.6915,
              1.8405,
              2.0197
            ]
          ]
        },
        "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.00443,
            0.00531,
            0.00637,
            0.00765,
            0.00918,
            0.01101
          ],
          "values": [
            [
              0.09208,
              0.19683,
              0.21394,
              0.234,
              0.25761,
              0.28543,
              0.3181
            ],
            [
              0.09203,
              0.19677,
              0.21392,
              0.23393,
              0.2577,
              0.28548,
              0.3181
            ],
            [
              0.09194,
              0.1968,
              0.21387,
              0.23389,
              0.25761,
              0.2854,
              0.3182
            ],
            [
              0.09205,
              0.19683,
              0.21392,
              0.23392,
              0.2576,
              0.2854,
              0.3182
            ],
            [
              0.09205,
              0.19668,
              0.2139,
              0.2339,
              0.2575,
              0.2854,
              0.3182
            ],
            [
              0.09205,
              0.1967,
              0.2138,
              0.234,
              0.2576,
              0.2854,
              0.3181
            ],
            [
              0.09213,
              0.1967,
              0.2139,
              0.2339,
              0.2576,
              0.2854,
              0.3182
            ],
            [
              0.092,
              0.1968,
              0.2138,
              0.2339,
              0.2577,
              0.2854,
              0.3181
            ],
            [
              0.0919,
              0.1968,
              0.2139,
              0.234,
              0.2576,
              0.2854,
              0.3182
            ],
            [
              0.0921,
              0.1968,
              0.2139,
              0.234,
              0.2577,
              0.2854,
              0.3182
            ],
            [
              0.092,
              0.197,
              0.214,
              0.234,
              0.2577,
              0.2855,
              0.3182
            ],
            [
              0.0922,
              0.197,
              0.2141,
              0.2342,
              0.2579,
              0.2856,
              0.3182
            ],
            [
              0.0924,
              0.1974,
              0.2144,
              0.2345,
              0.258,
              0.2857,
              0.3185
            ]
          ]
        },
        "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.00443,
            0.00531,
            0.00637,
            0.00765,
            0.00918,
            0.01101
          ],
          "values": [
            [
              0.1416,
              0.68828,
              0.79539,
              0.92485,
              1.08235,
              1.2704,
              1.49479
            ],
            [
              0.14158,
              0.68687,
              0.79548,
              0.92596,
              1.08211,
              1.27003,
              1.49496
            ],
            [
              0.14172,
              0.68626,
              0.79537,
              0.92471,
              1.08231,
              1.27044,
              1.49475
            ],
            [
              0.14165,
              0.68695,
              0.79543,
              0.92596,
              1.08398,
              1.27001,
              1.49502
            ],
            [
              0.14164,
              0.68824,
              0.79549,
              0.92479,
              1.08237,
              1.27037,
              1.49476
            ],
            [
              0.14165,
              0.68687,
              0.79544,
              0.92474,
              1.08235,
              1.27026,
              1.49515
            ],
            [
              0.14158,
              0.68642,
              0.79549,
              0.92466,
              1.08238,
              1.27045,
              1.49475
            ],
            [
              0.14165,
              0.68654,
              0.79544,
              0.92748,
              1.08197,
              1.27009,
              1.49491
            ],
            [
              0.14173,
              0.68666,
              0.79537,
              0.92577,
              1.08254,
              1.2705,
              1.4949
            ],
            [
              0.14169,
              0.6866,
              0.7954,
              0.9256,
              1.0829,
              1.2706,
              1.4949
            ],
            [
              0.1425,
              0.6872,
              0.7948,
              0.9261,
              1.0834,
              1.2711,
              1.4954
            ],
            [
              0.1443,
              0.6873,
              0.795,
              0.9247,
              1.0838,
              1.272,
              1.495
            ],
            [
              0.1455,
              0.6888,
              0.7971,
              0.9275,
              1.0827,
              1.272,
              1.4953
            ]
          ]
        },
        "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.00443,
            0.00531,
            0.00637,
            0.00765,
            0.00918,
            0.01101
          ],
          "values": [
            [
              0.83918,
              0.99637,
              1.01767,
              1.04167,
              1.06907,
              1.09987,
              1.13487
            ],
            [
              0.84195,
              0.99914,
              1.02044,
              1.04454,
              1.07184,
              1.10274,
              1.13764
            ],
            [
              0.84585,
              1.00312,
              1.02442,
              1.04852,
              1.07582,
              1.10672,
              1.14162
            ],
            [
              0.8523,
              1.00968,
              1.03098,
              1.05497,
              1.08238,
              1.11318,
              1.14818
            ],
            [
              0.86255,
              1.02001,
              1.04131,
              1.06531,
              1.09271,
              1.12361,
              1.15851
            ],
            [
              0.87872,
              1.03622,
              1.05752,
              1.08162,
              1.10892,
              1.13982,
              1.17472
            ],
            [
              0.90403,
              1.06153,
              1.08283,
              1.10693,
              1.13423,
              1.16513,
              1.20013
            ],
            [
              0.94246,
              1.09986,
              1.12126,
              1.14526,
              1.17266,
              1.20356,
              1.23856
            ],
            [
              0.99965,
              1.15695,
              1.17825,
              1.20235,
              1.22975,
              1.26065,
              1.29555
            ],
            [
              1.08429,
              1.24149,
              1.26289,
              1.28699,
              1.31429,
              1.34519,
              1.38019
            ],
            [
              1.21052,
              1.36752,
              1.38892,
              1.41292,
              1.44032,
              1.47122,
              1.50612
            ],
            [
              1.39927,
              1.55597,
              1.57727,
              1.60137,
              1.62877,
              1.65957,
              1.69457
            ],
            [
              1.682,
              1.8382,
              1.8595,
              1.8836,
              1.9109,
              1.9418,
              1.9768
            ]
          ]
        },
        "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.00443,
            0.00531,
            0.00637,
            0.00765,
            0.00918,
            0.01101
          ],
          "values": [
            [
              0.33342,
              0.79163,
              0.87809,
              0.98235,
              1.10737,
              1.25577,
              1.43247
            ],
            [
              0.33723,
              0.79586,
              0.8826,
              0.98654,
              1.11144,
              1.26004,
              1.43674
            ],
            [
              0.34175,
              0.80061,
              0.88726,
              0.99072,
              1.11542,
              1.26422,
              1.44192
            ],
            [
              0.34842,
              0.80734,
              0.89397,
              0.99748,
              1.12218,
              1.27167,
              1.44858
            ],
            [
              0.35772,
              0.81676,
              0.90318,
              1.00711,
              1.13231,
              1.28071,
              1.45841
            ],
            [
              0.37146,
              0.82999,
              0.91646,
              1.02092,
              1.14602,
              1.29472,
              1.47162
            ],
            [
              0.39167,
              0.84951,
              0.93593,
              1.04023,
              1.16553,
              1.31423,
              1.49193
            ],
            [
              0.42138,
              0.87776,
              0.96476,
              1.06846,
              1.19406,
              1.34276,
              1.52146
            ],
            [
              0.4655,
              0.92105,
              1.00795,
              1.11155,
              1.23705,
              1.38695,
              1.56525
            ],
            [
              0.5301,
              0.98409,
              1.07109,
              1.17579,
              1.30129,
              1.44989,
              1.62899
            ],
            [
              0.61992,
              1.07222,
              1.15942,
              1.26342,
              1.38872,
              1.53912,
              1.71762
            ],
            [
              0.74227,
              1.19307,
              1.28027,
              1.38417,
              1.51037,
              1.66007,
              1.83827
            ],
            [
              0.9076,
              1.3576,
              1.4445,
              1.5489,
              1.6744,
              1.8237,
              2.0026
            ]
          ]
        },
        "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.00443,
            0.00531,
            0.00637,
            0.00765,
            0.00918,
            0.01101
          ],
          "values": [
            [
              0.09123,
              0.19607,
              0.21328,
              0.23337,
              0.25723,
              0.28492,
              0.31779
            ],
            [
              0.09101,
              0.19604,
              0.21324,
              0.23343,
              0.25719,
              0.28498,
              0.31786
            ],
            [
              0.09098,
              0.19607,
              0.21327,
              0.23345,
              0.25721,
              0.28499,
              0.31787
            ],
            [
              0.09102,
              0.19613,
              0.21319,
              0.23334,
              0.25712,
              0.28503,
              0.3179
            ],
            [
              0.09129,
              0.19615,
              0.21331,
              0.23335,
              0.2571,
              0.2851,
              0.3179
            ],
            [
              0.09105,
              0.1961,
              0.2133,
              0.2335,
              0.2572,
              0.285,
              0.3179
            ],
            [
              0.09118,
              0.1962,
              0.2133,
              0.2334,
              0.2572,
              0.2851,
              0.318
            ],
            [
              0.0911,
              0.1962,
              0.2134,
              0.2335,
              0.2573,
              0.285,
              0.3179
            ],
            [
              0.0911,
              0.1962,
              0.2132,
              0.2334,
              0.2572,
              0.2851,
              0.318
            ],
            [
              0.0912,
              0.1962,
              0.2133,
              0.2335,
              0.2573,
              0.2851,
              0.318
            ],
            [
              0.0911,
              0.1962,
              0.2132,
              0.2333,
              0.2571,
              0.285,
              0.3178
            ],
            [
              0.0909,
              0.1961,
              0.2132,
              0.2335,
              0.2572,
              0.2849,
              0.3178
            ],
            [
              0.0907,
              0.196,
              0.2132,
              0.2333,
              0.257,
              0.2848,
              0.3176
            ]
          ]
        },
        "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.00443,
            0.00531,
            0.00637,
            0.00765,
            0.00918,
            0.01101
          ],
          "values": [
            [
              0.14177,
              0.68773,
              0.79521,
              0.92541,
              1.08281,
              1.27057,
              1.49586
            ],
            [
              0.14176,
              0.68707,
              0.796,
              0.92573,
              1.08314,
              1.27065,
              1.4957
            ],
            [
              0.14172,
              0.68727,
              0.79604,
              0.92706,
              1.08293,
              1.27118,
              1.49538
            ],
            [
              0.14176,
              0.68733,
              0.79606,
              0.92696,
              1.08291,
              1.27083,
              1.49549
            ],
            [
              0.14176,
              0.68758,
              0.79608,
              0.92543,
              1.08266,
              1.27072,
              1.49643
            ],
            [
              0.14176,
              0.68771,
              0.79523,
              0.92537,
              1.08274,
              1.27055,
              1.49611
            ],
            [
              0.14174,
              0.68765,
              0.79629,
              0.92541,
              1.08266,
              1.27061,
              1.49631
            ],
            [
              0.14166,
              0.68699,
              0.79602,
              0.92553,
              1.08263,
              1.27094,
              1.49822
            ],
            [
              0.14172,
              0.68744,
              0.79597,
              0.92734,
              1.08308,
              1.2716,
              1.4968
            ],
            [
              0.14171,
              0.6873,
              0.7951,
              0.9262,
              1.0828,
              1.2709,
              1.4973
            ],
            [
              0.1421,
              0.6876,
              0.7954,
              0.9254,
              1.0828,
              1.2721,
              1.4955
            ],
            [
              0.143,
              0.6875,
              0.7952,
              0.9271,
              1.0835,
              1.2707,
              1.4971
            ],
            [
              0.1439,
              0.6884,
              0.7968,
              0.9272,
              1.0831,
              1.2741,
              1.4964
            ]
          ]
        },
        "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.00443,
            0.00531,
            0.00637,
            0.00765,
            0.00918,
            0.01101
          ],
          "values": [
            [
              1.02107,
              1.17957,
              1.20097,
              1.22507,
              1.25247,
              1.28337,
              1.31827
            ],
            [
              1.02574,
              1.18424,
              1.20554,
              1.22964,
              1.25704,
              1.28784,
              1.32284
            ],
            [
              1.03072,
              1.18932,
              1.21062,
              1.23482,
              1.26222,
              1.29302,
              1.32802
            ],
            [
              1.03818,
              1.19698,
              1.21828,
              1.24238,
              1.26978,
              1.30068,
              1.33558
            ],
            [
              1.04881,
              1.20751,
              1.22891,
              1.25301,
              1.28041,
              1.31121,
              1.34621
            ],
            [
              1.06482,
              1.22352,
              1.24482,
              1.26902,
              1.29632,
              1.32722,
              1.36212
            ],
            [
              1.08773,
              1.24633,
              1.26763,
              1.29183,
              1.31913,
              1.35003,
              1.38503
            ],
            [
              1.12176,
              1.28026,
              1.30166,
              1.32576,
              1.35316,
              1.38396,
              1.41896
            ],
            [
              1.17365,
              1.33215,
              1.35345,
              1.37755,
              1.40495,
              1.43575,
              1.47075
            ],
            [
              1.25059,
              1.40889,
              1.43019,
              1.45439,
              1.48179,
              1.51259,
              1.54759
            ],
            [
              1.35512,
              1.51332,
              1.53472,
              1.55882,
              1.58622,
              1.61702,
              1.65202
            ],
            [
              1.49597,
              1.65397,
              1.67537,
              1.69947,
              1.72687,
              1.75767,
              1.79267
            ],
            [
              1.6856,
              1.8436,
              1.8649,
              1.8891,
              1.9165,
              1.9473,
              1.9823
            ]
          ]
        },
        "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.00443,
            0.00531,
            0.00637,
            0.00765,
            0.00918,
            0.01101
          ],
          "values": [
            [
              0.9395,
              1.39177,
              1.47817,
              1.58247,
              1.70747,
              1.85667,
              2.03547
            ],
            [
              0.94121,
              1.39354,
              1.48034,
              1.58444,
              1.70954,
              1.85834,
              2.03694
            ],
            [
              0.94377,
              1.39602,
              1.48292,
              1.58702,
              1.71212,
              1.86092,
              2.03952
            ],
            [
              0.94825,
              1.40058,
              1.48738,
              1.59147,
              1.71658,
              1.86538,
              2.04398
            ],
            [
              0.95601,
              1.40831,
              1.49511,
              1.59921,
              1.72431,
              1.87311,
              2.05171
            ],
            [
              0.96902,
              1.42132,
              1.50822,
              1.61222,
              1.73742,
              1.88612,
              2.06472
            ],
            [
              0.99123,
              1.44353,
              1.53043,
              1.63453,
              1.75963,
              1.90833,
              2.08703
            ],
            [
              1.02766,
              1.47996,
              1.56686,
              1.67096,
              1.79616,
              1.94476,
              2.12346
            ],
            [
              1.08545,
              1.53765,
              1.62455,
              1.72865,
              1.85385,
              2.00245,
              2.18115
            ],
            [
              1.17489,
              1.62719,
              1.71399,
              1.81809,
              1.94329,
              2.09189,
              2.27059
            ],
            [
              1.31192,
              1.76382,
              1.85052,
              1.95462,
              2.07952,
              2.22942,
              2.40772
            ],
            [
              1.51937,
              1.97097,
              2.05777,
              2.16187,
              2.28727,
              2.43677,
              2.61477
            ],
            [
              1.8322,
              2.2838,
              2.3706,
              2.4746,
              2.5999,
              2.7499,
              2.9277
            ]
          ]
        },
        "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.00443,
            0.00531,
            0.00637,
            0.00765,
            0.00918,
            0.01101
          ],
          "values": [
            [
              0.09204,
              0.1968,
              0.2138,
              0.2339,
              0.2576,
              0.2854,
              0.3183
            ],
            [
              0.0921,
              0.1966,
              0.2138,
              0.2339,
              0.2577,
              0.2854,
              0.3181
            ],
            [
              0.0921,
              0.1967,
              0.2138,
              0.2339,
              0.2575,
              0.2854,
              0.3182
            ],
            [
              0.0919,
              0.1966,
              0.2138,
              0.2339,
              0.2576,
              0.2854,
              0.3182
            ],
            [
              0.092,
              0.1966,
              0.2138,
              0.2338,
              0.2575,
              0.2853,
              0.3181
            ],
            [
              0.0921,
              0.1966,
              0.2138,
              0.2339,
              0.2576,
              0.2854,
              0.3181
            ],
            [
              0.0921,
              0.1967,
              0.2138,
              0.2339,
              0.2575,
              0.2854,
              0.3181
            ],
            [
              0.0921,
              0.1967,
              0.2139,
              0.2338,
              0.2576,
              0.2854,
              0.3181
            ],
            [
              0.092,
              0.1967,
              0.2138,
              0.234,
              0.2576,
              0.2853,
              0.3182
            ],
            [
              0.092,
              0.1966,
              0.2138,
              0.2339,
              0.2577,
              0.2854,
              0.3181
            ],
            [
              0.0919,
              0.1968,
              0.2139,
              0.234,
              0.2575,
              0.2854,
              0.3182
            ],
            [
              0.0922,
              0.1968,
              0.2139,
              0.234,
              0.2577,
              0.2854,
              0.3181
            ],
            [
              0.092,
              0.1967,
              0.2139,
              0.2339,
              0.2576,
              0.2855,
              0.3183
            ]
          ]
        },
        "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.00443,
            0.00531,
            0.00637,
            0.00765,
            0.00918,
            0.01101
          ],
          "values": [
            [
              0.14296,
              0.6886,
              0.7972,
              0.9279,
              1.0854,
              1.2719,
              1.4956
            ],
            [
              0.14296,
              0.6885,
              0.7953,
              0.9254,
              1.0825,
              1.2718,
              1.4967
            ],
            [
              0.14297,
              0.6885,
              0.7953,
              0.9254,
              1.0825,
              1.2719,
              1.4966
            ],
            [
              0.14296,
              0.6885,
              0.7952,
              0.9253,
              1.0825,
              1.2719,
              1.4967
            ],
            [
              0.14295,
              0.6886,
              0.7952,
              0.9254,
              1.0826,
              1.2719,
              1.4967
            ],
            [
              0.14292,
              0.6885,
              0.7953,
              0.9254,
              1.0826,
              1.2719,
              1.4967
            ],
            [
              0.143,
              0.6885,
              0.7953,
              0.9254,
              1.0826,
              1.2719,
              1.4967
            ],
            [
              0.143,
              0.6885,
              0.7953,
              0.9254,
              1.0826,
              1.2719,
              1.4966
            ],
            [
              0.143,
              0.6885,
              0.7954,
              0.9255,
              1.0826,
              1.2719,
              1.4967
            ],
            [
              0.1429,
              0.6885,
              0.7953,
              0.9254,
              1.0826,
              1.2718,
              1.4967
            ],
            [
              0.1429,
              0.6885,
              0.7972,
              0.9279,
              1.0854,
              1.2717,
              1.4955
            ],
            [
              0.143,
              0.6885,
              0.7971,
              0.9279,
              1.0836,
              1.2705,
              1.497
            ],
            [
              0.143,
              0.6885,
              0.7971,
              0.9279,
              1.0837,
              1.2716,
              1.4953
            ]
          ]
        },
        "sdf_cond": "(A0&!A1)",
        "timing_sense": "negative_unate",
        "when": "(A0&!A1)"
      }
    ]
  }
}