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
|
num_states=6
num_neighbors=4
num_nodes=152
1 0 0 0 3 4 5
1 0 0 2 0 4 5
1 0 1 2 3 4 5
1 1 3 2 0 4 5
2 0 1 2 3 2 2
1 0 1 2 0 4 5
1 5 1 2 3 4 2
2 1 5 2 6 2 2
1 2 1 2 1 4 5
1 0 1 0 3 4 5
1 3 1 2 3 3 5
1 2 1 2 3 4 2
2 2 8 9 10 11 2
1 1 1 2 3 4 5
1 0 0 2 3 4 5
2 3 13 2 14 2 2
1 0 1 2 3 4 2
2 2 2 16 2 2 2
1 2 1 5 3 4 5
1 5 1 2 3 4 5
2 2 18 19 2 2 2
3 4 7 12 15 17 20
2 1 5 8 13 2 18
1 0 1 2 1 4 5
2 2 2 23 2 2 2
2 2 2 2 2 2 2
3 22 24 25 24 25 25
2 2 2 9 2 16 19
1 0 1 2 3 4 4
1 0 1 2 3 4 0
1 0 1 5 3 0 5
2 2 28 29 2 2 30
2 2 2 2 2 16 2
1 0 1 5 2 4 5
1 0 1 3 3 4 5
2 2 33 2 34 2 2
3 27 25 31 25 32 35
2 3 6 10 14 2 2
1 0 3 2 3 3 5
2 2 2 38 2 2 2
2 2 2 29 2 2 2
1 0 1 2 3 5 5
2 2 2 41 2 2 2
3 37 39 40 25 25 42
2 2 2 11 2 2 2
1 0 4 2 3 4 5
2 2 2 45 2 2 2
3 44 46 25 46 25 25
3 25 25 25 25 25 25
4 21 26 36 43 47 48
2 1 2 2 2 2 2
2 5 2 2 2 2 2
2 2 23 2 38 45 2
2 6 2 2 2 2 2
3 50 51 52 53 25 25
1 0 1 2 3 3 5
2 2 2 23 55 45 2
3 51 25 56 24 25 25
2 8 23 2 23 2 2
2 2 2 23 23 2 2
2 28 2 2 2 2 2
2 2 2 2 55 2 2
1 0 1 2 5 4 5
2 2 23 2 62 2 2
3 58 59 60 59 61 63
2 13 2 2 2 2 2
2 2 2 55 2 2 2
2 2 2 55 2 2 55
3 65 66 67 25 25 66
2 2 2 45 23 2 62
3 25 46 69 46 25 25
2 18 2 2 2 2 2
2 33 23 2 2 2 2
3 71 25 72 24 25 25
4 54 57 64 68 70 73
2 8 2 28 2 2 2
2 9 2 29 29 2 2
2 10 2 2 2 2 2
2 11 2 2 2 2 2
2 2 2 30 2 2 2
3 25 75 76 77 78 79
2 2 2 28 2 2 33
2 23 2 2 2 2 23
2 2 23 2 55 45 2
2 38 55 2 2 23 2
2 45 45 2 2 2 2
2 2 2 2 55 62 2
3 81 82 83 84 85 86
2 9 2 29 2 2 2
2 2 23 2 23 2 2
2 29 2 2 2 2 2
2 29 55 2 2 2 2
2 2 45 2 45 2 2
3 88 89 90 91 92 25
2 2 2 2 2 2 34
2 23 23 2 23 55 62
2 2 23 2 2 45 2
2 45 45 16 45 2 2
2 2 23 2 2 2 2
3 94 95 96 25 97 98
2 16 2 2 2 16 2
1 0 3 2 3 4 5
2 2 2 16 2 45 101
3 100 25 25 102 25 25
2 19 2 30 2 2 2
2 41 55 2 2 2 2
3 104 25 25 105 25 25
4 80 87 93 99 103 106
2 3 2 2 2 2 2
2 14 2 2 2 2 2
3 108 65 96 109 25 25
2 2 23 23 2 45 23
3 53 25 111 24 25 25
2 10 38 29 2 2 41
2 2 55 55 2 2 55
2 2 2 2 2 101 2
3 113 114 32 25 96 115
3 109 25 96 25 25 25
2 2 55 45 2 2 2
3 25 25 118 46 25 25
2 34 62 2 2 2 2
3 25 66 120 25 25 25
4 110 112 116 117 119 121
2 16 2 2 2 2 2
3 25 25 123 25 17 25
3 25 25 25 66 25 25
2 11 45 2 45 2 2
2 2 45 45 45 2 2
2 2 2 2 16 2 2
2 2 2 45 45 2 2
3 126 127 128 129 25 25
3 25 24 25 25 46 25
2 16 2 2 45 2 2
3 25 25 132 25 25 25
2 2 2 62 2 2 2
2 2 2 2 101 2 2
3 25 134 135 25 25 25
4 124 125 130 131 133 136
2 18 2 33 2 2 2
2 19 2 2 41 2 2
2 2 2 34 2 2 2
3 25 138 139 140 25 25
3 25 24 61 134 25 25
2 2 2 2 23 2 2
2 30 2 2 2 2 2
2 2 55 2 2 2 2
2 2 62 2 2 2 2
3 25 143 144 145 146 25
2 2 2 101 2 2 2
3 25 25 25 25 148 25
4 141 142 147 149 48 48
5 49 74 107 122 137 150
|