2024 for Sydney FC

[leroy]

Just started an ACL2 thread - SFC vs Asia - ACL2 2024/25