{
  "area": 12.7872,
  "cell_footprint": "sky130_fd_sc_ls__a32o",
  "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,A1": {
    "capacitance": 0.00264,
    "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.00241,
          0.00241,
          0.00233,
          0.0024,
          0.00239,
          0.00237,
          0.00236,
          0.00235,
          0.00235,
          0.00256,
          0.00257,
          0.00279,
          0.00285
        ]
      },
      "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.00275,
          0.00251,
          0.00257,
          0.00253,
          0.00254,
          0.00251,
          0.0025,
          0.0025,
          0.00251,
          0.00274,
          0.00279,
          0.00311,
          0.00325
        ]
      }
    },
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,A2": {
    "capacitance": 0.0026,
    "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.00267,
          0.00246,
          0.00244,
          0.00239,
          0.00238,
          0.00236,
          0.00233,
          0.00233,
          0.00234,
          0.00255,
          0.00258,
          0.00285,
          0.00296
        ]
      },
      "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.00217,
          0.00216,
          0.00211,
          0.00215,
          0.00215,
          0.00213,
          0.00211,
          0.00213,
          0.00212,
          0.0023,
          0.00233,
          0.00253,
          0.00259
        ]
      }
    },
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,A3": {
    "capacitance": 0.00267,
    "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.00359,
          0.0034,
          0.00337,
          0.00333,
          0.0033,
          0.00327,
          0.00325,
          0.00326,
          0.00325,
          0.00356,
          0.00362,
          0.00397,
          0.00418
        ]
      },
      "rise_power,hidden_pwr_template13": {
        "index_1": [
          0.01,
          0.01735,
          0.02602,
          0.03903,
          0.05855,
          0.08782,
          0.13172,
          0.19757,
          0.29634,
          0.44449,
          0.6667,
          1.0,
          1.5
        ],
        "values": [
          0.0023,
          0.00203,
          0.00217,
          0.00213,
          0.00213,
          0.00211,
          0.00209,
          0.00209,
          0.00209,
          0.00225,
          0.00225,
          0.00242,
          0.00242
        ]
      }
    },
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,B1": {
    "capacitance": 0.00276,
    "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.00232,
          0.00207,
          0.00221,
          0.00211,
          0.00213,
          0.00212,
          0.00211,
          0.00211,
          0.00211,
          0.00228,
          0.00228,
          0.00246,
          0.00247
        ]
      },
      "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.00308,
          0.0028,
          0.00284,
          0.00276,
          0.00279,
          0.00274,
          0.00274,
          0.00274,
          0.00275,
          0.00302,
          0.0031,
          0.00344,
          0.00368
        ]
      }
    },
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,B2": {
    "capacitance": 0.00252,
    "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.00318,
          0.00301,
          0.0029,
          0.00289,
          0.0029,
          0.00286,
          0.00287,
          0.00287,
          0.0029,
          0.00317,
          0.00325,
          0.00359,
          0.00385
        ]
      },
      "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.00205,
          0.00188,
          0.002,
          0.00196,
          0.00196,
          0.00195,
          0.00193,
          0.00194,
          0.00193,
          0.00209,
          0.00209,
          0.00225,
          0.00226
        ]
      }
    },
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,X": {
    "direction": "output",
    "function": "(A1&A2&A3) | (B1&B2)",
    "internal_power": [
      {
        "fall_power,pwr_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00673,
            0.01346,
            0.02693,
            0.05385,
            0.1077
          ],
          "values": [
            [
              0.02824,
              0.02018,
              0.01183,
              -0.00519,
              -0.03956,
              -0.10849
            ],
            [
              0.02824,
              0.02018,
              0.01182,
              -0.00521,
              -0.03957,
              -0.10851
            ],
            [
              0.02821,
              0.02015,
              0.0118,
              -0.00523,
              -0.03959,
              -0.10853
            ],
            [
              0.02815,
              0.0201,
              0.01175,
              -0.00528,
              -0.03964,
              -0.10858
            ],
            [
              0.0281,
              0.02003,
              0.01168,
              -0.00534,
              -0.0397,
              -0.10864
            ],
            [
              0.02801,
              0.01994,
              0.01159,
              -0.00543,
              -0.03979,
              -0.10873
            ],
            [
              0.02791,
              0.01984,
              0.01149,
              -0.00554,
              -0.03989,
              -0.10883
            ],
            [
              0.02782,
              0.01974,
              0.01139,
              -0.00564,
              -0.03999,
              -0.10892
            ],
            [
              0.02772,
              0.01963,
              0.01128,
              -0.00575,
              -0.0401,
              -0.10903
            ],
            [
              0.02764,
              0.01952,
              0.01116,
              -0.00586,
              -0.0402,
              -0.10911
            ],
            [
              0.02755,
              0.01941,
              0.01104,
              -0.00597,
              -0.04028,
              -0.10919
            ],
            [
              0.02751,
              0.0193,
              0.01094,
              -0.00606,
              -0.04036,
              -0.10924
            ],
            [
              0.02752,
              0.01924,
              0.01082,
              -0.00618,
              -0.04042,
              -0.10926
            ]
          ]
        },
        "related_pin": "A1",
        "rise_power,pwr_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00673,
            0.01346,
            0.02693,
            0.05385,
            0.1077
          ],
          "values": [
            [
              0.0106,
              0.01937,
              0.02799,
              0.04517,
              0.07937,
              0.14767
            ],
            [
              0.01053,
              0.0193,
              0.02792,
              0.04512,
              0.07929,
              0.14777
            ],
            [
              0.01054,
              0.0193,
              0.02793,
              0.04514,
              0.07931,
              0.14775
            ],
            [
              0.01049,
              0.01926,
              0.02788,
              0.04504,
              0.07927,
              0.14756
            ],
            [
              0.01044,
              0.01921,
              0.02783,
              0.04502,
              0.07923,
              0.14751
            ],
            [
              0.01038,
              0.01915,
              0.02778,
              0.04497,
              0.07915,
              0.14762
            ],
            [
              0.0103,
              0.01907,
              0.0277,
              0.04491,
              0.07914,
              0.14741
            ],
            [
              0.01021,
              0.01899,
              0.0276,
              0.0448,
              0.07905,
              0.14745
            ],
            [
              0.01009,
              0.01887,
              0.02749,
              0.04469,
              0.07894,
              0.14725
            ],
            [
              0.00999,
              0.01873,
              0.02737,
              0.04455,
              0.07881,
              0.14719
            ],
            [
              0.00989,
              0.01861,
              0.02725,
              0.04438,
              0.07868,
              0.14703
            ],
            [
              0.00985,
              0.01856,
              0.02717,
              0.04432,
              0.07856,
              0.14704
            ],
            [
              0.00985,
              0.01855,
              0.0272,
              0.04436,
              0.07853,
              0.14676
            ]
          ]
        },
        "when": "(A2&A3&!B1) | (A2&A3&!B2)"
      },
      {
        "fall_power,pwr_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00673,
            0.01346,
            0.02693,
            0.05385,
            0.1077
          ],
          "values": [
            [
              0.03053,
              0.0224,
              0.01405,
              -0.00295,
              -0.03728,
              -0.10619
            ],
            [
              0.0305,
              0.02238,
              0.01403,
              -0.00297,
              -0.0373,
              -0.10621
            ],
            [
              0.03047,
              0.02235,
              0.014,
              -0.003,
              -0.03733,
              -0.10624
            ],
            [
              0.03044,
              0.0223,
              0.01395,
              -0.00305,
              -0.03737,
              -0.10628
            ],
            [
              0.03037,
              0.02225,
              0.0139,
              -0.00311,
              -0.03743,
              -0.10634
            ],
            [
              0.0303,
              0.02218,
              0.01382,
              -0.00318,
              -0.0375,
              -0.10641
            ],
            [
              0.03023,
              0.0221,
              0.01374,
              -0.00325,
              -0.03758,
              -0.10649
            ],
            [
              0.03015,
              0.02202,
              0.01366,
              -0.00333,
              -0.03766,
              -0.10657
            ],
            [
              0.03007,
              0.02193,
              0.01357,
              -0.00343,
              -0.03775,
              -0.10665
            ],
            [
              0.03,
              0.02185,
              0.01348,
              -0.00352,
              -0.03783,
              -0.10673
            ],
            [
              0.02994,
              0.02175,
              0.01338,
              -0.00361,
              -0.03791,
              -0.1068
            ],
            [
              0.02988,
              0.02166,
              0.01328,
              -0.0037,
              -0.03799,
              -0.10686
            ],
            [
              0.0299,
              0.02158,
              0.01316,
              -0.00381,
              -0.03805,
              -0.10688
            ]
          ]
        },
        "related_pin": "A2",
        "rise_power,pwr_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00673,
            0.01346,
            0.02693,
            0.05385,
            0.1077
          ],
          "values": [
            [
              0.0106,
              0.01936,
              0.02797,
              0.0451,
              0.0792,
              0.14754
            ],
            [
              0.01057,
              0.01934,
              0.02794,
              0.04505,
              0.07924,
              0.14763
            ],
            [
              0.01054,
              0.01931,
              0.02792,
              0.04504,
              0.07924,
              0.14749
            ],
            [
              0.01051,
              0.01928,
              0.02789,
              0.04499,
              0.07913,
              0.14754
            ],
            [
              0.01045,
              0.01921,
              0.02782,
              0.04495,
              0.0791,
              0.14745
            ],
            [
              0.01039,
              0.01917,
              0.02778,
              0.04492,
              0.0791,
              0.14731
            ],
            [
              0.01034,
              0.0191,
              0.02771,
              0.0449,
              0.07904,
              0.14738
            ],
            [
              0.01025,
              0.01901,
              0.02762,
              0.04481,
              0.07894,
              0.1474
            ],
            [
              0.01016,
              0.01892,
              0.02753,
              0.04469,
              0.07886,
              0.14726
            ],
            [
              0.01006,
              0.01882,
              0.02743,
              0.04461,
              0.07881,
              0.14706
            ],
            [
              0.00996,
              0.01869,
              0.02732,
              0.04445,
              0.07871,
              0.14694
            ],
            [
              0.0099,
              0.01864,
              0.02724,
              0.04438,
              0.0787,
              0.14705
            ],
            [
              0.00985,
              0.01855,
              0.02723,
              0.04438,
              0.07847,
              0.14683
            ]
          ]
        },
        "when": "(A1&A3&!B1) | (A1&A3&!B2)"
      },
      {
        "fall_power,pwr_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00673,
            0.01346,
            0.02693,
            0.05385,
            0.1077
          ],
          "values": [
            [
              0.03263,
              0.02436,
              0.01588,
              -0.00129,
              -0.03577,
              -0.1048
            ],
            [
              0.0326,
              0.02433,
              0.01586,
              -0.00131,
              -0.03579,
              -0.10482
            ],
            [
              0.03258,
              0.02431,
              0.01583,
              -0.00134,
              -0.03582,
              -0.10485
            ],
            [
              0.03254,
              0.02427,
              0.01578,
              -0.00138,
              -0.03587,
              -0.10489
            ],
            [
              0.03248,
              0.02421,
              0.01573,
              -0.00143,
              -0.03591,
              -0.10493
            ],
            [
              0.03243,
              0.02415,
              0.01567,
              -0.00148,
              -0.03597,
              -0.10499
            ],
            [
              0.03236,
              0.0241,
              0.01562,
              -0.00155,
              -0.03602,
              -0.10504
            ],
            [
              0.03231,
              0.02402,
              0.01555,
              -0.00161,
              -0.03608,
              -0.1051
            ],
            [
              0.03222,
              0.02395,
              0.01548,
              -0.00167,
              -0.03614,
              -0.10516
            ],
            [
              0.03217,
              0.02389,
              0.01542,
              -0.00172,
              -0.03618,
              -0.10519
            ],
            [
              0.03212,
              0.02381,
              0.01535,
              -0.00177,
              -0.03621,
              -0.10521
            ],
            [
              0.03207,
              0.02374,
              0.01529,
              -0.00181,
              -0.03623,
              -0.10522
            ],
            [
              0.03208,
              0.02368,
              0.0152,
              -0.00188,
              -0.03624,
              -0.10519
            ]
          ]
        },
        "related_pin": "A3",
        "rise_power,pwr_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00673,
            0.01346,
            0.02693,
            0.05385,
            0.1077
          ],
          "values": [
            [
              0.01058,
              0.01935,
              0.02794,
              0.04508,
              0.07913,
              0.14742
            ],
            [
              0.01054,
              0.01932,
              0.0279,
              0.04504,
              0.07905,
              0.14741
            ],
            [
              0.01051,
              0.01927,
              0.02789,
              0.04499,
              0.07904,
              0.14726
            ],
            [
              0.01048,
              0.01925,
              0.02784,
              0.04497,
              0.07905,
              0.14736
            ],
            [
              0.01042,
              0.01919,
              0.02779,
              0.04489,
              0.07901,
              0.14719
            ],
            [
              0.01036,
              0.01913,
              0.02772,
              0.04486,
              0.07893,
              0.14726
            ],
            [
              0.01029,
              0.01906,
              0.02766,
              0.0448,
              0.07891,
              0.14713
            ],
            [
              0.0102,
              0.01897,
              0.02757,
              0.04474,
              0.07878,
              0.14715
            ],
            [
              0.0101,
              0.01886,
              0.02745,
              0.04462,
              0.07874,
              0.14707
            ],
            [
              0.00999,
              0.01875,
              0.02736,
              0.04451,
              0.07867,
              0.14688
            ],
            [
              0.00988,
              0.0186,
              0.02723,
              0.04437,
              0.07854,
              0.14676
            ],
            [
              0.0098,
              0.01855,
              0.02714,
              0.04429,
              0.07856,
              0.14665
            ],
            [
              0.00973,
              0.01844,
              0.02714,
              0.04426,
              0.07834,
              0.14687
            ]
          ]
        },
        "when": "(A1&A2&!B1) | (A1&A2&!B2)"
      },
      {
        "fall_power,pwr_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00673,
            0.01346,
            0.02693,
            0.05385,
            0.1077
          ],
          "values": [
            [
              0.0168,
              0.00872,
              0.00033,
              -0.01675,
              -0.05114,
              -0.12007
            ],
            [
              0.01677,
              0.00871,
              0.00031,
              -0.01677,
              -0.05115,
              -0.12009
            ],
            [
              0.01673,
              0.00866,
              0.00026,
              -0.01682,
              -0.05121,
              -0.12014
            ],
            [
              0.01669,
              0.0086,
              0.0002,
              -0.01688,
              -0.05127,
              -0.1202
            ],
            [
              0.01659,
              0.00851,
              0.00011,
              -0.01696,
              -0.05135,
              -0.12029
            ],
            [
              0.01649,
              0.0084,
              0.0,
              -0.01707,
              -0.05146,
              -0.12039
            ],
            [
              0.01638,
              0.00828,
              -0.00012,
              -0.01719,
              -0.05157,
              -0.1205
            ],
            [
              0.01627,
              0.00815,
              -0.00026,
              -0.01732,
              -0.05169,
              -0.12062
            ],
            [
              0.01616,
              0.008,
              -0.0004,
              -0.01746,
              -0.05182,
              -0.12073
            ],
            [
              0.01609,
              0.00789,
              -0.00051,
              -0.01756,
              -0.0519,
              -0.12081
            ],
            [
              0.01605,
              0.0078,
              -0.00061,
              -0.01764,
              -0.05196,
              -0.12084
            ],
            [
              0.01607,
              0.00774,
              -0.00068,
              -0.0177,
              -0.052,
              -0.12084
            ],
            [
              0.0162,
              0.0078,
              -0.00065,
              -0.0177,
              -0.05196,
              -0.12078
            ]
          ]
        },
        "related_pin": "B1",
        "rise_power,pwr_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00673,
            0.01346,
            0.02693,
            0.05385,
            0.1077
          ],
          "values": [
            [
              0.00676,
              0.01582,
              0.02453,
              0.04175,
              0.07599,
              0.14429
            ],
            [
              0.00674,
              0.0158,
              0.02451,
              0.04174,
              0.076,
              0.14434
            ],
            [
              0.0067,
              0.01576,
              0.02447,
              0.04171,
              0.07595,
              0.1442
            ],
            [
              0.00665,
              0.0157,
              0.02443,
              0.04163,
              0.07591,
              0.14422
            ],
            [
              0.00661,
              0.01565,
              0.02438,
              0.04162,
              0.07583,
              0.1442
            ],
            [
              0.00652,
              0.01554,
              0.02426,
              0.04151,
              0.07576,
              0.14405
            ],
            [
              0.00641,
              0.0154,
              0.02413,
              0.04139,
              0.0756,
              0.14399
            ],
            [
              0.00626,
              0.01521,
              0.02394,
              0.0412,
              0.07544,
              0.14385
            ],
            [
              0.00611,
              0.01502,
              0.02374,
              0.04098,
              0.0753,
              0.14371
            ],
            [
              0.006,
              0.01485,
              0.02354,
              0.04083,
              0.07512,
              0.14347
            ],
            [
              0.00592,
              0.01475,
              0.0234,
              0.04065,
              0.07506,
              0.14343
            ],
            [
              0.0059,
              0.01471,
              0.02339,
              0.04055,
              0.07491,
              0.14335
            ],
            [
              0.006,
              0.01473,
              0.02344,
              0.04072,
              0.07486,
              0.14328
            ]
          ]
        },
        "when": "(!A1&B2) | (!A2&B2) | (!A3&B2)"
      },
      {
        "fall_power,pwr_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00673,
            0.01346,
            0.02693,
            0.05385,
            0.1077
          ],
          "values": [
            [
              0.01877,
              0.01064,
              0.00224,
              -0.01482,
              -0.04919,
              -0.11811
            ],
            [
              0.01872,
              0.01058,
              0.00219,
              -0.01488,
              -0.04925,
              -0.11817
            ],
            [
              0.01868,
              0.01055,
              0.00216,
              -0.0149,
              -0.04927,
              -0.1182
            ],
            [
              0.01865,
              0.01052,
              0.00212,
              -0.01494,
              -0.04931,
              -0.11823
            ],
            [
              0.01859,
              0.01047,
              0.00207,
              -0.01499,
              -0.04936,
              -0.11828
            ],
            [
              0.01854,
              0.0104,
              0.00201,
              -0.01505,
              -0.04942,
              -0.11834
            ],
            [
              0.01848,
              0.01034,
              0.00195,
              -0.01511,
              -0.04948,
              -0.1184
            ],
            [
              0.01841,
              0.01025,
              0.00185,
              -0.0152,
              -0.04957,
              -0.11848
            ],
            [
              0.01834,
              0.01016,
              0.00175,
              -0.01529,
              -0.04965,
              -0.11856
            ],
            [
              0.01828,
              0.01007,
              0.00166,
              -0.01538,
              -0.04972,
              -0.11862
            ],
            [
              0.01829,
              0.01003,
              0.00162,
              -0.01542,
              -0.04974,
              -0.11862
            ],
            [
              0.01833,
              0.00998,
              0.00156,
              -0.01546,
              -0.04975,
              -0.1186
            ],
            [
              0.01847,
              0.01007,
              0.00161,
              -0.01544,
              -0.04971,
              -0.11853
            ]
          ]
        },
        "related_pin": "B2",
        "rise_power,pwr_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00673,
            0.01346,
            0.02693,
            0.05385,
            0.1077
          ],
          "values": [
            [
              0.00671,
              0.01576,
              0.02448,
              0.04171,
              0.07591,
              0.14426
            ],
            [
              0.0067,
              0.01576,
              0.02445,
              0.04169,
              0.07598,
              0.14426
            ],
            [
              0.00668,
              0.01574,
              0.02447,
              0.0417,
              0.07592,
              0.14423
            ],
            [
              0.00666,
              0.01571,
              0.02442,
              0.04167,
              0.07589,
              0.14422
            ],
            [
              0.0066,
              0.01565,
              0.02437,
              0.04163,
              0.07586,
              0.14418
            ],
            [
              0.00653,
              0.01557,
              0.02429,
              0.04153,
              0.07574,
              0.14416
            ],
            [
              0.00643,
              0.01544,
              0.02417,
              0.04142,
              0.07571,
              0.14411
            ],
            [
              0.0063,
              0.01528,
              0.02401,
              0.04128,
              0.07552,
              0.14385
            ],
            [
              0.00616,
              0.0151,
              0.02382,
              0.04107,
              0.07536,
              0.14381
            ],
            [
              0.00603,
              0.01492,
              0.02365,
              0.04091,
              0.07522,
              0.14357
            ],
            [
              0.00593,
              0.0148,
              0.02345,
              0.04078,
              0.07509,
              0.14348
            ],
            [
              0.00586,
              0.01472,
              0.0234,
              0.04059,
              0.07494,
              0.14339
            ],
            [
              0.00585,
              0.01462,
              0.02335,
              0.04064,
              0.07481,
              0.14317
            ]
          ]
        },
        "when": "(!A1&B1) | (!A2&B1) | (!A3&B1)"
      }
    ],
    "max_capacitance": 0.07091,
    "power_down_function": "(!VPWR + VGND)",
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR",
    "timing": [
      {
        "cell_fall,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00673,
            0.01346,
            0.02693,
            0.05385,
            0.1077
          ],
          "values": [
            [
              0.27017,
              0.34178,
              0.39025,
              0.47057,
              0.61215,
              0.88033
            ],
            [
              0.27356,
              0.34521,
              0.39365,
              0.47396,
              0.61554,
              0.88372
            ],
            [
              0.27748,
              0.3491,
              0.39758,
              0.47771,
              0.61926,
              0.88762
            ],
            [
              0.28334,
              0.35498,
              0.40342,
              0.48374,
              0.6253,
              0.89363
            ],
            [
              0.29217,
              0.36387,
              0.41218,
              0.49253,
              0.63416,
              0.90244
            ],
            [
              0.30574,
              0.37743,
              0.42591,
              0.50607,
              0.64773,
              0.91596
            ],
            [
              0.32647,
              0.39804,
              0.44647,
              0.52681,
              0.66841,
              0.93673
            ],
            [
              0.35771,
              0.42926,
              0.47767,
              0.55805,
              0.69971,
              0.96796
            ],
            [
              0.40379,
              0.47534,
              0.52376,
              0.60393,
              0.74574,
              1.01395
            ],
            [
              0.47154,
              0.54299,
              0.59146,
              0.67199,
              0.81379,
              1.08199
            ],
            [
              0.56882,
              0.64162,
              0.69042,
              0.77122,
              0.91322,
              1.18142
            ],
            [
              0.69647,
              0.77567,
              0.82737,
              0.91047,
              1.05367,
              1.32227
            ],
            [
              0.86,
              0.9479,
              1.0037,
              1.0918,
              1.2394,
              1.5101
            ]
          ]
        },
        "cell_rise,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00673,
            0.01346,
            0.02693,
            0.05385,
            0.1077
          ],
          "values": [
            [
              0.23608,
              0.32666,
              0.3978,
              0.53223,
              0.79671,
              1.32387
            ],
            [
              0.23855,
              0.32914,
              0.40016,
              0.53473,
              0.79942,
              1.32614
            ],
            [
              0.24164,
              0.3322,
              0.4034,
              0.53788,
              0.80215,
              1.32922
            ],
            [
              0.24635,
              0.33696,
              0.40801,
              0.54261,
              0.80727,
              1.33398
            ],
            [
              0.25357,
              0.34414,
              0.41522,
              0.54984,
              0.81449,
              1.34121
            ],
            [
              0.26454,
              0.3551,
              0.42635,
              0.56091,
              0.82497,
              1.35192
            ],
            [
              0.28112,
              0.37171,
              0.44296,
              0.57755,
              0.84185,
              1.36763
            ],
            [
              0.30629,
              0.39693,
              0.46805,
              0.60259,
              0.86746,
              1.39436
            ],
            [
              0.34463,
              0.4352,
              0.50636,
              0.641,
              0.90555,
              1.43185
            ],
            [
              0.40247,
              0.49283,
              0.564,
              0.69849,
              0.96269,
              1.48989
            ],
            [
              0.47792,
              0.57042,
              0.64212,
              0.77672,
              1.04152,
              1.56862
            ],
            [
              0.57097,
              0.66557,
              0.73787,
              0.87377,
              1.13827,
              1.66527
            ],
            [
              0.6823,
              0.7813,
              0.8543,
              0.9902,
              1.2562,
              1.7825
            ]
          ]
        },
        "fall_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00673,
            0.01346,
            0.02693,
            0.05385,
            0.1077
          ],
          "values": [
            [
              0.0375,
              0.09329,
              0.13754,
              0.22123,
              0.38777,
              0.73268
            ],
            [
              0.03751,
              0.09307,
              0.13754,
              0.22123,
              0.38778,
              0.73265
            ],
            [
              0.03752,
              0.09313,
              0.13755,
              0.22132,
              0.38766,
              0.73179
            ],
            [
              0.03751,
              0.09308,
              0.13755,
              0.22124,
              0.38777,
              0.73144
            ],
            [
              0.03754,
              0.09326,
              0.1376,
              0.22118,
              0.38782,
              0.73127
            ],
            [
              0.03753,
              0.09324,
              0.13751,
              0.22113,
              0.38725,
              0.73239
            ],
            [
              0.03754,
              0.09309,
              0.13757,
              0.22124,
              0.38782,
              0.73103
            ],
            [
              0.03754,
              0.0931,
              0.13758,
              0.22122,
              0.38767,
              0.73274
            ],
            [
              0.03754,
              0.09319,
              0.1378,
              0.22118,
              0.38774,
              0.73276
            ],
            [
              0.03769,
              0.09346,
              0.13776,
              0.22093,
              0.38745,
              0.7327
            ],
            [
              0.04,
              0.0948,
              0.1387,
              0.2216,
              0.3875,
              0.7327
            ],
            [
              0.0453,
              0.1022,
              0.1459,
              0.2274,
              0.3905,
              0.7325
            ],
            [
              0.0528,
              0.113,
              0.1573,
              0.2383,
              0.3988,
              0.736
            ]
          ]
        },
        "related_pin": "A1",
        "rise_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00673,
            0.01346,
            0.02693,
            0.05385,
            0.1077
          ],
          "values": [
            [
              0.04618,
              0.13543,
              0.2224,
              0.40169,
              0.76638,
              1.50099
            ],
            [
              0.04621,
              0.13538,
              0.22271,
              0.4018,
              0.76727,
              1.50182
            ],
            [
              0.04617,
              0.13535,
              0.2222,
              0.40187,
              0.76691,
              1.50108
            ],
            [
              0.04616,
              0.13537,
              0.22271,
              0.40182,
              0.76722,
              1.50196
            ],
            [
              0.04616,
              0.13538,
              0.22271,
              0.40183,
              0.76722,
              1.50197
            ],
            [
              0.04616,
              0.13533,
              0.2223,
              0.40197,
              0.76718,
              1.50151
            ],
            [
              0.04617,
              0.13534,
              0.22262,
              0.40193,
              0.76684,
              1.50207
            ],
            [
              0.04624,
              0.13554,
              0.22263,
              0.40164,
              0.76713,
              1.50137
            ],
            [
              0.04615,
              0.13531,
              0.22269,
              0.40186,
              0.76695,
              1.5021
            ],
            [
              0.04631,
              0.13521,
              0.22257,
              0.40167,
              0.76676,
              1.5016
            ],
            [
              0.0486,
              0.1372,
              0.2236,
              0.402,
              0.7671,
              1.5013
            ],
            [
              0.0529,
              0.1399,
              0.226,
              0.4039,
              0.7674,
              1.5009
            ],
            [
              0.0603,
              0.1434,
              0.2281,
              0.4061,
              0.7687,
              1.5029
            ]
          ]
        },
        "sdf_cond": "(A2&A3&!B1&!B2)",
        "timing_sense": "positive_unate",
        "when": "(A2&A3&!B1&!B2)"
      },
      {
        "cell_fall,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00673,
            0.01346,
            0.02693,
            0.05385,
            0.1077
          ],
          "values": [
            [
              0.31192,
              0.38522,
              0.4338,
              0.51385,
              0.65528,
              0.92315
            ],
            [
              0.31526,
              0.38857,
              0.43717,
              0.51719,
              0.65858,
              0.92654
            ],
            [
              0.31906,
              0.39238,
              0.44099,
              0.52128,
              0.66238,
              0.93048
            ],
            [
              0.32471,
              0.39798,
              0.4466,
              0.52665,
              0.66809,
              0.93598
            ],
            [
              0.33332,
              0.4066,
              0.45504,
              0.53531,
              0.67672,
              0.94489
            ],
            [
              0.34652,
              0.41974,
              0.46823,
              0.54847,
              0.69016,
              0.95792
            ],
            [
              0.36681,
              0.43998,
              0.4886,
              0.56892,
              0.71008,
              0.97823
            ],
            [
              0.3973,
              0.47032,
              0.51891,
              0.59919,
              0.74064,
              1.00846
            ],
            [
              0.44166,
              0.51477,
              0.56317,
              0.64346,
              0.78505,
              1.05295
            ],
            [
              0.50573,
              0.5788,
              0.62736,
              0.70769,
              0.84929,
              1.11749
            ],
            [
              0.59782,
              0.67122,
              0.72002,
              0.80052,
              0.94232,
              1.21042
            ],
            [
              0.71937,
              0.79807,
              0.84887,
              0.93107,
              1.07357,
              1.34197
            ],
            [
              0.8768,
              0.9621,
              1.0163,
              1.1025,
              1.2488,
              1.5191
            ]
          ]
        },
        "cell_rise,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00673,
            0.01346,
            0.02693,
            0.05385,
            0.1077
          ],
          "values": [
            [
              0.21225,
              0.30308,
              0.37431,
              0.50883,
              0.77362,
              1.30077
            ],
            [
              0.21465,
              0.30548,
              0.37666,
              0.5113,
              0.77614,
              1.30284
            ],
            [
              0.21767,
              0.3085,
              0.37975,
              0.51444,
              0.77904,
              1.30542
            ],
            [
              0.22226,
              0.31306,
              0.38444,
              0.51909,
              0.78334,
              1.30918
            ],
            [
              0.2294,
              0.32027,
              0.39154,
              0.52608,
              0.79103,
              1.31781
            ],
            [
              0.24027,
              0.33111,
              0.40249,
              0.53708,
              0.80185,
              1.32892
            ],
            [
              0.25684,
              0.3477,
              0.419,
              0.55377,
              0.81839,
              1.34473
            ],
            [
              0.28213,
              0.37295,
              0.44419,
              0.57896,
              0.84366,
              1.36996
            ],
            [
              0.3209,
              0.41145,
              0.48261,
              0.61716,
              0.88205,
              1.40915
            ],
            [
              0.37702,
              0.46779,
              0.5389,
              0.67349,
              0.93809,
              1.46509
            ],
            [
              0.44772,
              0.54062,
              0.61252,
              0.74732,
              1.01202,
              1.53952
            ],
            [
              0.53397,
              0.62947,
              0.70197,
              0.83797,
              1.10307,
              1.62867
            ],
            [
              0.6364,
              0.7372,
              0.8104,
              0.9464,
              1.2126,
              1.7393
            ]
          ]
        },
        "fall_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00673,
            0.01346,
            0.02693,
            0.05385,
            0.1077
          ],
          "values": [
            [
              0.04167,
              0.0954,
              0.1391,
              0.22208,
              0.3883,
              0.73417
            ],
            [
              0.04166,
              0.0954,
              0.1391,
              0.22193,
              0.38847,
              0.73418
            ],
            [
              0.04167,
              0.0954,
              0.13909,
              0.22229,
              0.3887,
              0.73411
            ],
            [
              0.0417,
              0.09545,
              0.13913,
              0.22193,
              0.3884,
              0.73412
            ],
            [
              0.04167,
              0.09543,
              0.13932,
              0.22219,
              0.38859,
              0.7329
            ],
            [
              0.04166,
              0.09547,
              0.13951,
              0.2222,
              0.38854,
              0.73255
            ],
            [
              0.04169,
              0.09548,
              0.13905,
              0.22246,
              0.38853,
              0.73333
            ],
            [
              0.04167,
              0.09555,
              0.13917,
              0.22218,
              0.38862,
              0.73369
            ],
            [
              0.04166,
              0.09546,
              0.13934,
              0.22256,
              0.38851,
              0.73381
            ],
            [
              0.04175,
              0.09556,
              0.13919,
              0.22252,
              0.3886,
              0.7329
            ],
            [
              0.043,
              0.0964,
              0.1399,
              0.2221,
              0.3885,
              0.7338
            ],
            [
              0.0478,
              0.1022,
              0.1453,
              0.226,
              0.3902,
              0.7345
            ],
            [
              0.0539,
              0.1108,
              0.1545,
              0.2358,
              0.398,
              0.7369
            ]
          ]
        },
        "related_pin": "A1",
        "rise_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00673,
            0.01346,
            0.02693,
            0.05385,
            0.1077
          ],
          "values": [
            [
              0.04614,
              0.13538,
              0.22252,
              0.40123,
              0.76661,
              1.50047
            ],
            [
              0.04614,
              0.13534,
              0.22264,
              0.40162,
              0.76696,
              1.50054
            ],
            [
              0.04611,
              0.13534,
              0.22268,
              0.40176,
              0.7669,
              1.50152
            ],
            [
              0.04613,
              0.13528,
              0.2225,
              0.40185,
              0.76662,
              1.50179
            ],
            [
              0.04613,
              0.13551,
              0.22257,
              0.40142,
              0.76692,
              1.50004
            ],
            [
              0.04612,
              0.13528,
              0.22235,
              0.40132,
              0.7665,
              1.50041
            ],
            [
              0.04608,
              0.13531,
              0.22265,
              0.40174,
              0.76694,
              1.50159
            ],
            [
              0.04603,
              0.13527,
              0.2226,
              0.4017,
              0.76695,
              1.5015
            ],
            [
              0.04582,
              0.13515,
              0.22235,
              0.40112,
              0.76662,
              1.50022
            ],
            [
              0.04689,
              0.13521,
              0.22239,
              0.4014,
              0.76668,
              1.5001
            ],
            [
              0.04947,
              0.1376,
              0.2239,
              0.402,
              0.7667,
              1.5012
            ],
            [
              0.0544,
              0.1403,
              0.2261,
              0.404,
              0.7683,
              1.5014
            ],
            [
              0.063,
              0.145,
              0.2286,
              0.4062,
              0.769,
              1.5026
            ]
          ]
        },
        "sdf_cond": "(A2&A3&!B1&B2)",
        "timing_sense": "positive_unate",
        "when": "(A2&A3&!B1&B2)"
      },
      {
        "cell_fall,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00673,
            0.01346,
            0.02693,
            0.05385,
            0.1077
          ],
          "values": [
            [
              0.3434,
              0.41793,
              0.46733,
              0.54865,
              0.69128,
              0.96039
            ],
            [
              0.34699,
              0.42153,
              0.47093,
              0.55228,
              0.69486,
              0.96383
            ],
            [
              0.35098,
              0.42553,
              0.47494,
              0.55628,
              0.6989,
              0.96786
            ],
            [
              0.35687,
              0.43143,
              0.48084,
              0.56217,
              0.70481,
              0.97388
            ],
            [
              0.36573,
              0.44027,
              0.48968,
              0.57104,
              0.71366,
              0.98261
            ],
            [
              0.37913,
              0.45364,
              0.50306,
              0.5844,
              0.72705,
              0.99612
            ],
            [
              0.3995,
              0.47398,
              0.52338,
              0.60475,
              0.74731,
              1.01643
            ],
            [
              0.42995,
              0.5044,
              0.5538,
              0.63515,
              0.7778,
              1.04696
            ],
            [
              0.47413,
              0.54853,
              0.59791,
              0.67927,
              0.82195,
              1.09115
            ],
            [
              0.53807,
              0.61242,
              0.66179,
              0.74319,
              0.88569,
              1.15499
            ],
            [
              0.63122,
              0.70562,
              0.75502,
              0.83652,
              0.97922,
              1.24842
            ],
            [
              0.75907,
              0.83747,
              0.88817,
              0.97047,
              1.11367,
              1.38297
            ],
            [
              0.9254,
              1.0101,
              1.064,
              1.1502,
              1.2966,
              1.567
            ]
          ]
        },
        "cell_rise,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00673,
            0.01346,
            0.02693,
            0.05385,
            0.1077
          ],
          "values": [
            [
              0.22645,
              0.32533,
              0.39874,
              0.53454,
              0.79884,
              1.32567
            ],
            [
              0.22885,
              0.32773,
              0.40118,
              0.53689,
              0.80173,
              1.32894
            ],
            [
              0.23185,
              0.33075,
              0.40425,
              0.53991,
              0.80465,
              1.33192
            ],
            [
              0.23644,
              0.33535,
              0.40885,
              0.54456,
              0.8088,
              1.33488
            ],
            [
              0.24362,
              0.34253,
              0.41602,
              0.55179,
              0.81651,
              1.34371
            ],
            [
              0.25449,
              0.35341,
              0.42694,
              0.56283,
              0.82758,
              1.35472
            ],
            [
              0.27105,
              0.36999,
              0.44345,
              0.57939,
              0.84365,
              1.36973
            ],
            [
              0.29632,
              0.39522,
              0.46873,
              0.60462,
              0.86936,
              1.39646
            ],
            [
              0.33498,
              0.43362,
              0.50698,
              0.64283,
              0.90725,
              1.43455
            ],
            [
              0.39189,
              0.49066,
              0.56399,
              0.69979,
              0.96459,
              1.49179
            ],
            [
              0.46512,
              0.56692,
              0.64102,
              0.77702,
              1.04142,
              1.56812
            ],
            [
              0.55467,
              0.66087,
              0.73597,
              0.87327,
              1.13827,
              1.66537
            ],
            [
              0.661,
              0.7753,
              0.8517,
              0.9898,
              1.2558,
              1.782
            ]
          ]
        },
        "fall_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00673,
            0.01346,
            0.02693,
            0.05385,
            0.1077
          ],
          "values": [
            [
              0.04279,
              0.09723,
              0.14115,
              0.22398,
              0.39036,
              0.73528
            ],
            [
              0.04278,
              0.09736,
              0.14118,
              0.22443,
              0.39077,
              0.7354
            ],
            [
              0.04279,
              0.09727,
              0.1413,
              0.22428,
              0.39055,
              0.73587
            ],
            [
              0.04279,
              0.09726,
              0.14117,
              0.22396,
              0.39037,
              0.73536
            ],
            [
              0.04278,
              0.09737,
              0.14137,
              0.22433,
              0.39073,
              0.73588
            ],
            [
              0.04283,
              0.09724,
              0.14118,
              0.22403,
              0.39044,
              0.73569
            ],
            [
              0.04279,
              0.09727,
              0.14109,
              0.22418,
              0.39089,
              0.73478
            ],
            [
              0.0428,
              0.09723,
              0.14116,
              0.22406,
              0.39031,
              0.73514
            ],
            [
              0.04278,
              0.09729,
              0.14114,
              0.22463,
              0.39036,
              0.73471
            ],
            [
              0.04279,
              0.09733,
              0.14141,
              0.2243,
              0.3908,
              0.7345
            ],
            [
              0.0432,
              0.0976,
              0.1414,
              0.225,
              0.3904,
              0.7355
            ],
            [
              0.0474,
              0.1019,
              0.1448,
              0.2268,
              0.3914,
              0.7359
            ],
            [
              0.0531,
              0.1102,
              0.1539,
              0.2354,
              0.3981,
              0.7374
            ]
          ]
        },
        "related_pin": "A1",
        "rise_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00673,
            0.01346,
            0.02693,
            0.05385,
            0.1077
          ],
          "values": [
            [
              0.05433,
              0.14184,
              0.2272,
              0.40354,
              0.76648,
              1.50119
            ],
            [
              0.05442,
              0.14202,
              0.22744,
              0.40414,
              0.76691,
              1.50173
            ],
            [
              0.0543,
              0.14182,
              0.22724,
              0.4041,
              0.76673,
              1.50029
            ],
            [
              0.05432,
              0.14181,
              0.22709,
              0.40384,
              0.76669,
              1.50122
            ],
            [
              0.05444,
              0.14201,
              0.22744,
              0.40394,
              0.76676,
              1.50059
            ],
            [
              0.05432,
              0.14201,
              0.22741,
              0.40411,
              0.76694,
              1.50134
            ],
            [
              0.05432,
              0.1418,
              0.22718,
              0.40363,
              0.76687,
              1.50168
            ],
            [
              0.05437,
              0.14195,
              0.22736,
              0.40412,
              0.76656,
              1.50186
            ],
            [
              0.05406,
              0.14182,
              0.22725,
              0.40358,
              0.76689,
              1.5013
            ],
            [
              0.05523,
              0.14182,
              0.22728,
              0.40392,
              0.76682,
              1.5006
            ],
            [
              0.05962,
              0.1446,
              0.2289,
              0.4043,
              0.7662,
              1.5012
            ],
            [
              0.0673,
              0.1491,
              0.2324,
              0.4067,
              0.7679,
              1.5004
            ],
            [
              0.0794,
              0.1554,
              0.2363,
              0.4096,
              0.7694,
              1.5023
            ]
          ]
        },
        "sdf_cond": "(A2&A3&B1&!B2)",
        "timing_sense": "positive_unate",
        "when": "(A2&A3&B1&!B2)"
      },
      {
        "cell_fall,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00673,
            0.01346,
            0.02693,
            0.05385,
            0.1077
          ],
          "values": [
            [
              0.30487,
              0.37822,
              0.42768,
              0.50932,
              0.65235,
              0.92155
            ],
            [
              0.30813,
              0.38149,
              0.43095,
              0.51259,
              0.65549,
              0.92489
            ],
            [
              0.31202,
              0.38539,
              0.43485,
              0.51649,
              0.65939,
              0.92879
            ],
            [
              0.31792,
              0.39127,
              0.44073,
              0.5224,
              0.66539,
              0.93439
            ],
            [
              0.32695,
              0.40031,
              0.44978,
              0.53145,
              0.67448,
              0.94367
            ],
            [
              0.34073,
              0.41408,
              0.46355,
              0.54522,
              0.68824,
              0.95722
            ],
            [
              0.36178,
              0.43511,
              0.48458,
              0.56624,
              0.70915,
              0.97853
            ],
            [
              0.39321,
              0.4665,
              0.51595,
              0.59763,
              0.74066,
              1.00966
            ],
            [
              0.43925,
              0.51252,
              0.56196,
              0.64363,
              0.78675,
              1.05595
            ],
            [
              0.50681,
              0.57997,
              0.62943,
              0.71119,
              0.85429,
              1.12349
            ],
            [
              0.60602,
              0.67922,
              0.72882,
              0.81072,
              0.95392,
              1.22322
            ],
            [
              0.74027,
              0.81877,
              0.87007,
              0.95327,
              1.09717,
              1.36657
            ],
            [
              0.9143,
              1.0004,
              1.0556,
              1.1432,
              1.2906,
              1.5616
            ]
          ]
        },
        "cell_rise,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00673,
            0.01346,
            0.02693,
            0.05385,
            0.1077
          ],
          "values": [
            [
              0.25229,
              0.34286,
              0.41387,
              0.54812,
              0.81223,
              1.33827
            ],
            [
              0.25507,
              0.34566,
              0.4166,
              0.55087,
              0.81517,
              1.34154
            ],
            [
              0.25853,
              0.34912,
              0.42017,
              0.55434,
              0.81847,
              1.34522
            ],
            [
              0.26367,
              0.35428,
              0.42531,
              0.55946,
              0.82373,
              1.35068
            ],
            [
              0.27108,
              0.36166,
              0.43267,
              0.567,
              0.83122,
              1.35741
            ],
            [
              0.28176,
              0.37236,
              0.4434,
              0.57759,
              0.84196,
              1.36892
            ],
            [
              0.29747,
              0.38803,
              0.45917,
              0.59346,
              0.8575,
              1.38423
            ],
            [
              0.321,
              0.41154,
              0.4827,
              0.61705,
              0.88106,
              1.40776
            ],
            [
              0.35635,
              0.44685,
              0.51791,
              0.65219,
              0.91685,
              1.44345
            ],
            [
              0.40893,
              0.49947,
              0.57063,
              0.70489,
              0.96959,
              1.49619
            ],
            [
              0.48042,
              0.57332,
              0.64492,
              0.77952,
              1.04392,
              1.57102
            ],
            [
              0.57267,
              0.66867,
              0.74117,
              0.87667,
              1.14117,
              1.66787
            ],
            [
              0.6879,
              0.7885,
              0.8621,
              0.9981,
              1.2635,
              1.7895
            ]
          ]
        },
        "fall_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00673,
            0.01346,
            0.02693,
            0.05385,
            0.1077
          ],
          "values": [
            [
              0.03926,
              0.09543,
              0.14021,
              0.22396,
              0.39005,
              0.73453
            ],
            [
              0.03925,
              0.09542,
              0.14036,
              0.22389,
              0.39021,
              0.73413
            ],
            [
              0.03925,
              0.09543,
              0.14036,
              0.22386,
              0.39033,
              0.73393
            ],
            [
              0.03924,
              0.09552,
              0.14011,
              0.22357,
              0.39038,
              0.73441
            ],
            [
              0.0393,
              0.09551,
              0.14008,
              0.22384,
              0.39036,
              0.73467
            ],
            [
              0.03926,
              0.09553,
              0.1401,
              0.22374,
              0.39011,
              0.73452
            ],
            [
              0.03925,
              0.09544,
              0.14036,
              0.22387,
              0.39027,
              0.73397
            ],
            [
              0.03925,
              0.09555,
              0.14013,
              0.22373,
              0.39022,
              0.73453
            ],
            [
              0.03929,
              0.0955,
              0.14026,
              0.22394,
              0.39008,
              0.73463
            ],
            [
              0.03932,
              0.09555,
              0.14043,
              0.22391,
              0.3903,
              0.7345
            ],
            [
              0.0401,
              0.0961,
              0.1407,
              0.224,
              0.3902,
              0.7346
            ],
            [
              0.0449,
              0.1015,
              0.1452,
              0.227,
              0.3918,
              0.735
            ],
            [
              0.0515,
              0.1112,
              0.1558,
              0.2371,
              0.3989,
              0.7372
            ]
          ]
        },
        "related_pin": "A2",
        "rise_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00673,
            0.01346,
            0.02693,
            0.05385,
            0.1077
          ],
          "values": [
            [
              0.04619,
              0.13538,
              0.22275,
              0.4019,
              0.7672,
              1.50203
            ],
            [
              0.04621,
              0.13538,
              0.22272,
              0.40181,
              0.76725,
              1.5019
            ],
            [
              0.04621,
              0.13546,
              0.22246,
              0.40164,
              0.76643,
              1.50069
            ],
            [
              0.04616,
              0.13545,
              0.22252,
              0.40149,
              0.76681,
              1.50064
            ],
            [
              0.04617,
              0.13538,
              0.22273,
              0.40187,
              0.7673,
              1.50202
            ],
            [
              0.04619,
              0.13542,
              0.22257,
              0.40135,
              0.76685,
              1.50036
            ],
            [
              0.04618,
              0.13538,
              0.22229,
              0.40183,
              0.76667,
              1.50113
            ],
            [
              0.04615,
              0.13535,
              0.22224,
              0.40196,
              0.76688,
              1.50109
            ],
            [
              0.04619,
              0.13542,
              0.22255,
              0.40142,
              0.76706,
              1.5012
            ],
            [
              0.04658,
              0.13531,
              0.22212,
              0.40122,
              0.7672,
              1.5021
            ],
            [
              0.049,
              0.1373,
              0.2237,
              0.4021,
              0.7665,
              1.5017
            ],
            [
              0.0525,
              0.1404,
              0.2259,
              0.4036,
              0.768,
              1.5008
            ],
            [
              0.0581,
              0.1443,
              0.229,
              0.406,
              0.7676,
              1.5017
            ]
          ]
        },
        "sdf_cond": "(A1&A3&!B1&!B2)",
        "timing_sense": "positive_unate",
        "when": "(A1&A3&!B1&!B2)"
      },
      {
        "cell_fall,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00673,
            0.01346,
            0.02693,
            0.05385,
            0.1077
          ],
          "values": [
            [
              0.36119,
              0.43692,
              0.48693,
              0.56898,
              0.71231,
              0.9818
            ],
            [
              0.36434,
              0.44009,
              0.4901,
              0.57215,
              0.71548,
              0.98498
            ],
            [
              0.36809,
              0.44384,
              0.49386,
              0.57592,
              0.71924,
              0.98882
            ],
            [
              0.3738,
              0.44956,
              0.49957,
              0.58164,
              0.72496,
              0.99457
            ],
            [
              0.3826,
              0.45835,
              0.50836,
              0.59045,
              0.73373,
              1.00321
            ],
            [
              0.39607,
              0.47181,
              0.52183,
              0.6039,
              0.74724,
              1.01682
            ],
            [
              0.41671,
              0.49243,
              0.54243,
              0.62453,
              0.76774,
              1.03723
            ],
            [
              0.44736,
              0.52306,
              0.57306,
              0.65514,
              0.79849,
              1.06806
            ],
            [
              0.49162,
              0.5673,
              0.61727,
              0.69936,
              0.84265,
              1.11195
            ],
            [
              0.55518,
              0.63079,
              0.68079,
              0.76289,
              0.90619,
              1.17579
            ],
            [
              0.64752,
              0.72292,
              0.77292,
              0.85512,
              0.99842,
              1.26792
            ],
            [
              0.77457,
              0.85347,
              0.90447,
              0.98737,
              1.13117,
              1.40097
            ],
            [
              0.9404,
              1.0253,
              1.0793,
              1.1658,
              1.3124,
              1.5835
            ]
          ]
        },
        "cell_rise,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00673,
            0.01346,
            0.02693,
            0.05385,
            0.1077
          ],
          "values": [
            [
              0.22844,
              0.31924,
              0.39035,
              0.52468,
              0.78886,
              1.31487
            ],
            [
              0.23115,
              0.32196,
              0.39304,
              0.5274,
              0.79165,
              1.31774
            ],
            [
              0.23452,
              0.32532,
              0.39652,
              0.53083,
              0.79492,
              1.32062
            ],
            [
              0.23957,
              0.33038,
              0.40151,
              0.53588,
              0.8001,
              1.32608
            ],
            [
              0.24686,
              0.33769,
              0.4089,
              0.54324,
              0.80712,
              1.33361
            ],
            [
              0.25744,
              0.34828,
              0.41946,
              0.55377,
              0.8181,
              1.34502
            ],
            [
              0.27311,
              0.36391,
              0.43513,
              0.56957,
              0.83376,
              1.35953
            ],
            [
              0.29666,
              0.38738,
              0.45863,
              0.59309,
              0.85726,
              1.38286
            ],
            [
              0.33212,
              0.42271,
              0.49393,
              0.62842,
              0.89255,
              1.41815
            ],
            [
              0.38367,
              0.4747,
              0.54581,
              0.68039,
              0.94499,
              1.47049
            ],
            [
              0.45182,
              0.54562,
              0.61732,
              0.75212,
              1.01642,
              1.54412
            ],
            [
              0.53907,
              0.63607,
              0.70887,
              0.84457,
              1.10947,
              1.63507
            ],
            [
              0.6467,
              0.749,
              0.8229,
              0.959,
              1.2246,
              1.7511
            ]
          ]
        },
        "fall_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00673,
            0.01346,
            0.02693,
            0.05385,
            0.1077
          ],
          "values": [
            [
              0.04439,
              0.099,
              0.14305,
              0.22601,
              0.39231,
              0.73674
            ],
            [
              0.04438,
              0.099,
              0.14323,
              0.226,
              0.39225,
              0.73673
            ],
            [
              0.04443,
              0.099,
              0.14303,
              0.22588,
              0.39216,
              0.73634
            ],
            [
              0.04443,
              0.09901,
              0.14298,
              0.22599,
              0.39208,
              0.7357
            ],
            [
              0.04439,
              0.09903,
              0.14296,
              0.22666,
              0.39206,
              0.73596
            ],
            [
              0.04443,
              0.09901,
              0.14299,
              0.22588,
              0.39216,
              0.73615
            ],
            [
              0.0444,
              0.09904,
              0.14296,
              0.22682,
              0.39225,
              0.73649
            ],
            [
              0.04442,
              0.09902,
              0.14305,
              0.22594,
              0.39217,
              0.73651
            ],
            [
              0.04442,
              0.09917,
              0.14311,
              0.22631,
              0.39245,
              0.7366
            ],
            [
              0.04442,
              0.09908,
              0.14304,
              0.2268,
              0.3921,
              0.736
            ],
            [
              0.0446,
              0.0994,
              0.1432,
              0.2264,
              0.3924,
              0.7365
            ],
            [
              0.0484,
              0.103,
              0.146,
              0.2279,
              0.3934,
              0.7369
            ],
            [
              0.0539,
              0.1107,
              0.1548,
              0.2363,
              0.3993,
              0.7382
            ]
          ]
        },
        "related_pin": "A2",
        "rise_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00673,
            0.01346,
            0.02693,
            0.05385,
            0.1077
          ],
          "values": [
            [
              0.04622,
              0.13535,
              0.22271,
              0.4018,
              0.76707,
              1.50155
            ],
            [
              0.04611,
              0.13535,
              0.2227,
              0.40176,
              0.7671,
              1.50139
            ],
            [
              0.04613,
              0.13532,
              0.22268,
              0.40183,
              0.76638,
              1.50186
            ],
            [
              0.04613,
              0.13535,
              0.2227,
              0.40178,
              0.76704,
              1.50153
            ],
            [
              0.04614,
              0.13554,
              0.2222,
              0.40179,
              0.76679,
              1.50104
            ],
            [
              0.04614,
              0.13541,
              0.22246,
              0.4014,
              0.76645,
              1.50035
            ],
            [
              0.04612,
              0.13532,
              0.22268,
              0.4018,
              0.76645,
              1.50182
            ],
            [
              0.04606,
              0.13527,
              0.22259,
              0.40181,
              0.76659,
              1.50186
            ],
            [
              0.04595,
              0.13537,
              0.22244,
              0.40177,
              0.76655,
              1.5017
            ],
            [
              0.0471,
              0.13562,
              0.22261,
              0.40174,
              0.76688,
              1.5024
            ],
            [
              0.04967,
              0.1378,
              0.2238,
              0.4019,
              0.767,
              1.5015
            ],
            [
              0.0536,
              0.1409,
              0.2263,
              0.4035,
              0.7681,
              1.5016
            ],
            [
              0.0603,
              0.1456,
              0.2296,
              0.4061,
              0.7681,
              1.5025
            ]
          ]
        },
        "sdf_cond": "(A1&A3&!B1&B2)",
        "timing_sense": "positive_unate",
        "when": "(A1&A3&!B1&B2)"
      },
      {
        "cell_fall,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00673,
            0.01346,
            0.02693,
            0.05385,
            0.1077
          ],
          "values": [
            [
              0.38276,
              0.45847,
              0.50851,
              0.59069,
              0.73417,
              1.00417
            ],
            [
              0.38601,
              0.46172,
              0.51178,
              0.59395,
              0.73735,
              1.00744
            ],
            [
              0.3899,
              0.46562,
              0.51568,
              0.59785,
              0.74129,
              1.01132
            ],
            [
              0.3958,
              0.47152,
              0.52158,
              0.60376,
              0.74723,
              1.01718
            ],
            [
              0.40479,
              0.48051,
              0.53057,
              0.61275,
              0.7563,
              1.02601
            ],
            [
              0.41849,
              0.49422,
              0.54427,
              0.62646,
              0.77002,
              1.03992
            ],
            [
              0.43936,
              0.51507,
              0.56512,
              0.64731,
              0.79087,
              1.06053
            ],
            [
              0.4702,
              0.54589,
              0.59594,
              0.67813,
              0.82168,
              1.09136
            ],
            [
              0.51472,
              0.59039,
              0.64041,
              0.72261,
              0.86615,
              1.13615
            ],
            [
              0.57884,
              0.65449,
              0.70449,
              0.78669,
              0.93019,
              1.20029
            ],
            [
              0.67262,
              0.74802,
              0.79802,
              0.88022,
              1.02382,
              1.29362
            ],
            [
              0.80547,
              0.88327,
              0.93387,
              1.01647,
              1.16027,
              1.43027
            ],
            [
              0.9804,
              1.0641,
              1.1176,
              1.2034,
              1.3495,
              1.6204
            ]
          ]
        },
        "cell_rise,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00673,
            0.01346,
            0.02693,
            0.05385,
            0.1077
          ],
          "values": [
            [
              0.24273,
              0.34162,
              0.41497,
              0.55043,
              0.8147,
              1.34007
            ],
            [
              0.24545,
              0.34433,
              0.41768,
              0.55316,
              0.81745,
              1.34424
            ],
            [
              0.24882,
              0.34771,
              0.42107,
              0.55646,
              0.82032,
              1.34702
            ],
            [
              0.25388,
              0.35276,
              0.42614,
              0.56154,
              0.82554,
              1.35268
            ],
            [
              0.26118,
              0.36008,
              0.43342,
              0.56887,
              0.83271,
              1.35841
            ],
            [
              0.27177,
              0.37066,
              0.444,
              0.57949,
              0.84384,
              1.36992
            ],
            [
              0.28743,
              0.38632,
              0.45965,
              0.59524,
              0.85943,
              1.38473
            ],
            [
              0.31095,
              0.40977,
              0.48313,
              0.6188,
              0.88296,
              1.40836
            ],
            [
              0.34634,
              0.44501,
              0.51838,
              0.65408,
              0.91865,
              1.44555
            ],
            [
              0.3982,
              0.49717,
              0.57055,
              0.70619,
              0.97049,
              1.49679
            ],
            [
              0.46762,
              0.56972,
              0.64382,
              0.77972,
              1.04412,
              1.57052
            ],
            [
              0.55667,
              0.66327,
              0.73857,
              0.87557,
              1.14047,
              1.66757
            ],
            [
              0.6671,
              0.7807,
              0.8576,
              0.9957,
              1.2613,
              1.7873
            ]
          ]
        },
        "fall_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00673,
            0.01346,
            0.02693,
            0.05385,
            0.1077
          ],
          "values": [
            [
              0.04436,
              0.0991,
              0.14294,
              0.22685,
              0.39239,
              0.73705
            ],
            [
              0.04433,
              0.09905,
              0.1431,
              0.22632,
              0.39266,
              0.73582
            ],
            [
              0.04432,
              0.09903,
              0.14314,
              0.22622,
              0.39276,
              0.73661
            ],
            [
              0.04431,
              0.09903,
              0.14322,
              0.2262,
              0.39279,
              0.73686
            ],
            [
              0.0444,
              0.09906,
              0.14298,
              0.22607,
              0.39294,
              0.73729
            ],
            [
              0.04437,
              0.09918,
              0.14297,
              0.22599,
              0.39242,
              0.73748
            ],
            [
              0.04432,
              0.09906,
              0.14297,
              0.22604,
              0.39309,
              0.73734
            ],
            [
              0.04435,
              0.09906,
              0.143,
              0.22611,
              0.39251,
              0.73725
            ],
            [
              0.04437,
              0.09912,
              0.14296,
              0.22621,
              0.39246,
              0.737
            ],
            [
              0.04434,
              0.09907,
              0.1432,
              0.2264,
              0.3927,
              0.7359
            ],
            [
              0.0444,
              0.0992,
              0.1431,
              0.2261,
              0.3926,
              0.7373
            ],
            [
              0.0474,
              0.1015,
              0.1447,
              0.2273,
              0.3933,
              0.737
            ],
            [
              0.0526,
              0.1091,
              0.1529,
              0.2343,
              0.398,
              0.7385
            ]
          ]
        },
        "related_pin": "A2",
        "rise_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00673,
            0.01346,
            0.02693,
            0.05385,
            0.1077
          ],
          "values": [
            [
              0.05432,
              0.14185,
              0.22726,
              0.40405,
              0.7666,
              1.50134
            ],
            [
              0.05432,
              0.14204,
              0.22743,
              0.40413,
              0.76673,
              1.50146
            ],
            [
              0.0543,
              0.14173,
              0.22745,
              0.40391,
              0.7669,
              1.5012
            ],
            [
              0.05434,
              0.14204,
              0.22743,
              0.40384,
              0.76716,
              1.50057
            ],
            [
              0.05432,
              0.14183,
              0.22715,
              0.40395,
              0.76674,
              1.50123
            ],
            [
              0.05444,
              0.14211,
              0.22746,
              0.40416,
              0.76677,
              1.50127
            ],
            [
              0.05432,
              0.14183,
              0.22746,
              0.4037,
              0.76735,
              1.50168
            ],
            [
              0.05428,
              0.14181,
              0.22713,
              0.40372,
              0.76733,
              1.50165
            ],
            [
              0.05426,
              0.14192,
              0.22738,
              0.40416,
              0.76681,
              1.5013
            ],
            [
              0.05533,
              0.14218,
              0.22735,
              0.40382,
              0.7663,
              1.5012
            ],
            [
              0.05882,
              0.1448,
              0.2288,
              0.404,
              0.7664,
              1.5013
            ],
            [
              0.0643,
              0.1489,
              0.2322,
              0.4065,
              0.7675,
              1.5006
            ],
            [
              0.0731,
              0.1548,
              0.2364,
              0.4096,
              0.7685,
              1.5015
            ]
          ]
        },
        "sdf_cond": "(A1&A3&B1&!B2)",
        "timing_sense": "positive_unate",
        "when": "(A1&A3&B1&!B2)"
      },
      {
        "cell_fall,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00673,
            0.01346,
            0.02693,
            0.05385,
            0.1077
          ],
          "values": [
            [
              0.31626,
              0.38849,
              0.43718,
              0.51787,
              0.66004,
              0.92927
            ],
            [
              0.31923,
              0.39147,
              0.44017,
              0.52089,
              0.66318,
              0.93199
            ],
            [
              0.32313,
              0.39539,
              0.44405,
              0.52479,
              0.66709,
              0.93608
            ],
            [
              0.32909,
              0.40136,
              0.45004,
              0.53077,
              0.67307,
              0.94197
            ],
            [
              0.3383,
              0.41058,
              0.45926,
              0.54001,
              0.68232,
              0.95141
            ],
            [
              0.35237,
              0.42463,
              0.47334,
              0.5541,
              0.69642,
              0.96532
            ],
            [
              0.37368,
              0.44594,
              0.49465,
              0.57544,
              0.71778,
              0.98683
            ],
            [
              0.40527,
              0.47751,
              0.52626,
              0.60705,
              0.7493,
              1.01856
            ],
            [
              0.45132,
              0.52351,
              0.57228,
              0.65311,
              0.79535,
              1.06465
            ],
            [
              0.51882,
              0.59095,
              0.63969,
              0.72069,
              0.86309,
              1.13189
            ],
            [
              0.61842,
              0.69052,
              0.73942,
              0.82052,
              0.96302,
              1.23212
            ],
            [
              0.75527,
              0.83187,
              0.88217,
              0.96427,
              1.10717,
              1.37657
            ],
            [
              0.9329,
              1.0167,
              1.0708,
              1.1571,
              1.3033,
              1.5738
            ]
          ]
        },
        "cell_rise,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00673,
            0.01346,
            0.02693,
            0.05385,
            0.1077
          ],
          "values": [
            [
              0.26126,
              0.35185,
              0.42277,
              0.5567,
              0.82065,
              1.34677
            ],
            [
              0.26438,
              0.35495,
              0.426,
              0.55996,
              0.82328,
              1.34964
            ],
            [
              0.2681,
              0.35868,
              0.42966,
              0.5637,
              0.8274,
              1.35282
            ],
            [
              0.27333,
              0.36392,
              0.43485,
              0.56885,
              0.83281,
              1.35878
            ],
            [
              0.28068,
              0.37128,
              0.44229,
              0.57626,
              0.84001,
              1.36641
            ],
            [
              0.29105,
              0.38161,
              0.4527,
              0.58674,
              0.84996,
              1.37632
            ],
            [
              0.30571,
              0.39628,
              0.46728,
              0.60141,
              0.8652,
              1.39053
            ],
            [
              0.32681,
              0.41738,
              0.48831,
              0.62243,
              0.88656,
              1.41266
            ],
            [
              0.35765,
              0.44813,
              0.5191,
              0.65318,
              0.91755,
              1.44375
            ],
            [
              0.40296,
              0.49353,
              0.56462,
              0.69869,
              0.96279,
              1.48819
            ],
            [
              0.46422,
              0.55732,
              0.62892,
              0.76342,
              1.02772,
              1.55312
            ],
            [
              0.54487,
              0.64127,
              0.71397,
              0.84917,
              1.11387,
              1.63917
            ],
            [
              0.6492,
              0.7501,
              0.8241,
              0.9602,
              1.2252,
              1.7516
            ]
          ]
        },
        "fall_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00673,
            0.01346,
            0.02693,
            0.05385,
            0.1077
          ],
          "values": [
            [
              0.03937,
              0.09541,
              0.14017,
              0.22356,
              0.39023,
              0.73381
            ],
            [
              0.03935,
              0.09544,
              0.13993,
              0.22331,
              0.39024,
              0.73499
            ],
            [
              0.03936,
              0.09552,
              0.13993,
              0.22351,
              0.39042,
              0.73525
            ],
            [
              0.03936,
              0.09553,
              0.13995,
              0.22343,
              0.39051,
              0.73522
            ],
            [
              0.03936,
              0.09536,
              0.14006,
              0.22369,
              0.38983,
              0.73495
            ],
            [
              0.03937,
              0.09544,
              0.13992,
              0.22329,
              0.39001,
              0.73491
            ],
            [
              0.0394,
              0.09553,
              0.13989,
              0.22408,
              0.39016,
              0.73525
            ],
            [
              0.03936,
              0.09543,
              0.14004,
              0.22349,
              0.39023,
              0.73354
            ],
            [
              0.03936,
              0.09538,
              0.14018,
              0.2235,
              0.38999,
              0.7344
            ],
            [
              0.03937,
              0.09555,
              0.13988,
              0.22343,
              0.3903,
              0.7351
            ],
            [
              0.0398,
              0.0956,
              0.1401,
              0.2238,
              0.3897,
              0.735
            ],
            [
              0.0441,
              0.1002,
              0.1436,
              0.2257,
              0.3912,
              0.7355
            ],
            [
              0.0503,
              0.1093,
              0.1536,
              0.2349,
              0.3978,
              0.7363
            ]
          ]
        },
        "related_pin": "A3",
        "rise_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00673,
            0.01346,
            0.02693,
            0.05385,
            0.1077
          ],
          "values": [
            [
              0.04623,
              0.13536,
              0.22269,
              0.40171,
              0.7671,
              1.50162
            ],
            [
              0.04614,
              0.13537,
              0.22231,
              0.40187,
              0.76702,
              1.5011
            ],
            [
              0.04625,
              0.13538,
              0.22276,
              0.40192,
              0.76718,
              1.50215
            ],
            [
              0.04623,
              0.13537,
              0.22271,
              0.40175,
              0.76715,
              1.50165
            ],
            [
              0.04621,
              0.13546,
              0.22248,
              0.40163,
              0.76648,
              1.50062
            ],
            [
              0.04617,
              0.13534,
              0.22226,
              0.40196,
              0.76727,
              1.50129
            ],
            [
              0.04625,
              0.13538,
              0.22276,
              0.40192,
              0.76707,
              1.50209
            ],
            [
              0.04623,
              0.13537,
              0.22271,
              0.40171,
              0.76718,
              1.50168
            ],
            [
              0.04621,
              0.13556,
              0.22263,
              0.40155,
              0.76711,
              1.5014
            ],
            [
              0.04659,
              0.13544,
              0.22269,
              0.40143,
              0.76671,
              1.5021
            ],
            [
              0.04905,
              0.1376,
              0.2236,
              0.4022,
              0.7668,
              1.502
            ],
            [
              0.0519,
              0.1407,
              0.2262,
              0.4033,
              0.7681,
              1.502
            ],
            [
              0.0564,
              0.1448,
              0.2296,
              0.4057,
              0.7679,
              1.5027
            ]
          ]
        },
        "sdf_cond": "(A1&A2&!B1&!B2)",
        "timing_sense": "positive_unate",
        "when": "(A1&A2&!B1&!B2)"
      },
      {
        "cell_fall,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00673,
            0.01346,
            0.02693,
            0.05385,
            0.1077
          ],
          "values": [
            [
              0.38179,
              0.4571,
              0.50664,
              0.5881,
              0.73095,
              1.00057
            ],
            [
              0.38454,
              0.45989,
              0.50942,
              0.59089,
              0.73364,
              1.00314
            ],
            [
              0.38828,
              0.46363,
              0.51318,
              0.59465,
              0.73742,
              1.00702
            ],
            [
              0.39404,
              0.46942,
              0.51897,
              0.60045,
              0.74321,
              1.01278
            ],
            [
              0.40305,
              0.4784,
              0.52798,
              0.60945,
              0.75235,
              1.02191
            ],
            [
              0.41686,
              0.4922,
              0.54178,
              0.62328,
              0.76619,
              1.03582
            ],
            [
              0.4378,
              0.51316,
              0.56272,
              0.64426,
              0.78707,
              1.05673
            ],
            [
              0.46863,
              0.54395,
              0.59353,
              0.67508,
              0.818,
              1.08766
            ],
            [
              0.51274,
              0.58804,
              0.63761,
              0.71918,
              0.86205,
              1.13165
            ],
            [
              0.57603,
              0.65129,
              0.70089,
              0.78249,
              0.92549,
              1.19509
            ],
            [
              0.66792,
              0.74302,
              0.79272,
              0.87442,
              1.01732,
              1.28692
            ],
            [
              0.79697,
              0.87457,
              0.92487,
              1.00707,
              1.15037,
              1.42017
            ],
            [
              0.9656,
              1.049,
              1.1023,
              1.1878,
              1.3336,
              1.6043
            ]
          ]
        },
        "cell_rise,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00673,
            0.01346,
            0.02693,
            0.05385,
            0.1077
          ],
          "values": [
            [
              0.2374,
              0.32822,
              0.39919,
              0.53325,
              0.79719,
              1.32297
            ],
            [
              0.24049,
              0.33132,
              0.4024,
              0.53638,
              0.80006,
              1.32634
            ],
            [
              0.2441,
              0.33489,
              0.40605,
              0.54009,
              0.80335,
              1.32912
            ],
            [
              0.24924,
              0.34004,
              0.41106,
              0.54517,
              0.8091,
              1.33488
            ],
            [
              0.25648,
              0.34729,
              0.41843,
              0.55251,
              0.81621,
              1.34141
            ],
            [
              0.26676,
              0.35759,
              0.42862,
              0.56267,
              0.82676,
              1.35272
            ],
            [
              0.28137,
              0.37219,
              0.44322,
              0.57733,
              0.84146,
              1.36743
            ],
            [
              0.30248,
              0.39322,
              0.46423,
              0.59845,
              0.86266,
              1.38856
            ],
            [
              0.33344,
              0.42403,
              0.49519,
              0.62949,
              0.89295,
              1.41915
            ],
            [
              0.37788,
              0.46902,
              0.54013,
              0.67439,
              0.93869,
              1.46509
            ],
            [
              0.43689,
              0.53082,
              0.60262,
              0.73742,
              1.00142,
              1.52722
            ],
            [
              0.51427,
              0.61167,
              0.68457,
              0.82017,
              1.08477,
              1.61087
            ],
            [
              0.6135,
              0.7158,
              0.79,
              0.9264,
              1.1916,
              1.7181
            ]
          ]
        },
        "fall_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00673,
            0.01346,
            0.02693,
            0.05385,
            0.1077
          ],
          "values": [
            [
              0.04495,
              0.09951,
              0.14342,
              0.22651,
              0.3927,
              0.73668
            ],
            [
              0.04501,
              0.09961,
              0.14335,
              0.2268,
              0.39308,
              0.73788
            ],
            [
              0.04493,
              0.09953,
              0.14344,
              0.22673,
              0.39312,
              0.73798
            ],
            [
              0.04496,
              0.09961,
              0.14336,
              0.22676,
              0.3931,
              0.73793
            ],
            [
              0.04494,
              0.09947,
              0.14358,
              0.22656,
              0.39292,
              0.73778
            ],
            [
              0.04497,
              0.09945,
              0.14362,
              0.22652,
              0.39339,
              0.73774
            ],
            [
              0.04497,
              0.09961,
              0.1434,
              0.22655,
              0.39289,
              0.73723
            ],
            [
              0.04493,
              0.09951,
              0.14342,
              0.22647,
              0.39264,
              0.73678
            ],
            [
              0.04495,
              0.09963,
              0.14337,
              0.22671,
              0.39304,
              0.7379
            ],
            [
              0.04494,
              0.09954,
              0.14359,
              0.2265,
              0.3932,
              0.7378
            ],
            [
              0.045,
              0.0996,
              0.1435,
              0.2267,
              0.3931,
              0.7378
            ],
            [
              0.0482,
              0.1021,
              0.1453,
              0.2277,
              0.3932,
              0.7378
            ],
            [
              0.0534,
              0.1096,
              0.1534,
              0.2349,
              0.3982,
              0.7398
            ]
          ]
        },
        "related_pin": "A3",
        "rise_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00673,
            0.01346,
            0.02693,
            0.05385,
            0.1077
          ],
          "values": [
            [
              0.0462,
              0.13535,
              0.22269,
              0.40171,
              0.76696,
              1.501
            ],
            [
              0.04615,
              0.13542,
              0.22239,
              0.40161,
              0.76611,
              1.50092
            ],
            [
              0.04613,
              0.13531,
              0.22235,
              0.40194,
              0.76666,
              1.50154
            ],
            [
              0.04614,
              0.13535,
              0.2227,
              0.40176,
              0.76705,
              1.50117
            ],
            [
              0.04612,
              0.13533,
              0.22269,
              0.40185,
              0.76639,
              1.50187
            ],
            [
              0.04611,
              0.13532,
              0.22265,
              0.40157,
              0.76693,
              1.5005
            ],
            [
              0.04618,
              0.13533,
              0.22265,
              0.40161,
              0.76694,
              1.50057
            ],
            [
              0.04614,
              0.13533,
              0.22265,
              0.40164,
              0.767,
              1.50095
            ],
            [
              0.04604,
              0.13526,
              0.22239,
              0.40185,
              0.76714,
              1.5014
            ],
            [
              0.04718,
              0.13563,
              0.22269,
              0.40118,
              0.76687,
              1.501
            ],
            [
              0.04945,
              0.1381,
              0.2239,
              0.4025,
              0.766,
              1.5017
            ],
            [
              0.0529,
              0.1413,
              0.2268,
              0.4035,
              0.7678,
              1.5022
            ],
            [
              0.0576,
              0.1458,
              0.2302,
              0.4061,
              0.7672,
              1.5025
            ]
          ]
        },
        "sdf_cond": "(A1&A2&!B1&B2)",
        "timing_sense": "positive_unate",
        "when": "(A1&A2&!B1&B2)"
      },
      {
        "cell_fall,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00673,
            0.01346,
            0.02693,
            0.05385,
            0.1077
          ],
          "values": [
            [
              0.4002,
              0.47527,
              0.52476,
              0.60619,
              0.74907,
              1.01907
            ],
            [
              0.40309,
              0.47816,
              0.52765,
              0.60909,
              0.75201,
              1.02184
            ],
            [
              0.40688,
              0.48196,
              0.53145,
              0.61289,
              0.75581,
              1.02572
            ],
            [
              0.41276,
              0.48785,
              0.53734,
              0.61881,
              0.76177,
              1.03158
            ],
            [
              0.42192,
              0.49701,
              0.5465,
              0.62797,
              0.77097,
              1.04091
            ],
            [
              0.4359,
              0.511,
              0.5605,
              0.64198,
              0.785,
              1.05492
            ],
            [
              0.45703,
              0.53211,
              0.58164,
              0.66313,
              0.80606,
              1.07603
            ],
            [
              0.48799,
              0.56308,
              0.61258,
              0.69411,
              0.83716,
              1.10706
            ],
            [
              0.53242,
              0.60748,
              0.65713,
              0.73868,
              0.88165,
              1.15175
            ],
            [
              0.59645,
              0.67149,
              0.72099,
              0.80259,
              0.94559,
              1.21569
            ],
            [
              0.68972,
              0.76462,
              0.81412,
              0.89582,
              1.03902,
              1.30902
            ],
            [
              0.82377,
              0.90027,
              0.95017,
              1.03207,
              1.17537,
              1.44547
            ],
            [
              1.0007,
              1.083,
              1.1357,
              1.2206,
              1.3659,
              1.6367
            ]
          ]
        },
        "cell_rise,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00673,
            0.01346,
            0.02693,
            0.05385,
            0.1077
          ],
          "values": [
            [
              0.2517,
              0.35058,
              0.42382,
              0.5589,
              0.82289,
              1.34927
            ],
            [
              0.25479,
              0.35367,
              0.42693,
              0.56215,
              0.82575,
              1.35114
            ],
            [
              0.2584,
              0.35729,
              0.43058,
              0.56569,
              0.82912,
              1.35432
            ],
            [
              0.26354,
              0.36242,
              0.43569,
              0.57086,
              0.83484,
              1.36118
            ],
            [
              0.27079,
              0.36969,
              0.44298,
              0.57816,
              0.84157,
              1.36801
            ],
            [
              0.28108,
              0.37996,
              0.45325,
              0.58853,
              0.85194,
              1.37882
            ],
            [
              0.29569,
              0.39456,
              0.46784,
              0.60311,
              0.8672,
              1.39363
            ],
            [
              0.31677,
              0.41558,
              0.48882,
              0.6242,
              0.88796,
              1.41356
            ],
            [
              0.34767,
              0.44634,
              0.51958,
              0.65517,
              0.91935,
              1.44575
            ],
            [
              0.3924,
              0.49146,
              0.56472,
              0.70029,
              0.96459,
              1.49069
            ],
            [
              0.45222,
              0.55452,
              0.62852,
              0.76442,
              1.02882,
              1.55502
            ],
            [
              0.53077,
              0.63727,
              0.71267,
              0.84967,
              1.11457,
              1.64097
            ],
            [
              0.6319,
              0.7443,
              0.8215,
              0.9598,
              1.2251,
              1.7515
            ]
          ]
        },
        "fall_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00673,
            0.01346,
            0.02693,
            0.05385,
            0.1077
          ],
          "values": [
            [
              0.0447,
              0.09927,
              0.14339,
              0.22654,
              0.39329,
              0.73719
            ],
            [
              0.04471,
              0.09927,
              0.1435,
              0.22648,
              0.39329,
              0.73796
            ],
            [
              0.04469,
              0.09927,
              0.14347,
              0.2265,
              0.39331,
              0.73773
            ],
            [
              0.04468,
              0.09931,
              0.14327,
              0.2264,
              0.39312,
              0.73846
            ],
            [
              0.0447,
              0.09933,
              0.14325,
              0.22627,
              0.39354,
              0.7385
            ],
            [
              0.0447,
              0.09944,
              0.14323,
              0.22624,
              0.39312,
              0.73848
            ],
            [
              0.04471,
              0.09927,
              0.14338,
              0.22651,
              0.39327,
              0.73734
            ],
            [
              0.04469,
              0.09944,
              0.14322,
              0.22671,
              0.39288,
              0.73834
            ],
            [
              0.04467,
              0.09944,
              0.14314,
              0.22715,
              0.39296,
              0.7381
            ],
            [
              0.04466,
              0.09938,
              0.1432,
              0.2271,
              0.3929,
              0.7381
            ],
            [
              0.0447,
              0.0995,
              0.1433,
              0.2262,
              0.3931,
              0.7384
            ],
            [
              0.047,
              0.1008,
              0.1442,
              0.227,
              0.393,
              0.7373
            ],
            [
              0.0522,
              0.1081,
              0.1518,
              0.2336,
              0.3974,
              0.7391
            ]
          ]
        },
        "related_pin": "A3",
        "rise_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00673,
            0.01346,
            0.02693,
            0.05385,
            0.1077
          ],
          "values": [
            [
              0.05439,
              0.14204,
              0.22751,
              0.40412,
              0.76701,
              1.5
            ],
            [
              0.05433,
              0.14183,
              0.22718,
              0.40379,
              0.76738,
              1.50154
            ],
            [
              0.05432,
              0.14183,
              0.22718,
              0.40396,
              0.76662,
              1.50111
            ],
            [
              0.05432,
              0.14204,
              0.2275,
              0.40402,
              0.76668,
              1.50185
            ],
            [
              0.05431,
              0.14173,
              0.22749,
              0.40393,
              0.7668,
              1.5013
            ],
            [
              0.05444,
              0.14204,
              0.22717,
              0.40359,
              0.76687,
              1.5019
            ],
            [
              0.05439,
              0.14203,
              0.2275,
              0.40421,
              0.76657,
              1.5018
            ],
            [
              0.05429,
              0.1421,
              0.22747,
              0.40376,
              0.76724,
              1.50151
            ],
            [
              0.05423,
              0.14196,
              0.22739,
              0.40407,
              0.76652,
              1.5014
            ],
            [
              0.05536,
              0.14203,
              0.22737,
              0.4041,
              0.76685,
              1.5001
            ],
            [
              0.05852,
              0.1447,
              0.2287,
              0.4043,
              0.7666,
              1.5002
            ],
            [
              0.0627,
              0.1488,
              0.2323,
              0.4063,
              0.7686,
              1.4999
            ],
            [
              0.0689,
              0.1545,
              0.2371,
              0.4099,
              0.7686,
              1.5024
            ]
          ]
        },
        "sdf_cond": "(A1&A2&B1&!B2)",
        "timing_sense": "positive_unate",
        "when": "(A1&A2&B1&!B2)"
      },
      {
        "cell_fall,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00673,
            0.01346,
            0.02693,
            0.05385,
            0.1077
          ],
          "values": [
            [
              0.17803,
              0.23767,
              0.27908,
              0.35116,
              0.48617,
              0.75187
            ],
            [
              0.18076,
              0.24044,
              0.28187,
              0.35415,
              0.48885,
              0.7544
            ],
            [
              0.18407,
              0.24384,
              0.28509,
              0.35737,
              0.49238,
              0.75813
            ],
            [
              0.18915,
              0.24885,
              0.29028,
              0.3624,
              0.49745,
              0.76324
            ],
            [
              0.19719,
              0.25688,
              0.29832,
              0.3706,
              0.50545,
              0.77126
            ],
            [
              0.2097,
              0.26927,
              0.31071,
              0.38304,
              0.5181,
              0.7839
            ],
            [
              0.2293,
              0.28879,
              0.33014,
              0.40244,
              0.53764,
              0.80354
            ],
            [
              0.25973,
              0.31922,
              0.3607,
              0.43314,
              0.56817,
              0.83428
            ],
            [
              0.30646,
              0.36572,
              0.40729,
              0.47979,
              0.6151,
              0.88085
            ],
            [
              0.37473,
              0.43484,
              0.47656,
              0.54927,
              0.68459,
              0.95069
            ],
            [
              0.46262,
              0.52742,
              0.57092,
              0.64472,
              0.78042,
              1.04652
            ],
            [
              0.57287,
              0.64407,
              0.68957,
              0.76577,
              0.90367,
              1.17007
            ],
            [
              0.7099,
              0.7912,
              0.8397,
              0.9184,
              1.0581,
              1.3266
            ]
          ]
        },
        "cell_rise,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00673,
            0.01346,
            0.02693,
            0.05385,
            0.1077
          ],
          "values": [
            [
              0.1341,
              0.21355,
              0.28106,
              0.41314,
              0.67556,
              1.19927
            ],
            [
              0.13684,
              0.21619,
              0.28378,
              0.4156,
              0.67803,
              1.20244
            ],
            [
              0.14017,
              0.21967,
              0.28717,
              0.41927,
              0.68153,
              1.20602
            ],
            [
              0.14525,
              0.22468,
              0.29213,
              0.42425,
              0.6862,
              1.21148
            ],
            [
              0.15302,
              0.23231,
              0.29991,
              0.43207,
              0.69424,
              1.21911
            ],
            [
              0.16475,
              0.24383,
              0.31137,
              0.44356,
              0.70544,
              1.23102
            ],
            [
              0.18258,
              0.26151,
              0.32919,
              0.4615,
              0.72414,
              1.24783
            ],
            [
              0.20939,
              0.28822,
              0.35581,
              0.48819,
              0.75077,
              1.27436
            ],
            [
              0.2459,
              0.32564,
              0.39326,
              0.52539,
              0.78825,
              1.31275
            ],
            [
              0.29102,
              0.37311,
              0.44132,
              0.57365,
              0.83649,
              1.36119
            ],
            [
              0.34615,
              0.43109,
              0.49992,
              0.63312,
              0.89572,
              1.41932
            ],
            [
              0.41187,
              0.50167,
              0.57097,
              0.70447,
              0.96797,
              1.49227
            ],
            [
              0.4875,
              0.5859,
              0.6561,
              0.7894,
              1.0533,
              1.5779
            ]
          ]
        },
        "fall_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00673,
            0.01346,
            0.02693,
            0.05385,
            0.1077
          ],
          "values": [
            [
              0.03125,
              0.07898,
              0.12065,
              0.20396,
              0.37501,
              0.7284
            ],
            [
              0.03123,
              0.07899,
              0.12066,
              0.20388,
              0.37523,
              0.7278
            ],
            [
              0.03122,
              0.0789,
              0.12078,
              0.20425,
              0.37524,
              0.72629
            ],
            [
              0.03124,
              0.07896,
              0.12074,
              0.20394,
              0.37511,
              0.72808
            ],
            [
              0.03121,
              0.07891,
              0.12068,
              0.20379,
              0.37512,
              0.72792
            ],
            [
              0.03125,
              0.07914,
              0.12096,
              0.20433,
              0.37526,
              0.72676
            ],
            [
              0.03125,
              0.07901,
              0.12075,
              0.20392,
              0.37493,
              0.72716
            ],
            [
              0.03125,
              0.07906,
              0.12077,
              0.20417,
              0.37517,
              0.72804
            ],
            [
              0.03135,
              0.07913,
              0.12079,
              0.20395,
              0.37467,
              0.72687
            ],
            [
              0.03355,
              0.08023,
              0.12156,
              0.2042,
              0.37534,
              0.72695
            ],
            [
              0.03916,
              0.0854,
              0.1261,
              0.2068,
              0.3756,
              0.7263
            ],
            [
              0.0473,
              0.0926,
              0.1325,
              0.2129,
              0.3801,
              0.7289
            ],
            [
              0.0582,
              0.1037,
              0.1421,
              0.2207,
              0.3856,
              0.7305
            ]
          ]
        },
        "related_pin": "B1",
        "rise_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00673,
            0.01346,
            0.02693,
            0.05385,
            0.1077
          ],
          "values": [
            [
              0.03559,
              0.12238,
              0.21152,
              0.3935,
              0.76015,
              1.49252
            ],
            [
              0.0356,
              0.12258,
              0.21146,
              0.3932,
              0.75943,
              1.49388
            ],
            [
              0.0356,
              0.12238,
              0.21148,
              0.39347,
              0.76006,
              1.49178
            ],
            [
              0.03564,
              0.12246,
              0.21124,
              0.39349,
              0.75997,
              1.491
            ],
            [
              0.0356,
              0.12232,
              0.21139,
              0.39349,
              0.7601,
              1.49148
            ],
            [
              0.03559,
              0.12263,
              0.2114,
              0.3935,
              0.75995,
              1.49235
            ],
            [
              0.03562,
              0.12265,
              0.21151,
              0.3935,
              0.76015,
              1.49254
            ],
            [
              0.03584,
              0.12261,
              0.21157,
              0.39347,
              0.76014,
              1.49179
            ],
            [
              0.03786,
              0.1233,
              0.21172,
              0.39341,
              0.75986,
              1.49252
            ],
            [
              0.04075,
              0.12556,
              0.21311,
              0.39376,
              0.75998,
              1.4932
            ],
            [
              0.04555,
              0.12837,
              0.21542,
              0.3954,
              0.76,
              1.4924
            ],
            [
              0.0531,
              0.1323,
              0.2175,
              0.3969,
              0.7613,
              1.4922
            ],
            [
              0.064,
              0.1393,
              0.2213,
              0.3984,
              0.7627,
              1.4933
            ]
          ]
        },
        "sdf_cond": "(!A1&!A2&!A3&B2)",
        "timing_sense": "positive_unate",
        "when": "(!A1&!A2&!A3&B2)"
      },
      {
        "cell_fall,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00673,
            0.01346,
            0.02693,
            0.05385,
            0.1077
          ],
          "values": [
            [
              0.19886,
              0.26286,
              0.30648,
              0.38105,
              0.51749,
              0.78369
            ],
            [
              0.2014,
              0.26545,
              0.30908,
              0.38368,
              0.52014,
              0.78632
            ],
            [
              0.20448,
              0.26856,
              0.31219,
              0.38678,
              0.52354,
              0.78917
            ],
            [
              0.20922,
              0.27326,
              0.31687,
              0.39126,
              0.52789,
              0.79397
            ],
            [
              0.21679,
              0.28071,
              0.32433,
              0.39891,
              0.53552,
              0.80137
            ],
            [
              0.22876,
              0.29264,
              0.33628,
              0.41091,
              0.54765,
              0.8135
            ],
            [
              0.24762,
              0.31135,
              0.35499,
              0.42965,
              0.56646,
              0.83272
            ],
            [
              0.27701,
              0.34086,
              0.38426,
              0.45898,
              0.59606,
              0.86226
            ],
            [
              0.32257,
              0.38608,
              0.42975,
              0.50455,
              0.64136,
              0.90785
            ],
            [
              0.39071,
              0.45434,
              0.49813,
              0.57301,
              0.71019,
              0.97659
            ],
            [
              0.48062,
              0.54842,
              0.59352,
              0.66922,
              0.80672,
              1.07292
            ],
            [
              0.59327,
              0.66717,
              0.71427,
              0.79247,
              0.93197,
              1.19907
            ],
            [
              0.7332,
              0.8169,
              0.8669,
              0.9475,
              1.0891,
              1.3585
            ]
          ]
        },
        "cell_rise,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00673,
            0.01346,
            0.02693,
            0.05385,
            0.1077
          ],
          "values": [
            [
              0.13419,
              0.21378,
              0.2814,
              0.41379,
              0.67673,
              1.20197
            ],
            [
              0.13696,
              0.21646,
              0.28408,
              0.41647,
              0.67889,
              1.20554
            ],
            [
              0.14034,
              0.21998,
              0.28759,
              0.42007,
              0.68306,
              1.20702
            ],
            [
              0.14546,
              0.22503,
              0.29263,
              0.42507,
              0.68763,
              1.21418
            ],
            [
              0.15328,
              0.23271,
              0.30048,
              0.43294,
              0.69572,
              1.22181
            ],
            [
              0.16503,
              0.24429,
              0.31199,
              0.4445,
              0.707,
              1.23372
            ],
            [
              0.1829,
              0.26199,
              0.32983,
              0.46245,
              0.72569,
              1.25073
            ],
            [
              0.2097,
              0.28867,
              0.35644,
              0.48912,
              0.75221,
              1.27736
            ],
            [
              0.24624,
              0.32614,
              0.3939,
              0.5263,
              0.78985,
              1.31565
            ],
            [
              0.29142,
              0.37365,
              0.44191,
              0.57473,
              0.83789,
              1.36459
            ],
            [
              0.34642,
              0.43149,
              0.50052,
              0.63392,
              0.89712,
              1.42302
            ],
            [
              0.41207,
              0.50207,
              0.57147,
              0.70507,
              0.96947,
              1.49497
            ],
            [
              0.4876,
              0.5861,
              0.6566,
              0.7901,
              1.0551,
              1.5805
            ]
          ]
        },
        "fall_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00673,
            0.01346,
            0.02693,
            0.05385,
            0.1077
          ],
          "values": [
            [
              0.03441,
              0.08393,
              0.12612,
              0.20926,
              0.37875,
              0.72817
            ],
            [
              0.03442,
              0.0839,
              0.12648,
              0.20926,
              0.3785,
              0.7289
            ],
            [
              0.03442,
              0.08404,
              0.12611,
              0.20927,
              0.37849,
              0.72977
            ],
            [
              0.03443,
              0.08389,
              0.12612,
              0.20928,
              0.37823,
              0.729
            ],
            [
              0.03443,
              0.08397,
              0.12619,
              0.20912,
              0.37806,
              0.72987
            ],
            [
              0.03442,
              0.08401,
              0.12622,
              0.2091,
              0.37807,
              0.72986
            ],
            [
              0.03442,
              0.08415,
              0.12619,
              0.20945,
              0.37862,
              0.72809
            ],
            [
              0.03444,
              0.08416,
              0.12616,
              0.20911,
              0.37874,
              0.72854
            ],
            [
              0.0344,
              0.08415,
              0.12632,
              0.20952,
              0.3786,
              0.72925
            ],
            [
              0.03555,
              0.08461,
              0.12656,
              0.2096,
              0.37863,
              0.7293
            ],
            [
              0.0411,
              0.0892,
              0.1301,
              0.2112,
              0.3791,
              0.7294
            ],
            [
              0.0493,
              0.0961,
              0.1371,
              0.2175,
              0.3833,
              0.7292
            ],
            [
              0.0603,
              0.107,
              0.1462,
              0.2254,
              0.3894,
              0.7337
            ]
          ]
        },
        "related_pin": "B1",
        "rise_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00673,
            0.01346,
            0.02693,
            0.05385,
            0.1077
          ],
          "values": [
            [
              0.03564,
              0.12265,
              0.21194,
              0.39433,
              0.76166,
              1.49565
            ],
            [
              0.03564,
              0.12281,
              0.21179,
              0.39434,
              0.76163,
              1.49438
            ],
            [
              0.03573,
              0.12253,
              0.21191,
              0.39435,
              0.76149,
              1.49709
            ],
            [
              0.03568,
              0.12269,
              0.21167,
              0.39434,
              0.7617,
              1.49435
            ],
            [
              0.03564,
              0.12253,
              0.21183,
              0.39434,
              0.76177,
              1.49477
            ],
            [
              0.03566,
              0.12286,
              0.21182,
              0.39435,
              0.76158,
              1.49579
            ],
            [
              0.03567,
              0.12288,
              0.21196,
              0.39435,
              0.76184,
              1.49573
            ],
            [
              0.03594,
              0.12295,
              0.21194,
              0.39433,
              0.76175,
              1.49739
            ],
            [
              0.03791,
              0.12334,
              0.21207,
              0.39418,
              0.76155,
              1.49569
            ],
            [
              0.04077,
              0.12573,
              0.2137,
              0.39466,
              0.76163,
              1.4953
            ],
            [
              0.04555,
              0.12857,
              0.21586,
              0.3963,
              0.7616,
              1.4965
            ],
            [
              0.0531,
              0.1324,
              0.218,
              0.3978,
              0.763,
              1.4953
            ],
            [
              0.0639,
              0.1394,
              0.2217,
              0.3989,
              0.7641,
              1.4967
            ]
          ]
        },
        "sdf_cond": "(!A1&!A2&A3&B2)",
        "timing_sense": "positive_unate",
        "when": "(!A1&!A2&A3&B2)"
      },
      {
        "cell_fall,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00673,
            0.01346,
            0.02693,
            0.05385,
            0.1077
          ],
          "values": [
            [
              0.19156,
              0.25394,
              0.29652,
              0.37014,
              0.506,
              0.77195
            ],
            [
              0.19417,
              0.25658,
              0.29933,
              0.37278,
              0.50869,
              0.77461
            ],
            [
              0.19726,
              0.25971,
              0.30248,
              0.37593,
              0.51188,
              0.77788
            ],
            [
              0.20214,
              0.26454,
              0.30734,
              0.38104,
              0.51677,
              0.78258
            ],
            [
              0.20984,
              0.27224,
              0.31503,
              0.38871,
              0.5245,
              0.79046
            ],
            [
              0.22199,
              0.28433,
              0.32715,
              0.40086,
              0.5367,
              0.80272
            ],
            [
              0.24108,
              0.30323,
              0.34603,
              0.41975,
              0.55581,
              0.82189
            ],
            [
              0.27085,
              0.33306,
              0.37588,
              0.44965,
              0.58579,
              0.85196
            ],
            [
              0.3168,
              0.37872,
              0.4216,
              0.49544,
              0.63176,
              0.89755
            ],
            [
              0.38505,
              0.44733,
              0.49034,
              0.56431,
              0.70069,
              0.96679
            ],
            [
              0.47412,
              0.54092,
              0.58542,
              0.66032,
              0.79702,
              1.06322
            ],
            [
              0.58587,
              0.65877,
              0.70527,
              0.78277,
              0.92157,
              1.18837
            ],
            [
              0.7247,
              0.8076,
              0.857,
              0.9369,
              1.0777,
              1.3467
            ]
          ]
        },
        "cell_rise,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00673,
            0.01346,
            0.02693,
            0.05385,
            0.1077
          ],
          "values": [
            [
              0.13413,
              0.21354,
              0.28107,
              0.41304,
              0.67573,
              1.19967
            ],
            [
              0.13694,
              0.21641,
              0.28391,
              0.41609,
              0.67842,
              1.20354
            ],
            [
              0.14029,
              0.21967,
              0.28737,
              0.41946,
              0.68203,
              1.20622
            ],
            [
              0.14539,
              0.22484,
              0.29235,
              0.42456,
              0.68668,
              1.21228
            ],
            [
              0.15318,
              0.23251,
              0.30016,
              0.4324,
              0.69473,
              1.21991
            ],
            [
              0.16494,
              0.24406,
              0.31166,
              0.44391,
              0.70595,
              1.23182
            ],
            [
              0.18277,
              0.26175,
              0.32947,
              0.46187,
              0.72464,
              1.24873
            ],
            [
              0.20957,
              0.28843,
              0.35608,
              0.48854,
              0.75121,
              1.27506
            ],
            [
              0.24609,
              0.32588,
              0.39353,
              0.52572,
              0.78875,
              1.31365
            ],
            [
              0.2912,
              0.37331,
              0.44151,
              0.57398,
              0.83709,
              1.36249
            ],
            [
              0.3463,
              0.43127,
              0.50012,
              0.63312,
              0.89592,
              1.42092
            ],
            [
              0.41197,
              0.50187,
              0.57117,
              0.70457,
              0.96837,
              1.49297
            ],
            [
              0.4876,
              0.586,
              0.6563,
              0.7896,
              1.0538,
              1.5786
            ]
          ]
        },
        "fall_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00673,
            0.01346,
            0.02693,
            0.05385,
            0.1077
          ],
          "values": [
            [
              0.03336,
              0.08214,
              0.12424,
              0.20722,
              0.37723,
              0.72767
            ],
            [
              0.03329,
              0.08215,
              0.12447,
              0.20706,
              0.37737,
              0.7276
            ],
            [
              0.03335,
              0.08222,
              0.12449,
              0.20722,
              0.37742,
              0.72743
            ],
            [
              0.0333,
              0.08212,
              0.12458,
              0.20763,
              0.37703,
              0.72934
            ],
            [
              0.0333,
              0.08214,
              0.12453,
              0.20761,
              0.37721,
              0.72875
            ],
            [
              0.03328,
              0.08216,
              0.12425,
              0.20739,
              0.37696,
              0.72888
            ],
            [
              0.03331,
              0.08223,
              0.12428,
              0.20741,
              0.37688,
              0.72773
            ],
            [
              0.03331,
              0.08229,
              0.12431,
              0.20727,
              0.3766,
              0.72868
            ],
            [
              0.03338,
              0.08236,
              0.12426,
              0.20722,
              0.37697,
              0.72864
            ],
            [
              0.03488,
              0.08305,
              0.12472,
              0.2075,
              0.3774,
              0.7275
            ],
            [
              0.0405,
              0.0878,
              0.1285,
              0.21,
              0.3775,
              0.7297
            ],
            [
              0.0487,
              0.0949,
              0.1354,
              0.2159,
              0.3821,
              0.7293
            ],
            [
              0.0597,
              0.1059,
              0.1447,
              0.2237,
              0.3882,
              0.7325
            ]
          ]
        },
        "related_pin": "B1",
        "rise_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00673,
            0.01346,
            0.02693,
            0.05385,
            0.1077
          ],
          "values": [
            [
              0.03558,
              0.12259,
              0.21159,
              0.39331,
              0.75954,
              1.49523
            ],
            [
              0.03558,
              0.12254,
              0.21145,
              0.39372,
              0.76049,
              1.49234
            ],
            [
              0.03561,
              0.12264,
              0.21159,
              0.39353,
              0.75956,
              1.49483
            ],
            [
              0.03565,
              0.12253,
              0.21135,
              0.39373,
              0.76042,
              1.49192
            ],
            [
              0.0357,
              0.12237,
              0.2115,
              0.39372,
              0.76051,
              1.49236
            ],
            [
              0.03561,
              0.1227,
              0.21152,
              0.39373,
              0.76034,
              1.49292
            ],
            [
              0.03563,
              0.12271,
              0.21165,
              0.39373,
              0.76062,
              1.49337
            ],
            [
              0.0359,
              0.12276,
              0.21165,
              0.39372,
              0.76053,
              1.49348
            ],
            [
              0.03787,
              0.12321,
              0.21179,
              0.3936,
              0.76034,
              1.49326
            ],
            [
              0.04075,
              0.12559,
              0.21338,
              0.39393,
              0.7604,
              1.4936
            ],
            [
              0.04553,
              0.12843,
              0.21556,
              0.3957,
              0.7604,
              1.4941
            ],
            [
              0.0531,
              0.1324,
              0.2177,
              0.3971,
              0.7618,
              1.4929
            ],
            [
              0.0639,
              0.1394,
              0.2213,
              0.3986,
              0.763,
              1.4944
            ]
          ]
        },
        "sdf_cond": "(!A1&A2&!A3&B2)",
        "timing_sense": "positive_unate",
        "when": "(!A1&A2&!A3&B2)"
      },
      {
        "cell_fall,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00673,
            0.01346,
            0.02693,
            0.05385,
            0.1077
          ],
          "values": [
            [
              0.24527,
              0.31859,
              0.36702,
              0.44719,
              0.58872,
              0.85656
            ],
            [
              0.24739,
              0.32075,
              0.3693,
              0.44956,
              0.59098,
              0.85852
            ],
            [
              0.24993,
              0.32328,
              0.37181,
              0.45202,
              0.59338,
              0.86112
            ],
            [
              0.25396,
              0.32732,
              0.37587,
              0.45599,
              0.59742,
              0.86518
            ],
            [
              0.26059,
              0.33394,
              0.38246,
              0.46263,
              0.60409,
              0.87181
            ],
            [
              0.27133,
              0.34466,
              0.39323,
              0.47338,
              0.61488,
              0.88268
            ],
            [
              0.28868,
              0.36182,
              0.41038,
              0.49064,
              0.63209,
              0.90023
            ],
            [
              0.3163,
              0.38936,
              0.4379,
              0.51825,
              0.65983,
              0.92806
            ],
            [
              0.35912,
              0.43167,
              0.48022,
              0.56058,
              0.7022,
              0.97055
            ],
            [
              0.4251,
              0.49763,
              0.54618,
              0.62664,
              0.76829,
              1.03679
            ],
            [
              0.51872,
              0.59332,
              0.64232,
              0.72312,
              0.86502,
              1.13332
            ],
            [
              0.63667,
              0.71657,
              0.76747,
              0.85087,
              0.99437,
              1.26327
            ],
            [
              0.7828,
              0.872,
              0.9253,
              1.0105,
              1.157,
              1.4289
            ]
          ]
        },
        "cell_rise,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00673,
            0.01346,
            0.02693,
            0.05385,
            0.1077
          ],
          "values": [
            [
              0.13424,
              0.21378,
              0.28145,
              0.41358,
              0.67626,
              1.20267
            ],
            [
              0.13706,
              0.21663,
              0.28416,
              0.41648,
              0.67913,
              1.20554
            ],
            [
              0.14051,
              0.22013,
              0.28771,
              0.4201,
              0.68312,
              1.20792
            ],
            [
              0.14569,
              0.22526,
              0.29289,
              0.42531,
              0.68788,
              1.21437
            ],
            [
              0.1536,
              0.23305,
              0.30083,
              0.43332,
              0.69628,
              1.22221
            ],
            [
              0.16545,
              0.2447,
              0.31248,
              0.44485,
              0.70759,
              1.23402
            ],
            [
              0.18339,
              0.26249,
              0.33034,
              0.46298,
              0.72627,
              1.25083
            ],
            [
              0.21024,
              0.2892,
              0.35699,
              0.48968,
              0.75268,
              1.27916
            ],
            [
              0.24695,
              0.32681,
              0.39456,
              0.52711,
              0.79035,
              1.31675
            ],
            [
              0.29208,
              0.37429,
              0.44252,
              0.57523,
              0.83849,
              1.36519
            ],
            [
              0.34713,
              0.43213,
              0.50112,
              0.63452,
              0.89772,
              1.42342
            ],
            [
              0.41277,
              0.50267,
              0.57217,
              0.70597,
              0.97007,
              1.49567
            ],
            [
              0.4881,
              0.5865,
              0.6569,
              0.7906,
              1.0551,
              1.5809
            ]
          ]
        },
        "fall_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00673,
            0.01346,
            0.02693,
            0.05385,
            0.1077
          ],
          "values": [
            [
              0.04169,
              0.0954,
              0.13919,
              0.22232,
              0.38847,
              0.73401
            ],
            [
              0.04168,
              0.09539,
              0.13911,
              0.22199,
              0.38861,
              0.73337
            ],
            [
              0.04168,
              0.09558,
              0.13913,
              0.22249,
              0.38837,
              0.73411
            ],
            [
              0.04171,
              0.09543,
              0.13918,
              0.22237,
              0.38848,
              0.73404
            ],
            [
              0.0417,
              0.09542,
              0.13915,
              0.22237,
              0.38852,
              0.73397
            ],
            [
              0.04167,
              0.09538,
              0.13907,
              0.22226,
              0.38847,
              0.73392
            ],
            [
              0.0417,
              0.0955,
              0.13946,
              0.22272,
              0.38877,
              0.73404
            ],
            [
              0.04163,
              0.09553,
              0.13918,
              0.22225,
              0.38849,
              0.73282
            ],
            [
              0.04157,
              0.09558,
              0.13932,
              0.2225,
              0.38824,
              0.73353
            ],
            [
              0.04147,
              0.09579,
              0.13958,
              0.22192,
              0.38839,
              0.7329
            ],
            [
              0.0457,
              0.098,
              0.1409,
              0.223,
              0.3888,
              0.7342
            ],
            [
              0.0538,
              0.1045,
              0.1474,
              0.2293,
              0.3929,
              0.7345
            ],
            [
              0.0651,
              0.1146,
              0.1555,
              0.2362,
              0.4001,
              0.7394
            ]
          ]
        },
        "related_pin": "B1",
        "rise_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00673,
            0.01346,
            0.02693,
            0.05385,
            0.1077
          ],
          "values": [
            [
              0.03563,
              0.12275,
              0.21169,
              0.3943,
              0.76147,
              1.49584
            ],
            [
              0.03564,
              0.12274,
              0.21183,
              0.39432,
              0.76145,
              1.49574
            ],
            [
              0.03562,
              0.12254,
              0.21191,
              0.39413,
              0.76086,
              1.49779
            ],
            [
              0.03567,
              0.12268,
              0.21165,
              0.39434,
              0.76167,
              1.49431
            ],
            [
              0.03564,
              0.12269,
              0.21179,
              0.39434,
              0.76075,
              1.49464
            ],
            [
              0.03561,
              0.12287,
              0.21188,
              0.39431,
              0.76145,
              1.49611
            ],
            [
              0.03567,
              0.12288,
              0.21195,
              0.39436,
              0.76173,
              1.4959
            ],
            [
              0.03592,
              0.123,
              0.21192,
              0.39434,
              0.76168,
              1.49575
            ],
            [
              0.03787,
              0.12344,
              0.21193,
              0.39393,
              0.76165,
              1.49531
            ],
            [
              0.04069,
              0.12575,
              0.2137,
              0.39451,
              0.76157,
              1.4959
            ],
            [
              0.04549,
              0.12858,
              0.21568,
              0.3962,
              0.7615,
              1.4965
            ],
            [
              0.053,
              0.1325,
              0.2178,
              0.3977,
              0.763,
              1.4954
            ],
            [
              0.064,
              0.1395,
              0.2217,
              0.3993,
              0.7644,
              1.4969
            ]
          ]
        },
        "sdf_cond": "(!A1&A2&A3&B2)",
        "timing_sense": "positive_unate",
        "when": "(!A1&A2&A3&B2)"
      },
      {
        "cell_fall,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00673,
            0.01346,
            0.02693,
            0.05385,
            0.1077
          ],
          "values": [
            [
              0.22978,
              0.2943,
              0.3383,
              0.41338,
              0.55055,
              0.8175
            ],
            [
              0.23245,
              0.29702,
              0.34102,
              0.4161,
              0.55329,
              0.82025
            ],
            [
              0.23571,
              0.30028,
              0.3443,
              0.41939,
              0.5566,
              0.82306
            ],
            [
              0.24069,
              0.30528,
              0.3493,
              0.4244,
              0.56154,
              0.8284
            ],
            [
              0.24842,
              0.313,
              0.35704,
              0.43215,
              0.56937,
              0.83583
            ],
            [
              0.26045,
              0.325,
              0.36903,
              0.44412,
              0.58151,
              0.8479
            ],
            [
              0.27919,
              0.34363,
              0.38801,
              0.46312,
              0.60042,
              0.86688
            ],
            [
              0.30884,
              0.37324,
              0.41725,
              0.49238,
              0.62981,
              0.89616
            ],
            [
              0.35398,
              0.41823,
              0.46224,
              0.53739,
              0.67484,
              0.94125
            ],
            [
              0.42293,
              0.48706,
              0.53109,
              0.60632,
              0.74379,
              1.01079
            ],
            [
              0.52082,
              0.58732,
              0.63182,
              0.70732,
              0.84482,
              1.11172
            ],
            [
              0.64467,
              0.71637,
              0.76297,
              0.84097,
              0.97977,
              1.24697
            ],
            [
              0.7992,
              0.8795,
              0.9285,
              1.0085,
              1.1499,
              1.419
            ]
          ]
        },
        "cell_rise,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00673,
            0.01346,
            0.02693,
            0.05385,
            0.1077
          ],
          "values": [
            [
              0.14422,
              0.22994,
              0.2987,
              0.43102,
              0.69358,
              1.21767
            ],
            [
              0.14703,
              0.23271,
              0.30154,
              0.43392,
              0.69682,
              1.22044
            ],
            [
              0.1504,
              0.23615,
              0.30492,
              0.43732,
              0.69974,
              1.22402
            ],
            [
              0.15551,
              0.24116,
              0.31006,
              0.44235,
              0.70491,
              1.22867
            ],
            [
              0.16333,
              0.24895,
              0.31782,
              0.45023,
              0.71269,
              1.23701
            ],
            [
              0.17508,
              0.26058,
              0.32942,
              0.46183,
              0.72442,
              1.24832
            ],
            [
              0.1929,
              0.27813,
              0.34692,
              0.47932,
              0.74228,
              1.26653
            ],
            [
              0.21969,
              0.3048,
              0.37357,
              0.50619,
              0.76884,
              1.29396
            ],
            [
              0.25726,
              0.34308,
              0.41199,
              0.54466,
              0.80795,
              1.33235
            ],
            [
              0.30444,
              0.39367,
              0.46293,
              0.59564,
              0.85899,
              1.38359
            ],
            [
              0.36208,
              0.45592,
              0.52642,
              0.66012,
              0.92312,
              1.44842
            ],
            [
              0.43097,
              0.53227,
              0.60397,
              0.73817,
              1.00207,
              1.52677
            ],
            [
              0.5101,
              0.624,
              0.6974,
              0.8321,
              1.0966,
              1.6207
            ]
          ]
        },
        "fall_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00673,
            0.01346,
            0.02693,
            0.05385,
            0.1077
          ],
          "values": [
            [
              0.03554,
              0.08513,
              0.12725,
              0.2103,
              0.37946,
              0.7302
            ],
            [
              0.03553,
              0.08518,
              0.12727,
              0.21026,
              0.37941,
              0.72976
            ],
            [
              0.03557,
              0.08513,
              0.12727,
              0.21021,
              0.37983,
              0.73094
            ],
            [
              0.03556,
              0.08518,
              0.12722,
              0.21044,
              0.37956,
              0.73087
            ],
            [
              0.03553,
              0.08512,
              0.12726,
              0.2102,
              0.37984,
              0.73097
            ],
            [
              0.03553,
              0.08514,
              0.12772,
              0.21037,
              0.37959,
              0.73088
            ],
            [
              0.03557,
              0.08514,
              0.12731,
              0.21069,
              0.37989,
              0.73096
            ],
            [
              0.03554,
              0.08514,
              0.12775,
              0.21039,
              0.37968,
              0.73099
            ],
            [
              0.03553,
              0.08525,
              0.12741,
              0.21044,
              0.37982,
              0.73098
            ],
            [
              0.03564,
              0.0854,
              0.12745,
              0.21048,
              0.37985,
              0.7287
            ],
            [
              0.0395,
              0.0878,
              0.1293,
              0.2115,
              0.3798,
              0.7306
            ],
            [
              0.0467,
              0.0942,
              0.1355,
              0.2166,
              0.3829,
              0.7301
            ],
            [
              0.0568,
              0.1035,
              0.1434,
              0.2236,
              0.3884,
              0.7331
            ]
          ]
        },
        "related_pin": "B1",
        "rise_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00673,
            0.01346,
            0.02693,
            0.05385,
            0.1077
          ],
          "values": [
            [
              0.04171,
              0.1266,
              0.21391,
              0.39431,
              0.76019,
              1.49269
            ],
            [
              0.04173,
              0.1267,
              0.21398,
              0.39437,
              0.76021,
              1.49307
            ],
            [
              0.04172,
              0.12658,
              0.21403,
              0.39435,
              0.76004,
              1.4946
            ],
            [
              0.04172,
              0.1267,
              0.21375,
              0.39415,
              0.75975,
              1.49327
            ],
            [
              0.04172,
              0.12662,
              0.2138,
              0.39411,
              0.76009,
              1.49454
            ],
            [
              0.04172,
              0.1268,
              0.21375,
              0.39416,
              0.75964,
              1.49331
            ],
            [
              0.04176,
              0.12682,
              0.21411,
              0.39388,
              0.76012,
              1.49253
            ],
            [
              0.04209,
              0.12692,
              0.21416,
              0.39408,
              0.7603,
              1.49249
            ],
            [
              0.04452,
              0.12762,
              0.21438,
              0.39432,
              0.76072,
              1.49298
            ],
            [
              0.04915,
              0.13039,
              0.21592,
              0.39471,
              0.76045,
              1.4939
            ],
            [
              0.0565,
              0.13444,
              0.2188,
              0.3961,
              0.761,
              1.4932
            ],
            [
              0.0675,
              0.1406,
              0.2224,
              0.3987,
              0.761,
              1.4929
            ],
            [
              0.0824,
              0.1503,
              0.2285,
              0.401,
              0.7618,
              1.4949
            ]
          ]
        },
        "sdf_cond": "(A1&!A2&!A3&B2)",
        "timing_sense": "positive_unate",
        "when": "(A1&!A2&!A3&B2)"
      },
      {
        "cell_fall,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00673,
            0.01346,
            0.02693,
            0.05385,
            0.1077
          ],
          "values": [
            [
              0.29714,
              0.37294,
              0.42292,
              0.50498,
              0.64815,
              0.91757
            ],
            [
              0.29952,
              0.37532,
              0.42532,
              0.50737,
              0.6507,
              0.92025
            ],
            [
              0.30227,
              0.3781,
              0.4281,
              0.51017,
              0.65335,
              0.92273
            ],
            [
              0.30657,
              0.38244,
              0.43249,
              0.51453,
              0.65785,
              0.92736
            ],
            [
              0.31335,
              0.38919,
              0.4392,
              0.52128,
              0.66448,
              0.93383
            ],
            [
              0.32403,
              0.39983,
              0.44985,
              0.53191,
              0.67522,
              0.94472
            ],
            [
              0.34109,
              0.41681,
              0.46681,
              0.54889,
              0.69213,
              0.96163
            ],
            [
              0.36837,
              0.44404,
              0.49401,
              0.57609,
              0.71939,
              0.98896
            ],
            [
              0.41009,
              0.48607,
              0.536,
              0.61808,
              0.76145,
              1.03105
            ],
            [
              0.4754,
              0.55082,
              0.60073,
              0.68279,
              0.82629,
              1.09589
            ],
            [
              0.57422,
              0.64942,
              0.69932,
              0.78152,
              0.92502,
              1.19462
            ],
            [
              0.70537,
              0.78467,
              0.83607,
              0.91967,
              1.06387,
              1.33387
            ],
            [
              0.8689,
              0.9559,
              1.0092,
              1.095,
              1.2425,
              1.5145
            ]
          ]
        },
        "cell_rise,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00673,
            0.01346,
            0.02693,
            0.05385,
            0.1077
          ],
          "values": [
            [
              0.1443,
              0.23014,
              0.29902,
              0.43157,
              0.69427,
              1.22017
            ],
            [
              0.14716,
              0.23296,
              0.30185,
              0.43457,
              0.69753,
              1.22224
            ],
            [
              0.15064,
              0.2365,
              0.30546,
              0.43795,
              0.70091,
              1.22632
            ],
            [
              0.15579,
              0.24158,
              0.31058,
              0.44312,
              0.7062,
              1.23077
            ],
            [
              0.16371,
              0.24946,
              0.31845,
              0.45099,
              0.71421,
              1.23841
            ],
            [
              0.17561,
              0.26119,
              0.33021,
              0.46283,
              0.72598,
              1.24982
            ],
            [
              0.19353,
              0.2789,
              0.34781,
              0.48062,
              0.7432,
              1.26983
            ],
            [
              0.22038,
              0.30563,
              0.37458,
              0.50744,
              0.77071,
              1.29646
            ],
            [
              0.25813,
              0.34402,
              0.41304,
              0.54597,
              0.80965,
              1.33455
            ],
            [
              0.30525,
              0.39455,
              0.46402,
              0.59709,
              0.86029,
              1.38629
            ],
            [
              0.36288,
              0.45682,
              0.52752,
              0.66142,
              0.92492,
              1.45052
            ],
            [
              0.43167,
              0.53317,
              0.60477,
              0.73937,
              1.00367,
              1.52927
            ],
            [
              0.5106,
              0.6245,
              0.6981,
              0.8329,
              1.098,
              1.6232
            ]
          ]
        },
        "fall_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00673,
            0.01346,
            0.02693,
            0.05385,
            0.1077
          ],
          "values": [
            [
              0.04441,
              0.09904,
              0.14294,
              0.22613,
              0.39236,
              0.73659
            ],
            [
              0.04439,
              0.099,
              0.14299,
              0.22584,
              0.39217,
              0.73647
            ],
            [
              0.04443,
              0.09913,
              0.14291,
              0.22611,
              0.3924,
              0.73665
            ],
            [
              0.0444,
              0.09902,
              0.14316,
              0.22612,
              0.39273,
              0.73679
            ],
            [
              0.04442,
              0.09913,
              0.14296,
              0.22604,
              0.39247,
              0.73662
            ],
            [
              0.0444,
              0.09903,
              0.14315,
              0.22615,
              0.39245,
              0.73687
            ],
            [
              0.04437,
              0.09903,
              0.14297,
              0.22675,
              0.39218,
              0.73632
            ],
            [
              0.04438,
              0.09906,
              0.143,
              0.22671,
              0.39208,
              0.73602
            ],
            [
              0.04437,
              0.09907,
              0.14306,
              0.22609,
              0.39208,
              0.73592
            ],
            [
              0.04429,
              0.09914,
              0.14341,
              0.22598,
              0.3921,
              0.7367
            ],
            [
              0.0452,
              0.0996,
              0.1434,
              0.2263,
              0.3922,
              0.7362
            ],
            [
              0.0521,
              0.1048,
              0.1483,
              0.2297,
              0.3941,
              0.7365
            ],
            [
              0.0625,
              0.1129,
              0.1552,
              0.2371,
              0.4011,
              0.7404
            ]
          ]
        },
        "related_pin": "B1",
        "rise_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00673,
            0.01346,
            0.02693,
            0.05385,
            0.1077
          ],
          "values": [
            [
              0.04175,
              0.12678,
              0.21435,
              0.39472,
              0.76161,
              1.4954
            ],
            [
              0.04176,
              0.12691,
              0.21436,
              0.39504,
              0.76163,
              1.49744
            ],
            [
              0.04176,
              0.12675,
              0.21412,
              0.39474,
              0.76143,
              1.49711
            ],
            [
              0.04176,
              0.12686,
              0.21404,
              0.3948,
              0.76121,
              1.49605
            ],
            [
              0.04173,
              0.12679,
              0.21409,
              0.3947,
              0.76155,
              1.49677
            ],
            [
              0.0418,
              0.12692,
              0.21412,
              0.39478,
              0.76104,
              1.49587
            ],
            [
              0.04182,
              0.12696,
              0.21443,
              0.39472,
              0.76161,
              1.49537
            ],
            [
              0.04218,
              0.12707,
              0.21426,
              0.39495,
              0.76088,
              1.49679
            ],
            [
              0.04443,
              0.12776,
              0.21467,
              0.39502,
              0.76204,
              1.49597
            ],
            [
              0.04902,
              0.13049,
              0.21603,
              0.39546,
              0.76076,
              1.4964
            ],
            [
              0.05641,
              0.13472,
              0.21893,
              0.3966,
              0.7623,
              1.4957
            ],
            [
              0.0674,
              0.1405,
              0.2231,
              0.3994,
              0.7622,
              1.4948
            ],
            [
              0.0824,
              0.1502,
              0.2286,
              0.4021,
              0.7631,
              1.4978
            ]
          ]
        },
        "sdf_cond": "(A1&!A2&A3&B2)",
        "timing_sense": "positive_unate",
        "when": "(A1&!A2&A3&B2)"
      },
      {
        "cell_fall,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00673,
            0.01346,
            0.02693,
            0.05385,
            0.1077
          ],
          "values": [
            [
              0.32087,
              0.3963,
              0.44604,
              0.5279,
              0.67111,
              0.94105
            ],
            [
              0.32336,
              0.3988,
              0.44857,
              0.53043,
              0.67373,
              0.94375
            ],
            [
              0.32629,
              0.40174,
              0.4515,
              0.53336,
              0.67661,
              0.94659
            ],
            [
              0.3308,
              0.40625,
              0.45604,
              0.5379,
              0.68124,
              0.95124
            ],
            [
              0.33792,
              0.41337,
              0.46317,
              0.54504,
              0.68836,
              0.95831
            ],
            [
              0.34899,
              0.42444,
              0.47423,
              0.55613,
              0.69935,
              0.96922
            ],
            [
              0.36633,
              0.44174,
              0.49155,
              0.57346,
              0.7168,
              0.98683
            ],
            [
              0.39379,
              0.46918,
              0.51897,
              0.60087,
              0.74416,
              1.01416
            ],
            [
              0.43614,
              0.51148,
              0.56124,
              0.64314,
              0.78645,
              1.05645
            ],
            [
              0.50123,
              0.57643,
              0.62614,
              0.70809,
              0.85139,
              1.12149
            ],
            [
              0.60112,
              0.67582,
              0.72552,
              0.80742,
              0.95082,
              1.22092
            ],
            [
              0.73987,
              0.81797,
              0.86867,
              0.95127,
              1.09487,
              1.36507
            ],
            [
              0.9135,
              0.9982,
              1.0507,
              1.1357,
              1.2824,
              1.5536
            ]
          ]
        },
        "cell_rise,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00673,
            0.01346,
            0.02693,
            0.05385,
            0.1077
          ],
          "values": [
            [
              0.14626,
              0.24189,
              0.31278,
              0.44625,
              0.70895,
              1.23497
            ],
            [
              0.14912,
              0.24476,
              0.31565,
              0.44911,
              0.71201,
              1.23764
            ],
            [
              0.15256,
              0.2482,
              0.31914,
              0.45249,
              0.71555,
              1.24082
            ],
            [
              0.15774,
              0.25335,
              0.32432,
              0.45769,
              0.72076,
              1.24588
            ],
            [
              0.16568,
              0.2612,
              0.33223,
              0.46561,
              0.72873,
              1.25421
            ],
            [
              0.17754,
              0.27293,
              0.34392,
              0.47738,
              0.74056,
              1.26592
            ],
            [
              0.19544,
              0.29059,
              0.36155,
              0.49515,
              0.75842,
              1.28393
            ],
            [
              0.22218,
              0.31723,
              0.38821,
              0.522,
              0.78514,
              1.31106
            ],
            [
              0.25981,
              0.35565,
              0.4268,
              0.5605,
              0.82385,
              1.34845
            ],
            [
              0.30701,
              0.4072,
              0.47878,
              0.6126,
              0.87629,
              1.40159
            ],
            [
              0.36477,
              0.47172,
              0.54492,
              0.67972,
              0.94312,
              1.46882
            ],
            [
              0.43347,
              0.55147,
              0.62637,
              0.76237,
              1.02647,
              1.55227
            ],
            [
              0.5124,
              0.6475,
              0.7254,
              0.8626,
              1.1275,
              1.6532
            ]
          ]
        },
        "fall_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00673,
            0.01346,
            0.02693,
            0.05385,
            0.1077
          ],
          "values": [
            [
              0.04492,
              0.09958,
              0.14327,
              0.22635,
              0.39272,
              0.73732
            ],
            [
              0.04497,
              0.09947,
              0.1433,
              0.22626,
              0.3925,
              0.73681
            ],
            [
              0.04497,
              0.09946,
              0.14348,
              0.22644,
              0.39294,
              0.73789
            ],
            [
              0.04499,
              0.09942,
              0.14332,
              0.22609,
              0.39252,
              0.73724
            ],
            [
              0.04496,
              0.09945,
              0.14346,
              0.22635,
              0.39287,
              0.73775
            ],
            [
              0.04498,
              0.09956,
              0.14326,
              0.22653,
              0.39291,
              0.73781
            ],
            [
              0.04499,
              0.09947,
              0.14328,
              0.22618,
              0.39249,
              0.73712
            ],
            [
              0.04498,
              0.0995,
              0.14348,
              0.22641,
              0.39293,
              0.73786
            ],
            [
              0.04495,
              0.09948,
              0.14349,
              0.22639,
              0.39293,
              0.73785
            ],
            [
              0.04497,
              0.09964,
              0.14335,
              0.22705,
              0.3926,
              0.7368
            ],
            [
              0.0447,
              0.0995,
              0.1433,
              0.2264,
              0.3925,
              0.7364
            ],
            [
              0.0506,
              0.1034,
              0.1464,
              0.2289,
              0.3935,
              0.7379
            ],
            [
              0.0601,
              0.1107,
              0.1535,
              0.2353,
              0.3992,
              0.7403
            ]
          ]
        },
        "related_pin": "B1",
        "rise_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00673,
            0.01346,
            0.02693,
            0.05385,
            0.1077
          ],
          "values": [
            [
              0.04688,
              0.13404,
              0.21898,
              0.39689,
              0.76115,
              1.49537
            ],
            [
              0.04692,
              0.13403,
              0.21897,
              0.39687,
              0.76172,
              1.49508
            ],
            [
              0.04692,
              0.13388,
              0.21897,
              0.39673,
              0.76162,
              1.49664
            ],
            [
              0.04693,
              0.13389,
              0.21897,
              0.39673,
              0.76157,
              1.49613
            ],
            [
              0.04693,
              0.13389,
              0.21895,
              0.39675,
              0.76166,
              1.49517
            ],
            [
              0.04693,
              0.13399,
              0.219,
              0.39674,
              0.76163,
              1.49576
            ],
            [
              0.04697,
              0.13409,
              0.21908,
              0.3968,
              0.76169,
              1.49607
            ],
            [
              0.04724,
              0.13448,
              0.21922,
              0.39695,
              0.76173,
              1.4957
            ],
            [
              0.04949,
              0.13509,
              0.21934,
              0.39644,
              0.76092,
              1.49679
            ],
            [
              0.05468,
              0.13844,
              0.2208,
              0.39695,
              0.76175,
              1.4958
            ],
            [
              0.063,
              0.1441,
              0.2249,
              0.3992,
              0.7612,
              1.4952
            ],
            [
              0.0751,
              0.1524,
              0.2306,
              0.4021,
              0.7626,
              1.4951
            ],
            [
              0.0912,
              0.1665,
              0.239,
              0.4065,
              0.765,
              1.4982
            ]
          ]
        },
        "sdf_cond": "(A1&A2&!A3&B2)",
        "timing_sense": "positive_unate",
        "when": "(A1&A2&!A3&B2)"
      },
      {
        "cell_fall,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00673,
            0.01346,
            0.02693,
            0.05385,
            0.1077
          ],
          "values": [
            [
              0.18775,
              0.24729,
              0.28884,
              0.36141,
              0.49694,
              0.76324
            ],
            [
              0.1904,
              0.24992,
              0.29147,
              0.36402,
              0.49953,
              0.76551
            ],
            [
              0.1938,
              0.25336,
              0.29492,
              0.36747,
              0.50301,
              0.76894
            ],
            [
              0.19912,
              0.2587,
              0.30025,
              0.3728,
              0.50831,
              0.77431
            ],
            [
              0.20738,
              0.26693,
              0.30851,
              0.38107,
              0.51658,
              0.78255
            ],
            [
              0.22014,
              0.27967,
              0.32124,
              0.39384,
              0.52931,
              0.79558
            ],
            [
              0.2396,
              0.29904,
              0.34062,
              0.41318,
              0.54878,
              0.81468
            ],
            [
              0.26937,
              0.3287,
              0.37028,
              0.44292,
              0.57851,
              0.84486
            ],
            [
              0.31495,
              0.37418,
              0.41581,
              0.48853,
              0.62412,
              0.89045
            ],
            [
              0.38203,
              0.44166,
              0.48344,
              0.55629,
              0.69189,
              0.95839
            ],
            [
              0.46882,
              0.53232,
              0.57542,
              0.64912,
              0.78512,
              1.05162
            ],
            [
              0.57717,
              0.64617,
              0.69107,
              0.76687,
              0.90467,
              1.17167
            ],
            [
              0.7091,
              0.7868,
              0.8343,
              0.9122,
              1.0516,
              1.3202
            ]
          ]
        },
        "cell_rise,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00673,
            0.01346,
            0.02693,
            0.05385,
            0.1077
          ],
          "values": [
            [
              0.14044,
              0.2199,
              0.28742,
              0.41952,
              0.6819,
              1.20577
            ],
            [
              0.14384,
              0.2233,
              0.29074,
              0.42267,
              0.68516,
              1.20874
            ],
            [
              0.14773,
              0.22719,
              0.29466,
              0.42679,
              0.68889,
              1.21302
            ],
            [
              0.15321,
              0.23259,
              0.30006,
              0.43196,
              0.69434,
              1.21808
            ],
            [
              0.16096,
              0.24024,
              0.30786,
              0.43991,
              0.70242,
              1.22601
            ],
            [
              0.17219,
              0.25146,
              0.31908,
              0.45129,
              0.71361,
              1.23802
            ],
            [
              0.1888,
              0.26797,
              0.3355,
              0.46764,
              0.72979,
              1.25503
            ],
            [
              0.21346,
              0.29245,
              0.36011,
              0.49222,
              0.75485,
              1.27976
            ],
            [
              0.24839,
              0.32797,
              0.39565,
              0.52786,
              0.79045,
              1.31515
            ],
            [
              0.29413,
              0.37595,
              0.44394,
              0.57644,
              0.83929,
              1.36219
            ],
            [
              0.35286,
              0.43781,
              0.50652,
              0.63892,
              0.90192,
              1.42702
            ],
            [
              0.42637,
              0.51587,
              0.58527,
              0.71847,
              0.98147,
              1.50567
            ],
            [
              0.5156,
              0.6123,
              0.6831,
              0.8165,
              1.0802,
              1.6034
            ]
          ]
        },
        "fall_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00673,
            0.01346,
            0.02693,
            0.05385,
            0.1077
          ],
          "values": [
            [
              0.0313,
              0.07925,
              0.12082,
              0.20424,
              0.37585,
              0.72788
            ],
            [
              0.0313,
              0.07907,
              0.12107,
              0.20427,
              0.37518,
              0.72809
            ],
            [
              0.03128,
              0.07923,
              0.12112,
              0.20423,
              0.37573,
              0.72893
            ],
            [
              0.0313,
              0.0792,
              0.1209,
              0.2043,
              0.3752,
              0.72794
            ],
            [
              0.03131,
              0.07906,
              0.12105,
              0.20426,
              0.37519,
              0.72812
            ],
            [
              0.0313,
              0.07926,
              0.1209,
              0.20425,
              0.37596,
              0.72678
            ],
            [
              0.0313,
              0.07926,
              0.12126,
              0.20429,
              0.37568,
              0.72895
            ],
            [
              0.03129,
              0.07929,
              0.12093,
              0.20425,
              0.37583,
              0.72796
            ],
            [
              0.03137,
              0.07926,
              0.12104,
              0.20464,
              0.376,
              0.72685
            ],
            [
              0.03265,
              0.07986,
              0.1214,
              0.2046,
              0.37587,
              0.727
            ],
            [
              0.0375,
              0.0842,
              0.1249,
              0.2071,
              0.3763,
              0.7272
            ],
            [
              0.0447,
              0.0903,
              0.1306,
              0.2116,
              0.38,
              0.729
            ],
            [
              0.0547,
              0.0998,
              0.1388,
              0.218,
              0.3846,
              0.7309
            ]
          ]
        },
        "related_pin": "B2",
        "rise_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00673,
            0.01346,
            0.02693,
            0.05385,
            0.1077
          ],
          "values": [
            [
              0.03557,
              0.12229,
              0.21151,
              0.39349,
              0.76018,
              1.4923
            ],
            [
              0.03559,
              0.12232,
              0.21147,
              0.39303,
              0.75905,
              1.49445
            ],
            [
              0.03559,
              0.1224,
              0.21147,
              0.39351,
              0.7598,
              1.49351
            ],
            [
              0.03563,
              0.12252,
              0.21142,
              0.39324,
              0.75956,
              1.49416
            ],
            [
              0.03559,
              0.12258,
              0.21146,
              0.39303,
              0.75924,
              1.49382
            ],
            [
              0.03559,
              0.12241,
              0.21138,
              0.39347,
              0.76008,
              1.49181
            ],
            [
              0.03561,
              0.1225,
              0.21139,
              0.39346,
              0.75978,
              1.4928
            ],
            [
              0.03579,
              0.12269,
              0.21151,
              0.393,
              0.75929,
              1.49205
            ],
            [
              0.03722,
              0.12315,
              0.21146,
              0.393,
              0.75999,
              1.49223
            ],
            [
              0.03985,
              0.12461,
              0.21259,
              0.39317,
              0.75915,
              1.4938
            ],
            [
              0.04344,
              0.12766,
              0.21414,
              0.3946,
              0.7592,
              1.4919
            ],
            [
              0.0489,
              0.1316,
              0.2169,
              0.3954,
              0.7599,
              1.4924
            ],
            [
              0.0575,
              0.1376,
              0.221,
              0.3977,
              0.7605,
              1.4927
            ]
          ]
        },
        "sdf_cond": "(!A1&!A2&!A3&B1)",
        "timing_sense": "positive_unate",
        "when": "(!A1&!A2&!A3&B1)"
      },
      {
        "cell_fall,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00673,
            0.01346,
            0.02693,
            0.05385,
            0.1077
          ],
          "values": [
            [
              0.21258,
              0.27687,
              0.32082,
              0.39591,
              0.53307,
              0.80001
            ],
            [
              0.21505,
              0.27935,
              0.32331,
              0.39836,
              0.53575,
              0.80213
            ],
            [
              0.2182,
              0.28254,
              0.32649,
              0.40156,
              0.53896,
              0.80556
            ],
            [
              0.22326,
              0.28758,
              0.3315,
              0.40658,
              0.54399,
              0.81068
            ],
            [
              0.23112,
              0.29543,
              0.33938,
              0.41448,
              0.55178,
              0.81864
            ],
            [
              0.24336,
              0.30765,
              0.3516,
              0.4267,
              0.56395,
              0.83083
            ],
            [
              0.26211,
              0.32632,
              0.37029,
              0.44542,
              0.58261,
              0.84952
            ],
            [
              0.29086,
              0.35496,
              0.3989,
              0.47403,
              0.61133,
              0.87786
            ],
            [
              0.33517,
              0.39912,
              0.44309,
              0.51829,
              0.65557,
              0.92265
            ],
            [
              0.40152,
              0.4654,
              0.50945,
              0.58472,
              0.72219,
              0.98919
            ],
            [
              0.49072,
              0.55762,
              0.60262,
              0.67852,
              0.81632,
              1.08302
            ],
            [
              0.60217,
              0.67407,
              0.72087,
              0.79887,
              0.93847,
              1.20607
            ],
            [
              0.7378,
              0.8181,
              0.8673,
              0.9473,
              1.0888,
              1.3585
            ]
          ]
        },
        "cell_rise,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00673,
            0.01346,
            0.02693,
            0.05385,
            0.1077
          ],
          "values": [
            [
              0.14053,
              0.22014,
              0.28774,
              0.42016,
              0.68286,
              1.20777
            ],
            [
              0.14398,
              0.22352,
              0.29105,
              0.42329,
              0.68627,
              1.21224
            ],
            [
              0.1479,
              0.22751,
              0.29509,
              0.42753,
              0.69012,
              1.21652
            ],
            [
              0.15343,
              0.23289,
              0.30062,
              0.43306,
              0.69554,
              1.22218
            ],
            [
              0.16126,
              0.24066,
              0.30839,
              0.44086,
              0.70328,
              1.23001
            ],
            [
              0.17255,
              0.25197,
              0.31976,
              0.45228,
              0.7152,
              1.23962
            ],
            [
              0.18919,
              0.2685,
              0.33622,
              0.46859,
              0.73161,
              1.25773
            ],
            [
              0.21385,
              0.29295,
              0.36081,
              0.49342,
              0.7567,
              1.28206
            ],
            [
              0.24877,
              0.32847,
              0.3963,
              0.52892,
              0.79225,
              1.31765
            ],
            [
              0.29449,
              0.37645,
              0.44458,
              0.57737,
              0.84099,
              1.36509
            ],
            [
              0.35318,
              0.43827,
              0.50712,
              0.63992,
              0.90342,
              1.42992
            ],
            [
              0.42667,
              0.51627,
              0.58577,
              0.71907,
              0.98297,
              1.50807
            ],
            [
              0.5159,
              0.6127,
              0.6836,
              0.8174,
              1.0816,
              1.606
            ]
          ]
        },
        "fall_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00673,
            0.01346,
            0.02693,
            0.05385,
            0.1077
          ],
          "values": [
            [
              0.03478,
              0.08462,
              0.1268,
              0.21008,
              0.37927,
              0.73013
            ],
            [
              0.03478,
              0.0845,
              0.12714,
              0.2101,
              0.37958,
              0.73061
            ],
            [
              0.03479,
              0.08452,
              0.12724,
              0.21001,
              0.37918,
              0.72992
            ],
            [
              0.03478,
              0.08452,
              0.12726,
              0.21,
              0.37911,
              0.72916
            ],
            [
              0.03478,
              0.08463,
              0.12688,
              0.20981,
              0.37904,
              0.7291
            ],
            [
              0.03479,
              0.08456,
              0.12685,
              0.20979,
              0.37914,
              0.73017
            ],
            [
              0.03481,
              0.0846,
              0.12676,
              0.2103,
              0.37942,
              0.73036
            ],
            [
              0.03478,
              0.08461,
              0.12694,
              0.20988,
              0.37957,
              0.73069
            ],
            [
              0.03476,
              0.08486,
              0.12692,
              0.21023,
              0.37947,
              0.72916
            ],
            [
              0.03522,
              0.08512,
              0.12719,
              0.21005,
              0.37959,
              0.7302
            ],
            [
              0.0396,
              0.0885,
              0.1297,
              0.212,
              0.3798,
              0.7305
            ],
            [
              0.0467,
              0.0942,
              0.1356,
              0.2167,
              0.3836,
              0.7302
            ],
            [
              0.0569,
              0.1035,
              0.1432,
              0.223,
              0.3888,
              0.734
            ]
          ]
        },
        "related_pin": "B2",
        "rise_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00673,
            0.01346,
            0.02693,
            0.05385,
            0.1077
          ],
          "values": [
            [
              0.03565,
              0.12266,
              0.21191,
              0.39436,
              0.76152,
              1.49594
            ],
            [
              0.03563,
              0.12275,
              0.21182,
              0.39417,
              0.76117,
              1.49581
            ],
            [
              0.03563,
              0.1227,
              0.21162,
              0.39434,
              0.76171,
              1.49479
            ],
            [
              0.03572,
              0.12283,
              0.21175,
              0.3943,
              0.7616,
              1.49427
            ],
            [
              0.03564,
              0.12282,
              0.21184,
              0.3943,
              0.76162,
              1.49428
            ],
            [
              0.03563,
              0.12272,
              0.21196,
              0.39435,
              0.76159,
              1.497
            ],
            [
              0.03565,
              0.12278,
              0.21186,
              0.39421,
              0.76133,
              1.4968
            ],
            [
              0.03591,
              0.12294,
              0.21197,
              0.39424,
              0.76114,
              1.49709
            ],
            [
              0.03723,
              0.12338,
              0.21182,
              0.39401,
              0.76164,
              1.49577
            ],
            [
              0.0398,
              0.12484,
              0.21303,
              0.39419,
              0.76105,
              1.4971
            ],
            [
              0.04349,
              0.12781,
              0.21453,
              0.3955,
              0.761,
              1.4953
            ],
            [
              0.0491,
              0.1319,
              0.2174,
              0.3962,
              0.7614,
              1.4954
            ],
            [
              0.0575,
              0.1378,
              0.2213,
              0.3985,
              0.7621,
              1.4964
            ]
          ]
        },
        "sdf_cond": "(!A1&!A2&A3&B1)",
        "timing_sense": "positive_unate",
        "when": "(!A1&!A2&A3&B1)"
      },
      {
        "cell_fall,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00673,
            0.01346,
            0.02693,
            0.05385,
            0.1077
          ],
          "values": [
            [
              0.20436,
              0.26691,
              0.30995,
              0.38406,
              0.52062,
              0.78704
            ],
            [
              0.20686,
              0.26942,
              0.31247,
              0.38661,
              0.52309,
              0.78969
            ],
            [
              0.21008,
              0.27266,
              0.31572,
              0.38983,
              0.52645,
              0.79277
            ],
            [
              0.21518,
              0.27776,
              0.32082,
              0.39497,
              0.53151,
              0.79797
            ],
            [
              0.22316,
              0.28573,
              0.32882,
              0.40291,
              0.53959,
              0.80575
            ],
            [
              0.23556,
              0.29811,
              0.34119,
              0.41532,
              0.55192,
              0.81832
            ],
            [
              0.25454,
              0.31704,
              0.36011,
              0.43429,
              0.57092,
              0.83711
            ],
            [
              0.28361,
              0.34598,
              0.38906,
              0.46326,
              0.59986,
              0.86636
            ],
            [
              0.32834,
              0.3906,
              0.43369,
              0.5079,
              0.64463,
              0.91085
            ],
            [
              0.39495,
              0.45732,
              0.50049,
              0.5748,
              0.71149,
              0.97829
            ],
            [
              0.48342,
              0.54912,
              0.59332,
              0.66832,
              0.80552,
              1.07222
            ],
            [
              0.59367,
              0.66467,
              0.71067,
              0.78787,
              0.92667,
              1.19397
            ],
            [
              0.728,
              0.8074,
              0.856,
              0.9353,
              1.0759,
              1.3451
            ]
          ]
        },
        "cell_rise,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00673,
            0.01346,
            0.02693,
            0.05385,
            0.1077
          ],
          "values": [
            [
              0.1405,
              0.21998,
              0.28743,
              0.41963,
              0.68192,
              1.20687
            ],
            [
              0.14394,
              0.22336,
              0.29078,
              0.4228,
              0.68547,
              1.20944
            ],
            [
              0.14787,
              0.22735,
              0.29488,
              0.42708,
              0.68934,
              1.21392
            ],
            [
              0.15338,
              0.2328,
              0.30029,
              0.43239,
              0.69461,
              1.22008
            ],
            [
              0.16117,
              0.24049,
              0.30813,
              0.44014,
              0.70253,
              1.22771
            ],
            [
              0.17242,
              0.2517,
              0.31939,
              0.45166,
              0.71416,
              1.23742
            ],
            [
              0.18905,
              0.26825,
              0.33585,
              0.468,
              0.73052,
              1.25583
            ],
            [
              0.21371,
              0.29273,
              0.36043,
              0.49281,
              0.75564,
              1.28006
            ],
            [
              0.24861,
              0.32822,
              0.39593,
              0.52828,
              0.79115,
              1.31545
            ],
            [
              0.29435,
              0.37618,
              0.4442,
              0.57677,
              0.83989,
              1.36299
            ],
            [
              0.35305,
              0.43803,
              0.50672,
              0.63932,
              0.90212,
              1.42792
            ],
            [
              0.42647,
              0.51607,
              0.58547,
              0.71857,
              0.98187,
              1.50617
            ],
            [
              0.5157,
              0.6125,
              0.6833,
              0.8168,
              1.0807,
              1.6042
            ]
          ]
        },
        "fall_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00673,
            0.01346,
            0.02693,
            0.05385,
            0.1077
          ],
          "values": [
            [
              0.03365,
              0.08285,
              0.12483,
              0.20773,
              0.37747,
              0.72904
            ],
            [
              0.03365,
              0.08276,
              0.1247,
              0.20832,
              0.37817,
              0.73009
            ],
            [
              0.03365,
              0.08274,
              0.12478,
              0.20815,
              0.3782,
              0.73041
            ],
            [
              0.03365,
              0.08288,
              0.12475,
              0.20842,
              0.37825,
              0.73037
            ],
            [
              0.03365,
              0.08274,
              0.1248,
              0.20796,
              0.37806,
              0.73029
            ],
            [
              0.03365,
              0.08277,
              0.12483,
              0.20781,
              0.37756,
              0.72902
            ],
            [
              0.03367,
              0.08287,
              0.12475,
              0.20778,
              0.37812,
              0.73026
            ],
            [
              0.03365,
              0.08283,
              0.12482,
              0.20839,
              0.37826,
              0.73038
            ],
            [
              0.03371,
              0.08295,
              0.12532,
              0.20791,
              0.37765,
              0.72979
            ],
            [
              0.03437,
              0.08323,
              0.12514,
              0.20821,
              0.3779,
              0.7288
            ],
            [
              0.039,
              0.0872,
              0.1281,
              0.2102,
              0.3787,
              0.7291
            ],
            [
              0.0462,
              0.093,
              0.1339,
              0.2151,
              0.3821,
              0.7304
            ],
            [
              0.0562,
              0.1024,
              0.1417,
              0.2213,
              0.3874,
              0.7327
            ]
          ]
        },
        "related_pin": "B2",
        "rise_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00673,
            0.01346,
            0.02693,
            0.05385,
            0.1077
          ],
          "values": [
            [
              0.03558,
              0.12254,
              0.21141,
              0.39372,
              0.76047,
              1.49267
            ],
            [
              0.0356,
              0.12258,
              0.21153,
              0.39343,
              0.75979,
              1.4951
            ],
            [
              0.03556,
              0.12255,
              0.21163,
              0.39372,
              0.76044,
              1.49319
            ],
            [
              0.03564,
              0.12259,
              0.21152,
              0.39368,
              0.76025,
              1.49341
            ],
            [
              0.03561,
              0.12264,
              0.21157,
              0.39356,
              0.76018,
              1.49448
            ],
            [
              0.03561,
              0.12262,
              0.21159,
              0.39368,
              0.76018,
              1.4945
            ],
            [
              0.03563,
              0.12261,
              0.21154,
              0.39361,
              0.76012,
              1.49424
            ],
            [
              0.03581,
              0.12272,
              0.21166,
              0.39364,
              0.76004,
              1.49465
            ],
            [
              0.0372,
              0.12319,
              0.2115,
              0.39333,
              0.76045,
              1.49449
            ],
            [
              0.03977,
              0.12467,
              0.21271,
              0.39372,
              0.76042,
              1.4947
            ],
            [
              0.04341,
              0.12768,
              0.21425,
              0.3949,
              0.7604,
              1.493
            ],
            [
              0.049,
              0.1317,
              0.2171,
              0.3956,
              0.7604,
              1.493
            ],
            [
              0.0575,
              0.138,
              0.2209,
              0.3978,
              0.7607,
              1.4936
            ]
          ]
        },
        "sdf_cond": "(!A1&A2&!A3&B1)",
        "timing_sense": "positive_unate",
        "when": "(!A1&A2&!A3&B1)"
      },
      {
        "cell_fall,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00673,
            0.01346,
            0.02693,
            0.05385,
            0.1077
          ],
          "values": [
            [
              0.26875,
              0.34324,
              0.39258,
              0.47388,
              0.61649,
              0.88541
            ],
            [
              0.27079,
              0.34527,
              0.39462,
              0.47594,
              0.61847,
              0.8877
            ],
            [
              0.27355,
              0.34805,
              0.39741,
              0.47873,
              0.62128,
              0.89045
            ],
            [
              0.27799,
              0.35251,
              0.40187,
              0.48318,
              0.62582,
              0.89494
            ],
            [
              0.28512,
              0.35963,
              0.40899,
              0.4903,
              0.63294,
              0.90194
            ],
            [
              0.29629,
              0.37078,
              0.42015,
              0.50148,
              0.644,
              0.91319
            ],
            [
              0.31368,
              0.38813,
              0.43749,
              0.51882,
              0.6614,
              0.93063
            ],
            [
              0.34051,
              0.41489,
              0.46422,
              0.54556,
              0.68811,
              0.95736
            ],
            [
              0.38222,
              0.45648,
              0.50579,
              0.58713,
              0.72984,
              0.99885
            ],
            [
              0.44545,
              0.51949,
              0.56879,
              0.65019,
              0.79279,
              1.06199
            ],
            [
              0.53822,
              0.61292,
              0.66242,
              0.74402,
              0.88692,
              1.15632
            ],
            [
              0.65617,
              0.73497,
              0.78597,
              0.86957,
              1.01387,
              1.28367
            ],
            [
              0.7999,
              0.8863,
              0.9391,
              1.0244,
              1.1713,
              1.4438
            ]
          ]
        },
        "cell_rise,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00673,
            0.01346,
            0.02693,
            0.05385,
            0.1077
          ],
          "values": [
            [
              0.14061,
              0.22021,
              0.28782,
              0.42022,
              0.68303,
              1.20897
            ],
            [
              0.14412,
              0.22373,
              0.29134,
              0.42376,
              0.68655,
              1.21114
            ],
            [
              0.14813,
              0.22774,
              0.29538,
              0.42782,
              0.69054,
              1.21582
            ],
            [
              0.15376,
              0.23334,
              0.30102,
              0.43337,
              0.69642,
              1.22078
            ],
            [
              0.16166,
              0.24113,
              0.30895,
              0.44129,
              0.70435,
              1.22881
            ],
            [
              0.17306,
              0.25248,
              0.32029,
              0.45281,
              0.71571,
              1.24052
            ],
            [
              0.18978,
              0.26909,
              0.33689,
              0.4693,
              0.73247,
              1.25803
            ],
            [
              0.2145,
              0.29365,
              0.36148,
              0.4941,
              0.75746,
              1.28236
            ],
            [
              0.24944,
              0.32913,
              0.39692,
              0.52967,
              0.79265,
              1.31885
            ],
            [
              0.29514,
              0.37708,
              0.4452,
              0.57801,
              0.84169,
              1.36599
            ],
            [
              0.35377,
              0.43884,
              0.50762,
              0.64042,
              0.90392,
              1.43042
            ],
            [
              0.42717,
              0.51677,
              0.58627,
              0.71977,
              0.98337,
              1.50877
            ],
            [
              0.5163,
              0.6131,
              0.684,
              0.8177,
              1.0818,
              1.6064
            ]
          ]
        },
        "fall_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00673,
            0.01346,
            0.02693,
            0.05385,
            0.1077
          ],
          "values": [
            [
              0.04278,
              0.09739,
              0.14138,
              0.22436,
              0.39057,
              0.73549
            ],
            [
              0.04277,
              0.09738,
              0.14108,
              0.22452,
              0.39086,
              0.73449
            ],
            [
              0.04278,
              0.09738,
              0.14111,
              0.22447,
              0.3909,
              0.73479
            ],
            [
              0.04279,
              0.09724,
              0.14113,
              0.22409,
              0.39035,
              0.73543
            ],
            [
              0.0428,
              0.09728,
              0.14139,
              0.22424,
              0.39046,
              0.7359
            ],
            [
              0.04278,
              0.09738,
              0.14111,
              0.22426,
              0.39085,
              0.73484
            ],
            [
              0.04279,
              0.09729,
              0.14112,
              0.22432,
              0.39051,
              0.73446
            ],
            [
              0.04278,
              0.09733,
              0.14117,
              0.22457,
              0.3908,
              0.73443
            ],
            [
              0.04272,
              0.09748,
              0.14149,
              0.22426,
              0.39041,
              0.73588
            ],
            [
              0.0426,
              0.09741,
              0.14133,
              0.2242,
              0.39078,
              0.7355
            ],
            [
              0.0449,
              0.0985,
              0.1421,
              0.225,
              0.3912,
              0.7345
            ],
            [
              0.0517,
              0.1038,
              0.1474,
              0.2294,
              0.394,
              0.7367
            ],
            [
              0.0621,
              0.1123,
              0.1543,
              0.2357,
              0.4001,
              0.741
            ]
          ]
        },
        "related_pin": "B2",
        "rise_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00673,
            0.01346,
            0.02693,
            0.05385,
            0.1077
          ],
          "values": [
            [
              0.03571,
              0.12272,
              0.21185,
              0.39433,
              0.7618,
              1.4949
            ],
            [
              0.03564,
              0.12249,
              0.21191,
              0.39434,
              0.7612,
              1.49667
            ],
            [
              0.03563,
              0.12264,
              0.21193,
              0.39434,
              0.76161,
              1.49575
            ],
            [
              0.0356,
              0.12274,
              0.2119,
              0.39404,
              0.76091,
              1.49755
            ],
            [
              0.03563,
              0.1228,
              0.2119,
              0.39397,
              0.76094,
              1.49675
            ],
            [
              0.03564,
              0.12277,
              0.21195,
              0.39434,
              0.76146,
              1.4969
            ],
            [
              0.03572,
              0.12284,
              0.2119,
              0.39388,
              0.76102,
              1.49685
            ],
            [
              0.0358,
              0.12291,
              0.21199,
              0.39426,
              0.76112,
              1.497
            ],
            [
              0.03723,
              0.12337,
              0.21197,
              0.39423,
              0.76165,
              1.49537
            ],
            [
              0.03987,
              0.12481,
              0.21304,
              0.39425,
              0.76158,
              1.497
            ],
            [
              0.04347,
              0.12782,
              0.21456,
              0.3955,
              0.7616,
              1.4961
            ],
            [
              0.0489,
              0.1318,
              0.2174,
              0.3961,
              0.7616,
              1.4954
            ],
            [
              0.0575,
              0.1381,
              0.2213,
              0.3979,
              0.7619,
              1.4967
            ]
          ]
        },
        "sdf_cond": "(!A1&A2&A3&B1)",
        "timing_sense": "positive_unate",
        "when": "(!A1&A2&A3&B1)"
      },
      {
        "cell_fall,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00673,
            0.01346,
            0.02693,
            0.05385,
            0.1077
          ],
          "values": [
            [
              0.23585,
              0.29978,
              0.3436,
              0.41861,
              0.55603,
              0.82287
            ],
            [
              0.23839,
              0.30232,
              0.34615,
              0.4211,
              0.55862,
              0.82548
            ],
            [
              0.24163,
              0.30558,
              0.34941,
              0.42442,
              0.56184,
              0.82862
            ],
            [
              0.2468,
              0.31073,
              0.35457,
              0.42961,
              0.56693,
              0.83422
            ],
            [
              0.25484,
              0.31879,
              0.36264,
              0.43765,
              0.57506,
              0.84226
            ],
            [
              0.26723,
              0.33117,
              0.37501,
              0.45002,
              0.58753,
              0.85442
            ],
            [
              0.28615,
              0.35004,
              0.39388,
              0.46892,
              0.60634,
              0.87341
            ],
            [
              0.31494,
              0.37874,
              0.42256,
              0.49808,
              0.63558,
              0.90256
            ],
            [
              0.35962,
              0.42334,
              0.46717,
              0.54225,
              0.67958,
              0.94695
            ],
            [
              0.42672,
              0.4903,
              0.53414,
              0.60924,
              0.74689,
              1.01419
            ],
            [
              0.52232,
              0.58752,
              0.63192,
              0.70732,
              0.84512,
              1.11212
            ],
            [
              0.64247,
              0.71237,
              0.75847,
              0.83587,
              0.97477,
              1.24237
            ],
            [
              0.7901,
              0.8674,
              0.9156,
              0.9948,
              1.1357,
              1.4051
            ]
          ]
        },
        "cell_rise,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00673,
            0.01346,
            0.02693,
            0.05385,
            0.1077
          ],
          "values": [
            [
              0.15053,
              0.23624,
              0.30502,
              0.4373,
              0.6999,
              1.22387
            ],
            [
              0.15396,
              0.23967,
              0.30851,
              0.44082,
              0.70331,
              1.22694
            ],
            [
              0.1579,
              0.24363,
              0.31247,
              0.44462,
              0.70728,
              1.23192
            ],
            [
              0.16342,
              0.24913,
              0.31801,
              0.45034,
              0.71291,
              1.23738
            ],
            [
              0.17121,
              0.25684,
              0.32576,
              0.45807,
              0.72038,
              1.24391
            ],
            [
              0.18247,
              0.26802,
              0.33686,
              0.46946,
              0.73175,
              1.25492
            ],
            [
              0.19912,
              0.28455,
              0.35332,
              0.4859,
              0.74804,
              1.27333
            ],
            [
              0.22376,
              0.30903,
              0.37793,
              0.51056,
              0.77315,
              1.29776
            ],
            [
              0.25906,
              0.3448,
              0.41375,
              0.54624,
              0.80895,
              1.33345
            ],
            [
              0.30577,
              0.3943,
              0.4635,
              0.59616,
              0.85949,
              1.38349
            ],
            [
              0.36587,
              0.45862,
              0.52892,
              0.66202,
              0.92462,
              1.44902
            ],
            [
              0.44147,
              0.54027,
              0.61187,
              0.74567,
              1.00897,
              1.53357
            ],
            [
              0.5335,
              0.642,
              0.7155,
              0.8503,
              1.1141,
              1.6379
            ]
          ]
        },
        "fall_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00673,
            0.01346,
            0.02693,
            0.05385,
            0.1077
          ],
          "values": [
            [
              0.0351,
              0.0846,
              0.12683,
              0.20992,
              0.38003,
              0.73158
            ],
            [
              0.0351,
              0.0846,
              0.12684,
              0.20994,
              0.37977,
              0.73115
            ],
            [
              0.03511,
              0.08459,
              0.12683,
              0.2099,
              0.38003,
              0.73151
            ],
            [
              0.03512,
              0.08468,
              0.12687,
              0.21032,
              0.37992,
              0.72954
            ],
            [
              0.03513,
              0.08462,
              0.12676,
              0.21028,
              0.38002,
              0.73109
            ],
            [
              0.0351,
              0.08475,
              0.12725,
              0.20994,
              0.37984,
              0.73111
            ],
            [
              0.03512,
              0.08468,
              0.12677,
              0.20996,
              0.37939,
              0.73064
            ],
            [
              0.0351,
              0.08484,
              0.12728,
              0.21032,
              0.37998,
              0.73106
            ],
            [
              0.0351,
              0.08474,
              0.12678,
              0.21019,
              0.37963,
              0.72965
            ],
            [
              0.03516,
              0.08483,
              0.12698,
              0.21011,
              0.38003,
              0.7302
            ],
            [
              0.0383,
              0.0868,
              0.1286,
              0.2106,
              0.38,
              0.731
            ],
            [
              0.0446,
              0.0924,
              0.1338,
              0.2152,
              0.3823,
              0.7306
            ],
            [
              0.0539,
              0.1006,
              0.1406,
              0.2211,
              0.3872,
              0.7338
            ]
          ]
        },
        "related_pin": "B2",
        "rise_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00673,
            0.01346,
            0.02693,
            0.05385,
            0.1077
          ],
          "values": [
            [
              0.04172,
              0.12661,
              0.214,
              0.39417,
              0.76003,
              1.49291
            ],
            [
              0.0417,
              0.12677,
              0.21387,
              0.39403,
              0.75971,
              1.49346
            ],
            [
              0.04168,
              0.12659,
              0.21382,
              0.39391,
              0.76027,
              1.4934
            ],
            [
              0.04174,
              0.12677,
              0.2138,
              0.39424,
              0.76004,
              1.49407
            ],
            [
              0.04172,
              0.1267,
              0.21391,
              0.39407,
              0.76022,
              1.49463
            ],
            [
              0.0417,
              0.12672,
              0.21405,
              0.39438,
              0.76015,
              1.49439
            ],
            [
              0.04174,
              0.12667,
              0.21408,
              0.39403,
              0.76042,
              1.49351
            ],
            [
              0.04195,
              0.12688,
              0.21378,
              0.39432,
              0.7604,
              1.49325
            ],
            [
              0.04361,
              0.12735,
              0.21418,
              0.39407,
              0.76018,
              1.49471
            ],
            [
              0.04698,
              0.12941,
              0.21541,
              0.39435,
              0.76008,
              1.4943
            ],
            [
              0.05194,
              0.13323,
              0.21743,
              0.3959,
              0.7601,
              1.4941
            ],
            [
              0.0596,
              0.1384,
              0.2215,
              0.3975,
              0.7599,
              1.4931
            ],
            [
              0.0711,
              0.1467,
              0.2268,
              0.4001,
              0.7611,
              1.4942
            ]
          ]
        },
        "sdf_cond": "(A1&!A2&!A3&B1)",
        "timing_sense": "positive_unate",
        "when": "(A1&!A2&!A3&B1)"
      },
      {
        "cell_fall,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00673,
            0.01346,
            0.02693,
            0.05385,
            0.1077
          ],
          "values": [
            [
              0.31017,
              0.38587,
              0.43589,
              0.51805,
              0.66159,
              0.93126
            ],
            [
              0.31229,
              0.38801,
              0.43803,
              0.52019,
              0.66372,
              0.93368
            ],
            [
              0.31515,
              0.39086,
              0.44089,
              0.52307,
              0.66661,
              0.9364
            ],
            [
              0.31973,
              0.39546,
              0.44549,
              0.52765,
              0.67122,
              0.941
            ],
            [
              0.32693,
              0.40267,
              0.4527,
              0.53487,
              0.67836,
              0.9484
            ],
            [
              0.3382,
              0.41393,
              0.46395,
              0.54613,
              0.68962,
              0.95972
            ],
            [
              0.35561,
              0.43129,
              0.48132,
              0.56349,
              0.70706,
              0.97693
            ],
            [
              0.38265,
              0.45831,
              0.50833,
              0.59051,
              0.73396,
              1.00396
            ],
            [
              0.42388,
              0.49947,
              0.54944,
              0.63162,
              0.77515,
              1.04525
            ],
            [
              0.48672,
              0.56215,
              0.6121,
              0.69429,
              0.83789,
              1.10799
            ],
            [
              0.58222,
              0.65732,
              0.70722,
              0.78952,
              0.93322,
              1.20332
            ],
            [
              0.71057,
              0.78877,
              0.83997,
              0.92327,
              1.06767,
              1.33807
            ],
            [
              0.8683,
              0.9527,
              1.0054,
              1.0906,
              1.2378,
              1.5101
            ]
          ]
        },
        "cell_rise,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00673,
            0.01346,
            0.02693,
            0.05385,
            0.1077
          ],
          "values": [
            [
              0.15063,
              0.23647,
              0.30538,
              0.43794,
              0.70036,
              1.22597
            ],
            [
              0.15412,
              0.23993,
              0.30892,
              0.44137,
              0.70415,
              1.23014
            ],
            [
              0.15813,
              0.24394,
              0.31294,
              0.44533,
              0.70894,
              1.23352
            ],
            [
              0.16376,
              0.24957,
              0.31861,
              0.45116,
              0.71412,
              1.23958
            ],
            [
              0.17167,
              0.25744,
              0.32647,
              0.45906,
              0.72233,
              1.24731
            ],
            [
              0.18305,
              0.26873,
              0.33774,
              0.47045,
              0.73314,
              1.25922
            ],
            [
              0.1998,
              0.28532,
              0.35436,
              0.487,
              0.74992,
              1.27403
            ],
            [
              0.2245,
              0.30993,
              0.37893,
              0.51162,
              0.77478,
              1.29896
            ],
            [
              0.25986,
              0.34574,
              0.41474,
              0.54744,
              0.81075,
              1.33675
            ],
            [
              0.30652,
              0.39514,
              0.46448,
              0.59752,
              0.86119,
              1.38649
            ],
            [
              0.36655,
              0.45932,
              0.52982,
              0.66322,
              0.92612,
              1.45142
            ],
            [
              0.44197,
              0.54097,
              0.61257,
              0.74677,
              1.01037,
              1.53597
            ],
            [
              0.5341,
              0.6426,
              0.7162,
              0.8513,
              1.1153,
              1.6405
            ]
          ]
        },
        "fall_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00673,
            0.01346,
            0.02693,
            0.05385,
            0.1077
          ],
          "values": [
            [
              0.04432,
              0.09918,
              0.14301,
              0.22611,
              0.3929,
              0.73735
            ],
            [
              0.04431,
              0.09918,
              0.14299,
              0.22651,
              0.39237,
              0.73745
            ],
            [
              0.04434,
              0.09907,
              0.14299,
              0.22629,
              0.3927,
              0.73749
            ],
            [
              0.04433,
              0.09907,
              0.14299,
              0.22598,
              0.39269,
              0.73745
            ],
            [
              0.04437,
              0.09923,
              0.14296,
              0.22687,
              0.3924,
              0.7371
            ],
            [
              0.04432,
              0.09924,
              0.14296,
              0.22688,
              0.39241,
              0.73705
            ],
            [
              0.04432,
              0.09907,
              0.143,
              0.22593,
              0.39251,
              0.73755
            ],
            [
              0.04435,
              0.09907,
              0.14304,
              0.22653,
              0.39272,
              0.73675
            ],
            [
              0.04431,
              0.09925,
              0.14306,
              0.22597,
              0.39243,
              0.73731
            ],
            [
              0.04425,
              0.09918,
              0.14319,
              0.22634,
              0.3927,
              0.7361
            ],
            [
              0.0445,
              0.0996,
              0.1433,
              0.2266,
              0.3925,
              0.7376
            ],
            [
              0.0502,
              0.1034,
              0.1471,
              0.2291,
              0.3942,
              0.7375
            ],
            [
              0.0597,
              0.1103,
              0.1531,
              0.2354,
              0.4,
              0.7402
            ]
          ]
        },
        "related_pin": "B2",
        "rise_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00673,
            0.01346,
            0.02693,
            0.05385,
            0.1077
          ],
          "values": [
            [
              0.04176,
              0.12675,
              0.21416,
              0.39469,
              0.76168,
              1.49581
            ],
            [
              0.04173,
              0.12687,
              0.21413,
              0.39469,
              0.76101,
              1.49717
            ],
            [
              0.04176,
              0.12686,
              0.21406,
              0.39456,
              0.761,
              1.49566
            ],
            [
              0.04175,
              0.12686,
              0.21412,
              0.39471,
              0.76132,
              1.49718
            ],
            [
              0.04175,
              0.12687,
              0.2141,
              0.39481,
              0.76168,
              1.4975
            ],
            [
              0.04174,
              0.12693,
              0.21438,
              0.39469,
              0.76153,
              1.49521
            ],
            [
              0.0418,
              0.12694,
              0.21415,
              0.39466,
              0.76148,
              1.49687
            ],
            [
              0.04194,
              0.12694,
              0.21431,
              0.39466,
              0.76124,
              1.49698
            ],
            [
              0.04354,
              0.12754,
              0.21454,
              0.39462,
              0.76164,
              1.4957
            ],
            [
              0.04695,
              0.12955,
              0.21568,
              0.39503,
              0.76138,
              1.4967
            ],
            [
              0.052,
              0.13334,
              0.21771,
              0.3963,
              0.7615,
              1.4966
            ],
            [
              0.0595,
              0.1384,
              0.2218,
              0.3983,
              0.7609,
              1.4952
            ],
            [
              0.0711,
              0.1467,
              0.2272,
              0.4008,
              0.7619,
              1.4971
            ]
          ]
        },
        "sdf_cond": "(A1&!A2&A3&B1)",
        "timing_sense": "positive_unate",
        "when": "(A1&!A2&A3&B1)"
      },
      {
        "cell_fall,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00673,
            0.01346,
            0.02693,
            0.05385,
            0.1077
          ],
          "values": [
            [
              0.33113,
              0.40625,
              0.45592,
              0.53777,
              0.68122,
              0.95149
            ],
            [
              0.33331,
              0.40842,
              0.45812,
              0.53996,
              0.68327,
              0.95376
            ],
            [
              0.33626,
              0.41139,
              0.46108,
              0.54293,
              0.68637,
              0.95661
            ],
            [
              0.34092,
              0.41607,
              0.46575,
              0.54761,
              0.69105,
              0.96135
            ],
            [
              0.34829,
              0.42344,
              0.47313,
              0.555,
              0.69847,
              0.96871
            ],
            [
              0.35977,
              0.43491,
              0.48461,
              0.56649,
              0.70993,
              0.98022
            ],
            [
              0.37741,
              0.45253,
              0.50225,
              0.58412,
              0.72748,
              0.99783
            ],
            [
              0.40482,
              0.47995,
              0.52964,
              0.61153,
              0.75499,
              1.02526
            ],
            [
              0.44631,
              0.52139,
              0.57107,
              0.65296,
              0.79635,
              1.06675
            ],
            [
              0.50933,
              0.58436,
              0.63399,
              0.71589,
              0.85939,
              1.12969
            ],
            [
              0.60572,
              0.68042,
              0.73002,
              0.81192,
              0.95542,
              1.22582
            ],
            [
              0.74047,
              0.81747,
              0.86797,
              0.95047,
              1.09417,
              1.36467
            ],
            [
              0.9071,
              0.9897,
              1.0417,
              1.1262,
              1.2726,
              1.5445
            ]
          ]
        },
        "cell_rise,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00673,
            0.01346,
            0.02693,
            0.05385,
            0.1077
          ],
          "values": [
            [
              0.15259,
              0.2482,
              0.31911,
              0.45244,
              0.71552,
              1.24067
            ],
            [
              0.15609,
              0.25172,
              0.32263,
              0.456,
              0.71907,
              1.24444
            ],
            [
              0.16009,
              0.25572,
              0.32666,
              0.46004,
              0.72311,
              1.24832
            ],
            [
              0.16573,
              0.26134,
              0.33233,
              0.46569,
              0.72877,
              1.25398
            ],
            [
              0.17362,
              0.26922,
              0.3402,
              0.47356,
              0.7367,
              1.26151
            ],
            [
              0.185,
              0.28048,
              0.35147,
              0.48497,
              0.74808,
              1.27352
            ],
            [
              0.20171,
              0.29705,
              0.36807,
              0.50158,
              0.76475,
              1.29013
            ],
            [
              0.22634,
              0.32157,
              0.39261,
              0.52614,
              0.78951,
              1.31466
            ],
            [
              0.26161,
              0.35734,
              0.42849,
              0.56225,
              0.82545,
              1.35125
            ],
            [
              0.30828,
              0.40733,
              0.47881,
              0.61271,
              0.87569,
              1.40169
            ],
            [
              0.3683,
              0.47282,
              0.54562,
              0.67992,
              0.94302,
              1.46782
            ],
            [
              0.44377,
              0.55627,
              0.63087,
              0.76637,
              1.02997,
              1.55587
            ],
            [
              0.5358,
              0.6607,
              0.7381,
              0.8751,
              1.1394,
              1.6647
            ]
          ]
        },
        "fall_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00673,
            0.01346,
            0.02693,
            0.05385,
            0.1077
          ],
          "values": [
            [
              0.04472,
              0.09942,
              0.14311,
              0.2261,
              0.39278,
              0.73835
            ],
            [
              0.04467,
              0.09928,
              0.14319,
              0.22648,
              0.39301,
              0.73731
            ],
            [
              0.0447,
              0.09926,
              0.14314,
              0.22612,
              0.39288,
              0.73845
            ],
            [
              0.04471,
              0.0994,
              0.14309,
              0.22677,
              0.39265,
              0.73829
            ],
            [
              0.04468,
              0.09929,
              0.1431,
              0.22602,
              0.3929,
              0.73835
            ],
            [
              0.04467,
              0.09939,
              0.14308,
              0.22668,
              0.39265,
              0.73826
            ],
            [
              0.04466,
              0.09924,
              0.14324,
              0.22628,
              0.39308,
              0.73726
            ],
            [
              0.04468,
              0.09938,
              0.14308,
              0.22661,
              0.39267,
              0.73835
            ],
            [
              0.04467,
              0.09931,
              0.14304,
              0.22692,
              0.3927,
              0.73807
            ],
            [
              0.04469,
              0.09935,
              0.1432,
              0.22695,
              0.3927,
              0.7382
            ],
            [
              0.0445,
              0.0993,
              0.1431,
              0.226,
              0.3927,
              0.7377
            ],
            [
              0.0491,
              0.1023,
              0.1459,
              0.2278,
              0.3938,
              0.7384
            ],
            [
              0.0577,
              0.1088,
              0.1514,
              0.2339,
              0.3998,
              0.7411
            ]
          ]
        },
        "related_pin": "B2",
        "rise_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00673,
            0.01346,
            0.02693,
            0.05385,
            0.1077
          ],
          "values": [
            [
              0.04696,
              0.13385,
              0.21898,
              0.39673,
              0.7616,
              1.49664
            ],
            [
              0.04691,
              0.13394,
              0.21897,
              0.39677,
              0.76187,
              1.49611
            ],
            [
              0.04693,
              0.13385,
              0.21896,
              0.39675,
              0.76168,
              1.49578
            ],
            [
              0.04692,
              0.13378,
              0.21896,
              0.39671,
              0.76156,
              1.49672
            ],
            [
              0.04692,
              0.13385,
              0.21896,
              0.39665,
              0.76147,
              1.49666
            ],
            [
              0.04696,
              0.1339,
              0.21899,
              0.39679,
              0.76172,
              1.496
            ],
            [
              0.04695,
              0.13402,
              0.21901,
              0.39676,
              0.7617,
              1.49623
            ],
            [
              0.04711,
              0.13419,
              0.21911,
              0.39669,
              0.76151,
              1.49605
            ],
            [
              0.04865,
              0.13466,
              0.21926,
              0.39696,
              0.76177,
              1.49643
            ],
            [
              0.0524,
              0.13697,
              0.22041,
              0.39718,
              0.76183,
              1.4969
            ],
            [
              0.05768,
              0.14182,
              0.22349,
              0.3987,
              0.7619,
              1.4967
            ],
            [
              0.0659,
              0.1487,
              0.2286,
              0.4007,
              0.7617,
              1.4954
            ],
            [
              0.0782,
              0.1599,
              0.2361,
              0.4051,
              0.7633,
              1.4972
            ]
          ]
        },
        "sdf_cond": "(A1&A2&!A3&B1)",
        "timing_sense": "positive_unate",
        "when": "(A1&A2&!A3&B1)"
      }
    ]
  }
}