Rimas más libres para proof-finding program