a = 0
bound = 7
[x,y,F_a(x,y)] with x >= 0 and y > 0:
[[0, 1, 1], [1, 1, -4], [1, 2, -7], [2, 1, -7]]

a = 1
bound = 13
[x,y,F_a(x,y)] with x >= 0 and y > 0:
[[0, 1, 1], [1, 1, -4], [1, 2, -1], [2, 1, -13], [3, 1, 4]]

a = 2
bound = 19
[x,y,F_a(x,y)] with x >= 0 and y > 0:
[[0, 1, 1], [1, 1, -4], [1, 2, 5], [2, 1, -19], [7, 2, -19]]

a = 3
bound = 25
[x,y,F_a(x,y)] with x >= 0 and y > 0:
[[0, 1, 1], [1, 1, -4], [1, 2, 11], [2, 1, -25], [4, 1, -19]]

a = 4
bound = 31
[x,y,F_a(x,y)] with x >= 0 and y > 0:
[[0, 1, 1], [1, 1, -4], [1, 2, 17], [2, 1, -31], [2, 3, 1], [5, 1, -4]]

a = 5
bound = 37
[x,y,F_a(x,y)] with x >= 0 and y > 0:
[[0, 1, 1], [1, 1, -4], [1, 2, 23], [2, 1, -37], [2, 3, 31], [6, 1, 31]]

a = 6
bound = 43
[x,y,F_a(x,y)] with x >= 0 and y > 0:
[[0, 1, 1], [1, 1, -4], [1, 2, 29], [2, 1, -43], [3, 4, -23]]

a = 7
bound = 49
[x,y,F_a(x,y)] with x >= 0 and y > 0:
[[0, 1, 1], [1, 1, -4], [1, 2, 35], [2, 1, -49], [10, 13, -49]]

a = 8
bound = 55
[x,y,F_a(x,y)] with x >= 0 and y > 0:
[[0, 1, 1], [1, 1, -4], [1, 2, 41], [2, 1, -55]]

a = 9
bound = 61
[x,y,F_a(x,y)] with x >= 0 and y > 0:
[[0, 1, 1], [1, 1, -4], [1, 2, 47], [2, 1, -61]]

a = 10
bound = 67
[x,y,F_a(x,y)] with x >= 0 and y > 0:
[[0, 1, 1], [1, 1, -4], [1, 2, 53], [2, 1, -67]]

a = 11
bound = 73
[x,y,F_a(x,y)] with x >= 0 and y > 0:
[[0, 1, 1], [1, 1, -4], [1, 2, 59], [2, 1, -73]]

a = 12
bound = 79
[x,y,F_a(x,y)] with x >= 0 and y > 0:
[[0, 1, 1], [1, 1, -4], [1, 2, 65], [2, 1, -79]]

a = 13
bound = 85
[x,y,F_a(x,y)] with x >= 0 and y > 0:
[[0, 1, 1], [1, 1, -4], [1, 2, 71], [2, 1, -85]]

a = 14
bound = 91
[x,y,F_a(x,y)] with x >= 0 and y > 0:
[[0, 1, 1], [1, 1, -4], [1, 2, 77], [2, 1, -91]]

a = 15
bound = 97
[x,y,F_a(x,y)] with x >= 0 and y > 0:
[[0, 1, 1], [1, 1, -4], [1, 2, 83], [2, 1, -97]]

a = 16
bound = 103
[x,y,F_a(x,y)] with x >= 0 and y > 0:
[[0, 1, 1], [1, 1, -4], [1, 2, 89], [2, 1, -103]]

a = 17
bound = 109
[x,y,F_a(x,y)] with x >= 0 and y > 0:
[[0, 1, 1], [1, 1, -4], [1, 2, 95], [2, 1, -109]]

a = 18
bound = 115
[x,y,F_a(x,y)] with x >= 0 and y > 0:
[[0, 1, 1], [1, 1, -4], [1, 2, 101], [2, 1, -115]]

a = 19
bound = 121
[x,y,F_a(x,y)] with x >= 0 and y > 0:
[[0, 1, 1], [1, 1, -4], [1, 2, 107], [2, 1, -121]]

a = 20
bound = 127
[x,y,F_a(x,y)] with x >= 0 and y > 0:
[[0, 1, 1], [1, 1, -4], [1, 2, 113], [2, 1, -127]]

a = 21
bound = 133
[x,y,F_a(x,y)] with x >= 0 and y > 0:
[[0, 1, 1], [1, 1, -4], [1, 2, 119], [2, 1, -133]]

a = 22
bound = 139
[x,y,F_a(x,y)] with x >= 0 and y > 0:
[[0, 1, 1], [1, 1, -4], [1, 2, 125], [2, 1, -139]]

a = 23
bound = 145
[x,y,F_a(x,y)] with x >= 0 and y > 0:
[[0, 1, 1], [1, 1, -4], [1, 2, 131], [2, 1, -145]]

a = 24
bound = 151
[x,y,F_a(x,y)] with x >= 0 and y > 0:
[[0, 1, 1], [1, 1, -4], [1, 2, 137], [2, 1, -151]]

a = 25
bound = 157
[x,y,F_a(x,y)] with x >= 0 and y > 0:
[[0, 1, 1], [1, 1, -4], [1, 2, 143], [2, 1, -157]]

a = 26
bound = 163
[x,y,F_a(x,y)] with x >= 0 and y > 0:
[[0, 1, 1], [1, 1, -4], [1, 2, 149], [2, 1, -163]]

a = 27
bound = 169
[x,y,F_a(x,y)] with x >= 0 and y > 0:
[[0, 1, 1], [1, 1, -4], [1, 2, 155], [2, 1, -169]]

