[
 {
  "k": 3,
  "k+1": 4,
  "kplus1_prime": false,
  "A_le": 4,
  "Catalan_Ck": 5,
  "chi_lower": 5,
  "settled_NO_by_bound": true
 },
 {
  "k": 4,
  "k+1": 5,
  "kplus1_prime": true,
  "A_le": 14,
  "Catalan_Ck": 14,
  "chi_lower": 5,
  "settled_NO_by_bound": false
 },
 {
  "k": 5,
  "k+1": 6,
  "kplus1_prime": false,
  "A_le": 36,
  "Catalan_Ck": 42,
  "chi_lower": 7,
  "settled_NO_by_bound": true
 },
 {
  "k": 6,
  "k+1": 7,
  "kplus1_prime": true,
  "A_le": 132,
  "Catalan_Ck": 132,
  "chi_lower": 7,
  "settled_NO_by_bound": false
 },
 {
  "k": 7,
  "k+1": 8,
  "kplus1_prime": false,
  "A_le": 364,
  "Catalan_Ck": 429,
  "chi_lower": 10,
  "settled_NO_by_bound": true
 },
 {
  "k": 8,
  "k+1": 9,
  "kplus1_prime": false,
  "A_le": 1396,
  "Catalan_Ck": 1430,
  "chi_lower": 10,
  "settled_NO_by_bound": true
 },
 {
  "k": 9,
  "k+1": 10,
  "kplus1_prime": false,
  "A_le": 4420,
  "Catalan_Ck": 4862,
  "chi_lower": 11,
  "settled_NO_by_bound": true
 },
 {
  "k": 10,
  "k+1": 11,
  "kplus1_prime": true,
  "A_le": 16796,
  "Catalan_Ck": 16796,
  "chi_lower": 11,
  "settled_NO_by_bound": false
 },
 {
  "k": 11,
  "k+1": 12,
  "kplus1_prime": false,
  "A_le": 54264,
  "Catalan_Ck": 58786,
  "chi_lower": 13,
  "settled_NO_by_bound": true
 },
 {
  "k": 12,
  "k+1": 13,
  "kplus1_prime": true,
  "A_le": 208012,
  "Catalan_Ck": 208012,
  "chi_lower": 13,
  "settled_NO_by_bound": false
 },
 {
  "k": 13,
  "k+1": 14,
  "kplus1_prime": false,
  "A_le": 685686,
  "Catalan_Ck": 742900,
  "chi_lower": 16,
  "settled_NO_by_bound": true
 },
 {
  "k": 14,
  "k+1": 15,
  "kplus1_prime": false,
  "A_le": 2645438,
  "Catalan_Ck": 2674440,
  "chi_lower": 16,
  "settled_NO_by_bound": true
 },
 {
  "k": 15,
  "k+1": 16,
  "kplus1_prime": false,
  "A_le": 9124560,
  "Catalan_Ck": 9694845,
  "chi_lower": 17,
  "settled_NO_by_bound": true
 },
 {
  "k": 16,
  "k+1": 17,
  "kplus1_prime": true,
  "A_le": 35357670,
  "Catalan_Ck": 35357670,
  "chi_lower": 17,
  "settled_NO_by_bound": false
 },
 {
  "k": 17,
  "k+1": 18,
  "kplus1_prime": false,
  "A_le": 122821380,
  "Catalan_Ck": 129644790,
  "chi_lower": 19,
  "settled_NO_by_bound": true
 },
 {
  "k": 18,
  "k+1": 19,
  "kplus1_prime": true,
  "A_le": 477638700,
  "Catalan_Ck": 477638700,
  "chi_lower": 19,
  "settled_NO_by_bound": false
 },
 {
  "k": 19,
  "k+1": 20,
  "kplus1_prime": false,
  "A_le": 1672247982,
  "Catalan_Ck": 1767263190,
  "chi_lower": 22,
  "settled_NO_by_bound": true
 },
 {
  "k": 20,
  "k+1": 21,
  "kplus1_prime": false,
  "A_le": 6538174462,
  "Catalan_Ck": 6564120420,
  "chi_lower": 22,
  "settled_NO_by_bound": true
 },
 {
  "k": 21,
  "k+1": 22,
  "kplus1_prime": false,
  "A_le": 23402516280,
  "Catalan_Ck": 24466267020,
  "chi_lower": 23,
  "settled_NO_by_bound": true
 },
 {
  "k": 22,
  "k+1": 23,
  "kplus1_prime": true,
  "A_le": 91482563640,
  "Catalan_Ck": 91482563640,
  "chi_lower": 23,
  "settled_NO_by_bound": false
 },
 {
  "k": 23,
  "k+1": 24,
  "kplus1_prime": false,
  "A_le": 329304605408,
  "Catalan_Ck": 343059613650,
  "chi_lower": 26,
  "settled_NO_by_bound": true
 },
 {
  "k": 24,
  "k+1": 25,
  "kplus1_prime": false,
  "A_le": 1289842229094,
  "Catalan_Ck": 1289904147324,
  "chi_lower": 26,
  "settled_NO_by_bound": true
 },
 {
  "k": 25,
  "k+1": 26,
  "kplus1_prime": false,
  "A_le": 4667661831578,
  "Catalan_Ck": 4861946401452,
  "chi_lower": 28,
  "settled_NO_by_bound": true
 },
 {
  "k": 26,
  "k+1": 27,
  "kplus1_prime": false,
  "A_le": 18311626266186,
  "Catalan_Ck": 18367353072152,
  "chi_lower": 28,
  "settled_NO_by_bound": true
 },
 {
  "k": 27,
  "k+1": 28,
  "kplus1_prime": false,
  "A_le": 67135842263728,
  "Catalan_Ck": 69533550916004,
  "chi_lower": 29,
  "settled_NO_by_bound": true
 },
 {
  "k": 28,
  "k+1": 29,
  "kplus1_prime": true,
  "A_le": 263747951750360,
  "Catalan_Ck": 263747951750360,
  "chi_lower": 29,
  "settled_NO_by_bound": false
 },
 {
  "k": 29,
  "k+1": 30,
  "kplus1_prime": false,
  "A_le": 969911822565840,
  "Catalan_Ck": 1002242216651368,
  "chi_lower": 31,
  "settled_NO_by_bound": true
 },
 {
  "k": 30,
  "k+1": 31,
  "kplus1_prime": true,
  "A_le": 3814986502092304,
  "Catalan_Ck": 3814986502092304,
  "chi_lower": 31,
  "settled_NO_by_bound": false
 },
 {
  "k": 31,
  "k+1": 32,
  "kplus1_prime": false,
  "A_le": 14070436199466068,
  "Catalan_Ck": 14544636039226909,
  "chi_lower": 34,
  "settled_NO_by_bound": true
 },
 {
  "k": 32,
  "k+1": 33,
  "kplus1_prime": false,
  "A_le": 55437074358395894,
  "Catalan_Ck": 55534064877048198,
  "chi_lower": 34,
  "settled_NO_by_bound": true
 },
 {
  "k": 33,
  "k+1": 34,
  "kplus1_prime": false,
  "A_le": 206265009229079164,
  "Catalan_Ck": 212336130412243110,
  "chi_lower": 36,
  "settled_NO_by_bound": true
 },
 {
  "k": 34,
  "k+1": 35,
  "kplus1_prime": false,
  "A_le": 812928596657914100,
  "Catalan_Ck": 812944042149730764,
  "chi_lower": 36,
  "settled_NO_by_bound": true
 },
 {
  "k": 35,
  "k+1": 36,
  "kplus1_prime": false,
  "A_le": 3032061562612509336,
  "Catalan_Ck": 3116285494907301262,
  "chi_lower": 37,
  "settled_NO_by_bound": true
 },
 {
  "k": 36,
  "k+1": 37,
  "kplus1_prime": true,
  "A_le": 11959798385860453492,
  "Catalan_Ck": 11959798385860453492,
  "chi_lower": 37,
  "settled_NO_by_bound": false
 },
 {
  "k": 37,
  "k+1": 38,
  "kplus1_prime": false,
  "A_le": 44708890694224969600,
  "Catalan_Ck": 45950804324621742364,
  "chi_lower": 40,
  "settled_NO_by_bound": true
 },
 {
  "k": 38,
  "k+1": 39,
  "kplus1_prime": false,
  "A_le": 176482463266696099232,
  "Catalan_Ck": 176733862787006701400,
  "chi_lower": 40,
  "settled_NO_by_bound": true
 },
 {
  "k": 39,
  "k+1": 40,
  "kplus1_prime": false,
  "A_le": 663829630956073951600,
  "Catalan_Ck": 680425371729975800390,
  "chi_lower": 41,
  "settled_NO_by_bound": true
 },
 {
  "k": 40,
  "k+1": 41,
  "kplus1_prime": true,
  "A_le": 2622127042276492108820,
  "Catalan_Ck": 2622127042276492108820,
  "chi_lower": 41,
  "settled_NO_by_bound": false
 },
 {
  "k": 41,
  "k+1": 42,
  "kplus1_prime": false,
  "A_le": 9878711182530040037880,
  "Catalan_Ck": 10113918591637898134020,
  "chi_lower": 43,
  "settled_NO_by_bound": true
 },
 {
  "k": 42,
  "k+1": 43,
  "kplus1_prime": true,
  "A_le": 39044429911904443959240,
  "Catalan_Ck": 39044429911904443959240,
  "chi_lower": 43,
  "settled_NO_by_bound": false
 },
 {
  "k": 43,
  "k+1": 44,
  "kplus1_prime": false,
  "A_le": 147325786642617151520214,
  "Catalan_Ck": 150853479205085351660700,
  "chi_lower": 46,
  "settled_NO_by_bound": true
 },
 {
  "k": 44,
  "k+1": 45,
  "kplus1_prime": false,
  "A_le": 582760526512892141578792,
  "Catalan_Ck": 583300119592996693088040,
  "chi_lower": 46,
  "settled_NO_by_bound": true
 },
 {
  "k": 45,
  "k+1": 46,
  "kplus1_prime": false,
  "A_le": 2209094069947944922758960,
  "Catalan_Ck": 2257117854077248073253720,
  "chi_lower": 47,
  "settled_NO_by_bound": true
 },
 {
  "k": 46,
  "k+1": 47,
  "kplus1_prime": true,
  "A_le": 8740328711533173390046320,
  "Catalan_Ck": 8740328711533173390046320,
  "chi_lower": 47,
  "settled_NO_by_bound": false
 },
 {
  "k": 47,
  "k+1": 48,
  "kplus1_prime": false,
  "A_le": 33177571693137160084432738,
  "Catalan_Ck": 33868773757191046886429490,
  "chi_lower": 50,
  "settled_NO_by_bound": true
 },
 {
  "k": 48,
  "k+1": 49,
  "kplus1_prime": false,
  "A_le": 131327893183180139855639420,
  "Catalan_Ck": 131327898242169365477991900,
  "chi_lower": 50,
  "settled_NO_by_bound": true
 },
 {
  "k": 49,
  "k+1": 50,
  "kplus1_prime": false,
  "A_le": 499149722200694901117409850,
  "Catalan_Ck": 509552245179617138054608572,
  "chi_lower": 52,
  "settled_NO_by_bound": true
 },
 {
  "k": 50,
  "k+1": 51,
  "kplus1_prime": false,
  "A_le": 1976664223067613962806675336,
  "Catalan_Ck": 1978261657756160653623774456,
  "chi_lower": 52,
  "settled_NO_by_bound": true
 },
 {
  "k": 51,
  "k+1": 52,
  "kplus1_prime": false,
  "A_le": 7539789714466876453434008304,
  "Catalan_Ck": 7684785670514316385230816156,
  "chi_lower": 53,
  "settled_NO_by_bound": true
 },
 {
  "k": 52,
  "k+1": 53,
  "kplus1_prime": true,
  "A_le": 29869166945772625950142417512,
  "Catalan_Ck": 29869166945772625950142417512,
  "chi_lower": 53,
  "settled_NO_by_bound": false
 },
 {
  "k": 53,
  "k+1": 54,
  "kplus1_prime": false,
  "A_le": 114045520213925846693871815218,
  "Catalan_Ck": 116157871455782434250553845880,
  "chi_lower": 56,
  "settled_NO_by_bound": true
 },
 {
  "k": 54,
  "k+1": 55,
  "kplus1_prime": false,
  "A_le": 451958688713782684075849080036,
  "Catalan_Ck": 451959718027953471447609509424,
  "chi_lower": 56,
  "settled_NO_by_bound": true
 },
 {
  "k": 55,
  "k+1": 56,
  "kplus1_prime": false,
  "A_le": 1727320864586106627180766457216,
  "Catalan_Ck": 1759414616608818870992479875972,
  "chi_lower": 58,
  "settled_NO_by_bound": true
 },
 {
  "k": 56,
  "k+1": 57,
  "kplus1_prime": false,
  "A_le": 6848451985163491338868230911212,
  "Catalan_Ck": 6852456927844873497549658464312,
  "chi_lower": 58,
  "settled_NO_by_bound": true
 },
 {
  "k": 57,
  "k+1": 58,
  "kplus1_prime": false,
  "A_le": 26248394333778667973664793439568,
  "Catalan_Ck": 26700952856774851904245220912664,
  "chi_lower": 59,
  "settled_NO_by_bound": true
 },
 {
  "k": 58,
  "k+1": 59,
  "kplus1_prime": true,
  "A_le": 104088460289122304033498318812080,
  "Catalan_Ck": 104088460289122304033498318812080,
  "chi_lower": 59,
  "settled_NO_by_bound": false
 },
 {
  "k": 59,
  "k+1": 60,
  "kplus1_prime": false,
  "A_le": 399290159141879002358009944295520,
  "Catalan_Ck": 405944995127576985730643443367112,
  "chi_lower": 61,
  "settled_NO_by_bound": true
 },
 {
  "k": 60,
  "k+1": 61,
  "kplus1_prime": true,
  "A_le": 1583850964596120042686772779038896,
  "Catalan_Ck": 1583850964596120042686772779038896,
  "chi_lower": 61,
  "settled_NO_by_bound": false
 }
]