qcp-25-264-1_ext.mzn

var  6 ..  6 : v_0;
var  0 .. 24 : v_1;
var 13 .. 13 : v_2;
var  0 .. 24 : v_3;
var 17 .. 17 : v_4;
var 14 .. 14 : v_5;
var  1 ..  1 : v_6;
var  0 .. 24 : v_7;
var  7 ..  7 : v_8;
var 12 .. 12 : v_9;
var  0 .. 24 : v_10;
var  8 ..  8 : v_11;
var  5 ..  5 : v_12;
var 11 .. 11 : v_13;
var  0 .. 24 : v_14;
var 15 .. 15 : v_15;
var  0 .. 24 : v_16;
var  0 ..  0 : v_17;
var  0 .. 24 : v_18;
var  0 .. 24 : v_19;
var  0 .. 24 : v_20;
var  2 ..  2 : v_21;
var 16 .. 16 : v_22;
var 24 .. 24 : v_23;
var  0 .. 24 : v_24;
var  0 .. 24 : v_25;
var  0 .. 24 : v_26;
var 23 .. 23 : v_27;
var  0 .. 24 : v_28;
var  0 .. 24 : v_29;
var  0 .. 24 : v_30;
var  8 ..  8 : v_31;
var 15 .. 15 : v_32;
var  9 ..  9 : v_33;
var 20 .. 20 : v_34;
var  0 .. 24 : v_35;
var 24 .. 24 : v_36;
var  4 ..  4 : v_37;
var 21 .. 21 : v_38;
var 13 .. 13 : v_39;
var 16 .. 16 : v_40;
var 11 .. 11 : v_41;
var  0 .. 24 : v_42;
var  6 ..  6 : v_43;
var  0 .. 24 : v_44;
var  0 .. 24 : v_45;
var  0 .. 24 : v_46;
var  5 ..  5 : v_47;
var  7 ..  7 : v_48;
var  0 .. 24 : v_49;
var  0 .. 24 : v_50;
var  0 .. 24 : v_51;
var  2 ..  2 : v_52;
var  0 .. 24 : v_53;
var  7 ..  7 : v_54;
var  4 ..  4 : v_55;
var 17 .. 17 : v_56;
var  0 .. 24 : v_57;
var  3 ..  3 : v_58;
var 24 .. 24 : v_59;
var 19 .. 19 : v_60;
var 14 .. 14 : v_61;
var  1 ..  1 : v_62;
var  0 .. 24 : v_63;
var 20 .. 20 : v_64;
var 10 .. 10 : v_65;
var  0 .. 24 : v_66;
var 18 .. 18 : v_67;
var 21 .. 21 : v_68;
var 13 .. 13 : v_69;
var  0 .. 24 : v_70;
var  0 .. 24 : v_71;
var  0 .. 24 : v_72;
var  0 .. 24 : v_73;
var  0 .. 24 : v_74;
var  9 ..  9 : v_75;
var 20 .. 20 : v_76;
var 17 .. 17 : v_77;
var  2 ..  2 : v_78;
var  0 .. 24 : v_79;
var  0 .. 24 : v_80;
var 24 .. 24 : v_81;
var  0 .. 24 : v_82;
var 21 .. 21 : v_83;
var  0 .. 24 : v_84;
var 13 .. 13 : v_85;
var  0 .. 24 : v_86;
var 22 .. 22 : v_87;
var  0 .. 24 : v_88;
var  1 ..  1 : v_89;
var  3 ..  3 : v_90;
var  0 .. 24 : v_91;
var  0 .. 24 : v_92;
var 23 .. 23 : v_93;
var  0 .. 24 : v_94;
var 14 .. 14 : v_95;
var  0 .. 24 : v_96;
var  6 ..  6 : v_97;
var  4 ..  4 : v_98;
var 15 .. 15 : v_99;
var  0 .. 24 : v_100;
var  0 ..  0 : v_101;
var  0 .. 24 : v_102;
var  7 ..  7 : v_103;
var  6 ..  6 : v_104;
var  0 .. 24 : v_105;
var 12 .. 12 : v_106;
var 10 .. 10 : v_107;
var  2 ..  2 : v_108;
var  0 .. 24 : v_109;
var 11 .. 11 : v_110;
var  0 .. 24 : v_111;
var  0 .. 24 : v_112;
var  0 .. 24 : v_113;
var 24 .. 24 : v_114;
var  0 .. 24 : v_115;
var 22 .. 22 : v_116;
var  5 ..  5 : v_117;
var  0 .. 24 : v_118;
var  3 ..  3 : v_119;
var  0 .. 24 : v_120;
var 20 .. 20 : v_121;
var 19 .. 19 : v_122;
var  0 .. 24 : v_123;
var 17 .. 17 : v_124;
var  4 ..  4 : v_125;
var  7 ..  7 : v_126;
var  8 ..  8 : v_127;
var 21 .. 21 : v_128;
var 10 .. 10 : v_129;
var  5 ..  5 : v_130;
var  0 .. 24 : v_131;
var  3 ..  3 : v_132;
var  0 .. 24 : v_133;
var  0 .. 24 : v_134;
var  0 .. 24 : v_135;
var  0 ..  0 : v_136;
var 20 .. 20 : v_137;
var  0 .. 24 : v_138;
var  0 .. 24 : v_139;
var  0 .. 24 : v_140;
var 12 .. 12 : v_141;
var  0 .. 24 : v_142;
var  0 .. 24 : v_143;
var 23 .. 23 : v_144;
var  0 .. 24 : v_145;
var 17 .. 17 : v_146;
var  0 .. 24 : v_147;
var 19 .. 19 : v_148;
var 14 .. 14 : v_149;
var  8 ..  8 : v_150;
var 13 .. 13 : v_151;
var  0 .. 24 : v_152;
var  9 ..  9 : v_153;
var  0 .. 24 : v_154;
var 22 .. 22 : v_155;
var  0 .. 24 : v_156;
var 18 .. 18 : v_157;
var  0 .. 24 : v_158;
var  0 .. 24 : v_159;
var 12 .. 12 : v_160;
var  0 .. 24 : v_161;
var  0 .. 24 : v_162;
var  4 ..  4 : v_163;
var  0 .. 24 : v_164;
var 21 .. 21 : v_165;
var  1 ..  1 : v_166;
var 11 .. 11 : v_167;
var  0 .. 24 : v_168;
var  0 .. 24 : v_169;
var 20 .. 20 : v_170;
var  7 ..  7 : v_171;
var  0 ..  0 : v_172;
var  3 ..  3 : v_173;
var  2 ..  2 : v_174;
var 22 .. 22 : v_175;
var 21 .. 21 : v_176;
var  0 .. 24 : v_177;
var  8 ..  8 : v_178;
var 19 .. 19 : v_179;
var 18 .. 18 : v_180;
var  6 ..  6 : v_181;
var  0 .. 24 : v_182;
var  0 .. 24 : v_183;
var 16 .. 16 : v_184;
var  9 ..  9 : v_185;
var  0 .. 24 : v_186;
var  0 .. 24 : v_187;
var 17 .. 17 : v_188;
var 10 .. 10 : v_189;
var 23 .. 23 : v_190;
var 24 .. 24 : v_191;
var  0 .. 24 : v_192;
var 12 .. 12 : v_193;
var  0 .. 24 : v_194;
var  7 ..  7 : v_195;
var  0 .. 24 : v_196;
var  0 .. 24 : v_197;
var  0 .. 24 : v_198;
var  5 ..  5 : v_199;
var 16 .. 16 : v_200;
var  0 .. 24 : v_201;
var  0 .. 24 : v_202;
var  0 .. 24 : v_203;
var  0 .. 24 : v_204;
var  0 .. 24 : v_205;
var  4 ..  4 : v_206;
var  0 ..  0 : v_207;
var  0 .. 24 : v_208;
var  1 ..  1 : v_209;
var 10 .. 10 : v_210;
var  0 .. 24 : v_211;
var  0 .. 24 : v_212;
var  3 ..  3 : v_213;
var  5 ..  5 : v_214;
var  8 ..  8 : v_215;
var 14 .. 14 : v_216;
var 19 .. 19 : v_217;
var 18 .. 18 : v_218;
var  7 ..  7 : v_219;
var  0 .. 24 : v_220;
var  0 .. 24 : v_221;
var  2 ..  2 : v_222;
var 20 .. 20 : v_223;
var  0 .. 24 : v_224;
var  0 .. 24 : v_225;
var  0 .. 24 : v_226;
var 16 .. 16 : v_227;
var  0 .. 24 : v_228;
var  0 .. 24 : v_229;
var  0 .. 24 : v_230;
var  0 .. 24 : v_231;
var 12 .. 12 : v_232;
var 20 .. 20 : v_233;
var  6 ..  6 : v_234;
var 23 .. 23 : v_235;
var 22 .. 22 : v_236;
var  0 .. 24 : v_237;
var  9 ..  9 : v_238;
var  2 ..  2 : v_239;
var  0 .. 24 : v_240;
var 15 .. 15 : v_241;
var 10 .. 10 : v_242;
var 11 .. 11 : v_243;
var  0 .. 24 : v_244;
var 17 .. 17 : v_245;
var 21 .. 21 : v_246;
var 24 .. 24 : v_247;
var  0 .. 24 : v_248;
var  1 ..  1 : v_249;
var  0 .. 24 : v_250;
var  9 ..  9 : v_251;
var  5 ..  5 : v_252;
var  0 .. 24 : v_253;
var 20 .. 20 : v_254;
var  0 .. 24 : v_255;
var  0 .. 24 : v_256;
var  0 .. 24 : v_257;
var  4 ..  4 : v_258;
var  0 ..  0 : v_259;
var  0 .. 24 : v_260;
var 15 .. 15 : v_261;
var  0 .. 24 : v_262;
var  0 .. 24 : v_263;
var  3 ..  3 : v_264;
var  1 ..  1 : v_265;
var 13 .. 13 : v_266;
var  6 ..  6 : v_267;
var  0 .. 24 : v_268;
var 10 .. 10 : v_269;
var  2 ..  2 : v_270;
var  8 ..  8 : v_271;
var 18 .. 18 : v_272;
var 11 .. 11 : v_273;
var  0 .. 24 : v_274;
var 11 .. 11 : v_275;
var  5 ..  5 : v_276;
var  9 ..  9 : v_277;
var 23 .. 23 : v_278;
var 16 .. 16 : v_279;
var 19 .. 19 : v_280;
var  0 .. 24 : v_281;
var  4 ..  4 : v_282;
var 14 .. 14 : v_283;
var 13 .. 13 : v_284;
var  0 .. 24 : v_285;
var  0 .. 24 : v_286;
var  2 ..  2 : v_287;
var  0 .. 24 : v_288;
var  0 .. 24 : v_289;
var  0 .. 24 : v_290;
var  3 ..  3 : v_291;
var  0 .. 24 : v_292;
var  1 ..  1 : v_293;
var 17 .. 17 : v_294;
var  6 ..  6 : v_295;
var  0 .. 24 : v_296;
var 22 .. 22 : v_297;
var  0 .. 24 : v_298;
var  0 .. 24 : v_299;
var 17 .. 17 : v_300;
var  6 ..  6 : v_301;
var  0 .. 24 : v_302;
var 19 .. 19 : v_303;
var  0 .. 24 : v_304;
var 23 .. 23 : v_305;
var  0 .. 24 : v_306;
var 14 .. 14 : v_307;
var  0 .. 24 : v_308;
var  0 .. 24 : v_309;
var 22 .. 22 : v_310;
var 16 .. 16 : v_311;
var  3 ..  3 : v_312;
var 18 .. 18 : v_313;
var  8 ..  8 : v_314;
var  0 .. 24 : v_315;
var  0 .. 24 : v_316;
var 24 .. 24 : v_317;
var  0 ..  0 : v_318;
var  0 .. 24 : v_319;
var 10 .. 10 : v_320;
var  4 ..  4 : v_321;
var  0 .. 24 : v_322;
var  1 ..  1 : v_323;
var  0 .. 24 : v_324;
var  0 .. 24 : v_325;
var  8 ..  8 : v_326;
var  0 .. 24 : v_327;
var  0 .. 24 : v_328;
var 22 .. 22 : v_329;
var 13 .. 13 : v_330;
var  0 .. 24 : v_331;
var  0 .. 24 : v_332;
var 19 .. 19 : v_333;
var 17 .. 17 : v_334;
var  2 ..  2 : v_335;
var 21 .. 21 : v_336;
var  0 ..  0 : v_337;
var 24 .. 24 : v_338;
var  0 .. 24 : v_339;
var  7 ..  7 : v_340;
var 23 .. 23 : v_341;
var 16 .. 16 : v_342;
var  0 .. 24 : v_343;
var 18 .. 18 : v_344;
var  4 ..  4 : v_345;
var  0 .. 24 : v_346;
var 15 .. 15 : v_347;
var  0 .. 24 : v_348;
var  0 .. 24 : v_349;
var  3 ..  3 : v_350;
var 16 .. 16 : v_351;
var 22 .. 22 : v_352;
var  0 .. 24 : v_353;
var  0 .. 24 : v_354;
var 11 .. 11 : v_355;
var  7 ..  7 : v_356;
var  0 .. 24 : v_357;
var  0 .. 24 : v_358;
var 18 .. 18 : v_359;
var  0 .. 24 : v_360;
var  9 ..  9 : v_361;
var 17 .. 17 : v_362;
var 12 .. 12 : v_363;
var 23 .. 23 : v_364;
var  0 .. 24 : v_365;
var  0 .. 24 : v_366;
var  4 ..  4 : v_367;
var  0 .. 24 : v_368;
var  0 .. 24 : v_369;
var  0 .. 24 : v_370;
var 15 .. 15 : v_371;
var  0 .. 24 : v_372;
var 14 .. 14 : v_373;
var 13 .. 13 : v_374;
var 14 .. 14 : v_375;
var 24 .. 24 : v_376;
var  0 .. 24 : v_377;
var 20 .. 20 : v_378;
var  0 ..  0 : v_379;
var  0 .. 24 : v_380;
var  0 .. 24 : v_381;
var 22 .. 22 : v_382;
var  5 ..  5 : v_383;
var 19 .. 19 : v_384;
var 16 .. 16 : v_385;
var  2 ..  2 : v_386;
var  0 .. 24 : v_387;
var  0 .. 24 : v_388;
var  0 .. 24 : v_389;
var  0 .. 24 : v_390;
var  9 ..  9 : v_391;
var 23 .. 23 : v_392;
var  0 .. 24 : v_393;
var  4 ..  4 : v_394;
var  0 .. 24 : v_395;
var  0 .. 24 : v_396;
var  0 .. 24 : v_397;
var 12 .. 12 : v_398;
var  6 ..  6 : v_399;
var 18 .. 18 : v_400;
var  0 .. 24 : v_401;
var 21 .. 21 : v_402;
var  0 .. 24 : v_403;
var  0 .. 24 : v_404;
var  6 ..  6 : v_405;
var 13 .. 13 : v_406;
var 23 .. 23 : v_407;
var 10 .. 10 : v_408;
var  3 ..  3 : v_409;
var  0 .. 24 : v_410;
var 11 .. 11 : v_411;
var  0 .. 24 : v_412;
var  5 ..  5 : v_413;
var  0 .. 24 : v_414;
var  2 ..  2 : v_415;
var  0 .. 24 : v_416;
var  0 .. 24 : v_417;
var  8 ..  8 : v_418;
var 16 .. 16 : v_419;
var  0 .. 24 : v_420;
var  0 .. 24 : v_421;
var  0 .. 24 : v_422;
var 17 .. 17 : v_423;
var  4 ..  4 : v_424;
var  0 .. 24 : v_425;
var  0 .. 24 : v_426;
var 18 .. 18 : v_427;
var  0 .. 24 : v_428;
var  0 .. 24 : v_429;
var 17 .. 17 : v_430;
var  5 ..  5 : v_431;
var  0 .. 24 : v_432;
var 22 .. 22 : v_433;
var  0 .. 24 : v_434;
var  0 .. 24 : v_435;
var  0 .. 24 : v_436;
var  9 ..  9 : v_437;
var 13 .. 13 : v_438;
var  7 ..  7 : v_439;
var  0 .. 24 : v_440;
var  0 .. 24 : v_441;
var 14 .. 14 : v_442;
var  2 ..  2 : v_443;
var 20 .. 20 : v_444;
var  0 ..  0 : v_445;
var 10 .. 10 : v_446;
var  8 ..  8 : v_447;
var  0 .. 24 : v_448;
var 23 .. 23 : v_449;
var  0 .. 24 : v_450;
var 12 .. 12 : v_451;
var 14 .. 14 : v_452;
var  3 ..  3 : v_453;
var  9 ..  9 : v_454;
var 21 .. 21 : v_455;
var  0 .. 24 : v_456;
var  0 .. 24 : v_457;
var  0 .. 24 : v_458;
var  0 .. 24 : v_459;
var  6 ..  6 : v_460;
var  4 ..  4 : v_461;
var 23 .. 23 : v_462;
var  0 .. 24 : v_463;
var  0 .. 24 : v_464;
var  0 .. 24 : v_465;
var 10 .. 10 : v_466;
var  0 .. 24 : v_467;
var 19 .. 19 : v_468;
var 15 .. 15 : v_469;
var  0 .. 24 : v_470;
var 18 .. 18 : v_471;
var 20 .. 20 : v_472;
var 16 .. 16 : v_473;
var  0 .. 24 : v_474;
var 12 .. 12 : v_475;
var  0 .. 24 : v_476;
var  0 .. 24 : v_477;
var 16 .. 16 : v_478;
var  4 ..  4 : v_479;
var  0 .. 24 : v_480;
var 21 .. 21 : v_481;
var  0 .. 24 : v_482;
var 13 .. 13 : v_483;
var  0 .. 24 : v_484;
var  8 ..  8 : v_485;
var  0 .. 24 : v_486;
var 10 .. 10 : v_487;
var 22 .. 22 : v_488;
var  0 .. 24 : v_489;
var  9 ..  9 : v_490;
var  7 ..  7 : v_491;
var  0 .. 24 : v_492;
var 15 .. 15 : v_493;
var  0 .. 24 : v_494;
var  3 ..  3 : v_495;
var  0 .. 24 : v_496;
var 14 .. 14 : v_497;
var  0 .. 24 : v_498;
var 19 .. 19 : v_499;
var 21 .. 21 : v_500;
var  0 .. 24 : v_501;
var 15 .. 15 : v_502;
var  4 ..  4 : v_503;
var  0 .. 24 : v_504;
var 24 .. 24 : v_505;
var  0 ..  0 : v_506;
var  2 ..  2 : v_507;
var 23 .. 23 : v_508;
var  0 .. 24 : v_509;
var  0 .. 24 : v_510;
var 20 .. 20 : v_511;
var  0 .. 24 : v_512;
var  1 ..  1 : v_513;
var 18 .. 18 : v_514;
var 22 .. 22 : v_515;
var  0 .. 24 : v_516;
var  9 ..  9 : v_517;
var  0 .. 24 : v_518;
var  0 .. 24 : v_519;
var 12 .. 12 : v_520;
var 16 .. 16 : v_521;
var 17 .. 17 : v_522;
var  0 .. 24 : v_523;
var  0 .. 24 : v_524;
var  0 .. 24 : v_525;
var 15 .. 15 : v_526;
var  6 ..  6 : v_527;
var  0 ..  0 : v_528;
var 13 .. 13 : v_529;
var  1 ..  1 : v_530;
var  2 ..  2 : v_531;
var  0 .. 24 : v_532;
var  0 .. 24 : v_533;
var  7 ..  7 : v_534;
var 20 .. 20 : v_535;
var  5 ..  5 : v_536;
var  0 .. 24 : v_537;
var  0 .. 24 : v_538;
var  0 .. 24 : v_539;
var 24 .. 24 : v_540;
var  0 .. 24 : v_541;
var  0 .. 24 : v_542;
var 14 .. 14 : v_543;
var 12 .. 12 : v_544;
var  8 ..  8 : v_545;
var  0 .. 24 : v_546;
var  0 .. 24 : v_547;
var  0 .. 24 : v_548;
var 18 .. 18 : v_549;
var  0 .. 24 : v_550;
var 14 .. 14 : v_551;
var  0 .. 24 : v_552;
var  5 ..  5 : v_553;
var 12 .. 12 : v_554;
var  0 .. 24 : v_555;
var  0 .. 24 : v_556;
var  8 ..  8 : v_557;
var  0 .. 24 : v_558;
var 23 .. 23 : v_559;
var  3 ..  3 : v_560;
var  0 .. 24 : v_561;
var 16 .. 16 : v_562;
var  0 .. 24 : v_563;
var 15 .. 15 : v_564;
var  0 .. 24 : v_565;
var  0 .. 24 : v_566;
var  0 .. 24 : v_567;
var 24 .. 24 : v_568;
var  1 ..  1 : v_569;
var  9 ..  9 : v_570;
var 19 .. 19 : v_571;
var  0 .. 24 : v_572;
var  0 ..  0 : v_573;
var 11 .. 11 : v_574;
var 19 .. 19 : v_575;
var  0 .. 24 : v_576;
var  0 .. 24 : v_577;
var 12 .. 12 : v_578;
var  1 ..  1 : v_579;
var  0 .. 24 : v_580;
var 16 .. 16 : v_581;
var  5 ..  5 : v_582;
var 11 .. 11 : v_583;
var  0 .. 24 : v_584;
var  0 .. 24 : v_585;
var  0 .. 24 : v_586;
var  0 .. 24 : v_587;
var 15 .. 15 : v_588;
var 17 .. 17 : v_589;
var  0 .. 24 : v_590;
var  0 ..  0 : v_591;
var  0 .. 24 : v_592;
var  0 .. 24 : v_593;
var  8 ..  8 : v_594;
var 13 .. 13 : v_595;
var  6 ..  6 : v_596;
var  9 ..  9 : v_597;
var 10 .. 10 : v_598;
var 22 .. 22 : v_599;
var 23 .. 23 : v_600;
var  4 ..  4 : v_601;
var  0 ..  0 : v_602;
var  0 .. 24 : v_603;
var 18 .. 18 : v_604;
var  0 .. 24 : v_605;
var  0 .. 24 : v_606;
var  6 ..  6 : v_607;
var  0 .. 24 : v_608;
var 21 .. 21 : v_609;
var 17 .. 17 : v_610;
var  0 .. 24 : v_611;
var  8 ..  8 : v_612;
var  0 .. 24 : v_613;
var 14 .. 14 : v_614;
var 11 .. 11 : v_615;
var  0 .. 24 : v_616;
var  7 ..  7 : v_617;
var 10 .. 10 : v_618;
var  0 .. 24 : v_619;
var  0 .. 24 : v_620;
var 22 .. 22 : v_621;
var  0 .. 24 : v_622;
var 15 .. 15 : v_623;
var  0 .. 24 : v_624;

