[1, 1, 1]:1:[[1, 0]]
[1, 1, 1]:3:[[2, -1]]
[1, 1, 1]:7:[[-2, -1], [3, -1]]
[1, 1, 1]:13:[[-3, -1], [4, -1]]
[1, 1, 1]:19:[[-5, 2], [5, -3]]
[1, 1, 1]:21:[[5, -1], [-4, -1]]
[1, 29, 271]:1:[[1, 0]]
[1, 29, 271]:61:[[15, -1], [14, -1]]
[1, 29, 271]:63:[[16, -1], [13, -1]]
[1, 29, 271]:67:[[17, -1], [12, -1]]
[1, 29, 271]:73:[[18, -1], [11, -1]]
[1, 29, 271]:81:[[19, -1], [10, -1]]
[1, 29, 271]:91:[[9, -1], [20, -1]]
[1, 29, 271]:103:[[21, -1], [8, -1]]
[1, 29, 271]:117:[[22, -1], [7, -1]]
[1, 29, 271]:133:[[6, -1], [23, -1]]
[1, 29, 271]:151:[[24, -1], [5, -1]]
[1, 29, 271]:171:[[25, -1], [4, -1]]
[1, 29, 271]:193:[[26, -1], [3, -1]]
[1, 29, 271]:217:[[2, -1], [27, -1]]
[1, 29, 271]:243:[[28, -1], [29, -2], [1, -1]]
[1, 29, 271]:247:[[-31, 2], [27, -2]]
[1, 29, 271]:259:[[-33, 2], [25, -2]]
[1, 29, 271]:271:[[29, -1], [0, -1]]
[1, 29, 271]:279:[[-35, 2], [23, -2]]
[1, 29, 271]:1:[1, 0]
[1, 29, 271]:4:[2, 0]
[1, 29, 271]:9:[3, 0]
[1, 29, 271]:16:[4, 0]
[1, 29, 271]:25:[5, 0]
[1, 29, 271]:36:[6, 0]
[1, 29, 271]:49:[7, 0]
[1, 29, 271]:61:[15, -1]
[1, 29, 271]:63:[16, -1]
[1, 29, 271]:64:[8, 0]
[1, 29, 271]:67:[17, -1]
[1, 29, 271]:73:[18, -1]
[1, 29, 271]:81:[19, -1]
[1, 29, 271]:91:[9, -1]
[1, 29, 271]:100:[10, 0]
[1, 29, 271]:103:[21, -1]
[1, 29, 271]:117:[22, -1]
[1, 29, 271]:121:[11, 0]
[1, 29, 271]:133:[6, -1]
[1, 29, 271]:144:[12, 0]
[1, 29, 271]:151:[24, -1]
[1, 29, 271]:169:[13, 0]
[1, 29, 271]:171:[25, -1]
[1, 29, 271]:193:[26, -1]
[1, 29, 271]:196:[14, 0]
[1, 29, 271]:217:[2, -1]
[1, 29, 271]:225:[15, 0]
[1, 29, 271]:243:[28, -1]
[1, 29, 271]:244:[30, -2]
[1, 29, 271]:247:[-31, 2]
[1, 29, 271]:252:[32, -2]
[1, 29, 271]:256:[16, 0]
[1, 29, 271]:259:[-33, 2]
[1, 29, 271]:268:[34, -2]
[1, 29, 271]:271:[29, -1]
[1, 29, 271]:279:[-35, 2]
[1, 29, 271]:289:[17, 0]
[1, 29, 271]:292:[36, -2]
[1, 29, 271]:1:[[1, 0]]
[1, 29, 271]:4:[[2, 0]]
[1, 29, 271]:9:[[3, 0]]
[1, 29, 271]:16:[[4, 0]]
[1, 29, 271]:25:[[5, 0]]
[1, 29, 271]:36:[[6, 0]]
[1, 29, 271]:49:[[7, 0]]
[1, 29, 271]:61:[[15, -1], [14, -1]]
[1, 29, 271]:63:[[16, -1], [13, -1]]
[1, 29, 271]:64:[[8, 0]]
[1, 29, 271]:67:[[17, -1], [12, -1]]
[1, 29, 271]:73:[[18, -1], [11, -1]]
[1, 29, 271]:81:[[19, -1], [10, -1], [9, 0]]
[1, 29, 271]:91:[[9, -1], [20, -1]]
[1, 29, 271]:100:[[10, 0]]
[1, 29, 271]:103:[[21, -1], [8, -1]]
[1, 29, 271]:117:[[22, -1], [7, -1]]
[1, 29, 271]:121:[[11, 0]]
[1, 29, 271]:133:[[6, -1], [23, -1]]
[1, 29, 271]:144:[[12, 0]]
[1, 29, 271]:151:[[24, -1], [5, -1]]
[1, 29, 271]:169:[[13, 0]]
[1, 29, 271]:171:[[25, -1], [4, -1]]
[1, 29, 271]:193:[[26, -1], [3, -1]]
[1, 29, 271]:196:[[14, 0]]
[1, 29, 271]:217:[[2, -1], [27, -1]]
[1, 29, 271]:225:[[15, 0]]
[1, 29, 271]:243:[[28, -1], [29, -2], [1, -1]]
[1, 29, 271]:244:[[30, -2], [28, -2]]
[1, 29, 271]:247:[[-31, 2], [27, -2]]
[1, 29, 271]:252:[[32, -2], [26, -2]]
[1, 29, 271]:256:[[16, 0]]
[1, 29, 271]:259:[[-33, 2], [25, -2]]
[1, 29, 271]:268:[[34, -2], [24, -2]]
[1, 29, 271]:271:[[29, -1], [0, -1]]
[1, 29, 271]:279:[[-35, 2], [23, -2]]
[1, 29, 271]:289:[[17, 0]]
[1, 29, 271]:292:[[36, -2], [22, -2]]
[2, 1, 3]:2:[[1, 0]]
[2, 1, 3]:3:[[0, -1]]
[2, 1, 3]:4:[[1, -1]]
[2, 1, 3]:6:[[-1, -1]]
[2, 1, 3]:9:[[2, -1]]
[2, 1, 3]:12:[[-1, 2]]
[2, 1, 3]:13:[[-2, -1]]
[2, 1, 3]:16:[[-1, -2]]
[2, 1, 3]:18:[[3, -1]]
[2, 1, 3]:24:[[-3, -1], [-3, 2]]
[2, 1, 3]:26:[[-1, 3]]
[2, 1, 3]:29:[[2, -3]]
[3, 4, 5]:3:[[1, 0]]
[3, 4, 5]:4:[[1, -1]]
[3, 4, 5]:5:[[0, -1]]
[3, 4, 5]:9:[[2, -1]]
[3, 4, 5]:12:[[-1, -1]]
[3, 4, 5]:15:[[1, -2]]
[3, 4, 5]:20:[[3, -1]]
[3, 4, 5]:23:[[-3, 2]]
[3, 4, 5]:25:[[-2, -1]]
[3, 4, 5]:3:[1, 0]
[3, 4, 5]:4:[1, -1]
[3, 4, 5]:5:[0, -1]
[3, 4, 5]:9:[2, -1]
[3, 4, 5]:12:[-1, -1]
[3, 4, 5]:15:[1, -2]
[3, 4, 5]:16:[2, -2]
[3, 4, 5]:20:[3, -1]
[3, 4, 5]:23:[-3, 2]
[3, 4, 5]:25:[-2, -1]
[3, 4, 5]:27:[3, 0]
[3, 4, 5]:3:[[1, 0]]
[3, 4, 5]:4:[[1, -1]]
[3, 4, 5]:5:[[0, -1]]
[3, 4, 5]:9:[[2, -1]]
[3, 4, 5]:12:[[-1, -1], [2, 0]]
[3, 4, 5]:15:[[1, -2]]
[3, 4, 5]:16:[[2, -2]]
[3, 4, 5]:20:[[3, -1], [0, -2]]
[3, 4, 5]:23:[[-3, 2]]
[3, 4, 5]:25:[[-2, -1]]
[3, 4, 5]:27:[[3, 0]]
[5, 1, -9]:-29:[[-401, -322], [1, 2]]
[5, 1, -9]:-27:[[-99157, -79621], [-11547, -9272]]
[5, 1, -9]:-25:[[56, 45], [-11, -9]]
[5, 1, -9]:-15:[[178778, 143555], [-6, -5], [-61, -49], [3558, 2857]]
[5, 1, -9]:-13:[[-2081, -1671], [264911, 212718]]
[5, 1, -9]:-11:[[-5035, -4043], [92645, 74392]]
[5, 1, -9]:-9:[[335, 269], [0, 1]]
[5, 1, -9]:-5:[[604, 485], [-351044, -281881]]
[5, 1, -9]:-3:[[1, 1], [-66, -53]]
[5, 1, -9]:-1:[[-6512, -5229]]
[5, 1, -9]:1:[[-5, -4]]
[5, 1, -9]:3:[[-1477, -1186], [86133, 69163]]
[5, 1, -9]:5:[[1, 0], [-269, -216]]
[5, 1, -9]:9:[[-437177, -351044], [873, 701]]
[5, 1, -9]:11:[[4, 3], [71, 57]]
[5, 1, -9]:13:[[-2, -1], [-203, -163]]
[5, 1, -9]:15:[[137, 110], [7989, 6415], [-79621, -63934], [-3, -2]]
[5, 1, -9]:25:[[73109, 58705], [14501, 11644]]
[5, 1, -9]:27:[[76, 61], [9, 7]]
[5, 1, -9]:29:[[-523310, -420207], [2350, 1887]]
[5, 16, 7]:-29:[[-6, 11]]
[5, 16, 7]:-28:[[-5, 9], [125, -239], [4907, -9383], [7, -13]]
[5, 16, 7]:-25:[[8, -15], [-4, 7]]
[5, 16, 7]:-23:[[45, -86], [3, -2]]
[5, 16, 7]:-20:[[-3, 5], [-1833, 3505], [-239, 457], [9, -17]]
[5, 16, 7]:-13:[[-10, 19], [-2, 3]]
[5, 16, 7]:-7:[[1685, -3222], [-91, 174]]
[5, 16, 7]:-5:[[-34, 65], [-3222, 6161]]
[5, 16, 7]:-4:[[1, -1], [11, -21]]
[5, 16, 7]:-1:[[-148, 283]]
[5, 16, 7]:1:[[-1, 2]]
[5, 16, 7]:4:[[-57, 109], [-1537, 2939]]
[5, 16, 7]:5:[[4759, -9100], [-23, 44]]
[5, 16, 7]:7:[[12, -23], [0, -1]]
[5, 16, 7]:13:[[-1389, 2656], [205, -392]]
[5, 16, 7]:20:[[353, -675], [13, -25], [1, -3], [1241, -2373]]
[5, 16, 7]:23:[[6296, -12039], [80, -153]]
[5, 16, 7]:25:[[1093, -2090], [501, -958]]
[5, 16, 7]:28:[[649, -1241], [1, 1], [-35, 67], [945, -1807]]
[5, 16, 7]:29:[[797, -1524]]
[5, 16, 7]:-29:[-6, 11]
[5, 16, 7]:-28:[-5, 9]
[5, 16, 7]:-25:[8, -15]
[5, 16, 7]:-23:[45, -86]
[5, 16, 7]:-20:[-3, 5]
[5, 16, 7]:-16:[2, -2]
[5, 16, 7]:-13:[-10, 19]
[5, 16, 7]:-9:[-444, 849]
[5, 16, 7]:-7:[1685, -3222]
[5, 16, 7]:-5:[-34, 65]
[5, 16, 7]:-4:[1, -1]
[5, 16, 7]:-1:[-148, 283]
[5, 16, 7]:1:[-1, 2]
[5, 16, 7]:4:[-57, 109]
[5, 16, 7]:5:[4759, -9100]
[5, 16, 7]:7:[12, -23]
[5, 16, 7]:9:[-3, 6]
[5, 16, 7]:13:[-1389, 2656]
[5, 16, 7]:16:[-114, 218]
[5, 16, 7]:20:[353, -675]
[5, 16, 7]:23:[6296, -12039]
[5, 16, 7]:25:[1093, -2090]
[5, 16, 7]:28:[649, -1241]
[5, 16, 7]:29:[797, -1524]
[5, 16, 7]:-29:[[-6, 11]]
[5, 16, 7]:-28:[[-5, 9], [125, -239], [4907, -9383], [7, -13], [3370, -6444]
, [-182, 348]]
[5, 16, 7]:-25:[[8, -15], [-4, 7], [-740, 1415]]
[5, 16, 7]:-23:[[45, -86], [3, -2]]
[5, 16, 7]:-20:[[-3, 5], [-1833, 3505], [-239, 457], [9, -17], [-68, 130], [
-6444, 12322]]
[5, 16, 7]:-16:[[2, -2], [22, -42], [-592, 1132]]
[5, 16, 7]:-13:[[-10, 19], [-2, 3]]
[5, 16, 7]:-9:[[-444, 849]]
[5, 16, 7]:-7:[[1685, -3222], [-91, 174]]
[5, 16, 7]:-5:[[-34, 65], [-3222, 6161]]
[5, 16, 7]:-4:[[1, -1], [11, -21], [-296, 566]]
[5, 16, 7]:-1:[[-148, 283]]
[5, 16, 7]:1:[[-1, 2]]
[5, 16, 7]:4:[[-57, 109], [-1537, 2939], [-2, 4]]
[5, 16, 7]:5:[[4759, -9100], [-23, 44]]
[5, 16, 7]:7:[[12, -23], [0, -1]]
[5, 16, 7]:9:[[-3, 6]]
[5, 16, 7]:13:[[-1389, 2656], [205, -392]]
[5, 16, 7]:16:[[-114, 218], [-3074, 5878], [-4, 8]]
[5, 16, 7]:20:[[353, -675], [13, -25], [1, -3], [1241, -2373], [9518, -18200
], [-46, 88]]
[5, 16, 7]:23:[[6296, -12039], [80, -153]]
[5, 16, 7]:25:[[1093, -2090], [501, -958], [-5, 10]]
[5, 16, 7]:28:[[649, -1241], [1, 1], [-35, 67], [945, -1807], [24, -46], [0,
 -2]]
[5, 16, 7]:29:[[797, -1524]]
[-16382350221535464479, 8479443857936402504]
[[-16382350221535464479, 8479443857936402504], [18446744073709551616, -1], [
-18446744073709551616, -1], [16382350221535464479, 8479443857936402504]]
[-16382350221535464479, 8479443857936402504]
[[-16382350221535464479, 8479443857936402504], [18446744073709551616, -1], [
-18446744073709551616, -1], [16382350221535464479, 8479443857936402504]]
[]
[[4, -1], [-4, -1]]
[]
[]
  ***   at top-level: qfbsolve(Qfb(1,0,1),1,4)
  ***                 ^------------------------
  *** qfbsolve: invalid flag in qfbsolve.
Total time spent: 1052