a = 28
bound = 175
[x,y,F_a(x,y)] with x >= 0 and y > 0:
[[0, 1, 1], [1, 1, -4], [1, 2, 161], [2, 1, -175]]

a = 29
bound = 181
[x,y,F_a(x,y)] with x >= 0 and y > 0:
[[0, 1, 1], [1, 1, -4], [1, 2, 167], [2, 1, -181]]

a = 30
bound = 187
[x,y,F_a(x,y)] with x >= 0 and y > 0:
[[0, 1, 1], [1, 1, -4], [1, 2, 173], [2, 1, -187]]

a = 31
bound = 193
[x,y,F_a(x,y)] with x >= 0 and y > 0:
[[0, 1, 1], [1, 1, -4], [1, 2, 179], [2, 1, -193]]

a = 32
bound = 199
[x,y,F_a(x,y)] with x >= 0 and y > 0:
[[0, 1, 1], [1, 1, -4], [1, 2, 185], [2, 1, -199]]

a = 33
bound = 205
[x,y,F_a(x,y)] with x >= 0 and y > 0:
[[0, 1, 1], [1, 1, -4], [1, 2, 191], [2, 1, -205]]

a = 34
bound = 211
[x,y,F_a(x,y)] with x >= 0 and y > 0:
[[0, 1, 1], [1, 1, -4], [1, 2, 197], [2, 1, -211]]

a = 35
bound = 217
[x,y,F_a(x,y)] with x >= 0 and y > 0:
[[0, 1, 1], [1, 1, -4], [1, 2, 203], [2, 1, -217]]

a = 36
bound = 223
[x,y,F_a(x,y)] with x >= 0 and y > 0:
[[0, 1, 1], [1, 1, -4], [1, 2, 209], [2, 1, -223]]

a = 37
bound = 229
[x,y,F_a(x,y)] with x >= 0 and y > 0:
[[0, 1, 1], [1, 1, -4], [1, 2, 215], [2, 1, -229]]

a = 38
bound = 235
[x,y,F_a(x,y)] with x >= 0 and y > 0:
[[0, 1, 1], [1, 1, -4], [1, 2, 221], [2, 1, -235]]

a = 39
bound = 241
[x,y,F_a(x,y)] with x >= 0 and y > 0:
[[0, 1, 1], [1, 1, -4], [1, 2, 227], [2, 1, -241]]

a = 40
bound = 247
[x,y,F_a(x,y)] with x >= 0 and y > 0:
[[0, 1, 1], [1, 1, -4], [1, 2, 233], [2, 1, -247]]

a = 41
bound = 253
[x,y,F_a(x,y)] with x >= 0 and y > 0:
[[0, 1, 1], [1, 1, -4], [1, 2, 239], [2, 1, -253]]

a = 42
bound = 259
[x,y,F_a(x,y)] with x >= 0 and y > 0:
[[0, 1, 1], [1, 1, -4], [1, 2, 245], [2, 1, -259]]

a = 43
bound = 265
[x,y,F_a(x,y)] with x >= 0 and y > 0:
[[0, 1, 1], [1, 1, -4], [1, 2, 251], [2, 1, -265]]

a = 44
bound = 271
[x,y,F_a(x,y)] with x >= 0 and y > 0:
[[0, 1, 1], [1, 1, -4], [1, 2, 257], [2, 1, -271]]

a = 45
bound = 277
[x,y,F_a(x,y)] with x >= 0 and y > 0:
[[0, 1, 1], [1, 1, -4], [1, 2, 263], [2, 1, -277]]

a = 46
bound = 283
[x,y,F_a(x,y)] with x >= 0 and y > 0:
[[0, 1, 1], [1, 1, -4], [1, 2, 269], [2, 1, -283]]

a = 47
bound = 289
[x,y,F_a(x,y)] with x >= 0 and y > 0:
[[0, 1, 1], [1, 1, -4], [1, 2, 275], [2, 1, -289]]

a = 48
bound = 295
[x,y,F_a(x,y)] with x >= 0 and y > 0:
[[0, 1, 1], [1, 1, -4], [1, 2, 281], [2, 1, -295]]

a = 49
bound = 301
[x,y,F_a(x,y)] with x >= 0 and y > 0:
[[0, 1, 1], [1, 1, -4], [1, 2, 287], [2, 1, -301]]

a = 50
bound = 307
[x,y,F_a(x,y)] with x >= 0 and y > 0:
[[0, 1, 1], [1, 1, -4], [1, 2, 293], [2, 1, -307]]

a = 51
bound = 313
[x,y,F_a(x,y)] with x >= 0 and y > 0:
[[0, 1, 1], [1, 1, -4], [1, 2, 299], [2, 1, -313]]

a = 52
bound = 319
[x,y,F_a(x,y)] with x >= 0 and y > 0:
[[0, 1, 1], [1, 1, -4], [1, 2, 305], [2, 1, -319]]

a = 53
bound = 325
[x,y,F_a(x,y)] with x >= 0 and y > 0:
[[0, 1, 1], [1, 1, -4], [1, 2, 311], [2, 1, -325]]

a = 54
bound = 331
[x,y,F_a(x,y)] with x >= 0 and y > 0:
[[0, 1, 1], [1, 1, -4], [1, 2, 317], [2, 1, -331]]

a = 55
bound = 337
[x,y,F_a(x,y)] with x >= 0 and y > 0:
[[0, 1, 1], [1, 1, -4], [1, 2, 323], [2, 1, -337]]

a = 56
bound = 343
[x,y,F_a(x,y)] with x >= 0 and y > 0:
[[0, 1, 1], [1, 1, -4], [1, 2, 329], [2, 1, -343]]

a = 57
bound = 349
[x,y,F_a(x,y)] with x >= 0 and y > 0:
[[0, 1, 1], [1, 1, -4], [1, 2, 335], [2, 1, -349]]