Sage code for "Arithmetic descent of specializations of Galois covers":

1. Lemma 5.5
2. Lemma 5.6