array[1 .. 625] of var int: var_array =
	[ v_0, v_1, v_2, v_3, v_4, v_5, v_6, v_7, v_8, v_9, v_10, 
	v_11, v_12, v_13, v_14, v_15, v_16, v_17, v_18, v_19, v_20, 
	v_21, v_22, v_23, v_24, v_25, v_26, v_27, v_28, v_29, v_30, 
	v_31, v_32, v_33, v_34, v_35, v_36, v_37, v_38, v_39, v_40, 
	v_41, v_42, v_43, v_44, v_45, v_46, v_47, v_48, v_49, v_50, 
	v_51, v_52, v_53, v_54, v_55, v_56, v_57, v_58, v_59, v_60, 
	v_61, v_62, v_63, v_64, v_65, v_66, v_67, v_68, v_69, v_70, 
	v_71, v_72, v_73, v_74, v_75, v_76, v_77, v_78, v_79, v_80, 
	v_81, v_82, v_83, v_84, v_85, v_86, v_87, v_88, v_89, v_90, 
	v_91, v_92, v_93, v_94, v_95, v_96, v_97, v_98, v_99, v_100, 
	v_101, v_102, v_103, v_104, v_105, v_106, v_107, v_108, v_109, v_110, 
	v_111, v_112, v_113, v_114, v_115, v_116, v_117, v_118, v_119, v_120, 
	v_121, v_122, v_123, v_124, v_125, v_126, v_127, v_128, v_129, v_130, 
	v_131, v_132, v_133, v_134, v_135, v_136, v_137, v_138, v_139, v_140, 
	v_141, v_142, v_143, v_144, v_145, v_146, v_147, v_148, v_149, v_150, 
	v_151, v_152, v_153, v_154, v_155, v_156, v_157, v_158, v_159, v_160, 
	v_161, v_162, v_163, v_164, v_165, v_166, v_167, v_168, v_169, v_170, 
	v_171, v_172, v_173, v_174, v_175, v_176, v_177, v_178, v_179, v_180, 
	v_181, v_182, v_183, v_184, v_185, v_186, v_187, v_188, v_189, v_190, 
	v_191, v_192, v_193, v_194, v_195, v_196, v_197, v_198, v_199, v_200, 
	v_201, v_202, v_203, v_204, v_205, v_206, v_207, v_208, v_209, v_210, 
	v_211, v_212, v_213, v_214, v_215, v_216, v_217, v_218, v_219, v_220, 
	v_221, v_222, v_223, v_224, v_225, v_226, v_227, v_228, v_229, v_230, 
	v_231, v_232, v_233, v_234, v_235, v_236, v_237, v_238, v_239, v_240, 
	v_241, v_242, v_243, v_244, v_245, v_246, v_247, v_248, v_249, v_250, 
	v_251, v_252, v_253, v_254, v_255, v_256, v_257, v_258, v_259, v_260, 
	v_261, v_262, v_263, v_264, v_265, v_266, v_267, v_268, v_269, v_270, 
	v_271, v_272, v_273, v_274, v_275, v_276, v_277, v_278, v_279, v_280, 
	v_281, v_282, v_283, v_284, v_285, v_286, v_287, v_288, v_289, v_290, 
	v_291, v_292, v_293, v_294, v_295, v_296, v_297, v_298, v_299, v_300, 
	v_301, v_302, v_303, v_304, v_305, v_306, v_307, v_308, v_309, v_310, 
	v_311, v_312, v_313, v_314, v_315, v_316, v_317, v_318, v_319, v_320, 
	v_321, v_322, v_323, v_324, v_325, v_326, v_327, v_328, v_329, v_330, 
	v_331, v_332, v_333, v_334, v_335, v_336, v_337, v_338, v_339, v_340, 
	v_341, v_342, v_343, v_344, v_345, v_346, v_347, v_348, v_349, v_350, 
	v_351, v_352, v_353, v_354, v_355, v_356, v_357, v_358, v_359, v_360, 
	v_361, v_362, v_363, v_364, v_365, v_366, v_367, v_368, v_369, v_370, 
	v_371, v_372, v_373, v_374, v_375, v_376, v_377, v_378, v_379, v_380, 
	v_381, v_382, v_383, v_384, v_385, v_386, v_387, v_388, v_389, v_390, 
	v_391, v_392, v_393, v_394, v_395, v_396, v_397, v_398, v_399, v_400, 
	v_401, v_402, v_403, v_404, v_405, v_406, v_407, v_408, v_409, v_410, 
	v_411, v_412, v_413, v_414, v_415, v_416, v_417, v_418, v_419, v_420, 
	v_421, v_422, v_423, v_424, v_425, v_426, v_427, v_428, v_429, v_430, 
	v_431, v_432, v_433, v_434, v_435, v_436, v_437, v_438, v_439, v_440, 
	v_441, v_442, v_443, v_444, v_445, v_446, v_447, v_448, v_449, v_450, 
	v_451, v_452, v_453, v_454, v_455, v_456, v_457, v_458, v_459, v_460, 
	v_461, v_462, v_463, v_464, v_465, v_466, v_467, v_468, v_469, v_470, 
	v_471, v_472, v_473, v_474, v_475, v_476, v_477, v_478, v_479, v_480, 
	v_481, v_482, v_483, v_484, v_485, v_486, v_487, v_488, v_489, v_490, 
	v_491, v_492, v_493, v_494, v_495, v_496, v_497, v_498, v_499, v_500, 
	v_501, v_502, v_503, v_504, v_505, v_506, v_507, v_508, v_509, v_510, 
	v_511, v_512, v_513, v_514, v_515, v_516, v_517, v_518, v_519, v_520, 
	v_521, v_522, v_523, v_524, v_525, v_526, v_527, v_528, v_529, v_530, 
	v_531, v_532, v_533, v_534, v_535, v_536, v_537, v_538, v_539, v_540, 
	v_541, v_542, v_543, v_544, v_545, v_546, v_547, v_548, v_549, v_550, 
	v_551, v_552, v_553, v_554, v_555, v_556, v_557, v_558, v_559, v_560, 
	v_561, v_562, v_563, v_564, v_565, v_566, v_567, v_568, v_569, v_570, 
	v_571, v_572, v_573, v_574, v_575, v_576, v_577, v_578, v_579, v_580, 
	v_581, v_582, v_583, v_584, v_585, v_586, v_587, v_588, v_589, v_590, 
	v_591, v_592, v_593, v_594, v_595, v_596, v_597, v_598, v_599, v_600, 
	v_601, v_602, v_603, v_604, v_605, v_606, v_607, v_608, v_609, v_610, 
	v_611, v_612, v_613, v_614, v_615, v_616, v_617, v_618, v_619, v_620, 
	v_621, v_622, v_623, v_624];


