Predict, then run it

floats(f) = a, b, c. Build the lineup banner so it's the same on every refresh — internal ORDER BY:

SELECT string_agg(f, ' -> ' ORDER BY f) AS lineup FROM floats;

Predict the exact output.