Mercurial > repos > iuc > iqtree

view test-data/ufboot_out.txt @ 20:18a61a9c1601 draft default tip

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
planemo upload for repository https://github.com/galaxyproject/tools-iuc/tree/master/tools/iqtree/ commit ed98c907217fd95aa455f4f74de74e9b3893c1d3
author iuc
date Mon, 05 May 2025 16:50:56 +0000
parents
children
line wrap: on
line source

(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Lizard),Sphenodon),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Lizard),Sphenodon),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),((((Human,Seal),(Cow,Whale)),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),((((Human,Seal),(Cow,Whale)),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,Lizard),(Crocodile,Bird))),((((Human,Seal),(Cow,Whale)),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,(Crocodile,Bird)),Lizard)),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Lizard),Sphenodon),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Lizard),Sphenodon),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((Turtle,(Crocodile,Bird)),(Sphenodon,Lizard)),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Lizard),Sphenodon),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,(Crocodile,Bird)),Lizard)),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,Lizard),(Crocodile,Bird))),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((Turtle,(Sphenodon,(Crocodile,Bird))),Lizard),((((Human,Seal),(Cow,Whale)),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((Turtle,(Sphenodon,(Crocodile,Bird))),Lizard),((((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),Opossum),Platypus))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Lizard),Sphenodon),(((Human,(Seal,(Mouse,Rat))),(Cow,Whale)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,Lizard),(Crocodile,Bird))),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,(Crocodile,Bird)),Lizard)),((((Human,Seal),(Cow,Whale)),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,(Crocodile,Bird)),Lizard)),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),((((Human,Seal),(Cow,Whale)),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,(Crocodile,Bird)),Lizard)),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),((((Human,(Cow,Whale)),Seal),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Lizard),Sphenodon),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((Turtle,(Crocodile,Bird)),(Sphenodon,Lizard)),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Mouse,Rat)),(Seal,(Cow,Whale))),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Lizard),Sphenodon),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),((((Human,Seal),(Cow,Whale)),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),((((Human,(Cow,Whale)),Seal),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((Turtle,(Sphenodon,(Crocodile,Bird))),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),((((Human,(Cow,Whale)),Seal),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Mouse,Rat)),(Seal,(Cow,Whale))),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,Lizard),(Crocodile,Bird))),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,(Crocodile,Bird)),Lizard)),((((Human,Seal),(Cow,Whale)),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),((((Human,Seal),(Cow,Whale)),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Lizard),Sphenodon),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((Turtle,(Crocodile,Bird)),(Sphenodon,Lizard)),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Lizard),Sphenodon),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Mouse,Rat)),(Seal,(Cow,Whale))),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(Human,((Seal,(Cow,Whale)),((Mouse,Rat),(Platypus,Opossum)))))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((((Turtle,Crocodile),Bird),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((((Turtle,Crocodile),Bird),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,(Crocodile,Bird)),Lizard)),((((Human,(Cow,Whale)),Seal),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((Turtle,(Sphenodon,(Crocodile,Bird))),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Lizard),Sphenodon),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((Turtle,(Crocodile,Bird)),(Sphenodon,Lizard)),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,Lizard),(Crocodile,Bird))),((((Human,Seal),(Cow,Whale)),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),((((Human,Seal),(Cow,Whale)),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((Turtle,(Crocodile,Bird)),(Sphenodon,Lizard)),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((Turtle,(Lizard,(Crocodile,Bird))),Sphenodon),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Lizard),Sphenodon),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Lizard),Sphenodon),((((Human,(Cow,Whale)),Seal),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Lizard),Sphenodon),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((Turtle,(Crocodile,Bird)),(Sphenodon,(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))),Lizard)));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),((((Human,Seal),(Cow,Whale)),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,(Crocodile,Bird)),Lizard)),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,Lizard),(Crocodile,Bird))),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Lizard),Sphenodon),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),((((Human,Seal),(Cow,Whale)),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,(Crocodile,Bird)),Lizard)),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,Lizard),(Crocodile,Bird))),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),((((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),Opossum),Platypus))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,(Crocodile,Bird)),Lizard)),(((Human,(Mouse,Rat)),(Seal,(Cow,Whale))),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Mouse,Rat)),(Seal,(Cow,Whale))),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,Lizard),(Crocodile,Bird))),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,Lizard),(Crocodile,Bird))),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((Turtle,(Crocodile,Bird)),(Sphenodon,Lizard)),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),((Human,((Seal,(Cow,Whale)),(Mouse,Rat))),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Lizard),Sphenodon),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,(Crocodile,Bird)),Lizard)),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,(((Sphenodon,Bird),Crocodile),Lizard)),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((Turtle,(Crocodile,Bird)),(Sphenodon,Lizard)),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,(Crocodile,Bird)),Lizard)),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,Lizard),(Crocodile,Bird))),(((Human,(Mouse,Rat)),(Seal,(Cow,Whale))),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),((((Human,Seal),(Cow,Whale)),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((Turtle,(Crocodile,Bird)),(Sphenodon,Lizard)),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,(Crocodile,Bird)),Lizard)),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),((((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),Opossum),Platypus)),Lizard)));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,(Crocodile,Bird)),Lizard)),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,(((Sphenodon,Bird),Crocodile),Lizard)),((((Human,Seal),(Cow,Whale)),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((Turtle,(Crocodile,Bird)),(Sphenodon,Lizard)),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Lizard),Sphenodon),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((Turtle,(Sphenodon,(Crocodile,Bird))),Lizard),((((Human,(Cow,Whale)),Seal),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Lizard),Sphenodon),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Lizard),Sphenodon),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),((((Human,(Cow,Whale)),Seal),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Lizard),Sphenodon),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,(Crocodile,Bird)),Lizard)),((Human,((Seal,(Cow,Whale)),(Mouse,Rat))),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,(Crocodile,Bird)),Lizard)),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((Turtle,(Sphenodon,(Crocodile,Bird))),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),((((Human,Seal),(Cow,Whale)),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,Lizard),(Crocodile,Bird))),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,Lizard),(Crocodile,Bird))),(((((Human,Seal),(Cow,Whale)),(Mouse,Rat)),Platypus),Opossum))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Lizard),Sphenodon),((((Human,Seal),(Cow,Whale)),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),((((Human,Seal),(Cow,Whale)),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),((((Human,(Mouse,Rat)),(Seal,(Cow,Whale))),Opossum),Platypus))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Lizard),Sphenodon),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((Turtle,(Crocodile,Bird)),(Sphenodon,Lizard)),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,Lizard),(Crocodile,Bird))),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Mouse,Rat)),(Seal,(Cow,Whale))),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Lizard),Sphenodon),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((Turtle,(Sphenodon,(Crocodile,Bird))),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((Turtle,(Crocodile,Bird)),(Sphenodon,Lizard)),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((Turtle,(Crocodile,Bird)),(Sphenodon,Lizard)),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,(Sphenodon,(Lizard,(Crocodile,Bird)))),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,(Crocodile,Bird)),Lizard)),((((Human,Seal),(Cow,Whale)),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((Turtle,(Sphenodon,(Crocodile,Bird))),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),((((Human,Seal),(Cow,Whale)),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((Turtle,(Crocodile,Bird)),(Sphenodon,Lizard)),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Mouse,Rat)),(Seal,(Cow,Whale))),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,(Crocodile,Bird)),Lizard)),((((Human,Seal),(Cow,Whale)),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,(Crocodile,Bird)),Lizard)),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,Lizard),(Crocodile,Bird))),((((Human,Seal),(Cow,Whale)),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,Lizard),(Crocodile,Bird))),((((Human,Seal),(Cow,Whale)),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((Turtle,(Crocodile,Bird)),(Sphenodon,Lizard)),(((Human,(Mouse,Rat)),(Seal,(Cow,Whale))),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,(Crocodile,Bird)),Lizard)),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,(Crocodile,Bird)),Lizard)),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),((((Human,(Cow,Whale)),Seal),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),((((Human,Seal),(Cow,Whale)),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((Turtle,(Crocodile,Bird)),(Sphenodon,Lizard)),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,(Crocodile,Bird)),Lizard)),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,(Crocodile,Bird)),Lizard)),((((Human,Seal),(Cow,Whale)),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,(Crocodile,Bird)),Lizard)),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Lizard),Sphenodon),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,Lizard),(Crocodile,Bird))),(((Human,(Mouse,Rat)),(Seal,(Cow,Whale))),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum))),Lizard)));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum))),Lizard)));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,(Crocodile,Bird)),Lizard)),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Mouse,Rat)),(Seal,(Cow,Whale))),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Lizard),Sphenodon),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,(Crocodile,Bird)),Lizard)),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,(Crocodile,Bird)),Lizard)),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((((Turtle,Crocodile),Bird),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Lizard),Sphenodon),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Lizard),Sphenodon),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,(Crocodile,Bird)),Lizard)),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Lizard),Sphenodon),((((Human,Seal),(Cow,Whale)),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Lizard),Sphenodon),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),((((Human,Seal),(Cow,Whale)),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,Lizard),(Crocodile,Bird))),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),((((Human,Seal),(Cow,Whale)),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Lizard),Sphenodon),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,(Crocodile,Bird)),Lizard)),(((Human,(Mouse,Rat)),(Seal,(Cow,Whale))),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,Lizard),(Crocodile,Bird))),(((Human,(Mouse,Rat)),(Seal,(Cow,Whale))),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Lizard),Sphenodon),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((((Turtle,Crocodile),Bird),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Lizard),Sphenodon),((((Human,(Cow,Whale)),Seal),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,(Crocodile,Bird)),Lizard)),((((Human,Seal),(Cow,Whale)),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,(Crocodile,Bird)),Lizard)),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Lizard),Sphenodon),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,(Crocodile,Bird)),Lizard)),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((Turtle,(Sphenodon,(Crocodile,Bird))),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Mouse,Rat)),(Seal,(Cow,Whale))),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,(Crocodile,Bird)),Lizard)),((((Human,Seal),(Cow,Whale)),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Lizard),Sphenodon),((((Human,Seal),(Cow,Whale)),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),((((Human,Seal),(Cow,Whale)),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Lizard),Sphenodon),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,Lizard),(Crocodile,Bird))),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,(Crocodile,Bird)),Lizard)),(((Human,(Mouse,Rat)),(Seal,(Cow,Whale))),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((Turtle,(Sphenodon,(Crocodile,Bird))),Lizard),((((Human,(Cow,Whale)),Seal),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,(Crocodile,Bird)),Lizard)),((((Human,(Cow,Whale)),Seal),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,(Crocodile,Bird)),Lizard)),((((Human,Seal),(Cow,Whale)),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((((Turtle,Bird),Crocodile),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((Turtle,(Crocodile,Bird)),(Sphenodon,Lizard)),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),((((Human,Seal),(Cow,Whale)),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Lizard),Sphenodon),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Mouse,Rat)),(Seal,(Cow,Whale))),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,Lizard),(Crocodile,Bird))),((((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),Platypus),Opossum))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,(Crocodile,Bird)),Lizard)),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((Turtle,(Crocodile,Bird)),(Sphenodon,Lizard)),((((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),Platypus),Opossum))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((Turtle,(Sphenodon,(Crocodile,Bird))),Lizard),((((Human,Seal),(Cow,Whale)),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Mouse,Rat)),(Seal,(Cow,Whale))),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Lizard),Sphenodon),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Mouse,Rat)),(Seal,(Cow,Whale))),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((Turtle,(Crocodile,Bird)),(Sphenodon,Lizard)),((((Human,Seal),(Cow,Whale)),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,Lizard),(Crocodile,Bird))),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),((((Human,Seal),(Cow,Whale)),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Lizard),Sphenodon),((((Human,(Cow,Whale)),Seal),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((Turtle,(Sphenodon,(Crocodile,Bird))),Lizard),((((Human,Seal),(Cow,Whale)),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((Turtle,(Sphenodon,(Crocodile,Bird))),Lizard),((((Human,Seal),(Cow,Whale)),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,(Crocodile,Bird)),Lizard)),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,(Crocodile,Bird)),Lizard)),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),((((Human,Seal),(Cow,Whale)),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,(Crocodile,Bird)),Lizard)),((((Human,(Cow,Whale)),Seal),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,(Crocodile,Bird)),Lizard)),((((Human,Seal),(Cow,Whale)),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((Turtle,(Crocodile,Bird)),(Sphenodon,(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))),Lizard)));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,(Crocodile,Bird)),Lizard)),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,(Crocodile,Bird)),Lizard)),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((Turtle,(Crocodile,Bird)),(Sphenodon,Lizard)),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),((((Human,(Cow,Whale)),Seal),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,Lizard),(Crocodile,Bird))),((((Human,Seal),(Cow,Whale)),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((Turtle,(Crocodile,Bird)),(Sphenodon,Lizard)),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Mouse,Rat)),(Seal,(Cow,Whale))),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,(Crocodile,Bird)),Lizard)),((((Human,(Cow,Whale)),Seal),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),((((Human,(Cow,Whale)),Seal),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,(Crocodile,Bird)),Lizard)),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((Turtle,(Crocodile,Bird)),(Sphenodon,Lizard)),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((((Turtle,Crocodile),Bird),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((Turtle,(Lizard,(Crocodile,Bird))),Sphenodon),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Lizard),Sphenodon),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Mouse,Rat)),(Seal,(Cow,Whale))),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((Turtle,(Crocodile,Bird)),(Sphenodon,Lizard)),((((Human,(Cow,Whale)),Seal),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Lizard),Sphenodon),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((Turtle,(Sphenodon,(Crocodile,Bird))),Lizard),(((Human,(Mouse,Rat)),(Seal,(Cow,Whale))),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Lizard),Sphenodon),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,(Crocodile,Bird)),Lizard)),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((Turtle,(Crocodile,Bird)),(Sphenodon,Lizard)),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Lizard),Sphenodon),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),((((Human,Seal),(Cow,Whale)),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((Turtle,(Crocodile,Bird)),(Sphenodon,Lizard)),((Human,((Seal,(Cow,Whale)),(Mouse,Rat))),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((Turtle,(Lizard,(Crocodile,Bird))),Sphenodon),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,(Crocodile,Bird)),Lizard)),(((Human,(Mouse,Rat)),(Seal,(Cow,Whale))),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,(Crocodile,Bird)),Lizard)),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Mouse,Rat)),(Seal,(Cow,Whale))),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum))),Lizard)));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,Lizard),(Crocodile,Bird))),((((Human,(Cow,Whale)),Seal),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Lizard),Sphenodon),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,Lizard),(Crocodile,Bird))),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Lizard),Sphenodon),(((Human,(Mouse,Rat)),(Seal,(Cow,Whale))),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),((((Human,Seal),(Cow,Whale)),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,Lizard),(Crocodile,Bird))),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,Lizard),(Crocodile,Bird))),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,(Crocodile,Bird)),Lizard)),((((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),Platypus),Opossum))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,(Crocodile,Bird)),Lizard)),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((Turtle,(Crocodile,Bird)),(Sphenodon,Lizard)),((((Human,(Cow,Whale)),Seal),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Lizard),Sphenodon),((((Human,Seal),(Cow,Whale)),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((Turtle,(Crocodile,Bird)),(Sphenodon,Lizard)),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,(Crocodile,Bird)),Lizard)),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((Turtle,(Sphenodon,(Crocodile,Bird))),Lizard),((((Human,Seal),(Cow,Whale)),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,(Crocodile,Bird)),Lizard)),((((Human,Seal),(Cow,Whale)),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,(Crocodile,Bird)),Lizard)),((((Human,Seal),(Cow,Whale)),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),((((Human,Seal),(Cow,Whale)),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,(((Sphenodon,Bird),Crocodile),Lizard)),((((Human,Seal),(Cow,Whale)),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Lizard),Sphenodon),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Lizard),Sphenodon),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Lizard),Sphenodon),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Lizard),Sphenodon),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((Turtle,(Crocodile,Bird)),(Sphenodon,Lizard)),((((Human,(Cow,Whale)),Seal),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((Turtle,(Crocodile,Bird)),(Sphenodon,Lizard)),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Lizard),Sphenodon),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,Lizard),(Crocodile,Bird))),((((Human,Seal),(Cow,Whale)),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((Turtle,(Crocodile,Bird)),(Sphenodon,Lizard)),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Lizard),Sphenodon),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Lizard),Sphenodon),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((Turtle,(Crocodile,Bird)),(Sphenodon,Lizard)),((((Human,Seal),(Cow,Whale)),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),((((Human,Seal),(Cow,Whale)),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),((((Human,Seal),(Cow,Whale)),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Mouse,Rat)),(Seal,(Cow,Whale))),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Lizard),Sphenodon),((Human,((Seal,(Cow,Whale)),(Mouse,Rat))),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),((((Human,Seal),(Cow,Whale)),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((Turtle,(Sphenodon,(Crocodile,Bird))),Lizard),((((Human,Seal),(Cow,Whale)),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((Turtle,(Crocodile,Bird)),(Sphenodon,Lizard)),((((Human,Seal),(Cow,Whale)),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,(Crocodile,Bird)),Lizard)),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Lizard),Sphenodon),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),((((Human,(Cow,Whale)),Seal),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,Lizard),(Crocodile,Bird))),((((Human,Seal),(Cow,Whale)),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,Lizard),(Crocodile,Bird))),((((Human,Seal),(Cow,Whale)),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Lizard),Sphenodon),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((Turtle,(Sphenodon,(Crocodile,Bird))),Lizard),((((Human,Seal),(Cow,Whale)),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,(Crocodile,Bird)),Lizard)),((Human,((Seal,(Cow,Whale)),(Mouse,Rat))),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((Turtle,(Crocodile,Bird)),(Sphenodon,Lizard)),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,(Crocodile,Bird)),Lizard)),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((Turtle,(Sphenodon,(Crocodile,Bird))),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,(Crocodile,Bird)),Lizard)),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,(Crocodile,Bird)),Lizard)),((((Human,Seal),(Cow,Whale)),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,(Crocodile,Bird)),Lizard)),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Lizard),Sphenodon),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Mouse,Rat)),(Seal,(Cow,Whale))),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),((((Human,Seal),(Cow,Whale)),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((Turtle,(Crocodile,Bird)),(Sphenodon,Lizard)),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,Lizard),(Crocodile,Bird))),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,Lizard),(Crocodile,Bird))),(((Human,(Mouse,Rat)),(Seal,(Cow,Whale))),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Lizard),Sphenodon),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,Lizard),(Crocodile,Bird))),((((Human,Seal),(Cow,Whale)),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,Lizard),(Crocodile,Bird)),Sphenodon),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),((((Human,Seal),(Cow,Whale)),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Mouse,Rat)),(Seal,(Cow,Whale))),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Lizard),Sphenodon),(((Human,(Mouse,Rat)),(Seal,(Cow,Whale))),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,(Crocodile,Bird)),Lizard)),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((Turtle,(Sphenodon,(Crocodile,Bird))),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,(Crocodile,Bird)),Lizard)),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,(Crocodile,Bird)),Lizard)),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,(Crocodile,Bird)),Lizard)),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,Lizard),(Crocodile,Bird))),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Lizard),Sphenodon),(((Human,(Mouse,Rat)),(Seal,(Cow,Whale))),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Lizard),Sphenodon),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((Turtle,(Crocodile,Bird)),(Sphenodon,Lizard)),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((((Turtle,Bird),Crocodile),Sphenodon),Lizard),(((Human,(Mouse,Rat)),(Seal,(Cow,Whale))),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((Turtle,(Sphenodon,(Crocodile,Bird))),Lizard),(((Human,(Mouse,Rat)),(Seal,(Cow,Whale))),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((((Human,Cow),Whale),Seal),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((Turtle,(Crocodile,Bird)),(Sphenodon,Lizard)),((((Human,Seal),(Cow,Whale)),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,Lizard),(Crocodile,Bird))),((((Human,Seal),(Cow,Whale)),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,(Crocodile,Bird)),Lizard)),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),((((Human,Seal),(Cow,Whale)),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((Turtle,(Crocodile,Bird)),(Sphenodon,Lizard)),(((Human,(Seal,(Mouse,Rat))),(Cow,Whale)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Lizard),Sphenodon),((((Human,Seal),(Cow,Whale)),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,Lizard),(Crocodile,Bird))),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Lizard),Sphenodon),((((Human,Seal),(Cow,Whale)),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),((((Human,(Cow,Whale)),Seal),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,(Crocodile,Bird)),Lizard)),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,(Crocodile,Bird)),Lizard)),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),((((Human,Seal),(Cow,Whale)),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),((((Human,Seal),(Cow,Whale)),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,(Crocodile,Bird)),Lizard)),(((Human,(Mouse,Rat)),(Seal,(Cow,Whale))),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Lizard),Sphenodon),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),((((Human,(Cow,Whale)),Seal),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,(Crocodile,Bird)),Lizard)),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,(Sphenodon,(Lizard,(Crocodile,Bird)))),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((Turtle,(Crocodile,Bird)),(Sphenodon,Lizard)),((((Human,(Mouse,Rat)),(Seal,(Cow,Whale))),Platypus),Opossum))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((Turtle,(Crocodile,Bird)),(Sphenodon,(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))),Lizard)));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((((Turtle,Bird),Crocodile),Lizard),Sphenodon),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Lizard),Sphenodon),(((Human,(Mouse,Rat)),(Seal,(Cow,Whale))),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,(Crocodile,Bird)),Lizard)),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Mouse,Rat)),(Seal,(Cow,Whale))),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Mouse,Rat)),(Seal,(Cow,Whale))),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((((Turtle,Bird),Crocodile),Sphenodon),Lizard),((((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),Opossum),Platypus))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum))),Lizard)));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),((((Human,Seal),(Cow,Whale)),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((Turtle,(Crocodile,Bird)),(Sphenodon,Lizard)),((((Human,Seal),(Cow,Whale)),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((((Turtle,Bird),Crocodile),Sphenodon),Lizard),(((Human,(Mouse,Rat)),(Seal,(Cow,Whale))),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),((((Human,(Mouse,Rat)),Seal),(Cow,Whale)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,(Crocodile,Bird)),Lizard)),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,(Crocodile,Bird)),Lizard)),((((Human,(Cow,Whale)),Seal),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,Lizard),(Crocodile,Bird))),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,(Crocodile,Bird)),Lizard)),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((Turtle,(Lizard,(Crocodile,Bird))),Sphenodon),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((((Human,Seal),(Cow,Whale)),(Mouse,Rat)),Opossum),Platypus))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),((((Human,Seal),(Cow,Whale)),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum))),Lizard)));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Mouse,Rat)),(Seal,(Cow,Whale))),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Mouse,Rat)),(Seal,(Cow,Whale))),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,(Crocodile,Bird)),Lizard)),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((Turtle,(Crocodile,Bird)),(Sphenodon,Lizard)),((((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),Platypus),Opossum))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,(Crocodile,Bird)),Lizard)),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,(Crocodile,Bird)),Lizard)),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((Turtle,(Crocodile,Bird)),(Sphenodon,Lizard)),((((Human,(Cow,Whale)),Seal),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,(Crocodile,Bird)),Lizard)),(((Human,(Mouse,Rat)),(Seal,(Cow,Whale))),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),((((Human,Seal),(Cow,Whale)),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,(Crocodile,Bird)),Lizard)),((((Human,(Cow,Whale)),Seal),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum))),((Sphenodon,(Crocodile,Bird)),Lizard))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,(Crocodile,Bird)),Lizard)),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),((((Human,Seal),(Cow,Whale)),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,(Crocodile,Bird)),Lizard)),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((((Turtle,Bird),Crocodile),Lizard),Sphenodon),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Lizard),Sphenodon),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((Turtle,(Sphenodon,(Crocodile,Bird))),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),((((Human,Seal),(Cow,Whale)),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),((((Human,Seal),(Cow,Whale)),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Mouse,Rat)),(Seal,(Cow,Whale))),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),((((Human,Seal),(Cow,Whale)),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((Turtle,(Sphenodon,(Crocodile,Bird))),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((Turtle,(Sphenodon,(Crocodile,Bird))),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,(Crocodile,Bird)),Lizard)),((((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),Platypus),Opossum))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((((Turtle,Bird),Crocodile),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((Turtle,(Crocodile,Bird)),(Sphenodon,Lizard)),(((Human,(Mouse,Rat)),(Seal,(Cow,Whale))),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,(Crocodile,Bird)),Lizard)),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Lizard),Sphenodon),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,(Crocodile,Bird)),Lizard)),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,Lizard),(Crocodile,Bird))),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,(Crocodile,Bird)),Lizard)),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((Turtle,((Sphenodon,Bird),Crocodile)),Lizard),(((Human,(Mouse,Rat)),(Seal,(Cow,Whale))),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),((((Human,Seal),(Cow,Whale)),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,(Crocodile,Bird)),Lizard)),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,Lizard),(Crocodile,Bird))),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,Lizard),(Crocodile,Bird))),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((Turtle,(Crocodile,Bird)),(Sphenodon,Lizard)),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Lizard),Sphenodon),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((Turtle,(Crocodile,Bird)),(Sphenodon,Lizard)),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,(Crocodile,Bird)),Lizard)),(((Human,(Mouse,Rat)),(Seal,(Cow,Whale))),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Lizard),Sphenodon),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Lizard),Sphenodon),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Lizard),Sphenodon),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((Turtle,(Crocodile,Bird)),Sphenodon),(Lizard,(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum))))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,Lizard),(Crocodile,Bird))),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,(Crocodile,Bird)),Lizard)),((((Human,Seal),(Cow,Whale)),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,Lizard),(Crocodile,Bird))),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((Turtle,(Crocodile,Bird)),(Sphenodon,Lizard)),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((Turtle,(Crocodile,Bird)),(Sphenodon,Lizard)),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((Turtle,(Crocodile,Bird)),(Sphenodon,Lizard)),((((Human,Seal),(Cow,Whale)),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),((((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),Platypus),Opossum))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Mouse,Rat)),(Seal,(Cow,Whale))),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,(Crocodile,Bird)),Lizard)),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((Turtle,(Sphenodon,(Crocodile,Bird))),Lizard),(((Human,(Mouse,Rat)),(Seal,(Cow,Whale))),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,(Crocodile,Bird)),Lizard)),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Lizard),Sphenodon),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),((((Human,Seal),(Cow,Whale)),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum))),Lizard)));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Mouse,Rat)),(Seal,(Cow,Whale))),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((Turtle,(Crocodile,Bird)),(Sphenodon,Lizard)),((((Human,Seal),(Cow,Whale)),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((Turtle,(Crocodile,Bird)),(Sphenodon,Lizard)),((((Human,Seal),(Cow,Whale)),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Lizard),Sphenodon),((((Human,Seal),(Cow,Whale)),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Lizard),Sphenodon),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,Lizard),(Crocodile,Bird))),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Lizard),Sphenodon),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((Turtle,(Sphenodon,(Crocodile,Bird))),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((Turtle,(Crocodile,Bird)),(Sphenodon,Lizard)),(((Human,(Mouse,Rat)),(Seal,(Cow,Whale))),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,(Crocodile,Bird)),Lizard)),((((Human,Seal),(Cow,Whale)),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),((((Human,Seal),(Cow,Whale)),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Lizard),Sphenodon),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Lizard),Sphenodon),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),((((Human,Seal),(Cow,Whale)),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Lizard),Sphenodon),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((Turtle,(Sphenodon,(Crocodile,Bird))),Lizard),(Human,((Seal,(Cow,Whale)),((Mouse,Rat),(Platypus,Opossum)))))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,Lizard),(Crocodile,Bird))),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((Turtle,(Crocodile,Bird)),(Sphenodon,Lizard)),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((Turtle,(Sphenodon,(Crocodile,Bird))),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Lizard),Sphenodon),((((Human,(Cow,Whale)),Seal),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,(Crocodile,Bird)),Lizard)),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),((((Human,Seal),(Cow,Whale)),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Lizard),Sphenodon),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,(Crocodile,Bird)),Lizard)),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((Turtle,(Sphenodon,(Crocodile,Bird))),Lizard),((((Human,Seal),(Cow,Whale)),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Lizard),Sphenodon),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,(Crocodile,Bird)),Lizard)),(((Human,(Mouse,Rat)),(Seal,(Cow,Whale))),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((Turtle,(Sphenodon,(Crocodile,Bird))),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((Turtle,(Sphenodon,(Crocodile,Bird))),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,Lizard),(Crocodile,Bird))),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Cow,Whale)),(Seal,(Mouse,Rat))),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,(Crocodile,Bird)),Lizard)),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Lizard),Sphenodon),((((Human,Seal),(Cow,Whale)),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,(Crocodile,Bird)),Lizard)),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Lizard),Sphenodon),((Human,((Seal,(Mouse,Rat)),(Cow,Whale))),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,(Crocodile,Bird)),Lizard)),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),((((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),Opossum),Platypus))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Lizard),Sphenodon),((((Human,(Cow,Whale)),Seal),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,(Sphenodon,(Lizard,(Crocodile,Bird)))),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),((((Human,Seal),(Cow,Whale)),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Lizard),Sphenodon),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((Turtle,(Crocodile,Bird)),(Sphenodon,Lizard)),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((Turtle,(Sphenodon,Lizard)),(Crocodile,Bird)),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((Turtle,(Sphenodon,(Crocodile,Bird))),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((Turtle,(Sphenodon,(Crocodile,Bird))),Lizard),((((Human,(Cow,Whale)),Seal),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),((((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),Platypus),Opossum))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Lizard),Sphenodon),(((Human,(Mouse,Rat)),(Seal,(Cow,Whale))),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Lizard),Sphenodon),((Human,((Seal,(Mouse,Rat)),(Cow,Whale))),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((Turtle,((Sphenodon,Crocodile),Bird)),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Lizard),Sphenodon),((((Human,Seal),(Cow,Whale)),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((Turtle,(Crocodile,Bird)),(Sphenodon,Lizard)),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,(Crocodile,Bird)),Lizard)),((((Human,Seal),(Cow,Whale)),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((Turtle,(Crocodile,Bird)),(Sphenodon,Lizard)),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Lizard),Sphenodon),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((Turtle,(Sphenodon,(Crocodile,Bird))),Lizard),((((Human,(Cow,Whale)),Seal),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Lizard),Sphenodon),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),((((Human,Seal),(Cow,Whale)),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Lizard),Sphenodon),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),((((Human,(Cow,Whale)),Seal),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Lizard),Sphenodon),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((Turtle,((Sphenodon,Crocodile),Bird)),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),((((Human,Seal),(Cow,Whale)),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,(Crocodile,Bird)),Lizard)),((((Human,Seal),(Cow,Whale)),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((Turtle,(Sphenodon,(Crocodile,Bird))),Lizard),((((Human,Seal),(Cow,Whale)),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,(Crocodile,Bird)),Lizard)),((((Human,Seal),(Cow,Whale)),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,(Crocodile,Bird)),Lizard)),((((Human,Seal),(Cow,Whale)),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,(Crocodile,Bird)),Lizard)),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((Turtle,(Crocodile,Bird)),(Sphenodon,Lizard)),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),((((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),Opossum),Platypus))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Lizard),Sphenodon),((((Human,Seal),(Cow,Whale)),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((Turtle,(Crocodile,Bird)),(Sphenodon,Lizard)),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Mouse,Rat)),(Seal,(Cow,Whale))),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),((((Human,(Cow,Whale)),Seal),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((Turtle,(Crocodile,Bird)),(Sphenodon,Lizard)),((((Human,(Cow,Whale)),Seal),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,(Crocodile,Bird)),Lizard)),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,Lizard),(Crocodile,Bird))),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((Turtle,(Crocodile,Bird)),(Sphenodon,Lizard)),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum))),Lizard)));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((Turtle,(Sphenodon,(Crocodile,Bird))),Lizard),(((Human,(Mouse,Rat)),(Seal,(Cow,Whale))),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Lizard),Sphenodon),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Lizard),Sphenodon),((((Human,(Cow,Whale)),Seal),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,(Crocodile,Bird)),Lizard)),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Lizard),Sphenodon),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((((Turtle,Bird),Crocodile),Lizard),Sphenodon),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,Lizard),(Crocodile,Bird))),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Mouse,Rat)),(Seal,(Cow,Whale))),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),((((Human,Seal),(Cow,Whale)),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((Turtle,(Crocodile,Bird)),(Sphenodon,Lizard)),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Mouse,Rat)),(Seal,(Cow,Whale))),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((Turtle,(Sphenodon,(Crocodile,Bird))),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),((((Human,Seal),(Cow,Whale)),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,(Crocodile,Bird)),Lizard)),((((Human,Seal),(Cow,Whale)),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((Turtle,(Sphenodon,(Crocodile,Bird))),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,(Crocodile,Bird)),Lizard)),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((Turtle,(Crocodile,Bird)),(Sphenodon,Lizard)),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((Turtle,(Sphenodon,(Crocodile,Bird))),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,(Sphenodon,(Lizard,(Crocodile,Bird)))),((((Human,Seal),(Cow,Whale)),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,(Crocodile,Bird)),Lizard)),(((Human,(Mouse,Rat)),(Seal,(Cow,Whale))),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Mouse,Rat)),(Seal,(Cow,Whale))),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,(Crocodile,Bird)),Lizard)),((((Human,Seal),(Cow,Whale)),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((Turtle,(Sphenodon,(Crocodile,Bird))),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((Turtle,(Crocodile,Bird)),(Sphenodon,Lizard)),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,(Crocodile,Bird)),Lizard)),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),((((Human,(Cow,Whale)),Seal),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((Turtle,(Crocodile,Bird)),(Sphenodon,Lizard)),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Lizard),Sphenodon),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((Turtle,(Crocodile,Bird)),(Sphenodon,Lizard)),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Lizard),Sphenodon),((((Human,Seal),(Cow,Whale)),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,(Crocodile,Bird)),Lizard)),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,(Crocodile,Bird)),Lizard)),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,(Crocodile,Bird)),Lizard)),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((((Turtle,Crocodile),Sphenodon),Bird),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((Turtle,(Sphenodon,(Crocodile,Bird))),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Mouse,Rat)),(Seal,(Cow,Whale))),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),((((Human,Seal),(Cow,Whale)),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),((((Human,(Cow,Whale)),Seal),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),((((Human,Seal),(Cow,Whale)),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),((((Human,Seal),(Cow,Whale)),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Lizard),Sphenodon),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),((((Human,Seal),(Cow,Whale)),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,Lizard),(Crocodile,Bird))),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),((((Human,(Cow,Whale)),Seal),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Lizard),Sphenodon),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((Turtle,(Sphenodon,(Crocodile,Bird))),Lizard),((((Human,(Cow,Whale)),Seal),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),((((Human,(Cow,Whale)),Seal),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((Turtle,(Sphenodon,(Crocodile,Bird))),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,Lizard),(Crocodile,Bird))),((((Human,Seal),(Cow,Whale)),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),((((Human,Seal),(Cow,Whale)),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Lizard),Sphenodon),((((Human,Seal),(Cow,Whale)),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,Crocodile),Bird),(Sphenodon,Lizard)),((Human,((Seal,(Mouse,Rat)),(Cow,Whale))),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((Turtle,(Crocodile,Bird)),(Sphenodon,Lizard)),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((Turtle,(Crocodile,Bird)),(Sphenodon,Lizard)),((((Human,Seal),(Cow,Whale)),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Mouse,Rat)),(Seal,(Cow,Whale))),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,(Crocodile,Bird)),Lizard)),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((Turtle,(Crocodile,Bird)),(Sphenodon,Lizard)),((((Human,Seal),(Cow,Whale)),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,(Crocodile,Bird)),Lizard)),((((Human,Seal),(Cow,Whale)),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Lizard),Sphenodon),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((Turtle,(Sphenodon,(Crocodile,Bird))),Lizard),(((Human,(Mouse,Rat)),(Seal,(Cow,Whale))),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((Turtle,(Sphenodon,(Crocodile,Bird))),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((((Turtle,Crocodile),Bird),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),((((Human,Seal),(Mouse,Rat)),(Cow,Whale)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,(Crocodile,Bird)),Lizard)),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Lizard),Sphenodon),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,(Crocodile,Bird)),Lizard)),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Lizard),Sphenodon),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((Turtle,(Crocodile,Bird)),(Sphenodon,Lizard)),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Lizard),Sphenodon),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((Turtle,(Crocodile,Bird)),(Sphenodon,Lizard)),((((Human,Seal),(Cow,Whale)),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((Turtle,(Sphenodon,(Crocodile,Bird))),Lizard),((((Human,Seal),(Cow,Whale)),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,Lizard),(Crocodile,Bird))),(((Human,(Mouse,Rat)),(Seal,(Cow,Whale))),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Lizard),Sphenodon),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Mouse,Rat)),(Seal,(Cow,Whale))),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,(Crocodile,Bird)),Lizard)),(((Human,(Mouse,Rat)),(Seal,(Cow,Whale))),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,(Crocodile,Bird)),Lizard)),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Lizard),Sphenodon),((Human,(Seal,(Cow,Whale))),((Mouse,Rat),(Platypus,Opossum))))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Mouse,Rat)),(Seal,(Cow,Whale))),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Lizard),Sphenodon),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((((Turtle,Bird),Crocodile),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,(Crocodile,Bird)),Lizard)),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),((((Human,Seal),(Cow,Whale)),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum))),Lizard)));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Mouse,Rat)),(Seal,(Cow,Whale))),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,(Crocodile,Bird)),Lizard)),((((Human,(Cow,Whale)),Seal),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,(Crocodile,Bird)),Lizard)),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,(Crocodile,Bird)),Lizard)),((((Human,Seal),(Cow,Whale)),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),((((Human,(Cow,Whale)),Seal),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((Turtle,(Crocodile,Bird)),(Sphenodon,Lizard)),(((Human,(Mouse,Rat)),(Seal,(Cow,Whale))),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,(Crocodile,Bird)),Lizard)),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Lizard),Sphenodon),((((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),Opossum),Platypus))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((Turtle,(Crocodile,Bird)),(Sphenodon,Lizard)),(((((Human,(Cow,Whale)),Seal),(Mouse,Rat)),Platypus),Opossum))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((Turtle,(Sphenodon,(Crocodile,Bird))),Lizard),((((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),Opossum),Platypus))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Mouse,Rat)),(Seal,(Cow,Whale))),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((Turtle,(Crocodile,Bird)),(Sphenodon,Lizard)),(((Human,(Mouse,Rat)),(Seal,(Cow,Whale))),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),((((Human,Seal),(Cow,Whale)),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Lizard),Sphenodon),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,(Crocodile,Bird)),Lizard)),(((Human,(Mouse,Rat)),(Seal,(Cow,Whale))),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,Lizard),(Crocodile,Bird))),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((Turtle,(Crocodile,Bird)),(Sphenodon,Lizard)),(((Human,(Mouse,Rat)),(Seal,(Cow,Whale))),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),((((Human,Seal),(Cow,Whale)),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum))),Lizard)));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,(Crocodile,Bird)),Lizard)),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),((((Human,Seal),(Cow,Whale)),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,(Crocodile,Bird)),Lizard)),((((Human,(Cow,Whale)),Seal),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,(Crocodile,Bird)),Lizard)),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Lizard),Sphenodon),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,(Crocodile,Bird)),Lizard)),((((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),Opossum),Platypus))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((((Turtle,Bird),Crocodile),Lizard),Sphenodon),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Mouse,Rat)),(Seal,(Cow,Whale))),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,(Crocodile,Bird)),Lizard)),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,(Crocodile,Bird)),Lizard)),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Lizard),Sphenodon),((((Human,Seal),(Cow,Whale)),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((Turtle,(Sphenodon,(Crocodile,Bird))),Lizard),((((Human,Seal),(Cow,Whale)),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),((((Human,Seal),(Cow,Whale)),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,(Crocodile,Bird)),Lizard)),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((Turtle,(Crocodile,Bird)),(Sphenodon,Lizard)),((Human,((Seal,(Cow,Whale)),(Mouse,Rat))),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,(Crocodile,Bird)),Lizard)),((((Human,Seal),(Cow,Whale)),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((Turtle,(Crocodile,Bird)),(Sphenodon,Lizard)),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,Lizard),(Crocodile,Bird))),(((Human,(Mouse,Rat)),(Seal,(Cow,Whale))),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Lizard),Sphenodon),((((Human,Seal),(Cow,Whale)),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,(Crocodile,Bird)),Lizard)),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,(Crocodile,Bird)),Lizard)),(((((Human,Seal),(Cow,Whale)),(Mouse,Rat)),Platypus),Opossum))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Lizard),Sphenodon),((Human,((Seal,(Mouse,Rat)),(Cow,Whale))),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((Turtle,(Crocodile,Bird)),(Sphenodon,Lizard)),((Human,((Seal,(Cow,Whale)),(Mouse,Rat))),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,(Crocodile,Bird)),Lizard)),((((Human,(Cow,Whale)),Seal),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Lizard),Sphenodon),(((Human,(Mouse,Rat)),(Seal,(Cow,Whale))),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,Lizard),(Crocodile,Bird))),((((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),Opossum),Platypus))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Lizard),Sphenodon),((((Human,Seal),(Cow,Whale)),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,Lizard),(Crocodile,Bird))),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),((((Human,Seal),(Cow,Whale)),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),((((Human,Seal),(Cow,Whale)),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),((((Human,(Cow,Whale)),Seal),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),((Human,((Seal,(Cow,Whale)),(Mouse,Rat))),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((Turtle,(Crocodile,Bird)),(Sphenodon,Lizard)),((((Human,(Cow,Whale)),Seal),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Lizard),Sphenodon),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Lizard),Sphenodon),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((Turtle,(Crocodile,Bird)),(Sphenodon,Lizard)),((((Human,Seal),(Cow,Whale)),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,Lizard),(Crocodile,Bird))),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Lizard),Sphenodon),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Lizard),Sphenodon),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,(Crocodile,Bird)),Lizard)),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),((((Human,Seal),(Cow,Whale)),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Lizard),Sphenodon),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Lizard),Sphenodon),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((Turtle,(Crocodile,Bird)),(Sphenodon,Lizard)),((((Human,Seal),(Cow,Whale)),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Lizard),Sphenodon),((((Human,Seal),(Cow,Whale)),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),((((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),Opossum),Platypus))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,Lizard),(Crocodile,Bird))),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Lizard),Sphenodon),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),((((Human,Seal),(Cow,Whale)),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),((((Human,(Cow,Whale)),Seal),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((Turtle,(Sphenodon,(Crocodile,Bird))),Lizard),((((Human,Seal),(Cow,Whale)),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,(Crocodile,Bird)),Lizard)),(((Human,(Mouse,Rat)),(Seal,(Cow,Whale))),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Lizard),Sphenodon),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Lizard),Sphenodon),(((((Human,Seal),(Cow,Whale)),(Mouse,Rat)),Opossum),Platypus))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,(Crocodile,Bird)),Lizard)),(Human,((Seal,(Cow,Whale)),((Mouse,Rat),(Platypus,Opossum)))))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,Lizard),(Crocodile,Bird))),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),((((Human,Seal),(Cow,Whale)),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,(Crocodile,Bird)),Lizard)),(((Human,(Mouse,Rat)),(Seal,(Cow,Whale))),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),((((Human,(Cow,Whale)),Seal),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((Turtle,(Crocodile,Bird)),(Sphenodon,Lizard)),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Mouse,Rat)),(Seal,(Cow,Whale))),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),((((Human,(Cow,Whale)),Seal),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((Turtle,(Crocodile,Bird)),(Sphenodon,Lizard)),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),((((Human,Seal),(Cow,Whale)),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Lizard),Sphenodon),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),((((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),Opossum),Platypus))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,(Crocodile,Bird)),Lizard)),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Lizard),Sphenodon),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,(Crocodile,Bird)),Lizard)),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((Turtle,(Sphenodon,(Crocodile,Bird))),Lizard),(((Human,(Mouse,Rat)),(Seal,(Cow,Whale))),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Lizard),Sphenodon),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Lizard),Sphenodon),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((Turtle,(Crocodile,Bird)),(Sphenodon,Lizard)),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,(Crocodile,Bird)),Lizard)),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Mouse,Rat)),(Seal,(Cow,Whale))),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((Turtle,(Crocodile,Bird)),(Sphenodon,Lizard)),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Mouse,Rat)),(Seal,(Cow,Whale))),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,(Crocodile,Bird)),Lizard)),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((((Turtle,Bird),Crocodile),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Lizard),Sphenodon),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),((((Human,Seal),(Cow,Whale)),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,Lizard),(Crocodile,Bird))),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,(Crocodile,Bird)),Lizard)),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Lizard),Sphenodon),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Lizard),Sphenodon),((((Human,(Cow,Whale)),Seal),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Mouse,Rat)),(Seal,(Cow,Whale))),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((Turtle,(Crocodile,Bird)),(Sphenodon,Lizard)),((((Human,Seal),(Cow,Whale)),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,Lizard),(Crocodile,Bird))),((((Human,Seal),(Cow,Whale)),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((Turtle,(Crocodile,Bird)),(Sphenodon,Lizard)),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((Turtle,(Sphenodon,(Crocodile,Bird))),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Lizard),Sphenodon),((((Human,Seal),(Cow,Whale)),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((Turtle,(Crocodile,Bird)),(Sphenodon,Lizard)),((((Human,(Cow,Whale)),Seal),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,(Crocodile,Bird)),Lizard)),((((Human,Seal),(Cow,Whale)),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((Turtle,(Crocodile,Bird)),(Sphenodon,Lizard)),((((Human,Seal),(Cow,Whale)),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,(Crocodile,Bird)),Lizard)),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,Lizard),(Crocodile,Bird))),(((Human,(Mouse,Rat)),(Seal,(Cow,Whale))),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Lizard),Sphenodon),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,(Crocodile,Bird)),Lizard)),(((Human,(Mouse,Rat)),(Seal,(Cow,Whale))),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Lizard),Sphenodon),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((Turtle,(Crocodile,Bird)),(Sphenodon,Lizard)),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Lizard),Sphenodon),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,(((Sphenodon,Crocodile),Bird),Lizard)),((((Human,Seal),(Cow,Whale)),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((Turtle,(Crocodile,Bird)),(Sphenodon,Lizard)),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Lizard),Sphenodon),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Mouse,Rat)),(Seal,(Cow,Whale))),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,(Crocodile,Bird)),Lizard)),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),((((Human,Seal),(Cow,Whale)),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Mouse,Rat)),(Seal,(Cow,Whale))),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,(Crocodile,Bird)),Lizard)),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,(((Sphenodon,Crocodile),Bird),Lizard)),((((Human,Seal),(Cow,Whale)),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Cow,Whale)),(Seal,(Mouse,Rat))),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,Lizard),(Crocodile,Bird))),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Lizard),Sphenodon),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),((((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),Platypus),Opossum))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Mouse,Rat)),(Seal,(Cow,Whale))),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,Crocodile),Bird),(Sphenodon,Lizard)),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,(Crocodile,Bird)),Lizard)),((((Human,Seal),(Cow,Whale)),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((((Turtle,Bird),Crocodile),Sphenodon),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum))),Lizard)));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,(Crocodile,Bird)),Lizard)),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Lizard),Sphenodon),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,Lizard),(Crocodile,Bird))),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),((((Human,Seal),(Cow,Whale)),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((Turtle,(Crocodile,Bird)),(Sphenodon,(((Human,(Mouse,Rat)),(Seal,(Cow,Whale))),(Platypus,Opossum)))),Lizard)));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Lizard),Sphenodon),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,(Crocodile,Bird)),Lizard)),((((Human,(Cow,Whale)),Seal),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,Sphenodon),(Crocodile,Bird)),Lizard),((((Human,(Cow,Whale)),Seal),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),((((Human,Seal),(Cow,Whale)),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((Turtle,(Crocodile,Bird)),(Sphenodon,Lizard)),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),((Human,(Seal,(Cow,Whale))),((Mouse,Rat),(Platypus,Opossum))))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((Turtle,(Crocodile,Bird)),(Sphenodon,Lizard)),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,(Crocodile,Bird)),Lizard)),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((Turtle,(Crocodile,Bird)),(Sphenodon,Lizard)),(((((Human,Seal),(Cow,Whale)),(Mouse,Rat)),Platypus),Opossum))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),((((Human,Seal),(Cow,Whale)),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((Turtle,(Sphenodon,(Crocodile,Bird))),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,(Crocodile,Bird)),Lizard)),((((Human,Seal),(Cow,Whale)),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Lizard),Sphenodon),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),((((Human,Seal),(Cow,Whale)),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),((((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),Opossum),Platypus))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((((Human,Seal),(Cow,Whale)),(Mouse,Rat)),Platypus),Opossum))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((Turtle,(Crocodile,Bird)),(Sphenodon,Lizard)),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Lizard),Sphenodon),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((Turtle,(Crocodile,Bird)),(Sphenodon,Lizard)),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Lizard),Sphenodon),((((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),Opossum),Platypus))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Lizard),Sphenodon),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,(Crocodile,Bird)),Lizard)),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,(Crocodile,Bird)),Lizard)),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((Turtle,(Sphenodon,(Crocodile,Bird))),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,(Crocodile,Bird)),Lizard)),((((Human,Seal),(Cow,Whale)),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),((((Human,Seal),(Cow,Whale)),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Lizard),Sphenodon),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,Lizard),(Crocodile,Bird))),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,(Crocodile,Bird)),Lizard)),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((Turtle,(Crocodile,Bird)),(Sphenodon,Lizard)),((((Human,Seal),(Cow,Whale)),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,(Crocodile,Bird)),Lizard)),(((Human,(Mouse,Rat)),(Seal,(Cow,Whale))),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Lizard),Sphenodon),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((((Turtle,Crocodile),Bird),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((Turtle,(Sphenodon,(Crocodile,Bird))),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,(Crocodile,Bird)),Lizard)),((((Human,Seal),(Cow,Whale)),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Lizard),Sphenodon),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,(((Sphenodon,Crocodile),Bird),Lizard)),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Lizard),Sphenodon),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,(Crocodile,Bird)),Lizard)),((((Human,Seal),(Cow,Whale)),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,(Crocodile,Bird)),Lizard)),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,Lizard),(Crocodile,Bird))),((((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),Platypus),Opossum))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),((((Human,Seal),(Cow,Whale)),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),((((Human,Seal),(Cow,Whale)),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((Turtle,(Sphenodon,(Crocodile,Bird))),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Lizard),Sphenodon),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Lizard),Sphenodon),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Mouse,Rat)),(Seal,(Cow,Whale))),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Mouse,Rat)),(Seal,(Cow,Whale))),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),((((Human,(Cow,Whale)),Seal),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Lizard),Sphenodon),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,(Crocodile,Bird)),Lizard)),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Lizard),Sphenodon),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((Turtle,((Sphenodon,(Crocodile,Bird)),Lizard)),(((Human,(Mouse,Rat)),(Seal,(Cow,Whale))),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),((Human,((Seal,(Cow,Whale)),(Mouse,Rat))),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,((((Turtle,(Crocodile,Bird)),Sphenodon),Lizard),(((Human,(Mouse,Rat)),(Seal,(Cow,Whale))),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((Turtle,(Sphenodon,(Crocodile,Bird))),Lizard),(((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),(Platypus,Opossum)))));
(LngfishAu,(LngfishSA,LngfishAf),(Frog,(((Turtle,(Sphenodon,(Crocodile,Bird))),Lizard),((((Human,(Seal,(Cow,Whale))),(Mouse,Rat)),Opossum),Platypus))));