[math-fun] Papilio philenor