constraint all_different([v_0, v_1, v_2, v_3, v_4, v_5, v_6, v_7, v_8, v_9, v_10, v_11, v_12, v_13, v_14, v_15, v_16, v_17, v_18, v_19, v_20, v_21, v_22, v_23, v_24]);

constraint all_different([v_25, v_26, v_27, v_28, v_29, v_30, v_31, v_32, v_33, v_34, v_35, v_36, v_37, v_38, v_39, v_40, v_41, v_42, v_43, v_44, v_45, v_46, v_47, v_48, v_49]);

constraint all_different([v_50, v_51, v_52, v_53, v_54, v_55, v_56, v_57, v_58, v_59, v_60, v_61, v_62, v_63, v_64, v_65, v_66, v_67, v_68, v_69, v_70, v_71, v_72, v_73, v_74]);

constraint all_different([v_75, v_76, v_77, v_78, v_79, v_80, v_81, v_82, v_83, v_84, v_85, v_86, v_87, v_88, v_89, v_90, v_91, v_92, v_93, v_94, v_95, v_96, v_97, v_98, v_99]);

constraint all_different([v_100, v_101, v_102, v_103, v_104, v_105, v_106, v_107, v_108, v_109, v_110, v_111, v_112, v_113, v_114, v_115, v_116, v_117, v_118, v_119, v_120, v_121, v_122, v_123, v_124]);

