begin penalties

idle_student=1e+10
idle_hour_per_student=1e+9
idle_hour_position=1e+3
hours_per_day(7-7)=1e+7
hours_per_student_per_day(7-7)=1e+8
subject_order_per_day=1e+6
subject_order_per_week=1e+2
subject_distribution_per_week=1e+7
hours_per_schedule=1e+4
hours_per_class=1e+9
idle_hour_per_teacher=1e+7
teacher_day_load=1e+7
locations_matching_priority=1e+6
locations_matching_event=1e+3
locations_matching_teacher=1e+0
schedule_asymmetry=0
group_bellow_minimum=100
group_above_maximum=100
subject_2nd=3, 6, 9
subject_forced=25
subject_type=2
subject_missing=15
active_groups=1
active_subjects_bellow(1)=1
active_subjects_above(1)=10000
day_off_teacher=100
empty_hours_teacher=100
collide_teacher=1000000
off_subject_teacher=10
off_class_teacher=20
forbidden_hours_teacher=300
free_released_teacher=10000

num_of_groups=1000000
group_member=1000000000
group_size_1year(30)=100000000
group_size_2years(26)=100000000
group_size_3andmoreyears(23)=100000000
group_change=100
mixed_years=1000
end penalties

begin metas

$ods="02"
$kolektiv="ant+biz+ceg+gog+gol+grž+gus+koz+kraS+mah+maj+nov+rem+rož+sle+ste+šir+šte+vas+zab+zam"
$zgosoc="1/23=21"
$nekje="1/02=11=21=22=23=24=31=32=33=34=GLE>Rač"
$nekje2="2/02=11=21=22=23=24=31=32=33=34=GLE"

$standard="1-6/1-5"
$itamajcan="2-9/1-5"
$1tel="1/tel1=tel"
$1trim="1/trim1=trim2"
$2tel="tel1+tel"
$2trim="trim1+trim2"
$standard4="1-9/1-5"
$standard1="1-8/1-5"

$izbirni="0+5-7/1-5"

$nivoji="0-7/1-5"

$telovadnica="1/tel=trim1"

end metas

begin hours

1, "1.ura (07:10-07:55)"
2, "2.ura (08:00-08:45)"
3, "3.ura (08:50-09:35)"
4, "4.ura (10:00-10:45)"
5, "5.ura (10:50-11:35)"
6, "6.ura (11:40-12:25)"
7, "7.ura (12:30-13:15)"
8, "8.ura (13:20-14:05)"
9, "9.ura (14:10-14:55)"
10, "10.ura (15:00-15:45)"

end hours

begin days

1, 5, "Ponedeljek"
2, 5, "Torek"
3, 5, "Sreda"
4, 5, "Četrtek"
5, 3, "Petek"

end days

begin locations

//  location, capacity, type, name

AVT, 34, ucilnica, "avt"
SIM, 17, ucilnica, "simulator"
SN1, 34, ucilnica1, "SN1"
SN2, 34, ucilnica1, "SN2"
SN3, 34, ucilnica1, "SN3"
SN4, 34, ucilnica1, "SN4"
SN5, 34, ucilnica1, "SN5"
SN7, 34, ucilnica1, "SN7"
SN9, 34, ucilnica1, "SN9"
SP2, 34, ucilnica2, "SP2"
SP3, 34, ucilnica2, "SP3"
SP4, 34, ucilnica2, "SP4"
SP6, 34, ucilnica2, "SP6"
RAČ, 34, racunalnica1, "KRA"
LE1, 34, lab2, "LE1"
LE2, 34, lab2, "LE2"
NN2, 34, ucilnica1, "NN2"
NN3, 34, ucilnica1, "NN3"
NN4, 34, ucilnica1, "NN4"
NN5, 34, ucilnica1, "NN5"

jedilnica, 70, jedilnica, "jedilnica"

TEL, 64, tel, "Telovadnica"

end locations

begin classes
//  class,  color, care-faktor, number-of-students, location, terminus, mandatory-presence, start-time

