[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:[[-23, 16], [-198, 137]]
[5, 1, -9]:-25:[[56, 45], [-11, -9]]
[5, 1, -9]:-15:[[7, -5], [-6, -5], [-61, -49], [357, -247]]
[5, 1, -9]:-13:[[-529, 366], [4, -3]]
[5, 1, -9]:-11:[[-185, 128], [10, -7]]
[5, 1, -9]:-9:[[335, 269], [0, 1]]
[5, 1, -9]:-5:[[604, 485], [-1, 1]]
[5, 1, -9]:-3:[[1, 1], [-66, -53]]
[5, 1, -9]:-1:[[-13, 9]]
[5, 1, -9]:1:[[-5, -4]]
[5, 1, -9]:3:[[172, -119], [-3, 2]]
[5, 1, -9]:5:[[1, 0], [-269, -216]]
[5, 1, -9]:9:[[2, -1], [-873, 604]]
[5, 1, -9]:11:[[4, 3], [71, 57]]
[5, 1, -9]:13:[[-2, -1], [-203, -163]]
[5, 1, -9]:15:[[137, 110], [-159, 110], [16, -11], [-3, -2]]
[5, 1, -9]:25:[[-29, 20], [-146, 101]]
[5, 1, -9]:27:[[76, 61], [9, 7]]
[5, 1, -9]:29:[[5, -3], [-1045, 723]]
[5, 16, 7]:-29:[[-6, 11]]
[5, 16, 7]:-28:[[-5, 9], [125, -239], [-7, 3], [7, -13]]
[5, 16, 7]:-25:[[8, -15], [-4, 7]]
[5, 16, 7]:-23:[[45, -86], [3, -2]]
[5, 16, 7]:-20:[[-3, 5], [13, -5], [99, -37], [9, -17]]
[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:[[1, 0], [-23, 44]]
[5, 16, 7]:7:[[12, -23], [0, -1]]
[5, 16, 7]:13:[[-11, 4], [75, -28]]
[5, 16, 7]:20:[[67, -25], [13, -25], [1, -3], [19, -7]]
[5, 16, 7]:23:[[4, -1], [80, -153]]
[5, 16, 7]:25:[[27, -10], [59, -22]]
[5, 16, 7]:28:[[51, -19], [1, 1], [-35, 67], [35, -13]]
[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:[[-5, 9], [125, -239], [-7, 3], [7, -13], [-10, 4], [182, -68
]]
[5, 16, 7]:-25:[[8, -15], [-4, 7], [40, -15]]
[5, 16, 7]:-23:[[45, -86], [3, -2]]
[5, 16, 7]:-20:[[-3, 5], [13, -5], [99, -37], [9, -17], [-68, 130], [4, -2]]
[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:[[1, 0], [-23, 44]]
[5, 16, 7]:7:[[12, -23], [0, -1]]
[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:[[67, -25], [13, -25], [1, -3], [19, -7], [2, 0], [-46, 88]]
[5, 16, 7]:23:[[4, -1], [80, -153]]
[5, 16, 7]:25:[[27, -10], [59, -22], [-5, 10]]
[5, 16, 7]:28:[[51, -19], [1, 1], [-35, 67], [35, -13], [24, -46], [0, -2]]
[5, 16, 7]:29:[[43, -16]]
[-16382350221535464479, 8479443857936402504]
[[-16382350221535464479, 8479443857936402504], [18446744073709551616, -1], [
-18446744073709551616, -1], [16382350221535464479, 8479443857936402504]]
[-16382350221535464479, 8479443857936402504]
[[-16382350221535464479, 8479443857936402504], [18446744073709551616, -1], [
-18446744073709551616, -1], [16382350221535464479, 8479443857936402504]]
[]
[[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: 1143
