../../Task/Euclid-Mullin-sequence/MiniScript