File: smith-normal-form.ok

package info (click to toggle)
mlton 20130715-3
  • links: PTS
  • area: main
  • in suites: stretch
  • size: 60,900 kB
  • ctags: 69,386
  • sloc: xml: 34,418; ansic: 17,399; lisp: 2,879; makefile: 1,605; sh: 1,254; pascal: 256; python: 143; asm: 97
file content (97 lines) | stat: -rw-r--r-- 7,383 bytes parent folder | download | duplicates (12)
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
 8 ~3  1  3  6  9 ~2  4 ~9 ~9  2  3  8 ~1  3 ~5  4 ~3 ~5 ~6  8  1  4 ~5  7 ~4 ~4 ~7  7  1  4 ~3
 0  8 ~6 ~2 ~3  4  5 ~2  7 ~7 ~6 ~7 ~3 ~4  9  7 ~3  3  0  3  3 ~8 ~8  2  3  8  3 ~2 ~4  3 ~6 ~6
 0 ~5  8 ~9  2  4  2  7 ~4  9 ~3  6 ~2  3 ~3  0 ~9  5  8 ~1  2 ~8  3  4 ~6  5 ~6 ~5 ~8  0 ~5  3
 5  4  7  2  3 ~9  7 ~7  3 ~8  7  5  5 ~2 ~6 ~3  6  5  3 ~1 ~1  4  5 ~5  5  9  9  3  8 ~3 ~1  9
 2  9  9  3 ~4  0  9  2  5  3 ~5 ~3 ~1  1  8 ~6  2 ~4 ~8 ~7 ~8  4  5  8 ~1 ~1  7  2  5  5 ~4 ~7
 5  5  1 ~7  3 ~5  4  9  3  4  4 ~5  7 ~1  7  4 ~7  7 ~7 ~2  9 ~9  0 ~4 ~4  0  2  6  3 ~1  6  6
 7  1  2  7  6  5 ~6 ~3 ~4 ~8  0  9  6  1  2 ~5  4  4  4 ~6 ~7 ~9 ~6  2 ~4  5 ~2  1  0  1 ~8  7
 6  2 ~1 ~8  4 ~7  7 ~3 ~2 ~5  3  0  3 ~9  3  3  9 ~1  4  8 ~9  6 ~5  9  5 ~1 ~1 ~9  7 ~2  3  9
 0 ~6 ~3 ~7 ~1  5 ~2  8 ~5 ~3 ~8  7 ~2 ~2  0 ~8  4  8  9 ~5 ~4 ~8 ~1  7  1  1  6 ~9 ~4  0  8  4
~4  9  6 ~3 ~2 ~6 ~3  4  8 ~8  1 ~5  9  7  9  7 ~9 ~6  6  1 ~3  3 ~3 ~7  1  7 ~7  0 ~2  7 ~4 ~6
 6  7 ~5 ~9  6  1  8  4 ~2  7 ~7 ~1 ~9  1 ~6 ~5  4  9  6  0 ~8 ~3  1 ~3  8 ~3  2  9 ~3 ~9 ~1 ~3
 1  7 ~8 ~9 ~7 ~3  8  9 ~7 ~1 ~7  4  0  0  1 ~5  9 ~8 ~1 ~2  3  5  9 ~9  5  4 ~9  1 ~4 ~2  3 ~4
~5 ~4 ~4  9  2  7 ~2  6  7  2 ~9  4  2  7  8 ~9  2  5  3  9  6  3  0 ~7 ~6 ~7  6 ~2  9 ~3 ~6  9
 5 ~7  8 ~4  8  8 ~4 ~9  6  0 ~3  6  0  8  8 ~6 ~2  5  4 ~1 ~8  1 ~3 ~1  2  3 ~9 ~9 ~5  1  8 ~5
 7 ~5 ~1  5 ~2  7  0 ~7 ~1  8  8 ~3  9 ~5  7 ~8 ~8 ~4  3  2 ~1  8 ~2  1  2  5  0 ~6  7  3  3  7
~4 ~2  3 ~3 ~1  2 ~2 ~1 ~9 ~5  1  0  0  2  9 ~3 ~9  2  9  3  8 ~3  4  8  8  3 ~3 ~1 ~4  4 ~6 ~9
 5  1  4 ~3 ~1 ~9  5 ~8 ~8  6  1  1 ~2  7  5  6 ~4  2 ~7  0 ~7 ~3 ~5  9  3  4 ~6  8 ~4  3  6  0
 2 ~6 ~1  8  4 ~3 ~1 ~6 ~2 ~8 ~2 ~1 ~1 ~5 ~9 ~8  9 ~9  5  1  9 ~1 ~6  9 ~7  2  8 ~7  4 ~9  7  6
