The -25 & #1 stipulation means: retract 25 moves and than mate in 1 move.

Defensive Retractor: In Defensive Retractors, White and Black retract (take back) a given number of moves (-n moves), in order to reach a position in which a forward stipulation (e.g. #1, s#1) is met. Given a choice, Black will retract those moves that avoid or delay White’s goal. Unless otherwise stated, Black may defend by mating White through a forward move, if such an opportunity exists after one of Black’s retractions.
The different kinds of Defensive Retractors only differ in the way uncaptures are handled, of course only legal uncaptures are allowed. In Proca Retractors the retracting side decides, if and what man was uncaptured.

Anti-Circe (Calvet – default type for PG): After a capture the capturing piece (Ks included) must immediately be removed to its game array square (necessarily vacant, else the capture is illegal). Captures on the rebirth square are allowed. Game array squares are determined as in Circe: R, B & S go to the square of the same colour as the capture; Ps stay on the file of capture; fairy pieces go to the promotion square of the file of capture.