-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathPRIMAL1.SIF
3277 lines (3252 loc) · 186 KB
/
PRIMAL1.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 PRIMAL1
* Problem :
* *********
* A primal quadratic program from Antonio Frangioni ([email protected])
* SIF input: Irv Lustig and Nick Gould, June 1996.
* classification QLR2-MN-325-85
* Useful parameters
IE 2 2
IE N 325
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
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
x2 obj 0
x3 c1 -1 c4 1
x3 c6 -1 c7 1
x3 c10 -1 c16 1
x3 c18 -1 c19 1
x3 c25 -1 c26 -1
x3 c27 -1 c31 -1
x3 c34 -1 c35 1
x3 c41 -1 c45 -1
x3 c46 -1 c51 1
x3 c53 -1 c60 1
x3 c67 -1 c68 1
x3 c75 -1 c76 1
x3 c77 -1 c78 1
x3 c79 -1 c84 -1
x3 c85 1
x4 obj 0
x5 c2 1 c6 1
x5 c8 -1 c12 1
x5 c13 1 c14 -1
x5 c17 1 c18 1
x5 c22 1 c24 -1
x5 c25 1 c28 1
x5 c31 1 c38 1
x5 c43 -1 c48 1
x5 c49 -1 c56 -1
x5 c57 1 c61 -1
x5 c62 1 c63 -1
x5 c65 -1 c66 1
x5 c67 1 c68 -1
x5 c69 1 c70 1
x5 c71 -1 c74 -1
x5 c75 1 c77 1
x5 c78 -1 c83 -1
x5 c84 1
x6 c1 1 c12 -1
x6 c14 1 c16 -1
x6 c21 1 c22 -1
x6 c27 1 c28 -1
x6 c29 1 c32 1
x6 c36 1 c47 1
x6 c48 -1 c49 1
x6 c64 1 c71 1
x6 c76 -1 c82 1
x7 c2 -1 c4 -1
x7 c7 -1 c8 1
x7 c10 1 c13 -1
x7 c17 -1 c19 -1
x7 c21 -1 c24 1
x7 c26 1 c29 -1
x7 c32 -1 c34 1
x7 c35 -1 c36 -1
x7 c38 -1 c41 1
x7 c43 1 c45 1
x7 c46 1 c47 -1
x7 c51 -1 c53 1
x7 c56 1 c57 -1
x7 c60 -1 c61 1
x7 c62 -1 c63 1
x7 c64 -1 c65 1
x7 c66 -1 c69 -1
x7 c70 -1 c74 1
x7 c79 1 c82 -1
x7 c83 1 c85 -1
x8 obj 0
x9 c1 -1 c2 1
x9 c3 -1 c4 1
x9 c5 -1 c7 1
x9 c8 1 c9 1
x9 c10 1 c11 1
x9 c12 -1 c15 -1
x9 c19 1 c21 -1
x9 c27 -1 c28 1
x9 c29 -1 c31 1
x9 c33 -1 c34 1
x9 c40 -1 c42 -1
x9 c43 -1 c44 -1
x9 c45 1 c46 1
x9 c48 -1 c49 -1
x9 c50 -1 c55 1
x9 c57 1 c58 1
x9 c59 -1 c60 -1
x9 c62 -1 c66 -1
x9 c68 1 c69 -1
x9 c70 1 c71 -1
x9 c72 -1 c76 1
x9 c77 -1 c78 -1
x9 c79 1 c83 1
x9 c84 -1 c85 1
x10 c1 1 c4 -1
x10 c7 -1 c12 1
x10 c13 1 c15 1
x10 c16 1 c17 1
x10 c18 -1 c19 -1
x10 c22 1 c30 1
x10 c34 -1 c35 1
x10 c36 -1 c38 1
x10 c39 1 c40 1
x10 c43 1 c44 1
x10 c53 1 c57 -1
x10 c60 1 c62 1
x10 c64 -1 c72 1
x10 c73 1 c76 -1
x10 c78 1 c82 -1
x10 c84 1 c85 -1
x11 obj 0
x12 c2 -1 c3 1
x12 c5 1 c8 -1
x12 c9 -1 c10 -1
x12 c11 -1 c13 -1
x12 c16 -1 c17 -1
x12 c18 1 c21 1
x12 c22 -1 c27 1
x12 c28 -1 c29 1
x12 c30 -1 c31 -1
x12 c33 1 c35 -1
x12 c36 1 c38 -1
x12 c39 -1 c42 1
x12 c45 -1 c46 -1
x12 c48 1 c49 1
x12 c50 1 c53 -1
x12 c55 -1 c58 -1
x12 c59 1 c64 1
x12 c66 1 c68 -1
x12 c69 1 c70 -1
x12 c71 1 c73 -1
x12 c77 1 c79 -1
x12 c82 1 c83 -1
x13 obj 0
x14 c5 1 c6 -1
x14 c7 -1 c9 -1
x14 c12 -1 c15 -1
x14 c19 -1 c20 1
x14 c21 -1 c22 1
x14 c25 -1 c28 1
x14 c29 -1 c30 -1
x14 c31 1 c33 1
x14 c34 -1 c35 -1
x14 c38 -1 c39 1
x14 c40 -1 c41 -1
x14 c46 -1 c48 -1
x14 c49 1 c51 -1
x14 c52 -1 c53 -1
x14 c56 1 c57 -1
x14 c58 1 c59 -1
x14 c61 1 c62 -1
x14 c65 1 c66 1
x14 c72 -1 c73 1
x14 c74 1 c83 1
x15 obj 0
x16 obj 0
x17 c2 1 c3 -1
x17 c5 -1 c6 1
x17 c7 1 c8 1
x17 c9 1 c12 1
x17 c15 1 c19 1
x17 c20 -1 c22 -1
x17 c23 -1 c25 1
x17 c29 1 c30 1
x17 c31 -1 c33 -1
x17 c34 1 c35 1
x17 c37 -1 c38 1
x17 c39 -1 c40 1
x17 c41 1 c43 1
x17 c46 1 c47 -1
x17 c48 1 c49 -1
x17 c51 1 c52 1
x17 c53 1 c56 -1
x17 c57 1 c58 -1
x17 c61 -1 c62 1
x17 c63 1 c65 -1
x17 c66 -1 c71 -1
x17 c72 1 c73 -1
x17 c83 -1
x18 c2 -1 c3 1
x18 c8 -1 c21 1
x18 c23 1 c28 -1
x18 c37 1 c43 -1
x18 c47 1 c59 1
x18 c63 -1 c71 1
x18 c74 -1
x19 obj 0
x20 obj 0
x21 obj 0
x22 c2 -1 c3 -1
x22 c4 1 c5 1
x22 c6 -1 c7 -1
x22 c11 1 c13 1
x22 c15 -1 c18 -1
x22 c20 1 c22 -1
x22 c23 -1 c24 1
x22 c25 -1 c26 -1
x22 c27 1 c29 -1
x22 c32 -1 c34 -1
x22 c35 -1 c36 1
x22 c37 -1 c38 -1
x22 c40 -1 c41 1
x22 c43 -1 c46 1
x22 c47 -1 c51 -1
x22 c53 -1 c54 1
x22 c55 -1 c58 1
x22 c60 -1 c61 -1
x22 c63 -1 c64 1
x22 c66 1 c69 1
x22 c70 -1 c71 -1
x22 c72 1 c73 -1
x22 c74 1 c75 -1
x22 c76 1 c77 1
x23 c2 1 c4 -1
x23 c5 -1 c7 1
x23 c11 -1 c13 -1
x23 c14 -1 c18 1
x23 c19 -1 c22 1
x23 c24 -1 c25 1
x23 c26 1 c27 -1
x23 c29 1 c30 -1
x23 c32 1 c35 1
x23 c38 1 c41 -1
x23 c44 -1 c46 -1
x23 c47 1 c48 -1
x23 c51 1 c53 1
x23 c54 -1 c56 1
x23 c61 1 c63 1
x23 c64 -1 c66 -1
x23 c68 -1 c69 -1
x23 c70 1 c71 1
x23 c75 1 c76 -1
x23 c77 -1 c81 1
x23 c82 1 c83 1
x24 c6 1 c8 1
x24 c9 1 c14 1
x24 c15 1 c17 1
x24 c19 1 c23 1
x24 c30 1 c34 1
x24 c36 -1 c37 1
x24 c40 1 c44 1
x24 c48 1 c56 -1
x24 c58 -1 c67 1
x24 c68 1 c72 -1
x24 c83 -1
x25 c3 1 c8 -1
x25 c9 -1 c17 -1
x25 c20 -1 c43 1
x25 c55 1 c60 1
x25 c67 -1 c73 1
x25 c74 -1 c81 -1
x25 c82 -1
x26 c1 1 c4 1
x26 c5 -1 c6 1
x26 c7 -1 c8 1
x26 c9 -1 c10 -1
x26 c11 1 c12 -1
x26 c14 -1 c23 -1
x26 c25 1 c29 -1
x26 c33 -1 c35 -1
x26 c36 -1 c43 1
x26 c44 -1 c45 1
x26 c46 1 c47 -1
x26 c48 -1 c51 -1
x26 c53 -1 c55 -1
x26 c57 1 c59 -1
x26 c60 1 c62 1
x26 c63 1 c65 -1
x26 c66 -1 c68 1
x26 c69 -1 c70 1
x26 c72 1 c74 -1
x26 c76 -1 c77 -1
x26 c78 1 c81 1
x26 c85 -1
x27 obj 0
x28 c9 1 c14 1
x28 c17 -1 c18 1
x28 c23 1 c24 -1
x28 c27 1 c28 -1
x28 c29 1 c31 -1
x28 c34 1 c36 1
x28 c39 -1 c42 -1
x28 c43 -1 c48 1
x28 c49 1 c52 -1
x28 c54 1 c57 -1
x28 c58 1 c59 1
x28 c60 -1 c62 -1
x28 c63 -1 c64 1
x28 c65 1 c66 1
x28 c67 -1 c68 -1
x28 c69 1 c70 -1
x28 c72 -1 c74 1
x28 c76 1 c77 1
x28 c78 -1 c81 -1
x28 c84 1
x29 c44 1 c50 1
x29 c58 -1
x30 obj 0
x31 c1 -1 c4 -1
x31 c5 1 c6 -1
x31 c7 1 c8 -1
x31 c10 1 c11 -1
x31 c12 1 c17 1
x31 c18 -1 c24 1
x31 c25 -1 c27 -1
x31 c28 1 c31 1
x31 c33 1 c34 -1
x31 c35 1 c39 1
x31 c42 1 c45 -1
x31 c46 -1 c47 1
x31 c49 -1 c50 -1
x31 c51 1 c52 1
x31 c53 1 c54 -1
x31 c55 1 c64 -1
x31 c67 1 c84 -1
x31 c85 1
x32 c7 1 c8 -1
x32 c9 -1 c10 -1
x32 c13 1 c15 1
x32 c16 1 c17 1
x32 c19 1 c20 -1
x32 c21 -1 c22 1
x32 c23 1 c27 -1
x32 c32 1 c33 -1
x32 c34 -1 c39 1
x32 c42 -1 c43 -1
x32 c45 1 c46 1
x32 c50 1 c51 -1
x32 c54 -1 c57 1
x32 c61 -1 c62 1
x32 c64 -1 c65 -1
x32 c67 1 c68 -1
x32 c69 1 c71 1
x32 c72 1 c73 1
x32 c74 -1 c75 1
x32 c76 -1 c77 -1
x32 c78 1 c81 1
x32 c83 -1
x33 obj 0
x34 obj 0
x35 c3 -1 c8 1
x35 c9 1 c11 1
x35 c17 -1 c20 1
x35 c21 1 c29 1
x35 c42 1 c43 1
x35 c45 -1 c51 1
x35 c52 1 c53 1
x35 c56 -1 c61 1
x35 c67 -1 c68 1
x35 c71 -1 c73 -1
x35 c74 1 c77 1
x35 c78 -1 c80 1
x35 c81 -1 c83 1
x36 c3 1 c7 -1
x36 c10 1 c11 -1
x36 c13 -1 c15 -1
x36 c16 -1 c19 -1
x36 c22 -1 c23 -1
x36 c27 1 c29 -1
x36 c32 -1 c33 1
x36 c34 1 c39 -1
x36 c46 -1 c50 -1
x36 c52 -1 c53 -1
x36 c54 1 c56 1
x36 c57 -1 c62 -1
x36 c64 1 c65 1
x36 c69 -1 c72 -1
x36 c75 -1 c76 1
x36 c80 -1
x37 obj 0
x38 obj 0
x39 c2 1 c3 -1
x39 c5 -1 c7 1
x39 c9 -1 c10 1
x39 c13 1 c17 -1
x39 c18 1 c20 -1
x39 c21 1 c22 1
x39 c24 -1 c25 1
x39 c28 -1 c29 1
x39 c31 -1 c32 1
x39 c35 1 c38 1
x39 c40 -1 c41 -1
x39 c43 -1 c44 -1
x39 c45 1 c47 1
x39 c48 -1 c49 1
x39 c52 1 c56 -1
x39 c57 1 c58 1
x39 c60 -1 c63 1
x39 c64 1 c66 -1
x39 c67 -1 c70 1
x39 c71 -1 c73 -1
x39 c77 1 c78 -1
x39 c79 1 c80 1
x39 c83 1 c85 1
x40 c2 -1 c7 -1
x40 c10 -1 c11 1
x40 c14 -1 c15 -1
x40 c16 1 c19 -1
x40 c20 1 c23 -1
x40 c27 1 c29 -1
x40 c31 1 c35 -1
x40 c39 1 c41 1
x40 c46 1 c50 1
x40 c54 1 c65 1
x40 c66 1 c69 1
x40 c72 1 c77 -1
x40 c85 -1
x41 c37 -1 c45 -1
x42 c3 1 c5 1
x42 c9 1 c11 -1
x42 c13 -1 c14 1
x42 c15 1 c16 -1
x42 c17 1 c18 -1
x42 c19 1 c21 -1
x42 c22 -1 c23 1
x42 c24 1 c25 -1
x42 c27 -1 c28 1
x42 c32 -1 c37 1
x42 c38 -1 c39 -1
x42 c40 1 c43 1
x42 c44 1 c46 -1
x42 c47 -1 c48 1
x42 c49 -1 c50 -1
x42 c52 -1 c54 -1
x42 c56 1 c57 -1
x42 c58 -1 c60 1
x42 c63 -1 c64 -1
x42 c65 -1 c67 1
x42 c69 -1 c70 -1
x42 c71 1 c72 -1
x42 c73 1 c78 1
x42 c79 -1 c80 -1
x42 c83 -1
x43 obj 0
x44 obj 0
x45 obj 0
x46 c1 -1 c6 -1
x46 c8 1 c12 -1
x46 c13 -1 c16 1
x46 c18 -1 c21 -1
x46 c24 1 c25 -1
x46 c26 1 c27 -1
x46 c29 -1 c32 -1
x46 c36 -1 c37 1
x46 c38 -1 c43 1
x46 c44 1 c45 1
x46 c48 -1 c50 -1
x46 c56 1 c57 -1
x46 c58 1 c59 -1
x46 c60 1 c61 1
x46 c62 -1 c63 1
x46 c64 -1 c65 1
x46 c68 1 c69 -1
x46 c70 -1 c74 1
x46 c75 -1 c77 -1
x46 c78 1 c82 -1
x46 c83 1 c84 -1
x47 obj 0
x48 obj 0
x49 c1 1 c6 1
x49 c8 -1 c12 1
x49 c13 1 c16 -1
x49 c18 1 c21 1
x49 c24 -1 c25 1
x49 c26 -1 c27 1
x49 c29 1 c32 1
x49 c36 1 c37 -1
x49 c38 1 c43 -1
x49 c44 -1 c45 -1
x49 c48 1 c50 1
x49 c56 -1 c57 1
x49 c58 -1 c59 1
x49 c60 -1 c61 -1
x49 c62 1 c63 -1
x49 c64 1 c65 -1
x49 c68 -1 c69 1
x49 c70 1 c74 -1
x49 c75 1 c77 1
x49 c78 -1 c82 1
x49 c83 -1 c84 1
x50 obj 0
x51 obj 0
x52 c1 1 c5 -1
x52 c33 -1 c44 -1
x52 c66 -1 c73 1
x53 c3 -1 c4 1
x53 c6 1 c7 1
x53 c11 1 c12 1
x53 c13 1 c14 -1
x53 c15 1 c19 1
x53 c20 -1 c25 1
x53 c26 -1 c30 1
x53 c35 1 c38 1
x53 c40 1 c41 1
x53 c42 -1 c44 1
x53 c46 1 c47 -1
x53 c49 -1 c51 1
x53 c52 1 c53 1
x53 c56 -1 c57 1
x53 c58 -1 c61 -1
x53 c62 1 c65 -1
x53 c66 1 c69 1
x53 c70 1 c71 -1
x53 c72 1 c73 -1
x53 c74 -1 c75 1
x53 c83 -1 c84 1
x54 obj 0
x55 c1 -1 c3 1
x55 c4 -1 c5 1
x55 c6 -1 c7 -1
x55 c11 -1 c12 -1
x55 c13 -1 c14 1
x55 c15 -1 c19 -1
x55 c20 1 c25 -1
x55 c26 1 c30 -1
x55 c33 1 c35 -1
x55 c38 -1 c40 -1
x55 c41 -1 c42 1
x55 c46 -1 c47 1
x55 c49 1 c51 -1
x55 c52 -1 c53 -1
x55 c56 1 c57 -1
x55 c58 1 c61 1
x55 c62 -1 c65 1
x55 c69 -1 c70 -1
x55 c71 1 c72 -1
x55 c74 1 c75 -1
x55 c83 1 c84 -1
x56 obj 0
x57 c1 1 c25 -1
x57 c32 -1 c73 1
x57 c75 -1
x58 obj 0
x59 c2 -1 c5 1
x59 c6 -1 c8 -1
x59 c10 1 c14 1
x59 c15 -1 c16 -1
x59 c17 -1 c18 1
x59 c21 1 c22 -1
x59 c23 -1 c27 1
x59 c28 -1 c29 1
x59 c31 -1 c32 1
x59 c33 1 c34 1
x59 c37 -1 c39 -1
x59 c40 -1 c42 1
x59 c43 -1 c48 1
x59 c50 1 c51 -1
x59 c54 1 c55 -1
x59 c59 1 c60 -1
x59 c63 -1 c64 1
x59 c67 -1 c72 -1
x59 c73 -1 c76 1
x59 c77 1 c78 -1
x59 c79 1 c80 1
x59 c81 -1 c85 1
x60 c2 1 c5 -1
x60 c6 1 c10 -1
x60 c12 -1 c14 -1
x60 c16 1 c21 -1
x60 c23 1 c25 1
x60 c27 -1 c28 1
x60 c30 -1 c31 1
x60 c33 -1 c37 1
x60 c39 1 c42 -1
x60 c46 -1 c48 -1
x60 c51 1 c53 1
x60 c54 -1 c55 1
x60 c59 -1 c60 1
x60 c63 1 c64 -1
x60 c67 1 c68 -1
x60 c70 1 c72 1
x60 c75 1 c76 -1
x60 c77 -1 c78 1
x60 c79 -1 c81 1
x60 c85 -1
x61 c1 -1 c8 1
x61 c12 1 c15 1
x61 c17 1 c18 -1
x61 c22 1 c29 -1
x61 c30 1 c34 -1
x61 c40 1 c43 1
x61 c46 1 c50 -1
x61 c53 -1 c68 1
x61 c70 -1 c80 -1
x62 c2 -1 c4 -1
x62 c5 -1 c9 -1
x62 c13 1 c16 1
x62 c20 -1 c21 -1
x62 c22 1 c23 -1
x62 c27 -1 c28 -1
x62 c31 -1 c32 1
x62 c34 -1 c40 -1
x62 c42 -1 c45 1
x62 c46 1 c47 -1
x62 c48 -1 c49 1
x62 c52 -1 c54 -1
x62 c58 1 c59 -1
x62 c60 1 c61 -1
x62 c62 1 c65 -1
x62 c66 -1 c67 1
x62 c68 -1 c70 -1
x62 c73 1 c78 1
x62 c80 1 c84 -1
x62 c85 1
x63 obj 0
x64 c3 -1 c4 1
x64 c5 1 c11 1
x64 c17 -1 c20 1
x64 c26 -1 c27 1
x64 c28 1 c31 1
x64 c37 -1 c45 -1
x64 c50 1 c54 1
x64 c60 -1 c61 1
x64 c65 1 c66 1
x64 c67 -1 c69 1
x64 c70 1 c71 -1
x64 c73 -1 c75 1
x64 c78 -1 c79 1
x64 c80 -1 c81 -1
x64 c82 1 c84 1
x65 obj 0
x66 c2 1 c3 1
x66 c9 1 c11 -1
x66 c13 -1 c16 -1
x66 c17 1 c21 1
x66 c22 -1 c23 1
x66 c26 1 c32 -1
x66 c34 1 c37 1
x66 c40 1 c42 1
x66 c46 -1 c47 1
x66 c48 1 c49 -1
x66 c50 -1 c52 1
x66 c58 -1 c59 1
x66 c62 -1 c68 1
x66 c69 -1 c71 1
x66 c75 -1 c79 -1
x66 c81 1 c82 -1
x66 c85 -1
x67 obj 0
x68 c2 1 c3 -1
x68 c4 1 c6 1
x68 c7 1 c12 1
x68 c15 -1 c16 1
x68 c19 1 c22 1
x68 c23 1 c25 1
x68 c26 -1 c28 1
x68 c29 -1 c31 1
x68 c32 -1 c35 1
x68 c38 1 c39 1
x68 c44 1 c46 -1
x68 c49 -1 c50 -1
x68 c53 -1 c55 1
x68 c56 -1 c58 -1
x68 c60 -1 c62 1
x68 c66 1 c70 1
x68 c71 -1 c73 -1
x68 c75 1 c78 1
x68 c79 -1 c80 -1
x68 c81 1 c84 1
x68 c85 -1
x69 c1 1 c23 -1
x69 c39 -1 c72 -1
x69 c73 1 c75 -1
x69 c82 -1
x70 c1 -1 c50 1
x71 c59 1
x72 c2 -1 c3 1
x72 c4 -1 c6 -1
x72 c7 -1 c11 1
x72 c12 -1 c15 1
x72 c16 -1 c19 -1
x72 c20 -1 c22 -1
x72 c25 -1 c26 1
x72 c28 -1 c29 1
x72 c31 -1 c32 1
x72 c33 -1 c35 -1
x72 c38 -1 c44 -1
x72 c46 1 c49 1
x72 c52 1 c53 1
x72 c55 -1 c56 1
x72 c58 1 c59 -1
x72 c60 1 c62 -1
x72 c66 -1 c70 -1
x72 c71 1 c72 1
x72 c78 -1 c79 1
x72 c80 1 c81 -1
x72 c82 1 c84 -1
x72 c85 1
x73 c11 -1 c20 1
x73 c33 1 c52 -1
x74 c3 -1 c12 1
x74 c16 1 c17 -1
x74 c18 1 c22 1
x74 c24 1 c26 -1
x74 c29 -1 c32 -1
x74 c33 1 c35 1
x74 c37 -1 c46 -1
x74 c56 -1 c58 1
x74 c62 1 c64 1
x74 c71 -1 c74 1
x74 c80 1 c81 -1
x74 c83 1
x75 obj 0
x76 c2 -1 c9 -1
x76 c11 1 c12 -1
x76 c13 1 c18 -1
x76 c21 -1 c24 -1
x76 c32 1 c33 -1
x76 c34 -1 c35 -1
x76 c39 1 c40 -1
x76 c42 -1 c46 1
x76 c47 -1 c48 -1
x76 c49 1 c50 1
x76 c56 1 c59 -1
x76 c64 -1 c68 -1
x76 c69 1 c72 1
x76 c74 -1 c75 1
x76 c79 1 c82 1
x76 c83 -1 c85 1
x77 obj 0
x78 obj 0
x79 c2 1 c3 1
x79 c9 1 c11 -1
x79 c13 -1 c16 -1
x79 c17 1 c21 1
x79 c22 -1 c26 1
x79 c29 1 c34 1
x79 c37 1 c39 -1
x79 c40 1 c42 1
x79 c47 1 c48 1
x79 c49 -1 c50 -1
x79 c58 -1 c59 1
x79 c62 -1 c68 1
x79 c69 -1 c71 1
x79 c72 -1 c75 -1
x79 c79 -1 c80 -1
x79 c81 1 c82 -1
x79 c85 -1
x80 obj 0
x81 obj 0
x82 c1 1 c3 -1
x82 c37 -1 c73 1
x83 obj 0
x84 c2 1 c5 -1
x84 c6 1 c8 1
x84 c9 1 c10 1
x84 c11 -1 c24 1
x84 c25 1 c28 -1
x84 c30 1 c32 -1
x84 c33 1 c34 1
x84 c35 1 c36 1
x84 c37 1 c38 1
x84 c39 -1 c40 1
x84 c41 1 c44 1
x84 c47 1 c48 1
x84 c50 -1 c51 1
x84 c53 -1 c56 -1
x84 c59 1 c63 1
x84 c64 1 c67 -1
x84 c68 1 c69 -1
x84 c71 -1 c73 -1
x84 c74 1 c75 -1
x84 c77 1 c78 -1
x84 c79 -1 c82 -1
x85 c1 -1 c2 -1
x85 c3 1 c5 1
x85 c6 -1 c8 -1
x85 c9 -1 c10 -1
x85 c11 1 c24 -1
x85 c25 -1 c28 1
x85 c30 -1 c32 1
x85 c33 -1 c34 -1
x85 c35 -1 c36 -1
x85 c38 -1 c39 1
x85 c40 -1 c41 -1
x85 c44 -1 c47 -1
x85 c48 -1 c50 1
x85 c51 -1 c53 1
x85 c56 1 c59 -1
x85 c63 -1 c64 -1
x85 c67 1 c68 -1
x85 c69 1 c71 1
x85 c74 -1 c75 1
x85 c77 -1 c78 1
x85 c79 1 c82 1
x86 obj 0
x87 c1 1 c3 -1
x87 c5 1 c13 1
x87 c14 1 c20 1
x87 c22 1 c23 1
x87 c26 -1 c27 1
x87 c29 1 c31 1
x87 c33 1 c37 -1
x87 c38 1 c39 -1
x87 c45 -1 c48 1
x87 c55 1 c56 -1
x87 c57 1 c59 1
x87 c60 -1 c66 1
x87 c73 -1 c75 1
x87 c78 -1 c80 -1
x87 c81 -1 c82 1
x88 c1 -1 c2 -1
x88 c7 1 c8 -1
x88 c16 1 c18 -1
x88 c19 1 c20 -1
x88 c24 -1 c30 -1
x88 c31 -1 c33 -1
x88 c35 1 c36 -1
x88 c40 -1 c44 1
x88 c47 -1 c54 -1
x88 c59 -1 c60 1
x88 c61 -1 c63 -1
x88 c65 -1 c66 -1
x88 c74 -1 c76 1
x88 c78 1 c80 1
x88 c84 -1 c85 1
x89 c2 1 c3 1
x89 c5 -1 c7 -1
x89 c8 1 c13 -1
x89 c14 -1 c16 -1
x89 c18 1 c19 -1
x89 c22 -1 c23 -1
x89 c24 1 c26 1
x89 c27 -1 c29 -1
x89 c30 1 c35 -1
x89 c36 1 c37 1
x89 c38 -1 c39 1
x89 c40 1 c44 -1
x89 c45 1 c47 1
x89 c48 -1 c54 1
x89 c55 -1 c56 1
x89 c57 -1 c61 1
x89 c63 1 c65 1
x89 c73 1 c74 1
x89 c75 -1 c76 -1
x89 c81 1 c82 -1
x89 c84 1 c85 -1
x90 obj 0
x91 obj 0
x92 c1 1 c6 1
x92 c7 -1 c8 1
x92 c9 -1 c10 -1
x92 c14 -1 c15 -1
x92 c18 -1 c21 -1
x92 c22 -1 c23 -1
x92 c24 1 c27 1
x92 c39 1 c40 -1
x92 c42 -1 c43 1
x92 c45 1 c48 -1
x92 c49 -1 c52 -1
x92 c56 1 c58 -1
x92 c59 -1 c60 1
x92 c62 1 c64 -1
x92 c65 1 c66 1
x92 c67 1 c68 -1
x92 c72 1 c73 1
x92 c74 -1 c76 -1