ISABLOB (GAS ALT)
Added 2022-07-16 19:20:15 +0000 UTCAn alternate version of the previous Isabelle piece.
An alternate version of the previous Isabelle piece.
