predicate all_different_int(array [int] of var int: x);
predicate count(array [int] of var int: x, var int: y, var int: c);
predicate fixed_cumulative(array [int] of var int: s, array [int] of int: d, array [int] of int: r, int: b);
predicate global_cardinality(array [int] of var int: x, array [int] of int: cover, array [int] of var int: counts);
predicate maximum_int(var int: m, array [int] of var int: x);
predicate minimum_int(var int: m, array [int] of var int: x);
predicate sliding_sum(int: low, int: up, int: seq, array [int] of var int: vs);
predicate sort(array [int] of var int: x, array [int] of var int: y);
predicate table_bool(array [int] of var bool: x, array [int, int] of bool: t);
predicate table_int(array [int] of var int: x, array [int, int] of int: t);
predicate var_cumulative(array [int] of var int: s, array [int] of int: d, array [int] of int: r, var int: b);
var 8..8: A11 = 8;
var 1..25: A12;
var 1..25: A13;
var 1..25: A14;
var 1..25: A15;
var 1..25: A21;
var 18..18: A22 = 18;
var 24..24: A23 = 24;
var 22..22: A24 = 22;
var 1..25: A25;
var 1..25: A31;
var 21..21: A32 = 21;
var 23..23: A33 = 23;
var 13..13: A34 = 13;
var 1..25: A35;
var 1..25: A41;
var 15..15: A42 = 15;
var 1..1: A43 = 1;
var 20..20: A44 = 20;
var 1..25: A45;
var 1..25: A51;
var 1..25: A52;
var 1..25: A53;
var 1..25: A54;
var 17..17: A55 = 17;
var 21..21: B11 = 21;
var 15..15: B12 = 15;
var 1..25: B13;
var 6..6: B14 = 6;
var 1..25: B15;
var 19..19: B21 = 19;
var 1..25: B22;
var 4..4: B23 = 4;
var 1..25: B24;
var 1..25: B25;
var 1..25: B31;
var 10..10: B32 = 10;
var 1..25: B33;
var 1..25: B34;
var 1..1: B35 = 1;
var 18..18: B41 = 18;
var 1..25: B42;
var 1..25: B43;
var 1..25: B44;
var 13..13: B45 = 13;
var 1..25: B51;
var 1..25: B52;
var 24..24: B53 = 24;
var 11..11: B54 = 11;
var 12..12: B55 = 12;
var 19..19: C11 = 19;
var 1..25: C12;
var 1..1: C13 = 1;
var 1..25: C14;
var 11..11: C15 = 11;
var 7..7: C21 = 7;
var 1..25: C22;
var 2..2: C23 = 2;
var 1..25: C24;
var 8..8: C25 = 8;
var 1..25: C31;
var 14..14: C32 = 14;
var 3..3: C33 = 3;
var 22..22: C34 = 22;
var 1..25: C35;
var 1..25: C41;
var 24..24: C42 = 24;
var 4..4: C43 = 4;
var 16..16: C44 = 16;
var 12..12: C45 = 12;
var 1..25: C51;
var 21..21: C52 = 21;
var 5..5: C53 = 5;
var 1..25: C54;
var 1..25: C55;
var 1..25: D11;
var 4..4: D12 = 4;
var 1..25: D13;
var 14..14: D14 = 14;
var 3..3: D15 = 3;
var 10..10: D21 = 10;
var 1..25: D22;
var 1..1: D23 = 1;
var 1..25: D24;
var 12..12: D25 = 12;
var 5..5: D31 = 5;
var 1..25: D32;
var 1..25: D33;
var 11..11: D34 = 11;
var 1..25: D35;
var 19..19: D41 = 19;
var 21..21: D42 = 21;
var 1..25: D43;
var 1..25: D44;
var 2..2: D45 = 2;
var 15..15: D51 = 15;
var 13..13: D52 = 13;
var 18..18: D53 = 18;
var 1..25: D54;
var 1..25: D55;
var 1..25: E11;
var 1..25: E12;
var 1..25: E13;
var 13..13: E14 = 13;
var 22..22: E15 = 22;
var 6..6: E21 = 6;
var 21..21: E22 = 21;
var 14..14: E23 = 14;
var 9..9: E24 = 9;
var 3..3: E25 = 3;
var 1..25: E31;
var 20..20: E32 = 20;
var 12..12: E33 = 12;
var 25..25: E34 = 25;
var 1..25: E35;
var 1..25: E41;
var 7..7: E42 = 7;
var 23..23: E43 = 23;
var 17..17: E44 = 17;
var 1..25: E45;
var 16..16: E51 = 16;
var 1..25: E52;
var 1..25: E53;
var 19..19: E54 = 19;
var 1..1: E55 = 1;
var 13..13: F11 = 13;
var 17..17: F12 = 17;
var 1..25: F13;
var 3..3: F14 = 3;
var 1..25: F15;
var 2..2: F21 = 2;
var 1..25: F22;
var 5..5: F23 = 5;
var 1..25: F24;
var 1..25: F25;
var 1..25: F31;
var 6..6: F32 = 6;
var 1..25: F33;
var 1..25: F34;
var 16..16: F35 = 16;
var 21..21: F41 = 21;
var 1..25: F42;
var 1..25: F43;
var 4..4: F44 = 4;
var 10..10: F45 = 10;
var 1..25: F51;
var 1..25: F52;
var 18..18: F53 = 18;
var 1..1: F54 = 1;
var 20..20: F55 = 20;
var 1..25: G11;
var 19..19: G12 = 19;
var 20..20: G13 = 20;
var 5..5: G14 = 5;
var 1..25: G15;
var 25..25: G21 = 25;
var 6..6: G22 = 6;
var 1..25: G23;
var 1..25: G24;
var 1..25: G25;
var 13..13: G31 = 13;
var 1..25: G32;
var 1..25: G33;
var 3..3: G34 = 3;
var 9..9: G35 = 9;
var 8..8: G41 = 8;
var 1..25: G42;
var 15..15: G43 = 15;
var 1..25: G44;
var 1..25: G45;
var 1..25: G51;
var 1..25: G52;
var 7..7: G53 = 7;
var 1..25: G54;
var 1..25: G55;
var 1..25: H11;
var 11..11: H12 = 11;
var 6..6: H13 = 6;
var 15..15: H14 = 15;
var 1..25: H15;
var 13..13: H21 = 13;
var 19..19: H22 = 19;
var 7..7: H23 = 7;
var 21..21: H24 = 21;
var 16..16: H25 = 16;
var 1..25: H31;
var 1..1: H32 = 1;
var 8..8: H33 = 8;
var 4..4: H34 = 4;
var 1..25: H35;
var 12..12: H41 = 12;
var 1..25: H42;
var 9..9: H43 = 9;
var 24..24: H44 = 24;
var 23..23: H45 = 23;
var 3..3: H51 = 3;
var 1..25: H52;
var 10..10: H53 = 10;
var 1..25: H54;
var 25..25: H55 = 25;
var 1..25: I11;
var 23..23: I12 = 23;
var 16..16: I13 = 16;
var 24..24: I14 = 24;
var 1..25: I15;
var 1..25: I21;
var 1..25: I22;
var 1..25: I23;
var 3..3: I24 = 3;
var 11..11: I25 = 11;
var 2..2: I31 = 2;
var 10..10: I32 = 10;
var 25..25: I33 = 25;
var 1..25: I34;
var 7..7: I35 = 7;
var 13..13: I41 = 13;
var 1..25: I42;
var 6..6: I43 = 6;
var 1..25: I44;
var 14..14: I45 = 14;
var 1..25: I51;
var 1..25: I52;
var 15..15: I53 = 15;
var 1..25: I54;
var 17..17: I55 = 17;
var 10..10: J11 = 10;
var 25..25: J12 = 25;
var 1..1: J13 = 1;
var 12..12: J14 = 12;
var 14..14: J15 = 14;
var 1..25: J21;
var 1..25: J22;
var 17..17: J23 = 17;
var 1..25: J24;
var 20..20: J25 = 20;
var 24..24: J31 = 24;
var 1..25: J32;
var 1..25: J33;
var 15..15: J34 = 15;
var 1..25: J35;
var 11..11: J41 = 11;
var 3..3: J42 = 3;
var 1..25: J43;
var 1..25: J44;
var 7..7: J45 = 7;
var 4..4: J51 = 4;
var 13..13: J52 = 13;
var 6..6: J53 = 6;
var 1..25: J54;
var 2..2: J55 = 2;
var 14..14: K11 = 14;
var 4..4: K12 = 4;
var 1..25: K13;
var 1..25: K14;
var 1..25: K15;
var 1..25: K21;
var 1..25: K22;
var 13..13: K23 = 13;
var 8..8: K24 = 8;
var 1..25: K25;
var 11..11: K31 = 11;
var 1..25: K32;
var 6..6: K33 = 6;
var 12..12: K34 = 12;
var 7..7: K35 = 7;
var 1..25: K41;
var 1..25: K42;
var 3..3: K43 = 3;
var 9..9: K44 = 9;
var 1..25: K45;
var 22..22: K51 = 22;
var 25..25: K52 = 25;
var 1..25: K53;
var 1..25: K54;
var 1..25: K55;
var 1..25: L11;
var 1..25: L12;
var 1..25: L13;
var 8..8: L14 = 8;
var 20..20: L15 = 20;
var 1..25: L21;
var 22..22: L22 = 22;
var 14..14: L23 = 14;
var 1..25: L24;
var 1..25: L25;
var 3..3: L31 = 3;
var 1..25: L32;
var 1..25: L33;
var 1..25: L34;
var 17..17: L35 = 17;
var 1..25: L41;
var 12..12: L42 = 12;
var 6..6: L43 = 6;
var 1..25: L44;
var 1..25: L45;
var 1..25: L51;
var 1..25: L52;
var 1..25: L53;
var 7..7: L54 = 7;
var 4..4: L55 = 4;
var 6..6: M11 = 6;
var 3..3: M12 = 3;
var 11..11: M13 = 11;
var 19..19: M14 = 19;
var 7..7: M15 = 7;
var 24..24: M21 = 24;
var 20..20: M22 = 20;
var 12..12: M23 = 12;
var 18..18: M24 = 18;
var 17..17: M25 = 17;
var 23..23: M31 = 23;
var 1..25: M32;
var 13..13: M33 = 13;
var 1..25: M34;
var 4..4: M35 = 4;
var 5..5: M41 = 5;
var 22..22: M42 = 22;
var 14..14: M43 = 14;
var 10..10: M44 = 10;
var 21..21: M45 = 21;
var 8..8: M51 = 8;
var 16..16: M52 = 16;
var 15..15: M53 = 15;
var 9..9: M54 = 9;
var 1..1: M55 = 1;
var 1..1: N11 = 1;
var 12..12: N12 = 12;
var 1..25: N13;
var 1..25: N14;
var 1..25: N15;
var 21..21: N21 = 21;
var 1..25: N22;
var 11..11: N23 = 11;
var 7..7: N24 = 7;
var 1..25: N25;
var 8..8: N31 = 8;
var 1..25: N32;
var 19..19: N33 = 19;
var 1..25: N34;
var 15..15: N35 = 15;
var 20..20: N41 = 20;
var 1..25: N42;
var 13..13: N43 = 13;
var 18..18: N44 = 18;
var 1..25: N45;
var 17..17: N51 = 17;
var 3..3: N52 = 3;
var 1..25: N53;
var 1..25: N54;
var 1..25: N55;
var 2..2: O11 = 2;
var 17..17: O12 = 17;
var 1..25: O13;
var 18..18: O14 = 18;
var 23..23: O15 = 23;
var 1..25: O21;
var 19..19: O22 = 19;
var 9..9: O23 = 9;
var 6..6: O24 = 6;
var 10..10: O25 = 10;
var 20..20: O31 = 20;
var 14..14: O32 = 14;
var 16..16: O33 = 16;
var 1..25: O34;
var 21..21: O35 = 21;
var 1..25: O41;
var 8..8: O42 = 8;
var 15..15: O43 = 15;
var 1..25: O44;
var 1..25: O45;
var 1..25: O51;
var 24..24: O52 = 24;
var 11..11: O53 = 11;
var 5..5: O54 = 5;
var 13..13: O55 = 13;
var 1..25: P11;
var 1..25: P12;
var 21..21: P13 = 21;
var 17..17: P14 = 17;
var 6..6: P15 = 6;
var 23..23: P21 = 23;
var 1..25: P22;
var 1..25: P23;
var 24..24: P24 = 24;
var 15..15: P25 = 15;
var 1..25: P31;
var 16..16: P32 = 16;
var 1..25: P33;
var 1..25: P34;
var 25..25: P35 = 25;
var 1..1: P41 = 1;
var 1..25: P42;
var 9..9: P43 = 9;
var 1..25: P44;
var 1..25: P45;
var 12..12: P51 = 12;
var 2..2: P52 = 2;
var 1..25: P53;
var 11..11: P54 = 11;
var 1..25: P55;
var 1..25: Q11;
var 1..25: Q12;
var 8..8: Q13 = 8;
var 1..25: Q14;
var 1..25: Q15;
var 7..7: Q21 = 7;
var 1..25: Q22;
var 11..11: Q23 = 11;
var 1..25: Q24;
var 1..25: Q25;
var 10..10: Q31 = 10;
var 1..25: Q32;
var 1..25: Q33;
var 23..23: Q34 = 23;
var 24..24: Q35 = 24;
var 6..6: Q41 = 6;
var 14..14: Q42 = 14;
var 1..25: Q43;
var 1..25: Q44;
var 1..25: Q45;
var 1..25: Q51;
var 25..25: Q52 = 25;
var 21..21: Q53 = 21;
var 4..4: Q54 = 4;
var 1..25: Q55;
var 15..15: R11 = 15;
var 23..23: R12 = 23;
var 16..16: R13 = 16;
var 11..11: R14 = 11;
var 5..5: R15 = 5;
var 2..2: R21 = 2;
var 1..25: R22;
var 17..17: R23 = 17;
var 1..1: R24 = 1;
var 14..14: R25 = 14;
var 1..25: R31;
var 13..13: R32 = 13;
var 18..18: R33 = 18;
var 12..12: R34 = 12;
var 1..25: R35;
var 25..25: R41 = 25;
var 10..10: R42 = 10;
var 19..19: R43 = 19;
var 7..7: R44 = 7;
var 3..3: R45 = 3;
var 1..25: R51;
var 1..25: R52;
var 20..20: R53 = 20;
var 6..6: R54 = 6;
var 24..24: R55 = 24;
var 1..25: S11;
var 1..25: S12;
var 2..2: S13 = 2;
var 1..25: S14;
var 1..25: S15;
var 6..6: S21 = 6;
var 1..25: S22;
var 10..10: S23 = 10;
var 1..25: S24;
var 21..21: S25 = 21;
var 3..3: S31 = 3;
var 20..20: S32 = 20;
var 17..17: S33 = 17;
var 15..15: S34 = 15;
var 9..9: S35 = 9;
var 1..25: S41;
var 1..25: S42;
var 1..25: S43;
var 12..12: S44 = 12;
var 8..8: S45 = 8;
var 1..25: S51;
var 14..14: S52 = 14;
var 22..22: S53 = 22;
var 1..1: S54 = 1;
var 1..25: S55;
var 13..13: T11 = 13;
var 1..1: T12 = 1;
var 20..20: T13 = 20;
var 7..7: T14 = 7;
var 1..25: T15;
var 25..25: T21 = 25;
var 9..9: T22 = 9;
var 1..25: T23;
var 1..25: T24;
var 16..16: T25 = 16;
var 14..14: T31 = 14;
var 1..25: T32;
var 8..8: T33 = 8;
var 11..11: T34 = 11;
var 19..19: T35 = 19;
var 1..25: T41;
var 4..4: T42 = 4;
var 2..2: T43 = 2;
var 24..24: T44 = 24;
var 15..15: T45 = 15;
var 17..17: T51 = 17;
var 18..18: T52 = 18;
var 10..10: T53 = 10;
var 23..23: T54 = 23;
var 5..5: T55 = 5;
var 1..25: U11;
var 1..25: U12;
var 1..25: U13;
var 1..25: U14;
var 5..5: U15 = 5;
var 1..25: U21;
var 12..12: U22 = 12;
var 14..14: U23 = 14;
var 6..6: U24 = 6;
var 1..25: U25;
var 1..25: U31;
var 1..1: U32 = 1;
var 11..11: U33 = 11;
var 7..7: U34 = 7;
var 1..25: U35;
var 1..25: U41;
var 10..10: U42 = 10;
var 22..22: U43 = 22;
var 19..19: U44 = 19;
var 1..25: U45;
var 15..15: U51 = 15;
var 1..25: U52;
var 1..25: U53;
var 1..25: U54;
var 1..25: U55;
var 1..25: V11;
var 1..25: V12;
var 13..13: V13 = 13;
var 19..19: V14 = 19;
var 14..14: V15 = 14;
var 15..15: V21 = 15;
var 1..25: V22;
var 1..25: V23;
var 1..25: V24;
var 8..8: V25 = 8;
var 1..25: V31;
var 4..4: V32 = 4;
var 1..25: V33;
var 1..25: V34;
var 22..22: V35 = 22;
var 5..5: V41 = 5;
var 1..25: V42;
var 18..18: V43 = 18;
var 1..25: V44;
var 1..25: V45;
var 23..23: V51 = 23;
var 7..7: V52 = 7;
var 1..25: V53;
var 17..17: V54 = 17;
var 1..25: V55;
var 4..4: W11 = 4;
var 7..7: W12 = 7;
var 21..21: W13 = 21;
var 1..25: W14;
var 1..25: W15;
var 1..25: W21;
var 17..17: W22 = 17;
var 22..22: W23 = 22;
var 20..20: W24 = 20;
var 19..19: W25 = 19;
var 1..25: W31;
var 6..6: W32 = 6;
var 23..23: W33 = 23;
var 5..5: W34 = 5;
var 1..25: W35;
var 16..16: W41 = 16;
var 1..25: W42;
var 24..24: W43 = 24;
var 3..3: W44 = 3;
var 15..15: W45 = 15;
var 11..11: W51 = 11;
var 9..9: W52 = 9;
var 25..25: W53 = 25;
var 8..8: W54 = 8;
var 18..18: W55 = 18;
var 23..23: X11 = 23;
var 6..6: X12 = 6;
var 12..12: X13 = 12;
var 1..25: X14;
var 1..25: X15;
var 16..16: X21 = 16;
var 11..11: X22 = 11;
var 1..25: X23;
var 1..25: X24;
var 24..24: X25 = 24;
var 18..18: X31 = 18;
var 15..15: X32 = 15;
var 1..25: X33;
var 17..17: X34 = 17;
var 10..10: X35 = 10;
var 4..4: X41 = 4;
var 9..9: X42 = 9;
var 21..21: X43 = 21;
var 1..25: X44;
var 25..25: X45 = 25;
var 1..25: X51;
var 19..19: X52 = 19;
var 1..25: X53;
var 13..13: X54 = 13;
var 1..1: X55 = 1;
var 1..1: Y11 = 1;
var 1..25: Y12;
var 1..25: Y13;
var 3..3: Y14 = 3;
var 9..9: Y15 = 9;
var 1..25: Y21;
var 5..5: Y22 = 5;
var 13..13: Y23 = 13;
var 10..10: Y24 = 10;
var 1..25: Y25;
var 19..19: Y31 = 19;
var 12..12: Y32 = 12;
var 21..21: Y33 = 21;
var 2..2: Y34 = 2;
var 8..8: Y35 = 8;
var 1..25: Y41;
var 11..11: Y42 = 11;
var 7..7: Y43 = 7;
var 14..14: Y44 = 14;
var 1..25: Y45;
var 1..25: Y51;
var 1..25: Y52;
var 1..25: Y53;
var 1..25: Y54;
array [1..625] of var 1..25: Vars :: output_array([1..625]) = [8, A12, A13, A14, A15, 21, 15, B13, 6, B15, 19, C12, 1, C14, 11, D11, 4, D13, 14, 3, E11, E12, E13, 13, 22, A21, 18, 24, 22, A25, 19, B22, 4, B24, B25, 7, C22, 2, C24, 8, 10, D22, 1, D24, 12, 6, 21, 14, 9, 3, A31, 21, 23, 13, A35, B31, 10, B33, B34, 1, C31, 14, 3, 22, C35, 5, D32, D33, 11, D35, E31, 20, 12, 25, E35, A41, 15, 1, 20, A45, 18, B42, B43, B44, 13, C41, 24, 4, 16, 12, 19, 21, D43, D44, 2, E41, 7, 23, 17, E45, A51, A52, A53, A54, 17, B51, B52, 24, 11, 12, C51, 21, 5, C54, C55, 15, 13, 18, D54, D55, 16, E52, E53, 19, 1, 13, 17, F13, 3, F15, G11, 19, 20, 5, G15, H11, 11, 6, 15, H15, I11, 23, 16, 24, I15, 10, 25, 1, 12, 14, 2, F22, 5, F24, F25, 25, 6, G23, G24, G25, 13, 19, 7, 21, 16, I21, I22, I23, 3, 11, J21, J22, 17, J24, 20, F31, 6, F33, F34, 16, 13, G32, G33, 3, 9, H31, 1, 8, 4, H35, 2, 10, 25, I34, 7, 24, J32, J33, 15, J35, 21, F42, F43, 4, 10, 8, G42, 15, G44, G45, 12, H42, 9, 24, 23, 13, I42, 6, I44, 14, 11, 3, J43, J44, 7, F51, F52, 18, 1, 20, G51, G52, 7, G54, G55, 3, H52, 10, H54, 25, I51, I52, 15, I54, 17, 4, 13, 6, J54, 2, 14, 4, K13, K14, K15, L11, L12, L13, 8, 20, 6, 3, 11, 19, 7, 1, 12, N13, N14, N15, 2, 17, O13, 18, 23, K21, K22, 13, 8, K25, L21, 22, 14, L24, L25, 24, 20, 12, 18, 17, 21, N22, 11, 7, N25, O21, 19, 9, 6, 10, 11, K32, 6, 12, 7, 3, L32, L33, L34, 17, 23, M32, 13, M34, 4, 8, N32, 19, N34, 15, 20, 14, 16, O34, 21, K41, K42, 3, 9, K45, L41, 12, 6, L44, L45, 5, 22, 14, 10, 21, 20, N42, 13, 18, N45, O41, 8, 15, O44, O45, 22, 25, K53, K54, K55, L51, L52, L53, 7, 4, 8, 16, 15, 9, 1, 17, 3, N53, N54, N55, O51, 24, 11, 5, 13, P11, P12, 21, 17, 6, Q11, Q12, 8, Q14, Q15, 15, 23, 16, 11, 5, S11, S12, 2, S14, S15, 13, 1, 20, 7, T15, 23, P22, P23, 24, 15, 7, Q22, 11, Q24, Q25, 2, R22, 17, 1, 14, 6, S22, 10, S24, 21, 25, 9, T23, T24, 16, P31, 16, P33, P34, 25, 10, Q32, Q33, 23, 24, R31, 13, 18, 12, R35, 3, 20, 17, 15, 9, 14, T32, 8, 11, 19, 1, P42, 9, P44, P45, 6, 14, Q43, Q44, Q45, 25, 10, 19, 7, 3, S41, S42, S43, 12, 8, T41, 4, 2, 24, 15, 12, 2, P53, 11, P55, Q51, 25, 21, 4, Q55, R51, R52, 20, 6, 24, S51, 14, 22, 1, S55, 17, 18, 10, 23, 5, U11, U12, U13, U14, 5, V11, V12, 13, 19, 14, 4, 7, 21, W14, W15, 23, 6, 12, X14, X15, 1, Y12, Y13, 3, 9, U21, 12, 14, 6, U25, 15, V22, V23, V24, 8, W21, 17, 22, 20, 19, 16, 11, X23, X24, 24, Y21, 5, 13, 10, Y25, U31, 1, 11, 7, U35, V31, 4, V33, V34, 22, W31, 6, 23, 5, W35, 18, 15, X33, 17, 10, 19, 12, 21, 2, 8, U41, 10, 22, 19, U45, 5, V42, 18, V44, V45, 16, W42, 24, 3, 15, 4, 9, 21, X44, 25, Y41, 11, 7, 14, Y45, 15, U52, U53, U54, U55, 23, 7, V53, 17, V55, 11, 9, 25, 8, 18, X51, 19, X53, 13, 1, Y51, Y52, Y53, Y54, 6];
var 6..6: Y55 = 6;
constraint all_different_int([1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25]);
constraint all_different_int([1, 12, N13, N14, N15, 21, N22, 11, 7, N25, 8, N32, 19, N34, 15, 20, N42, 13, 18, N45, 17, 3, N53, N54, N55]);
constraint all_different_int([1, P42, 9, P44, P45, 6, 14, Q43, Q44, Q45, 25, 10, 19, 7, 3, S41, S42, S43, 12, 8, T41, 4, 2, 24, 15]);
constraint all_different_int([1, Y12, Y13, 3, 9, Y21, 5, 13, 10, Y25, 19, 12, 21, 2, 8, Y41, 11, 7, 14, Y45, Y51, Y52, Y53, Y54, 6]);
constraint all_different_int([2, 17, O13, 18, 23, O21, 19, 9, 6, 10, 20, 14, 16, O34, 21, O41, 8, 15, O44, O45, O51, 24, 11, 5, 13]);
constraint all_different_int([2, F22, 5, F24, F25, 25, 6, G23, G24, G25, 13, 19, 7, 21, 16, I21, I22, I23, 3, 11, J21, J22, 17, J24, 20]);
constraint all_different_int([3, 12, D35, 2, D55, I15, 11, 7, 14, 17, N15, N25, 15, N45, N55, S15, 21, 9, 8, S55, X15, 24, 10, 25, 1]);
constraint all_different_int([4, 7, 21, W14, W15, W21, 17, 22, 20, 19, W31, 6, 23, 5, W35, 16, W42, 24, 3, 15, 11, 9, 25, 8, 18]);
constraint all_different_int([4, D22, D32, 21, 13, 23, I22, 10, I42, I52, 12, N22, N32, N42, 3, S12, S22, 20, S42, 14, 6, 11, 15, 9, 19]);
constraint all_different_int([6, 3, 11, 19, 7, 24, 20, 12, 18, 17, 23, M32, 13, M34, 4, 5, 22, 14, 10, 21, 8, 16, 15, 9, 1]);
constraint all_different_int([6, B24, B34, B44, 11, 5, G24, 3, G44, G54, 8, L24, L34, L44, 7, Q14, Q24, 23, Q44, 4, 19, V24, V34, V44, 17]);
constraint all_different_int([8, A12, A13, A14, A15, 21, 15, B13, 6, B15, 19, C12, 1, C14, 11, D11, 4, D13, 14, 3, E11, E12, E13, 13, 22]);
constraint all_different_int([8, A12, A13, A14, A15, A21, 18, 24, 22, A25, A31, 21, 23, 13, A35, A41, 15, 1, 20, A45, A51, A52, A53, A54, 17]);
constraint all_different_int([8, A21, A31, A41, A51, 13, 2, F31, 21, F51, 14, K21, 11, K41, 22, P11, 23, P31, 1, 12, U11, U21, U31, U41, 15]);
constraint all_different_int([10, 25, 1, 12, 14, J21, J22, 17, J24, 20, 24, J32, J33, 15, J35, 11, 3, J43, J44, 7, 4, 13, 6, J54, 2]);
constraint all_different_int([11, 8, C35, 12, C55, H15, 16, H35, 23, 25, 7, 17, 4, 21, 1, 5, 14, R35, 3, 24, W15, 19, W35, 15, 18]);
constraint all_different_int([11, K32, 6, 12, 7, 3, L32, L33, L34, 17, 23, M32, 13, M34, 4, 8, N32, 19, N34, 15, 20, 14, 16, O34, 21]);
constraint all_different_int([12, 2, P53, 11, P55, Q51, 25, 21, 4, Q55, R51, R52, 20, 6, 24, S51, 14, 22, 1, S55, 17, 18, 10, 23, 5]);
constraint all_different_int([13, 1, 20, 7, T15, 25, 9, T23, T24, 16, 14, T32, 8, 11, 19, T41, 4, 2, 24, 15, 17, 18, 10, 23, 5]);
constraint all_different_int([13, 9, 25, 17, 19, 12, J24, 15, J44, J54, 18, 6, O34, O44, 5, 7, T24, 11, 24, 23, 3, 10, 2, 14, Y54]);
constraint all_different_int([13, 17, F13, 3, F15, 2, F22, 5, F24, F25, F31, 6, F33, F34, 16, 21, F42, F43, 4, 10, F51, F52, 18, 1, 20]);
constraint all_different_int([13, 17, F13, 3, F15, G11, 19, 20, 5, G15, H11, 11, 6, 15, H15, I11, 23, 16, 24, I15, 10, 25, 1, 12, 14]);
constraint all_different_int([14, 4, K13, K14, K15, K21, K22, 13, 8, K25, 11, K32, 6, 12, 7, K41, K42, 3, 9, K45, 22, 25, K53, K54, K55]);
constraint all_different_int([14, 4, K13, K14, K15, L11, L12, L13, 8, 20, 6, 3, 11, 19, 7, 1, 12, N13, N14, N15, 2, 17, O13, 18, 23]);
constraint all_different_int([14, D24, 11, D44, D54, 24, 3, I34, I44, I54, N14, 7, N34, 18, N54, S14, S24, 15, 12, 1, X14, X24, 17, X44, 13]);
constraint all_different_int([15, 23, 16, 11, 5, 2, R22, 17, 1, 14, R31, 13, 18, 12, R35, 25, 10, 19, 7, 3, R51, R52, 20, 6, 24]);
constraint all_different_int([15, B22, 10, B42, B52, 19, 6, G32, G42, G52, L12, 22, L32, 12, L52, Q12, Q22, Q32, 14, 25, V12, V22, 4, V42, 7]);
constraint all_different_int([15, U52, U53, U54, U55, 23, 7, V53, 17, V55, 11, 9, 25, 8, 18, X51, 19, X53, 13, 1, Y51, Y52, Y53, Y54, 6]);
constraint all_different_int([19, 7, C31, C41, C51, H11, 13, H31, 12, 3, 6, 24, 23, 5, 8, 15, 2, R31, 25, R51, 4, W21, W31, 16, 11]);
constraint all_different_int([19, C12, 1, C14, 11, 7, C22, 2, C24, 8, C31, 14, 3, 22, C35, C41, 24, 4, 16, 12, C51, 21, 5, C54, C55]);
constraint all_different_int([21, 15, B13, 6, B15, 19, B22, 4, B24, B25, B31, 10, B33, B34, 1, 18, B42, B43, B44, 13, B51, B52, 24, 11, 12]);
constraint all_different_int([21, 19, B31, 18, B51, G11, 25, 13, 8, G51, L11, L21, 3, L41, L51, Q11, 7, 10, 6, Q51, V11, 15, V31, 5, 23]);
constraint all_different_int([21, F42, F43, 4, 10, 8, G42, 15, G44, G45, 12, H42, 9, 24, 23, 13, I42, 6, I44, 14, 11, 3, J43, J44, 7]);
constraint all_different_int([22, 3, E35, E45, 1, 14, 20, J35, 7, 2, 23, 10, 21, O45, 13, T15, 16, 19, 15, 5, 9, Y25, 8, Y45, 6]);
constraint all_different_int([22, 25, K53, K54, K55, L51, L52, L53, 7, 4, 8, 16, 15, 9, 1, 17, 3, N53, N54, N55, O51, 24, 11, 5, 13]);
constraint all_different_int([23, 6, 12, X14, X15, 16, 11, X23, X24, 24, 18, 15, X33, 17, 10, 4, 9, 21, X44, 25, X51, 19, X53, 13, 1]);
constraint all_different_int([23, P22, P23, 24, 15, 7, Q22, 11, Q24, Q25, 2, R22, 17, 1, 14, 6, S22, 10, S24, 21, 25, 9, T23, T24, 16]);
constraint all_different_int([A12, 18, 21, 15, A52, 17, F22, 6, F42, F52, 4, K22, K32, K42, 25, P12, P22, 16, P42, 2, U12, 12, 1, 10, U52]);
constraint all_different_int([A13, 24, 23, 1, A53, F13, 5, F33, F43, 18, K13, 13, 6, 3, K53, 21, P23, P33, 9, P53, U13, 14, 11, 22, U53]);
constraint all_different_int([A14, 22, 13, 20, A54, 3, F24, F34, 4, 1, K14, 8, 12, 9, K54, 17, 24, P34, P44, 11, U14, 6, 7, 19, U54]);
constraint all_different_int([A15, A25, A35, A45, 17, F15, F25, 16, 10, 20, K15, K25, 7, K45, K55, 6, 15, 25, P45, P55, 5, U25, U35, U45, U55]);
constraint all_different_int([A21, 18, 24, 22, A25, 19, B22, 4, B24, B25, 7, C22, 2, C24, 8, 10, D22, 1, D24, 12, 6, 21, 14, 9, 3]);
constraint all_different_int([A31, 21, 23, 13, A35, B31, 10, B33, B34, 1, C31, 14, 3, 22, C35, 5, D32, D33, 11, D35, E31, 20, 12, 25, E35]);
constraint all_different_int([A41, 15, 1, 20, A45, 18, B42, B43, B44, 13, C41, 24, 4, 16, 12, 19, 21, D43, D44, 2, E41, 7, 23, 17, E45]);
constraint all_different_int([A51, A52, A53, A54, 17, B51, B52, 24, 11, 12, C51, 21, 5, C54, C55, 15, 13, 18, D54, D55, 16, E52, E53, 19, 1]);
constraint all_different_int([B13, 4, B33, B43, 24, 20, G23, G33, 15, 7, L13, 14, L33, 6, L53, 8, 11, Q33, Q43, 21, 13, V23, V33, 18, V53]);
constraint all_different_int([B15, B25, 1, 13, 12, G15, G25, 9, G45, G55, 20, L25, 17, L45, 4, Q15, Q25, 24, Q45, Q55, 14, 8, 22, V45, V55]);
constraint all_different_int([C12, C22, 14, 24, 21, 11, 19, 1, H42, H52, 3, 20, M32, 22, 16, 23, R22, 13, 10, R52, 7, 17, 6, W42, 9]);
constraint all_different_int([C14, C24, 22, 16, C54, 15, 21, 4, 24, H54, 19, 18, M34, 10, 9, 11, 1, 12, 7, 6, W14, 20, 5, 3, 8]);
constraint all_different_int([D11, 4, D13, 14, 3, 10, D22, 1, D24, 12, 5, D32, D33, 11, D35, 19, 21, D43, D44, 2, 15, 13, 18, D54, D55]);
constraint all_different_int([D11, 10, 5, 19, 15, I11, I21, 2, 13, I51, 1, 21, 8, 20, 17, S11, 6, 3, S41, S51, 23, 16, 18, 4, X51]);
constraint all_different_int([D13, 1, D33, D43, 18, 16, I23, 25, 6, 15, N13, 11, 19, 13, N53, 2, 10, 17, S43, 22, 12, X23, X33, 21, X53]);
constraint all_different_int([E11, 6, E31, E41, 16, 10, J21, 24, 11, 4, 2, O21, 20, O41, O51, 13, 25, 14, T41, 17, 1, Y21, 19, Y41, Y51]);
constraint all_different_int([E11, E12, E13, 13, 22, 6, 21, 14, 9, 3, E31, 20, 12, 25, E35, E41, 7, 23, 17, E45, 16, E52, E53, 19, 1]);
constraint all_different_int([E12, 21, 20, 7, E52, 25, J22, J32, 3, 13, 17, 19, 14, 8, 24, 1, 9, T32, 4, 18, Y12, 5, 12, 11, Y52]);
constraint all_different_int([E13, 14, 12, 23, E53, 1, 17, J33, J43, 6, O13, 9, 16, 15, 11, 20, T23, 8, 2, 10, Y13, 13, 21, 7, Y53]);
constraint all_different_int([F31, 6, F33, F34, 16, 13, G32, G33, 3, 9, H31, 1, 8, 4, H35, 2, 10, 25, I34, 7, 24, J32, J33, 15, J35]);
constraint all_different_int([F51, F52, 18, 1, 20, G51, G52, 7, G54, G55, 3, H52, 10, H54, 25, I51, I52, 15, I54, 17, 4, 13, 6, J54, 2]);
constraint all_different_int([G11, 19, 20, 5, G15, 25, 6, G23, G24, G25, 13, G32, G33, 3, 9, 8, G42, 15, G44, G45, G51, G52, 7, G54, G55]);
constraint all_different_int([H11, 11, 6, 15, H15, 13, 19, 7, 21, 16, H31, 1, 8, 4, H35, 12, H42, 9, 24, 23, 3, H52, 10, H54, 25]);
constraint all_different_int([I11, 23, 16, 24, I15, I21, I22, I23, 3, 11, 2, 10, 25, I34, 7, 13, I42, 6, I44, 14, I51, I52, 15, I54, 17]);
constraint all_different_int([K21, K22, 13, 8, K25, L21, 22, 14, L24, L25, 24, 20, 12, 18, 17, 21, N22, 11, 7, N25, O21, 19, 9, 6, 10]);
constraint all_different_int([K41, K42, 3, 9, K45, L41, 12, 6, L44, L45, 5, 22, 14, 10, 21, 20, N42, 13, 18, N45, O41, 8, 15, O44, O45]);
constraint all_different_int([L11, L12, L13, 8, 20, L21, 22, 14, L24, L25, 3, L32, L33, L34, 17, L41, 12, 6, L44, L45, L51, L52, L53, 7, 4]);
constraint all_different_int([P11, P12, 21, 17, 6, 23, P22, P23, 24, 15, P31, 16, P33, P34, 25, 1, P42, 9, P44, P45, 12, 2, P53, 11, P55]);
constraint all_different_int([P11, P12, 21, 17, 6, Q11, Q12, 8, Q14, Q15, 15, 23, 16, 11, 5, S11, S12, 2, S14, S15, 13, 1, 20, 7, T15]);
constraint all_different_int([P31, 16, P33, P34, 25, 10, Q32, Q33, 23, 24, R31, 13, 18, 12, R35, 3, 20, 17, 15, 9, 14, T32, 8, 11, 19]);
constraint all_different_int([Q11, Q12, 8, Q14, Q15, 7, Q22, 11, Q24, Q25, 10, Q32, Q33, 23, 24, 6, 14, Q43, Q44, Q45, Q51, 25, 21, 4, Q55]);
constraint all_different_int([S11, S12, 2, S14, S15, 6, S22, 10, S24, 21, 3, 20, 17, 15, 9, S41, S42, S43, 12, 8, S51, 14, 22, 1, S55]);
constraint all_different_int([U11, U12, U13, U14, 5, U21, 12, 14, 6, U25, U31, 1, 11, 7, U35, U41, 10, 22, 19, U45, 15, U52, U53, U54, U55]);
constraint all_different_int([U11, U12, U13, U14, 5, V11, V12, 13, 19, 14, 4, 7, 21, W14, W15, 23, 6, 12, X14, X15, 1, Y12, Y13, 3, 9]);
constraint all_different_int([U21, 12, 14, 6, U25, 15, V22, V23, V24, 8, W21, 17, 22, 20, 19, 16, 11, X23, X24, 24, Y21, 5, 13, 10, Y25]);
constraint all_different_int([U31, 1, 11, 7, U35, V31, 4, V33, V34, 22, W31, 6, 23, 5, W35, 18, 15, X33, 17, 10, 19, 12, 21, 2, 8]);
constraint all_different_int([U41, 10, 22, 19, U45, 5, V42, 18, V44, V45, 16, W42, 24, 3, 15, 4, 9, 21, X44, 25, Y41, 11, 7, 14, Y45]);
constraint all_different_int([V11, V12, 13, 19, 14, 15, V22, V23, V24, 8, V31, 4, V33, V34, 22, 5, V42, 18, V44, V45, 23, 7, V53, 17, V55]);
solve  :: int_search(Vars, first_fail, indomain, complete) satisfy;