Pussel löst av isabelle flows