Alla korten med text samt Btor sortering.