1pt, 000000, 1, 30, , 1-8/1-2+4 1-9/3 1-7/5, 4-5/1-5, 1-2/(5)
2pt, 000000, 1, 30, , 1-8/1-2+4 1-9/3 1-7/5, 4-5/1-5, 1-2/(5)
3pt, 000000, 1, 25, , 1-8/1-4 1-7/5, 4-5/1-5, 1-2/(5)
4pt, 000000, 1, 24, , 1-8/1-4 1-7/5, 4-5/1-5, 1-2/(5)
1ee, 000000, 1, 22, , 1-8/1-5, 4-5/1-5, 1-2/(5)
2ee, 000000, 1, 22, , 1-8/1-5, 4-5/1-5, 1-2/(5)
3ee, 000000, 1, 22, , 1-8/1-5, 4-5/1-5, 1-2/(5)
4ee, 000000, 1, 26, , 1-8/1-5, 4-5/1-5, 1-2/(5)

end classes

begin teachers

pob, ;2-4 P5, sn1, 2-7/1+4 2-8/2-3, "POBEGA KATJA"
šav, 2-5/2;!3-5 P5, sn3, 2-8/1+3 1-7/2 2-7/4 2-6/5, "ŠAVLE KLAVDIJA"
roš, 0-0/1;2-2, nn2, 1-3/1-4, "EDVARD ROŠKAR"
ugr, 2-2/2;!2-5 P5, sn5, 1-8/1-3 1-7/4-5, "UGRIN KNAP KRISTINA"
ces, !2-5/2;!2-5 P4, sn9, 1-7/1-4 1-6/5, "CESTNIK IGOR"
koc, 2-5/2;3-7 P6, , 1-8/1-3 1-7/4 1-4/5, "KOCJANČIČ MATJAŽ"
steg, 2-5/2;!3-6 P6, , 2-8/1-5, "STEGEL ROBERT"
ožb, 2-5/2;!3-5 P6, tel, 4-8/1 1-6/2+5 1-8/3 1-7/4, "OŽBOLT RAJKO"
sor, 2-5/2;!3-6 P5, nn4, 2-8/1-4 2-7/5, "SORTA ROK"
spa, 1-1;2-4, sn7, 2-8/1+4 1-8/2 1-7/5, "SPACAL MARTIN"
jel, 1-1, avt, 1-3/4 5-8/5, "JELEN BRANKO"
jurk, 1-2/1;1-4, sn2, 1-3/5, "DAVOR JURKOVIĆ"
pov, 1-1;1-1, sn7, 1/1 1-5/5, "IRENA REMEC"
pro, ;!2-4, sp4, 2-3/4, "KARMEN PRODAN GREGORIČ"
šuc, 2-5/2;3-6 P5, nn5, 1-7/1+5 1-8/2-4, "ŠUC TIMOTHY"
dok, 2-5/2;2-5 P5, , 2-8/1-5, "DIMITRI DOKIĆ"
učit, 2-5;3-5 P5, nn3, 1-8/1-4 1-7/5, "NOV UČITELJ"
mark, 2-4/2;1-1 P5, sn2, 1-8/2-4, "MARKAČ MOJCA"
gab, 1-2/1;2-5, sn7, 1-5/5, "DUŠAN GABRIEL"
grž, , tel, 8-9/3, "GINA GRŽINIČ"
marin, !1-3/2;0-4, , 1-8/1-2, "MARINŠEK MARSELL"
kra, 1-3/2;!0-4, rač, 2-8/2 4-8/4, "IGOR KRALJ"
majS, 1-2/1, sp4, 2-3/3 5-8/4, "MAJER SUZANA"
šte, /1;1-1, sp4, 1-3/1 5-8/3, "ŠTEMERGER LORENA"
flor, , , 1-8/4, "FLORJANČIČ ANDREJ"
gus, !1-3/2;!2-5, sn2, 1-7/3-4, "GUSTINČIČ FURLAN LIL."
nov, 0-2/1;!1-4, nn2, 1-3/2 1-8/4, "NOVAK BREDA"
pod, 0-0/1;2-3, nn2, 1-3/2-3 5-7/4 1-7/5, "PODPEČAN ANDREJ"
vas, 1-2/1;1-2, sn7, 1-3/3 5-7/5, "VASIĆ MIRA"

