bad_galois_orbits.txt

/*
  19 May 2023
  This file contains the labels (both BelyiDB and LMFDB) of those passports with bad Galois orbit data
*/

bad := [Strings() | "3T1-[3,3,3]-3-3-3-g1.m", "8T13-[6,3,2]-62-3311-2222-g0.m", "8T49-[5,6,15]-5111-3221-53-g0.m", "8T49-[6,15,2]-62-53-221111-g0.m", "8T49-[6,5,6]-62-5111-3221-g0.m", "8T49-[6,6,4]-62-3221-4211-g0.m", "8T49-[7,15,2]-71-53-221111-g0.m", "8T49-[7,3,5]-71-3311-5111-g0.m", "8T49-[7,3,6]-71-3311-3221-g0.m", "8T49-[7,4,4]-71-4211-4211-g0.m", "8T49-[7,6,2]-71-62-221111-g0.m", "8T49-[7,6,3]-71-62-311111-g0.m", "8T50-[6,10,4]-62-521-41111-g0.m", "8T50-[6,12,6]-62-431-32111-g0.m", "8T50-[8,4,4]-8-41111-4211-g0.m", "9T11-[6,3,2]-621-333-22221-g0.m", "9T9-[4,4,2]-441-441-22221-g0.m" ];

bad_LMFDB := [ Strings() | "3T1-3_3_3", "8T13-6.2_3.3.1.1_2.2.2.2", "8T49-5.1.1.1_3.2.2.1_5.3", "8T49-6.2_5.3_2.2.1.1.1.1", "8T49-6.2_5.1.1.1_3.2.2.1", "8T49-6.2_3.2.2.1_4.2.1.1", "8T49-7.1_5.3_2.2.1.1.1.1", "8T49-7.1_3.3.1.1_5.1.1.1", "8T49-7.1_3.3.1.1_3.2.2.1", "8T49-7.1_4.2.1.1_4.2.1.1", "8T49-7.1_6.2_2.2.1.1.1.1", "8T49-7.1_6.2_3.1.1.1.1.1", "8T50-6.2_5.2.1_4.1.1.1.1", "8T50-6.2_4.3.1_3.2.1.1.1", "8T50-8_4.1.1.1.1_4.2.1.1", "9T11-6.2.1_3.3.3_2.2.2.2.1", "9T9-4.4.1_4.4.1_2.2.2.2.1" ];