forked from gabridego/timetabling-problem-solver
-
Notifications
You must be signed in to change notification settings - Fork 0
/
instance08.stu
11793 lines (11793 loc) · 123 KB
/
instance08.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 0089
s2 0048
s3 0056
s3 0060
s3 0061
s4 0001
s4 0002
s4 0003
s4 0065
s5 0010
s5 0047
s5 0048
s5 0049
s5 0050
s6 0047
s7 0053
s8 0061
s9 0011
s9 0067
s10 0179
s11 0062
s12 0103
s13 0040
s14 0052
s14 0062
s15 0137
s16 0061
s17 0154
s18 0152
s19 0061
s20 0053
s21 0067
s22 0070
s23 0008
s24 0045
s24 0066
s24 0130
s24 0136
s24 0140
s25 0090
s26 0121
s26 0122
s26 0123
s27 0047
s27 0048
s27 0049
s27 0050
s28 0030
s28 0149
s28 0172
s28 0173
s28 0175
s29 0070
s30 0051
s30 0052
s30 0053
s30 0054
s30 0055
s31 0022
s31 0023
s31 0025
s31 0026
s31 0028
s32 0067
s33 0130
s34 0076
s34 0131
s34 0141
s34 0142
s34 0144
s35 0069
s35 0070
s35 0071
s35 0072
s35 0073
s36 0047
s37 0013
s38 0009
s38 0066
s38 0130
s39 0012
s39 0130
s40 0114
s40 0116
s40 0117
s40 0119
s41 0130
s42 0047
s42 0048
s42 0049
s42 0050
s42 0143
s43 0049
s43 0107
s44 0056
s44 0058
s44 0061
s44 0062
s45 0056
s45 0058
s45 0061
s45 0062
s46 0008
s46 0013
s47 0136
s48 0067
s49 0067
s50 0130
s51 0130
s52 0064
s53 0067
s54 0067
s54 0107
s55 0136
s56 0011
s57 0013
s58 0008
s59 0169
s60 0136
s61 0048
s62 0033
s62 0036
s63 0045
s63 0066
s63 0104
s63 0130
s64 0057
s64 0061
s65 0076
s65 0144
s66 0018
s66 0019
s66 0020
s66 0021
s67 0053
s67 0055
s68 0020
s68 0132
s69 0070
s69 0087
s69 0090
s69 0091
s69 0099
s70 0053
s70 0055
s70 0060
s70 0061
s71 0051
s71 0052
s71 0053
s71 0054
s71 0055
s72 0154
s72 0158
s72 0162
s73 0120
s73 0121
s73 0122
s73 0123
s73 0124
s74 0129
s74 0154
s74 0160
s75 0172
s75 0176
s76 0056
s76 0058
s76 0060
s77 0057
s78 0022
s78 0023
s78 0025
s79 0051
s79 0052
s79 0053
s79 0054
s79 0055
s80 0022
s80 0023
s80 0025
s80 0026
s80 0028
s81 0033
s82 0018
s82 0019
s82 0020
s82 0021
s82 0100
s83 0018
s83 0019
s83 0020
s83 0021
s84 0045
s84 0066
s84 0073
s84 0130
s84 0136
s85 0149
s85 0172
s85 0173
s85 0175
s85 0177
s86 0008
s86 0107
s86 0132
s86 0135
s87 0056
s87 0058
s87 0060
s88 0047
s88 0048
s88 0049
s88 0050
s89 0145
s89 0146
s89 0148
s89 0151
s89 0161
s90 0022
s90 0023
s90 0025
s90 0026
s90 0028
s91 0008
s91 0017
s91 0067
s91 0109
s91 0132
s92 0057
s92 0060
s92 0062
s93 0118
s93 0129
s93 0154
s93 0160
s94 0049
s94 0128
s95 0014
s95 0018
s95 0019
s95 0020
s95 0021
s96 0067
s97 0051
s97 0052
s97 0053
s97 0054
s97 0055
s98 0171
s99 0051
s99 0052
s99 0054
s99 0055
s100 0056
s100 0061
s100 0062
s101 0145
s101 0146
s101 0148
s101 0151
s102 0047
s102 0048
s102 0049
s102 0050
s103 0051
s103 0052
s103 0053
s103 0054
s103 0055
s104 0120
s104 0121
s104 0123
s104 0124
s105 0077
s105 0078
s105 0079
s105 0080
s106 0112
s106 0113
s106 0139
s106 0170
s107 0086
s107 0158
s107 0162
s108 0004
s108 0007
s108 0091
s109 0059
s109 0061
s109 0062
s109 0120
s110 0034
s110 0035
s110 0165
s110 0182
s111 0129
s111 0154
s111 0160
s111 0162
s112 0087
s112 0091
s112 0096
s113 0033
s113 0042
s113 0061
s114 0033
s114 0036
s115 0077
s115 0078
s115 0079
s115 0081
s116 0090
s116 0092
s116 0094
s116 0097
s117 0087
s117 0089
s117 0096
s118 0076
s118 0131
s118 0141
s118 0142
s118 0144
s119 0056
s119 0059
s119 0061
s120 0037
s120 0038
s120 0039
s121 0031
s121 0033
s121 0039
s122 0031
s122 0033
s122 0129
s123 0086
s123 0120
s123 0122
s124 0154
s124 0158
s124 0160
s124 0162
s125 0023
s125 0024
s125 0031
s125 0033
s126 0145
s126 0146
s126 0148
s126 0151
s126 0152
s127 0077
s127 0078
s127 0079
s127 0080
s127 0081
s128 0057
s128 0059
s128 0060
s128 0061
s129 0001
s129 0002
s129 0003
s129 0065
s130 0056
s130 0061
s130 0062
s131 0152
s131 0154
s131 0158
s131 0162
s132 0087
s133 0148
s133 0158
s133 0160
s133 0162
s134 0036
s134 0090
s134 0093
s134 0095
s135 0093
s135 0095
s135 0097
s136 0068
s136 0108
s136 0134
s136 0137
s136 0167
s137 0031
s137 0033
s137 0038
s138 0129
s139 0129
s139 0160
s139 0162
s140 0034
s140 0035
s140 0163
s141 0025
s141 0026
s142 0118
s142 0129
s142 0154
s142 0160
s142 0162
s143 0051
s143 0052
s143 0053
s143 0054
s143 0055
s144 0088
s144 0089
s144 0093
s144 0094
s145 0036
s145 0120
s145 0121
s145 0122
s145 0123
s146 0092
s146 0093
s146 0094
s146 0096
s147 0030
s147 0149
s147 0172
s147 0173
s147 0175
s148 0129
s148 0159
s148 0160
s148 0162
s149 0056
s149 0060
s149 0061
s149 0062
s150 0090
s150 0093
s150 0094
s151 0031
s151 0033
s151 0039
s152 0056
s152 0058
s152 0059
s153 0056
s153 0060
s153 0061
s153 0062
s154 0064
s154 0131
s154 0168
s154 0169
s154 0183
s155 0129
s155 0160
s155 0162
s156 0090
s156 0091
s156 0180
s157 0033
s157 0036
s158 0022
s158 0023
s158 0024
s158 0026
s159 0057
s159 0059
s159 0061
s159 0062
s160 0036
s160 0077
s160 0093
s160 0095
s160 0096
s161 0008
s161 0067
s161 0107
s161 0136
s162 0056
s162 0058
s162 0059
s162 0062
s163 0047
s163 0048
s163 0049
s163 0050
s164 0031
s164 0033
s164 0043
s165 0086
s165 0158
s165 0159
s165 0162
s166 0093
s166 0095
s166 0097
s167 0120
s167 0121
s167 0122
s167 0123
s168 0120
s168 0121
s168 0122
s168 0123
s169 0149
s169 0175
s170 0129
s170 0154
s170 0160
s170 0162
s171 0129
s171 0158
s171 0162
s171 0164
s172 0086
s172 0129
s172 0154
s173 0129
s173 0154
s173 0158
s174 0077
s174 0078
s174 0079
s174 0080
s175 0115
s175 0129
s175 0154
s175 0160
s175 0162
s176 0152
s176 0154
s176 0158
s176 0162
s177 0129
s177 0153
s177 0154
s177 0162
s178 0022
s178 0023
s178 0025
s178 0026
s178 0028
s179 0086
s179 0129
s179 0162
s180 0022
s180 0023
s180 0025
s180 0026
s180 0028
s181 0051
s181 0052
s181 0053
s181 0054
s182 0127
s182 0178
s182 0179
s182 0180
s183 0056
s183 0059
s183 0061
s184 0056
s184 0059
s184 0061
s184 0062
s185 0154
s185 0160
s185 0162
s186 0161
s186 0162
s186 0165
s186 0166
s187 0036
s187 0161
s187 0162
s187 0165
s188 0065
s188 0082
s188 0083
s188 0084
s189 0077
s189 0078
s189 0079
s189 0080
s190 0076
s190 0131
s190 0141
s190 0142
s190 0144
s191 0022
s191 0023
s191 0024
s191 0026
s191 0028
s192 0118
s192 0129
s192 0153
s192 0154
s192 0162
s193 0090
s193 0091
s193 0092
s193 0180
s194 0077
s194 0078
s194 0079
s194 0080
s194 0081
s195 0093
s195 0095
s195 0097
s195 0098
s196 0090
s196 0092
s196 0096
s196 0098
s197 0056
s197 0060
s197 0061
s198 0031
s198 0033
s199 0033
s199 0061
s200 0022
s200 0023
s200 0024
s200 0026
s201 0047
s201 0048
s201 0049
s201 0050
s202 0004
s202 0005
s202 0007
s202 0147
s203 0086
s203 0154
s203 0158
s204 0037
s205 0120
s205 0121
s205 0123
s205 0124
s206 0031
s206 0033
s207 0031
s207 0033
s207 0039
s208 0031
s208 0033
s209 0090
s209 0092
s209 0098
s209 0099
s210 0051
s210 0052
s210 0053
s210 0054
s211 0086
s211 0129
s211 0162
s212 0056
s212 0061
s212 0062
s213 0031
s213 0033
s213 0037
s214 0033
s214 0039
s215 0093
s215 0095
s215 0123
s216 0033
s216 0061
s217 0120
s217 0121
s217 0122
s217 0123
s217 0124
s218 0036
s218 0053
s218 0055
s218 0106
s219 0086
s219 0145
s219 0146
s219 0148
s220 0087
s220 0094
s220 0096
s221 0051
s221 0052
s221 0053
s221 0054
s221 0055
s222 0030
s222 0149
s222 0172
s222 0173
s222 0175
s223 0036
s223 0129
s223 0154
s223 0160
s224 0022
s224 0023
s224 0024
s224 0026
s224 0028
s225 0086
s225 0129
s225 0162
s226 0022
s226 0023
s226 0024
s226 0026
s226 0028
s227 0031
s227 0033
s227 0043
s228 0129
s228 0154
s228 0160
s228 0162
s229 0059
s229 0061
s229 0062
s230 0089
s230 0090
s230 0094
s231 0033
s231 0043
s231 0044
s232 0086
s232 0158
s232 0159
s232 0162
s233 0092
s233 0094
s233 0096
s233 0098
s234 0018
s234 0019
s234 0020
s235 0031
s235 0033
s236 0090
s236 0094
s236 0162
s237 0086
s237 0145
s237 0146
s237 0148
s238 0057
s238 0060
s238 0061
s238 0062
s239 0129
s239 0160
s239 0162
s240 0129
s240 0161
s240 0162
s240 0164
s241 0114
s241 0115
s241 0116
s241 0117
s241 0119
s242 0092
s242 0093
s242 0097
s243 0118
s243 0153
s243 0157
s243 0162
s244 0090
s244 0094
s244 0097
s245 0035
s245 0163
s245 0165
s246 0181
s247 0031
s248 0087
s248 0089
s248 0090
s249 0038
s249 0040
s250 0032
s250 0033
s250 0129
s251 0077
s252 0031
s252 0033
s252 0038
s253 0170
s254 0047
s255 0129
s255 0160
s255 0162
s256 0060
s256 0061
s256 0062
s257 0031
s257 0033
s258 0022
s258 0023
s258 0025
s258 0026
s258 0028
s259 0129
s259 0154
s259 0160
s259 0162
s260 0090
s260 0094
s260 0097
s260 0098
s261 0022
s261 0023
s261 0024
s261 0026
s261 0028
s262 0087
s262 0089
s262 0090
s262 0094
s263 0088
s263 0090
s263 0091
s263 0094
s264 0087
s264 0089
s264 0090
s264 0096
s265 0033
s265 0106
s265 0179
s266 0056
s266 0058
s266 0059
s266 0062
s267 0105
s268 0036
s268 0157
s268 0160
s268 0162
s269 0031
s269 0033
s269 0037
s270 0114
s270 0115
s270 0116
s270 0117
s270 0119
s271 0043
s271 0044
s271 0067
s272 0118
s272 0129
s272 0153
s272 0162
s273 0053
s273 0054
s273 0100
s273 0128
s274 0120
s274 0121
s274 0122
s274 0123
s275 0022
s275 0023
s275 0026
s275 0028
s276 0037
s276 0039
s277 0060
s277 0061
s277 0062
s278 0095
s278 0098
s278 0123
s279 0089
s279 0090
s279 0096
s280 0056
s280 0060
s280 0061
s281 0120
s281 0121
s281 0122
s281 0123
s282 0033
s282 0106
s282 0127
s282 0179
s283 0059
s283 0062
s283 0129
s284 0087
s284 0090
s284 0091
s284 0098
s285 0018
s285 0019
s285 0021
s285 0100
s286 0120
s286 0122
s286 0123
s287 0158
s287 0160
s287 0162
s288 0145
s288 0146
s288 0148
s288 0151
s289 0075
s289 0112
s289 0113
s289 0139
s290 0090
s290 0092
s290 0108
s290 0118
s291 0059
s291 0060
s291 0061
s292 0040
s292 0042
s292 0178
s292 0180
s293 0129
s293 0159
s293 0160
s293 0162
s294 0065
s294 0101
s294 0115
s294 0151
s294 0171
s295 0120
s295 0121
s295 0123
s295 0124
s296 0129
s296 0154
s296 0160
s296 0162
s297 0008
s297 0017
s297 0018
s297 0019
s297 0020
s297 0132
s298 0089
s298 0092
s298 0093
s299 0004
s299 0005
s299 0007
s299 0091
s300 0031
s300 0033
s301 0090
s301 0095
s301 0096
s302 0088
s302 0093
s302 0095
s302 0097
s303 0120
s303 0122
s303 0123
s304 0008
s304 0067
s305 0057
s305 0060
s305 0062
s306 0091
s306 0092
s306 0094
s307 0090
s307 0091
s307 0092
s307 0097
s307 0098
s308 0090
s308 0093
s308 0097
s309 0033
s309 0038
s309 0042
s310 0004
s310 0005
s310 0007
s311 0033
s311 0042