end teachers

begin students

end students

begin courses
end courses

begin fixed courses

2b+2, slo, x, 1pt, mark, sn2, , 3, , "Slovenščina"
4, slo, x, 2ee, pob, sn1, , 3, , "Slovenščina"
3, slo, x, 3ee, pob, sn1, , 5, , "Slovenščina"
3, slo, x, 4ee, pob, sn1, , 5, , "Slovenščina"
2b+1, slo, x, 4pt, gus, sn2, , 3, , "Slovenščina"
2b+2, slo, x, 1ee, mark, sn2, , 4, , "Slovenščina"
4, slo, x, 2pt, pob, sn1, , 3, , "Slovenščina"
2b+2b, slo, x, 3pt, gus, sn2, , 3, , "Slovenščina"

3, mat, x, 1pt, ces, sn9, , 6, , "Matematika"
3, mat, x, 2ee, ces, sn9, , 5, , "Matematika"
3, mat, x, 2pt, ces, sn9, , 3, , "Matematika"
2, mat, x, 4ee, ces, sn9, , 4, , "Matematika"
3, mat, x, 4pt, ces, sn9, , 3, , "Matematika"
3, mat, x, 3ee, ces, sn9, , 3, , "Matematika"
3, mat, x, 3pt, ces, sn9, , 3, , "Matematika"
2b+1, mat, x, 1ee, pov, sn7, , 3, , "Matematika"
4/a+3/b, ang, x, 1pt, šav, sn3, , 3, , "Angleščina"
3, ang, x, 2ee, šav, sn3, , 3, , "Angleščina"
3, ang, x, 2pt, šav, sn3, , 3, , "Angleščina"
3, ang, x, 3ee, šav, sn3, , 6, , "Angleščina"
3, ang, x, 4ee, šav, sn3, , 3, , "Angleščina"
3, ang, x, 3pt, šav, sn3, , 3, , "Angleščina"
3, ang, x, 4pt, šav, sn3, , 3, , "Angleščina"
2b+1, ang, x, 1ee, vas, sn7, , 3, , "Angleščina"
2b, geo, x, 1pt, gab, sn7, , 2, , "Geografija"
2b, man, x, 4pt, sor, nn4, 2-7/1-4, 3, , "Manevriranje in nadzor"
2, tps, x, 3pt, učit, nn3, , 3, , "Tehnika pomorske službe"
2, tps, x, 4pt, učit, nn3, , 3, , "Tehnika pomorske službe"
2b, las, x, 3pt, roš, nn2, , 3, , "Ladijski stroji"
2, pbl, x, 2pt, učit, nn3, , 3, , "Poznavanje blaga"
1, vrm, x, 4pt, sor, nn4, , 3, , "Varstvo pri delu teorija"
2b, vrm.ps, x, 4pt, sor, nn4, 5-8/3-4 L, 3, , "Varstvo pri delu praksa skupina"
2b, geo, x, 3ee, gab, sn7, 1-5/5, 2, , "Geografija"
2, fiz, x, 1pt, pod, nn2, , 5, , "Fizika"
2, fiz, x, 2pt, pod, nn2, , 5, , "Fizika"
2, kem, x, 1pt, nov, nn2, , 3, , "Kemija"
2, fiz, x, 2ee, pod, nn2, , 6, , "Fizika"
2, fiz, x, 3ee, pod, nn2, 1-2/2 6-7/4, 3, , "Fizika"
2, psi, x, 4ee, spa, sn7, , 3, , "psihologija"
2, psi, x, 4pt, spa, sn7, , 3, , "psihologija"
2, itn1, x, 1ee(2./2)+1pt(2./2), ugr, sn5, , 3, , "Italijanščina nadaljevalci 1.EE"
2, itn2, x, 2ee(2./2)+2pt(2./2), ugr, sn5, , 3, , "Italijanščina nadaljevalci 2"
2, itn3, x, 3ee(2./2)+3pt(2./2), ugr, sn5, , 3, , "Italijanščina nadaljevalci 3"
2, švz.in3, x, 3ee(2./2)+3pt(2./2), ožb, tel, , 3, , "Športna vzgoja in3"
2, itn4, x, 4ee(2./2)+4pt(2./2), ugr, sn5, , 3, , "Italijanščina nadaljevalci 4"
2, švz.in, x, 4ee(2./2)+4pt(2./2), ožb, tel, , 3, , "Športna vzgoja in"
2, itz2, x, 2ee(1./2)+2pt(1./2), ugr, sn5, , 3, , "Italijanščina začetniki 2"
2, itz1, x, 1ee(1./2)+1pt(1./2), ugr, sn5, , 3, , "Italijanščina začetniki 1"
2b, ume, x, 2ee, ugr, sn5, , 3, , "umetnost"
2b, ume, x, 4ee, ugr, sn5, , 3, , "umetnost"
2b, ume, x, 2pt, ugr, sn5, , 3, , "umetnost"
2b, lzd, x, 3pt, pro, sp4, , 3, , "Ladijsko zdravstvo"
2, kem, x, 1ee, nov, nn2, , 3, , "Kemija"
2, moc, x, 3pt, učit, nn3, , 3, , "Meteorologija in oceanografija"
1, lrt, x, 4pt, sor, nn4, , 3, , "Potniške ladje"
1, pok, x, 3pt, učit, nn3, , 3, , "Pomorska komunikacija teorija"
1, pok.ps1, x, 3pt(1./2), učit, nn3, 5-8/1-4 5-7/5, 3, , "Pomorska komunikacija praksa 1"
1, pok.ps2, x, 3pt(2./2), učit, nn3, 6-8/1-4 6-7/5 L, 3, , "Pomorska komunikacija praksa 2"
2b+1, nag, x, 2pt, šuc, nn5, , 3, , "Navigacija 2"
2b+1, nag, x, 1pt, šuc, nn5, , 3, , "Navigacija 1"
1, moc.ps1, x, 3pt(1./2), učit, nn3, , 3, , "Meteorologija in oceanografija praksa 1. skupina"
1, moc.ps2, x, 3pt(2./2), učit, nn3, 5-8/1-4 5-7/5 L, 3, , "Meteorologija in oceanografija praksa 2"

