Regelintervall^{16 051}