forked from gabridego/timetabling-problem-solver
-
Notifications
You must be signed in to change notification settings - Fork 0
/
instance05.stu
25113 lines (25113 loc) · 266 KB
/
instance05.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 0077
s1 0081
s2 0237
s3 0409
s3 0410
s3 0411
s4 0083
s4 0213
s5 0014
s5 0170
s5 0363
s5 0372
s6 0014
s6 0363
s6 0372
s7 0073
s7 0074
s8 0213
s9 0080
s10 0077
s10 0081
s11 0363
s11 0373
s12 0083
s13 0307
s14 0078
s14 0079
s14 0374
s15 0072
s16 0169
s16 0362
s17 0075
s17 0213
s18 0083
s19 0083
s20 0458
s20 0460
s21 0077
s21 0081
s22 0457
s23 0075
s24 0075
s25 0455
s25 0456
s26 0059
s27 0219
s27 0372
s27 0389
s28 0233
s29 0281
s30 0083
s31 0359
s31 0388
s31 0396
s32 0130
s32 0135
s33 0204
s34 0083
s35 0410
s35 0411
s36 0043
s37 0197
s38 0051
s38 0175
s38 0254
s39 0082
s39 0083
s40 0220
s40 0221
s40 0384
s41 0408
s41 0410
s42 0381
s43 0237
s44 0135
s45 0390
s46 0411
s47 0038
s48 0221
s48 0363
s48 0390
s49 0083
s50 0077
s50 0081
s51 0083
s52 0460
s53 0078
s53 0081
s54 0409
s55 0155
s56 0410
s56 0411
s57 0379
s57 0384
s58 0220
s59 0265
s59 0266
s60 0410
s60 0411
s61 0220
s62 0220
s62 0221
s62 0363
s62 0364
s63 0043
s63 0044
s63 0168
s63 0334
s63 0343
s64 0083
s65 0132
s65 0133
s66 0132
s66 0133
s67 0213
s68 0083
s69 0202
s70 0426
s70 0427
s71 0185
s71 0195
s71 0201
s71 0202
s72 0300
s72 0308
s73 0035
s73 0036
s74 0081
s74 0082
s75 0201
s75 0203
s76 0083
s77 0038
s78 0068
s78 0075
s79 0083
s80 0083
s81 0220
s81 0363
s81 0364
s82 0312
s83 0041
s83 0179
s83 0296
s83 0327
s84 0083
s85 0219
s85 0363
s85 0375
s86 0431
s86 0444
s86 0448
s86 0451
s86 0452
s87 0082
s88 0313
s88 0314
s89 0363
s89 0364
s89 0376
s90 0202
s91 0159
s92 0220
s92 0221
s92 0364
s93 0197
s93 0201
s94 0429
s95 0014
s95 0169
s95 0219
s96 0083
s97 0307
s97 0309
s97 0311
s98 0194
s98 0199
s98 0457
s99 0063
s99 0072
s100 0031
s100 0291
s100 0319
s100 0325
s101 0178
s102 0051
s102 0258
s102 0293
s103 0162
s103 0163
s104 0016
s105 0372
s105 0389
s106 0014
s106 0219
s107 0079
s108 0142
s108 0150
s108 0254
s108 0263
s108 0395
s109 0280
s109 0281
s110 0372
s110 0389
s111 0070
s112 0070
s113 0344
s114 0068
s115 0345
s115 0348
s116 0201
s116 0203
s117 0132
s117 0135
s118 0285
s119 0409
s119 0411
s120 0323
s120 0327
s120 0328
s120 0343
s121 0028
s121 0051
s121 0175
s121 0250
s121 0290
s122 0141
s122 0274
s122 0288
s122 0290
s122 0365
s123 0372
s123 0389
s124 0410
s124 0411
s125 0253
s125 0361
s125 0382
s126 0363
s126 0364
s126 0375
s127 0177
s127 0184
s127 0187
s127 0246
s128 0410
s128 0412
s129 0213
s130 0221
s130 0363
s131 0044
s131 0051
s131 0212
s131 0293
s132 0285
s133 0458
s134 0078
s134 0082
s135 0232
s136 0364
s136 0375
s136 0376
s137 0225
s137 0226
s137 0243
s137 0254
s137 0396
s138 0083
s139 0077
s139 0081
s140 0214
s140 0360
s140 0361
s140 0383
s141 0180
s141 0181
s141 0193
s141 0395
s142 0170
s142 0372
s143 0357
s143 0359
s143 0378
s143 0386
s143 0395
s144 0364
s144 0375
s144 0376
s145 0364
s145 0373
s145 0374
s146 0041
s146 0253
s146 0293
s146 0317
s146 0394
s147 0455
s148 0052
s148 0056
s148 0057
s148 0058
s149 0035
s149 0163
s150 0159
s151 0006
s152 0184
s152 0189
s152 0317
s152 0396
s152 0461
s153 0374
s153 0384
s154 0212
s154 0326
s154 0327
s154 0328
s155 0003
s155 0005
s155 0008
s155 0215
s155 0357
s156 0083
s157 0427
s157 0428
s157 0429
s158 0082
s159 0066
s159 0071
s160 0013
s160 0390
s161 0078
s162 0460
s163 0281
s164 0021
s164 0026
s164 0040
s165 0035
s165 0037
s165 0038
s166 0346
s167 0303
s167 0304
s167 0415
s168 0184
s168 0192
s168 0318
s168 0395
s169 0159
s170 0351
s171 0155
s171 0157
s172 0364
s172 0384
s173 0075
s174 0040
s174 0245
s174 0445
s174 0453
s175 0329
s176 0197
s176 0199
s176 0201
s177 0078
s177 0079
s178 0118
s178 0124
s178 0125
s178 0127
s178 0254
s178 0258
s179 0167
s179 0356
s179 0360
s179 0361
s179 0388
s180 0291
s180 0322
s180 0343
s180 0435
s181 0172
s181 0174
s181 0182
s182 0040
s182 0098
s182 0103
s183 0098
s183 0099
s183 0100
s183 0104
s183 0121
s183 0257
s183 0396
s184 0168
s184 0252
s184 0323
s184 0325
s185 0050
s186 0307
s187 0201
s187 0202
s188 0034
s188 0047
s188 0051
s188 0247
s188 0293
s189 0090
s189 0091
s189 0094
s189 0172
s190 0460
s191 0085
s191 0094
s191 0103
s191 0116
s191 0125
s191 0243
s192 0141
s192 0145
s192 0174
s192 0268
s192 0396
s193 0172
s193 0245
s193 0254
s193 0436
s194 0131
s194 0136
s195 0142
s195 0146
s195 0147
s195 0148
s195 0269
s196 0001
s196 0245
s196 0290
s196 0365
s197 0381
s198 0172
s198 0317
s199 0323
s199 0326
s199 0331
s200 0202
s200 0213
s201 0184
s201 0191
s201 0295
s202 0146
s202 0147
s202 0149
s202 0150
s202 0151
s202 0264
s203 0041
s203 0321
s203 0327
s204 0093
s204 0094
s204 0098
s204 0320
s205 0004
s205 0009
s205 0010
s205 0011
s205 0361
s206 0165
s206 0212
s206 0354
s206 0385
s207 0202
s208 0158
s208 0159
s209 0166
s209 0167
s209 0217
s209 0352
s209 0359
s210 0167
s210 0215
s210 0255
s210 0361
s211 0169
s211 0389
s212 0309
s213 0167
s213 0257
s213 0290
s213 0359
s213 0361
s214 0015
s214 0373
s215 0049
s215 0168
s215 0210
s215 0294
s216 0023
s216 0026
s216 0044
s216 0254
s217 0105
s218 0070
s219 0372
s219 0389
s220 0254
s220 0331
s220 0332
s220 0335
s220 0341
s221 0444
s222 0070
s223 0179
s223 0293
s223 0323
s223 0342
s224 0079
s224 0081
s224 0082
s225 0409
s225 0411
s226 0259
s226 0278
s227 0098
s227 0099
s227 0101
s227 0104
s227 0121
s228 0108
s228 0109
s229 0255
s229 0327
s229 0328
s229 0341
s229 0397
s230 0107
s230 0108
s230 0109
s231 0408
s231 0409
s231 0410
s232 0155
s233 0285
s234 0216
s235 0202
s236 0372
s237 0454
s237 0455
s238 0013
s238 0169
s238 0362
s239 0023
s239 0024
s239 0026
s239 0030
s239 0033
s240 0197
s240 0203
s241 0076
s241 0080
s241 0082
s242 0159
s243 0202
s244 0076
s244 0389
s245 0055
s245 0058
s245 0059
s245 0255
s246 0184
s246 0187
s246 0189
s246 0193
s247 0009
s247 0010
s247 0011
s247 0357
s247 0360
s247 0361
s248 0023
s248 0024
s248 0026
s248 0031
s248 0033
s249 0159
s250 0039
s250 0182
s250 0184
s250 0188
s250 0190
s250 0396
s251 0453
s252 0212
s252 0318
s252 0323
s252 0341
s253 0168
s253 0396
s253 0449
s253 0451
s253 0452
s254 0327
s254 0328
s254 0331
s254 0334
s255 0449
s255 0451
s255 0452
s255 0453
s256 0040
s256 0254
s256 0292
s256 0414
s257 0116
s257 0117
s257 0124
s257 0127
s257 0212
s258 0328
s258 0334
s258 0335
s258 0336
s259 0219
s259 0373
s259 0390
s260 0252
s260 0261
s260 0263
s260 0265
s260 0293
s260 0396
s261 0145
s261 0212
s261 0269
s261 0275
s261 0461
s262 0381
s263 0015
s263 0364
s263 0375
s263 0376
s264 0135
s265 0281
s265 0282
s265 0284
s266 0025
s266 0026
s266 0030
s266 0031
s266 0033
s266 0258
s267 0003
s267 0005
s267 0008
s267 0360
s267 0361
s268 0326
s268 0327
s268 0341
s268 0343
s268 0396
s269 0265
s269 0266
s269 0270
s269 0274
s269 0276
s270 0150
s270 0264
s270 0270
s270 0272
s271 0293
s271 0318
s271 0325
s271 0414
s272 0202
s273 0179
s273 0327
s273 0331
s273 0337
s273 0343
s274 0196
s274 0199
s275 0455
s275 0456
s276 0015
s276 0220
s276 0364
s276 0384
s277 0166
s277 0167
s277 0218
s277 0359
s277 0360
s278 0194
s278 0195
s278 0198
s279 0068
s279 0307
s280 0008
s280 0245
s281 0177
s281 0181
s281 0193
s281 0461
s282 0330
s283 0443
s284 0002
s284 0167
s284 0353
s284 0377
s284 0388
s285 0212
s285 0326
s285 0339
s285 0341
s286 0288
s286 0432
s286 0434
s286 0437
s287 0178
s288 0039
s288 0176
s288 0317
s288 0318
s289 0094
s289 0098
s289 0102
s289 0435
s290 0023
s290 0029
s290 0253
s290 0257
s290 0395
s290 0396
s291 0230
s291 0238
s291 0245
s291 0402
s292 0202
s293 0170
s293 0373
s293 0390
s294 0112
s294 0252
s294 0289
s294 0414
s295 0150
s295 0270
s295 0276
s295 0277
s295 0396
s296 0150
s296 0184
s296 0187
s296 0192
s296 0296
s297 0173
s297 0193
s297 0461
s298 0326
s298 0328
s298 0331
s298 0332
s298 0339
s299 0094
s299 0097
s299 0098
s299 0099
s299 0435
s300 0355
s301 0181
s301 0187
s301 0257
s302 0322
s302 0326
s302 0327
s302 0396
s303 0310
s303 0311
s304 0052
s304 0056
s304 0059
s304 0168
s304 0172
s305 0087
s305 0090
s305 0092
s305 0113
s305 0254
s306 0323
s306 0326
s306 0331
s307 0116
s307 0125
s307 0127
s307 0258
s307 0292
s308 0425
s308 0426
s309 0149
s309 0182
s309 0190
s309 0193
s310 0091
s310 0093
s310 0094
s310 0097
s310 0100
s310 0102
s311 0179
s311 0228
s311 0326
s311 0334
s311 0395
s312 0122
s313 0023
s313 0024
s313 0025
s313 0026
s313 0031
s313 0033
s314 0141
s314 0150
s314 0173
s314 0174
s315 0143
s315 0214
s315 0272
s315 0371
s315 0380
s316 0442
s316 0444
s316 0448
s316 0451
s316 0452
s317 0321
s317 0334
s317 0335
s317 0336
s318 0125
s318 0127
s318 0238
s318 0353
s318 0415
s318 0431
s319 0002
s319 0143
s319 0260
s319 0357
s319 0371
s320 0444
s320 0446
s320 0448
s320 0451
s320 0452
s321 0116
s321 0117
s321 0123
s321 0127
s321 0243
s322 0218
s322 0357
s322 0359
s322 0361
s322 0380
s323 0039
s323 0092
s323 0097
s323 0098
s323 0113
s323 0395
s324 0166
s324 0167
s324 0257
s324 0356
s324 0361
s325 0146
s325 0147
s325 0149
s325 0296
s325 0461
s326 0381
s327 0342
s327 0435
s328 0173
s328 0174
s328 0317
s328 0396
s329 0329
s330 0324
s330 0326
s330 0331
s330 0341
s330 0343
s331 0244
s331 0255
s331 0326
s331 0335
s331 0341
s332 0077
s332 0081
s333 0021
s333 0023
s333 0024
s333 0026
s333 0030
s333 0044
s334 0252
s334 0361
s334 0366
s335 0363
s335 0364
s335 0384
s335 0390
s336 0171
s336 0173
s336 0257
s336 0317
s337 0143
s337 0265
s337 0360
s337 0361
s337 0370
s337 0371
s338 0263
s338 0264
s338 0268
s338 0293
s338 0395
s339 0098
s339 0099
s339 0101
s339 0102
s339 0104
s339 0255
s340 0254
s340 0266
s340 0269
s340 0274
s340 0461
s341 0179
s341 0245
s341 0254
s341 0326
s342 0102
s342 0244
s342 0245
s342 0354
s343 0253
s343 0293
s343 0319
s343 0327
s343 0396
s344 0168
s344 0212
s344 0296
s344 0335
s344 0341
s344 0435
s345 0178
s346 0177
s346 0189
s346 0193
s346 0296
s347 0251
s347 0357
s347 0382
s347 0383
s347 0387
s347 0395
s348 0356
s348 0358
s348 0361
s349 0255
s349 0272
s349 0273
s349 0274
s349 0277
s350 0179
s350 0328
s350 0341
s351 0107
s351 0338
s351 0344
s352 0381
s353 0438
s353 0447
s353 0450
s353 0452
s353 0453
s354 0040
s354 0112
s354 0289
s354 0414
s355 0381
s356 0381
s357 0167
s357 0357
s357 0360
s357 0361
s357 0383