2b+1, zgo, x, 1pt, majs, sp4, , 3, , "Zgodovina"
1, zgo, x, 2pt, majs, sp4, , 3, , "Zgodovina"
1, rzu, x, 1pt, mark, sn2, , 3, , "razredna ura"
1, rzu, x, 1ee, koc, sp2, , 3, , "razredna ura"
1, rzu, x, 2pt, šav, sn3, , 3, , "razredna ura"
1, rzu, x, 2ee, ugr, sn5, , 3, , "razredna ura"
1, rzu, x, 3ee, pob, sn1, , 3, , "razredna ura"
1, rzu, x, 3pt, ožb, , , 3, , "razredna ura"
1, rzu, x, 4pt, sor, nn4, , 3, , "razredna ura"
1, rzu, x, 4ee, steg, , , 3, , "razredna ura"
2b+1, zgo, x, 1ee, šte, sp4, , 3, , "Zgodovina"

2b, pom, x, 1pt, sor, nn4, 2-8/1-4, 3, , "Pomorstvo teorija 1. letnik"
2b+1, pom, x, 2pt, sor, nn4, , 3, , "Pomorstvo teorija 2. letnik"
2b+1, pom, x, 3pt, sor, nn4, , 3, , "Pomorstvo teorija 3. letnik"
2b+1, pom, x, 4pt, sor, nn4, 2-5/3-4, 3, , "Pomorstvo teorija 4. letnik"
2b, pom.ps, x, 1pt, sor, nn4, 7-8/1-4, 3, , "Pomorstvo praksa"
2b, pom.ps2, x, 2pt(2./2), sor, nn4, 5-8/1-4 L, 3, , "Pomorstvo praksa 2. letnik 2. skupina"
2b, pom.ps1, x, 2pt(1./2), sor, nn4, 5-8/1-4 L, 3, , "Pomorstvo praksa 2. letnik 1. skupina"
1, pom.ps1, x, 3pt(1./2), sor, nn4, 5-8/1-4 5-7/5 L, 3, , "Pomorstvo praksa 3. letnik"
1, pom.ps2, x, 3pt(2./2), sor, nn4, 5-8/1-4 5-7/5, 3, , "Pomorstvo praksa 3. letnik 2. skupina"
2b+2b+2b, nag, x, 4pt, šuc, nn5, , 3, , "Navigacija teorija 4. letnik"
2b, ena.ps1, x, 3pt(1./2), šuc, sim, 1-3/1-5 F, 3, , "Elektronska navigacija praksa 1"
2b+1/a+2b/b, ena, x, 3pt, šuc, nn5, , 3, , "Elektronska navigacija teorija"
2b, ena.ps2, x, 3pt(2./2), šuc, sim, 1-3/1-5 F, 3, , "Elektronska navigacija praksa 2"
2, švz.f1pt, x, 1pt(1./3)+1pt(2./3), ožb, tel, 1-8/1-5 LF, 1, , "športna vzgoja f1pt"
2, švz.f2pt, x, 2pt(1./3)+2pt(2./3), ožb, tel, 1-8/1-5 LF, 1, , "športna vzgoja f2pt"
2b, švz.d12, x, 1pt(3./3)+2pt(3./3), grž, tel, 1-8/1-2+4-5 1-9/3 LF, 1, , "športna vzgoja d12"
2, švz, x, 1ee, ožb, tel, , 1, , "športna vzgoja"
3, švz, x, 2ee, ožb, tel, , 1, , "športna vzgoja"
2b, nag.ps, x, 1pt, šuc, nn5, 5-8/1-4 L, 1, , "Navigacija praksa"
2b, nag.ps1, x, 2pt(1./2), šuc, nn5, 5-8/1-4 L, 1, , "Navigacija 2. letnik praksa skupina 1"
2b, nag.ps2, x, 2pt(2./2), šuc, nn5, 5-8/1-4 L, 1, , "Navigacija 2. letnik praksa skupina 2"
2b, inf, x, 1pt, kra, sp3, , 1, , "Informatika v pomorstvu "
2b, inf.v, x, 1pt, kra, rač, 7-9/1-5 L, 1, , "Informatika v pomorstvu vaje"
2, itk, x, 1ee, koc, sp2, , 1, , "Informatika s tehniškim komuniciranjem"
1, uip.ps1, x, 2ee(1./2), koc, rač, 1-9/1-4 1-6/5 LF, 3, , "Uporaba IKT pri poslovanju, vaje 1. skupina"
1, uip.ps2, x, 2ee(2./2), koc, rač, 1-9/1-4 1-6/5 LF, 3, , "Uporaba IKT pri poslovanju, vaje 2. skupina"
1, uip, x, 2ee, koc, sp2, , 1, , "Uporaba ITK pri poslovanju 2"
2b, uip, x, 2ee, jurk, sn2, , 3, , "Uporaba ITK pri poslovanju 2"
3, upn, x, 2ee, koc, sp2, , 4, , "Upravljanje s programirljivimi napravami"
3/a+2/b, umn, x, 3ee, koc, sp2, 1-8/1-4 1-5/5, 3, , "Uporaba mikroprocesorskih naprav teorija"
2b/a+3b/b, ure, x, 4ee, flor, le1, , 3, , "Uporaba mikroprocesorskih naprav"
2b, umn.ps1, x, 3ee(1./2), koc, rač, 1-2+7-8/1-4 1-2/5 LF, 3, , "Uporaba mikroprocesorskih naprav 3 praksa skupina 1"
2b, umn.ps2, x, 3ee(2./2), koc, rač, 1-2+7-8/1-4 1-2/5 LF, 3, , "Uporaba mikroprocesorskih naprav 3 praksa skupina 2"
2b, upn.ps1, x, 2ee(1./2), koc, rač, 2-8/2, 2, , "Upravljanje s programirljivimi napravami 2 praksa skupina 1"
2b, upn.ps2, x, 2ee(2./2), koc, rač, 2-8/2, 2, , "Upravljanje s programirljivimi napravami 2 praksa skupina 2"
1, ieki, x, 1ee, steg, le1, 1-8/1+3-5 2-8/2, 1, , "Izdelava električnih in komunikacijskih inštalacij"
2/a+1/b, ppee, x, 4ee, steg, le1, 1-10/1+3-5, 3, , "pridobivanje in pretvarjanje električne energije"
2, ppee, x, 3ee, steg, le1, 1-10/1+3-5, 3, , "pridobivanje in pretvarjanje električne energije 3"
1, lea, x, 4ee, steg, le1, 1-10/1+3-5, 3, , "ladijska elektrotehnika"
2b+2b/a, vro, x, 4ee, jel, avt, , 3, , "vzdrževanje računalniške opreme"
5/a+4/b, pzi, x, 3ee, dok, le1, , 3, , "prenos in zapis informacij"
3/b, pzi, x, 4ee, dok, le1, , 3, , "prenos in zapis informacij"
3, nap, x, 4ee, dok, le1, , 3, , "načrtovanje avtomatiziranih postrojev"
2b, nap.ps1, x, 4ee(1./2), steg, le2, 2-8/4, 3, , "načrtovanje avtomatiziranih postrojev praksa 1. skupina"
2b, nap.ps2, x, 4ee(2./2), steg, le2, 3-8/4, 3, , "načrtovanje avtomatiziranih postrojev praksa 2. skupina"
2b, ure.ps1, x, 4ee(1./2), flor, rač, 1-8/4, 2, , "uporaba regulacij praksa"
2b, ure.ps2, x, 4ee(2./2), flor, rač, 1-8/4, 2, , "uporaba regulacij praksa 2. skupina"
3/a+4/b, zpv, x, 3ee, dok, le1, , 3, , "zajemanje in obdelava procesnih veličin"
1, zpv.ps1, x, 3ee(1./2), dok, sp6, 1-8/1-5 LF, 5, , "zajemanje in obdelava procesnih veličin praksa skupina 1"
1, zpv.ps2, x, 3ee(2./2), dok, sp6, 1-8/1-5 LF, 5, , "zajemanje in obdelava procesnih veličin praksa skupina 2"
2b, npen.ps1, x, 2ee(1./2), marin+steg, sp6, 2-8/2, 2, , "načrtovanje in priklopi električnih naprav praksa skupina 1"
2b+2, npen, x, 2ee, dok, le1, , 3, , "načrtovanje in priklopi električnih naprav teorija"
2b, npen.ps2, x, 2ee(2./2), marin+steg, sp6, 2-8/2, 2, , "načrtovanje in priklopi električnih naprav praksa skupina 2"
1, ieki.ps1, x, 1ee(1./2), steg, sp6, 1-10/1-4 5-7/5, 1, , "Izdelava električnih in komunikacijskih inštalacij praksa skupina 1"
1, ieki.ps2, x, 1ee(2./2), steg, sp6, 1-10/1-5 L, 1, , "Izdelava električnih in komunikacijskih inštalacij praksa skupina 2"
2b+2, iov, x, 1ee, steg, !le1, 1-10/1+3-5, 3, , "Izdelava osnovnih vezij"
2b, iov.ps1, x, 1ee(1./2), marin+steg, sp6, 2-8/1, 3, , "Izdelava osnovnih vezij praksa skupina 1"
2b, iov.ps2, x, 1ee(2./2), marin+steg, sp6, 1-8/1, 5, , "Izdelava osnovnih vezij praksa skupina 2"
2b, itk.s1, x, 1ee(1./2), koc, rač, 1-9/1, 1, , "Informatika s tehniškim komuniciranjem vaje skupina 1"
2b, itk.s2, x, 1ee(2./2), koc, rač, 1-9/1, 1, , "Informatika s tehniškim komuniciranjem vaje skupina 2"

  //  how-many, cours, type, class, teacher, location, terminus, weight, group-size/tolerance, name

