“…[12] Hubert Garavel, Frédéric Lang & Wendelin Serwe (2017) LA, LB : int, T0, T1, T2, T3, T4, T5, T6, T7 : Train_Mission, A0, A1, A2, A3, A4, A5, A6, A7 : Train_Constraint, B0, B1, B2, B3, B4, B5, B6, B7 : Train_Constraint in P0 := 0; P1 := 0; P2 := 0; P3 := 0; P4 := 0; P5 := 0; P6 := 0; P7 := 0; RA := 1; RB := 1; LA := 7; --limit for region A LB := 7; --limit for region B ( 1,9,10,13,15,20,23); T1 := Train_Mission ( 3,9,10,13,15,20,24); T2 := Train_Mission ( 5,27,11,13,16,20,25); T3 := Train_Mission ( 7,27,11,13,16,20,26); T4 := Train_Mission (23,22,17,18,11,9,2); T5 := Train_Mission (24,22,17,18,11,9,4); T6 := Train_Mission (25,22,17,18,…”