Well I have worked out that the one from Greece is the NCL baced one so this is how it would look, I think,
XLA10P from Gatwick 1215 – XLA4010 to Greece 13:20 – XLA401P from Greece 0820
XLA24P from Gatwick 0110 – XLA4024 to Funchal 14:40 – XLA25P from Funchal 2330