[NL20-NL50] NL 50 SH: AQs - TPTP on paird flop