files / problems / hilbert16-limit-cycles / compute / q2 / p-harnack-recurrence / certs / tables.json

2.6 KB · on GitHub

{
  "N_max": 50,
  "SMALL_PUB": [
    [
      1,
      0
    ],
    [
      2,
      4
    ],
    [
      3,
      13
    ]
  ],
  "PT_THM1": [
    [
      4,
      28
    ],
    [
      5,
      37
    ],
    [
      6,
      53
    ],
    [
      7,
      74
    ],
    [
      8,
      96
    ],
    [
      9,
      120
    ],
    [
      10,
      142
    ]
  ],
  "HAN_LI_APP_A": [
    [
      11,
      153
    ],
    [
      12,
      157
    ],
    [
      14,
      194
    ],
    [
      15,
      345
    ],
    [
      16,
      351
    ],
    [
      18,
      372
    ],
    [
      19,
      503
    ],
    [
      20,
      509
    ]
  ],
  "PT_COR2": [
    [
      13,
      212
    ],
    [
      17,
      384
    ],
    [
      21,
      568
    ],
    [
      31,
      1184
    ],
    [
      35,
      1536
    ],
    [
      39,
      1920
    ],
    [
      43,
      2272
    ]
  ],
  "HAN_LI_TABLE1_ONLY": [
    [
      23,
      833
    ],
    [
      24,
      843
    ],
    [
      25,
      870
    ],
    [
      26,
      880
    ],
    [
      27,
      1023
    ],
    [
      29,
      1060
    ]
  ],
  "PAPER_L_CH": [
    [
      11,
      148
    ],
    [
      13,
      212
    ],
    [
      14,
      252
    ],
    [
      15,
      296
    ],
    [
      17,
      384
    ],
    [
      19,
      480
    ],
    [
      20,
      477
    ],
    [
      21,
      568
    ],
    [
      23,
      666
    ],
    [
      24,
      700
    ],
    [
      25,
      628
    ],
    [
      26,
      864
    ],
    [
      27,
      848
    ],
    [
      29,
      1080
    ],
    [
      31,
      1380
    ],
    [
      35,
      1536
    ],
    [
      39,
      2012
    ],
    [
      43,
      2272
    ]
  ],
  "PAPER_FOUR_NEW": [
    [
      14,
      252
    ],
    [
      29,
      1080
    ],
    [
      31,
      1380
    ],
    [
      39,
      2012
    ]
  ],
  "SEEDS_APP_A": [
    [
      4,
      28
    ],
    [
      5,
      37
    ],
    [
      6,
      53
    ],
    [
      7,
      74
    ],
    [
      8,
      96
    ],
    [
      9,
      120
    ],
    [
      10,
      142
    ],
    [
      11,
      153
    ],
    [
      12,
      157
    ],
    [
      13,
      212
    ],
    [
      14,
      194
    ],
    [
      15,
      345
    ],
    [
      16,
      351
    ],
    [
      17,
      384
    ],
    [
      18,
      372
    ],
    [
      19,
      503
    ],
    [
      20,
      509
    ],
    [
      21,
      568
    ],
    [
      31,
      1184
    ],
    [
      35,
      1536
    ],
    [
      39,
      1920
    ],
    [
      43,
      2272
    ]
  ]
}