Batik air business class upgrade baggage price. Aliki Katriou. Juventus 2025 2026 line up. How to find a loop invariant.