forked from jemappellesami/LineAlgHoraires
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Problem-pulp.sol
7872 lines (7866 loc) · 505 KB
/
Problem-pulp.sol
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
Problem:
Rows: 336
Columns: 7488 (7488 integer, 7488 binary)
Non-zeros: 14976
Status: INTEGER OPTIMAL
Objective: Objective_Function = 348.1488927 (MAXimum)
No. Row name Activity Lower bound Upper bound
------ ------------ ------------- ------------- -------------
1 MaxStudents_0
15 15
2 MaxStudents_1
15 15
3 MaxStudents_10
15 15
4 MaxStudents_11
15 15
5 MaxStudents_12
15 15
6 MaxStudents_13
15 15
7 MaxStudents_14
10 15
8 MaxStudents_15
15 15
9 MaxStudents_16
15 15
10 MaxStudents_17
15 15
11 MaxStudents_18
9 15
12 MaxStudents_19
15 15
13 MaxStudents_2
14 15
14 MaxStudents_20
8 15
15 MaxStudents_21
10 15
16 MaxStudents_22
8 15
17 MaxStudents_23
6 15
18 MaxStudents_3
13 15
19 MaxStudents_4
15 15
20 MaxStudents_5
15 15
21 MaxStudents_6
15 15
22 MaxStudents_7
9 15
23 MaxStudents_8
15 15
24 MaxStudents_9
15 15
25 OneSlot_0 1 1 =
26 OneSlot_1 1 1 =
27 OneSlot_10 1 1 =
28 OneSlot_100 1 1 =
29 OneSlot_101 1 1 =
30 OneSlot_102 1 1 =
31 OneSlot_103 1 1 =
32 OneSlot_104 1 1 =
33 OneSlot_105 1 1 =
34 OneSlot_106 1 1 =
35 OneSlot_107 1 1 =
36 OneSlot_108 1 1 =
37 OneSlot_109 1 1 =
38 OneSlot_11 1 1 =
39 OneSlot_110 1 1 =
40 OneSlot_111 1 1 =
41 OneSlot_112 1 1 =
42 OneSlot_113 1 1 =
43 OneSlot_114 1 1 =
44 OneSlot_115 1 1 =
45 OneSlot_116 1 1 =
46 OneSlot_117 1 1 =
47 OneSlot_118 1 1 =
48 OneSlot_119 1 1 =
49 OneSlot_12 1 1 =
50 OneSlot_120 1 1 =
51 OneSlot_121 1 1 =
52 OneSlot_122 1 1 =
53 OneSlot_123 1 1 =
54 OneSlot_124 1 1 =
55 OneSlot_125 1 1 =
56 OneSlot_126 1 1 =
57 OneSlot_127 1 1 =
58 OneSlot_128 1 1 =
59 OneSlot_129 1 1 =
60 OneSlot_13 1 1 =
61 OneSlot_130 1 1 =
62 OneSlot_131 1 1 =
63 OneSlot_132 1 1 =
64 OneSlot_133 1 1 =
65 OneSlot_134 1 1 =
66 OneSlot_135 1 1 =
67 OneSlot_136 1 1 =
68 OneSlot_137 1 1 =
69 OneSlot_138 1 1 =
70 OneSlot_139 1 1 =
71 OneSlot_14 1 1 =
72 OneSlot_140 1 1 =
73 OneSlot_141 1 1 =
74 OneSlot_142 1 1 =
75 OneSlot_143 1 1 =
76 OneSlot_144 1 1 =
77 OneSlot_145 1 1 =
78 OneSlot_146 1 1 =
79 OneSlot_147 1 1 =
80 OneSlot_148 1 1 =
81 OneSlot_149 1 1 =
82 OneSlot_15 1 1 =
83 OneSlot_150 1 1 =
84 OneSlot_151 1 1 =
85 OneSlot_152 1 1 =
86 OneSlot_153 1 1 =
87 OneSlot_154 1 1 =
88 OneSlot_155 1 1 =
89 OneSlot_156 1 1 =
90 OneSlot_157 1 1 =
91 OneSlot_158 1 1 =
92 OneSlot_159 1 1 =
93 OneSlot_16 1 1 =
94 OneSlot_160 1 1 =
95 OneSlot_161 1 1 =
96 OneSlot_162 1 1 =
97 OneSlot_163 1 1 =
98 OneSlot_164 1 1 =
99 OneSlot_165 1 1 =
100 OneSlot_166 1 1 =
101 OneSlot_167 1 1 =
102 OneSlot_168 1 1 =
103 OneSlot_169 1 1 =
104 OneSlot_17 1 1 =
105 OneSlot_170 1 1 =
106 OneSlot_171 1 1 =
107 OneSlot_172 1 1 =
108 OneSlot_173 1 1 =
109 OneSlot_174 1 1 =
110 OneSlot_175 1 1 =
111 OneSlot_176 1 1 =
112 OneSlot_177 1 1 =
113 OneSlot_178 1 1 =
114 OneSlot_179 1 1 =
115 OneSlot_18 1 1 =
116 OneSlot_180 1 1 =
117 OneSlot_181 1 1 =
118 OneSlot_182 1 1 =
119 OneSlot_183 1 1 =
120 OneSlot_184 1 1 =
121 OneSlot_185 1 1 =
122 OneSlot_186 1 1 =
123 OneSlot_187 1 1 =
124 OneSlot_188 1 1 =
125 OneSlot_189 1 1 =
126 OneSlot_19 1 1 =
127 OneSlot_190 1 1 =
128 OneSlot_191 1 1 =
129 OneSlot_192 1 1 =
130 OneSlot_193 1 1 =
131 OneSlot_194 1 1 =
132 OneSlot_195 1 1 =
133 OneSlot_196 1 1 =
134 OneSlot_197 1 1 =
135 OneSlot_198 1 1 =
136 OneSlot_199 1 1 =
137 OneSlot_2 1 1 =
138 OneSlot_20 1 1 =
139 OneSlot_200 1 1 =
140 OneSlot_201 1 1 =
141 OneSlot_202 1 1 =
142 OneSlot_203 1 1 =
143 OneSlot_204 1 1 =
144 OneSlot_205 1 1 =
145 OneSlot_206 1 1 =
146 OneSlot_207 1 1 =
147 OneSlot_208 1 1 =
148 OneSlot_209 1 1 =
149 OneSlot_21 1 1 =
150 OneSlot_210 1 1 =
151 OneSlot_211 1 1 =
152 OneSlot_212 1 1 =
153 OneSlot_213 1 1 =
154 OneSlot_214 1 1 =
155 OneSlot_215 1 1 =
156 OneSlot_216 1 1 =
157 OneSlot_217 1 1 =
158 OneSlot_218 1 1 =
159 OneSlot_219 1 1 =
160 OneSlot_22 1 1 =
161 OneSlot_220 1 1 =
162 OneSlot_221 1 1 =
163 OneSlot_222 1 1 =
164 OneSlot_223 1 1 =
165 OneSlot_224 1 1 =
166 OneSlot_225 1 1 =
167 OneSlot_226 1 1 =
168 OneSlot_227 1 1 =
169 OneSlot_228 1 1 =
170 OneSlot_229 1 1 =
171 OneSlot_23 1 1 =
172 OneSlot_230 1 1 =
173 OneSlot_231 1 1 =
174 OneSlot_232 1 1 =
175 OneSlot_233 1 1 =
176 OneSlot_234 1 1 =
177 OneSlot_235 1 1 =
178 OneSlot_236 1 1 =
179 OneSlot_237 1 1 =
180 OneSlot_238 1 1 =
181 OneSlot_239 1 1 =
182 OneSlot_24 1 1 =
183 OneSlot_240 1 1 =
184 OneSlot_241 1 1 =
185 OneSlot_242 1 1 =
186 OneSlot_243 1 1 =
187 OneSlot_244 1 1 =
188 OneSlot_245 1 1 =
189 OneSlot_246 1 1 =
190 OneSlot_247 1 1 =
191 OneSlot_248 1 1 =
192 OneSlot_249 1 1 =
193 OneSlot_25 1 1 =
194 OneSlot_250 1 1 =
195 OneSlot_251 1 1 =
196 OneSlot_252 1 1 =
197 OneSlot_253 1 1 =
198 OneSlot_254 1 1 =
199 OneSlot_255 1 1 =
200 OneSlot_256 1 1 =
201 OneSlot_257 1 1 =
202 OneSlot_258 1 1 =
203 OneSlot_259 1 1 =
204 OneSlot_26 1 1 =
205 OneSlot_260 1 1 =
206 OneSlot_261 1 1 =
207 OneSlot_262 1 1 =
208 OneSlot_263 1 1 =
209 OneSlot_264 1 1 =
210 OneSlot_265 1 1 =
211 OneSlot_266 1 1 =
212 OneSlot_267 1 1 =
213 OneSlot_268 1 1 =
214 OneSlot_269 1 1 =
215 OneSlot_27 1 1 =
216 OneSlot_270 1 1 =
217 OneSlot_271 1 1 =
218 OneSlot_272 1 1 =
219 OneSlot_273 1 1 =
220 OneSlot_274 1 1 =
221 OneSlot_275 1 1 =
222 OneSlot_276 1 1 =
223 OneSlot_277 1 1 =
224 OneSlot_278 1 1 =
225 OneSlot_279 1 1 =
226 OneSlot_28 1 1 =
227 OneSlot_280 1 1 =
228 OneSlot_281 1 1 =
229 OneSlot_282 1 1 =
230 OneSlot_283 1 1 =
231 OneSlot_284 1 1 =
232 OneSlot_285 1 1 =
233 OneSlot_286 1 1 =
234 OneSlot_287 1 1 =
235 OneSlot_288 1 1 =
236 OneSlot_289 1 1 =
237 OneSlot_29 1 1 =
238 OneSlot_290 1 1 =
239 OneSlot_291 1 1 =
240 OneSlot_292 1 1 =
241 OneSlot_293 1 1 =
242 OneSlot_294 1 1 =
243 OneSlot_295 1 1 =
244 OneSlot_296 1 1 =
245 OneSlot_297 1 1 =
246 OneSlot_298 1 1 =
247 OneSlot_299 1 1 =
248 OneSlot_3 1 1 =
249 OneSlot_30 1 1 =
250 OneSlot_300 1 1 =
251 OneSlot_301 1 1 =
252 OneSlot_302 1 1 =
253 OneSlot_303 1 1 =
254 OneSlot_304 1 1 =
255 OneSlot_305 1 1 =
256 OneSlot_306 1 1 =
257 OneSlot_307 1 1 =
258 OneSlot_308 1 1 =
259 OneSlot_309 1 1 =
260 OneSlot_31 1 1 =
261 OneSlot_310 1 1 =
262 OneSlot_311 1 1 =
263 OneSlot_32 1 1 =
264 OneSlot_33 1 1 =
265 OneSlot_34 1 1 =
266 OneSlot_35 1 1 =
267 OneSlot_36 1 1 =
268 OneSlot_37 1 1 =
269 OneSlot_38 1 1 =
270 OneSlot_39 1 1 =
271 OneSlot_4 1 1 =
272 OneSlot_40 1 1 =
273 OneSlot_41 1 1 =
274 OneSlot_42 1 1 =
275 OneSlot_43 1 1 =
276 OneSlot_44 1 1 =
277 OneSlot_45 1 1 =
278 OneSlot_46 1 1 =
279 OneSlot_47 1 1 =
280 OneSlot_48 1 1 =
281 OneSlot_49 1 1 =
282 OneSlot_5 1 1 =
283 OneSlot_50 1 1 =
284 OneSlot_51 1 1 =
285 OneSlot_52 1 1 =
286 OneSlot_53 1 1 =
287 OneSlot_54 1 1 =
288 OneSlot_55 1 1 =
289 OneSlot_56 1 1 =
290 OneSlot_57 1 1 =
291 OneSlot_58 1 1 =
292 OneSlot_59 1 1 =
293 OneSlot_6 1 1 =
294 OneSlot_60 1 1 =
295 OneSlot_61 1 1 =
296 OneSlot_62 1 1 =
297 OneSlot_63 1 1 =
298 OneSlot_64 1 1 =
299 OneSlot_65 1 1 =
300 OneSlot_66 1 1 =
301 OneSlot_67 1 1 =
302 OneSlot_68 1 1 =
303 OneSlot_69 1 1 =
304 OneSlot_7 1 1 =
305 OneSlot_70 1 1 =
306 OneSlot_71 1 1 =
307 OneSlot_72 1 1 =
308 OneSlot_73 1 1 =
309 OneSlot_74 1 1 =
310 OneSlot_75 1 1 =
311 OneSlot_76 1 1 =
312 OneSlot_77 1 1 =
313 OneSlot_78 1 1 =
314 OneSlot_79 1 1 =
315 OneSlot_8 1 1 =
316 OneSlot_80 1 1 =
317 OneSlot_81 1 1 =
318 OneSlot_82 1 1 =
319 OneSlot_83 1 1 =
320 OneSlot_84 1 1 =
321 OneSlot_85 1 1 =
322 OneSlot_86 1 1 =
323 OneSlot_87 1 1 =
324 OneSlot_88 1 1 =
325 OneSlot_89 1 1 =
326 OneSlot_9 1 1 =
327 OneSlot_90 1 1 =
328 OneSlot_91 1 1 =
329 OneSlot_92 1 1 =
330 OneSlot_93 1 1 =
331 OneSlot_94 1 1 =
332 OneSlot_95 1 1 =
333 OneSlot_96 1 1 =
334 OneSlot_97 1 1 =
335 OneSlot_98 1 1 =
336 OneSlot_99 1 1 =
No. Column name Activity Lower bound Upper bound
------ ------------ ------------- ------------- -------------
1 x_0_0 * 0 0 1
2 x_0_1 * 0 0 1
3 x_0_10 * 0 0 1
4 x_0_11 * 0 0 1
5 x_0_12 * 0 0 1
6 x_0_13 * 0 0 1
7 x_0_14 * 0 0 1
8 x_0_15 * 0 0 1
9 x_0_16 * 0 0 1
10 x_0_17 * 0 0 1
11 x_0_18 * 0 0 1
12 x_0_19 * 1 0 1
13 x_0_2 * 0 0 1
14 x_0_20 * 0 0 1
15 x_0_21 * 0 0 1
16 x_0_22 * 0 0 1
17 x_0_23 * 0 0 1
18 x_0_3 * 0 0 1
19 x_0_4 * 0 0 1
20 x_0_5 * 0 0 1
21 x_0_6 * 0 0 1
22 x_0_7 * 0 0 1
23 x_0_8 * 0 0 1
24 x_0_9 * 0 0 1
25 x_100_0 * 0 0 1
26 x_100_1 * 0 0 1
27 x_100_10 * 0 0 1
28 x_100_11 * 0 0 1
29 x_100_12 * 0 0 1
30 x_100_13 * 0 0 1
31 x_100_14 * 0 0 1
32 x_100_15 * 1 0 1
33 x_100_16 * 0 0 1
34 x_100_17 * 0 0 1
35 x_100_18 * 0 0 1
36 x_100_19 * 0 0 1
37 x_100_2 * 0 0 1
38 x_100_20 * 0 0 1
39 x_100_21 * 0 0 1
40 x_100_22 * 0 0 1
41 x_100_23 * 0 0 1
42 x_100_3 * 0 0 1
43 x_100_4 * 0 0 1
44 x_100_5 * 0 0 1
45 x_100_6 * 0 0 1
46 x_100_7 * 0 0 1
47 x_100_8 * 0 0 1
48 x_100_9 * 0 0 1
49 x_101_0 * 0 0 1
50 x_101_1 * 0 0 1
51 x_101_10 * 0 0 1
52 x_101_11 * 0 0 1
53 x_101_12 * 0 0 1
54 x_101_13 * 0 0 1
55 x_101_14 * 0 0 1
56 x_101_15 * 0 0 1
57 x_101_16 * 0 0 1
58 x_101_17 * 1 0 1
59 x_101_18 * 0 0 1
60 x_101_19 * 0 0 1
61 x_101_2 * 0 0 1
62 x_101_20 * 0 0 1
63 x_101_21 * 0 0 1
64 x_101_22 * 0 0 1
65 x_101_23 * 0 0 1
66 x_101_3 * 0 0 1
67 x_101_4 * 0 0 1
68 x_101_5 * 0 0 1
69 x_101_6 * 0 0 1
70 x_101_7 * 0 0 1
71 x_101_8 * 0 0 1
72 x_101_9 * 0 0 1
73 x_102_0 * 0 0 1
74 x_102_1 * 0 0 1
75 x_102_10 * 0 0 1
76 x_102_11 * 1 0 1
77 x_102_12 * 0 0 1
78 x_102_13 * 0 0 1
79 x_102_14 * 0 0 1
80 x_102_15 * 0 0 1
81 x_102_16 * 0 0 1
82 x_102_17 * 0 0 1
83 x_102_18 * 0 0 1
84 x_102_19 * 0 0 1
85 x_102_2 * 0 0 1
86 x_102_20 * 0 0 1
87 x_102_21 * 0 0 1
88 x_102_22 * 0 0 1
89 x_102_23 * 0 0 1
90 x_102_3 * 0 0 1
91 x_102_4 * 0 0 1
92 x_102_5 * 0 0 1
93 x_102_6 * 0 0 1
94 x_102_7 * 0 0 1
95 x_102_8 * 0 0 1
96 x_102_9 * 0 0 1
97 x_103_0 * 0 0 1
98 x_103_1 * 0 0 1
99 x_103_10 * 1 0 1
100 x_103_11 * 0 0 1
101 x_103_12 * 0 0 1
102 x_103_13 * 0 0 1
103 x_103_14 * 0 0 1
104 x_103_15 * 0 0 1
105 x_103_16 * 0 0 1
106 x_103_17 * 0 0 1
107 x_103_18 * 0 0 1
108 x_103_19 * 0 0 1
109 x_103_2 * 0 0 1
110 x_103_20 * 0 0 1
111 x_103_21 * 0 0 1
112 x_103_22 * 0 0 1
113 x_103_23 * 0 0 1
114 x_103_3 * 0 0 1
115 x_103_4 * 0 0 1
116 x_103_5 * 0 0 1
117 x_103_6 * 0 0 1
118 x_103_7 * 0 0 1
119 x_103_8 * 0 0 1
120 x_103_9 * 0 0 1
121 x_104_0 * 0 0 1
122 x_104_1 * 0 0 1
123 x_104_10 * 0 0 1
124 x_104_11 * 0 0 1
125 x_104_12 * 0 0 1
126 x_104_13 * 0 0 1
127 x_104_14 * 0 0 1
128 x_104_15 * 1 0 1
129 x_104_16 * 0 0 1
130 x_104_17 * 0 0 1
131 x_104_18 * 0 0 1
132 x_104_19 * 0 0 1
133 x_104_2 * 0 0 1
134 x_104_20 * 0 0 1
135 x_104_21 * 0 0 1
136 x_104_22 * 0 0 1
137 x_104_23 * 0 0 1
138 x_104_3 * 0 0 1
139 x_104_4 * 0 0 1
140 x_104_5 * 0 0 1
141 x_104_6 * 0 0 1
142 x_104_7 * 0 0 1
143 x_104_8 * 0 0 1
144 x_104_9 * 0 0 1
145 x_105_0 * 1 0 1
146 x_105_1 * 0 0 1
147 x_105_10 * 0 0 1
148 x_105_11 * 0 0 1
149 x_105_12 * 0 0 1
150 x_105_13 * 0 0 1
151 x_105_14 * 0 0 1
152 x_105_15 * 0 0 1
153 x_105_16 * 0 0 1
154 x_105_17 * 0 0 1
155 x_105_18 * 0 0 1
156 x_105_19 * 0 0 1
157 x_105_2 * 0 0 1
158 x_105_20 * 0 0 1
159 x_105_21 * 0 0 1
160 x_105_22 * 0 0 1
161 x_105_23 * 0 0 1
162 x_105_3 * 0 0 1
163 x_105_4 * 0 0 1
164 x_105_5 * 0 0 1
165 x_105_6 * 0 0 1
166 x_105_7 * 0 0 1
167 x_105_8 * 0 0 1
168 x_105_9 * 0 0 1
169 x_106_0 * 0 0 1
170 x_106_1 * 0 0 1
171 x_106_10 * 0 0 1
172 x_106_11 * 0 0 1
173 x_106_12 * 0 0 1
174 x_106_13 * 0 0 1
175 x_106_14 * 0 0 1
176 x_106_15 * 1 0 1
177 x_106_16 * 0 0 1
178 x_106_17 * 0 0 1
179 x_106_18 * 0 0 1
180 x_106_19 * 0 0 1
181 x_106_2 * 0 0 1
182 x_106_20 * 0 0 1
183 x_106_21 * 0 0 1
184 x_106_22 * 0 0 1
185 x_106_23 * 0 0 1
186 x_106_3 * 0 0 1
187 x_106_4 * 0 0 1
188 x_106_5 * 0 0 1
189 x_106_6 * 0 0 1
190 x_106_7 * 0 0 1
191 x_106_8 * 0 0 1
192 x_106_9 * 0 0 1
193 x_107_0 * 1 0 1
194 x_107_1 * 0 0 1
195 x_107_10 * 0 0 1
196 x_107_11 * 0 0 1
197 x_107_12 * 0 0 1
198 x_107_13 * 0 0 1
199 x_107_14 * 0 0 1
200 x_107_15 * 0 0 1
201 x_107_16 * 0 0 1
202 x_107_17 * 0 0 1
203 x_107_18 * 0 0 1
204 x_107_19 * 0 0 1
205 x_107_2 * 0 0 1
206 x_107_20 * 0 0 1
207 x_107_21 * 0 0 1
208 x_107_22 * 0 0 1
209 x_107_23 * 0 0 1
210 x_107_3 * 0 0 1
211 x_107_4 * 0 0 1
212 x_107_5 * 0 0 1
213 x_107_6 * 0 0 1
214 x_107_7 * 0 0 1
215 x_107_8 * 0 0 1
216 x_107_9 * 0 0 1
217 x_108_0 * 0 0 1
218 x_108_1 * 0 0 1
219 x_108_10 * 0 0 1
220 x_108_11 * 0 0 1
221 x_108_12 * 0 0 1
222 x_108_13 * 0 0 1
223 x_108_14 * 0 0 1
224 x_108_15 * 0 0 1
225 x_108_16 * 0 0 1
226 x_108_17 * 0 0 1
227 x_108_18 * 0 0 1
228 x_108_19 * 0 0 1
229 x_108_2 * 0 0 1
230 x_108_20 * 0 0 1
231 x_108_21 * 0 0 1
232 x_108_22 * 0 0 1
233 x_108_23 * 0 0 1
234 x_108_3 * 0 0 1
235 x_108_4 * 0 0 1
236 x_108_5 * 0 0 1
237 x_108_6 * 0 0 1
238 x_108_7 * 0 0 1
239 x_108_8 * 1 0 1
240 x_108_9 * 0 0 1
241 x_109_0 * 0 0 1
242 x_109_1 * 0 0 1
243 x_109_10 * 0 0 1
244 x_109_11 * 0 0 1
245 x_109_12 * 0 0 1
246 x_109_13 * 1 0 1
247 x_109_14 * 0 0 1
248 x_109_15 * 0 0 1
249 x_109_16 * 0 0 1
250 x_109_17 * 0 0 1
251 x_109_18 * 0 0 1
252 x_109_19 * 0 0 1
253 x_109_2 * 0 0 1
254 x_109_20 * 0 0 1
255 x_109_21 * 0 0 1
256 x_109_22 * 0 0 1
257 x_109_23 * 0 0 1
258 x_109_3 * 0 0 1
259 x_109_4 * 0 0 1
260 x_109_5 * 0 0 1
261 x_109_6 * 0 0 1
262 x_109_7 * 0 0 1
263 x_109_8 * 0 0 1
264 x_109_9 * 0 0 1
265 x_10_0 * 0 0 1
266 x_10_1 * 0 0 1
267 x_10_10 * 0 0 1
268 x_10_11 * 0 0 1
269 x_10_12 * 0 0 1
270 x_10_13 * 0 0 1
271 x_10_14 * 0 0 1
272 x_10_15 * 0 0 1
273 x_10_16 * 0 0 1
274 x_10_17 * 0 0 1
275 x_10_18 * 0 0 1
276 x_10_19 * 0 0 1
277 x_10_2 * 0 0 1
278 x_10_20 * 0 0 1
279 x_10_21 * 0 0 1
280 x_10_22 * 1 0 1
281 x_10_23 * 0 0 1
282 x_10_3 * 0 0 1
283 x_10_4 * 0 0 1
284 x_10_5 * 0 0 1
285 x_10_6 * 0 0 1
286 x_10_7 * 0 0 1
287 x_10_8 * 0 0 1
288 x_10_9 * 0 0 1
289 x_110_0 * 0 0 1
290 x_110_1 * 0 0 1
291 x_110_10 * 0 0 1
292 x_110_11 * 0 0 1
293 x_110_12 * 0 0 1
294 x_110_13 * 0 0 1
295 x_110_14 * 0 0 1
296 x_110_15 * 0 0 1
297 x_110_16 * 0 0 1
298 x_110_17 * 0 0 1
299 x_110_18 * 0 0 1
300 x_110_19 * 0 0 1
301 x_110_2 * 0 0 1
302 x_110_20 * 0 0 1
303 x_110_21 * 0 0 1
304 x_110_22 * 0 0 1
305 x_110_23 * 0 0 1
306 x_110_3 * 0 0 1
307 x_110_4 * 0 0 1
308 x_110_5 * 1 0 1
309 x_110_6 * 0 0 1
310 x_110_7 * 0 0 1
311 x_110_8 * 0 0 1
312 x_110_9 * 0 0 1
313 x_111_0 * 0 0 1
314 x_111_1 * 0 0 1
315 x_111_10 * 1 0 1
316 x_111_11 * 0 0 1
317 x_111_12 * 0 0 1
318 x_111_13 * 0 0 1
319 x_111_14 * 0 0 1
320 x_111_15 * 0 0 1
321 x_111_16 * 0 0 1
322 x_111_17 * 0 0 1
323 x_111_18 * 0 0 1
324 x_111_19 * 0 0 1
325 x_111_2 * 0 0 1
326 x_111_20 * 0 0 1
327 x_111_21 * 0 0 1
328 x_111_22 * 0 0 1
329 x_111_23 * 0 0 1
330 x_111_3 * 0 0 1
331 x_111_4 * 0 0 1
332 x_111_5 * 0 0 1
333 x_111_6 * 0 0 1
334 x_111_7 * 0 0 1
335 x_111_8 * 0 0 1
336 x_111_9 * 0 0 1
337 x_112_0 * 0 0 1
338 x_112_1 * 0 0 1
339 x_112_10 * 0 0 1
340 x_112_11 * 0 0 1
341 x_112_12 * 0 0 1
342 x_112_13 * 0 0 1
343 x_112_14 * 0 0 1
344 x_112_15 * 0 0 1
345 x_112_16 * 0 0 1
346 x_112_17 * 0 0 1
347 x_112_18 * 0 0 1
348 x_112_19 * 0 0 1
349 x_112_2 * 0 0 1
350 x_112_20 * 0 0 1
351 x_112_21 * 0 0 1
352 x_112_22 * 0 0 1
353 x_112_23 * 0 0 1
354 x_112_3 * 0 0 1
355 x_112_4 * 0 0 1
356 x_112_5 * 0 0 1
357 x_112_6 * 1 0 1
358 x_112_7 * 0 0 1
359 x_112_8 * 0 0 1
360 x_112_9 * 0 0 1
361 x_113_0 * 0 0 1
362 x_113_1 * 0 0 1
363 x_113_10 * 0 0 1
364 x_113_11 * 0 0 1
365 x_113_12 * 0 0 1
366 x_113_13 * 0 0 1
367 x_113_14 * 0 0 1
368 x_113_15 * 0 0 1
369 x_113_16 * 0 0 1
370 x_113_17 * 0 0 1
371 x_113_18 * 0 0 1
372 x_113_19 * 0 0 1
373 x_113_2 * 0 0 1
374 x_113_20 * 0 0 1
375 x_113_21 * 0 0 1
376 x_113_22 * 0 0 1
377 x_113_23 * 0 0 1
378 x_113_3 * 0 0 1
379 x_113_4 * 0 0 1
380 x_113_5 * 1 0 1
381 x_113_6 * 0 0 1
382 x_113_7 * 0 0 1
383 x_113_8 * 0 0 1
384 x_113_9 * 0 0 1
385 x_114_0 * 0 0 1
386 x_114_1 * 1 0 1
387 x_114_10 * 0 0 1
388 x_114_11 * 0 0 1
389 x_114_12 * 0 0 1
390 x_114_13 * 0 0 1
391 x_114_14 * 0 0 1
392 x_114_15 * 0 0 1
393 x_114_16 * 0 0 1
394 x_114_17 * 0 0 1
395 x_114_18 * 0 0 1
396 x_114_19 * 0 0 1
397 x_114_2 * 0 0 1
398 x_114_20 * 0 0 1
399 x_114_21 * 0 0 1
400 x_114_22 * 0 0 1
401 x_114_23 * 0 0 1
402 x_114_3 * 0 0 1
403 x_114_4 * 0 0 1
404 x_114_5 * 0 0 1
405 x_114_6 * 0 0 1
406 x_114_7 * 0 0 1
407 x_114_8 * 0 0 1
408 x_114_9 * 0 0 1
409 x_115_0 * 0 0 1
410 x_115_1 * 0 0 1
411 x_115_10 * 0 0 1
412 x_115_11 * 0 0 1
413 x_115_12 * 0 0 1
414 x_115_13 * 0 0 1
415 x_115_14 * 0 0 1
416 x_115_15 * 0 0 1
417 x_115_16 * 0 0 1
418 x_115_17 * 0 0 1
419 x_115_18 * 1 0 1
420 x_115_19 * 0 0 1
421 x_115_2 * 0 0 1
422 x_115_20 * 0 0 1
423 x_115_21 * 0 0 1
424 x_115_22 * 0 0 1
425 x_115_23 * 0 0 1
426 x_115_3 * 0 0 1
427 x_115_4 * 0 0 1
428 x_115_5 * 0 0 1
429 x_115_6 * 0 0 1
430 x_115_7 * 0 0 1
431 x_115_8 * 0 0 1
432 x_115_9 * 0 0 1
433 x_116_0 * 0 0 1
434 x_116_1 * 0 0 1
435 x_116_10 * 0 0 1
436 x_116_11 * 0 0 1
437 x_116_12 * 0 0 1
438 x_116_13 * 0 0 1
439 x_116_14 * 0 0 1
440 x_116_15 * 0 0 1
441 x_116_16 * 0 0 1
442 x_116_17 * 0 0 1
443 x_116_18 * 0 0 1
444 x_116_19 * 0 0 1
445 x_116_2 * 0 0 1
446 x_116_20 * 0 0 1
447 x_116_21 * 0 0 1
448 x_116_22 * 1 0 1
449 x_116_23 * 0 0 1
450 x_116_3 * 0 0 1
451 x_116_4 * 0 0 1
452 x_116_5 * 0 0 1
453 x_116_6 * 0 0 1
454 x_116_7 * 0 0 1
455 x_116_8 * 0 0 1
456 x_116_9 * 0 0 1
457 x_117_0 * 0 0 1
458 x_117_1 * 0 0 1
459 x_117_10 * 0 0 1
460 x_117_11 * 0 0 1
461 x_117_12 * 0 0 1
462 x_117_13 * 0 0 1
463 x_117_14 * 0 0 1
464 x_117_15 * 0 0 1
465 x_117_16 * 0 0 1
466 x_117_17 * 0 0 1
467 x_117_18 * 0 0 1
468 x_117_19 * 0 0 1
469 x_117_2 * 0 0 1
470 x_117_20 * 0 0 1
471 x_117_21 * 0 0 1
472 x_117_22 * 0 0 1
473 x_117_23 * 0 0 1
474 x_117_3 * 0 0 1
475 x_117_4 * 0 0 1
476 x_117_5 * 0 0 1
477 x_117_6 * 0 0 1
478 x_117_7 * 0 0 1
479 x_117_8 * 1 0 1
480 x_117_9 * 0 0 1
481 x_118_0 * 0 0 1
482 x_118_1 * 0 0 1
483 x_118_10 * 0 0 1
484 x_118_11 * 0 0 1
485 x_118_12 * 0 0 1
486 x_118_13 * 0 0 1
487 x_118_14 * 0 0 1
488 x_118_15 * 0 0 1
489 x_118_16 * 0 0 1
490 x_118_17 * 0 0 1
491 x_118_18 * 0 0 1
492 x_118_19 * 0 0 1
493 x_118_2 * 0 0 1
494 x_118_20 * 0 0 1
495 x_118_21 * 0 0 1
496 x_118_22 * 1 0 1
497 x_118_23 * 0 0 1
498 x_118_3 * 0 0 1
499 x_118_4 * 0 0 1
500 x_118_5 * 0 0 1
501 x_118_6 * 0 0 1
502 x_118_7 * 0 0 1
503 x_118_8 * 0 0 1
504 x_118_9 * 0 0 1
505 x_119_0 * 0 0 1
506 x_119_1 * 0 0 1
507 x_119_10 * 0 0 1
508 x_119_11 * 0 0 1
509 x_119_12 * 0 0 1
510 x_119_13 * 0 0 1
511 x_119_14 * 0 0 1
512 x_119_15 * 0 0 1
513 x_119_16 * 0 0 1
514 x_119_17 * 1 0 1
515 x_119_18 * 0 0 1
516 x_119_19 * 0 0 1
517 x_119_2 * 0 0 1
518 x_119_20 * 0 0 1
519 x_119_21 * 0 0 1
520 x_119_22 * 0 0 1
521 x_119_23 * 0 0 1
522 x_119_3 * 0 0 1
523 x_119_4 * 0 0 1
524 x_119_5 * 0 0 1
525 x_119_6 * 0 0 1
526 x_119_7 * 0 0 1
527 x_119_8 * 0 0 1
528 x_119_9 * 0 0 1
529 x_11_0 * 0 0 1
530 x_11_1 * 0 0 1
531 x_11_10 * 0 0 1
532 x_11_11 * 0 0 1
533 x_11_12 * 0 0 1
534 x_11_13 * 0 0 1
535 x_11_14 * 0 0 1
536 x_11_15 * 0 0 1
537 x_11_16 * 0 0 1
538 x_11_17 * 0 0 1
539 x_11_18 * 0 0 1
540 x_11_19 * 1 0 1
541 x_11_2 * 0 0 1
542 x_11_20 * 0 0 1
543 x_11_21 * 0 0 1
544 x_11_22 * 0 0 1
545 x_11_23 * 0 0 1
546 x_11_3 * 0 0 1
547 x_11_4 * 0 0 1
548 x_11_5 * 0 0 1
549 x_11_6 * 0 0 1
550 x_11_7 * 0 0 1
551 x_11_8 * 0 0 1
552 x_11_9 * 0 0 1
553 x_120_0 * 0 0 1
554 x_120_1 * 0 0 1
555 x_120_10 * 0 0 1
556 x_120_11 * 0 0 1
557 x_120_12 * 0 0 1
558 x_120_13 * 0 0 1
559 x_120_14 * 0 0 1
560 x_120_15 * 0 0 1
561 x_120_16 * 0 0 1
562 x_120_17 * 0 0 1
563 x_120_18 * 0 0 1
564 x_120_19 * 0 0 1
565 x_120_2 * 0 0 1
566 x_120_20 * 0 0 1
567 x_120_21 * 0 0 1
568 x_120_22 * 0 0 1
569 x_120_23 * 0 0 1
570 x_120_3 * 0 0 1
571 x_120_4 * 0 0 1
572 x_120_5 * 0 0 1
573 x_120_6 * 1 0 1
574 x_120_7 * 0 0 1
575 x_120_8 * 0 0 1
576 x_120_9 * 0 0 1
577 x_121_0 * 0 0 1
578 x_121_1 * 0 0 1
579 x_121_10 * 0 0 1
580 x_121_11 * 0 0 1
581 x_121_12 * 0 0 1
582 x_121_13 * 0 0 1
583 x_121_14 * 1 0 1
584 x_121_15 * 0 0 1
585 x_121_16 * 0 0 1
586 x_121_17 * 0 0 1
587 x_121_18 * 0 0 1
588 x_121_19 * 0 0 1
589 x_121_2 * 0 0 1
590 x_121_20 * 0 0 1
591 x_121_21 * 0 0 1
592 x_121_22 * 0 0 1
593 x_121_23 * 0 0 1
594 x_121_3 * 0 0 1
595 x_121_4 * 0 0 1
596 x_121_5 * 0 0 1
597 x_121_6 * 0 0 1
598 x_121_7 * 0 0 1
599 x_121_8 * 0 0 1
600 x_121_9 * 0 0 1
601 x_122_0 * 0 0 1
602 x_122_1 * 0 0 1
603 x_122_10 * 0 0 1
604 x_122_11 * 0 0 1
605 x_122_12 * 0 0 1
606 x_122_13 * 0 0 1
607 x_122_14 * 1 0 1
608 x_122_15 * 0 0 1
609 x_122_16 * 0 0 1
610 x_122_17 * 0 0 1
611 x_122_18 * 0 0 1
612 x_122_19 * 0 0 1
613 x_122_2 * 0 0 1
614 x_122_20 * 0 0 1
615 x_122_21 * 0 0 1
616 x_122_22 * 0 0 1
617 x_122_23 * 0 0 1
618 x_122_3 * 0 0 1
619 x_122_4 * 0 0 1
620 x_122_5 * 0 0 1
621 x_122_6 * 0 0 1
622 x_122_7 * 0 0 1
623 x_122_8 * 0 0 1
624 x_122_9 * 0 0 1
625 x_123_0 * 0 0 1
626 x_123_1 * 0 0 1
627 x_123_10 * 0 0 1
628 x_123_11 * 0 0 1