constraint all_different([v_125, v_126, v_127, v_128, v_129, v_130, v_131, v_132, v_133, v_134, v_135, v_136, v_137, v_138, v_139, v_140, v_141, v_142, v_143, v_144, v_145, v_146, v_147, v_148, v_149]);

constraint all_different([v_150, v_151, v_152, v_153, v_154, v_155, v_156, v_157, v_158, v_159, v_160, v_161, v_162, v_163, v_164, v_165, v_166, v_167, v_168, v_169, v_170, v_171, v_172, v_173, v_174]);

constraint all_different([v_175, v_176, v_177, v_178, v_179, v_180, v_181, v_182, v_183, v_184, v_185, v_186, v_187, v_188, v_189, v_190, v_191, v_192, v_193, v_194, v_195, v_196, v_197, v_198, v_199]);

constraint all_different([v_200, v_201, v_202, v_203, v_204, v_205, v_206, v_207, v_208, v_209, v_210, v_211, v_212, v_213, v_214, v_215, v_216, v_217, v_218, v_219, v_220, v_221, v_222, v_223, v_224]);

constraint all_different([v_225, v_226, v_227, v_228, v_229, v_230, v_231, v_232, v_233, v_234, v_235, v_236, v_237, v_238, v_239, v_240, v_241, v_242, v_243, v_244, v_245, v_246, v_247, v_248, v_249]);

