-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathsoc-dolphins.mtx
3308 lines (3308 loc) · 29.6 KB
/
soc-dolphins.mtx
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
1
1
1
2
2642 2642 3303 1
7 1
17 2
4 3
12 3
10 5
9 6
8 7
15 7
10 9
13 9
11 10
12 11
44 11
21 12
19 13
15 14
16 15
17 16
35 16
32 17
19 18
20 19
23 20
52 20
22 21
24 21
40 22
45 23
32 24
26 25
27 26
29 26
30 27
31 27
29 28
36 28
30 29
37 30
38 31
35 32
42 32
34 33
35 33
41 33
43 35
39 36
39 37
39 38
45 38
48 39
72 40
47 41
53 42
55 43
57 44
50 45
47 46
61 47
49 48
51 48
86 49
51 50
65 50
121 51
129 52
54 53
71 53
55 54
56 55
60 55
63 56
58 57
70 57
82 58
67 59
62 60
63 60
63 61
64 61
66 62
68 62
69 63
120 65
125 65
79 66
88 67
98 67
90 68
93 69
81 70
75 71
74 72
182 73
76 74
79 75
77 76
78 77
83 77
81 78
83 79
81 80
82 80
89 81
95 82
84 83
85 83
96 84
94 85
88 86
147 87
109 88
91 89
92 90
93 90
158 90
96 91
99 91
94 92
103 93
96 94
101 94
131 95
100 96
102 97
119 98
142 99
153 100
124 101
116 102
147 102
104 103
105 104
106 104
107 104
115 105
108 107
110 108
111 108
136 109
137 109
113 110
114 110
114 112
115 113
117 114
156 115
168 117
119 118
155 118
191 118
154 119
123 120
122 121
141 122
126 123
143 124
150 124
130 125
140 125
130 126
144 126
129 127
133 127
188 127
129 128
132 128
146 130
133 131
140 132
216 133
135 134
136 134
141 135
137 136
219 136
138 137
139 138
199 138
164 139
145 140
151 141
152 142
160 143
148 144
159 145
271 146
183 147
149 148
197 148
151 149
198 149
153 150
178 150
266 151
153 152
165 152
172 153
190 154
164 155
191 155
158 156
162 156
187 157
252 157
163 158
188 159
161 160
169 160
163 161
163 162
167 162
166 163
194 164
170 165
167 166
174 166
175 167
171 168
175 168
195 168
173 169
180 169
193 170
189 172
176 173
180 174
185 175
177 176
179 177
181 178
181 179
186 180
189 181
202 181
184 182
184 183
200 184
195 185
202 186
223 186
200 187
196 188
210 189
224 189
252 190
333 190
194 191
206 191
193 192
209 192
213 193
199 194
225 195
220 196
227 196
198 197
273 197
287 198
201 199
242 200
203 201
204 201
222 202
208 203
207 204
206 205
231 205
265 205
265 206
208 207
214 207
217 208
211 209
213 209
212 210
216 211
213 212
280 213
215 214
217 214
238 215
218 216
221 217
226 218
234 219
233 220
230 221
235 221
275 222
281 223
274 224
268 225
228 226
232 226
229 227
229 228
232 229
233 229
231 230
243 231
246 232
245 233
236 234
237 234
244 235
237 236
240 236
239 237
239 238
241 238
251 240
253 241
269 242
244 243
260 244
247 245
248 245
249 246
249 247
250 248
250 249
254 249
255 250
256 251
257 251
269 252
259 253
294 254
264 255
257 256
261 256
258 257
262 258
285 258
260 259
261 259
345 260
266 262
264 263
270 263
317 263
320 265
272 266
268 267
283 268
333 269
278 270
328 270
273 271
278 271
292 272
324 272
279 273
276 274
277 274
304 274
277 275
282 275
280 276
286 279
288 279
291 280
282 281
283 281
302 281
305 282
284 283
301 284
350 285
288 286
290 286
293 287
289 288
306 289
293 290
300 291
296 292
295 293
298 294
300 294
296 295
299 295
297 296
324 297
316 298
336 298
330 299
318 300
302 301
315 301
305 302
313 302
304 303
305 303
309 304
312 304
314 305
326 306
308 307
319 307
311 308
310 309
311 310
321 312
360 313
358 314
355 315
317 316
322 317
319 318
351 318
372 320
323 321
400 321
327 322
334 322
331 324
332 324
326 325
329 325
415 325
344 326
328 327
399 327
329 328
381 329
341 330
338 331
335 332
347 333
336 334
337 335
338 335
339 336
350 337
340 338
351 339
375 339
341 340
470 340
344 341
469 341
343 342
354 342
346 345
376 345
391 346
356 347
349 348
353 350
352 351
374 351
354 352
391 353
432 353
404 354
364 355
395 356
363 357
359 358
360 358
522 358
402 359
361 360
492 360
362 361
380 361
364 362
365 363
367 363
365 364
367 365
367 366
368 367
369 368
379 368
371 370
376 370
372 371
373 372
418 372
418 373
375 374
410 374
413 375
377 376
378 376
392 377
393 378
385 379
389 380
399 381
464 381
383 382
385 383
386 384
387 384
387 385
396 385
389 386
391 388
394 388
420 388
390 389
494 390
434 391
393 392
397 392
394 393
409 395
401 396
407 397
407 398
406 399
403 400
412 401
405 402
404 403
405 403
408 405
426 405
416 406
464 406
411 407
465 408
422 409
442 410
419 411
433 411
417 412
521 412
414 413
416 414
595 414
458 415
419 418
423 419
424 420
422 421
425 421
427 422
425 423
436 424
456 424
428 425
463 426
428 427
429 428
430 429
435 430
439 431
495 432
435 433
462 434
437 435
438 435
467 436
440 437
446 438
441 439
441 440
443 441
445 442
535 442
444 443
463 445
447 446
448 447
449 447
453 448
459 449
458 450
505 450
452 451
455 451
453 452
454 452
504 454
457 455
457 456
460 457
548 458
461 460
468 461
478 462
488 462
466 463
514 464
524 465
525 466
471 467
471 468
470 469
537 469
536 470
472 471
474 471
475 472
476 473
477 473
485 474
477 475
478 476
479 477
480 478
481 479
483 480
482 481
483 482
484 483
486 483
489 484
500 485
487 486
493 487
490 488
490 489
491 490
498 491
497 492
507 493
497 494
503 495
530 495
559 495
499 496
503 496
501 497
502 497
506 498
507 499
504 500
508 501
517 502
510 503
527 504
557 505
511 506
512 507
520 508
525 509
511 510
512 511
516 511
523 513
527 513
589 514
522 515
524 515
558 516
518 517
521 517
532 517
520 518
520 519
522 519
529 520
534 521
540 524
539 525
527 526
576 528
533 529
538 530
535 531
624 532
542 533
617 534
567 535
537 536
538 536
549 537
565 538
546 539
552 539
541 540
543 540
546 541
596 541
545 542
544 543
545 544
547 545
574 546
553 547
554 548
550 549
551 549
594 550
604 550
556 551
564 552
577 552
593 553
555 554
556 554
579 555
592 556
578 557
562 558
560 559
566 559
561 560
572 560
562 561
563 562
569 563
567 564
566 565
639 565
570 567
581 567
570 568
577 568
571 569
580 570
572 571
573 571
575 573
610 574
626 574
649 575
653 576
606 577
582 578
582 579
608 580
584 581
583 582
591 582
586 583
587 583
585 584
602 585
608 585
589 586
588 587
609 587
591 588
598 589
591 590
592 590
659 591
614 592
600 593
604 594
611 594
597 595
598 595
601 596
599 597
602 599
679 599
601 600
605 600
603 601
612 603
636 604
613 605
607 606
610 606
660 606
608 607
735 608
658 609
626 610
614 611
622 612
615 613
638 614
620 615
617 616
623 617
620 618
622 618
620 619
625 619
621 620
628 621
629 622
624 623
633 623
625 624
627 626
673 626
629 627
630 628
631 629
637 629
634 630
635 631
633 632
648 633
635 634
643 635
641 636
642 637
670 638
640 639
644 639
657 639
652 640
644 641
661 641
645 642
645 643
646 645
647 645
672 646
671 647
685 648
690 648
650 649
651 650
653 650
654 650
652 651
656 652
655 654
662 655
663 656
668 657
683 658
693 659
665 660
674 660
667 661
670 661
664 662
664 663
666 664
696 666
668 667
669 667
760 668
708 669
682 670
691 671
687 672
675 673
755 674
676 675
677 676
686 677
680 678
680 679
706 679
683 680
707 680
682 681
693 681
726 682
704 683
685 684
690 685
695 685
689 686
689 687
690 688
691 688
692 689
694 690
716 691
698 692
724 693
746 694
764 695
702 696
701 697
705 698
700 699
736 699
702 700
702 701
703 702
728 703
709 704
712 704
711 705
707 706
719 706
712 707
714 708
717 709
711 710
718 710
715 711
713 712
720 712
717 713
723 714
765 715
718 716
756 716
721 717
729 719
734 720
722 721
727 722
785 723
725 724
742 724
726 725
795 726
738 727
731 728
730 729
734 729
733 730
736 731
740 731
733 732
735 732
754 733
737 734
743 734
757 735
748 736
738 737
739 738
741 738
742 739
801 740
744 741
786 742
747 743
745 744
749 745
750 746
749 747
753 748
791 748
751 749
752 750
787 751
788 752
760 753
796 754
758 755
781 756
782 756
761 757
797 757
759 758
767 758
762 759
769 760
762 761
776 762
764 763
790 764
771 765
768 766
780 766
768 767
770 767
783 769
822 769
772 770
773 771
773 772
774 773
775 773
779 774
812 775
778 776
778 777
784 777
779 778
781 780
782 781
789 781
788 782
808 782
785 783
821 783
799 784
794 785
816 786
813 787
792 788
809 788
807 789
793 790
862 790
810 791
793 792
881 793
806 794
806 795
815 795
798 796
814 797
814 798
827 799