forked from gabridego/timetabling-problem-solver
-
Notifications
You must be signed in to change notification settings - Fork 0
/
instance04.stu
14901 lines (14901 loc) · 158 KB
/
instance04.stu
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
s1 0183
s2 0221
s3 0199
s4 0049
s5 0015
s6 0046
s7 0011
s7 0012
s7 0014
s7 0074
s7 0076
s8 0247
s9 0121
s9 0127
s9 0220
s9 0221
s9 0253
s10 0167
s10 0251
s11 0099
s11 0168
s12 0168
s13 0161
s13 0166
s13 0231
s14 0129
s15 0029
s15 0055
s15 0063
s15 0184
s16 0168
s17 0015
s17 0018
s18 0218
s19 0053
s19 0224
s19 0232
s20 0011
s20 0013
s20 0216
s20 0220
s21 0117
s22 0245
s23 0216
s23 0247
s24 0110
s24 0111
s24 0113
s25 0068
s26 0068
s27 0105
s28 0188
s29 0218
s30 0011
s30 0249
s31 0158
s31 0211
s32 0190
s33 0164
s34 0105
s34 0219
s34 0220
s35 0071
s35 0215
s36 0008
s37 0073
s38 0230
s38 0231
s38 0253
s39 0154
s40 0039
s40 0119
s41 0078
s41 0173
s42 0068
s43 0173
s44 0120
s45 0168
s45 0214
s46 0001
s46 0005
s46 0007
s46 0084
s47 0072
s48 0002
s48 0004
s48 0005
s48 0006
s48 0007
s48 0084
s49 0046
s49 0211
s49 0212
s50 0073
s51 0042
s51 0046
s51 0069
s51 0162
s51 0165
s52 0027
s53 0011
s54 0042
s55 0005
s55 0007
s56 0215
s56 0220
s57 0115
s58 0222
s59 0069
s59 0254
s60 0015
s60 0220
s61 0014
s62 0083
s63 0111
s63 0112
s64 0107
s65 0011
s66 0025
s67 0068
s68 0042
s69 0072
s70 0007
s71 0068
s72 0006
s73 0039
s73 0233
s73 0239
s74 0074
s75 0231
s76 0015
s76 0068
s77 0245
s78 0100
s78 0258
s79 0038
s80 0077
s81 0189
s82 0015
s83 0247
s83 0249
s84 0006
s84 0216
s84 0231
s85 0049
s86 0176
s86 0180
s87 0186
s88 0049
s89 0222
s89 0224
s90 0186
s91 0107
s91 0108
s91 0180
s91 0182
s92 0107
s93 0173
s94 0196
s95 0154
s96 0027
s96 0052
s96 0053
s96 0173
s96 0233
s97 0111
s97 0113
s97 0215
s98 0049
s98 0250
s98 0252
s99 0011
s99 0085
s100 0218
s101 0163
s102 0135
s102 0136
s102 0137
s102 0138
s103 0081
s104 0068
s104 0252
s105 0154
s106 0260
s107 0101
s108 0177
s108 0182
s108 0183
s108 0215
s109 0220
s110 0110
s110 0115
s110 0139
s110 0140
s110 0141
s111 0110
s112 0098
s113 0015
s113 0030
s113 0033
s113 0038
s113 0184
s114 0176
s115 0061
s116 0023
s117 0243
s118 0193
s118 0216
s118 0219
s118 0220
s119 0234
s120 0042
s121 0011
s122 0081
s123 0068
s124 0195
s124 0197
s125 0194
s126 0211
s127 0011
s128 0145
s129 0114
s130 0114
s131 0220
s132 0028
s132 0053
s132 0184
s133 0147
s134 0041
s134 0111
s134 0113
s135 0154
s136 0030
s137 0065
s137 0108
s137 0162
s138 0218
s139 0237
s139 0238
s140 0164
s141 0115
s141 0140
s141 0151
s142 0075
s142 0119
s142 0152
s143 0013
s143 0014
s144 0071
s144 0194
s144 0199
s145 0034
s146 0193
s146 0256
s147 0097
s147 0100
s148 0139
s149 0047
s149 0168
s149 0253
s150 0254
s151 0101
s152 0107
s153 0101
s154 0190
s155 0222
s156 0145
s157 0004
s157 0085
s158 0163
s159 0250
s160 0189
s160 0254
s161 0001
s161 0191
s161 0193
s162 0042
s163 0226
s163 0230
s163 0253
s164 0025
s164 0160
s164 0249
s165 0069
s165 0161
s165 0162
s165 0203
s166 0071
s166 0196
s167 0157
s168 0006
s169 0029
s169 0036
s170 0052
s170 0055
s170 0059
s170 0174
s170 0198
s171 0240
s171 0241
s171 0243
s172 0089
s172 0092
s172 0134
s173 0226
s174 0006
s175 0207
s175 0209
s176 0225
s177 0183
s178 0072
s178 0174
s178 0233
s179 0093
s180 0195
s181 0145
s181 0237
s181 0238
s182 0081
s183 0118
s184 0074
s184 0075
s184 0181
s185 0066
s185 0163
s186 0191
s187 0089
s187 0160
s188 0158
s189 0199
s190 0046
s191 0193
s191 0218
s191 0222
s191 0224
s192 0214
s193 0071
s194 0089
s195 0248
s196 0025
s197 0182
s198 0260
s199 0250
s200 0163
s201 0069
s201 0202
s201 0210
s201 0211
s201 0212
s202 0163
s203 0190
s204 0024
s205 0222
s205 0224
s206 0044
s207 0103
s207 0105
s207 0108
s208 0144
s208 0214
s209 0204
s209 0210
s209 0211
s209 0212
s210 0008
s210 0084
s210 0087
s210 0093
s211 0229
s212 0089
s213 0115
s213 0174
s213 0233
s214 0101
s215 0104
s216 0156
s216 0164
s216 0211
s216 0212
s217 0163
s217 0167
s218 0150
s218 0151
s218 0163
s218 0234
s219 0123
s220 0247
s221 0088
s221 0089
s221 0090
s221 0184
s222 0026
s222 0058
s222 0074
s223 0207
s224 0108
s224 0187
s224 0256
s225 0056
s225 0061
s226 0044
s226 0111
s227 0161
s228 0216
s228 0227
s229 0093
s230 0026
s231 0132
s231 0133
s232 0209
s233 0042
s233 0161
s233 0168
s234 0013
s235 0164
s236 0220
s236 0231
s237 0161
s238 0111
s238 0114
s239 0144
s240 0161
s241 0031
s241 0111
s241 0118
s242 0229
s243 0032
s243 0234
s244 0096
s245 0168
s245 0250
s246 0032
s246 0039
s246 0041
s246 0110
s247 0080
s247 0154
s248 0149
s248 0151
s248 0167
s249 0189
s249 0204
s249 0206
s249 0208
s250 0077
s250 0078
s251 0168
s252 0207
s253 0099
s253 0189
s254 0030
s254 0073
s255 0169
s256 0104
s257 0047
s257 0133
s257 0252
s258 0208
s259 0209
s260 0014
s261 0008
s262 0093
s262 0250
s263 0250
s264 0050
s264 0210
s264 0246
s265 0162
s265 0163
s266 0218
s267 0047
s267 0101
s267 0105
s267 0247
s268 0064
s269 0154
s270 0231
s271 0160
s271 0206
s272 0162
s272 0163
s272 0168
s273 0163
s274 0069
s275 0207
s276 0001
s276 0081
s276 0246
s276 0250
s277 0229
s277 0253
s278 0084
s278 0154
s279 0041
s280 0224
s280 0229
s281 0124
s281 0125
s281 0128
s282 0207
s282 0213
s283 0072
s284 0086
s284 0087
s284 0089
s285 0225
s285 0227
s286 0090
s286 0091
s286 0092
s286 0133
s287 0004
s287 0008
s287 0009
s287 0113
s288 0231
s289 0014
s289 0019
s290 0046
s290 0169
s291 0094
s292 0046
s293 0253
s294 0031
s294 0034
s295 0044
s296 0021
s297 0094
s298 0025
s299 0019
s300 0007
s301 0108
s302 0099
s302 0121
s303 0007
s303 0086
s304 0214
s304 0249
s305 0068
s306 0120
s307 0101
s307 0103
s307 0254
s308 0072
s309 0081
s310 0169
s311 0158
s312 0219
s312 0247
s312 0251
s313 0008
s313 0009
s313 0092
s313 0207
s314 0167
s315 0112
s315 0113
s315 0114
s316 0056
s317 0044
s317 0107
s318 0005
s318 0008
s318 0087
s319 0133
s320 0116
s320 0117
s320 0176
s320 0236
s320 0237
s321 0007
s321 0008
s321 0009
s321 0010
s321 0206
s322 0012
s322 0072
s322 0158
s323 0005
s323 0006
s323 0007
s323 0008
s323 0009
s324 0135
s324 0161
s325 0161
s326 0086
s326 0088
s326 0089
s326 0092
s327 0038
s327 0220
s328 0099
s328 0106
s329 0017
s330 0008
s330 0009
s330 0010
s330 0113
s331 0006
s331 0226
s331 0231
s332 0006
s332 0093
s333 0260
s334 0057
s334 0111
s334 0118
s334 0215
s335 0206
s335 0207
s336 0032
s336 0034
s337 0040
s338 0100
s338 0197
s339 0038
s339 0219
s340 0225
s340 0227
s341 0005
s341 0007
s341 0008
s341 0010
s341 0210
s342 0228
s343 0011
s343 0088
s343 0092
s343 0154
s344 0165
s344 0207
s345 0031
s345 0040
s345 0111
s346 0020
s347 0072
s347 0112
s347 0196
s347 0200
s348 0073
s348 0075
s349 0108
s349 0194
s349 0196
s350 0011
s351 0019
s351 0231
s351 0259
s352 0103
s352 0229
s353 0050
s353 0081
s353 0115
s353 0116
s353 0174
s354 0044
s354 0150
s354 0190
s355 0111
s355 0115
s355 0120
s355 0144
s356 0114
s356 0119
s357 0231
s357 0249
s358 0155
s359 0007
s359 0093
s359 0259
s360 0247
s360 0250
s361 0044
s361 0111
s361 0113
s361 0115
s362 0049
s362 0158
s362 0164
s362 0171
s363 0089
s363 0090
s363 0092
s363 0196
s364 0037
s364 0144
s365 0008
s365 0009
s365 0010
s365 0203
s366 0018
s367 0087
s368 0006
s368 0007
s368 0008
s368 0010
s368 0248
s369 0004
s369 0007
s369 0086
s369 0087
s370 0182
s370 0183
s370 0221
s370 0230
s371 0101
s371 0113
s371 0140
s371 0151
s372 0088
s372 0156
s372 0167
s373 0085
s373 0086
s373 0089
s373 0092
s374 0098
s375 0025
s375 0109
s375 0163
s376 0031
s376 0033
s376 0038
s377 0005
s377 0007
s377 0008
s377 0010
s377 0087
s378 0036
s379 0044
s379 0046
s379 0188
s379 0260
s380 0229
s380 0252
s380 0253
s381 0006
s381 0007
s381 0203
s382 0147
s382 0151
s383 0005
s383 0008
s383 0009
s383 0010
s383 0151
s384 0253
s385 0114
s386 0230
s387 0108
s387 0109
s387 0220
s388 0168
s389 0111
s389 0144
s389 0150
s389 0151
s390 0219
s390 0248
s391 0196
s392 0058
s392 0118
s393 0240
s393 0241
s394 0143
s394 0189
s394 0191
s395 0109
s396 0079
s397 0079
s398 0123
s398 0124
s398 0125
s399 0220
s400 0113
s400 0114
s400 0188
s400 0191
s401 0042
s401 0111
s401 0113
s402 0004
s402 0008
s402 0010
s402 0092
s403 0260
s404 0158
s404 0159
s405 0144
s406 0099
s406 0165
s406 0210
s407 0188
s407 0247
s408 0169
s408 0170
s408 0212
s409 0045
s409 0046
s409 0211
s410 0196
s411 0115
s411 0234
s412 0179
s412 0183
s413 0031
s413 0112
s414 0111
s414 0116
s415 0094
s415 0096
s415 0124
s416 0215
s417 0247
s417 0248
s418 0115
s418 0144
s418 0147
s419 0171
s420 0216
s420 0219
s420 0220
s420 0249
s421 0207
s422 0197
s423 0108
s424 0004
s424 0008
s424 0009
s424 0019
s424 0203
s425 0158
s426 0079
s426 0099
s426 0101
s426 0108
s427 0005
s427 0008
s427 0245
s428 0220
s429 0108
s430 0240
s430 0243
s431 0006
s431 0008
s431 0010
s431 0086
s431 0092
s431 0210
s432 0100
s433 0101
s433 0162
s434 0038
s434 0111
s434 0141
s435 0199
s436 0099
s437 0073
s437 0101
s437 0180
s438 0089
s439 0194
s440 0007
s440 0008
s440 0009
s440 0010
s441 0014
s441 0183
s442 0147
s442 0150
s443 0220
s443 0228
s444 0008
s444 0010
s444 0113
s445 0004
s445 0005
s445 0006
s446 0008
s446 0010
s446 0087
s446 0088
s446 0113
s447 0226
s448 0144
s448 0150
s448 0151
s449 0085
s449 0086
s449 0092
s450 0008
s450 0009
s450 0010
s451 0260
s452 0072
s452 0240
s452 0241
s453 0229
s454 0229
s455 0006
s455 0008
s455 0072
s455 0088
s455 0092
s456 0148
s456 0149
s457 0142
s457 0151
s458 0231
s459 0017
s459 0018
s459 0141
s459 0143
s459 0146
s460 0050
s460 0072
s460 0171
s461 0113
s461 0195
s462 0096
s463 0101
s464 0071
s465 0066
s465 0133
s466 0094
s466 0154
s466 0170
s467 0171
s468 0191
s469 0050
s469 0079
s470 0072
s470 0088
s471 0165
s472 0141
s472 0143
s472 0151
s473 0101
s473 0231
s474 0044
s474 0227
s475 0115
s476 0214
s476 0225
s476 0226
s477 0159
s478 0230
s478 0231
s479 0226
s479 0231
s480 0101
s480 0102
s481 0198
s481 0247
s482 0083
s482 0084
s482 0085
s482 0086
s482 0087
s483 0043
s483 0156
s484 0168
s485 0045
s485 0069
s485 0158
s486 0217
s486 0223
s486 0224
s486 0225
s487 0079
s487 0206
s488 0217
s488 0222
s488 0223
s488 0224
s488 0226
s489 0028
s490 0222
s491 0240
s491 0241
s491 0242
s491 0243
s492 0021
s493 0220
s493 0229
s493 0250
s494 0004
s494 0005
s494 0007
s494 0008
s494 0010
s494 0113
s495 0127
s495 0222
s496 0082
s496 0083
s496 0088
s497 0050
s497 0083