statusesf 1
greqf 1
allpairf 2
mprobef 2 strict=false
