itettuvuiteffuvvfinduvnilfffinduvconsconsuvEttfinduvconsconsu2v2EfinduvEcompleteunilEttcompleteuconsvSEitefinduvEcompleteuSEffcliquenilEttcliqueconsuKEitecompleteuKEcliqueKEffchoicenilKEitecliqueKEKnilchoiceconsuSKEchoiceSconsuKEchoiceconsuSKEchoiceSKEfinduvconsconsu2v2EfinduvEcompleteuconsvSEcompleteuSEcompleteuconsvSEfinduvEcompleteuconsvSEitefinduvEcompleteuSEffcliqueconsuKEcliqueKEcliqueconsuKEcompleteuKEcliqueconsuKEitecompleteuKEcliqueKEffchoicenilKEcliqueKEchoicenilKEitecliqueKEKnilchoiceconsuSKEchoiceSconsuKEchoiceconsuSKEchoiceSKEtruechoiceconsuSKEchoiceSconsuKEchoiceconsuSKEchoiceSKEtruechoice31choicenilKEitecliqueKEKnilfalsechoicenilKEcliqueKEfalsecliqueconsuKEcliqueKEtrueclique21cliqueconsuKEitecompleteuKEcliqueKEfffalsecliqueconsuKEcompleteuKEfalsecompleteuconsvSEcompleteuSEtruecomplete32completeuconsvSEitefinduvEcompleteuSEfffalsecompleteuconsvSEfinduvEfalsefinduvconsconsu2v2EfinduvEtruefind33