Search: 2FTL, f#CGAD