-
Notifications
You must be signed in to change notification settings - Fork 6
/
val_mat.txt
1200 lines (1200 loc) · 14.1 KB
/
val_mat.txt
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
2008_000003
2008_000007
2008_000009
2008_000027
2008_000043
2008_000051
2008_000059
2008_000067
2008_000073
2008_000075
2008_000107
2008_000115
2008_000119
2008_000123
2008_000133
2008_000145
2008_000149
2008_000163
2008_000177
2008_000183
2008_000195
2008_000203
2008_000213
2008_000215
2008_000219
2008_000223
2008_000233
2008_000239
2008_000243
2008_000251
2008_000253
2008_000257
2008_000261
2008_000271
2008_000277
2008_000281
2008_000305
2008_000307
2008_000321
2008_000339
2008_000345
2008_000359
2008_000367
2008_000373
2008_000381
2008_000383
2008_000391
2008_000401
2008_000403
2008_000407
2008_000413
2008_000419
2008_000423
2008_000457
2008_000465
2008_000469
2008_000473
2008_000475
2008_000481
2008_000489
2008_000501
2008_000511
2008_000533
2008_000535
2008_000541
2008_000547
2008_000553
2008_000569
2008_000573
2008_000579
2008_000581
2008_000589
2008_000599
2008_000605
2008_000609
2008_000623
2008_000629
2008_000647
2008_000657
2008_000659
2008_000661
2008_000673
2008_000677
2008_000691
2008_000695
2008_000697
2008_000699
2008_000703
2008_000705
2008_000725
2008_000727
2008_000731
2008_000737
2008_000745
2008_000765
2008_000769
2008_000783
2008_000793
2008_000795
2008_000803
2008_000811
2008_000817
2008_000825
2008_000835
2008_000837
2008_000839
2008_000853
2008_000857
2008_000863
2008_000885
2008_000897
2008_000911
2008_000917
2008_000919
2008_000931
2008_000939
2008_000943
2008_000957
2008_000965
2008_000971
2008_000993
2008_001007
2008_001009
2008_001013
2008_001041
2008_001055
2008_001063
2008_001075
2008_001077
2008_001089
2008_001099
2008_001111
2008_001113
2008_001121
2008_001135
2008_001139
2008_001155
2008_001167
2008_001177
2008_001183
2008_001185
2008_001199
2008_001205
2008_001221
2008_001225
2008_001227
2008_001231
2008_001241
2008_001249
2008_001255
2008_001257
2008_001271
2008_001275
2008_001283
2008_001301
2008_001333
2008_001349
2008_001353
2008_001367
2008_001369
2008_001379
2008_001391
2008_001395
2008_001401
2008_001415
2008_001427
2008_001429
2008_001433
2008_001437
2008_001439
2008_001445
2008_001451
2008_001475
2008_001481
2008_001491
2008_001503
2008_001513
2008_001527
2008_001531
2008_001539
2008_001543
2008_001547
2008_001549
2008_001551
2008_001553
2008_001575
2008_001589
2008_001593
2008_001605
2008_001607
2008_001613
2008_001619
2008_001625
2008_001629
2008_001649
2008_001655
2008_001659
2008_001663
2008_001667
2008_001669
2008_001681
2008_001697
2008_001715
2008_001717
2008_001723
2008_001727
2008_001731
2008_001745
2008_001757
2008_001763
2008_001765
2008_001769
2008_001773
2008_001805
2008_001815
2008_001821
2008_001823
2008_001825
2008_001841
2008_001843
2008_001863
2008_001867
2008_001869
2008_001871
2008_001885
2008_001895
2008_001899
2008_001905
2008_001907
2008_001909
2008_001919
2008_001945
2008_001951
2008_001961
2008_001965
2008_001969
2008_001971
2008_001978
2008_001979
2008_001985
2008_001987
2008_001989
2008_002003
2008_002007
2008_002011
2008_002013
2008_002017
2008_002021
2008_002031
2008_002035
2008_002037
2008_002039
2008_002043
2008_002045
2008_002047
2008_002069
2008_002071
2008_002099
2008_002107
2008_002113
2008_002115
2008_002151
2008_002153
2008_002155
2008_002167
2008_002169
2008_002179
2008_002185
2008_002191
2008_002193
2008_002199
2008_002201
2008_002205
2008_002207
2008_002209
2008_002223
2008_002231
2008_002239
2008_002241
2008_002259
2008_002267
2008_002269
2008_002273
2008_002283
2008_002293
2008_002305
2008_002321
2008_002347
2008_002349
2008_002359
2008_002379
2008_002383
2008_002395
2008_002401
2008_002403
2008_002419
2008_002429
2008_002439
2008_002445
2008_002451
2008_002467
2008_002477
2008_002481
2008_002483
2008_002485
2008_002495
2008_002499
2008_002509
2008_002510
2008_002521
2008_002523
2008_002527
2008_002567
2008_002579
2008_002589
2008_002597
2008_002599
2008_002603
2008_002623
2008_002631
2008_002639
2008_002643
2008_002645
2008_002653
2008_002673
2008_002677
2008_002681
2008_002687
2008_002701
2008_002705
2008_002709
2008_002715
2008_002725
2008_002735
2008_002751
2008_002753
2008_002773
2008_002775
2008_002783
2008_002789
2008_002795
2008_002801
2008_002809
2008_002811
2008_002817
2008_002829
2008_002831
2008_002835
2008_002843
2008_002845
2008_002847
2008_002859
2008_002869
2008_002875
2008_002879
2008_002883
2008_002897
2008_002899
2008_002909
2008_002929
2008_002947
2008_002965
2008_002971
2008_002973
2008_002999
2008_003001
2008_003003
2008_003005
2008_003045
2008_003051
2008_003053
2008_003055
2008_003067
2008_003072
2008_003073
2008_003089
2008_003095
2008_003105
2008_003107
2008_003133
2008_003135
2008_003141
2008_003155
2008_003161
2008_003167
2008_003181
2008_003187
2008_003189
2008_003193
2008_003205
2008_003211
2008_003225
2008_003239
2008_003245
2008_003249
2008_003255
2008_003263
2008_003271
2008_003289
2008_003291
2008_003295
2008_003305
2008_003331
2008_003333
2008_003343
2008_003351
2008_003359
2008_003361
2008_003369
2008_003379
2008_003395
2008_003405
2008_003407
2008_003423
2008_003433
2008_003439
2008_003443
2008_003449
2008_003451
2008_003453
2008_003461
2008_003467
2008_003475
2008_003477
2008_003479
2008_003483
2008_003493
2008_003499
2008_003511
2008_003519
2008_003531
2008_003545
2008_003547
2008_003557
2008_003565
2008_003577
2008_003591
2008_003593
2008_003607
2008_003609
2008_003613
2008_003619
2008_003647
2008_003671
2008_003673
2008_003681
2008_003683
2008_003709
2008_003721
2008_003733
2008_003737
2008_003743
2008_003745
2008_003749
2008_003753
2008_003755
2008_003763
2008_003767
2008_003775
2008_003777
2008_003789
2008_003793
2008_003799
2008_003801
2008_003805
2008_003813
2008_003821
2008_003825
2008_003827
2008_003829
2008_003835
2008_003843
2008_003873
2008_003881
2008_003885
2008_003905
2008_003915
2008_003921
2008_003929
2008_003933
2008_003941
2008_003943
2008_003945
2008_003951
2008_003965
2008_003969
2008_003971
2008_003983
2008_003997
2008_004003
2008_004007
2008_004015
2008_004027
2008_004045
2008_004069
2008_004071
2008_004075
2008_004081
2008_004093
2008_004101
2008_004103
2008_004105
2008_004119
2008_004121
2008_004123
2008_004125
2008_004127
2008_004130
2008_004135
2008_004137
2008_004155
2008_004175
2008_004189
2008_004203
2008_004205
2008_004213
2008_004221
2008_004243
2008_004245
2008_004251
2008_004257
2008_004263
2008_004271
2008_004273
2008_004279
2008_004289
2008_004297
2008_004317
2008_004327
2008_004333
2008_004339
2008_004345
2008_004347
2008_004357
2008_004361
2008_004363
2008_004367
2008_004371
2008_004389
2008_004391
2008_004399
2008_004417
2008_004419
2008_004425
2008_004427
2008_004431
2008_004445
2008_004453
2008_004455
2008_004459
2008_004469
2008_004471
2008_004477
2008_004479
2008_004487
2008_004497
2008_004501
2008_004525
2008_004533
2008_004541
2008_004549
2008_004553
2008_004575
2008_004579
2008_004589
2008_004599
2008_004605
2008_004613
2008_004615
2008_004619
2008_004621
2008_004633
2008_004647
2008_004653
2008_004659
2008_004665
2008_004687
2008_004689
2008_004695
2008_004701
2008_004705
2008_004711
2008_004729
2008_004745
2008_004771
2008_004795
2008_004797
2008_004805
2008_004819
2008_004825
2008_004833
2008_004837
2008_004851
2008_004873
2008_004875
2008_004881
2008_004885
2008_004887
2008_004907
2008_004921
2008_004923
2008_004933
2008_004935
2008_004955
2008_004967
2008_004975
2008_004979
2008_005001
2008_005003
2008_005015
2008_005023
2008_005035
2008_005037
2008_005043
2008_005049
2008_005057
2008_005061
2008_005063
2008_005065
2008_005085
2008_005089
2008_005097
2008_005105
2008_005107
2008_005109
2008_005111
2008_005117
2008_005123
2008_005139
2008_005147
2008_005151
2008_005167
2008_005181
2008_005185
2008_005191
2008_005197
2008_005205
2008_005215
2008_005217
2008_005233
2008_005235
2008_005243
2008_005245
2008_005251
2008_005253
2008_005255
2008_005257
2008_005261
2008_005277
2008_005309
2008_005313
2008_005319
2008_005323
2008_005327
2008_005335
2008_005337
2008_005347
2008_005359
2008_005361
2008_005369
2008_005373
2008_005379
2008_005393
2008_005399
2008_005417
2008_005421
2008_005423
2008_005427
2008_005431
2008_005439
2008_005445
2008_005447
2008_005455
2008_005467
2008_005469
2008_005485
2008_005501
2008_005511
2008_005525
2008_005553
2008_005563
2008_005573
2008_005599
2008_005601
2008_005611
2008_005627
2008_005631
2008_005633
2008_005635
2008_005637
2008_005643
2008_005649
2008_005657
2008_005663
2008_005677
2008_005681
2008_005685
2008_005687
2008_005691
2008_005695
2008_005699
2008_005701
2008_005703
2008_005721
2008_005727
2008_005735
2008_005763
2008_005777
2008_005779
2008_005801
2008_005805
2008_005821
2008_005825
2008_005831
2008_005847
2008_005857
2008_005863
2008_005865
2008_005869
2008_005875
2008_005877
2008_005881
2008_005883
2008_005889
2008_005907
2008_005915
2008_005933
2008_005939
2008_005943
2008_005957
2008_005959
2008_005975
2008_005977
2008_005987
2008_005989
2008_006007
2008_006017
2008_006021
2008_006027
2008_006031
2008_006037
2008_006041
2008_006045
2008_006047
2008_006055
2008_006059
2008_006063
2008_006071
2008_006087
2008_006109
2008_006113
2008_006117
2008_006143
2008_006147
2008_006151
2008_006159
2008_006163
2008_006169
2008_006175
2008_006179
2008_006185
2008_006203
2008_006205
2008_006207
2008_006219
2008_006227
2008_006229
2008_006233
2008_006239
2008_006267
2008_006269
2008_006275
2008_006285
2008_006303
2008_006307
2008_006311
2008_006325
2008_006327
2008_006337
2008_006341
2008_006347
2008_006359
2008_006377
2008_006397
2008_006403
2008_006407
2008_006409
2008_006425
2008_006429
2008_006441
2008_006449
2008_006463
2008_006467
2008_006477
2008_006487
2008_006489
2008_006500
2008_006503
2008_006517
2008_006519
2008_006523
2008_006547
2008_006553
2008_006587
2008_006591
2008_006605
2008_006609
2008_006611
2008_006617
2008_006621
2008_006631
2008_006635
2008_006665
2008_006671
2008_006701
2008_006703
2008_006731
2008_006743
2008_006747
2008_006765
2008_006773
2008_006777
2008_006779
2008_006781
2008_006793
2008_006797
2008_006811
2008_006813
2008_006815
2008_006817
2008_006825
2008_006831
2008_006833
2008_006835
2008_006837
2008_006839
2008_006841
2008_006849
2008_006855
2008_006863
2008_006885
2008_006907
2008_006925
2008_006939
2008_006941
2008_006949
2008_006951
2008_006959
2008_006967
2008_006979
2008_006981
2008_006987
2008_006989
2008_006991
2008_006997
2008_006999
2008_007019
2008_007021
2008_007025
2008_007031
2008_007057
2008_007059
2008_007067
2008_007091
2008_007103
2008_007105
2008_007119
2008_007123
2008_007133
2008_007143
2008_007163
2008_007167
2008_007171
2008_007181
2008_007187
2008_007189
2008_007195
2008_007207
2008_007219
2008_007225
2008_007227
2008_007229
2008_007231
2008_007241
2008_007247
2008_007273
2008_007277
2008_007279
2008_007285
2008_007287
2008_007293
2008_007295
2008_007305
2008_007311
2008_007317
2008_007319
2008_007323
2008_007327
2008_007339
2008_007346
2008_007389
2008_007393
2008_007403
2008_007409
2008_007415
2008_007417
2008_007431
2008_007435
2008_007441
2008_007448
2008_007455
2008_007459
2008_007461
2008_007497
2008_007501
2008_007507
2008_007513
2008_007521
2008_007525
2008_007527
2008_007529
2008_007531
2008_007561
2008_007567
2008_007579
2008_007583
2008_007585
2008_007587
2008_007591
2008_007595
2008_007599
2008_007617
2008_007623
2008_007635
2008_007643
2008_007649
2008_007661
2008_007669
2008_007673
2008_007677
2008_007685
2008_007693
2008_007719
2008_007729
2008_007733
2008_007735
2008_007737
2008_007739
2008_007741
2008_007745
2008_007749
2008_007757
2008_007787
2008_007791
2008_007793
2008_007797
2008_007811
2008_007819
2008_007823
2008_007827
2008_007831
2008_007839
2008_007841
2008_007853
2008_007855
2008_007871
2008_007875
2008_007887
2008_007893
2008_007915
2008_007917
2008_007923
2008_007931
2008_007933
2008_007935
2008_007945
2008_007949
2008_007955
2008_007981
2008_007989
2008_007993
2008_008001
2008_008011
2008_008025
2008_008029
2008_008055
2008_008057
2008_008069
2008_008075
2008_008091
2008_008093
2008_008103
2008_008105
2008_008109
2008_008113
2008_008115
2008_008123
2008_008127
2008_008141
2008_008145