~2  9 ~9 ~6  1 ~8  8  4 ~6  8  1 ~3 ~7  8 ~5  2 ~8  1  3 ~2  6  6  6  1  0  0 ~7  7 ~3 ~3  0 ~4
~7 ~4  4  1 ~1 ~3 ~8  3  7  9  8  3  0  4  4 ~1 ~5  4  2  2  0  6 ~6  2 ~9  8 ~9  3 ~2  2  6  6
~5  8  6  1 ~6 ~6  6  1  1 ~3 ~9 ~6  2 ~7  2 ~1  6 ~6  0  2 ~7  8 ~8  4  9 ~3  9 ~7 ~9 ~6 ~4 ~4
~4 ~7 ~2  2 ~4 ~2  6 ~3 ~1 ~4  0 ~5  9  7 ~6 ~9  7 ~9 ~6  2 ~3  1  5 ~9  4 ~5  4 ~9  1 ~2 ~2  4
~9  6  6 ~5 ~1 ~7  4 ~9  4 ~1  6 ~4  7  2  8  7  3  1 ~7  7  7  9  8 ~9  7  2  1  2 ~8  4  5  6
 4 ~3  8  0 ~2 ~2  2 ~3  8  3  1 ~8 ~5 ~2  5  6  8  0 ~3  4 ~2  4 ~9 ~5  7  6 ~4 ~7  2  4 ~3 ~8
~8 ~8  6 ~2 ~6  8 ~3  3 ~1 ~7  1  9  1  7 ~6  8 ~2 ~9 ~1  3 ~4  7  8 ~1  9 ~9  6 ~3  5  0  2  5
 5 ~2  3  0 ~9 ~8 ~6  1  8  0  1  2 ~8 ~2  0 ~9 ~8  0  5 ~3 ~4  5  6 ~2 ~5  0 ~9  9 ~9 ~5  9  9
~4  5 ~5  7  8  9  7 ~3  1  9 ~7 ~1  8 ~5 ~1  2 ~8  1  0  9 ~8 ~1  6 ~1  9 ~8  7  4 ~8  7  0 ~6
 7  0 ~9  6  8  2  2  5 ~6 ~6  9 ~5  9  2  2 ~8  0 ~6 ~9 ~6 ~4 ~9  8 ~2  9  7 ~5 ~1  7  2 ~7  7
 8 ~7 ~9 ~6  9 ~7 ~7  6 ~8  9  5 ~4  1 ~7 ~8 ~6 ~3  8 ~8  1 ~8  6  9 ~3 ~7  7  1  6  1  0  8 ~5
~3 ~2  8  1 ~1 ~1 ~4  3  7 ~2 ~9  9 ~8 ~9  6 ~4  7 ~1 ~5 ~3 ~9  0 ~3  0  7  9  1 ~2  7 ~9 ~6  3
~9 ~9 ~2 ~9 ~9  9  6  6  7  5 ~1 ~2  1  5  2 ~3 ~4  1 ~6  0 ~3 ~9 ~1  7  0 ~9  5 ~2 ~2  5  3  4
 7  7  8  7  6  1 ~2  5 ~6  9  4  8  5  0 ~4 ~2 ~2 ~5 ~2 ~6  9 ~8 ~2 ~5 ~9  3 ~6 ~3 ~4 ~5 ~2  6

