homfly mcqd cliquer planarity brial sirocco meataxe sphinx
