import Data.List
where
countLower c
= genericLength
. filter (< c
)
fac 0 = 1
fac x = x * fac (x - 1)
aW1wb3J0ICAgICAgICAgICBEYXRhLkxpc3QKCm1haW4gOjogSU8gKCkKbWFpbiA9IGludGVyYWN0CiAgICAgJCB1bmxpbmVzCiAgICAgLiBtYXAgKHNob3cgLiBkaWN0SW5kZXgpCiAgICAgLiBsaW5lcwoKZGljdEluZGV4IDo6IE9yZCBhID0+IFthXSAtPiBJbnRlZ2VyCmRpY3RJbmRleCA9IHN1bQogICAgICAgICAgLiB6aXBXaXRoICgoKikgPCQ+IGZhYykgWzAuLl0KICAgICAgICAgIC4gcmV2ZXJzZQogICAgICAgICAgLiAoemlwV2l0aCBjb3VudExvd2VyIDwqPiB0YWlscykKICB3aGVyZQogICAgY291bnRMb3dlciA6OiBPcmQgYSA9PiBhIC0+IFthXSAtPiBJbnRlZ2VyCiAgICBjb3VudExvd2VyIGMgPSBnZW5lcmljTGVuZ3RoIC4gZmlsdGVyICg8IGMpCgpmYWMgOjogSW50ZWdlciAtPiBJbnRlZ2VyCmZhYyAwID0gMQpmYWMgeCA9IHggKiBmYWMgKHggLSAxKQ==
QXJnbwpQaGluZWFzClhlbm9waGlsdXMKdktiWVhaanpzeE1mY2w3RnU2a2FIV2hSUUUwaXFyOGRDcG9EZVVUdDJOQXduT1B5ZzUxSTQ5TG1WSlMzR0IKV25hb2p6TnY2cTFYclNiRDhPUjRGUUtlRVUwVlRnSFlNeEp5aVAzMm01SWNaN3V0d2xzaEFkQkxmQzlwR2sKQm9vbQpPcnRob2RveApBc3Nhc3NpbmF0aW9u
Argo
Phineas
Xenophilus
vKbYXZjzsxMfcl7Fu6kaHWhRQE0iqr8dCpoDeUTt2NAwnOPyg51I49LmVJS3GB
WnaojzNv6q1XrSbD8OR4FQKeEU0VTgHYMxJyiP32m5IcZ7utwlshAdBLfC9pGk
Boom
Orthodox
Assassination