[56, 46, [39, 3]]
[63, 1, [18, 6]]
[118, 118, [57, 3]]
[144, 12, [12, 12]]
[104, 1, [63, 3]]
[108, 84, [57, 3]]
[92, 1, [63, 3]]
[98, 1, [16, 8]]
[37, 136, [40, 4]]
[148, 1, [72, 2]]
[156, 28, [12, 12]]
[4, 1, [5, 5]]
[64, 108, [18, 6]]
[107, 126, [18, 6]]
[12, 12, [12, 12]]
[178, 36, [14, 14]]
[95, 98, [16, 8]]
[148, 0, [72, 2]]
[107, 37, [18, 6]]
[104, 53, [63, 3]]
[11, 7, [9, 3]]
[92, 58, [63, 3]]
[136, 0, [40, 4]]
[156, 0, [30, 6]]
[161, 36, [14, 14]]
[144, 0, [30, 6]]
[1, 0, [128]]
[1, 0, [192]]
[1, 112, [114]]
[1, 126, [18, 6]]
[156, 1, [12, 12]]
[1, 1, [180]]
[1, 1, [192]]
[1, 3, [6]]
[1, 2, [3, 3]]
t^5 + t^3 + t^2
t^5 + t^4 + 1
t^4 + t^2 + 1
t^5 + t
2*t^5 + t^4 + t^3 + t
t^3 + 2*t^2 + 2
2*t^5 + 2*t^4 + 2*t^3 + 2*t^2
2*t^5 + 2*t^2 + 1
3*t^5 + 3*t^4 + 2*t^3 + t^2 + 2*t + 3
2*t^4 + t^3 + 3*t
2*t^5 + t^4 + t^3 + 2*t^2
3*t^5 + 4*t^4 + 4*t^3 + 3*t^2 + 4
t
2*t^4 + 2*t^2 + 2*t + 1
4*t^3 + t + 1
[36893488147419103362, 36893488147419103362]
9688432087730133707
9688432087730133707
[0, 0, 0, 2, 0]:[2, 2]
[0, 0, 1, 2, 2]:[2, 2]
[0, 0, 2, 2, 2]:[2, 2]
[1, 2, 0, 2, 0]:[2, 2]
[1, 2, 1, 0, 2]:[2, 2]
[1, 2, 2, 1, 2]:[2, 2]
[2, 2, 0, 2, 0]:[2, 2]
[2, 2, 1, 1, 2]:[2, 2]
[2, 2, 2, 0, 2]:[2, 2]
[0, 0, 0, 1, 0]:[2, 2]
[0, 0, 0, 4, 0]:[4, 2]
[0, 0, 1, 1, 1]:[2, 2]
[0, 0, 1, 4, 1]:[4, 2]
[0, 0, 2, 1, 4]:[2, 2]
[0, 0, 2, 4, 4]:[4, 2]
[0, 0, 3, 1, 4]:[2, 2]
[0, 0, 3, 4, 4]:[4, 2]
[0, 0, 4, 1, 1]:[2, 2]
[0, 0, 4, 4, 1]:[4, 2]
[0, 1, 0, 1, 1]:[4, 2]
[0, 1, 0, 3, 0]:[2, 2]
[0, 1, 1, 1, 2]:[4, 2]
[0, 1, 1, 3, 1]:[2, 2]
[0, 1, 2, 1, 0]:[4, 2]
[0, 1, 2, 3, 4]:[2, 2]
[0, 1, 3, 1, 0]:[4, 2]
[0, 1, 3, 3, 4]:[2, 2]
[0, 1, 4, 1, 2]:[4, 2]
[0, 1, 4, 3, 1]:[2, 2]
[0, 2, 0, 2, 0]:[4, 2]
[0, 2, 0, 4, 3]:[2, 2]
[0, 2, 1, 2, 1]:[4, 2]
[0, 2, 1, 4, 4]:[2, 2]
[0, 2, 2, 2, 4]:[4, 2]
[0, 2, 2, 4, 2]:[2, 2]
[0, 2, 3, 2, 4]:[4, 2]
[0, 2, 3, 4, 2]:[2, 2]
[0, 2, 4, 2, 1]:[4, 2]
[0, 2, 4, 4, 4]:[2, 2]
[0, 3, 0, 2, 0]:[4, 2]
[0, 3, 0, 4, 2]:[2, 2]
[0, 3, 1, 2, 1]:[4, 2]
[0, 3, 1, 4, 3]:[2, 2]
[0, 3, 2, 2, 4]:[4, 2]
[0, 3, 2, 4, 1]:[2, 2]
[0, 3, 3, 2, 4]:[4, 2]
[0, 3, 3, 4, 1]:[2, 2]
[0, 3, 4, 2, 1]:[4, 2]
[0, 3, 4, 4, 3]:[2, 2]
[0, 4, 0, 1, 4]:[4, 2]
[0, 4, 0, 3, 0]:[2, 2]
[0, 4, 1, 1, 0]:[4, 2]
[0, 4, 1, 3, 1]:[2, 2]
[0, 4, 2, 1, 3]:[4, 2]
[0, 4, 2, 3, 4]:[2, 2]
[0, 4, 3, 1, 3]:[4, 2]
[0, 4, 3, 3, 4]:[2, 2]
[0, 4, 4, 1, 0]:[4, 2]
[0, 4, 4, 3, 1]:[2, 2]
[1, 0, 0, 1, 4]:[4, 2]
[1, 0, 0, 3, 0]:[2, 2]
[1, 0, 1, 0, 1]:[2, 2]
[1, 0, 1, 3, 0]:[4, 2]
[1, 0, 2, 0, 3]:[4, 2]
[1, 0, 2, 2, 4]:[2, 2]
[1, 0, 3, 2, 3]:[4, 2]
[1, 0, 3, 4, 4]:[2, 2]
[1, 0, 4, 1, 1]:[2, 2]
[1, 0, 4, 4, 0]:[4, 2]
[1, 1, 0, 1, 0]:[2, 2]
[1, 1, 0, 4, 0]:[4, 2]
[1, 1, 1, 1, 1]:[4, 2]
[1, 1, 1, 3, 1]:[2, 2]
[1, 1, 2, 0, 4]:[2, 2]
[1, 1, 2, 3, 4]:[4, 2]
[1, 1, 3, 0, 4]:[4, 2]
[1, 1, 3, 2, 4]:[2, 2]
[1, 1, 4, 2, 1]:[4, 2]
[1, 1, 4, 4, 1]:[2, 2]
[1, 2, 0, 1, 1]:[4, 2]
[1, 2, 0, 3, 0]:[2, 2]
[1, 2, 1, 0, 1]:[2, 2]
[1, 2, 1, 3, 2]:[4, 2]
[1, 2, 2, 0, 0]:[4, 2]
[1, 2, 2, 2, 4]:[2, 2]
[1, 2, 3, 2, 0]:[4, 2]
[1, 2, 3, 4, 4]:[2, 2]
[1, 2, 4, 1, 1]:[2, 2]
[1, 2, 4, 4, 2]:[4, 2]
[1, 3, 0, 2, 0]:[4, 2]
[1, 3, 0, 4, 3]:[2, 2]
[1, 3, 1, 1, 4]:[2, 2]
[1, 3, 1, 4, 1]:[4, 2]
[1, 3, 2, 1, 4]:[4, 2]
[1, 3, 2, 3, 2]:[2, 2]
[1, 3, 3, 0, 2]:[2, 2]
[1, 3, 3, 3, 4]:[4, 2]
[1, 3, 4, 0, 1]:[4, 2]
[1, 3, 4, 2, 4]:[2, 2]
[1, 4, 0, 2, 0]:[4, 2]
[1, 4, 0, 4, 2]:[2, 2]
[1, 4, 1, 1, 3]:[2, 2]
[1, 4, 1, 4, 1]:[4, 2]
[1, 4, 2, 1, 4]:[4, 2]
[1, 4, 2, 3, 1]:[2, 2]
[1, 4, 3, 0, 1]:[2, 2]
[1, 4, 3, 3, 4]:[4, 2]
[1, 4, 4, 0, 1]:[4, 2]
[1, 4, 4, 2, 3]:[2, 2]
[2, 0, 0, 1, 1]:[4, 2]
[2, 0, 0, 3, 0]:[2, 2]
[2, 0, 1, 0, 2]:[4, 2]
[2, 0, 1, 2, 1]:[2, 2]
[2, 0, 2, 1, 4]:[2, 2]
[2, 0, 2, 4, 0]:[4, 2]
[2, 0, 3, 0, 4]:[2, 2]
[2, 0, 3, 3, 0]:[4, 2]
[2, 0, 4, 2, 2]:[4, 2]
[2, 0, 4, 4, 1]:[2, 2]
[2, 1, 0, 2, 0]:[4, 2]
[2, 1, 0, 4, 3]:[2, 2]
[2, 1, 1, 1, 1]:[4, 2]
[2, 1, 1, 3, 4]:[2, 2]
[2, 1, 2, 0, 4]:[4, 2]
[2, 1, 2, 2, 2]:[2, 2]
[2, 1, 3, 1, 2]:[2, 2]
[2, 1, 3, 4, 4]:[4, 2]
[2, 1, 4, 0, 4]:[2, 2]
[2, 1, 4, 3, 1]:[4, 2]
[2, 2, 0, 2, 0]:[4, 2]
[2, 2, 0, 4, 2]:[2, 2]
[2, 2, 1, 1, 1]:[4, 2]
[2, 2, 1, 3, 3]:[2, 2]
[2, 2, 2, 0, 4]:[4, 2]
[2, 2, 2, 2, 1]:[2, 2]
[2, 2, 3, 1, 1]:[2, 2]
[2, 2, 3, 4, 4]:[4, 2]
[2, 2, 4, 0, 3]:[2, 2]
[2, 2, 4, 3, 1]:[4, 2]
[2, 3, 0, 1, 4]:[4, 2]
[2, 3, 0, 3, 0]:[2, 2]
[2, 3, 1, 0, 0]:[4, 2]
[2, 3, 1, 2, 1]:[2, 2]
[2, 3, 2, 1, 4]:[2, 2]
[2, 3, 2, 4, 3]:[4, 2]
[2, 3, 3, 0, 4]:[2, 2]
[2, 3, 3, 3, 3]:[4, 2]
[2, 3, 4, 2, 0]:[4, 2]
[2, 3, 4, 4, 1]:[2, 2]
[2, 4, 0, 1, 0]:[2, 2]
[2, 4, 0, 4, 0]:[4, 2]
[2, 4, 1, 0, 1]:[2, 2]
[2, 4, 1, 3, 1]:[4, 2]
[2, 4, 2, 2, 4]:[4, 2]
[2, 4, 2, 4, 4]:[2, 2]
[2, 4, 3, 1, 4]:[4, 2]
[2, 4, 3, 3, 4]:[2, 2]
[2, 4, 4, 0, 1]:[4, 2]
[2, 4, 4, 2, 1]:[2, 2]
[3, 0, 0, 1, 1]:[4, 2]
[3, 0, 0, 3, 0]:[2, 2]
[3, 0, 1, 2, 2]:[4, 2]
[3, 0, 1, 4, 1]:[2, 2]
[3, 0, 2, 0, 4]:[2, 2]
[3, 0, 2, 3, 0]:[4, 2]
[3, 0, 3, 1, 4]:[2, 2]
[3, 0, 3, 4, 0]:[4, 2]
[3, 0, 4, 0, 2]:[4, 2]
[3, 0, 4, 2, 1]:[2, 2]
[3, 1, 0, 2, 0]:[4, 2]
[3, 1, 0, 4, 3]:[2, 2]
[3, 1, 1, 0, 4]:[2, 2]
[3, 1, 1, 3, 1]:[4, 2]
[3, 1, 2, 1, 2]:[2, 2]
[3, 1, 2, 4, 4]:[4, 2]
[3, 1, 3, 0, 4]:[4, 2]
[3, 1, 3, 2, 2]:[2, 2]
[3, 1, 4, 1, 1]:[4, 2]
[3, 1, 4, 3, 4]:[2, 2]
[3, 2, 0, 2, 0]:[4, 2]
[3, 2, 0, 4, 2]:[2, 2]
[3, 2, 1, 0, 3]:[2, 2]
[3, 2, 1, 3, 1]:[4, 2]
[3, 2, 2, 1, 1]:[2, 2]
[3, 2, 2, 4, 4]:[4, 2]
[3, 2, 3, 0, 4]:[4, 2]
[3, 2, 3, 2, 1]:[2, 2]
[3, 2, 4, 1, 1]:[4, 2]
[3, 2, 4, 3, 3]:[2, 2]
[3, 3, 0, 1, 4]:[4, 2]
[3, 3, 0, 3, 0]:[2, 2]
[3, 3, 1, 2, 0]:[4, 2]
[3, 3, 1, 4, 1]:[2, 2]
[3, 3, 2, 0, 4]:[2, 2]
[3, 3, 2, 3, 3]:[4, 2]
[3, 3, 3, 1, 4]:[2, 2]
[3, 3, 3, 4, 3]:[4, 2]
[3, 3, 4, 0, 0]:[4, 2]
[3, 3, 4, 2, 1]:[2, 2]
[3, 4, 0, 1, 0]:[2, 2]
[3, 4, 0, 4, 0]:[4, 2]
[3, 4, 1, 0, 1]:[4, 2]
[3, 4, 1, 2, 1]:[2, 2]
[3, 4, 2, 1, 4]:[4, 2]
[3, 4, 2, 3, 4]:[2, 2]
[3, 4, 3, 2, 4]:[4, 2]
[3, 4, 3, 4, 4]:[2, 2]
[3, 4, 4, 0, 1]:[2, 2]
[3, 4, 4, 3, 1]:[4, 2]
[4, 0, 0, 1, 4]:[4, 2]
[4, 0, 0, 3, 0]:[2, 2]
[4, 0, 1, 1, 1]:[2, 2]
[4, 0, 1, 4, 0]:[4, 2]
[4, 0, 2, 2, 3]:[4, 2]
[4, 0, 2, 4, 4]:[2, 2]
[4, 0, 3, 0, 3]:[4, 2]
[4, 0, 3, 2, 4]:[2, 2]
[4, 0, 4, 0, 1]:[2, 2]
[4, 0, 4, 3, 0]:[4, 2]
[4, 1, 0, 1, 0]:[2, 2]
[4, 1, 0, 4, 0]:[4, 2]
[4, 1, 1, 2, 1]:[4, 2]
[4, 1, 1, 4, 1]:[2, 2]
[4, 1, 2, 0, 4]:[4, 2]
[4, 1, 2, 2, 4]:[2, 2]
[4, 1, 3, 0, 4]:[2, 2]
[4, 1, 3, 3, 4]:[4, 2]
[4, 1, 4, 1, 1]:[4, 2]
[4, 1, 4, 3, 1]:[2, 2]
[4, 2, 0, 1, 1]:[4, 2]
[4, 2, 0, 3, 0]:[2, 2]
[4, 2, 1, 1, 1]:[2, 2]
[4, 2, 1, 4, 2]:[4, 2]
[4, 2, 2, 2, 0]:[4, 2]
[4, 2, 2, 4, 4]:[2, 2]
[4, 2, 3, 0, 0]:[4, 2]
[4, 2, 3, 2, 4]:[2, 2]
[4, 2, 4, 0, 1]:[2, 2]
[4, 2, 4, 3, 2]:[4, 2]
[4, 3, 0, 2, 0]:[4, 2]
[4, 3, 0, 4, 3]:[2, 2]
[4, 3, 1, 0, 1]:[4, 2]
[4, 3, 1, 2, 4]:[2, 2]
[4, 3, 2, 0, 2]:[2, 2]
[4, 3, 2, 3, 4]:[4, 2]
[4, 3, 3, 1, 4]:[4, 2]
[4, 3, 3, 3, 2]:[2, 2]
[4, 3, 4, 1, 4]:[2, 2]
[4, 3, 4, 4, 1]:[4, 2]
[4, 4, 0, 2, 0]:[4, 2]
[4, 4, 0, 4, 2]:[2, 2]
[4, 4, 1, 0, 1]:[4, 2]
[4, 4, 1, 2, 3]:[2, 2]
[4, 4, 2, 0, 1]:[2, 2]
[4, 4, 2, 3, 4]:[4, 2]
[4, 4, 3, 1, 4]:[4, 2]
[4, 4, 3, 3, 1]:[2, 2]
[4, 4, 4, 1, 3]:[2, 2]
[4, 4, 4, 4, 1]:[4, 2]
Total time spent: 84