forked from gabridego/timetabling-problem-solver
-
Notifications
You must be signed in to change notification settings - Fork 0
/
instance03.stu
8109 lines (8109 loc) · 79.2 KB
/
instance03.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 0018
s1 0061
s1 0084
s1 0107
s1 0115
s1 0135
s2 0018
s2 0061
s2 0084
s2 0107
s2 0115
s2 0135
s3 0018
s3 0062
s3 0084
s3 0107
s3 0115
s3 0135
s4 0018
s4 0061
s4 0084
s4 0107
s4 0115
s4 0135
s5 0018
s5 0061
s5 0084
s5 0107
s5 0115
s5 0135
s6 0018
s6 0061
s6 0084
s6 0107
s6 0115
s6 0135
s7 0018
s7 0037
s7 0061
s7 0080
s7 0101
s7 0108
s7 0135
s7 0159
s7 0184
s8 0009
s8 0022
s8 0040
s8 0062
s8 0085
s8 0092
s8 0117
s8 0138
s9 0018
s9 0037
s9 0061
s9 0080
s9 0101
s9 0108
s9 0135
s9 0159
s9 0184
s10 0001
s10 0020
s10 0052
s10 0083
s10 0116
s10 0137
s10 0150
s10 0157
s11 0009
s11 0020
s11 0039
s11 0087
s11 0117
s11 0137
s11 0151
s11 0152
s11 0177
s12 0020
s12 0053
s12 0062
s12 0087
s12 0102
s12 0137
s12 0159
s12 0183
s13 0009
s13 0022
s13 0054
s13 0062
s13 0088
s13 0117
s13 0138
s13 0152
s14 0009
s14 0017
s14 0022
s14 0054
s14 0062
s14 0088
s14 0116
s14 0138
s15 0017
s15 0019
s15 0052
s15 0081
s15 0116
s15 0136
s15 0150
s15 0154
s16 0008
s16 0015
s16 0019
s16 0050
s16 0081
s16 0117
s16 0136
s16 0147
s17 0008
s17 0019
s17 0050
s17 0081
s17 0117
s17 0137
s17 0152
s17 0168
s17 0177
s18 0020
s18 0052
s18 0081
s18 0117
s18 0136
s18 0154
s18 0168
s18 0177
s19 0020
s19 0053
s19 0062
s19 0084
s19 0102
s19 0108
s19 0137
s19 0159
s19 0183
s20 0020
s20 0052
s20 0062
s20 0083
s20 0117
s20 0137
s20 0157
s20 0182
s21 0009
s21 0022
s21 0040
s21 0062
s21 0088
s21 0092
s21 0138
s21 0157
s22 0022
s22 0054
s22 0062
s22 0072
s22 0088
s22 0093
s22 0117
s22 0138
s23 0009
s23 0020
s23 0052
s23 0062
s23 0083
s23 0117
s23 0137
s23 0152
s23 0177
s24 0018
s24 0037
s24 0061
s24 0080
s24 0101
s24 0108
s24 0135
s24 0159
s24 0184
s25 0018
s25 0037
s25 0061
s25 0080
s25 0101
s25 0108
s25 0135
s25 0159
s25 0184
s26 0020
s26 0053
s26 0062
s26 0084
s26 0101
s26 0108
s26 0137
s26 0159
s26 0184
s27 0020
s27 0039
s27 0062
s27 0084
s27 0101
s27 0108
s27 0137
s27 0159
s27 0184
s28 0020
s28 0053
s28 0062
s28 0084
s28 0101
s28 0108
s28 0137
s28 0159
s28 0184
s29 0020
s29 0053
s29 0062
s29 0084
s29 0102
s29 0108
s29 0137
s29 0159
s29 0183
s30 0018
s30 0037
s30 0067
s30 0080
s30 0101
s30 0109
s30 0135
s30 0159
s30 0183
s31 0018
s31 0037
s31 0061
s31 0080
s31 0101
s31 0135
s31 0159
s31 0184
s32 0021
s32 0039
s32 0062
s32 0084
s32 0118
s32 0137
s33 0009
s33 0022
s33 0040
s33 0062
s33 0085
s33 0097
s33 0138
s33 0180
s34 0020
s34 0039
s34 0062
s34 0084
s34 0101
s34 0137
s34 0160
s34 0183
s35 0022
s35 0040
s35 0062
s35 0085
s35 0101
s35 0138
s35 0160
s35 0183
s36 0009
s36 0022
s36 0040
s36 0062
s36 0072
s36 0085
s36 0116
s36 0138
s37 0018
s37 0037
s37 0061
s37 0080
s37 0101
s37 0108
s37 0135
s37 0160
s37 0183
s38 0020
s38 0039
s38 0062
s38 0084
s38 0101
s38 0108
s38 0137
s38 0160
s38 0183
s39 0020
s39 0039
s39 0062
s39 0083
s39 0101
s39 0108
s39 0137
s39 0160
s39 0183
s40 0009
s40 0022
s40 0040
s40 0062
s40 0085
s40 0093
s40 0138
s41 0009
s41 0022
s41 0040
s41 0062
s41 0085
s41 0117
s41 0138
s41 0180
s42 0020
s42 0039
s42 0062
s42 0084
s42 0101
s42 0108
s42 0137
s42 0160
s42 0183
s43 0018
s43 0037
s43 0061
s43 0080
s43 0101
s43 0134
s43 0159
s43 0184
s44 0009
s44 0022
s44 0040
s44 0062
s44 0085
s44 0093
s44 0117
s44 0138
s45 0020
s45 0039
s45 0062
s45 0085
s45 0092
s45 0117
s45 0137
s45 0151
s46 0018
s46 0037
s46 0061
s46 0080
s46 0101
s46 0108
s46 0135
s46 0159
s46 0184
s47 0009
s47 0020
s47 0050
s47 0081
s47 0117
s47 0136
s47 0161
s47 0168
s48 0009
s48 0022
s48 0040
s48 0062
s48 0085
s48 0093
s48 0138
s48 0182
s49 0020
s49 0039
s49 0062
s49 0084
s49 0101
s49 0108
s49 0137
s49 0160
s49 0183
s50 0009
s50 0011
s50 0022
s50 0040
s50 0062
s50 0085
s50 0116
s50 0138
s51 0009
s51 0022
s51 0039
s51 0054
s51 0062
s51 0085
s51 0097
s51 0117
s51 0138
s52 0009
s52 0022
s52 0054
s52 0062
s52 0085
s52 0093
s52 0138
s52 0157
s52 0159
s53 0020
s53 0039
s53 0062
s53 0084
s53 0101
s53 0108
s53 0137
s53 0160
s53 0183
s54 0009
s54 0022
s54 0040
s54 0062
s54 0085
s54 0092
s54 0138
s54 0157
s55 0009
s55 0011
s55 0022
s55 0040
s55 0062
s55 0085
s55 0116
s55 0138
s56 0009
s56 0015
s56 0022
s56 0054
s56 0062
s56 0085
s56 0116
s56 0138
s57 0009
s57 0022
s57 0054
s57 0062
s57 0085
s57 0117
s57 0138
s57 0180
s58 0009
s58 0022
s58 0040
s58 0062
s58 0085
s58 0097
s58 0117
s58 0138
s59 0005
s59 0009
s59 0022
s59 0040
s59 0062
s59 0085
s59 0117
s59 0138
s60 0009
s60 0011
s60 0022
s60 0040
s60 0062
s60 0085
s60 0138
s60 0147
s61 0020
s61 0039
s61 0082
s61 0101
s61 0108
s61 0137
s61 0160
s61 0183
s62 0020
s62 0031
s62 0052
s62 0082
s62 0101
s62 0108
s62 0137
s62 0159
s62 0184
s63 0020
s63 0053
s63 0062
s63 0084
s63 0101
s63 0108
s63 0137
s63 0160
s63 0183
s64 0020
s64 0039
s64 0062
s64 0084
s64 0101
s64 0108
s64 0137
s64 0159
s64 0184
s65 0009
s65 0015
s65 0024
s65 0059
s65 0064
s65 0087
s65 0120
s65 0142
s66 0018
s66 0037
s66 0061
s66 0080
s66 0101
s66 0108
s66 0135
s66 0159
s66 0184
s67 0017
s67 0020
s67 0050
s67 0083
s67 0117
s67 0137
s67 0147
s67 0150
s67 0177
s68 0009
s68 0020
s68 0052
s68 0062
s68 0083
s68 0117
s68 0137
s68 0153
s69 0020
s69 0053
s69 0084
s69 0102
s69 0108
s69 0137
s69 0150
s69 0159
s69 0177
s69 0183
s70 0020
s70 0050
s70 0083
s70 0117
s70 0137
s70 0147
s70 0150
s70 0152
s70 0154
s70 0173
s71 0020
s71 0039
s71 0062
s71 0083
s71 0117
s71 0137
s71 0147
s71 0150
s71 0152
s72 0009
s72 0020
s72 0052
s72 0083
s72 0117
s72 0137
s72 0150
s72 0153
s72 0177
s73 0001
s73 0019
s73 0050
s73 0081
s73 0117
s73 0136
s73 0147
s73 0168
s74 0008
s74 0019
s74 0038
s74 0081
s74 0136
s74 0154
s74 0168
s74 0173
s75 0009
s75 0019
s75 0046
s75 0072
s75 0083
s75 0117
s75 0144
s75 0152
s75 0154
s75 0177
s76 0020
s76 0038
s76 0083
s76 0137
s76 0151
s76 0153
s76 0168
s76 0176
s77 0019
s77 0031
s77 0046
s77 0081
s77 0116
s77 0136
s77 0144
s77 0154
s77 0168
s78 0009
s78 0020
s78 0052
s78 0062
s78 0083
s78 0117
s78 0137
s78 0152
s78 0177
s79 0009
s79 0015
s79 0020
s79 0052
s79 0062
s79 0083
s79 0116
s79 0137
s80 0020
s80 0052
s80 0062
s80 0083
s80 0117
s80 0137
s80 0151
s80 0176
s81 0020
s81 0039
s81 0062
s81 0084
s81 0101
s81 0116
s81 0137
s81 0159
s81 0183
s82 0009
s82 0020
s82 0039
s82 0062
s82 0085
s82 0117
s82 0138
s82 0153
s83 0009
s83 0022
s83 0040
s83 0062
s83 0085
s83 0116
s83 0138
s83 0159
s84 0020
s84 0039
s84 0062
s84 0084
s84 0102
s84 0108
s84 0137
s84 0159
s84 0183
s85 0009
s85 0022
s85 0040
s85 0085
s85 0117
s85 0138
s85 0180
s86 0009
s86 0020
s86 0039
s86 0062
s86 0085
s86 0117
s86 0137
s86 0152
s86 0177
s87 0007
s87 0021
s87 0039
s87 0062
s87 0072
s87 0084
s87 0118
s87 0137
s88 0009
s88 0022
s88 0040
s88 0062
s88 0085
s88 0116
s88 0138
s88 0153
s89 0008
s89 0020
s89 0053
s89 0082
s89 0101
s89 0109
s89 0136
s89 0159
s89 0183
s90 0020
s90 0039
s90 0062
s90 0084
s90 0101
s90 0108
s90 0137
s90 0159
s90 0184
s91 0020
s91 0039
s91 0062
s91 0084
s91 0101
s91 0108
s91 0137
s91 0160
s91 0183
s92 0020
s92 0039
s92 0062
s92 0084
s92 0101
s92 0108
s92 0137
s92 0160
s92 0183
s93 0019
s93 0039
s93 0062
s93 0072
s93 0081
s93 0092
s93 0117
s93 0147
s94 0009
s94 0022
s94 0040
s94 0062
s94 0072
s94 0085
s94 0138
s95 0018
s95 0037
s95 0061
s95 0080
s95 0101
s95 0114
s95 0135
s95 0159
s96 0020
s96 0039
s96 0062
s96 0084
s96 0101
s96 0109
s96 0137
s96 0159
s96 0183
s97 0019
s97 0038
s97 0082
s97 0101
s97 0109
s97 0116
s97 0136
s97 0159
s97 0183
s98 0020
s98 0053
s98 0062
s98 0084
s98 0101
s98 0109
s98 0137
s98 0159
s98 0183
s99 0020
s99 0053
s99 0062
s99 0084
s99 0102
s99 0108
s99 0137
s99 0159
s99 0183
s100 0020
s100 0039
s100 0062
s100 0084
s100 0102
s100 0108
s100 0137
s100 0159
s100 0183
s101 0020
s101 0039
s101 0062
s101 0084
s101 0101
s101 0137
s101 0159
s101 0183
s102 0015
s102 0020
s102 0039
s102 0084
s102 0101
s102 0137
s102 0159
s102 0183
s103 0020
s103 0053
s103 0062
s103 0084
s103 0101
s103 0137
s103 0159
s103 0183
s104 0020
s104 0039
s104 0062
s104 0084
s104 0101
s104 0109
s104 0137
s104 0159
s104 0183
s105 0020
s105 0039
s105 0062
s105 0084
s105 0101
s105 0109
s105 0137
s105 0159
s105 0183
s106 0003
s106 0009
s106 0020
s106 0039
s106 0062
s106 0083
s106 0093
s106 0137
s107 0020
s107 0039
s107 0062
s107 0084
s107 0101
s107 0108
s107 0137
s107 0159
s107 0184
s108 0022
s108 0054
s108 0062
s108 0083
s108 0101
s108 0108
s108 0138
s108 0159
s108 0184
s109 0009
s109 0011
s109 0022
s109 0040
s109 0062
s109 0085
s109 0117
s109 0138
s110 0020
s110 0039
s110 0062
s110 0084
s110 0101
s110 0109
s110 0137
s110 0159
s110 0183
s111 0022
s111 0052
s111 0062
s111 0083
s111 0101
s111 0109
s111 0137
s111 0159
s111 0183
s112 0021
s112 0039
s112 0062
s112 0084
s112 0137
s113 0020
s113 0053
s113 0062
s113 0084
s113 0101
s113 0137
s113 0160
s113 0183
s114 0020
s114 0039
s114 0062
s114 0084
s114 0102
s114 0108
s114 0137
s114 0159
s114 0183
s115 0020
s115 0039
s115 0062
s115 0084
s115 0102
s115 0108
s115 0137
s115 0159
s115 0183
s116 0020
s116 0053
s116 0062
s116 0084
s116 0102
s116 0108
s116 0137
s116 0159
s116 0183
s117 0020
s117 0053
s117 0062
s117 0084
s117 0102
s117 0108
s117 0137
s117 0159
s117 0183
s118 0009
s118 0020
s118 0053
s118 0084
s118 0102
s118 0108
s118 0137
s118 0159
s118 0183
s119 0020
s119 0053
s119 0062
s119 0084
s119 0102
s119 0108
s119 0137
s119 0159
s119 0183
s120 0020
s120 0053
s120 0062
s120 0084
s120 0102
s120 0108
s120 0137