p=3: multiple with rows (g_0, x^123 y^1, 1 x^0 y^3, g_B y^4): #terms(g_0)=87 #terms(g_B)=87 ; ord_roots(g_0)=1 (h_1=1) same at 4 roots: True ; leading coefficients cancel: True  -> OK
p=3: multiple with rows (g_0, x^0 y^1, 1 x^123 y^3, g_B y^4): #terms(g_0)=87 #terms(g_B)=87 ; ord_roots(g_0)=1 (h_1=1) same at 4 roots: True ; leading coefficients cancel: True  -> OK
p=3: examples found: 2, consistent with Section 5.1: 2
p=5: multiple with rows (g_0, x^65 y^1, 4 x^0 y^2, g_B y^3): #terms(g_0)=57 #terms(g_B)=57 ; ord_roots(g_0)=1 (h_1=1) same at 4 roots: True ; leading coefficients cancel: True  -> OK
p=5: multiple with rows (g_0, x^0 y^1, 4 x^65 y^2, g_B y^3): #terms(g_0)=57 #terms(g_B)=57 ; ord_roots(g_0)=1 (h_1=1) same at 4 roots: True ; leading coefficients cancel: True  -> OK
p=5: examples found: 2, consistent with Section 5.1: 2
p=7: multiple with rows (g_0, x^120 y^1, 6 x^0 y^2, g_B y^3): #terms(g_0)=97 #terms(g_B)=97 ; ord_roots(g_0)=1 (h_1=1) same at 4 roots: True ; leading coefficients cancel: True  -> OK
p=7: multiple with rows (g_0, x^0 y^1, 6 x^120 y^2, g_B y^3): #terms(g_0)=97 #terms(g_B)=97 ; ord_roots(g_0)=1 (h_1=1) same at 4 roots: True ; leading coefficients cancel: True  -> OK
p=7: examples found: 2, consistent with Section 5.1: 2
