As answered in some other question, the fulfilled contract stay on the automa side, but you can create discard piles of the automa "discarded" contract in order to re-shuffle the relevant contract deck when depleted.
Also einfach zur Seite legen und neu mischen oder direkt wieder drunter legen