# 
# 
@comment "a non-binary non-ternary quaternary matroid must contain U25-minor"

{
<U25
}