DISJ

val DISJ: Int = 26