tuttes theorem

Input interpretation

Tutte's theorem