/* package whatever; // don't place package name! */
 
import java.util.*;
import java.lang.*;
import java.io.*;
import java.util.regex.*;
/* Name of the class has to be "Main" only if the class is public. */
class Ideone
{
	public static void main (String[] args) throws java.lang.Exception
	{
		String o = "sssssssssssssssssssssssddddddddddddddddddddddddddd";
        for (int i = 0; i < 5; i++) {
        	o += o;
        }
        o += "j";
 
        System.out.println(o.length());
        System.out.println(o.matches("(.)(?>.*?((?!\\1).))(?>.*?((?!\\1|\\2).))(?>.*?((?!\\1|\\2|\\3).)).*"));
        System.out.println(o.matches("^\\w*(\\w)\\w*(?!\\w*\\1)(\\w)\\w*(?!\\w*\\1|\\w*\\2)(\\w)\\w*(?!\\w*\\1|\\w*\\2|\\w*\\3)(\\w)\\w*(?!\\w*\\1|\\w*\\2|\\w*\\3|\\w*\\4)\\w*$"));
	}
}

LyogcGFja2FnZSB3aGF0ZXZlcjsgLy8gZG9uJ3QgcGxhY2UgcGFja2FnZSBuYW1lISAqLwoKaW1wb3J0IGphdmEudXRpbC4qOwppbXBvcnQgamF2YS5sYW5nLio7CmltcG9ydCBqYXZhLmlvLio7CmltcG9ydCBqYXZhLnV0aWwucmVnZXguKjsKLyogTmFtZSBvZiB0aGUgY2xhc3MgaGFzIHRvIGJlICJNYWluIiBvbmx5IGlmIHRoZSBjbGFzcyBpcyBwdWJsaWMuICovCmNsYXNzIElkZW9uZQp7CglwdWJsaWMgc3RhdGljIHZvaWQgbWFpbiAoU3RyaW5nW10gYXJncykgdGhyb3dzIGphdmEubGFuZy5FeGNlcHRpb24KCXsKCQlTdHJpbmcgbyA9ICJzc3Nzc3Nzc3Nzc3Nzc3Nzc3Nzc3Nzc2RkZGRkZGRkZGRkZGRkZGRkZGRkZGRkZGRkZCI7CiAgICAgICAgZm9yIChpbnQgaSA9IDA7IGkgPCA1OyBpKyspIHsKICAgICAgICAJbyArPSBvOwogICAgICAgIH0KICAgICAgICBvICs9ICJqIjsKICAgICAgICAKICAgICAgICBTeXN0ZW0ub3V0LnByaW50bG4oby5sZW5ndGgoKSk7CiAgICAgICAgU3lzdGVtLm91dC5wcmludGxuKG8ubWF0Y2hlcygiKC4pKD8+Lio/KCg/IVxcMSkuKSkoPz4uKj8oKD8hXFwxfFxcMikuKSkoPz4uKj8oKD8hXFwxfFxcMnxcXDMpLikpLioiKSk7CiAgICAgICAgU3lzdGVtLm91dC5wcmludGxuKG8ubWF0Y2hlcygiXlxcdyooXFx3KVxcdyooPyFcXHcqXFwxKShcXHcpXFx3Kig/IVxcdypcXDF8XFx3KlxcMikoXFx3KVxcdyooPyFcXHcqXFwxfFxcdypcXDJ8XFx3KlxcMykoXFx3KVxcdyooPyFcXHcqXFwxfFxcdypcXDJ8XFx3KlxcM3xcXHcqXFw0KVxcdyokIikpOwoJfQp9