2, itz4, x, 4ee(1./2)+4pt(1./2), ugr, sn5, , 3, , "Italijanščina začetniki 4"
2, švz.iz, x, 4ee(1./2)+4pt(1./2), ožb, tel, , 3, , "Športna vzgoja iz"
2, itz3, x, 3ee(1./2)+3pt(1./2), ugr, sn5, , 3, , "Italijanščina začetniki 3"
2, švz.iz3, x, 3ee(1./2)+3pt(1./2), ožb, tel, , 3, , "Športna vzgoja iz3"
end fixed courses

begin extras
noidleall 1ee 1pt 2ee 2pt 3ee 3pt 4ee 4pt
synchour 2b npen.ps1(2ee), 2b upn.ps2(2ee)
synchour 2b npen.ps2(2ee), 2b upn.ps1(2ee)
syncday 2b iov.ps1(1ee), 1 iov(1ee)
conjunct (itn1 itn2 itn3 itn4 itz2 itz1 itz4 itz3) (pok.ps1 pok.ps2 moc.ps1 moc.ps2 pom.ps2 pom.ps1 ena.ps1 ena.ps2 nag.ps1 nag.ps2 uip.ps1 uip.ps2 umn.ps1 umn.ps2 upn.ps1 upn.ps2 nap.ps1 nap.ps2 ure.ps1 ure.ps2 zpv.ps1 zpv.ps2 npen.ps1 npen.ps2 ieki.ps1 ieki.ps2 iov.ps1 iov.ps2 itk.s1 itk.s2)
conjunct (itn1 itn2 itn3 itn4 itz2 itz1 itz4 itz3) (švz.f1pt švz.f2pt švz.d12)
conjunct (švz.in3 švz.in švz.f1pt švz.f2pt švz.d12 švz švz.iz švz.iz3) (pok.ps1 pok.ps2 moc.ps1 moc.ps2 pom.ps2 pom.ps1 ena.ps1 ena.ps2 nag.ps1 nag.ps2 uip.ps1 uip.ps2 umn.ps1 umn.ps2 upn.ps1 upn.ps2 nap.ps1 nap.ps2 ure.ps1 ure.ps2 zpv.ps1 zpv.ps2 npen.ps1 npen.ps2 ieki.ps1 ieki.ps2 iov.ps1 iov.ps2 itk.s1 itk.s2)
allowed iov.ps1(1ee) iov.ps2(1ee) iov(1ee)
allowed inf inf.v
set 1 ieki.ps1(1ee), 1 ieki.ps2(1ee)
synchour 2b nag.ps(1pt), 2b pom.ps(1pt)
disjunct pom.ps(1pt) nag.ps(1pt)
sequence 1 pom.ps2(3pt), 1 moc.ps2(3pt)
sequence 1 moc.ps1(3pt), 1 pom.ps1(3pt)
sequence 1 pok.ps1(3pt), 1 pok.ps2(3pt)
set 2b pom(4pt), 1 vrm(4pt)
allowed vrm(4pt)
synchour 2b pom.ps2(2pt), 2b nag.ps1(2pt)
synchour 2b pom.ps1(2pt), 2b nag.ps2(2pt)
synchour 2b ure.ps1(4ee), 2b nap.ps2(4ee)
synchour 2b ure.ps2(4ee), 2b nap.ps1(4ee)
allowed pom pom.ps2 pom.ps1
allowed nag nag.ps2 nag.ps1
allowed moc moc.ps2 moc.ps1
allowed umn umn.ps2 umn.ps1
allowed upn upn.ps2 upn.ps1
allowed npen npen.ps2 npen.ps1
allowed nag nag.ps2 nag.ps1 nag.ps
allowed ure ure.ps1
allowed ure ure.ps2

end extras

begin portal
end portal