constraint all_different([v_250, v_251, v_252, v_253, v_254, v_255, v_256, v_257, v_258, v_259, v_260, v_261, v_262, v_263, v_264, v_265, v_266, v_267, v_268, v_269, v_270, v_271, v_272, v_273, v_274]);

constraint all_different([v_275, v_276, v_277, v_278, v_279, v_280, v_281, v_282, v_283, v_284, v_285, v_286, v_287, v_288, v_289, v_290, v_291, v_292, v_293, v_294, v_295, v_296, v_297, v_298, v_299]);

constraint all_different([v_300, v_301, v_302, v_303, v_304, v_305, v_306, v_307, v_308, v_309, v_310, v_311, v_312, v_313, v_314, v_315, v_316, v_317, v_318, v_319, v_320, v_321, v_322, v_323, v_324]);

constraint all_different([v_325, v_326, v_327, v_328, v_329, v_330, v_331, v_332, v_333, v_334, v_335, v_336, v_337, v_338, v_339, v_340, v_341, v_342, v_343, v_344, v_345, v_346, v_347, v_348, v_349]);

constraint all_different([v_350, v_351, v_352, v_353, v_354, v_355, v_356, v_357, v_358, v_359, v_360, v_361, v_362, v_363, v_364, v_365, v_366, v_367, v_368, v_369, v_370, v_371, v_372, v_373, v_374]);

