/usr/share/mozart/doc/demo/node9.html is in mozart-doc 1.4.0-8ubuntu1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
| 1 2 | <!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
<HTML><HEAD><TITLE>Problem description: KathHochWS9596.ozt</TITLE><LINK href="ozdoc.css" rel="stylesheet" type="text/css"></HEAD><BODY><TABLE align="center" border="0" cellpadding="6" cellspacing="6" class="nav"><TR bgcolor="#DDDDDD"><TD><A href="college.html">- Up -</A></TD><TD><A href="node10.html#code.college.main">Next >></A></TD></TR></TABLE><DIV class="unnumbered" id="code.college.problem"><H3><A name="code.college.problem">Problem description: <CODE>KathHochWS9596.ozt</CODE></A></H3><P class="margin"><A href="College/KathHochWS9596.ozt">Source File</A></P><P> </P><BLOCKQUOTE><PRE>problem(<BR>         professors:<BR>            profs(<BR>                   <SPAN class="string">'Teacher1'</SPAN>: inDays([monday tuesday wednesday])<BR>                   <SPAN class="string">'Teacher2'</SPAN>   : nil<BR>                   <SPAN class="string">'Teacher3'</SPAN>  : inDays([monday tuesday wednesday])<BR>                   <SPAN class="string">'Teacher4'</SPAN>: weekInterval(11<SPAN class="keyword">#</SPAN>00<SPAN class="keyword">#</SPAN>16<SPAN class="keyword">#</SPAN>15)<BR>                   <SPAN class="string">'Teacher5'</SPAN>  : inDays([monday tuesday wednesday])<BR>                   <SPAN class="string">'Teacher6'</SPAN>    : nil<BR>                   <SPAN class="string">'Teacher7'</SPAN>  : noT(inDays([monday]))<BR>                   <SPAN class="string">'Teacher8'</SPAN>  : fix(monday<SPAN class="keyword">#</SPAN>8<SPAN class="keyword">#</SPAN>15)<BR>                   <SPAN class="string">'Teacher9'</SPAN>   : nil<BR>                   <SPAN class="string">'Teacher10'</SPAN>     : inDays([monday tuesday])<BR>                   <SPAN class="string">'Teacher11'</SPAN>: nil<BR>                   <SPAN class="string">'Teacher12'</SPAN> : oR(dayInterval(monday   <SPAN class="keyword">#</SPAN> 8<SPAN class="keyword">#</SPAN>00<SPAN class="keyword">#</SPAN>12<SPAN class="keyword">#</SPAN>00)<BR>                                   dayInterval(tuesday  <SPAN class="keyword">#</SPAN> 8<SPAN class="keyword">#</SPAN>00<SPAN class="keyword">#</SPAN>12<SPAN class="keyword">#</SPAN>00)<BR>                                   dayInterval(wednesday<SPAN class="keyword">#</SPAN>13<SPAN class="keyword">#</SPAN>00<SPAN class="keyword">#</SPAN>16<SPAN class="keyword">#</SPAN>15))<BR>                   <SPAN class="string">'Teacher13'</SPAN> : nil<BR>                   <SPAN class="string">'Teacher14'</SPAN>    : noT(inDays([monday wednesday]))<BR>                   <SPAN class="string">'Teacher15'</SPAN>: inDays([monday tuesday wednesday])<BR>                   <SPAN class="string">'Teacher16'</SPAN>     : nil<BR>                   <SPAN class="string">'Teacher17'</SPAN> : nil<BR>                   <SPAN class="string">'Teacher18'</SPAN>    : nil<BR>                   <SPAN class="string">'Teacher19'</SPAN>: weekInterval(12<SPAN class="keyword">#</SPAN>45<SPAN class="keyword">#</SPAN>16<SPAN class="keyword">#</SPAN>15)<BR>                   <SPAN class="string">'Teacher20'</SPAN>: nil<BR>                   <SPAN class="string">'Teacher21'</SPAN>        : nil<BR>                   <SPAN class="string">'Teacher22'</SPAN>        : nil<BR>                   <SPAN class="string">'Teacher23'</SPAN>: nil<BR>                   <SPAN class="string">'Teacher24'</SPAN>        : nil<BR>                   <SPAN class="string">'Teacher25'</SPAN>        : nil<BR>                   <SPAN class="string">'Teacher26'</SPAN>        : nil<BR>                   <SPAN class="string">'Teacher27'</SPAN>: nil<BR>                   <SPAN class="string">'Teacher28'</SPAN>        : nil<BR>                   <SPAN class="string">'Teacher29'</SPAN>: nil<BR>                   <SPAN class="string">'Teacher30'</SPAN>        : nil<BR>                   <SPAN class="string">'Teacher31'</SPAN>        : nil<BR>                   <SPAN class="string">'Teacher32'</SPAN>        : nil<BR>                   <SPAN class="string">'Teacher33'</SPAN>        : nil<BR>                   <SPAN class="string">'Teacher34'</SPAN>: nil<BR>                 )<BR> <BR>         lectures:<BR>            lectures(second:<BR>                        semester( vm:<BR>                                     [<BR>                                       l(name:<SPAN class="string">'2.1'</SPAN> dur:6 size:big  <BR>                                         professor:<SPAN class="string">'Teacher1'</SPAN>)<BR>                                       l(name:<SPAN class="string">'2.2'</SPAN> dur:6 size:other<BR>                                         professor:<SPAN class="string">'Teacher2'</SPAN>)<BR>                                       l(name:<SPAN class="string">'2.3'</SPAN> dur:6 size:other<BR>                                         professor:<SPAN class="string">'Teacher3'</SPAN>)<BR>                                     ]<BR>                                  v4:<BR>                                     [<BR>                                       l(name:<SPAN class="string">'2.4.1'</SPAN> dur: 6 size:small<BR>                                         professor:<SPAN class="string">'Teacher1'</SPAN>)<BR>                                       l(name:<SPAN class="string">'2.4.2'</SPAN> dur: 6 size:small<BR>                                         professor:<SPAN class="string">'Teacher4'</SPAN>)<BR>                                     ]<BR>                                  v5:<BR>                                     [<BR>                                       l(name:<SPAN class="string">'2.5.1'</SPAN> dur: 6 size:small<BR>                                         professor:<SPAN class="string">'Teacher5'</SPAN>)<BR>                                       l(name:<SPAN class="string">'2.5.2'</SPAN> dur: 6 size:small<BR>                                         professor:<SPAN class="string">'Teacher3'</SPAN>)<BR>                                     ]<BR>                                  v6:<BR>                                     [<BR>                                       l(name:<SPAN class="string">'2.6'</SPAN> dur: 3 size:big<BR>                                         professor:<SPAN class="string">'Teacher6'</SPAN> <BR>                                         constraints: fix(friday<SPAN class="keyword">#</SPAN>8<SPAN class="keyword">#</SPAN>15))<BR>                                     ]<BR>                                  v7:<BR>                                     [<BR>                                       l(name:<SPAN class="string">'2.7'</SPAN> dur: 3 size:big<BR>                                        constraints: fix(thursday<SPAN class="keyword">#</SPAN>10<SPAN class="keyword">#</SPAN>15)<BR>                                         professor:<SPAN class="string">'Teacher7'</SPAN>)<BR>                                     ]<BR>                                  v8:<BR>                                     [<BR>                                       l(name:<SPAN class="string">'2.8.1'</SPAN> dur: 6 size:small<BR>                                         professor:<SPAN class="string">'Teacher7'</SPAN>)<BR>                                       l(name:<SPAN class="string">'2.8.2'</SPAN> dur: 6 size:small<BR>                                         professor:<SPAN class="string">'Teacher7'</SPAN>)<BR>                                     ]<BR>                                  v9:<BR>                                     [<BR>                                       l(name:<SPAN class="string">'2.9'</SPAN> dur: 6 size:big<BR>                                         professor:<SPAN class="string">'Teacher8'</SPAN>)<BR>                                     ]<BR>                                  v10:<BR>                                     [<BR>                                       l(name:<SPAN class="string">'2.10.1'</SPAN> dur: 3 size:big<BR>                                         professor:<SPAN class="string">'Teacher9'</SPAN>)<BR>                                       l(name:<SPAN class="string">'2.10.2'</SPAN> dur: 3 size:other<BR>                                         professor:<SPAN class="string">'Teacher10'</SPAN>)<BR>                                       l(name:<SPAN class="string">'2.10.3'</SPAN> dur: 3 size:other<BR>                                         professor:<SPAN class="string">'Teacher11'</SPAN>)<BR>                                     ]  <BR>                                  v13:<BR>                                     [<BR>                                       l(name:<SPAN class="string">'2.13.1'</SPAN> dur: 6 size:small<BR>                                         professor:<SPAN class="string">'Teacher12'</SPAN>)<BR>                                       l(name:<SPAN class="string">'2.13.2'</SPAN> dur: 6 size:small<BR>                                         professor:<SPAN class="string">'Teacher13'</SPAN>)<BR>                                     ]<BR>                                  v14:<BR>                                     [<BR>                                       l(name:<SPAN class="string">'2.14.1'</SPAN> dur: 6 size:tiny<BR>                                         professor:<SPAN class="string">'Teacher14'</SPAN>)<BR>                                       l(name:<SPAN class="string">'2.14.2'</SPAN> dur: 6 size:tiny<BR>                                         professor:<SPAN class="string">'Teacher14'</SPAN>)<BR>                                     ]<BR>                                  v15:<BR>                                     [<BR>                                       l(name:<SPAN class="string">'2.15.1'</SPAN> dur: 6 size:tiny<BR>                                         professor:<SPAN class="string">'Teacher10'</SPAN>)<BR>                                       l(name:<SPAN class="string">'2.15.2'</SPAN> dur: 6 size:tiny<BR>                                         professor:<SPAN class="string">'Teacher5'</SPAN>)<BR>                                       l(name:<SPAN class="string">'2.15.3'</SPAN> dur: 6 size:tiny<BR>                                         professor:<SPAN class="string">'Teacher2'</SPAN>)<BR>                                       l(name:<SPAN class="string">'2.15.4'</SPAN> dur: 6 size:tiny<BR>                                         professor:<SPAN class="string">'Teacher3'</SPAN>)<BR>                                     ]<BR>                                )<BR>                     fourth:<BR>                        semester( v1:             <BR>                                     [<BR>                                       l(name:<SPAN class="string">'4.1'</SPAN> dur: 6 size: big<BR>                                         professor:<SPAN class="string">'Teacher5'</SPAN>)<BR>                                     ]<BR>                                  v2:<BR>                                     [<BR>                                       l(name:<SPAN class="string">'4.2.1'</SPAN> dur: 6 size: small<BR>                                         professor:<SPAN class="string">'Teacher15'</SPAN>)<BR>                                       l(name:<SPAN class="string">'4.2.2'</SPAN> dur: 6 size: small<BR>                                         professor:<SPAN class="string">'Teacher15'</SPAN>)<BR>                                     ]<BR>                                  v3:<BR>                                     [<BR>                                       l(name:<SPAN class="string">'4.3.1'</SPAN> dur: 3 size: small<BR>                                         professor:<SPAN class="string">'Teacher1'</SPAN>)<BR>                                       l(name:<SPAN class="string">'4.3.2'</SPAN> dur: 3 size: small<BR>                                         professor:<SPAN class="string">'Teacher1'</SPAN>)<BR>                                     ]<BR>                                  v4:<BR>                                     [<BR>                                       l(name:<SPAN class="string">'4.4.1'</SPAN> dur: 6 size: small<BR>                                         professor:<SPAN class="string">'Teacher16'</SPAN>)<BR>                                       l(name:<SPAN class="string">'4.4.2'</SPAN> dur: 6 size: small<BR>                                         professor:<SPAN class="string">'Teacher3'</SPAN>)<BR>                                     ]<BR>                                  v5:<BR>                                     [<BR>                                       l(name:<SPAN class="string">'4.5.1'</SPAN> dur: 6 size: small<BR>                                         professor:<SPAN class="string">'Teacher7'</SPAN>)<BR>                                       l(name:<SPAN class="string">'4.5.2'</SPAN> dur: 6 size: small<BR>                                         professor:<SPAN class="string">'Teacher7'</SPAN>)<BR>                                     ]<BR>                                  v6:<BR>                                     [<BR>                                       l(name:<SPAN class="string">'4.6'</SPAN> dur: 3 size: big<BR>                                         professor:<SPAN class="string">'Teacher7'</SPAN>)<BR>                                     ]<BR>                                  v7:<BR>                                     [<BR>                                       l(name:<SPAN class="string">'4.7.1'</SPAN> dur: 6 size: small<BR>                                         professor:<SPAN class="string">'Teacher17'</SPAN>)<BR>                                       l(name:<SPAN class="string">'4.7.2'</SPAN> dur: 6 size: small<BR>                                         professor:<SPAN class="string">'Teacher17'</SPAN>)<BR>                                     ]<BR>                                  v8:<BR>                                     [<BR>                                       l(name:<SPAN class="string">'4.8.1'</SPAN> dur: 6 size: tiny<BR>                                         professor:<SPAN class="string">'Teacher18'</SPAN>)<BR>                                       l(name:<SPAN class="string">'4.8.2'</SPAN> dur: 6 size: tiny<BR>                                         professor:<SPAN class="string">'Teacher2'</SPAN>)<BR>                                       l(name:<SPAN class="string">'4.8.3'</SPAN> dur: 6 size: tiny<BR>                                         professor:<SPAN class="string">'Teacher19'</SPAN>)<BR>                                       l(name:<SPAN class="string">'4.8.4'</SPAN> dur: 6 size: tiny<BR>                                         professor:<SPAN class="string">'Teacher11'</SPAN>)<BR>                                     ]<BR>                                  v10:<BR>                                     [<BR>                                       l(name:<SPAN class="string">'4.10.1'</SPAN> dur: 6 size: small<BR>                                         professor:<SPAN class="string">'Teacher1'</SPAN>)<BR>                                       l(name:<SPAN class="string">'4.10.2'</SPAN> dur: 6 size: small<BR>                                         professor:<SPAN class="string">'Teacher1'</SPAN>)<BR>                                     ]<BR>                                  v11:<BR>                                     [<BR>                                       l(name:<SPAN class="string">'4.11'</SPAN> dur: 6 size: small<BR>                                         professor:<SPAN class="string">'Teacher20'</SPAN>)<BR>                                     ]<BR>                                  v12:<BR>                                     [<BR>                                       l(name:<SPAN class="string">'4.12.1'</SPAN> dur: 6 size: small<BR>                                         professor:<SPAN class="string">'Teacher14'</SPAN>)<BR>                                       l(name:<SPAN class="string">'4.12.2'</SPAN> dur: 6 size: small<BR>                                         professor:<SPAN class="string">'Teacher14'</SPAN>)<BR>                                     ]<BR>                                )<BR>                     sixth:<BR>                        semester(<BR>                                  v2:<BR>                                     [<BR>                                       l(name:<SPAN class="string">'6.2.1'</SPAN> dur: 6 size: small<BR>                                         professor:<SPAN class="string">'Teacher16'</SPAN> <BR>                                         constraints:<BR>                                            dayInterval(wednesday<SPAN class="keyword">#</SPAN>13<SPAN class="keyword">#</SPAN>00<SPAN class="keyword">#</SPAN>14<SPAN class="keyword">#</SPAN>00))<BR>                                       l(name:<SPAN class="string">'6.2.2'</SPAN> dur: 6 size: small<BR>                                         professor:<SPAN class="string">'Teacher2'</SPAN> <BR>                                         constraints:<BR>                                            dayInterval(wednesday<SPAN class="keyword">#</SPAN>13<SPAN class="keyword">#</SPAN>00<SPAN class="keyword">#</SPAN>14<SPAN class="keyword">#</SPAN>00))<BR>                                       l(name:<SPAN class="string">'6.2.3'</SPAN> dur: 6 size: small<BR>                                         professor:<SPAN class="string">'Teacher26'</SPAN>)<BR>                                     ]<BR>                                  v5:<BR>                                     [<BR>                                       l(name:<SPAN class="string">'6.5'</SPAN> dur: 6 size: small<BR>                                         professor:<SPAN class="string">'Teacher21'</SPAN>)<BR>                                     ]<BR>                                  v6:<BR>                                     [<BR>                                       l(name:<SPAN class="string">'6.6'</SPAN> dur: 6 size: small<BR>                                         professor:<SPAN class="string">'Teacher7'</SPAN>)<BR>                                     ]<BR>                                )<BR>                     eighth:<BR>                        semester(<BR>                                  v1:<BR>                                     [<BR>                                       l(name:<SPAN class="string">'8.1'</SPAN> dur: 6 size: big<BR>                                         professor:<SPAN class="string">'Teacher1'</SPAN>)<BR>                                     ]<BR>                                  v2:<BR>                                     [<BR>                                       l(name:<SPAN class="string">'8.2'</SPAN> dur: 6 size: small<BR>                                         professor:<SPAN class="string">'Teacher7'</SPAN>)<BR>                                     ]<BR>                                  v3:<BR>                                     [<BR>                                       l(name:<SPAN class="string">'8.3'</SPAN> dur: 6 size: small<BR>                                         professor:<SPAN class="string">'Teacher3'</SPAN>)<BR>                                     ]<BR>                                  v4:<BR>                                     [<BR>                                       l(name:<SPAN class="string">'8.4'</SPAN> dur: 6 size: small<BR>                                         professor:<SPAN class="string">'Teacher17'</SPAN>)<BR>                                     ]<BR>                                  v5:<BR>                                     [<BR>                                       l(name:<SPAN class="string">'8.5'</SPAN> dur: 6 size: small<BR>                                         professor:<SPAN class="string">'Teacher23'</SPAN>)<BR>                                     ]<BR>                                  v6:<BR>                                     [<BR>                                       l(name:<SPAN class="string">'8.6'</SPAN> dur: 3 size: small<BR>                                         professor:<SPAN class="string">'Teacher22'</SPAN>)<BR>                                     ]<BR>                                  v7:<BR>                                     % <SPAN class="comment">l(name:'8.7.1' dur: 6 size: small<BR></SPAN>                                     %   <SPAN class="comment">professor:'Hamm')<BR></SPAN>                                  [<BR>                                    l(name:<SPAN class="string">'8.7.2'</SPAN> dur: 6 size: tiny<BR>                                      professor:<SPAN class="string">'Teacher2'</SPAN>)<BR>                                  ]<BR>                                  v8:<BR>                                     [<BR>                                       l(name:<SPAN class="string">'8.8'</SPAN> dur: 6 size: small<BR>                                         professor:<SPAN class="string">'Teacher24'</SPAN>)<BR>                                     ]<BR>                                  v9:<BR>                                     [<BR>                                       l(name:<SPAN class="string">'8.9'</SPAN> dur: 6 size: big<BR>                                         professor:<SPAN class="string">'Teacher28'</SPAN>)<BR>                                     ]<BR>                                  v10:<BR>                                     [<BR>                                       l(name:<SPAN class="string">'8.10'</SPAN> dur: 6 size: small<BR>                                         professor:<SPAN class="string">'Teacher14'</SPAN>)<BR>                                     ]<BR>                                  v11:<BR>                                     [<BR>                                       l(name:<SPAN class="string">'8.11.1'</SPAN> dur: 3 size: tiny<BR>                                         professor:<SPAN class="string">'Teacher11'</SPAN> <BR>                                         constraints:fix(tuesday<SPAN class="keyword">#</SPAN>8<SPAN class="keyword">#</SPAN>15))<BR>                                       l(name:<SPAN class="string">'8.11.2'</SPAN> dur: 3 size: other<BR>                                         professor:<SPAN class="string">'Teacher2'</SPAN> <BR>                                        constraints:fix(tuesday<SPAN class="keyword">#</SPAN>8<SPAN class="keyword">#</SPAN>15))<BR>                                     ]<BR>                                  v12:<BR>                                     [<BR>                                       l(name:<SPAN class="string">'8.12.1'</SPAN> dur: 6 size: tiny<BR>                                         professor:<SPAN class="string">'Teacher2'</SPAN> <BR>                                         constraints:fix(tuesday<SPAN class="keyword">#</SPAN>9<SPAN class="keyword">#</SPAN>15))<BR>                                       l(name:<SPAN class="string">'8.12.2'</SPAN> dur: 6 size: other<BR>                                         professor:<SPAN class="string">'Teacher11'</SPAN> <BR>                                         constraints:fix(tuesday<SPAN class="keyword">#</SPAN>9<SPAN class="keyword">#</SPAN>15))<BR>                                     ]<BR>                                  v13:<BR>                                     [<BR>                                       l(name:<SPAN class="string">'8.13.1'</SPAN> dur: 6 size: tiny<BR>                                         professor:<SPAN class="string">'Teacher6'</SPAN>)<BR>                                       l(name:<SPAN class="string">'8.13.2'</SPAN> dur: 6 size: tiny<BR>                                         professor:<SPAN class="string">'Teacher2'</SPAN> <BR>                                         constraints:fix(tuesday<SPAN class="keyword">#</SPAN>11<SPAN class="keyword">#</SPAN>15))<BR>                                       l(name:<SPAN class="string">'8.13.3'</SPAN> dur: 6 size: other<BR>                                         professor:<SPAN class="string">'Teacher11'</SPAN> <BR>                                         constraints:fix(tuesday<SPAN class="keyword">#</SPAN>11<SPAN class="keyword">#</SPAN>15))<BR>                                     ]<BR>                                  v14:<BR>                                     [<BR>                                       l(name:<SPAN class="string">'8.14.1'</SPAN> dur: 3 size: tiny<BR>                                         professor:<SPAN class="string">'Teacher9'</SPAN>)<BR>                                       l(name:<SPAN class="string">'8.14.2'</SPAN> dur: 3 size: tiny<BR>                                         professor:<SPAN class="string">'Teacher27'</SPAN> <BR>                                         constraints:fix(tuesday<SPAN class="keyword">#</SPAN>8<SPAN class="keyword">#</SPAN>15))<BR>                                       l(name:<SPAN class="string">'8.14.3'</SPAN> dur: 3 size: other<BR>                                         professor:<SPAN class="string">'Teacher29'</SPAN> <BR>                                         constraints:fix(tuesday<SPAN class="keyword">#</SPAN>8<SPAN class="keyword">#</SPAN>15))<BR>                                     ]<BR>                                  v15:<BR>                                     [<BR>                                       l(name:<SPAN class="string">'8.15.1'</SPAN> dur: 6 size: tiny<BR>                                         professor:<SPAN class="string">'Teacher9'</SPAN> <BR>                                         constraints:fix(tuesday<SPAN class="keyword">#</SPAN>9<SPAN class="keyword">#</SPAN>15))<BR>                                       l(name:<SPAN class="string">'8.15.2'</SPAN> dur: 6 size: other<BR>                                         professor:<SPAN class="string">'Teacher27'</SPAN> <BR>                                         constraints:fix(tuesday<SPAN class="keyword">#</SPAN>9<SPAN class="keyword">#</SPAN>15))<BR>                                     ]<BR>                                  v16:<BR>                                     [<BR>                                       l(name:<SPAN class="string">'8.16.1'</SPAN> dur: 6 size: tiny<BR>                                         professor:<SPAN class="string">'Teacher9'</SPAN> <BR>                                         constraints:fix(tuesday<SPAN class="keyword">#</SPAN>11<SPAN class="keyword">#</SPAN>15))<BR>                                       l(name:<SPAN class="string">'8.16.2'</SPAN> dur: 6 size: other<BR>                                         professor:<SPAN class="string">'Teacher27'</SPAN> <BR>                                         constraints:fix(tuesday<SPAN class="keyword">#</SPAN>11<SPAN class="keyword">#</SPAN>15))<BR>                                       l(name:<SPAN class="string">'8.16.3'</SPAN> dur: 6 size: tiny<BR>                                         professor:<SPAN class="string">'Teacher29'</SPAN>)<BR>                                     ]<BR>                                  v17:<BR>                                     [<BR>                                       l(name:<SPAN class="string">'8.17.1'</SPAN> dur: 3 size: small<BR>                                         professor:<SPAN class="string">'Teacher7'</SPAN>)<BR>                                       l(name:<SPAN class="string">'8.17.2'</SPAN> dur: 3 size: small<BR>                                         professor:<SPAN class="string">'Teacher5'</SPAN> <BR>                                         constraints:fix(tuesday<SPAN class="keyword">#</SPAN>8<SPAN class="keyword">#</SPAN>15))<BR>                                       l(name:<SPAN class="string">'8.17.3'</SPAN> dur: 3 size: other<BR>                                         professor:<SPAN class="string">'Teacher3'</SPAN> <BR>                                         constraints:fix(tuesday<SPAN class="keyword">#</SPAN>8<SPAN class="keyword">#</SPAN>15))<BR>                                     ]<BR>                                  v18:<BR>                                     [<BR>                                       l(name:<SPAN class="string">'8.18.1'</SPAN> dur: 6 size: small<BR>                                         professor:<SPAN class="string">'Teacher5'</SPAN> <BR>                                         constraints:fix(tuesday<SPAN class="keyword">#</SPAN>9<SPAN class="keyword">#</SPAN>15))<BR>                                       l(name:<SPAN class="string">'8.18.2'</SPAN> dur: 6 size: other<BR>                                         professor:<SPAN class="string">'Teacher3'</SPAN> <BR>                                         constraints:fix(tuesday<SPAN class="keyword">#</SPAN>9<SPAN class="keyword">#</SPAN>15))<BR>                                     ]<BR>                                  v19:<BR>                                     [<BR>                                       l(name:<SPAN class="string">'8.19.1'</SPAN> dur: 6 size: small<BR>                                         professor:<SPAN class="string">'Teacher7'</SPAN>)<BR>                                       l(name:<SPAN class="string">'8.19.2'</SPAN> dur: 6 size: other<BR>                                         professor:<SPAN class="string">'Teacher5'</SPAN> <BR>                                         constraints:fix(tuesday<SPAN class="keyword">#</SPAN>11<SPAN class="keyword">#</SPAN>15))<BR>                                       l(name:<SPAN class="string">'8.19.3'</SPAN> dur: 6 size: small<BR>                                         professor:<SPAN class="string">'Teacher3'</SPAN> <BR>                                         constraints:fix(tuesday<SPAN class="keyword">#</SPAN>11<SPAN class="keyword">#</SPAN>15))<BR>                                     ]<BR>                                )<BR>                     medien:<BR>                        lectures(<BR>                                  v1:<BR>                                     [<BR>                                       l(name:<SPAN class="string">'M.1'</SPAN> dur: 3 size: other<BR>                                         professor:<SPAN class="string">'Teacher30'</SPAN> <BR>                                         constraints:fix(tuesday<SPAN class="keyword">#</SPAN>14<SPAN class="keyword">#</SPAN>00))<BR>                                     ]<BR>                                  v8:<BR>                                     [<BR>                                       l(name:<SPAN class="string">'M.8'</SPAN> dur: 3 size: other<BR>                                         professor:<SPAN class="string">'Teacher31'</SPAN> <BR>                                         constraints:fix(thursday<SPAN class="keyword">#</SPAN>16<SPAN class="keyword">#</SPAN>00))<BR>                                     ]<BR>                                )<BR>                     fac:<BR>                        lectures(<BR>                                  v1:<BR>                                     [<BR>                                       l(name:<SPAN class="string">'F.1'</SPAN> dur: 3 size: small<BR>                                         professor:<SPAN class="string">'Teacher5'</SPAN> <BR>                                         constraints:fix(monday<SPAN class="keyword">#</SPAN>16<SPAN class="keyword">#</SPAN>00))<BR>                                     ]<BR>                                  v2:<BR>                                     [<BR>                                       l(name:<SPAN class="string">'F.2.1'</SPAN> dur: 6 size: small<BR>                                         professor:<SPAN class="string">'Teacher32'</SPAN>)<BR>                                       l(name:<SPAN class="string">'F.2.2'</SPAN> dur: 6 size: small<BR>                                         professor:<SPAN class="string">'Teacher32'</SPAN>)<BR>                                     ]<BR>                                  v3:<BR>                                     [<BR>                                       l(name:<SPAN class="string">'F.3'</SPAN> dur: 6 size: small<BR>                                         professor:<SPAN class="string">'Teacher12'</SPAN>)<BR>                                     ]<BR>                                  v4:<BR>                                     [<BR>                                       l(name:<SPAN class="string">'F.4'</SPAN> dur: 6 size: small<BR>                                         professor:<SPAN class="string">'Teacher12'</SPAN>)<BR>                                     ]<BR>                                  %% <SPAN class="comment">Gitarre is during lunch: omitted here<BR></SPAN>                                  v6:<BR>                                     [<BR>                                       l(name:<SPAN class="string">'F.6'</SPAN> dur: 6 size: small<BR>                                         professor:<SPAN class="string">'Teacher9'</SPAN>)<BR>                                     ]<BR>                                  %% <SPAN class="comment">Erlebnis during weekend :-}<BR></SPAN>                                  v10:<BR>                                     [<BR>                                       l(name:<SPAN class="string">'F.10'</SPAN> dur: 6 size: other<BR>                                         professor:<SPAN class="string">'Teacher25'</SPAN>)<BR>                                     ]<BR>                                )<BR>))  <BR></PRE></BLOCKQUOTE><P></P></DIV><TABLE align="center" border="0" cellpadding="6" cellspacing="6" class="nav"><TR bgcolor="#DDDDDD"><TD><A href="college.html">- Up -</A></TD><TD><A href="node10.html#code.college.main">Next >></A></TD></TR></TABLE><HR><ADDRESS><SPAN class="version">Version 1.4.0 (20110908185330)</SPAN></ADDRESS></BODY></HTML>
 |