p=5 t=2 (dual t^-1=3); x0=(1,0,0): #Hom(O,A)=25 #Hom(O,B)=25 -> counts agree; b3_canon equal: True
p=7 t=2 (dual t^-1=4); x0=(1,0,0): #Hom(O,A)=49 #Hom(O,B)=7 -> NOT isomorphic; b3_canon equal: False
p=7 t=3 (dual t^-1=5); x0=(1,0,0): #Hom(O,A)=49 #Hom(O,B)=49 -> counts agree; b3_canon equal: True
p=11 t=3 (dual t^-1=4); x0=(1,0,0): #Hom(O,A)=121 #Hom(O,B)=11 -> NOT isomorphic; b3_canon equal: not computed
p=13 t=2 (dual t^-1=7); x0=(1,0,0): #Hom(O,A)=169 #Hom(O,B)=13 -> NOT isomorphic; b3_canon equal: not computed
