republiken besegrade 1792 invasionen.