dd: pos = 0
dd: pos = 1
dd: pos = 2
dd: pos = 3
dd: pos = 4
dd: pos = 5
dd: pos = 6
dd: pos = 7
dd: pos = 8
dd: pos = 9
dd: pos = 10
dd: pos = 11
dd: pos = 12
dd: pos = 13
dd: pos = 14
dd: pos = 15
dd: pos = 16
dd: pos = 17
dd: pos = 18
dd: pos = 19
dd: pos = 20
dd: pos = 21
dd: pos = 22
dd: pos = 23
dd: pos = 24
dd: pos = 25
dd: pos = 26
dd: pos = 27
dd: pos = 28
dd: pos = 29
dd: pos = 30
dd: pos = 31
1  0  0 0 0 0  0  0 0  0 0  0  0  0  0 0 0  0 0  0 0  0  0  0  0  0 0 0 0  0  0                                         0
0 ~1  0 0 0 0  0  0 0  0 0  0  0  0  0 0 0  0 0  0 0  0  0  0  0  0 0 0 0  0  0                                         0
0  0 ~1 0 0 0  0  0 0  0 0  0  0  0  0 0 0  0 0  0 0  0  0  0  0  0 0 0 0  0  0                                         0
0  0  0 1 0 0  0  0 0  0 0  0  0  0  0 0 0  0 0  0 0  0  0  0  0  0 0 0 0  0  0                                         0
0  0  0 0 1 0  0  0 0  0 0  0  0  0  0 0 0  0 0  0 0  0  0  0  0  0 0 0 0  0  0                                         0
0  0  0 0 0 1  0  0 0  0 0  0  0  0  0 0 0  0 0  0 0  0  0  0  0  0 0 0 0  0  0                                         0
0  0  0 0 0 0 ~1  0 0  0 0  0  0  0  0 0 0  0 0  0 0  0  0  0  0  0 0 0 0  0  0                                         0
0  0  0 0 0 0  0 ~1 0  0 0  0  0  0  0 0 0  0 0  0 0  0  0  0  0  0 0 0 0  0  0                                         0
0  0  0 0 0 0  0  0 1  0 0  0  0  0  0 0 0  0 0  0 0  0  0  0  0  0 0 0 0  0  0                                         0
0  0  0 0 0 0  0  0 0 ~1 0  0  0  0  0 0 0  0 0  0 0  0  0  0  0  0 0 0 0  0  0                                         0
0  0  0 0 0 0  0  0 0  0 1  0  0  0  0 0 0  0 0  0 0  0  0  0  0  0 0 0 0  0  0                                         0
0  0  0 0 0 0  0  0 0  0 0 ~1  0  0  0 0 0  0 0  0 0  0  0  0  0  0 0 0 0  0  0                                         0
0  0  0 0 0 0  0  0 0  0 0  0 ~1  0  0 0 0  0 0  0 0  0  0  0  0  0 0 0 0  0  0                                         0
0  0  0 0 0 0  0  0 0  0 0  0  0 ~1  0 0 0  0 0  0 0  0  0  0  0  0 0 0 0  0  0                                         0
0  0  0 0 0 0  0  0 0  0 0  0  0  0 ~1 0 0  0 0  0 0  0  0  0  0  0 0 0 0  0  0                                         0
0  0  0 0 0 0  0  0 0  0 0  0  0  0  0 1 0  0 0  0 0  0  0  0  0  0 0 0 0  0  0                                         0
0  0  0 0 0 0  0  0 0  0 0  0  0  0  0 0 1  0 0  0 0  0  0  0  0  0 0 0 0  0  0                                         0
0  0  0 0 0 0  0  0 0  0 0  0  0  0  0 0 0 ~1 0  0 0  0  0  0  0  0 0 0 0  0  0                                         0
0  0  0 0 0 0  0  0 0  0 0  0  0  0  0 0 0  0 1  0 0  0  0  0  0  0 0 0 0  0  0                                         0
0  0  0 0 0 0  0  0 0  0 0  0  0  0  0 0 0  0 0 ~1 0  0  0  0  0  0 0 0 0  0  0                                         0
0  0  0 0 0 0  0  0 0  0 0  0  0  0  0 0 0  0 0  0 1  0  0  0  0  0 0 0 0  0  0                                         0
0  0  0 0 0 0  0  0 0  0 0  0  0  0  0 0 0  0 0  0 0 ~1  0  0  0  0 0 0 0  0  0                                         0
0  0  0 0 0 0  0  0 0  0 0  0  0  0  0 0 0  0 0  0 0  0 ~1  0  0  0 0 0 0  0  0                                         0
0  0  0 0 0 0  0  0 0  0 0  0  0  0  0 0 0  0 0  0 0  0  0 ~1  0  0 0 0 0  0  0                                         0
0  0  0 0 0 0  0  0 0  0 0  0  0  0  0 0 0  0 0  0 0  0  0  0 ~1  0 0 0 0  0  0                                         0
0  0  0 0 0 0  0  0 0  0 0  0  0  0  0 0 0  0 0  0 0  0  0  0  0 ~1 0 0 0  0  0                                         0
0  0  0 0 0 0  0  0 0  0 0  0  0  0  0 0 0  0 0  0 0  0  0  0  0  0 1 0 0  0  0                                         0
0  0  0 0 0 0  0  0 0  0 0  0  0  0  0 0 0  0 0  0 0  0  0  0  0  0 0 1 0  0  0                                         0
0  0  0 0 0 0  0  0 0  0 0  0  0  0  0 0 0  0 0  0 0  0  0  0  0  0 0 0 1  0  0                                         0
0  0  0 0 0 0  0  0 0  0 0  0  0  0  0 0 0  0 0  0 0  0  0  0  0  0 0 0 0 ~1  0                                         0
0  0  0 0 0 0  0  0 0  0 0  0  0  0  0 0 0  0 0  0 0  0  0  0  0  0 0 0 0  0 ~1                                         0
0  0  0 0 0 0  0  0 0  0 0  0  0  0  0 0 0  0 0  0 0  0  0  0  0  0 0 0 0  0  0 ~8074709755269798283190497453463562613129