/* package whatever; // don't place package name! */
import java.util.*;
import java.lang.*;
import java.io.*;
/* Name of the class has to be "Main" only if the class is public. */
class Ideone
{
public static void main
(String[] args
) {
permSub("abc", "");
}
{
if(s.isEmpty()) return;
for(int i=0; i<s.length(); i++)
permSub(s.substring(0, i)+s.substring(i+1), pre+s.charAt(i));
}
}
LyogcGFja2FnZSB3aGF0ZXZlcjsgLy8gZG9uJ3QgcGxhY2UgcGFja2FnZSBuYW1lISAqLwoKaW1wb3J0IGphdmEudXRpbC4qOwppbXBvcnQgamF2YS5sYW5nLio7CmltcG9ydCBqYXZhLmlvLio7CgovKiBOYW1lIG9mIHRoZSBjbGFzcyBoYXMgdG8gYmUgIk1haW4iIG9ubHkgaWYgdGhlIGNsYXNzIGlzIHB1YmxpYy4gKi8KY2xhc3MgSWRlb25lCnsKcHVibGljIHN0YXRpYyB2b2lkIG1haW4oU3RyaW5nW10gYXJncykKewogIHBlcm1TdWIoImFiYyIsICIiKTsKfQoKc3RhdGljIHZvaWQgcGVybVN1YihTdHJpbmcgcywgU3RyaW5nIHByZSkKeyAgICAKICBTeXN0ZW0ub3V0LnByaW50bG4ocHJlKTsgICAgCiAgaWYocy5pc0VtcHR5KCkpIHJldHVybjsKICBmb3IoaW50IGk9MDsgaTxzLmxlbmd0aCgpOyBpKyspCiAgICBwZXJtU3ViKHMuc3Vic3RyaW5nKDAsIGkpK3Muc3Vic3RyaW5nKGkrMSksIHByZStzLmNoYXJBdChpKSk7Cn0KfQ==