import java.util.regex.Pattern;
class Test {
Pattern p = Pattern.compile("(?=^([0-9] *){9,12}[0-9]$)(?=^([0-9]+ ){0,3}[0-9]+$)^.*$");
System.
out.
println(p.
matcher("1234567 90").
matches()); // false System.
out.
println(p.
matcher("123 456 789 0123").
matches()); // true System.
out.
println(p.
matcher("123 456 789 01 23").
matches()); // false
}
}
aW1wb3J0IGphdmEudXRpbC5yZWdleC5QYXR0ZXJuOwoKY2xhc3MgVGVzdCB7CgoJcHVibGljIHN0YXRpYyB2b2lkIG1haW4gKFN0cmluZ1tdIGFyZ3MpIHRocm93cyBqYXZhLmxhbmcuRXhjZXB0aW9uIHsKCgkJUGF0dGVybiBwID0gUGF0dGVybi5jb21waWxlKCIoPz1eKFswLTldICopezksMTJ9WzAtOV0kKSg/PV4oWzAtOV0rICl7MCwzfVswLTldKyQpXi4qJCIpOwoJCVN5c3RlbS5vdXQucHJpbnRsbihwLm1hdGNoZXIoIjEyMzQ1NjcgOTAiKS5tYXRjaGVzKCkpOyAgICAgICAgLy8gZmFsc2UKCQlTeXN0ZW0ub3V0LnByaW50bG4ocC5tYXRjaGVyKCIxMjMgNDU2IDc4OSAwMTIzIikubWF0Y2hlcygpKTsgIC8vIHRydWUKCQlTeXN0ZW0ub3V0LnByaW50bG4ocC5tYXRjaGVyKCIxMjMgNDU2IDc4OSAwMSAyMyIpLm1hdGNoZXMoKSk7IC8vIGZhbHNlCgkJCgl9Cgp9