constraint all_different([v_375, v_376, v_377, v_378, v_379, v_380, v_381, v_382, v_383, v_384, v_385, v_386, v_387, v_388, v_389, v_390, v_391, v_392, v_393, v_394, v_395, v_396, v_397, v_398, v_399]);

constraint all_different([v_400, v_401, v_402, v_403, v_404, v_405, v_406, v_407, v_408, v_409, v_410, v_411, v_412, v_413, v_414, v_415, v_416, v_417, v_418, v_419, v_420, v_421, v_422, v_423, v_424]);

constraint all_different([v_425, v_426, v_427, v_428, v_429, v_430, v_431, v_432, v_433, v_434, v_435, v_436, v_437, v_438, v_439, v_440, v_441, v_442, v_443, v_444, v_445, v_446, v_447, v_448, v_449]);

constraint all_different([v_450, v_451, v_452, v_453, v_454, v_455, v_456, v_457, v_458, v_459, v_460, v_461, v_462, v_463, v_464, v_465, v_466, v_467, v_468, v_469, v_470, v_471, v_472, v_473, v_474]);

constraint all_different([v_475, v_476, v_477, v_478, v_479, v_480, v_481, v_482, v_483, v_484, v_485, v_486, v_487, v_488, v_489, v_490, v_491, v_492, v_493, v_494, v_495, v_496, v_497, v_498, v_499]);

