Karp reductions

artocarpanone calcimimetic cylindrosis eintrachts facultative heterotrophism formal-wear healthify high pressure turbo-charger high-mounted homosexualist line by line assembler Palaeocopida pirifibrate reflexive and transitive closure rocksburg sampling method signposting Sunch'ǒn-gun Xiyangguan year of the pig