-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathPRIMAL3.SIF
11252 lines (11223 loc) · 663 KB
/
PRIMAL3.SIF
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
NAME PRIMAL3
* Problem :
* *********
* A primal quadratic program from Antonio Frangioni ([email protected])
* SIF input: Irv Lustig and Nick Gould, June 1996.
* classification QLR2-MN-745-111
* Useful parameters
IE 2 2
IE N 745
ROWS
N obj
L c1
L c2
L c3
L c4
L c5
L c6
L c7
L c8
L c9
L c10
L c11
L c12
L c13
L c14
L c15
L c16
L c17
L c18
L c19
L c20
L c21
L c22
L c23
L c24
L c25
L c26
L c27
L c28
L c29
L c30
L c31
L c32
L c33
L c34
L c35
L c36
L c37
L c38
L c39
L c40
L c41
L c42
L c43
L c44
L c45
L c46
L c47
L c48
L c49
L c50
L c51
L c52
L c53
L c54
L c55
L c56
L c57
L c58
L c59
L c60
L c61
L c62
L c63
L c64
L c65
L c66
L c67
L c68
L c69
L c70
L c71
L c72
L c73
L c74
L c75
L c76
L c77
L c78
L c79
L c80
L c81
L c82
L c83
L c84
L c85
L c86
L c87
L c88
L c89
L c90
L c91
L c92
L c93
L c94
L c95
L c96
L c97
L c98
L c99
L c100
L c101
L c102
L c103
L c104
L c105
L c106
L c107
L c108
L c109
L c110
L c111
COLUMNS
x1 obj -1 c1 1
x1 c2 1 c3 1
x1 c4 1 c5 1
x1 c6 1 c7 1
x1 c8 1 c9 1
x1 c10 1 c11 1
x1 c12 1 c13 1
x1 c14 1 c15 1
x1 c16 1 c17 1
x1 c18 1 c19 1
x1 c20 1 c21 1
x1 c22 1 c23 1
x1 c24 1 c25 1
x1 c26 1 c27 1
x1 c28 1 c29 1
x1 c30 1 c31 1
x1 c32 1 c33 1
x1 c34 1 c35 1
x1 c36 1 c37 1
x1 c38 1 c39 1
x1 c40 1 c41 1
x1 c42 1 c43 1
x1 c44 1 c45 1
x1 c46 1 c47 1
x1 c48 1 c49 1
x1 c50 1 c51 1
x1 c52 1 c53 1
x1 c54 1 c55 1
x1 c56 1 c57 1
x1 c58 1 c59 1
x1 c60 1 c61 1
x1 c62 1 c63 1
x1 c64 1 c65 1
x1 c66 1 c67 1
x1 c68 1 c69 1
x1 c70 1 c71 1
x1 c72 1 c73 1
x1 c74 1 c75 1
x1 c76 1 c77 1
x1 c78 1 c79 1
x1 c80 1 c81 1
x1 c82 1 c83 1
x1 c84 1 c85 1
x1 c86 1 c87 1
x1 c88 1 c89 1
x1 c90 1 c91 1
x1 c92 1 c93 1
x1 c94 1 c95 1
x1 c96 1 c97 1
x1 c98 1 c99 1
x1 c100 1 c101 1
x1 c102 1 c103 1
x1 c104 1 c105 1
x1 c106 1 c107 1
x1 c108 1 c109 1
x1 c110 1 c111 1
x2 c3 -1 c14 1
x2 c23 -1 c34 -1
x2 c42 1 c46 -1
x2 c53 1 c64 -1
x2 c65 1 c78 -1
x2 c85 -1 c92 1
x2 c95 1 c96 -1
x2 c104 -1 c107 1
x2 c110 1
x3 c8 1 c9 -1
x3 c10 1 c12 -1
x3 c25 -1 c26 -1
x3 c30 -1 c34 1
x3 c36 1 c37 -1
x3 c47 1 c55 -1
x3 c58 -1 c62 -1
x3 c66 -1 c72 1
x3 c75 -1 c78 1
x3 c79 -1 c88 1
x3 c98 -1 c100 1
x3 c106 1
x4 c4 -1 c11 -1
x4 c12 1 c16 -1
x4 c17 1 c19 1
x4 c20 -1 c21 -1
x4 c23 1 c24 1
x4 c27 1 c29 -1
x4 c30 1 c33 -1
x4 c37 1 c42 -1
x4 c43 1 c46 1
x4 c48 -1 c51 1
x4 c54 -1 c56 1
x4 c57 -1 c61 1
x4 c63 1 c65 -1
x4 c67 1 c68 1
x4 c71 1 c73 -1
x4 c75 1 c77 -1
x4 c79 1 c81 -1
x4 c84 -1 c85 1
x4 c87 1 c88 -1
x4 c90 1 c92 -1
x4 c93 1 c95 -1
x4 c96 1 c97 -1
x4 c102 1 c103 -1
x4 c104 1 c105 -1
x5 c4 1 c11 1
x5 c13 1 c14 -1
x5 c15 -1 c16 1
x5 c17 -1 c18 -1
x5 c21 1 c24 -1
x5 c25 1 c29 1
x5 c33 1 c36 -1
x5 c38 1 c39 1
x5 c41 -1 c49 1
x5 c53 -1 c54 1
x5 c56 -1 c61 -1
x5 c63 -1 c64 1
x5 c66 1 c67 -1
x5 c68 -1 c69 -1
x5 c70 -1 c72 -1
x5 c73 1 c81 1
x5 c82 -1 c83 -1
x5 c84 1 c89 1
x5 c91 -1 c93 -1
x5 c94 1 c98 1
x5 c99 -1 c105 1
x5 c110 -1 c111 1
x6 c1 -1 c3 1
x6 c5 -1 c9 1
x6 c13 -1 c18 1
x6 c19 -1 c20 1
x6 c22 -1 c26 1
x6 c38 -1 c40 -1
x6 c41 1 c47 -1
x6 c48 1 c51 -1
x6 c58 1 c62 1
x6 c69 1 c70 1
x6 c71 -1 c77 1
x6 c80 -1 c82 1
x6 c90 -1 c94 -1
x6 c97 1 c102 -1
x7 c1 1 c5 1
x7 c8 -1 c10 -1
x7 c15 1 c22 1
x7 c27 -1 c39 -1
x7 c40 1 c43 -1
x7 c49 -1 c55 1
x7 c57 1 c80 1
x7 c83 1 c87 -1
x7 c89 -1 c91 1
x7 c99 1 c100 -1
x7 c103 1 c106 -1
x7 c107 -1 c111 -1
x8 c2 1 c6 -1
x8 c8 1 c17 1
x8 c21 -1 c22 1
x8 c27 1 c31 -1
x8 c32 -1 c34 -1
x8 c36 1 c38 1
x8 c39 -1 c43 1
x8 c46 1 c50 -1
x8 c53 -1 c56 1
x8 c57 -1 c60 1
x8 c61 1 c63 -1
x8 c74 1 c76 -1
x8 c77 -1 c79 1
x8 c80 -1 c83 1
x8 c84 1 c85 -1
x8 c87 -1 c91 -1
x8 c96 1 c97 -1
x8 c98 -1 c102 1
x8 c109 1 c110 1
x8 c111 -1
x9 c8 -1 c12 1
x9 c14 1 c20 -1
x9 c21 1 c23 -1
x9 c24 1 c25 1
x9 c27 -1 c34 1
x9 c37 -1 c42 1
x9 c45 -1 c56 -1
x9 c63 1 c65 1
x9 c74 -1 c75 1
x9 c81 1 c86 1
x9 c91 1 c102 -1
x10 c1 1 c4 -1
x10 c6 1 c10 1
x10 c19 1 c24 -1
x10 c28 1 c29 -1
x10 c30 1 c40 1
x10 c48 -1 c50 1
x10 c51 -1 c53 1
x10 c67 -1 c70 -1
x10 c72 1 c79 -1
x10 c83 -1 c85 1
x10 c92 -1 c93 1
x10 c96 -1 c99 1
x10 c107 1 c108 -1
x10 c110 -1
x11 c73 1
x12 c1 -1 c2 -1
x12 c3 -1 c4 1
x12 c7 -1 c9 1
x12 c10 -1 c12 -1
x12 c13 1 c14 -1
x12 c15 1 c16 -1
x12 c19 -1 c20 1
x12 c22 -1 c25 -1
x12 c26 1 c28 -1
x12 c29 1 c32 1
x12 c35 -1 c37 1
x12 c38 -1 c40 -1
x12 c41 -1 c43 -1
x12 c44 1 c46 -1
x12 c48 1 c51 1
x12 c54 -1 c57 1
x12 c58 1 c59 -1
x12 c60 -1 c64 -1
x12 c66 1 c68 1
x12 c69 1 c72 -1
x12 c76 1 c78 1
x12 c80 1 c84 -1
x12 c86 -1 c90 -1
x12 c92 1 c93 -1
x12 c94 -1 c95 1
x12 c97 1 c99 -1
x12 c100 1 c101 1
x12 c103 -1 c111 1
x13 c3 1 c7 1
x13 c9 -1 c13 -1
x13 c15 -1 c16 1
x13 c17 -1 c23 1
x13 c26 -1 c30 -1
x13 c31 1 c35 1
x13 c36 -1 c39 1
x13 c41 1 c42 -1
x13 c44 -1 c45 1
x13 c54 1 c58 -1
x13 c59 1 c61 -1
x13 c64 1 c65 -1
x13 c66 -1 c67 1
x13 c68 -1 c69 -1
x13 c70 1 c73 -1
x13 c75 -1 c77 1
x13 c78 -1 c81 -1
x13 c87 1 c90 1
x13 c94 1 c95 -1
x13 c98 1 c100 -1
x13 c101 -1 c103 1
x13 c107 -1 c108 1
x13 c109 -1
x14 c7 -1 c23 1
x14 c28 -1 c29 -1
x14 c31 -1 c32 1
x14 c33 1 c37 -1
x14 c41 1 c48 1
x14 c49 -1 c51 -1
x14 c53 1 c61 1
x14 c64 1 c65 -1
x14 c66 -1 c71 -1
x14 c72 -1 c73 1
x14 c80 -1 c93 -1
x14 c95 -1 c97 1
x14 c99 1 c100 -1
x14 c101 1 c102 -1
x14 c105 1 c107 1
x14 c111 -1
x15 c4 1 c7 1
x15 c10 -1 c16 1
x15 c19 1 c20 -1
x15 c24 -1 c25 1
x15 c26 -1 c27 1
x15 c65 1 c68 -1
x15 c69 1 c70 -1
x15 c75 1 c77 -1
x15 c78 1 c86 -1
x15 c108 1 c109 -1
x16 c4 -1 c9 -1
x16 c10 1 c12 -1
x16 c18 -1 c22 -1
x16 c31 1 c33 -1
x16 c38 -1 c39 1
x16 c41 -1 c43 1
x16 c45 -1 c49 1
x16 c51 1 c54 -1
x16 c55 -1 c60 1
x16 c70 1 c73 -1
x16 c77 1 c78 -1
x16 c79 -1 c81 1
x16 c83 -1 c84 1
x16 c86 1 c88 -1
x16 c89 -1 c92 -1
x16 c93 1 c98 1
x16 c99 -1 c110 -1
x17 c5 -1 c6 1
x17 c8 -1 c9 1
x17 c11 -1 c16 -1
x17 c17 1 c18 1
x17 c23 -1 c24 1
x17 c25 -1 c28 1
x17 c29 1 c30 -1
x17 c34 -1 c37 1
x17 c42 -1 c44 -1
x17 c45 1 c50 1
x17 c52 -1 c62 -1
x17 c63 -1 c69 -1
x17 c74 1 c79 1
x17 c83 1 c94 1
x17 c97 -1 c103 1
x17 c104 -1 c109 1
x18 c1 -1 c5 1
x18 c6 -1 c11 1
x18 c14 1 c15 1
x18 c17 -1 c19 -1
x18 c27 -1 c30 1
x18 c32 -1 c34 1
x18 c35 -1 c38 1
x18 c39 -1 c40 1
x18 c44 1 c50 -1
x18 c52 1 c53 -1
x18 c55 1 c60 -1
x18 c61 -1 c62 1
x18 c63 1 c64 -1
x18 c66 1 c68 1
x18 c71 1 c72 1
x18 c75 -1 c80 1
x18 c81 -1 c84 -1
x18 c85 1 c87 -1
x18 c88 1 c89 1
x18 c90 -1 c92 1
x18 c94 -1 c95 1
x18 c100 1 c101 -1
x18 c102 1 c103 -1
x18 c105 -1 c106 -1
x18 c107 -1 c110 1
x18 c111 1
x19 c1 1 c8 1
x19 c12 1 c14 -1
x19 c15 -1 c20 1
x19 c22 1 c26 1
x19 c35 1 c40 -1
x19 c42 1 c43 -1
x19 c48 -1 c54 1
x19 c74 -1 c85 -1
x19 c87 1 c90 1
x19 c98 -1 c104 1
x19 c106 1 c108 -1
x20 c10 -1 c28 1
x20 c29 -1 c35 1
x20 c47 -1 c64 1
x20 c65 -1 c82 1
x20 c87 -1
x21 c2 1 c5 1
x21 c8 1 c10 1
x21 c11 -1 c14 -1
x21 c16 1 c20 1
x21 c23 -1 c27 1
x21 c28 -1 c31 1
x21 c32 1 c33 1
x21 c34 -1 c35 -1
x21 c44 1 c46 -1
x21 c48 1 c51 -1
x21 c52 -1 c53 1
x21 c56 1 c61 1
x21 c64 -1 c65 1
x21 c67 -1 c70 -1
x21 c73 -1 c74 1
x21 c76 -1 c78 1
x21 c80 -1 c81 1
x21 c84 1 c85 -1
x21 c89 1 c90 -1
x21 c91 1 c94 -1
x21 c95 1 c101 1
x21 c102 -1 c104 1
x21 c106 1 c109 1
x21 c110 -1
x22 c2 -1 c3 1
x22 c4 -1 c5 -1
x22 c7 1 c15 1
x22 c16 -1 c18 -1
x22 c19 1 c20 -1
x22 c23 1 c24 -1
x22 c25 1 c26 -1
x22 c31 -1 c36 1
x22 c37 -1 c39 1
x22 c48 -1 c51 1
x22 c69 1 c70 1
x22 c71 -1 c73 1
x22 c74 -1 c78 -1
x22 c79 -1 c88 -1
x22 c92 -1 c97 1
x22 c98 -1 c99 1
x22 c100 -1 c104 -1
x22 c107 1 c111 -1
x23 c8 -1 c9 1
x23 c17 1 c18 1
x23 c21 -1 c24 1
x23 c27 -1 c29 1
x23 c30 -1 c33 -1
x23 c39 -1 c41 1
x23 c50 1 c53 -1
x23 c55 1 c56 -1
x23 c59 -1 c61 -1
x23 c62 1 c67 1
x23 c69 -1 c71 1
x23 c76 1 c77 -1
x23 c91 -1 c93 1
x23 c95 -1 c97 -1
x23 c98 1 c100 1
x23 c109 -1 c111 1
x24 c3 -1 c4 1
x24 c7 -1 c11 1
x24 c12 -1 c13 1
x24 c14 1 c15 -1
x24 c19 -1 c21 1
x24 c30 1 c32 -1
x24 c34 1 c36 -1
x24 c37 1 c46 1
x24 c47 1 c50 -1
x24 c54 -1 c55 -1
x24 c59 1 c62 -1
x24 c75 -1 c77 1
x24 c79 1 c80 1
x24 c82 -1 c84 -1
x24 c85 1 c86 -1
x24 c88 1 c89 -1
x24 c90 1 c92 1
x24 c93 -1 c94 1
x24 c99 -1 c101 -1
x24 c102 1 c108 -1
x24 c110 1
x25 c9 -1 c12 1
x25 c13 -1 c17 -1
x25 c25 -1 c26 1
x25 c41 -1 c44 -1
x25 c52 1 c54 1
x25 c75 1 c81 -1
x25 c86 1 c87 1
x25 c106 -1 c107 -1
x25 c108 1
x26 c6 1 c7 -1
x26 c9 -1 c15 -1
x26 c17 1 c33 -1
x26 c41 1 c43 1
x26 c49 -1 c66 -1
x26 c72 -1 c75 -1
x26 c76 1 c84 1
x26 c91 -1 c95 -1
x27 c23 -1 c59 -1
x27 c84 -1 c88 1
x27 c90 -1 c92 1
x27 c96 1 c106 -1
x28 c1 1 c3 1
x28 c4 -1 c7 1
x28 c11 -1 c18 -1
x28 c19 1 c23 1
x28 c24 -1 c25 1
x28 c26 -1 c27 1
x28 c30 -1 c32 1
x28 c33 1 c34 -1
x28 c35 1 c36 1
x28 c37 -1 c39 1
x28 c40 -1 c44 1
x28 c52 -1 c53 1
x28 c54 -1 c61 1
x28 c64 1 c67 -1
x28 c68 -1 c71 -1
x28 c76 -1 c79 -1
x28 c80 -1 c81 1
x28 c82 1 c85 -1
x28 c88 -1 c89 1
x28 c91 1 c92 -1
x28 c94 -1 c95 1
x28 c97 1 c98 -1
x28 c99 1 c100 -1
x28 c101 1 c102 -1
x28 c105 1 c106 1
x28 c107 1 c108 -1
x28 c109 1 c110 -1
x28 c111 -1
x29 c18 1 c67 1
x30 c1 -1 c6 -1
x30 c11 1 c25 -1
x30 c38 -1 c39 -1
x30 c47 1 c57 1
x30 c59 1 c61 -1
x30 c63 1 c68 1
x30 c81 -1
x31 c3 -1 c4 1
x31 c9 1 c15 1
x31 c17 -1 c19 -1
x31 c24 1 c26 1
x31 c27 -1 c30 1
x31 c32 -1 c34 1
x31 c35 -1 c36 -1
x31 c37 1 c38 1
x31 c40 1 c41 -1
x31 c43 -1 c44 -1
x31 c47 -1 c49 1
x31 c52 1 c53 -1
x31 c54 1 c57 -1
x31 c63 -1 c64 -1
x31 c66 1 c71 1
x31 c72 1 c75 1
x31 c79 1 c80 1
x31 c82 -1 c85 1
x31 c89 -1 c90 1
x31 c94 1 c96 -1
x31 c97 -1 c98 1
x31 c99 -1 c100 1
x31 c101 -1 c102 1
x31 c105 -1 c107 -1
x31 c108 1 c109 -1
x31 c110 1 c111 1
x32 c2 1 c4 -1
x32 c8 -1 c10 1
x32 c12 1 c20 -1
x32 c21 -1 c23 1
x32 c25 1 c27 -1
x32 c31 1 c34 -1
x32 c37 -1 c45 1
x32 c47 -1 c49 1
x32 c51 -1 c52 1
x32 c54 1 c56 -1
x32 c61 1 c63 1
x32 c70 -1 c71 1
x32 c73 1 c74 -1
x32 c83 -1 c86 1
x32 c87 -1 c92 -1
x32 c93 1 c94 1
x32 c96 1 c97 -1
x32 c106 1 c110 -1
x33 obj 0
x34 c1 1 c5 1
x34 c9 -1 c11 -1
x34 c13 -1 c14 1
x34 c18 -1 c24 -1
x34 c27 1 c28 1
x34 c29 -1 c31 -1
x34 c32 1 c34 1
x34 c36 -1 c39 -1
x34 c40 1 c43 1
x34 c44 -1 c45 -1
x34 c47 1 c49 -1
x34 c51 1 c52 -1
x34 c55 -1 c56 1
x34 c57 1 c58 -1
x34 c60 1 c66 -1
x34 c67 -1 c68 -1
x34 c69 -1 c71 -1
x34 c72 1 c73 -1
x34 c74 1 c76 -1
x34 c77 -1 c78 -1
x34 c81 -1 c87 1
x34 c89 -1 c91 -1
x34 c99 1 c103 1
x34 c109 -1 c110 1
x34 c111 -1
x35 c3 -1 c10 -1
x35 c11 1 c14 -1
x35 c18 1 c19 -1
x35 c28 -1 c32 -1
x35 c39 1 c40 -1
x35 c41 1 c46 -1
x35 c48 1 c50 -1
x35 c55 1 c57 -1
x35 c62 1 c63 -1
x35 c64 1 c77 1
x35 c81 1 c82 1
x35 c83 1 c84 -1
x35 c85 -1 c90 -1
x35 c92 1 c94 -1
x35 c97 1 c99 -1
x35 c105 1 c106 -1
x35 c108 1
x36 c1 -1 c2 -1
x36 c3 1 c4 1
x36 c8 1 c9 1
x36 c12 -1 c16 -1
x36 c21 1 c22 1
x36 c23 -1 c25 -1
x36 c29 1 c35 -1
x36 c36 1 c38 1
x36 c41 -1 c62 -1
x36 c64 -1 c72 -1
x36 c76 1 c78 1
x36 c86 -1 c88 1
x36 c89 1 c91 1
x36 c93 -1 c102 -1
x36 c111 1
x37 c5 -1 c13 1
x37 c16 1 c19 1
x37 c20 1 c22 -1
x37 c24 1 c35 1
x37 c37 1 c38 -1
x37 c43 -1 c44 1
x37 c46 1 c48 -1
x37 c50 1 c54 -1
x37 c58 1 c60 -1
x37 c61 -1 c66 1
x37 c67 1 c68 1
x37 c69 1 c70 1
x37 c82 -1 c84 1
x37 c85 1 c88 -1
x37 c90 1 c96 -1
x37 c102 1 c103 -1
x37 c105 -1 c108 -1
x37 c109 1
x38 obj 0
x39 c2 -1 c5 -1
x39 c7 1 c8 -1
x39 c16 -1 c19 1
x39 c25 1 c26 -1
x39 c29 -1 c31 1
x39 c34 -1 c36 1
x39 c37 -1 c39 1
x39 c40 -1 c53 1
x39 c54 -1 c56 1
x39 c57 -1 c61 1
x39 c65 1 c69 1
x39 c70 1 c71 -1
x39 c73 1 c74 -1
x39 c76 -1 c78 1
x39 c79 -1 c82 1
x39 c83 1 c88 -1
x39 c90 -1 c91 1
x39 c92 -1 c95 1
x39 c98 -1 c102 -1
x39 c105 -1 c107 1
x39 c108 -1
x40 c73 -1 c97 1
x40 c111 -1
x41 c3 -1 c6 1
x41 c9 1 c10 -1
x41 c14 -1 c17 1
x41 c21 1 c22 -1
x41 c29 1 c37 1
x41 c38 -1 c41 1
x41 c42 -1 c43 1
x41 c44 -1 c49 1
x41 c52 -1 c63 -1
x41 c67 1 c70 -1
x41 c76 1 c77 1
x41 c78 -1 c79 1
x41 c82 -1 c85 -1
x41 c90 1 c98 1
x41 c102 1 c104 -1
x41 c106 -1 c110 -1
x42 c1 -1 c3 1
x42 c7 -1 c9 -1
x42 c11 1 c12 -1
x42 c14 1 c17 -1
x42 c19 -1 c25 -1
x42 c34 1 c36 -1
x42 c38 1 c40 1
x42 c41 -1 c47 1
x42 c49 -1 c57 1
x42 c63 1 c69 -1
x42 c71 1 c75 -1
x42 c80 1 c81 -1
x42 c85 1 c86 -1
x42 c88 1 c89 -1
x42 c92 1 c95 -1
x42 c96 1 c101 -1
x42 c107 -1 c110 1
x42 c111 1
x43 c1 1 c2 1
x43 c5 1 c6 -1
x43 c8 1 c10 1
x43 c11 -1 c12 1
x43 c16 1 c21 -1
x43 c22 1 c26 1
x43 c31 -1 c39 -1
x43 c42 1 c43 -1
x43 c44 1 c47 -1
x43 c52 1 c53 -1
x43 c54 1 c56 -1
x43 c61 -1 c65 -1
x43 c67 -1 c74 1
x43 c75 1 c77 -1
x43 c80 -1 c81 1
x43 c83 -1 c86 1
x43 c89 1 c91 -1
x43 c96 -1 c97 -1
x43 c101 1 c104 1
x43 c105 1 c106 1
x43 c108 1
x44 c3 -1 c8 1
x44 c10 -1 c20 1
x44 c22 -1 c24 -1
x44 c32 1 c34 1
x44 c38 -1 c42 1
x44 c50 -1 c63 -1
x44 c65 1 c70 -1
x44 c85 -1 c92 1
x44 c94 -1 c107 1
x45 c1 -1 c7 -1
x45 c9 -1 c10 1
x45 c12 -1 c19 -1
x45 c25 -1 c41 -1
x45 c47 1 c53 1
x45 c59 -1 c62 -1
x45 c66 -1 c68 -1
x45 c72 1 c73 -1
x45 c95 1 c110 1
x45 c111 -1
x46 c3 1 c5 -1
x46 c6 1 c8 -1
x46 c12 1 c16 -1
x46 c17 1 c18 1
x46 c19 1 c20 -1
x46 c24 1 c26 -1
x46 c27 1 c29 -1
x46 c30 1 c31 1
x46 c32 -1 c33 1
x46 c34 -1 c38 1
x46 c40 -1 c43 1
x46 c45 -1 c46 1
x46 c48 -1 c52 1
x46 c54 -1 c56 1
x46 c57 -1 c61 1
x46 c63 1 c64 -1
x46 c68 1 c75 1
x46 c76 -1 c77 1
x46 c84 -1 c85 1
x46 c87 1 c88 -1
x46 c92 -1 c93 1
x46 c97 1 c98 -1
x46 c99 -1 c104 1
x46 c105 -1 c108 -1
x46 c109 1
x47 c4 1 c6 -1
x47 c7 1 c9 1
x47 c15 -1 c16 1
x47 c17 -1 c25 1
x47 c26 1 c27 -1
x47 c29 1 c30 -1
x47 c31 -1 c33 -1
x47 c43 -1 c44 1
x47 c45 1 c46 -1
x47 c47 -1 c48 1
x47 c53 -1 c54 1
x47 c55 -1 c56 -1
x47 c58 1 c59 1
x47 c61 -1 c64 1
x47 c65 -1 c66 1
x47 c70 1 c72 -1
x47 c73 1 c75 -1
x47 c76 1 c77 -1
x47 c78 1 c80 -1
x47 c82 1 c83 -1
x47 c84 1 c87 -1
x47 c88 1 c91 -1
x47 c94 1 c95 -1
x47 c97 -1 c98 1
x47 c100 1 c101 -1
x47 c105 1 c106 1
x47 c107 -1 c108 1
x47 c109 -1 c111 1
x48 obj 0
x49 c1 1 c4 -1
x49 c5 1 c15 1
x49 c18 -1 c22 1
x49 c40 1 c41 1
x49 c42 -1 c44 -1
x49 c50 1 c52 -1
x49 c55 1 c57 1
x49 c58 -1 c62 1
x49 c78 -1 c80 1
x49 c82 -1 c83 1
x49 c91 1 c93 -1
x49 c99 1 c100 -1
x49 c101 1 c104 -1
x49 c106 -1 c110 -1
x50 c2 1 c5 -1
x50 c8 1 c10 -1
x50 c11 -1 c17 1
x50 c18 -1 c26 -1
x50 c27 1 c36 1
x50 c37 1 c42 -1
x50 c43 1 c45 -1
x50 c46 1 c47 1
x50 c48 -1 c52 -1
x50 c57 1 c61 1
x50 c65 -1 c67 -1
x50 c68 1 c76 -1
x50 c78 -1 c83 1
x50 c84 -1 c85 -1
x50 c89 -1 c92 1
x50 c94 -1 c95 1
x50 c96 1 c98 -1
x50 c102 1 c106 -1
x50 c109 1 c110 1
x50 c111 -1
x51 c1 1 c2 -1
x51 c6 1 c9 -1
x51 c10 1 c14 1
x51 c16 -1 c19 1
x51 c20 -1 c21 1
x51 c25 1 c28 -1
x51 c29 -1 c30 1
x51 c34 1 c37 -1
x51 c38 -1 c40 -1
x51 c42 1 c50 1
x51 c54 -1 c62 -1
x51 c63 1 c65 1
x51 c66 -1 c75 1
x51 c77 -1 c81 1
x51 c83 -1 c85 1
x51 c86 1 c88 -1
x51 c91 1 c92 -1
x51 c93 1 c99 1
x51 c102 -1 c104 -1
x51 c108 -1 c110 -1
x52 c4 -1 c8 -1
x52 c28 1 c31 -1
x52 c32 -1 c34 -1
x52 c40 1 c53 1
x52 c72 1 c73 -1
x52 c80 -1 c81 -1
x52 c107 1
x53 c3 1 c11 1
x53 c15 -1 c16 1
x53 c17 -1 c18 1
x53 c19 -1 c23 1
x53 c27 -1 c31 1
x53 c33 1 c35 1
x53 c36 -1 c43 -1
x53 c44 -1 c45 1
x53 c47 -1 c52 1
x53 c53 -1 c54 1
x53 c58 -1 c59 1
x53 c63 -1 c64 1
x53 c67 1 c68 -1
x53 c69 -1 c70 1
x53 c72 -1 c73 1
x53 c75 -1 c77 1
x53 c86 -1 c89 1
x53 c90 1 c91 -1
x53 c94 1 c95 -1
x53 c97 -1 c98 1
x53 c99 -1 c104 1
x53 c108 1 c109 -1
x54 c1 -1 c3 -1
x54 c4 1 c5 1
x54 c6 -1 c9 1
x54 c14 -1 c15 1
x54 c20 1 c21 -1
x54 c23 -1 c25 -1
x54 c26 1 c29 1
x54 c30 -1 c32 1
x54 c33 -1 c35 -1
x54 c38 1 c44 1
x54 c46 -1 c48 1
x54 c50 -1 c57 -1
x54 c58 1 c59 -1
x54 c61 -1 c62 1
x54 c64 -1 c66 1
x54 c69 1 c70 -1
x54 c76 1 c78 1
x54 c80 1 c84 1
x54 c88 1 c90 -1
x54 c93 -1 c96 -1
x54 c97 1 c106 1
x54 c107 -1 c111 1
x55 obj 0
x56 c1 1 c3 1
x56 c4 -1 c6 1
x56 c10 -1 c12 1
x56 c14 1 c16 -1
x56 c18 1 c21 -1
x56 c22 -1 c24 1