/* 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
{
{
List<Boolean> deck = new ArrayList<Boolean>();
int hits = 9;
int size = 45;
for (int i = 1; i <= size; ++i) {
if (i <= hits) {
deck.add(true);
}
else {
deck.add(false);
}
}
List<Boolean> nvDeck = new ArrayList<Boolean>();
int nvSize = 41;
for (int i = 1; i <= nvSize; ++i) {
if (i <= hits) {
nvDeck.add(true);
}
else {
nvDeck.add(false);
}
}
int iterations = 1000000;
int successes = 0;
int failures = 0;
int draws = 6;
int nvDraws = 5;
for (int i = 1; i <= iterations; ++i) {
if (findHit(deck, draws)) {
successes++;
}
else {
if (findHitWithMull(nvDeck, nvDraws)) {
successes++;
}
else {
failures++;
}
}
}
System.
out.
println("SUCCEEDS " + ((float)successes
/(float)iterations
)*100.0 + "%"); }
private static boolean findHitWithMull(List<Boolean> deck, int draws) {
return findHit(deck, draws) ? true : findHit(deck, draws);
}
private static boolean findHit(List<Boolean> deck, int draws) {
for (int i = 0; i < draws; ++i) {
if (deck.get(i)) {
return true;
}
}
return false;
}
}
LyogcGFja2FnZSB3aGF0ZXZlcjsgLy8gZG9uJ3QgcGxhY2UgcGFja2FnZSBuYW1lISAqLwoKaW1wb3J0IGphdmEudXRpbC4qOwppbXBvcnQgamF2YS5sYW5nLio7CmltcG9ydCBqYXZhLmlvLio7CgovKiBOYW1lIG9mIHRoZSBjbGFzcyBoYXMgdG8gYmUgIk1haW4iIG9ubHkgaWYgdGhlIGNsYXNzIGlzIHB1YmxpYy4gKi8KY2xhc3MgSWRlb25lCnsKCXB1YmxpYyBzdGF0aWMgdm9pZCBtYWluIChTdHJpbmdbXSBhcmdzKSB0aHJvd3MgamF2YS5sYW5nLkV4Y2VwdGlvbgoJewoJCUxpc3Q8Qm9vbGVhbj4gZGVjayA9IG5ldyBBcnJheUxpc3Q8Qm9vbGVhbj4oKTsKCQlpbnQgaGl0cyA9IDk7CgkJaW50IHNpemUgPSA0NTsKCQkKCQlmb3IgKGludCBpID0gMTsgaSA8PSBzaXplOyArK2kpIHsKCQkJaWYgKGkgPD0gaGl0cykgewoJCQkJZGVjay5hZGQodHJ1ZSk7CgkJCX0KCQkJZWxzZSB7CgkJCQlkZWNrLmFkZChmYWxzZSk7CgkJCX0KCQl9CgkJCgkJTGlzdDxCb29sZWFuPiBudkRlY2sgPSBuZXcgQXJyYXlMaXN0PEJvb2xlYW4+KCk7CgkJaW50IG52U2l6ZSA9IDQxOwoJCQoJCWZvciAoaW50IGkgPSAxOyBpIDw9IG52U2l6ZTsgKytpKSB7CgkJCWlmIChpIDw9IGhpdHMpIHsKCQkJCW52RGVjay5hZGQodHJ1ZSk7CgkJCX0KCQkJZWxzZSB7CgkJCQludkRlY2suYWRkKGZhbHNlKTsKCQkJfQoJCX0KCQkKCQlpbnQgaXRlcmF0aW9ucyA9IDEwMDAwMDA7CgkJaW50IHN1Y2Nlc3NlcyA9IDA7CgkJaW50IGZhaWx1cmVzID0gMDsKCQkKCQlpbnQgZHJhd3MgPSA2OwoJCWludCBudkRyYXdzID0gNTsKCQkKCQlmb3IgKGludCBpID0gMTsgaSA8PSBpdGVyYXRpb25zOyArK2kpIHsKCQkJaWYgKGZpbmRIaXQoZGVjaywgZHJhd3MpKSB7CgkJCQlzdWNjZXNzZXMrKzsKCQkJfQoJCQllbHNlIHsKCQkJCWlmIChmaW5kSGl0V2l0aE11bGwobnZEZWNrLCBudkRyYXdzKSkgewoJCQkJCXN1Y2Nlc3NlcysrOwoJCQkJfQoJCQkJZWxzZSB7CgkJCQkJZmFpbHVyZXMrKzsKCQkJCX0KCQkJfQoJCX0KCQlTeXN0ZW0ub3V0LnByaW50bG4oIlNVQ0NFRURTICIgKyAoKGZsb2F0KXN1Y2Nlc3Nlcy8oZmxvYXQpaXRlcmF0aW9ucykqMTAwLjAgKyAiJSIpOwoJfQoJCglwcml2YXRlIHN0YXRpYyBib29sZWFuIGZpbmRIaXRXaXRoTXVsbChMaXN0PEJvb2xlYW4+IGRlY2ssIGludCBkcmF3cykgewoJCXJldHVybiBmaW5kSGl0KGRlY2ssIGRyYXdzKSA/IHRydWUgOiBmaW5kSGl0KGRlY2ssIGRyYXdzKTsKCX0KCQoJcHJpdmF0ZSBzdGF0aWMgYm9vbGVhbiBmaW5kSGl0KExpc3Q8Qm9vbGVhbj4gZGVjaywgaW50IGRyYXdzKSB7CgkJQ29sbGVjdGlvbnMuc2h1ZmZsZShkZWNrKTsKCQlmb3IgKGludCBpID0gMDsgaSA8IGRyYXdzOyArK2kpIHsKCQkJaWYgKGRlY2suZ2V0KGkpKSB7CgkJCQlyZXR1cm4gdHJ1ZTsKCQkJfQoJCX0KCQlyZXR1cm4gZmFsc2U7Cgl9Cn0=