[1, 1, 1]:1:[[1, 0]]
[1, 1, 1]:3:[[-1, 2]]
[1, 1, 1]:7:[[2, 1], [-3, 1]]
[1, 1, 1]:13:[[3, 1], [-4, 1]]
[1, 1, 1]:19:[[3, 2], [-5, 2]]
[1, 1, 1]:21:[[-4, -1], [5, -1]]
[1, 29, 271]:1:[[1, 0]]
[1, 29, 271]:61:[[-14, 1], [-15, 1]]
[1, 29, 271]:63:[[13, -1], [16, -1]]
[1, 29, 271]:67:[[-12, 1], [-17, 1]]
[1, 29, 271]:73:[[-11, 1], [-18, 1]]
[1, 29, 271]:81:[[10, -1], [19, -1]]
[1, 29, 271]:91:[[9, -1], [20, -1]]
[1, 29, 271]:103:[[-8, 1], [-21, 1]]
[1, 29, 271]:117:[[7, -1], [22, -1]]
[1, 29, 271]:133:[[6, -1], [23, -1]]
[1, 29, 271]:151:[[-5, 1], [-24, 1]]
[1, 29, 271]:171:[[4, -1], [25, -1]]
[1, 29, 271]:193:[[-3, 1], [-26, 1]]
[1, 29, 271]:217:[[2, -1], [27, -1]]
[1, 29, 271]:243:[[1, -1], [28, -1], [29, -2]]
[1, 29, 271]:247:[[-31, 2], [27, -2]]
[1, 29, 271]:259:[[-33, 2], [25, -2]]
[1, 29, 271]:271:[[0, 1], [-29, 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:[-14, 1]
[1, 29, 271]:63:[16, -1]
[1, 29, 271]:64:[8, 0]
[1, 29, 271]:67:[-12, 1]
[1, 29, 271]:73:[-11, 1]
[1, 29, 271]:81:[19, -1]
[1, 29, 271]:91:[9, -1]
[1, 29, 271]:100:[10, 0]
[1, 29, 271]:103:[-8, 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:[-5, 1]
[1, 29, 271]:169:[13, 0]
[1, 29, 271]:171:[25, -1]
[1, 29, 271]:193:[-3, 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:[-28, 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:[-24, 2]
[1, 29, 271]:271:[0, 1]
[1, 29, 271]:279:[-35, 2]
[1, 29, 271]:289:[17, 0]
[1, 29, 271]:292:[-22, 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:[[13, -1], [16, -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:[[9, 0], [10, -1], [19, -1]]
[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:[[7, -1], [22, -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:[[4, -1], [25, -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:[[1, -1], [28, -1], [29, -2]]
[1, 29, 271]:244:[[-30, 2], [-28, 2]]
[1, 29, 271]:247:[[-31, 2], [27, -2]]
[1, 29, 271]:252:[[26, -2], [32, -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], [-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], [-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], [1, 0]]
[3, 4, 5]:4:[[1, -1]]
[3, 4, 5]:5:[[0, 1]]
[3, 4, 5]:9:[[2, -1]]
[3, 4, 5]:12:[[-2, 0], [-1, -1], [2, 0]]
[3, 4, 5]:15:[[1, -2]]
[3, 4, 5]:16:[[2, -2]]
[3, 4, 5]:20:[[0, 2], [3, -1]]
[3, 4, 5]:23:[[-3, 2]]
[3, 4, 5]:25:[[-2, -1]]
[3, 4, 5]:27:[[-3, 0], [3, 0]]
[5, 1, -9]:-29:[[-401, -322], [1, 2]]
[5, 1, -9]:-27:[[-198, 137], [-23, 16]]
[5, 1, -9]:-25:[[-11, -9], [56, 45]]
[5, 1, -9]:-15:[[-61, -49], [-6, -5], [7, -5], [357, -247]]
[5, 1, -9]:-13:[[-529, 366], [4, -3]]
[5, 1, -9]:-11:[[-185, 128], [10, -7]]
[5, 1, -9]:-9:[[0, 1], [335, 269]]
[5, 1, -9]:-5:[[-1, 1], [604, 485]]
[5, 1, -9]:-3:[[-66, -53], [1, 1]]
[5, 1, -9]:-1:[[-13, 9]]
[5, 1, -9]:1:[[-5, -4]]
[5, 1, -9]:3:[[-3, 2], [172, -119]]
[5, 1, -9]:5:[[-269, -216], [1, 0]]
[5, 1, -9]:9:[[-873, 604], [2, -1]]
[5, 1, -9]:11:[[4, 3], [71, 57]]
[5, 1, -9]:13:[[-203, -163], [-2, -1]]
[5, 1, -9]:15:[[-159, 110], [-3, -2], [16, -11], [137, 110]]
[5, 1, -9]:25:[[-146, 101], [-29, 20]]
[5, 1, -9]:27:[[9, 7], [76, 61]]
[5, 1, -9]:29:[[-1045, 723], [5, -3]]
[5, 16, 7]:-29:[[-6, 11]]
[5, 16, 7]:-28:[[-7, 3], [-5, 9], [7, -13], [125, -239]]
[5, 16, 7]:-25:[[-4, 7], [8, -15]]
[5, 16, 7]:-23:[[3, -2], [45, -86]]
[5, 16, 7]:-20:[[-3, 5], [9, -17], [13, -5], [99, -37]]
[5, 16, 7]:-13:[[-10, 19], [-2, 3]]
[5, 16, 7]:-7:[[-5, 2], [91, -34]]
[5, 16, 7]:-5:[[-34, 65], [2, -1]]
[5, 16, 7]:-4:[[1, -1], [11, -21]]
[5, 16, 7]:-1:[[8, -3]]
[5, 16, 7]:1:[[-1, 2]]
[5, 16, 7]:4:[[-57, 109], [-3, 1]]
[5, 16, 7]:5:[[-23, 44], [1, 0]]
[5, 16, 7]:7:[[0, -1], [12, -23]]
[5, 16, 7]:13:[[-11, 4], [75, -28]]
[5, 16, 7]:20:[[1, -3], [13, -25], [19, -7], [67, -25]]
[5, 16, 7]:23:[[4, -1], [80, -153]]
[5, 16, 7]:25:[[27, -10], [59, -22]]
[5, 16, 7]:28:[[-35, 67], [1, 1], [35, -13], [51, -19]]
[5, 16, 7]:29:[[43, -16]]
[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:[24, -9]
[5, 16, 7]:-7:[-5, 2]
[5, 16, 7]:-5:[-34, 65]
[5, 16, 7]:-4:[1, -1]
[5, 16, 7]:-1:[8, -3]
[5, 16, 7]:1:[-1, 2]
[5, 16, 7]:4:[-57, 109]
[5, 16, 7]:5:[1, 0]
[5, 16, 7]:7:[12, -23]
[5, 16, 7]:9:[-3, 6]
[5, 16, 7]:13:[-11, 4]
[5, 16, 7]:16:[-114, 218]
[5, 16, 7]:20:[67, -25]
[5, 16, 7]:23:[4, -1]
[5, 16, 7]:25:[27, -10]
[5, 16, 7]:28:[51, -19]
[5, 16, 7]:29:[43, -16]
[5, 16, 7]:-29:[[-6, 11]]
[5, 16, 7]:-28:[[-10, 4], [-7, 3], [-5, 9], [7, -13], [125, -239], [182, -68
]]
[5, 16, 7]:-25:[[-4, 7], [8, -15], [40, -15]]
[5, 16, 7]:-23:[[3, -2], [45, -86]]
[5, 16, 7]:-20:[[-68, 130], [-3, 5], [4, -2], [9, -17], [13, -5], [99, -37]]
[5, 16, 7]:-16:[[2, -2], [22, -42], [32, -12]]
[5, 16, 7]:-13:[[-10, 19], [-2, 3]]
[5, 16, 7]:-9:[[24, -9]]
[5, 16, 7]:-7:[[-5, 2], [91, -34]]
[5, 16, 7]:-5:[[-34, 65], [2, -1]]
[5, 16, 7]:-4:[[1, -1], [11, -21], [16, -6]]
[5, 16, 7]:-1:[[8, -3]]
[5, 16, 7]:1:[[-1, 2]]
[5, 16, 7]:4:[[-57, 109], [-3, 1], [-2, 4]]
[5, 16, 7]:5:[[-23, 44], [1, 0]]
[5, 16, 7]:7:[[0, -1], [12, -23]]
[5, 16, 7]:9:[[-3, 6]]
[5, 16, 7]:13:[[-11, 4], [75, -28]]
[5, 16, 7]:16:[[-114, 218], [-6, 2], [-4, 8]]
[5, 16, 7]:20:[[-46, 88], [1, -3], [2, 0], [13, -25], [19, -7], [67, -25]]
[5, 16, 7]:23:[[4, -1], [80, -153]]
[5, 16, 7]:25:[[-5, 10], [27, -10], [59, -22]]
[5, 16, 7]:28:[[-35, 67], [0, -2], [1, 1], [24, -46], [35, -13], [51, -19]]
[5, 16, 7]:29:[[43, -16]]
[-16382350221535464479, 8479443857936402504]
[[-18446744073709551616, -1], [-16382350221535464479, 8479443857936402504], 
[16382350221535464479, 8479443857936402504], [18446744073709551616, -1]]
[-16382350221535464479, 8479443857936402504]
[[-18446744073709551616, -1], [-16382350221535464479, 8479443857936402504], 
[16382350221535464479, 8479443857936402504], [18446744073709551616, -1]]
[]
[[-4, -1], [4, -1]]
[8, 7]
[]
[20, 6]
[10547339, 694995]
[3, [0, 2]]
[7, [5, 1]]
[13, [7, 1]]
[19, [8, 2]]
[31, [11, 1]]
[37, [11, 3]]
[43, [13, 1]]
[61, [14, 4]]
[67, [16, 2]]
[73, [17, 1]]
[79, [17, 3]]
[97, [19, 3]]
[1009, [0, 1]]
[1013, [2, 1]]
[1109, [10, 1]]
[1153, [12, 1]]
[1409, [20, 1]]
[1493, [22, 1]]
[2609, [40, 1]]
[3313, [48, 1]]
[4157, [11, 2]]
[4261, [15, 2]]
[4373, [58, 1]]
[4397, [19, 2]]
[4877, [29, 2]]
[5261, [35, 2]]
[5557, [39, 2]]
[5717, [41, 2]]
[6637, [51, 2]]
[7517, [59, 2]]
[7757, [61, 2]]
[8753, [88, 1]]
[9109, [90, 1]]
[9181, [10, 3]]
[9277, [14, 3]]
[9337, [16, 3]]
[9473, [92, 1]]
[9661, [75, 2]]
[]
[]
  ***   at top-level: qfbsolve(Qfb(1,0,1),1,4)
  ***                 ^------------------------
  *** qfbsolve: invalid flag in qfbsolve.
Total time spent: 1319