constraint all_different([v_500, v_501, v_502, v_503, v_504, v_505, v_506, v_507, v_508, v_509, v_510, v_511, v_512, v_513, v_514, v_515, v_516, v_517, v_518, v_519, v_520, v_521, v_522, v_523, v_524]);

constraint all_different([v_525, v_526, v_527, v_528, v_529, v_530, v_531, v_532, v_533, v_534, v_535, v_536, v_537, v_538, v_539, v_540, v_541, v_542, v_543, v_544, v_545, v_546, v_547, v_548, v_549]);

constraint all_different([v_550, v_551, v_552, v_553, v_554, v_555, v_556, v_557, v_558, v_559, v_560, v_561, v_562, v_563, v_564, v_565, v_566, v_567, v_568, v_569, v_570, v_571, v_572, v_573, v_574]);

constraint all_different([v_575, v_576, v_577, v_578, v_579, v_580, v_581, v_582, v_583, v_584, v_585, v_586, v_587, v_588, v_589, v_590, v_591, v_592, v_593, v_594, v_595, v_596, v_597, v_598, v_599]);

constraint all_different([v_600, v_601, v_602, v_603, v_604, v_605, v_606, v_607, v_608, v_609, v_610, v_611, v_612, v_613, v_614, v_615, v_616, v_617, v_618, v_619, v_620, v_621, v_622, v_623, v_624]);

constraint all_different([v_0, v_25, v_50, v_75, v_100, v_125, v_150, v_175, v_200, v_225, v_250, v_275, v_300, v_325, v_350, v_375, v_400, v_425, v_450, v_475, v_500, v_525, v_550, v_575, v_600]);

constraint all_different([v_1, v_26, v_51, v_76, v_101, v_126, v_151, v_176, v_201, v_226, v_251, v_276, v_301, v_326, v_351, v_376, v_401, v_426, v_451, v_476, v_501, v_526, v_551, v_576, v_601]);

constraint all_different([v_2, v_27, v_52, v_77, v_102, v_127, v_152, v_177, v_202, v_227, v_252, v_277, v_302, v_327, v_352, v_377, v_402, v_427, v_452, v_477, v_502, v_527, v_552, v_577, v_602]);

constraint all_different([v_3, v_28, v_53, v_78, v_103, v_128, v_153, v_178, v_203, v_228, v_253, v_278, v_303, v_328, v_353, v_378, v_403, v_428, v_453, v_478, v_503, v_528, v_553, v_578, v_603]);

constraint all_different([v_4, v_29, v_54, v_79, v_104, v_129, v_154, v_179, v_204, v_229, v_254, v_279, v_304, v_329, v_354, v_379, v_404, v_429, v_454, v_479, v_504, v_529, v_554, v_579, v_604]);

