Impossible

vocabulary Paringen {
    type Club
    type Team
    type Klasse
    type Pairnr isa int


    Pairnummer(Team, Pairnr)

    SpeeltIn(Team) : Club
    HoortTot(Team) : Klasse

}

theory SchedulingRules : Paringen {
    ! t1 t2: SpeeltIn(t1)=SpeeltIn(t2) => ?p: Pairnummer(t1, p) & Pairnummer(t2,p).
    // Ploegen van eenzelfde club willen eenzelfde paringsnummer

    ! t1 t2: t1~=t2 & HoortTot(t1)=HoortTot(t2) => ~?p: Pairnummer(t1,p)& Pairnummer(t2,p).
    // Voor alle ploegen in dezelfde klasse geldt dat ze een ander paringsnummer moeten krijgen



}



structure LimLigaParing : Paringen {
Club =
{Pelt; Dworp; Jean_Jaures; Zottegem; Tessenderlo; Braine_lAlleud; Waregem; Europchess; Mol; Brussels; Amay; Bredene; Tournai; St_Niklaas; Veurne; KISK; St_Ghislain; KSK_Rochade; Wavre; KASK; BYE; Anthisnes; Geraardsbergen; The_Belgian_CC; LSV_Chesspirant; Leopoldsburg; TSM; Auvelais; Herve; Welkenraedt; Caissa_Europe; Deurne; Turnhout; Estaimpuis; NLS; Wirtzfeld; Anderlues; zes666; CRELEL; Aalst; Geel; Opwijk; Marche; Borgerhout; DZD_Halle; HCC; Hoboken; KBSK; Leuven; Deux_Fous_Diogene_1__; Pantin; St_Amandsberg; Westerlo; CREB; CREC; Izegem; Kapelle_od_Bos; Gilly; Boom; Woluwe; KGSRL; Noorderwijk; KSK47_Eynatten; Roeselare; ChessLooks_Lier; KOSK; Drie_Torens; Soignies; Paul_Van_Herck; Mechelen; Burcht; EisdenMSK_Dilsen; Landegem; EDC; SCRR; Lier; Beveren; Malmedy; Deinze; Ans; Oudenaarde; MSV; Artevelde; Philippeville; Nivelles; Tielt; Wetteren; Dendermonde; Fontaine; Excelsior; Pion_68; Brasschaat; Landen; DT_Leuven; Lasne_Waterloo; Namur; Boitsfort; Willebroek; Oude_God; Temse; Midden_Limburg; Aalter; Knokke; Leuze; Wachtebeke; Deux_Fous_Diogene}

 Team =
{Pelt1; Pelt2; Pelt3; Dworp1; Dworp2; Jean_Jaures1; Jean_Jaures2; Jean_Jaures3; Zottegem1; Zottegem2; Zottegem3; Zottegem4; Zottegem5; Zottegem6; Zottegem7; Tessenderlo1; Braine_lAlleud1; Braine_lAlleud2; Braine_lAlleud3; Waregem1; Waregem2; Waregem3; Europchess1; Europchess2; Europchess3; Europchess4; Mol1; Brussels1; Brussels2; Brussels3; Brussels4; Brussels5; Brussels6; Amay1; Amay2; Amay3; Amay4; Bredene1; Bredene2; Tournai1; Tournai2; St_Niklaas1; St_Niklaas2; St_Niklaas3; Veurne1; KISK1; KISK2; KISK3; St_Ghislain1; KSK_Rochade1; KSK_Rochade2; KSK_Rochade3; KSK_Rochade4; KSK_Rochade5; KSK_Rochade6; KSK_Rochade7; Wavre1; Wavre2; Wavre3; KASK1; KASK2; BYE5B; BYE5C; BYE5E; BYE5F; BYE5G; BYE5I; BYE5J; BYE5K; BYE5L; BYE5M; BYE5N; Anthisnes1; Geraardsbergen1; Geraardsbergen2; Geraardsbergen3; The_Belgian_CC1; The_Belgian_CC2; The_Belgian_CC3; The_Belgian_CC4; LSV_Chesspirant1; LSV_Chesspirant2; LSV_Chesspirant3; LSV_Chesspirant5; LSV_Chesspirant4; LSV_Chesspirant7; LSV_Chesspirant6; LSV_Chesspirant9; LSV_Chesspirant8; Leopoldsburg1; TSM1; TSM2; TSM3; TSM4; TSM5; Auvelais1; Auvelais2; Herve1; Herve2; Welkenraedt1; Welkenraedt2; Caissa_Europe1; Caissa_Europe2; Caissa_Europe3; Caissa_Europe4; Deurne1; Deurne2; Deurne3; Deurne4; Deurne5; Turnhout1; Turnhout2; Estaimpuis1; Estaimpuis2; NLS1; Wirtzfeld1; Wirtzfeld2; Wirtzfeld3; Wirtzfeld4; Anderlues1; Anderlues2; zes6661; CRELEL1; CRELEL2; CRELEL3; CRELEL4; CRELEL5; Aalst1; Aalst2; Geel1; Geel2; Geel3; Geel4; Opwijk1; Opwijk2; Opwijk3; Opwijk4; Marche1; Marche2; Marche3; Borgerhout1; Borgerhout2; Borgerhout3; DZD_Halle1; DZD_Halle2; HCC1; Hoboken1; Hoboken2; Hoboken3; Hoboken4; KBSK1; KBSK2; KBSK3; KBSK4; KBSK5; KBSK7; KBSK6; KBSK8; Leuven1; Leuven2; Leuven3; Leuven4; Leuven5; Leuven6; Deux_Fous_Diogene_1__FF; Pantin1; Pantin2; Pantin3; Pantin4; Pantin5; Pantin6; St_Amandsberg1; St_Amandsberg2; St_Amandsberg3; Westerlo1; Westerlo2; Westerlo3; CREB1; CREB2; CREB3; CREC1; CREC2; CREC3; CREC4; CREC5; Izegem1; Izegem2; Kapelle_od_Bos1; Kapelle_od_Bos2; Kapelle_od_Bos3; Gilly1; Gilly2; Boom1; Woluwe1; Woluwe2; KGSRL1; KGSRL2; KGSRL3; KGSRL4; KGSRL5; KGSRL6; KGSRL7; KGSRL8; KGSRL9; KGSRL10; KGSRL11; KGSRL13; KGSRL12; KGSRL14; KGSRL15; Noorderwijk1; KSK47_Eynatten1; KSK47_Eynatten2; KSK47_Eynatten3; KSK47_Eynatten4; KSK47_Eynatten5; KSK47_Eynatten6; Roeselare1; Roeselare2; ChessLooks_Lier1; ChessLooks_Lier2; KOSK1; KOSK2; KOSK3; KOSK4; KOSK5; Drie_Torens1; Soignies1; Paul_Van_Herck1; Mechelen1; Mechelen2; Mechelen3; Mechelen4; Mechelen5; Mechelen6; Mechelen7; Mechelen8; Mechelen9; Burcht1; EisdenMSK_Dilsen1; EisdenMSK_Dilsen2; EisdenMSK_Dilsen3; Landegem1; Landegem2; Landegem3; Landegem4; Landegem5; EDC1; EDC2; EDC3; SCRR1; Lier1; Lier2; Beveren1; Beveren2; Malmedy1; Deinze1; Ans1; Ans2; Ans3; Ans4; Oudenaarde1; Oudenaarde2; MSV1; MSV2; MSV3; MSV4; MSV5; Artevelde1; Artevelde2; Artevelde3; Philippeville1; Philippeville2; Nivelles1; Tielt1; Tielt2; Wetteren1; Wetteren2; Wetteren3; Wetteren4; Wetteren5; Dendermonde1; Dendermonde2; Fontaine1; Fontaine2; Fontaine3; Fontaine4; Fontaine5; Fontaine6; Excelsior1; Pion_681; Brasschaat1; Brasschaat2; Brasschaat3; Brasschaat4; Brasschaat5; Brasschaat6; Brasschaat7; Brasschaat8; Brasschaat9; Brasschaat10; Brasschaat11; Landen1; Landen2; DT_Leuven1; DT_Leuven2; DT_Leuven3; Lasne_Waterloo1; Lasne_Waterloo2; Namur1; Namur2; Namur3; Namur4; Namur5; Namur6; Boitsfort1; Boitsfort2; Boitsfort3; Boitsfort4; Boitsfort5; Willebroek1; Oude_God1; Oude_God2; Oude_God3; Oude_God4; Oude_God5; Temse1; Temse2; Temse3; Temse4; Midden_Limburg1; Midden_Limburg2; Midden_Limburg3; Midden_Limburg4; Aalter1; Aalter2; Aalter3; Knokke1; Leuze1; Leuze2; Leuze3; Wachtebeke1; Wachtebeke2; Wachtebeke3; Wachtebeke4; Wachtebeke5; Deux_Fous_Diogene2; Deux_Fous_Diogene3}

 HoortTot =
{Pelt1 -> A3C; Pelt2 -> A5I; Pelt3 -> A5L; Dworp1 -> A3B; Dworp2 -> A5B; Jean_Jaures1 -> A2A; Jean_Jaures2 -> A3A; Jean_Jaures3 -> A4D; Zottegem1 -> A2A; Zottegem2 -> A2B; Zottegem3 -> A3A; Zottegem4 -> A4C; Zottegem5 -> A4E; Zottegem6 -> A4F; Zottegem7 -> A5G; Tessenderlo1 -> A4H; Braine_lAlleud1 -> A4B; Braine_lAlleud2 -> A5B; Braine_lAlleud3 -> A5C; Waregem1 -> A3A; Waregem2 -> A5D; Waregem3 -> A5E; Europchess1 -> A2B; Europchess2 -> A3B; Europchess3 -> A4F; Europchess4 -> A5B; Mol1 -> A5I; Brussels1 -> A3B; Brussels2 -> A4F; Brussels3 -> A4G; Brussels4 -> A5A; Brussels5 -> A5J; Brussels6 -> A5K; Amay1 -> A1; Amay2 -> A2B; Amay3 -> A4A; Amay4 -> A4B; Bredene1 -> A4C; Bredene2 -> A5D; Tournai1 -> A3A; Tournai2 -> A5C; St_Niklaas1 -> A4G; St_Niklaas2 -> A5A; St_Niklaas3 -> A5H; Veurne1 -> A5D; KISK1 -> A3A; KISK2 -> A4C; KISK3 -> A5D; St_Ghislain1 -> A5N; KSK_Rochade1 -> A1; KSK_Rochade2 -> A2B; KSK_Rochade3 -> A3D; KSK_Rochade4 -> A4A; KSK_Rochade5 -> A5L; KSK_Rochade6 -> A5M; KSK_Rochade7 -> A5M; Wavre1 -> A2B; Wavre2 -> A4B; Wavre3 -> A5B; KASK1 -> A4G; KASK2 -> A5H; BYE5B -> A5B; BYE5C -> A5C; BYE5E -> A5E; BYE5F -> A5F; BYE5G -> A5G; BYE5I -> A5I; BYE5J -> A5J; BYE5K -> A5K; BYE5L -> A5L; BYE5M -> A5M; BYE5N -> A5N; Anthisnes1 -> A5M; Geraardsbergen1 -> A4E; Geraardsbergen2 -> A5C; Geraardsbergen3 -> A5E; The_Belgian_CC1 -> A2A; The_Belgian_CC2 -> A4F; The_Belgian_CC3 -> A4G; The_Belgian_CC4 -> A5B; LSV_Chesspirant1 -> A3B; LSV_Chesspirant2 -> A4D; LSV_Chesspirant3 -> A5A; LSV_Chesspirant5 -> A5E; LSV_Chesspirant4 -> A5E; LSV_Chesspirant7 -> A5F; LSV_Chesspirant6 -> A5F; LSV_Chesspirant9 -> A5G; LSV_Chesspirant8 -> A5G; Leopoldsburg1 -> A5I; TSM1 -> A1; TSM2 -> A4H; TSM3 -> A5A; TSM4 -> A5J; TSM5 -> A5K; Auvelais1 -> A5C; Auvelais2 -> A5N; Herve1 -> A3D; Herve2 -> A5M; Welkenraedt1 -> A4A; Welkenraedt2 -> A5M; Caissa_Europe1 -> A4B; Caissa_Europe2 -> A4F; Caissa_Europe3 -> A5C; Caissa_Europe4 -> A5N; Deurne1 -> A2A; Deurne2 -> A3C; Deurne3 -> A4H; Deurne4 -> A5H; Deurne5 -> A5I; Turnhout1 -> A4H; Turnhout2 -> A5I; Estaimpuis1 -> A4C; Estaimpuis2 -> A4D; NLS1 -> A3C; Wirtzfeld1 -> A1; Wirtzfeld2 -> A3D; Wirtzfeld3 -> A5L; Wirtzfeld4 -> A5M; Anderlues1 -> A4B; Anderlues2 -> A5N; zes6661 -> A5L; CRELEL1 -> A1; CRELEL2 -> A3D; CRELEL3 -> A4A; CRELEL4 -> A5L; CRELEL5 -> A5M; Aalst1 -> A4E; Aalst2 -> A5G; Geel1 -> A2B; Geel2 -> A4H; Geel3 -> A5I; Geel4 -> A5K; Opwijk1 -> A3B; Opwijk2 -> A3C; Opwijk3 -> A4E; Opwijk4 -> A5A; Marche1 -> A3D; Marche2 -> A4A; Marche3 -> A5M; Borgerhout1 -> A2A; Borgerhout2 -> A3C; Borgerhout3 -> A4H; DZD_Halle1 -> A5B; DZD_Halle2 -> A5C; HCC1 -> A5N; Hoboken1 -> A2A; Hoboken2 -> A4G; Hoboken3 -> A4H; Hoboken4 -> A5H; KBSK1 -> A1; KBSK2 -> A2A; KBSK3 -> A4C; KBSK4 -> A4C; KBSK5 -> A4D; KBSK7 -> A5D; KBSK6 -> A5D; KBSK8 -> A5E; Leuven1 -> A3C; Leuven2 -> A4F; Leuven3 -> A4G; Leuven4 -> A5A; Leuven5 -> A5J; Leuven6 -> A5K; Deux_Fous_Diogene_1__FF -> A4F; Pantin1 -> A3B; Pantin2 -> A4F; Pantin3 -> A4G; Pantin4 -> A5B; Pantin5 -> A5J; Pantin6 -> A5K; St_Amandsberg1 -> A3A; St_Amandsberg2 -> A4D; St_Amandsberg3 -> A5F; Westerlo1 -> A2B; Westerlo2 -> A5I; Westerlo3 -> A5K; CREB1 -> A2B; CREB2 -> A3B; CREB3 -> A5B; CREC1 -> A1; CREC2 -> A3D; CREC3 -> A4B; CREC4 -> A5C; CREC5 -> A5N; Izegem1 -> A4C; Izegem2 -> A5D; Kapelle_od_Bos1 -> A4E; Kapelle_od_Bos2 -> A5A; Kapelle_od_Bos3 -> A5J; Gilly1 -> A3D; Gilly2 -> A4B; Boom1 -> A5A; Woluwe1 -> A4F; Woluwe2 -> A5B; KGSRL1 -> A1; KGSRL2 -> A2A; KGSRL3 -> A3A; KGSRL4 -> A3B; KGSRL5 -> A3C; KGSRL6 -> A4D; KGSRL7 -> A4E; KGSRL8 -> A5D; KGSRL9 -> A5D; KGSRL10 -> A5E; KGSRL11 -> A5E; KGSRL13 -> A5F; KGSRL12 -> A5F; KGSRL14 -> A5G; KGSRL15 -> A5G; Noorderwijk1 -> A5I; KSK47_Eynatten1 -> A1; KSK47_Eynatten2 -> A3D; KSK47_Eynatten3 -> A4A; KSK47_Eynatten4 -> A4A; KSK47_Eynatten5 -> A5L; KSK47_Eynatten6 -> A5M; Roeselare1 -> A3A; Roeselare2 -> A5D; ChessLooks_Lier1 -> A5H; ChessLooks_Lier2 -> A5I; KOSK1 -> A2A; KOSK2 -> A3A; KOSK3 -> A4C; KOSK4 -> A4D; KOSK5 -> A5D; Drie_Torens1 -> A5F; Soignies1 -> A5C; Paul_Van_Herck1 -> A4H; Mechelen1 -> A3B; Mechelen2 -> A3C; Mechelen3 -> A4F; Mechelen4 -> A4H; Mechelen5 -> A5A; Mechelen6 -> A5H; Mechelen7 -> A5I; Mechelen8 -> A5J; Mechelen9 -> A5K; Burcht1 -> A5H; EisdenMSK_Dilsen1 -> A2B; EisdenMSK_Dilsen2 -> A4A; EisdenMSK_Dilsen3 -> A5L; Landegem1 -> A3A; Landegem2 -> A4C; Landegem3 -> A4D; Landegem4 -> A4E; Landegem5 -> A5E; EDC1 -> A4B; EDC2 -> A5C; EDC3 -> A5N; SCRR1 -> A4E; Lier1 -> A4H; Lier2 -> A5H; Beveren1 -> A4G; Beveren2 -> A5H; Malmedy1 -> A4A; Deinze1 -> A5F; Ans1 -> A4A; Ans2 -> A4B; Ans3 -> A5L; Ans4 -> A5M; Oudenaarde1 -> A5F; Oudenaarde2 -> A5G; MSV1 -> A3A; MSV2 -> A4D; MSV3 -> A5E; MSV4 -> A5F; MSV5 -> A5G; Artevelde1 -> A4D; Artevelde2 -> A4E; Artevelde3 -> A5F; Philippeville1 -> A4B; Philippeville2 -> A5N; Nivelles1 -> A5B; Tielt1 -> A4C; Tielt2 -> A5D; Wetteren1 -> A2A; Wetteren2 -> A3B; Wetteren3 -> A5A; Wetteren4 -> A5F; Wetteren5 -> A5G; Dendermonde1 -> A4E; Dendermonde2 -> A5G; Fontaine1 -> A1; Fontaine2 -> A2B; Fontaine3 -> A3D; Fontaine4 -> A4B; Fontaine5 -> A5C; Fontaine6 -> A5N; Excelsior1 -> A5J; Pion_681 -> A4C; Brasschaat1 -> A1; Brasschaat2 -> A3B; Brasschaat3 -> A3C; Brasschaat4 -> A4E; Brasschaat5 -> A4G; Brasschaat6 -> A4H; Brasschaat7 -> A5A; Brasschaat8 -> A5G; Brasschaat9 -> A5H; Brasschaat10 -> A5J; Brasschaat11 -> A5K; Landen1 -> A3D; Landen2 -> A5L; DT_Leuven1 -> A3C; DT_Leuven2 -> A5J; DT_Leuven3 -> A5K; Lasne_Waterloo1 -> A4B; Lasne_Waterloo2 -> A5B; Namur1 -> A2B; Namur2 -> A3D; Namur3 -> A4A; Namur4 -> A5L; Namur5 -> A5M; Namur6 -> A5N; Boitsfort1 -> A2B; Boitsfort2 -> A4F; Boitsfort3 -> A4G; Boitsfort4 -> A5J; Boitsfort5 -> A5K; Willebroek1 -> A5A; Oude_God1 -> A3C; Oude_God2 -> A4G; Oude_God3 -> A4H; Oude_God4 -> A5H; Oude_God5 -> A5I; Temse1 -> A2A; Temse2 -> A3C; Temse3 -> A4G; Temse4 -> A5H; Midden_Limburg1 -> A3D; Midden_Limburg2 -> A4A; Midden_Limburg3 -> A4F; Midden_Limburg4 -> A5L; Aalter1 -> A3A; Aalter2 -> A4D; Aalter3 -> A5E; Knokke1 -> A4C; Leuze1 -> A3B; Leuze2 -> A5C; Leuze3 -> A5N; Wachtebeke1 -> A1; Wachtebeke2 -> A2A; Wachtebeke3 -> A4D; Wachtebeke4 -> A4E; Wachtebeke5 -> A5E; Deux_Fous_Diogene2 -> A5J; Deux_Fous_Diogene3 -> A5K}

 SpeeltIn =
{Pelt1 -> Pelt; Pelt2 -> Pelt; Pelt3 -> Pelt; Dworp1 -> Dworp; Dworp2 -> Dworp; Jean_Jaures1 -> Jean_Jaures; Jean_Jaures2 -> Jean_Jaures; Jean_Jaures3 -> Jean_Jaures; Zottegem1 -> Zottegem; Zottegem2 -> Zottegem; Zottegem3 -> Zottegem; Zottegem4 -> Zottegem; Zottegem5 -> Zottegem; Zottegem6 -> Zottegem; Zottegem7 -> Zottegem; Tessenderlo1 -> Tessenderlo; Braine_lAlleud1 -> Braine_lAlleud; Braine_lAlleud2 -> Braine_lAlleud; Braine_lAlleud3 -> Braine_lAlleud; Waregem1 -> Waregem; Waregem2 -> Waregem; Waregem3 -> Waregem; Europchess1 -> Europchess; Europchess2 -> Europchess; Europchess3 -> Europchess; Europchess4 -> Europchess; Mol1 -> Mol; Brussels1 -> Brussels; Brussels2 -> Brussels; Brussels3 -> Brussels; Brussels4 -> Brussels; Brussels5 -> Brussels; Brussels6 -> Brussels; Amay1 -> Amay; Amay2 -> Amay; Amay3 -> Amay; Amay4 -> Amay; Bredene1 -> Bredene; Bredene2 -> Bredene; Tournai1 -> Tournai; Tournai2 -> Tournai; St_Niklaas1 -> St_Niklaas; St_Niklaas2 -> St_Niklaas; St_Niklaas3 -> St_Niklaas; Veurne1 -> Veurne; KISK1 -> KISK; KISK2 -> KISK; KISK3 -> KISK; St_Ghislain1 -> St_Ghislain; KSK_Rochade1 -> KSK_Rochade; KSK_Rochade2 -> KSK_Rochade; KSK_Rochade3 -> KSK_Rochade; KSK_Rochade4 -> KSK_Rochade; KSK_Rochade5 -> KSK_Rochade; KSK_Rochade6 -> KSK_Rochade; KSK_Rochade7 -> KSK_Rochade; Wavre1 -> Wavre; Wavre2 -> Wavre; Wavre3 -> Wavre; KASK1 -> KASK; KASK2 -> KASK; BYE5B -> BYE; BYE5C -> BYE; BYE5E -> BYE; BYE5F -> BYE; BYE5G -> BYE; BYE5I -> BYE; BYE5J -> BYE; BYE5K -> BYE; BYE5L -> BYE; BYE5M -> BYE; BYE5N -> BYE; Anthisnes1 -> Anthisnes; Geraardsbergen1 -> Geraardsbergen; Geraardsbergen2 -> Geraardsbergen; Geraardsbergen3 -> Geraardsbergen; The_Belgian_CC1 -> The_Belgian_CC; The_Belgian_CC2 -> The_Belgian_CC; The_Belgian_CC3 -> The_Belgian_CC; The_Belgian_CC4 -> The_Belgian_CC; LSV_Chesspirant1 -> LSV_Chesspirant; LSV_Chesspirant2 -> LSV_Chesspirant; LSV_Chesspirant3 -> LSV_Chesspirant; LSV_Chesspirant5 -> LSV_Chesspirant; LSV_Chesspirant4 -> LSV_Chesspirant; LSV_Chesspirant7 -> LSV_Chesspirant; LSV_Chesspirant6 -> LSV_Chesspirant; LSV_Chesspirant9 -> LSV_Chesspirant; LSV_Chesspirant8 -> LSV_Chesspirant; Leopoldsburg1 -> Leopoldsburg; TSM1 -> TSM; TSM2 -> TSM; TSM3 -> TSM; TSM4 -> TSM; TSM5 -> TSM; Auvelais1 -> Auvelais; Auvelais2 -> Auvelais; Herve1 -> Herve; Herve2 -> Herve; Welkenraedt1 -> Welkenraedt; Welkenraedt2 -> Welkenraedt; Caissa_Europe1 -> Caissa_Europe; Caissa_Europe2 -> Caissa_Europe; Caissa_Europe3 -> Caissa_Europe; Caissa_Europe4 -> Caissa_Europe; Deurne1 -> Deurne; Deurne2 -> Deurne; Deurne3 -> Deurne; Deurne4 -> Deurne; Deurne5 -> Deurne; Turnhout1 -> Turnhout; Turnhout2 -> Turnhout; Estaimpuis1 -> Estaimpuis; Estaimpuis2 -> Estaimpuis; NLS1 -> NLS; Wirtzfeld1 -> Wirtzfeld; Wirtzfeld2 -> Wirtzfeld; Wirtzfeld3 -> Wirtzfeld; Wirtzfeld4 -> Wirtzfeld; Anderlues1 -> Anderlues; Anderlues2 -> Anderlues; zes6661 -> zes666; CRELEL1 -> CRELEL; CRELEL2 -> CRELEL; CRELEL3 -> CRELEL; CRELEL4 -> CRELEL; CRELEL5 -> CRELEL; Aalst1 -> Aalst; Aalst2 -> Aalst; Geel1 -> Geel; Geel2 -> Geel; Geel3 -> Geel; Geel4 -> Geel; Opwijk1 -> Opwijk; Opwijk2 -> Opwijk; Opwijk3 -> Opwijk; Opwijk4 -> Opwijk; Marche1 -> Marche; Marche2 -> Marche; Marche3 -> Marche; Borgerhout1 -> Borgerhout; Borgerhout2 -> Borgerhout; Borgerhout3 -> Borgerhout; DZD_Halle1 -> DZD_Halle; DZD_Halle2 -> DZD_Halle; HCC1 -> HCC; Hoboken1 -> Hoboken; Hoboken2 -> Hoboken; Hoboken3 -> Hoboken; Hoboken4 -> Hoboken; KBSK1 -> KBSK; KBSK2 -> KBSK; KBSK3 -> KBSK; KBSK4 -> KBSK; KBSK5 -> KBSK; KBSK7 -> KBSK; KBSK6 -> KBSK; KBSK8 -> KBSK; Leuven1 -> Leuven; Leuven2 -> Leuven; Leuven3 -> Leuven; Leuven4 -> Leuven; Leuven5 -> Leuven; Leuven6 -> Leuven; Deux_Fous_Diogene_1__FF -> Deux_Fous_Diogene_1__; Pantin1 -> Pantin; Pantin2 -> Pantin; Pantin3 -> Pantin; Pantin4 -> Pantin; Pantin5 -> Pantin; Pantin6 -> Pantin; St_Amandsberg1 -> St_Amandsberg; St_Amandsberg2 -> St_Amandsberg; St_Amandsberg3 -> St_Amandsberg; Westerlo1 -> Westerlo; Westerlo2 -> Westerlo; Westerlo3 -> Westerlo; CREB1 -> CREB; CREB2 -> CREB; CREB3 -> CREB; CREC1 -> CREC; CREC2 -> CREC; CREC3 -> CREC; CREC4 -> CREC; CREC5 -> CREC; Izegem1 -> Izegem; Izegem2 -> Izegem; Kapelle_od_Bos1 -> Kapelle_od_Bos; Kapelle_od_Bos2 -> Kapelle_od_Bos; Kapelle_od_Bos3 -> Kapelle_od_Bos; Gilly1 -> Gilly; Gilly2 -> Gilly; Boom1 -> Boom; Woluwe1 -> Woluwe; Woluwe2 -> Woluwe; KGSRL1 -> KGSRL; KGSRL2 -> KGSRL; KGSRL3 -> KGSRL; KGSRL4 -> KGSRL; KGSRL5 -> KGSRL; KGSRL6 -> KGSRL; KGSRL7 -> KGSRL; KGSRL8 -> KGSRL; KGSRL9 -> KGSRL; KGSRL10 -> KGSRL; KGSRL11 -> KGSRL; KGSRL13 -> KGSRL; KGSRL12 -> KGSRL; KGSRL14 -> KGSRL; KGSRL15 -> KGSRL; Noorderwijk1 -> Noorderwijk; KSK47_Eynatten1 -> KSK47_Eynatten; KSK47_Eynatten2 -> KSK47_Eynatten; KSK47_Eynatten3 -> KSK47_Eynatten; KSK47_Eynatten4 -> KSK47_Eynatten; KSK47_Eynatten5 -> KSK47_Eynatten; KSK47_Eynatten6 -> KSK47_Eynatten; Roeselare1 -> Roeselare; Roeselare2 -> Roeselare; ChessLooks_Lier1 -> ChessLooks_Lier; ChessLooks_Lier2 -> ChessLooks_Lier; KOSK1 -> KOSK; KOSK2 -> KOSK; KOSK3 -> KOSK; KOSK4 -> KOSK; KOSK5 -> KOSK; Drie_Torens1 -> Drie_Torens; Soignies1 -> Soignies; Paul_Van_Herck1 -> Paul_Van_Herck; Mechelen1 -> Mechelen; Mechelen2 -> Mechelen; Mechelen3 -> Mechelen; Mechelen4 -> Mechelen; Mechelen5 -> Mechelen; Mechelen6 -> Mechelen; Mechelen7 -> Mechelen; Mechelen8 -> Mechelen; Mechelen9 -> Mechelen; Burcht1 -> Burcht; EisdenMSK_Dilsen1 -> EisdenMSK_Dilsen; EisdenMSK_Dilsen2 -> EisdenMSK_Dilsen; EisdenMSK_Dilsen3 -> EisdenMSK_Dilsen; Landegem1 -> Landegem; Landegem2 -> Landegem; Landegem3 -> Landegem; Landegem4 -> Landegem; Landegem5 -> Landegem; EDC1 -> EDC; EDC2 -> EDC; EDC3 -> EDC; SCRR1 -> SCRR; Lier1 -> Lier; Lier2 -> Lier; Beveren1 -> Beveren; Beveren2 -> Beveren; Malmedy1 -> Malmedy; Deinze1 -> Deinze; Ans1 -> Ans; Ans2 -> Ans; Ans3 -> Ans; Ans4 -> Ans; Oudenaarde1 -> Oudenaarde; Oudenaarde2 -> Oudenaarde; MSV1 -> MSV; MSV2 -> MSV; MSV3 -> MSV; MSV4 -> MSV; MSV5 -> MSV; Artevelde1 -> Artevelde; Artevelde2 -> Artevelde; Artevelde3 -> Artevelde; Philippeville1 -> Philippeville; Philippeville2 -> Philippeville; Nivelles1 -> Nivelles; Tielt1 -> Tielt; Tielt2 -> Tielt; Wetteren1 -> Wetteren; Wetteren2 -> Wetteren; Wetteren3 -> Wetteren; Wetteren4 -> Wetteren; Wetteren5 -> Wetteren; Dendermonde1 -> Dendermonde; Dendermonde2 -> Dendermonde; Fontaine1 -> Fontaine; Fontaine2 -> Fontaine; Fontaine3 -> Fontaine; Fontaine4 -> Fontaine; Fontaine5 -> Fontaine; Fontaine6 -> Fontaine; Excelsior1 -> Excelsior; Pion_681 -> Pion_68; Brasschaat1 -> Brasschaat; Brasschaat2 -> Brasschaat; Brasschaat3 -> Brasschaat; Brasschaat4 -> Brasschaat; Brasschaat5 -> Brasschaat; Brasschaat6 -> Brasschaat; Brasschaat7 -> Brasschaat; Brasschaat8 -> Brasschaat; Brasschaat9 -> Brasschaat; Brasschaat10 -> Brasschaat; Brasschaat11 -> Brasschaat; Landen1 -> Landen; Landen2 -> Landen; DT_Leuven1 -> DT_Leuven; DT_Leuven2 -> DT_Leuven; DT_Leuven3 -> DT_Leuven; Lasne_Waterloo1 -> Lasne_Waterloo; Lasne_Waterloo2 -> Lasne_Waterloo; Namur1 -> Namur; Namur2 -> Namur; Namur3 -> Namur; Namur4 -> Namur; Namur5 -> Namur; Namur6 -> Namur; Boitsfort1 -> Boitsfort; Boitsfort2 -> Boitsfort; Boitsfort3 -> Boitsfort; Boitsfort4 -> Boitsfort; Boitsfort5 -> Boitsfort; Willebroek1 -> Willebroek; Oude_God1 -> Oude_God; Oude_God2 -> Oude_God; Oude_God3 -> Oude_God; Oude_God4 -> Oude_God; Oude_God5 -> Oude_God; Temse1 -> Temse; Temse2 -> Temse; Temse3 -> Temse; Temse4 -> Temse; Midden_Limburg1 -> Midden_Limburg; Midden_Limburg2 -> Midden_Limburg; Midden_Limburg3 -> Midden_Limburg; Midden_Limburg4 -> Midden_Limburg; Aalter1 -> Aalter; Aalter2 -> Aalter; Aalter3 -> Aalter; Knokke1 -> Knokke; Leuze1 -> Leuze; Leuze2 -> Leuze; Leuze3 -> Leuze; Wachtebeke1 -> Wachtebeke; Wachtebeke2 -> Wachtebeke; Wachtebeke3 -> Wachtebeke; Wachtebeke4 -> Wachtebeke; Wachtebeke5 -> Wachtebeke; Deux_Fous_Diogene2 -> Deux_Fous_Diogene; Deux_Fous_Diogene3 -> Deux_Fous_Diogene}


    Pairnr = {1..12}
}



procedure main(){
    stdoptions.cpsupport=true
    printmodels(modelexpand(SchedulingRules,LimLigaParing))

}