2A: tail 2: |Cl(y)| = 31775, |C(y)| = 1024, max_x tail(x,y) = 2 (claimed 2), match=True, time=0.1s
4A: tail 101: |Cl(y)| = 508400, |C(y)| = 64, max_x tail(x,y) = 101 (claimed 101), match=True, time=2.7s
T(q-1)^1 tail 303: |Cl(y)| = 1049600, |C(y)| = 31, max_x tail(x,y) = 303 (claimed 303), match=True, time=5.7s
T(q-1)^5 tail 442: |Cl(y)| = 1049600, |C(y)| = 31, max_x tail(x,y) = 442 (claimed 442), match=True, time=5.7s
T(41)^3 tail 334: |Cl(y)| = 793600, |C(y)| = 41, max_x tail(x,y) = 334 (claimed 334), match=True, time=4.3s
T(25)^1 tail 527: |Cl(y)| = 1301504, |C(y)| = 25, max_x tail(x,y) = 527 (claimed 527), match=True, time=7.1s
T(25)^2 tail 527: |Cl(y)| = 1301504, |C(y)| = 25, max_x tail(x,y) = 527 (claimed 527), match=True, time=7.1s
T(25)^5 tail 249: |Cl(y)| = 1301504, |C(y)| = 25, max_x tail(x,y) = 249 (claimed 249), match=True, time=7.1s