constraint all_different([v_5, v_30, v_55, v_80, v_105, v_130, v_155, v_180, v_205, v_230, v_255, v_280, v_305, v_330, v_355, v_380, v_405, v_430, v_455, v_480, v_505, v_530, v_555, v_580, v_605]);

constraint all_different([v_6, v_31, v_56, v_81, v_106, v_131, v_156, v_181, v_206, v_231, v_256, v_281, v_306, v_331, v_356, v_381, v_406, v_431, v_456, v_481, v_506, v_531, v_556, v_581, v_606]);

constraint all_different([v_7, v_32, v_57, v_82, v_107, v_132, v_157, v_182, v_207, v_232, v_257, v_282, v_307, v_332, v_357, v_382, v_407, v_432, v_457, v_482, v_507, v_532, v_557, v_582, v_607]);

constraint all_different([v_8, v_33, v_58, v_83, v_108, v_133, v_158, v_183, v_208, v_233, v_258, v_283, v_308, v_333, v_358, v_383, v_408, v_433, v_458, v_483, v_508, v_533, v_558, v_583, v_608]);

constraint all_different([v_9, v_34, v_59, v_84, v_109, v_134, v_159, v_184, v_209, v_234, v_259, v_284, v_309, v_334, v_359, v_384, v_409, v_434, v_459, v_484, v_509, v_534, v_559, v_584, v_609]);

constraint all_different([v_10, v_35, v_60, v_85, v_110, v_135, v_160, v_185, v_210, v_235, v_260, v_285, v_310, v_335, v_360, v_385, v_410, v_435, v_460, v_485, v_510, v_535, v_560, v_585, v_610]);

constraint all_different([v_11, v_36, v_61, v_86, v_111, v_136, v_161, v_186, v_211, v_236, v_261, v_286, v_311, v_336, v_361, v_386, v_411, v_436, v_461, v_486, v_511, v_536, v_561, v_586, v_611]);

constraint all_different([v_12, v_37, v_62, v_87, v_112, v_137, v_162, v_187, v_212, v_237, v_262, v_287, v_312, v_337, v_362, v_387, v_412, v_437, v_462, v_487, v_512, v_537, v_562, v_587, v_612]);

constraint all_different([v_13, v_38, v_63, v_88, v_113, v_138, v_163, v_188, v_213, v_238, v_263, v_288, v_313, v_338, v_363, v_388, v_413, v_438, v_463, v_488, v_513, v_538, v_563, v_588, v_613]);

constraint all_different([v_14, v_39, v_64, v_89, v_114, v_139, v_164, v_189, v_214, v_239, v_264, v_289, v_314, v_339, v_364, v_389, v_414, v_439, v_464, v_489, v_514, v_539, v_564, v_589, v_614]);

constraint all_different([v_15, v_40, v_65, v_90, v_115, v_140, v_165, v_190, v_215, v_240, v_265, v_290, v_315, v_340, v_365, v_390, v_415, v_440, v_465, v_490, v_515, v_540, v_565, v_590, v_615]);

constraint all_different([v_16, v_41, v_66, v_91, v_116, v_141, v_166, v_191, v_216, v_241, v_266, v_291, v_316, v_341, v_366, v_391, v_416, v_441, v_466, v_491, v_516, v_541, v_566, v_591, v_616]);

constraint all_different([v_17, v_42, v_67, v_92, v_117, v_142, v_167, v_192, v_217, v_242, v_267, v_292, v_317, v_342, v_367, v_392, v_417, v_442, v_467, v_492, v_517, v_542, v_567, v_592, v_617]);

constraint all_different([v_18, v_43, v_68, v_93, v_118, v_143, v_168, v_193, v_218, v_243, v_268, v_293, v_318, v_343, v_368, v_393, v_418, v_443, v_468, v_493, v_518, v_543, v_568, v_593, v_618]);

constraint all_different([v_19, v_44, v_69, v_94, v_119, v_144, v_169, v_194, v_219, v_244, v_269, v_294, v_319, v_344, v_369, v_394, v_419, v_444, v_469, v_494, v_519, v_544, v_569, v_594, v_619]);

constraint all_different([v_20, v_45, v_70, v_95, v_120, v_145, v_170, v_195, v_220, v_245, v_270, v_295, v_320, v_345, v_370, v_395, v_420, v_445, v_470, v_495, v_520, v_545, v_570, v_595, v_620]);

constraint all_different([v_21, v_46, v_71, v_96, v_121, v_146, v_171, v_196, v_221, v_246, v_271, v_296, v_321, v_346, v_371, v_396, v_421, v_446, v_471, v_496, v_521, v_546, v_571, v_596, v_621]);

constraint all_different([v_22, v_47, v_72, v_97, v_122, v_147, v_172, v_197, v_222, v_247, v_272, v_297, v_322, v_347, v_372, v_397, v_422, v_447, v_472, v_497, v_522, v_547, v_572, v_597, v_622]);

constraint all_different([v_23, v_48, v_73, v_98, v_123, v_148, v_173, v_198, v_223, v_248, v_273, v_298, v_323, v_348, v_373, v_398, v_423, v_448, v_473, v_498, v_523, v_548, v_573, v_598, v_623]);

constraint all_different([v_24, v_49, v_74, v_99, v_124, v_149, v_174, v_199, v_224, v_249, v_274, v_299, v_324, v_349, v_374, v_399, v_424, v_449, v_474, v_499, v_524, v_549, v_574, v_599, v_624]);

solve ::int_search(var_array, first_fail, indomain, complete) satisfy;
include "globals.mzn";