itettuvuiteffuvvfinduvnilfffinduvconsconsuvEttfinduvconsconsu2v2EfinduvEcompleteunilEttcompleteuconsvSEitefinduvEcompleteuSEffcliquenilEttcliqueconsuKEitecompleteuKEcliqueKEffchoicenilKEitecliqueKEKnilchoiceconsuSKEchoiceSconsuKEchoiceconsuSKEchoiceSKEfinduvconsconsu2v2EfinduvEcompleteuconsvSEcompleteuSEcompleteuconsvSEfinduvEcompleteuconsvSEitefinduvEcompleteuSEffcliqueconsuKEcliqueKEcliqueconsuKEcompleteuKEcliqueconsuKEitecompleteuKEcliqueKEffchoicenilKEcliqueKEchoicenilKEitecliqueKEKnilchoiceconsuSKEchoiceSconsuKEchoiceconsuSKEchoiceSKEtruechoiceconsuSKEchoiceSconsuKEchoiceconsuSKEchoiceSKEtrue1choice321220312cons2211210choiceconsuSKEchoiceSconsuKE1choice38112030cons221122choicenilKEitecliqueKEKnilfalsechoicenilKEcliqueKEfalsecliqueconsuKEcliqueKEtrue1clique251020cons2011211cliqueconsuKEitecompleteuKEcliqueKEfffalsecliqueconsuKEcompleteuKEfalsecompleteuconsvSEcompleteuSEtrue1complete30182038cons201122completeuconsvSEitefinduvEcompleteuSEfffalsecompleteuconsvSEfinduvEfalsefinduvconsconsu2v2EfinduvEtrue1find30102131cons221221