sellout
duoids
main

e6006de7

Initial commit

configure

configure 1s

evaluate

x86_64-linux 49s

build

devShells
- x86_64-linux
  - default
    - attempt 1
    - attempt 2
    - attempt 3
    - attempt 4
    - attempt 5
    - attempt 6
    - attempt 7
    - attempt 8
    - attempt 9
    - attempt 10
    - attempt 11
    - attempt 12
    - attempt 13
    - attempt 14
    - attempt 15
    - attempt 16
    - attempt 17
    - attempt 18
    - attempt 19
    - attempt 20
    - attempt 21
    - attempt 22
    - attempt 23
    - attempt 24
    - attempt 25
    - attempt 26
    - attempt 27
    - attempt 28
    - attempt 29
    - attempt 30
    - attempt 31
    - attempt 32
    - attempt 33
    - attempt 34
    - attempt 35
    - attempt 36
    - attempt 37
    - attempt 38
    - attempt 39
    - attempt 40
    - attempt 41
    - attempt 42
    - attempt 43
    - attempt 44
    - attempt 45
    - attempt 46
    - attempt 47
    - attempt 48
    - attempt 49
    - attempt 50
    - attempt 51
    - attempt 52
    - attempt 53
    - attempt 54
    - attempt 55
    - attempt 56
    - attempt 57
    - attempt 58
    - attempt 59
    - attempt 60
    - attempt 61
    - attempt 62
    - attempt 63
    - attempt 64
    - attempt 65
    - attempt 66
    - attempt 67
    - attempt 68
    - attempt 69
    - attempt 70
    - attempt 71
    - attempt 72
    - attempt 73
    - attempt 74
    - attempt 75
    - attempt 76
    - attempt 77
    - attempt 78
    - attempt 79
    - attempt 80
    - attempt 81
    - attempt 82
    - attempt 83
    - attempt 84
    - attempt 85
    - attempt 86
    - attempt 87
    - attempt 88
    - attempt 89
    - attempt 90
    - attempt 91
    - attempt 92
    - attempt 93
    - attempt 94
    - attempt 95
    - attempt 96
    - attempt 97
    - attempt 98
    - attempt 99
    - attempt 100
    - attempt 101
    - attempt 102
    - attempt 103
    - attempt 104
    - attempt 105
    - attempt 106
    - attempt 107
    - attempt 108
    - attempt 109
    - attempt 110
    - attempt 111
    - attempt 112
    - attempt 113
    - attempt 114
    - attempt 115
    - attempt 116
    - attempt 117
    - attempt 118
    - attempt 119
    - attempt 120
    - attempt 121
    - attempt 122
    - attempt 123
    - attempt 124
    - attempt 125
    - attempt 126
    - attempt 127
    - attempt 128
    - attempt 129
    - attempt 130
    - attempt 131
    - attempt 132
    - attempt 133
    - attempt 134
    - attempt 135
    - attempt 136
    - attempt 137
    - attempt 138
    - attempt 139
    - attempt 140
    - attempt 141
    - attempt 142
    - attempt 143
    - attempt 144
    - attempt 145
    - attempt 146
    - attempt 147
    - attempt 148
    - attempt 149
    - attempt 150
    - attempt 151
    - attempt 152
    - attempt 153
    - attempt 154
    - attempt 155
    - attempt 156
    - attempt 157
    - attempt 158
    - attempt 159
    - attempt 160
    - attempt 161
    - attempt 162
    - attempt 163
    - attempt 164
    - attempt 165
    - attempt 166
    - attempt 167
    - attempt 168
    - attempt 169
    - attempt 170
    - attempt 171
    - attempt 172
    - attempt 173
    - attempt 174
    - attempt 175
    - attempt 176
    - attempt 177
    - attempt 178
    - attempt 179
    - attempt 180
    - attempt 181
    - attempt 182
    - attempt 183
    - attempt 184
    - attempt 185
    - attempt 186
    - attempt 187
    - attempt 188
    - attempt 189
    - attempt 190
    - attempt 191
    - attempt 192
    - attempt 193
    - attempt 194
    - attempt 195
    - attempt 196
    - attempt 197
    - attempt 198
    - attempt 199
    - attempt 200
    - attempt 201
    - attempt 202
    - attempt 203
    - attempt 204
    - attempt 205
    - attempt 206
    - attempt 207
    - attempt 208
    - attempt 209
    - attempt 210
    - attempt 211
    - attempt 212
    - attempt 213
    - attempt 214
    - attempt 215
    - attempt 216
    - attempt 217
    - attempt 218
    - attempt 219
    - attempt 220
    - attempt 221
    - attempt 222
    - attempt 223
    - attempt 224
  - ghc8107
    - attempt 1
    - attempt 2
    - attempt 3
    - attempt 4
    - attempt 5
    - attempt 6
    - attempt 7
    - attempt 8
    - attempt 9
    - attempt 10
    - attempt 11
    - attempt 12
    - attempt 13
    - attempt 14
    - attempt 15
    - attempt 16
    - attempt 17
    - attempt 18
    - attempt 19
    - attempt 20
    - attempt 21
    - attempt 22
    - attempt 23
    - attempt 24
    - attempt 25
    - attempt 26
    - attempt 27
    - attempt 28
    - attempt 29
    - attempt 30
    - attempt 31
    - attempt 32
    - attempt 33
    - attempt 34
    - attempt 35
    - attempt 36
    - attempt 37
    - attempt 38
    - attempt 39
    - attempt 40
    - attempt 41
    - attempt 42
    - attempt 43
    - attempt 44
    - attempt 45
    - attempt 46
    - attempt 47
    - attempt 48
    - attempt 49
    - attempt 50
    - attempt 51
    - attempt 52
    - attempt 53
    - attempt 54
    - attempt 55
    - attempt 56
    - attempt 57
    - attempt 58
    - attempt 59
    - attempt 60
    - attempt 61
    - attempt 62
    - attempt 63
    - attempt 64
    - attempt 65
    - attempt 66
    - attempt 67
    - attempt 68
    - attempt 69
    - attempt 70
    - attempt 71
    - attempt 72
    - attempt 73
    - attempt 74
    - attempt 75
    - attempt 76
    - attempt 77
    - attempt 78
    - attempt 79
    - attempt 80
    - attempt 81
    - attempt 82
    - attempt 83
    - attempt 84
    - attempt 85
    - attempt 86
    - attempt 87
    - attempt 88
    - attempt 89
    - attempt 90
    - attempt 91
    - attempt 92
    - attempt 93
    - attempt 94
    - attempt 95
    - attempt 96
    - attempt 97
    - attempt 98
    - attempt 99
    - attempt 100
    - attempt 101
    - attempt 102
    - attempt 103
    - attempt 104
    - attempt 105
    - attempt 106
    - attempt 107
    - attempt 108
    - attempt 109
    - attempt 110
    - attempt 111
    - attempt 112
    - attempt 113
    - attempt 114
    - attempt 115
    - attempt 116
    - attempt 117
    - attempt 118
    - attempt 119
    - attempt 120
    - attempt 121
    - attempt 122
    - attempt 123
    - attempt 124
    - attempt 125
    - attempt 126
    - attempt 127
    - attempt 128
    - attempt 129
    - attempt 130
    - attempt 131
    - attempt 132
    - attempt 133
    - attempt 134
    - attempt 135
    - attempt 136
    - attempt 137
    - attempt 138
    - attempt 139
    - attempt 140
    - attempt 141
    - attempt 142
    - attempt 143
    - attempt 144
    - attempt 145
    - attempt 146
    - attempt 147
    - attempt 148
    - attempt 149
    - attempt 150
    - attempt 151
    - attempt 152
    - attempt 153
    - attempt 154
    - attempt 155
    - attempt 156
    - attempt 157
    - attempt 158
    - attempt 159
    - attempt 160
    - attempt 161
    - attempt 162
    - attempt 163
    - attempt 164
    - attempt 165
    - attempt 166
    - attempt 167
    - attempt 168
    - attempt 169
    - attempt 170
    - attempt 171
    - attempt 172
    - attempt 173
    - attempt 174
    - attempt 175
    - attempt 176
    - attempt 177
    - attempt 178
    - attempt 179
    - attempt 180
    - attempt 181
    - attempt 182
    - attempt 183
    - attempt 184
    - attempt 185
    - attempt 186
    - attempt 187
    - attempt 188
    - attempt 189
    - attempt 190
    - attempt 191
    - attempt 192
    - attempt 193
    - attempt 194
    - attempt 195
    - attempt 196
    - attempt 197
    - attempt 198
    - attempt 199
    - attempt 200
    - attempt 201
    - attempt 202
    - attempt 203
    - attempt 204
    - attempt 205
    - attempt 206
    - attempt 207
    - attempt 208
    - attempt 209
    - attempt 210
    - attempt 211
    - attempt 212
    - attempt 213
    - attempt 214
    - attempt 215
    - attempt 216
    - attempt 217
    - attempt 218
    - attempt 219
    - attempt 220
    - attempt 221
    - attempt 222
    - attempt 223
    - attempt 224
  - ghc902
    - attempt 1
    - attempt 2
    - attempt 3
    - attempt 4
    - attempt 5
    - attempt 6
    - attempt 7
    - attempt 8
    - attempt 9
    - attempt 10
    - attempt 11
    - attempt 12
    - attempt 13
    - attempt 14
    - attempt 15
    - attempt 16
    - attempt 17
    - attempt 18
    - attempt 19
    - attempt 20
    - attempt 21
    - attempt 22
    - attempt 23
    - attempt 24
    - attempt 25
    - attempt 26
    - attempt 27
    - attempt 28
    - attempt 29
    - attempt 30
    - attempt 31
    - attempt 32
    - attempt 33
    - attempt 34
    - attempt 35
    - attempt 36
    - attempt 37
    - attempt 38
    - attempt 39
    - attempt 40
    - attempt 41
    - attempt 42
    - attempt 43
    - attempt 44
    - attempt 45
    - attempt 46
    - attempt 47
    - attempt 48
    - attempt 49
    - attempt 50
    - attempt 51
    - attempt 52
    - attempt 53
    - attempt 54
    - attempt 55
    - attempt 56
    - attempt 57
    - attempt 58
    - attempt 59
    - attempt 60
    - attempt 61
    - attempt 62
    - attempt 63
    - attempt 64
    - attempt 65
    - attempt 66
    - attempt 67
    - attempt 68
    - attempt 69
    - attempt 70
    - attempt 71
    - attempt 72
    - attempt 73
    - attempt 74
    - attempt 75
    - attempt 76
    - attempt 77
    - attempt 78
    - attempt 79
    - attempt 80
    - attempt 81
    - attempt 82
    - attempt 83
    - attempt 84
    - attempt 85
    - attempt 86
    - attempt 87
    - attempt 88
    - attempt 89
    - attempt 90
    - attempt 91
    - attempt 92
    - attempt 93
    - attempt 94
    - attempt 95
    - attempt 96
    - attempt 97
    - attempt 98
    - attempt 99
    - attempt 100
    - attempt 101
    - attempt 102
    - attempt 103
    - attempt 104
    - attempt 105
    - attempt 106
    - attempt 107
    - attempt 108
    - attempt 109
    - attempt 110
    - attempt 111
    - attempt 112
    - attempt 113
    - attempt 114
    - attempt 115
    - attempt 116
    - attempt 117
    - attempt 118
    - attempt 119
    - attempt 120
    - attempt 121
    - attempt 122
    - attempt 123
    - attempt 124
    - attempt 125
    - attempt 126
    - attempt 127
    - attempt 128
    - attempt 129
    - attempt 130
    - attempt 131
    - attempt 132
    - attempt 133
    - attempt 134
    - attempt 135
    - attempt 136
    - attempt 137
    - attempt 138
    - attempt 139
    - attempt 140
    - attempt 141
    - attempt 142
    - attempt 143
    - attempt 144
    - attempt 145
    - attempt 146
    - attempt 147
    - attempt 148
    - attempt 149
    - attempt 150
    - attempt 151
    - attempt 152
    - attempt 153
    - attempt 154
    - attempt 155
    - attempt 156
    - attempt 157
    - attempt 158
    - attempt 159
    - attempt 160
    - attempt 161
    - attempt 162
    - attempt 163
    - attempt 164
    - attempt 165
    - attempt 166
    - attempt 167
    - attempt 168
    - attempt 169
    - attempt 170
    - attempt 171
    - attempt 172
    - attempt 173
    - attempt 174
    - attempt 175
    - attempt 176
    - attempt 177
    - attempt 178
    - attempt 179
    - attempt 180
    - attempt 181
    - attempt 182
    - attempt 183
    - attempt 184
    - attempt 185
    - attempt 186
    - attempt 187
    - attempt 188
    - attempt 189
    - attempt 190
    - attempt 191
    - attempt 192
    - attempt 193
    - attempt 194
    - attempt 195
    - attempt 196
    - attempt 197
    - attempt 198
    - attempt 199
    - attempt 200
    - attempt 201
    - attempt 202
    - attempt 203
    - attempt 204
    - attempt 205
    - attempt 206
    - attempt 207
    - attempt 208
    - attempt 209
    - attempt 210
    - attempt 211
    - attempt 212
    - attempt 213
    - attempt 214
    - attempt 215
    - attempt 216
    - attempt 217
    - attempt 218
    - attempt 219
    - attempt 220
    - attempt 221
    - attempt 222
    - attempt 223
    - attempt 224
  - ghc9101
    - attempt 1
    - attempt 2
    - attempt 3
    - attempt 4
    - attempt 5
    - attempt 6
    - attempt 7
    - attempt 8
    - attempt 9
    - attempt 10
    - attempt 11
    - attempt 12
    - attempt 13
    - attempt 14
    - attempt 15
    - attempt 16
    - attempt 17
    - attempt 18
    - attempt 19
    - attempt 20
    - attempt 21
    - attempt 22
    - attempt 23
    - attempt 24
    - attempt 25
    - attempt 26
    - attempt 27
    - attempt 28
    - attempt 29
    - attempt 30
    - attempt 31
    - attempt 32
    - attempt 33
    - attempt 34
    - attempt 35
    - attempt 36
    - attempt 37
    - attempt 38
    - attempt 39
    - attempt 40
    - attempt 41
    - attempt 42
    - attempt 43
    - attempt 44
    - attempt 45
    - attempt 46
    - attempt 47
    - attempt 48
    - attempt 49
    - attempt 50
    - attempt 51
    - attempt 52
    - attempt 53
    - attempt 54
    - attempt 55
    - attempt 56
    - attempt 57
    - attempt 58
    - attempt 59
    - attempt 60
    - attempt 61
    - attempt 62
    - attempt 63
    - attempt 64
    - attempt 65
    - attempt 66
    - attempt 67
    - attempt 68
    - attempt 69
    - attempt 70
    - attempt 71
    - attempt 72
    - attempt 73
    - attempt 74
    - attempt 75
    - attempt 76
    - attempt 77
    - attempt 78
    - attempt 79
    - attempt 80
    - attempt 81
    - attempt 82
    - attempt 83
    - attempt 84
    - attempt 85
    - attempt 86
    - attempt 87
    - attempt 88
    - attempt 89
    - attempt 90
    - attempt 91
    - attempt 92
    - attempt 93
    - attempt 94
    - attempt 95
    - attempt 96
    - attempt 97
    - attempt 98
    - attempt 99
    - attempt 100
    - attempt 101
    - attempt 102
    - attempt 103
    - attempt 104
    - attempt 105
    - attempt 106
    - attempt 107
    - attempt 108
    - attempt 109
    - attempt 110
    - attempt 111
    - attempt 112
    - attempt 113
    - attempt 114
    - attempt 115
    - attempt 116
    - attempt 117
    - attempt 118
    - attempt 119
    - attempt 120
    - attempt 121
    - attempt 122
    - attempt 123
    - attempt 124
    - attempt 125
    - attempt 126
    - attempt 127
    - attempt 128
    - attempt 129
    - attempt 130
    - attempt 131
    - attempt 132
    - attempt 133
    - attempt 134
    - attempt 135
    - attempt 136
    - attempt 137
    - attempt 138
    - attempt 139
    - attempt 140
    - attempt 141
    - attempt 142
    - attempt 143
    - attempt 144
    - attempt 145
    - attempt 146
    - attempt 147
    - attempt 148
    - attempt 149
    - attempt 150
    - attempt 151
    - attempt 152
    - attempt 153
    - attempt 154
    - attempt 155
    - attempt 156
    - attempt 157
    - attempt 158
    - attempt 159
    - attempt 160
    - attempt 161
    - attempt 162
    - attempt 163
    - attempt 164
    - attempt 165
    - attempt 166
    - attempt 167
    - attempt 168
    - attempt 169
    - attempt 170
    - attempt 171
    - attempt 172
    - attempt 173
    - attempt 174
    - attempt 175
    - attempt 176
    - attempt 177
    - attempt 178
    - attempt 179
    - attempt 180
    - attempt 181
    - attempt 182
    - attempt 183
    - attempt 184
    - attempt 185
    - attempt 186
    - attempt 187
    - attempt 188
    - attempt 189
    - attempt 190
    - attempt 191
    - attempt 192
    - attempt 193
    - attempt 194
    - attempt 195
    - attempt 196
    - attempt 197
    - attempt 198
    - attempt 199
    - attempt 200
    - attempt 201
    - attempt 202
    - attempt 203
    - attempt 204
    - attempt 205
    - attempt 206
    - attempt 207
    - attempt 208
    - attempt 209
    - attempt 210
    - attempt 211
    - attempt 212
    - attempt 213
    - attempt 214
    - attempt 215
    - attempt 216
    - attempt 217
    - attempt 218
    - attempt 219
    - attempt 220
    - attempt 221
    - attempt 222
    - attempt 223
    - attempt 224
  - ghc928
    - attempt 1
    - attempt 2
    - attempt 3
    - attempt 4
    - attempt 5
    - attempt 6
    - attempt 7
    - attempt 8
    - attempt 9
    - attempt 10
    - attempt 11
    - attempt 12
    - attempt 13
    - attempt 14
    - attempt 15
    - attempt 16
    - attempt 17
    - attempt 18
    - attempt 19
    - attempt 20
    - attempt 21
    - attempt 22
    - attempt 23
    - attempt 24
    - attempt 25
    - attempt 26
    - attempt 27
    - attempt 28
    - attempt 29
    - attempt 30
    - attempt 31
    - attempt 32
    - attempt 33
    - attempt 34
    - attempt 35
    - attempt 36
    - attempt 37
    - attempt 38
    - attempt 39
    - attempt 40
    - attempt 41
    - attempt 42
    - attempt 43
    - attempt 44
    - attempt 45
    - attempt 46
    - attempt 47
    - attempt 48
    - attempt 49
    - attempt 50
    - attempt 51
    - attempt 52
    - attempt 53
    - attempt 54
    - attempt 55
    - attempt 56
    - attempt 57
    - attempt 58
    - attempt 59
    - attempt 60
    - attempt 61
    - attempt 62
    - attempt 63
    - attempt 64
    - attempt 65
    - attempt 66
    - attempt 67
    - attempt 68
    - attempt 69
    - attempt 70
    - attempt 71
    - attempt 72
    - attempt 73
    - attempt 74
    - attempt 75
    - attempt 76
    - attempt 77
    - attempt 78
    - attempt 79
    - attempt 80
    - attempt 81
    - attempt 82
    - attempt 83
    - attempt 84
    - attempt 85
    - attempt 86
    - attempt 87
    - attempt 88
    - attempt 89
    - attempt 90
    - attempt 91
    - attempt 92
    - attempt 93
    - attempt 94
    - attempt 95
    - attempt 96
    - attempt 97
    - attempt 98
    - attempt 99
    - attempt 100
    - attempt 101
    - attempt 102
    - attempt 103
    - attempt 104
    - attempt 105
    - attempt 106
    - attempt 107
    - attempt 108
    - attempt 109
    - attempt 110
    - attempt 111
    - attempt 112
    - attempt 113
    - attempt 114
    - attempt 115
    - attempt 116
    - attempt 117
    - attempt 118
    - attempt 119
    - attempt 120
    - attempt 121
    - attempt 122
    - attempt 123
    - attempt 124
    - attempt 125
    - attempt 126
    - attempt 127
    - attempt 128
    - attempt 129
    - attempt 130
    - attempt 131
    - attempt 132
    - attempt 133
    - attempt 134
    - attempt 135
    - attempt 136
    - attempt 137
    - attempt 138
    - attempt 139
    - attempt 140
    - attempt 141
    - attempt 142
    - attempt 143
    - attempt 144
    - attempt 145
    - attempt 146
    - attempt 147
    - attempt 148
    - attempt 149
    - attempt 150
    - attempt 151
    - attempt 152
    - attempt 153
    - attempt 154
    - attempt 155
    - attempt 156
    - attempt 157
    - attempt 158
    - attempt 159
    - attempt 160
    - attempt 161
    - attempt 162
    - attempt 163
    - attempt 164
    - attempt 165
    - attempt 166
    - attempt 167
    - attempt 168
    - attempt 169
    - attempt 170
    - attempt 171
    - attempt 172
    - attempt 173
    - attempt 174
    - attempt 175
    - attempt 176
    - attempt 177
    - attempt 178
    - attempt 179
    - attempt 180
    - attempt 181
    - attempt 182
    - attempt 183
    - attempt 184
    - attempt 185
    - attempt 186
    - attempt 187
    - attempt 188
    - attempt 189
    - attempt 190
    - attempt 191
    - attempt 192
    - attempt 193
    - attempt 194
    - attempt 195
    - attempt 196
    - attempt 197
    - attempt 198
    - attempt 199
    - attempt 200
    - attempt 201
    - attempt 202
    - attempt 203
    - attempt 204
    - attempt 205
    - attempt 206
    - attempt 207
    - attempt 208
    - attempt 209
    - attempt 210
    - attempt 211
    - attempt 212
    - attempt 213
    - attempt 214
    - attempt 215
    - attempt 216
    - attempt 217
    - attempt 218
    - attempt 219
    - attempt 220
    - attempt 221
    - attempt 222
    - attempt 223
    - attempt 224
  - ghc947
    - attempt 1
    - attempt 2
    - attempt 3
    - attempt 4
    - attempt 5
    - attempt 6
    - attempt 7
    - attempt 8
    - attempt 9
    - attempt 10
    - attempt 11
    - attempt 12
    - attempt 13
    - attempt 14
    - attempt 15
    - attempt 16
    - attempt 17
    - attempt 18
    - attempt 19
    - attempt 20
    - attempt 21
    - attempt 22
    - attempt 23
    - attempt 24
    - attempt 25
    - attempt 26
    - attempt 27
    - attempt 28
    - attempt 29
    - attempt 30
    - attempt 31
    - attempt 32
    - attempt 33
    - attempt 34
    - attempt 35
    - attempt 36
    - attempt 37
    - attempt 38
    - attempt 39
    - attempt 40
    - attempt 41
    - attempt 42
    - attempt 43
    - attempt 44
    - attempt 45
    - attempt 46
    - attempt 47
    - attempt 48
    - attempt 49
    - attempt 50
    - attempt 51
    - attempt 52
    - attempt 53
    - attempt 54
    - attempt 55
    - attempt 56
    - attempt 57
    - attempt 58
    - attempt 59
    - attempt 60
    - attempt 61
    - attempt 62
    - attempt 63
    - attempt 64
    - attempt 65
    - attempt 66
    - attempt 67
    - attempt 68
    - attempt 69
    - attempt 70
    - attempt 71
    - attempt 72
    - attempt 73
    - attempt 74
    - attempt 75
    - attempt 76
    - attempt 77
    - attempt 78
    - attempt 79
    - attempt 80
    - attempt 81
    - attempt 82
    - attempt 83
    - attempt 84
    - attempt 85
    - attempt 86
    - attempt 87
    - attempt 88
    - attempt 89
    - attempt 90
    - attempt 91
    - attempt 92
    - attempt 93
    - attempt 94
    - attempt 95
    - attempt 96
    - attempt 97
    - attempt 98
    - attempt 99
    - attempt 100
    - attempt 101
    - attempt 102
    - attempt 103
    - attempt 104
    - attempt 105
    - attempt 106
    - attempt 107
    - attempt 108
    - attempt 109
    - attempt 110
    - attempt 111
    - attempt 112
    - attempt 113
    - attempt 114
    - attempt 115
    - attempt 116
    - attempt 117
    - attempt 118
    - attempt 119
    - attempt 120
    - attempt 121
    - attempt 122
    - attempt 123
    - attempt 124
    - attempt 125
    - attempt 126
    - attempt 127
    - attempt 128
    - attempt 129
    - attempt 130
    - attempt 131
    - attempt 132
    - attempt 133
    - attempt 134
    - attempt 135
    - attempt 136
    - attempt 137
    - attempt 138
    - attempt 139
    - attempt 140
    - attempt 141
    - attempt 142
    - attempt 143
    - attempt 144
    - attempt 145
    - attempt 146
    - attempt 147
    - attempt 148
    - attempt 149
    - attempt 150
    - attempt 151
    - attempt 152
    - attempt 153
    - attempt 154
    - attempt 155
    - attempt 156
    - attempt 157
    - attempt 158
    - attempt 159
    - attempt 160
    - attempt 161
    - attempt 162
    - attempt 163
    - attempt 164
    - attempt 165
    - attempt 166
    - attempt 167
    - attempt 168
    - attempt 169
    - attempt 170
    - attempt 171
    - attempt 172
    - attempt 173
    - attempt 174
    - attempt 175
    - attempt 176
    - attempt 177
    - attempt 178
    - attempt 179
    - attempt 180
    - attempt 181
    - attempt 182
    - attempt 183
    - attempt 184
    - attempt 185
    - attempt 186
    - attempt 187
    - attempt 188
    - attempt 189
    - attempt 190
    - attempt 191
    - attempt 192
    - attempt 193
    - attempt 194
    - attempt 195
    - attempt 196
    - attempt 197
    - attempt 198
    - attempt 199
    - attempt 200
    - attempt 201
    - attempt 202
    - attempt 203
    - attempt 204
    - attempt 205
    - attempt 206
    - attempt 207
    - attempt 208
    - attempt 209
    - attempt 210
    - attempt 211
    - attempt 212
    - attempt 213
    - attempt 214
    - attempt 215
    - attempt 216
    - attempt 217
    - attempt 218
    - attempt 219
    - attempt 220
    - attempt 221
    - attempt 222
    - attempt 223
    - attempt 224
  - ghc948
    - attempt 1
    - attempt 2
    - attempt 3
    - attempt 4
    - attempt 5
    - attempt 6
    - attempt 7
    - attempt 8
    - attempt 9
    - attempt 10
    - attempt 11
    - attempt 12
    - attempt 13
    - attempt 14
    - attempt 15
    - attempt 16
    - attempt 17
    - attempt 18
    - attempt 19
    - attempt 20
    - attempt 21
    - attempt 22
    - attempt 23
    - attempt 24
    - attempt 25
    - attempt 26
    - attempt 27
    - attempt 28
    - attempt 29
    - attempt 30
    - attempt 31
    - attempt 32
    - attempt 33
    - attempt 34
    - attempt 35
    - attempt 36
    - attempt 37
    - attempt 38
    - attempt 39
    - attempt 40
    - attempt 41
    - attempt 42
    - attempt 43
    - attempt 44
    - attempt 45
    - attempt 46
    - attempt 47
    - attempt 48
    - attempt 49
    - attempt 50
    - attempt 51
    - attempt 52
    - attempt 53
    - attempt 54
    - attempt 55
    - attempt 56
    - attempt 57
    - attempt 58
    - attempt 59
    - attempt 60
    - attempt 61
    - attempt 62
    - attempt 63
    - attempt 64
    - attempt 65
    - attempt 66
    - attempt 67
    - attempt 68
    - attempt 69
    - attempt 70
    - attempt 71
    - attempt 72
    - attempt 73
    - attempt 74
    - attempt 75
    - attempt 76
    - attempt 77
    - attempt 78
    - attempt 79
    - attempt 80
    - attempt 81
    - attempt 82
    - attempt 83
    - attempt 84
    - attempt 85
    - attempt 86
    - attempt 87
    - attempt 88
    - attempt 89
    - attempt 90
    - attempt 91
    - attempt 92
    - attempt 93
    - attempt 94
    - attempt 95
    - attempt 96
    - attempt 97
    - attempt 98
    - attempt 99
    - attempt 100
    - attempt 101
    - attempt 102
    - attempt 103
    - attempt 104
    - attempt 105
    - attempt 106
    - attempt 107
    - attempt 108
    - attempt 109
    - attempt 110
    - attempt 111
    - attempt 112
    - attempt 113
    - attempt 114
    - attempt 115
    - attempt 116
    - attempt 117
    - attempt 118
    - attempt 119
    - attempt 120
    - attempt 121
    - attempt 122
    - attempt 123
    - attempt 124
    - attempt 125
    - attempt 126
    - attempt 127
    - attempt 128
    - attempt 129
    - attempt 130
    - attempt 131
    - attempt 132
    - attempt 133
    - attempt 134
    - attempt 135
    - attempt 136
    - attempt 137
    - attempt 138
    - attempt 139
    - attempt 140
    - attempt 141
    - attempt 142
    - attempt 143
    - attempt 144
    - attempt 145
    - attempt 146
    - attempt 147
    - attempt 148
    - attempt 149
    - attempt 150
    - attempt 151
    - attempt 152
    - attempt 153
    - attempt 154
    - attempt 155
    - attempt 156
    - attempt 157
    - attempt 158
    - attempt 159
    - attempt 160
    - attempt 161
    - attempt 162
    - attempt 163
    - attempt 164
    - attempt 165
    - attempt 166
    - attempt 167
    - attempt 168
    - attempt 169
    - attempt 170
    - attempt 171
    - attempt 172
    - attempt 173
    - attempt 174
    - attempt 175
    - attempt 176
    - attempt 177
    - attempt 178
    - attempt 179
    - attempt 180
    - attempt 181
    - attempt 182
    - attempt 183
    - attempt 184
    - attempt 185
    - attempt 186
    - attempt 187
    - attempt 188
    - attempt 189
    - attempt 190
    - attempt 191
    - attempt 192
    - attempt 193
    - attempt 194
    - attempt 195
    - attempt 196
    - attempt 197
    - attempt 198
    - attempt 199
    - attempt 200
    - attempt 201
    - attempt 202
    - attempt 203
    - attempt 204
    - attempt 205
    - attempt 206
    - attempt 207
    - attempt 208
    - attempt 209
    - attempt 210
    - attempt 211
    - attempt 212
    - attempt 213
    - attempt 214
    - attempt 215
    - attempt 216
    - attempt 217
    - attempt 218
    - attempt 219
    - attempt 220
    - attempt 221
    - attempt 222
    - attempt 223
    - attempt 224
  - ghc963
    - attempt 1
    - attempt 2
    - attempt 3
    - attempt 4
    - attempt 5
    - attempt 6
    - attempt 7
    - attempt 8
    - attempt 9
    - attempt 10
    - attempt 11
    - attempt 12
    - attempt 13
    - attempt 14
    - attempt 15
    - attempt 16
    - attempt 17
    - attempt 18
    - attempt 19
    - attempt 20
    - attempt 21
    - attempt 22
    - attempt 23
    - attempt 24
    - attempt 25
    - attempt 26
    - attempt 27
    - attempt 28
    - attempt 29
    - attempt 30
    - attempt 31
    - attempt 32
    - attempt 33
    - attempt 34
    - attempt 35
    - attempt 36
    - attempt 37
    - attempt 38
    - attempt 39
    - attempt 40
    - attempt 41
    - attempt 42
    - attempt 43
    - attempt 44
    - attempt 45
    - attempt 46
    - attempt 47
    - attempt 48
    - attempt 49
    - attempt 50
    - attempt 51
    - attempt 52
    - attempt 53
    - attempt 54
    - attempt 55
    - attempt 56
    - attempt 57
    - attempt 58
    - attempt 59
    - attempt 60
    - attempt 61
    - attempt 62
    - attempt 63
    - attempt 64
    - attempt 65
    - attempt 66
    - attempt 67
    - attempt 68
    - attempt 69
    - attempt 70
    - attempt 71
    - attempt 72
    - attempt 73
    - attempt 74
    - attempt 75
    - attempt 76
    - attempt 77
    - attempt 78
    - attempt 79
    - attempt 80
    - attempt 81
    - attempt 82
    - attempt 83
    - attempt 84
    - attempt 85
    - attempt 86
    - attempt 87
    - attempt 88
    - attempt 89
    - attempt 90
    - attempt 91
    - attempt 92
    - attempt 93
    - attempt 94
    - attempt 95
    - attempt 96
    - attempt 97
    - attempt 98
    - attempt 99
    - attempt 100
    - attempt 101
    - attempt 102
    - attempt 103
    - attempt 104
    - attempt 105
    - attempt 106
    - attempt 107
    - attempt 108
    - attempt 109
    - attempt 110
    - attempt 111
    - attempt 112
    - attempt 113
    - attempt 114
    - attempt 115
    - attempt 116
    - attempt 117
    - attempt 118
    - attempt 119
    - attempt 120
    - attempt 121
    - attempt 122
    - attempt 123
    - attempt 124
    - attempt 125
    - attempt 126
    - attempt 127
    - attempt 128
    - attempt 129
    - attempt 130
    - attempt 131
    - attempt 132
    - attempt 133
    - attempt 134
    - attempt 135
    - attempt 136
    - attempt 137
    - attempt 138
    - attempt 139
    - attempt 140
    - attempt 141
    - attempt 142
    - attempt 143
    - attempt 144
    - attempt 145
    - attempt 146
    - attempt 147
    - attempt 148
    - attempt 149
    - attempt 150
    - attempt 151
    - attempt 152
    - attempt 153
    - attempt 154
    - attempt 155
    - attempt 156
    - attempt 157
    - attempt 158
    - attempt 159
    - attempt 160
    - attempt 161
    - attempt 162
    - attempt 163
    - attempt 164
    - attempt 165
    - attempt 166
    - attempt 167
    - attempt 168
    - attempt 169
    - attempt 170
    - attempt 171
    - attempt 172
    - attempt 173
    - attempt 174
    - attempt 175
    - attempt 176
    - attempt 177
    - attempt 178
    - attempt 179
    - attempt 180
    - attempt 181
    - attempt 182
    - attempt 183
    - attempt 184
    - attempt 185
    - attempt 186
    - attempt 187
    - attempt 188
    - attempt 189
    - attempt 190
    - attempt 191
    - attempt 192
    - attempt 193
    - attempt 194
    - attempt 195
    - attempt 196
    - attempt 197
    - attempt 198
    - attempt 199
    - attempt 200
    - attempt 201
    - attempt 202
    - attempt 203
    - attempt 204
    - attempt 205
    - attempt 206
    - attempt 207
    - attempt 208
    - attempt 209
    - attempt 210
    - attempt 211
    - attempt 212
    - attempt 213
    - attempt 214
    - attempt 215
    - attempt 216
    - attempt 217
    - attempt 218
    - attempt 219
    - attempt 220
    - attempt 221
    - attempt 222
    - attempt 223
    - attempt 224
  - ghc964
    - attempt 1
    - attempt 2
    - attempt 3
    - attempt 4
    - attempt 5
    - attempt 6
    - attempt 7
    - attempt 8
    - attempt 9
    - attempt 10
    - attempt 11
    - attempt 12
    - attempt 13
    - attempt 14
    - attempt 15
    - attempt 16
    - attempt 17
    - attempt 18
    - attempt 19
    - attempt 20
    - attempt 21
    - attempt 22
    - attempt 23
    - attempt 24
    - attempt 25
    - attempt 26
    - attempt 27
    - attempt 28
    - attempt 29
    - attempt 30
    - attempt 31
    - attempt 32
    - attempt 33
    - attempt 34
    - attempt 35
    - attempt 36
    - attempt 37
    - attempt 38
    - attempt 39
    - attempt 40
    - attempt 41
    - attempt 42
    - attempt 43
    - attempt 44
    - attempt 45
    - attempt 46
    - attempt 47
    - attempt 48
    - attempt 49
    - attempt 50
    - attempt 51
    - attempt 52
    - attempt 53
    - attempt 54
    - attempt 55
    - attempt 56
    - attempt 57
    - attempt 58
    - attempt 59
    - attempt 60
    - attempt 61
    - attempt 62
    - attempt 63
    - attempt 64
    - attempt 65
    - attempt 66
    - attempt 67
    - attempt 68
    - attempt 69
    - attempt 70
    - attempt 71
    - attempt 72
    - attempt 73
    - attempt 74
    - attempt 75
    - attempt 76
    - attempt 77
    - attempt 78
    - attempt 79
    - attempt 80
    - attempt 81
    - attempt 82
    - attempt 83
    - attempt 84
    - attempt 85
    - attempt 86
    - attempt 87
    - attempt 88
    - attempt 89
    - attempt 90
    - attempt 91
    - attempt 92
    - attempt 93
    - attempt 94
    - attempt 95
    - attempt 96
    - attempt 97
    - attempt 98
    - attempt 99
    - attempt 100
    - attempt 101
    - attempt 102
    - attempt 103
    - attempt 104
    - attempt 105
    - attempt 106
    - attempt 107
    - attempt 108
    - attempt 109
    - attempt 110
    - attempt 111
    - attempt 112
    - attempt 113
    - attempt 114
    - attempt 115
    - attempt 116
    - attempt 117
    - attempt 118
    - attempt 119
    - attempt 120
    - attempt 121
    - attempt 122
    - attempt 123
    - attempt 124
    - attempt 125
    - attempt 126
    - attempt 127
    - attempt 128
    - attempt 129
    - attempt 130
    - attempt 131
    - attempt 132
    - attempt 133
    - attempt 134
    - attempt 135
    - attempt 136
    - attempt 137
    - attempt 138
    - attempt 139
    - attempt 140
    - attempt 141
    - attempt 142
    - attempt 143
    - attempt 144
    - attempt 145
    - attempt 146
    - attempt 147
    - attempt 148
    - attempt 149
    - attempt 150
    - attempt 151
    - attempt 152
    - attempt 153
    - attempt 154
    - attempt 155
    - attempt 156
    - attempt 157
    - attempt 158
    - attempt 159
    - attempt 160
    - attempt 161
    - attempt 162
    - attempt 163
    - attempt 164
    - attempt 165
    - attempt 166
    - attempt 167
    - attempt 168
    - attempt 169
    - attempt 170
    - attempt 171
    - attempt 172
    - attempt 173
    - attempt 174
    - attempt 175
    - attempt 176
    - attempt 177
    - attempt 178
    - attempt 179
    - attempt 180
    - attempt 181
    - attempt 182
    - attempt 183
    - attempt 184
    - attempt 185
    - attempt 186
    - attempt 187
    - attempt 188
    - attempt 189
    - attempt 190
    - attempt 191
    - attempt 192
    - attempt 193
    - attempt 194
    - attempt 195
    - attempt 196
    - attempt 197
    - attempt 198
    - attempt 199
    - attempt 200
    - attempt 201
    - attempt 202
    - attempt 203
    - attempt 204
    - attempt 205
    - attempt 206
    - attempt 207
    - attempt 208
    - attempt 209
    - attempt 210
    - attempt 211
    - attempt 212
    - attempt 213
    - attempt 214
    - attempt 215
    - attempt 216
    - attempt 217
    - attempt 218
    - attempt 219
    - attempt 220
    - attempt 221
    - attempt 222
    - attempt 223
    - attempt 224
  - ghc965
    - attempt 1
    - attempt 2
    - attempt 3
    - attempt 4
    - attempt 5
    - attempt 6
    - attempt 7
    - attempt 8
    - attempt 9
    - attempt 10
    - attempt 11
    - attempt 12
    - attempt 13
    - attempt 14
    - attempt 15
    - attempt 16
    - attempt 17
    - attempt 18
    - attempt 19
    - attempt 20
    - attempt 21
    - attempt 22
    - attempt 23
    - attempt 24
    - attempt 25
    - attempt 26
    - attempt 27
    - attempt 28
    - attempt 29
    - attempt 30
    - attempt 31
    - attempt 32
    - attempt 33
    - attempt 34
    - attempt 35
    - attempt 36
    - attempt 37
    - attempt 38
    - attempt 39
    - attempt 40
    - attempt 41
    - attempt 42
    - attempt 43
    - attempt 44
    - attempt 45
    - attempt 46
    - attempt 47
    - attempt 48
    - attempt 49
    - attempt 50
    - attempt 51
    - attempt 52
    - attempt 53
    - attempt 54
    - attempt 55
    - attempt 56
    - attempt 57
    - attempt 58
    - attempt 59
    - attempt 60
    - attempt 61
    - attempt 62
    - attempt 63
    - attempt 64
    - attempt 65
    - attempt 66
    - attempt 67
    - attempt 68
    - attempt 69
    - attempt 70
    - attempt 71
    - attempt 72
    - attempt 73
    - attempt 74
    - attempt 75
    - attempt 76
    - attempt 77
    - attempt 78
    - attempt 79
    - attempt 80
    - attempt 81
    - attempt 82
    - attempt 83
    - attempt 84
    - attempt 85
    - attempt 86
    - attempt 87
    - attempt 88
    - attempt 89
    - attempt 90
    - attempt 91
    - attempt 92
    - attempt 93
    - attempt 94
    - attempt 95
    - attempt 96
    - attempt 97
    - attempt 98
    - attempt 99
    - attempt 100
    - attempt 101
    - attempt 102
    - attempt 103
    - attempt 104
    - attempt 105
    - attempt 106
    - attempt 107
    - attempt 108
    - attempt 109
    - attempt 110
    - attempt 111
    - attempt 112
    - attempt 113
    - attempt 114
    - attempt 115
    - attempt 116
    - attempt 117
    - attempt 118
    - attempt 119
    - attempt 120
    - attempt 121
    - attempt 122
    - attempt 123
    - attempt 124
    - attempt 125
    - attempt 126
    - attempt 127
    - attempt 128
    - attempt 129
    - attempt 130
    - attempt 131
    - attempt 132
    - attempt 133
    - attempt 134
    - attempt 135
    - attempt 136
    - attempt 137
    - attempt 138
    - attempt 139
    - attempt 140
    - attempt 141
    - attempt 142
    - attempt 143
    - attempt 144
    - attempt 145
    - attempt 146
    - attempt 147
    - attempt 148
    - attempt 149
    - attempt 150
    - attempt 151
    - attempt 152
    - attempt 153
    - attempt 154
    - attempt 155
    - attempt 156
    - attempt 157
    - attempt 158
    - attempt 159
    - attempt 160
    - attempt 161
    - attempt 162
    - attempt 163
    - attempt 164
    - attempt 165
    - attempt 166
    - attempt 167
    - attempt 168
    - attempt 169
    - attempt 170
    - attempt 171
    - attempt 172
    - attempt 173
    - attempt 174
    - attempt 175
    - attempt 176
    - attempt 177
    - attempt 178
    - attempt 179
    - attempt 180
    - attempt 181
    - attempt 182
    - attempt 183
    - attempt 184
    - attempt 185
    - attempt 186
    - attempt 187
    - attempt 188
    - attempt 189
    - attempt 190
    - attempt 191
    - attempt 192
    - attempt 193
    - attempt 194
    - attempt 195
    - attempt 196
    - attempt 197
    - attempt 198
    - attempt 199
    - attempt 200
    - attempt 201
    - attempt 202
    - attempt 203
    - attempt 204
    - attempt 205
    - attempt 206
    - attempt 207
    - attempt 208
    - attempt 209
    - attempt 210
    - attempt 211
    - attempt 212
    - attempt 213
    - attempt 214
    - attempt 215
    - attempt 216
    - attempt 217
    - attempt 218
    - attempt 219
    - attempt 220
    - attempt 221
    - attempt 222
    - attempt 223
    - attempt 224
  - ghc981
    - attempt 1
    - attempt 2
    - attempt 3
    - attempt 4
    - attempt 5
    - attempt 6
    - attempt 7
    - attempt 8
    - attempt 9
    - attempt 10
    - attempt 11
    - attempt 12
    - attempt 13
    - attempt 14
    - attempt 15
    - attempt 16
    - attempt 17
    - attempt 18
    - attempt 19
    - attempt 20
    - attempt 21
    - attempt 22
    - attempt 23
    - attempt 24
    - attempt 25
    - attempt 26
    - attempt 27
    - attempt 28
    - attempt 29
    - attempt 30
    - attempt 31
    - attempt 32
    - attempt 33
    - attempt 34
    - attempt 35
    - attempt 36
    - attempt 37
    - attempt 38
    - attempt 39
    - attempt 40
    - attempt 41
    - attempt 42
    - attempt 43
    - attempt 44
    - attempt 45
    - attempt 46
    - attempt 47
    - attempt 48
    - attempt 49
    - attempt 50
    - attempt 51
    - attempt 52
    - attempt 53
    - attempt 54
    - attempt 55
    - attempt 56
    - attempt 57
    - attempt 58
    - attempt 59
    - attempt 60
    - attempt 61
    - attempt 62
    - attempt 63
    - attempt 64
    - attempt 65
    - attempt 66
    - attempt 67
    - attempt 68
    - attempt 69
    - attempt 70
    - attempt 71
    - attempt 72
    - attempt 73
    - attempt 74
    - attempt 75
    - attempt 76
    - attempt 77
    - attempt 78
    - attempt 79
    - attempt 80
    - attempt 81
    - attempt 82
    - attempt 83
    - attempt 84
    - attempt 85
    - attempt 86
    - attempt 87
    - attempt 88
    - attempt 89
    - attempt 90
    - attempt 91
    - attempt 92
    - attempt 93
    - attempt 94
    - attempt 95
    - attempt 96
    - attempt 97
    - attempt 98
    - attempt 99
    - attempt 100
    - attempt 101
    - attempt 102
    - attempt 103
    - attempt 104
    - attempt 105
    - attempt 106
    - attempt 107
    - attempt 108
    - attempt 109
    - attempt 110
    - attempt 111
    - attempt 112
    - attempt 113
    - attempt 114
    - attempt 115
    - attempt 116
    - attempt 117
    - attempt 118
    - attempt 119
    - attempt 120
    - attempt 121
    - attempt 122
    - attempt 123
    - attempt 124
    - attempt 125
    - attempt 126
    - attempt 127
    - attempt 128
    - attempt 129
    - attempt 130
    - attempt 131
    - attempt 132
    - attempt 133
    - attempt 134
    - attempt 135
    - attempt 136
    - attempt 137
    - attempt 138
    - attempt 139
    - attempt 140
    - attempt 141
    - attempt 142
    - attempt 143
    - attempt 144
    - attempt 145
    - attempt 146
    - attempt 147
    - attempt 148
    - attempt 149
    - attempt 150
    - attempt 151
    - attempt 152
    - attempt 153
    - attempt 154
    - attempt 155
    - attempt 156
    - attempt 157
    - attempt 158
    - attempt 159
    - attempt 160
    - attempt 161
    - attempt 162
    - attempt 163
    - attempt 164
    - attempt 165
    - attempt 166
    - attempt 167
    - attempt 168
    - attempt 169
    - attempt 170
    - attempt 171
    - attempt 172
    - attempt 173
    - attempt 174
    - attempt 175
    - attempt 176
    - attempt 177
    - attempt 178
    - attempt 179
    - attempt 180
    - attempt 181
    - attempt 182
    - attempt 183
    - attempt 184
    - attempt 185
    - attempt 186
    - attempt 187
    - attempt 188
    - attempt 189
    - attempt 190
    - attempt 191
    - attempt 192
    - attempt 193
    - attempt 194
    - attempt 195
    - attempt 196
    - attempt 197
    - attempt 198
    - attempt 199
    - attempt 200
    - attempt 201
    - attempt 202
    - attempt 203
    - attempt 204
    - attempt 205
    - attempt 206
    - attempt 207
    - attempt 208
    - attempt 209
    - attempt 210
    - attempt 211
    - attempt 212
    - attempt 213
    - attempt 214
    - attempt 215
    - attempt 216
    - attempt 217
    - attempt 218
    - attempt 219
    - attempt 220
    - attempt 221
    - attempt 222
    - attempt 223
    - attempt 224
  - ghc982
    - attempt 1
    - attempt 2
    - attempt 3
    - attempt 4
    - attempt 5
    - attempt 6
    - attempt 7
    - attempt 8
    - attempt 9
    - attempt 10
    - attempt 11
    - attempt 12
    - attempt 13
    - attempt 14
    - attempt 15
    - attempt 16
    - attempt 17
    - attempt 18
    - attempt 19
    - attempt 20
    - attempt 21
    - attempt 22
    - attempt 23
    - attempt 24
    - attempt 25
    - attempt 26
    - attempt 27
    - attempt 28
    - attempt 29
    - attempt 30
    - attempt 31
    - attempt 32
    - attempt 33
    - attempt 34
    - attempt 35
    - attempt 36
    - attempt 37
    - attempt 38
    - attempt 39
    - attempt 40
    - attempt 41
    - attempt 42
    - attempt 43
    - attempt 44
    - attempt 45
    - attempt 46
    - attempt 47
    - attempt 48
    - attempt 49
    - attempt 50
    - attempt 51
    - attempt 52
    - attempt 53
    - attempt 54
    - attempt 55
    - attempt 56
    - attempt 57
    - attempt 58
    - attempt 59
    - attempt 60
    - attempt 61
    - attempt 62
    - attempt 63
    - attempt 64
    - attempt 65
    - attempt 66
    - attempt 67
    - attempt 68
    - attempt 69
    - attempt 70
    - attempt 71
    - attempt 72
    - attempt 73
    - attempt 74
    - attempt 75
    - attempt 76
    - attempt 77
    - attempt 78
    - attempt 79
    - attempt 80
    - attempt 81
    - attempt 82
    - attempt 83
    - attempt 84
    - attempt 85
    - attempt 86
    - attempt 87
    - attempt 88
    - attempt 89
    - attempt 90
    - attempt 91
    - attempt 92
    - attempt 93
    - attempt 94
    - attempt 95
    - attempt 96
    - attempt 97
    - attempt 98
    - attempt 99
    - attempt 100
    - attempt 101
    - attempt 102
    - attempt 103
    - attempt 104
    - attempt 105
    - attempt 106
    - attempt 107
    - attempt 108
    - attempt 109
    - attempt 110
    - attempt 111
    - attempt 112
    - attempt 113
    - attempt 114
    - attempt 115
    - attempt 116
    - attempt 117
    - attempt 118
    - attempt 119
    - attempt 120
    - attempt 121
    - attempt 122
    - attempt 123
    - attempt 124
    - attempt 125
    - attempt 126
    - attempt 127
    - attempt 128
    - attempt 129
    - attempt 130
    - attempt 131
    - attempt 132
    - attempt 133
    - attempt 134
    - attempt 135
    - attempt 136
    - attempt 137
    - attempt 138
    - attempt 139
    - attempt 140
    - attempt 141
    - attempt 142
    - attempt 143
    - attempt 144
    - attempt 145
    - attempt 146
    - attempt 147
    - attempt 148
    - attempt 149
    - attempt 150
    - attempt 151
    - attempt 152
    - attempt 153
    - attempt 154
    - attempt 155
    - attempt 156
    - attempt 157
    - attempt 158
    - attempt 159
    - attempt 160
    - attempt 161
    - attempt 162
    - attempt 163
    - attempt 164
    - attempt 165
    - attempt 166
    - attempt 167
    - attempt 168
    - attempt 169
    - attempt 170
    - attempt 171
    - attempt 172
    - attempt 173
    - attempt 174
    - attempt 175
    - attempt 176
    - attempt 177
    - attempt 178
    - attempt 179
    - attempt 180
    - attempt 181
    - attempt 182
    - attempt 183
    - attempt 184
    - attempt 185
    - attempt 186
    - attempt 187
    - attempt 188
    - attempt 189
    - attempt 190
    - attempt 191
    - attempt 192
    - attempt 193
    - attempt 194
    - attempt 195
    - attempt 196
    - attempt 197
    - attempt 198
    - attempt 199
    - attempt 200
    - attempt 201
    - attempt 202
    - attempt 203
    - attempt 204
    - attempt 205
    - attempt 206
    - attempt 207
    - attempt 208
    - attempt 209
    - attempt 210
    - attempt 211
    - attempt 212
    - attempt 213
    - attempt 214
    - attempt 215
    - attempt 216
    - attempt 217
    - attempt 218
    - attempt 219
    - attempt 220
    - attempt 221
    - attempt 222
    - attempt 223
    - attempt 224
  - project-manager
    - attempt 1
    - attempt 2
    - attempt 3
    - attempt 4
    - attempt 5
    - attempt 6
    - attempt 7
    - attempt 8
    - attempt 9
    - attempt 10
    - attempt 11
    - attempt 12
    - attempt 13
    - attempt 14
    - attempt 15
    - attempt 16
    - attempt 17
    - attempt 18
    - attempt 19
    - attempt 20
    - attempt 21
    - attempt 22
    - attempt 23
    - attempt 24
    - attempt 25
    - attempt 26
    - attempt 27
    - attempt 28
    - attempt 29
    - attempt 30
    - attempt 31
    - attempt 32
    - attempt 33
    - attempt 34
    - attempt 35
    - attempt 36
    - attempt 37
    - attempt 38
    - attempt 39
    - attempt 40
    - attempt 41
    - attempt 42
    - attempt 43
    - attempt 44
    - attempt 45
    - attempt 46
    - attempt 47
    - attempt 48
    - attempt 49
    - attempt 50
    - attempt 51
    - attempt 52
    - attempt 53
    - attempt 54
    - attempt 55
    - attempt 56
    - attempt 57
    - attempt 58
    - attempt 59
    - attempt 60
    - attempt 61
    - attempt 62
    - attempt 63
    - attempt 64
    - attempt 65
    - attempt 66
    - attempt 67
    - attempt 68
    - attempt 69
    - attempt 70
    - attempt 71
    - attempt 72
    - attempt 73
    - attempt 74
    - attempt 75
    - attempt 76
    - attempt 77
    - attempt 78
    - attempt 79
    - attempt 80
    - attempt 81
    - attempt 82
    - attempt 83
    - attempt 84
    - attempt 85
    - attempt 86
    - attempt 87
    - attempt 88
    - attempt 89
    - attempt 90
    - attempt 91
    - attempt 92
    - attempt 93
    - attempt 94
    - attempt 95
    - attempt 96
    - attempt 97
    - attempt 98
    - attempt 99
    - attempt 100
    - attempt 101
    - attempt 102
    - attempt 103
    - attempt 104
    - attempt 105
    - attempt 106
    - attempt 107
    - attempt 108
    - attempt 109
    - attempt 110
    - attempt 111
    - attempt 112
    - attempt 113
    - attempt 114
    - attempt 115
    - attempt 116
    - attempt 117
    - attempt 118
    - attempt 119
    - attempt 120
    - attempt 121
    - attempt 122
    - attempt 123
    - attempt 124
    - attempt 125
    - attempt 126
    - attempt 127
    - attempt 128
    - attempt 129
    - attempt 130
    - attempt 131
    - attempt 132
    - attempt 133
    - attempt 134
    - attempt 135
    - attempt 136
    - attempt 137
    - attempt 138
    - attempt 139
    - attempt 140
    - attempt 141
    - attempt 142
    - attempt 143
    - attempt 144
    - attempt 145
    - attempt 146
    - attempt 147
    - attempt 148
    - attempt 149
    - attempt 150
    - attempt 151
    - attempt 152
    - attempt 153
    - attempt 154
    - attempt 155
    - attempt 156
    - attempt 157
    - attempt 158
    - attempt 159
    - attempt 160
    - attempt 161
    - attempt 162
    - attempt 163
    - attempt 164
    - attempt 165
    - attempt 166
    - attempt 167
    - attempt 168
    - attempt 169
    - attempt 170
    - attempt 171
    - attempt 172
    - attempt 173
    - attempt 174
    - attempt 175
    - attempt 176
    - attempt 177
    - attempt 178
    - attempt 179
    - attempt 180
    - attempt 181
    - attempt 182
    - attempt 183
    - attempt 184
    - attempt 185
    - attempt 186
    - attempt 187
    - attempt 188
    - attempt 189
    - attempt 190
    - attempt 191
    - attempt 192
    - attempt 193
    - attempt 194
    - attempt 195
    - attempt 196
    - attempt 197
    - attempt 198
    - attempt 199
    - attempt 200
    - attempt 201
    - attempt 202
    - attempt 203
    - attempt 204
    - attempt 205
    - attempt 206
    - attempt 207
    - attempt 208
    - attempt 209
    - attempt 210
    - attempt 211
    - attempt 212
    - attempt 213
    - attempt 214
    - attempt 215
    - attempt 216
    - attempt 217
    - attempt 218
    - attempt 219
    - attempt 220
    - attempt 221
    - attempt 222
    - attempt 223
    - attempt 224
packages
- x86_64-linux
  - default
    - attempt 1
    - attempt 2
    - attempt 3
    - attempt 4
    - attempt 5
    - attempt 6
    - attempt 7
    - attempt 8
    - attempt 9
    - attempt 10
    - attempt 11
    - attempt 12
    - attempt 13
    - attempt 14
    - attempt 15
    - attempt 16
    - attempt 17
    - attempt 18
    - attempt 19
    - attempt 20
    - attempt 21
    - attempt 22
    - attempt 23
    - attempt 24
    - attempt 25
    - attempt 26
    - attempt 27
    - attempt 28
    - attempt 29
    - attempt 30
    - attempt 31
    - attempt 32
    - attempt 33
    - attempt 34
    - attempt 35
    - attempt 36
    - attempt 37
    - attempt 38
    - attempt 39
    - attempt 40
    - attempt 41
    - attempt 42
    - attempt 43
    - attempt 44
    - attempt 45
    - attempt 46
    - attempt 47
    - attempt 48
    - attempt 49
    - attempt 50
    - attempt 51
    - attempt 52
    - attempt 53
    - attempt 54
    - attempt 55
    - attempt 56
    - attempt 57
    - attempt 58
    - attempt 59
    - attempt 60
    - attempt 61
    - attempt 62
    - attempt 63
    - attempt 64
    - attempt 65
    - attempt 66
    - attempt 67
    - attempt 68
    - attempt 69
    - attempt 70
    - attempt 71
    - attempt 72
    - attempt 73
    - attempt 74
    - attempt 75
    - attempt 76
    - attempt 77
    - attempt 78
    - attempt 79
    - attempt 80
    - attempt 81
    - attempt 82
    - attempt 83
    - attempt 84
    - attempt 85
    - attempt 86
    - attempt 87
    - attempt 88
    - attempt 89
    - attempt 90
    - attempt 91
    - attempt 92
    - attempt 93
    - attempt 94
    - attempt 95
    - attempt 96
    - attempt 97
    - attempt 98
    - attempt 99
    - attempt 100
    - attempt 101
    - attempt 102
    - attempt 103
    - attempt 104
    - attempt 105
    - attempt 106
    - attempt 107
    - attempt 108
    - attempt 109
    - attempt 110
    - attempt 111
    - attempt 112
    - attempt 113
    - attempt 114
    - attempt 115
    - attempt 116
    - attempt 117
    - attempt 118
    - attempt 119
    - attempt 120
    - attempt 121
    - attempt 122
    - attempt 123
    - attempt 124
    - attempt 125
    - attempt 126
    - attempt 127
    - attempt 128
    - attempt 129
    - attempt 130
    - attempt 131
    - attempt 132
    - attempt 133
    - attempt 134
    - attempt 135
    - attempt 136
    - attempt 137
    - attempt 138
    - attempt 139
    - attempt 140
    - attempt 141
    - attempt 142
    - attempt 143
    - attempt 144
    - attempt 145
    - attempt 146
    - attempt 147
    - attempt 148
    - attempt 149
    - attempt 150
    - attempt 151
    - attempt 152
    - attempt 153
    - attempt 154
    - attempt 155
    - attempt 156
    - attempt 157
    - attempt 158
    - attempt 159
    - attempt 160
    - attempt 161
    - attempt 162
    - attempt 163
    - attempt 164
    - attempt 165
    - attempt 166
    - attempt 167
    - attempt 168
    - attempt 169
    - attempt 170
    - attempt 171
    - attempt 172
    - attempt 173
    - attempt 174
    - attempt 175
    - attempt 176
    - attempt 177
    - attempt 178
    - attempt 179
    - attempt 180
    - attempt 181
    - attempt 182
    - attempt 183
    - attempt 184
    - attempt 185
    - attempt 186
    - attempt 187
    - attempt 188
    - attempt 189
    - attempt 190
    - attempt 191
    - attempt 192
    - attempt 193
    - attempt 194
    - attempt 195
    - attempt 196
    - attempt 197
    - attempt 198
    - attempt 199
    - attempt 200
    - attempt 201
    - attempt 202
    - attempt 203
    - attempt 204
    - attempt 205
    - attempt 206
    - attempt 207
    - attempt 208
    - attempt 209
    - attempt 210
    - attempt 211
    - attempt 212
    - attempt 213
    - attempt 214
    - attempt 215
    - attempt 216
    - attempt 217
    - attempt 218
    - attempt 219
    - attempt 220
    - attempt 221
    - attempt 222
    - attempt 223
    - attempt 224
  - ghc8107_algebraic-graph-duoids
    - attempt 1
    - attempt 2
    - attempt 3
    - attempt 4
    - attempt 5
    - attempt 6
    - attempt 7
    - attempt 8
    - attempt 9
    - attempt 10
    - attempt 11
    - attempt 12
    - attempt 13
    - attempt 14
    - attempt 15
    - attempt 16
    - attempt 17
    - attempt 18
    - attempt 19
    - attempt 20
    - attempt 21
    - attempt 22
    - attempt 23
    - attempt 24
    - attempt 25
    - attempt 26
    - attempt 27
    - attempt 28
    - attempt 29
    - attempt 30
    - attempt 31
    - attempt 32
    - attempt 33
    - attempt 34
    - attempt 35
    - attempt 36
    - attempt 37
    - attempt 38
    - attempt 39
    - attempt 40
    - attempt 41
    - attempt 42
    - attempt 43
    - attempt 44
    - attempt 45
    - attempt 46
    - attempt 47
    - attempt 48
    - attempt 49
    - attempt 50
    - attempt 51
    - attempt 52
    - attempt 53
    - attempt 54
    - attempt 55
    - attempt 56
    - attempt 57
    - attempt 58
    - attempt 59
    - attempt 60
    - attempt 61
    - attempt 62
    - attempt 63
    - attempt 64
    - attempt 65
    - attempt 66
    - attempt 67
    - attempt 68
    - attempt 69
    - attempt 70
    - attempt 71
    - attempt 72
    - attempt 73
    - attempt 74
    - attempt 75
    - attempt 76
    - attempt 77
    - attempt 78
    - attempt 79
    - attempt 80
    - attempt 81
    - attempt 82
    - attempt 83
    - attempt 84
    - attempt 85
    - attempt 86
    - attempt 87
    - attempt 88
    - attempt 89
    - attempt 90
    - attempt 91
    - attempt 92
    - attempt 93
    - attempt 94
    - attempt 95
    - attempt 96
    - attempt 97
    - attempt 98
    - attempt 99
    - attempt 100
    - attempt 101
    - attempt 102
    - attempt 103
    - attempt 104
    - attempt 105
    - attempt 106
    - attempt 107
    - attempt 108
    - attempt 109
    - attempt 110
    - attempt 111
    - attempt 112
    - attempt 113
    - attempt 114
    - attempt 115
    - attempt 116
    - attempt 117
    - attempt 118
    - attempt 119
    - attempt 120
    - attempt 121
    - attempt 122
    - attempt 123
    - attempt 124
    - attempt 125
    - attempt 126
    - attempt 127
    - attempt 128
    - attempt 129
    - attempt 130
    - attempt 131
    - attempt 132
    - attempt 133
    - attempt 134
    - attempt 135
    - attempt 136
    - attempt 137
    - attempt 138
    - attempt 139
    - attempt 140
    - attempt 141
    - attempt 142
    - attempt 143
    - attempt 144
    - attempt 145
    - attempt 146
    - attempt 147
    - attempt 148
    - attempt 149
    - attempt 150
    - attempt 151
    - attempt 152
    - attempt 153
    - attempt 154
    - attempt 155
    - attempt 156
    - attempt 157
    - attempt 158
    - attempt 159
    - attempt 160
    - attempt 161
    - attempt 162
    - attempt 163
    - attempt 164
    - attempt 165
    - attempt 166
    - attempt 167
    - attempt 168
    - attempt 169
    - attempt 170
    - attempt 171
    - attempt 172
    - attempt 173
    - attempt 174
    - attempt 175
    - attempt 176
    - attempt 177
    - attempt 178
    - attempt 179
    - attempt 180
    - attempt 181
    - attempt 182
    - attempt 183
    - attempt 184
    - attempt 185
    - attempt 186
    - attempt 187
    - attempt 188
    - attempt 189
    - attempt 190
    - attempt 191
    - attempt 192
    - attempt 193
    - attempt 194
    - attempt 195
    - attempt 196
    - attempt 197
    - attempt 198
    - attempt 199
    - attempt 200
    - attempt 201
    - attempt 202
    - attempt 203
    - attempt 204
    - attempt 205
    - attempt 206
    - attempt 207
    - attempt 208
    - attempt 209
    - attempt 210
    - attempt 211
    - attempt 212
    - attempt 213
    - attempt 214
    - attempt 215
    - attempt 216
    - attempt 217
    - attempt 218
    - attempt 219
    - attempt 220
    - attempt 221
    - attempt 222
    - attempt 223
    - attempt 224
  - ghc8107_all
    - attempt 1
    - attempt 2
    - attempt 3
    - attempt 4
    - attempt 5
    - attempt 6
    - attempt 7
    - attempt 8
    - attempt 9
    - attempt 10
    - attempt 11
    - attempt 12
    - attempt 13
    - attempt 14
    - attempt 15
    - attempt 16
    - attempt 17
    - attempt 18
    - attempt 19
    - attempt 20
    - attempt 21
    - attempt 22
    - attempt 23
    - attempt 24
    - attempt 25
    - attempt 26
    - attempt 27
    - attempt 28
    - attempt 29
    - attempt 30
    - attempt 31
    - attempt 32
    - attempt 33
    - attempt 34
    - attempt 35
    - attempt 36
    - attempt 37
    - attempt 38
    - attempt 39
    - attempt 40
    - attempt 41
    - attempt 42
    - attempt 43
    - attempt 44
    - attempt 45
    - attempt 46
    - attempt 47
    - attempt 48
    - attempt 49
    - attempt 50
    - attempt 51
    - attempt 52
    - attempt 53
    - attempt 54
    - attempt 55
    - attempt 56
    - attempt 57
    - attempt 58
    - attempt 59
    - attempt 60
    - attempt 61
    - attempt 62
    - attempt 63
    - attempt 64
    - attempt 65
    - attempt 66
    - attempt 67
    - attempt 68
    - attempt 69
    - attempt 70
    - attempt 71
    - attempt 72
    - attempt 73
    - attempt 74
    - attempt 75
    - attempt 76
    - attempt 77
    - attempt 78
    - attempt 79
    - attempt 80
    - attempt 81
    - attempt 82
    - attempt 83
    - attempt 84
    - attempt 85
    - attempt 86
    - attempt 87
    - attempt 88
    - attempt 89
    - attempt 90
    - attempt 91
    - attempt 92
    - attempt 93
    - attempt 94
    - attempt 95
    - attempt 96
    - attempt 97
    - attempt 98
    - attempt 99
    - attempt 100
    - attempt 101
    - attempt 102
    - attempt 103
    - attempt 104
    - attempt 105
    - attempt 106
    - attempt 107
    - attempt 108
    - attempt 109
    - attempt 110
    - attempt 111
    - attempt 112
    - attempt 113
    - attempt 114
    - attempt 115
    - attempt 116
    - attempt 117
    - attempt 118
    - attempt 119
    - attempt 120
    - attempt 121
    - attempt 122
    - attempt 123
    - attempt 124
    - attempt 125
    - attempt 126
    - attempt 127
    - attempt 128
    - attempt 129
    - attempt 130
    - attempt 131
    - attempt 132
    - attempt 133
    - attempt 134
    - attempt 135
    - attempt 136
    - attempt 137
    - attempt 138
    - attempt 139
    - attempt 140
    - attempt 141
    - attempt 142
    - attempt 143
    - attempt 144
    - attempt 145
    - attempt 146
    - attempt 147
    - attempt 148
    - attempt 149
    - attempt 150
    - attempt 151
    - attempt 152
    - attempt 153
    - attempt 154
    - attempt 155
    - attempt 156
    - attempt 157
    - attempt 158
    - attempt 159
    - attempt 160
    - attempt 161
    - attempt 162
    - attempt 163
    - attempt 164
    - attempt 165
    - attempt 166
    - attempt 167
    - attempt 168
    - attempt 169
    - attempt 170
    - attempt 171
    - attempt 172
    - attempt 173
    - attempt 174
    - attempt 175
    - attempt 176
    - attempt 177
    - attempt 178
    - attempt 179
    - attempt 180
    - attempt 181
    - attempt 182
    - attempt 183
    - attempt 184
    - attempt 185
    - attempt 186
    - attempt 187
    - attempt 188
    - attempt 189
    - attempt 190
    - attempt 191
    - attempt 192
    - attempt 193
    - attempt 194
    - attempt 195
    - attempt 196
    - attempt 197
    - attempt 198
    - attempt 199
    - attempt 200
    - attempt 201
    - attempt 202
    - attempt 203
    - attempt 204
    - attempt 205
    - attempt 206
    - attempt 207
    - attempt 208
    - attempt 209
    - attempt 210
    - attempt 211
    - attempt 212
    - attempt 213
    - attempt 214
    - attempt 215
    - attempt 216
    - attempt 217
    - attempt 218
    - attempt 219
    - attempt 220
    - attempt 221
    - attempt 222
    - attempt 223
    - attempt 224
  - ghc8107_duoids
    - attempt 1
    - attempt 2
    - attempt 3
    - attempt 4
    - attempt 5
    - attempt 6
    - attempt 7
    - attempt 8
    - attempt 9
    - attempt 10
    - attempt 11
    - attempt 12
    - attempt 13
    - attempt 14
    - attempt 15
    - attempt 16
    - attempt 17
    - attempt 18
    - attempt 19
    - attempt 20
    - attempt 21
    - attempt 22
    - attempt 23
    - attempt 24
    - attempt 25
    - attempt 26
    - attempt 27
    - attempt 28
    - attempt 29
    - attempt 30
    - attempt 31
    - attempt 32
    - attempt 33
    - attempt 34
    - attempt 35
    - attempt 36
    - attempt 37
    - attempt 38
    - attempt 39
    - attempt 40
    - attempt 41
    - attempt 42
    - attempt 43
    - attempt 44
    - attempt 45
    - attempt 46
    - attempt 47
    - attempt 48
    - attempt 49
    - attempt 50
    - attempt 51
    - attempt 52
    - attempt 53
    - attempt 54
    - attempt 55
    - attempt 56
    - attempt 57
    - attempt 58
    - attempt 59
    - attempt 60
    - attempt 61
    - attempt 62
    - attempt 63
    - attempt 64
    - attempt 65
    - attempt 66
    - attempt 67
    - attempt 68
    - attempt 69
    - attempt 70
    - attempt 71
    - attempt 72
    - attempt 73
    - attempt 74
    - attempt 75
    - attempt 76
    - attempt 77
    - attempt 78
    - attempt 79
    - attempt 80
    - attempt 81
    - attempt 82
    - attempt 83
    - attempt 84
    - attempt 85
    - attempt 86
    - attempt 87
    - attempt 88
    - attempt 89
    - attempt 90
    - attempt 91
    - attempt 92
    - attempt 93
    - attempt 94
    - attempt 95
    - attempt 96
    - attempt 97
    - attempt 98
    - attempt 99
    - attempt 100
    - attempt 101
    - attempt 102
    - attempt 103
    - attempt 104
    - attempt 105
    - attempt 106
    - attempt 107
    - attempt 108
    - attempt 109
    - attempt 110
    - attempt 111
    - attempt 112
    - attempt 113
    - attempt 114
    - attempt 115
    - attempt 116
    - attempt 117
    - attempt 118
    - attempt 119
    - attempt 120
    - attempt 121
    - attempt 122
    - attempt 123
    - attempt 124
    - attempt 125
    - attempt 126
    - attempt 127
    - attempt 128
    - attempt 129
    - attempt 130
    - attempt 131
    - attempt 132
    - attempt 133
    - attempt 134
    - attempt 135
    - attempt 136
    - attempt 137
    - attempt 138
    - attempt 139
    - attempt 140
    - attempt 141
    - attempt 142
    - attempt 143
    - attempt 144
    - attempt 145
    - attempt 146
    - attempt 147
    - attempt 148
    - attempt 149
    - attempt 150
    - attempt 151
    - attempt 152
    - attempt 153
    - attempt 154
    - attempt 155
    - attempt 156
    - attempt 157
    - attempt 158
    - attempt 159
    - attempt 160
    - attempt 161
    - attempt 162
    - attempt 163
    - attempt 164
    - attempt 165
    - attempt 166
    - attempt 167
    - attempt 168
    - attempt 169
    - attempt 170
    - attempt 171
    - attempt 172
    - attempt 173
    - attempt 174
    - attempt 175
    - attempt 176
    - attempt 177
    - attempt 178
    - attempt 179
    - attempt 180
    - attempt 181
    - attempt 182
    - attempt 183
    - attempt 184
    - attempt 185
    - attempt 186
    - attempt 187
    - attempt 188
    - attempt 189
    - attempt 190
    - attempt 191
    - attempt 192
    - attempt 193
    - attempt 194
    - attempt 195
    - attempt 196
    - attempt 197
    - attempt 198
    - attempt 199
    - attempt 200
    - attempt 201
    - attempt 202
    - attempt 203
    - attempt 204
    - attempt 205
    - attempt 206
    - attempt 207
    - attempt 208
    - attempt 209
    - attempt 210
    - attempt 211
    - attempt 212
    - attempt 213
    - attempt 214
    - attempt 215
    - attempt 216
    - attempt 217
    - attempt 218
    - attempt 219
    - attempt 220
    - attempt 221
    - attempt 222
    - attempt 223
    - attempt 224
  - ghc8107_duoids-hedgehog
    - attempt 1
    - attempt 2
    - attempt 3
    - attempt 4
    - attempt 5
    - attempt 6
    - attempt 7
    - attempt 8
    - attempt 9
    - attempt 10
    - attempt 11
    - attempt 12
    - attempt 13
    - attempt 14
    - attempt 15
    - attempt 16
    - attempt 17
    - attempt 18
    - attempt 19
    - attempt 20
    - attempt 21
    - attempt 22
    - attempt 23
    - attempt 24
    - attempt 25
    - attempt 26
    - attempt 27
    - attempt 28
    - attempt 29
    - attempt 30
    - attempt 31
    - attempt 32
    - attempt 33
    - attempt 34
    - attempt 35
    - attempt 36
    - attempt 37
    - attempt 38
    - attempt 39
    - attempt 40
    - attempt 41
    - attempt 42
    - attempt 43
    - attempt 44
    - attempt 45
    - attempt 46
    - attempt 47
    - attempt 48
    - attempt 49
    - attempt 50
    - attempt 51
    - attempt 52
    - attempt 53
    - attempt 54
    - attempt 55
    - attempt 56
    - attempt 57
    - attempt 58
    - attempt 59
    - attempt 60
    - attempt 61
    - attempt 62
    - attempt 63
    - attempt 64
    - attempt 65
    - attempt 66
    - attempt 67
    - attempt 68
    - attempt 69
    - attempt 70
    - attempt 71
    - attempt 72
    - attempt 73
    - attempt 74
    - attempt 75
    - attempt 76
    - attempt 77
    - attempt 78
    - attempt 79
    - attempt 80
    - attempt 81
    - attempt 82
    - attempt 83
    - attempt 84
    - attempt 85
    - attempt 86
    - attempt 87
    - attempt 88
    - attempt 89
    - attempt 90
    - attempt 91
    - attempt 92
    - attempt 93
    - attempt 94
    - attempt 95
    - attempt 96
    - attempt 97
    - attempt 98
    - attempt 99
    - attempt 100
    - attempt 101
    - attempt 102
    - attempt 103
    - attempt 104
    - attempt 105
    - attempt 106
    - attempt 107
    - attempt 108
    - attempt 109
    - attempt 110
    - attempt 111
    - attempt 112
    - attempt 113
    - attempt 114
    - attempt 115
    - attempt 116
    - attempt 117
    - attempt 118
    - attempt 119
    - attempt 120
    - attempt 121
    - attempt 122
    - attempt 123
    - attempt 124
    - attempt 125
    - attempt 126
    - attempt 127
    - attempt 128
    - attempt 129
    - attempt 130
    - attempt 131
    - attempt 132
    - attempt 133
    - attempt 134
    - attempt 135
    - attempt 136
    - attempt 137
    - attempt 138
    - attempt 139
    - attempt 140
    - attempt 141
    - attempt 142
    - attempt 143
    - attempt 144
    - attempt 145
    - attempt 146
    - attempt 147
    - attempt 148
    - attempt 149
    - attempt 150
    - attempt 151
    - attempt 152
    - attempt 153
    - attempt 154
    - attempt 155
    - attempt 156
    - attempt 157
    - attempt 158
    - attempt 159
    - attempt 160
    - attempt 161
    - attempt 162
    - attempt 163
    - attempt 164
    - attempt 165
    - attempt 166
    - attempt 167
    - attempt 168
    - attempt 169
    - attempt 170
    - attempt 171
    - attempt 172
    - attempt 173
    - attempt 174
    - attempt 175
    - attempt 176
    - attempt 177
    - attempt 178
    - attempt 179
    - attempt 180
    - attempt 181
    - attempt 182
    - attempt 183
    - attempt 184
    - attempt 185
    - attempt 186
    - attempt 187
    - attempt 188
    - attempt 189
    - attempt 190
    - attempt 191
    - attempt 192
    - attempt 193
    - attempt 194
    - attempt 195
    - attempt 196
    - attempt 197
    - attempt 198
    - attempt 199
    - attempt 200
    - attempt 201
    - attempt 202
    - attempt 203
    - attempt 204
    - attempt 205
    - attempt 206
    - attempt 207
    - attempt 208
    - attempt 209
    - attempt 210
    - attempt 211
    - attempt 212
    - attempt 213
    - attempt 214
    - attempt 215
    - attempt 216
    - attempt 217
    - attempt 218
    - attempt 219
    - attempt 220
    - attempt 221
    - attempt 222
    - attempt 223
    - attempt 224
  - ghc8107_transformer-duoids
    - attempt 1
    - attempt 2
    - attempt 3
    - attempt 4
    - attempt 5
    - attempt 6
    - attempt 7
    - attempt 8
    - attempt 9
    - attempt 10
    - attempt 11
    - attempt 12
    - attempt 13
    - attempt 14
    - attempt 15
    - attempt 16
    - attempt 17
    - attempt 18
    - attempt 19
    - attempt 20
    - attempt 21
    - attempt 22
    - attempt 23
    - attempt 24
    - attempt 25
    - attempt 26
    - attempt 27
    - attempt 28
    - attempt 29
    - attempt 30
    - attempt 31
    - attempt 32
    - attempt 33
    - attempt 34
    - attempt 35
    - attempt 36
    - attempt 37
    - attempt 38
    - attempt 39
    - attempt 40
    - attempt 41
    - attempt 42
    - attempt 43
    - attempt 44
    - attempt 45
    - attempt 46
    - attempt 47
    - attempt 48
    - attempt 49
    - attempt 50
    - attempt 51
    - attempt 52
    - attempt 53
    - attempt 54
    - attempt 55
    - attempt 56
    - attempt 57
    - attempt 58
    - attempt 59
    - attempt 60
    - attempt 61
    - attempt 62
    - attempt 63
    - attempt 64
    - attempt 65
    - attempt 66
    - attempt 67
    - attempt 68
    - attempt 69
    - attempt 70
    - attempt 71
    - attempt 72
    - attempt 73
    - attempt 74
    - attempt 75
    - attempt 76
    - attempt 77
    - attempt 78
    - attempt 79
    - attempt 80
    - attempt 81
    - attempt 82
    - attempt 83
    - attempt 84
    - attempt 85
    - attempt 86
    - attempt 87
    - attempt 88
    - attempt 89
    - attempt 90
    - attempt 91
    - attempt 92
    - attempt 93
    - attempt 94
    - attempt 95
    - attempt 96
    - attempt 97
    - attempt 98
    - attempt 99
    - attempt 100
    - attempt 101
    - attempt 102
    - attempt 103
    - attempt 104
    - attempt 105
    - attempt 106
    - attempt 107
    - attempt 108
    - attempt 109
    - attempt 110
    - attempt 111
    - attempt 112
    - attempt 113
    - attempt 114
    - attempt 115
    - attempt 116
    - attempt 117
    - attempt 118
    - attempt 119
    - attempt 120
    - attempt 121
    - attempt 122
    - attempt 123
    - attempt 124
    - attempt 125
    - attempt 126
    - attempt 127
    - attempt 128
    - attempt 129
    - attempt 130
    - attempt 131
    - attempt 132
    - attempt 133
    - attempt 134
    - attempt 135
    - attempt 136
    - attempt 137
    - attempt 138
    - attempt 139
    - attempt 140
    - attempt 141
    - attempt 142
    - attempt 143
    - attempt 144
    - attempt 145
    - attempt 146
    - attempt 147
    - attempt 148
    - attempt 149
    - attempt 150
    - attempt 151
    - attempt 152
    - attempt 153
    - attempt 154
    - attempt 155
    - attempt 156
    - attempt 157
    - attempt 158
    - attempt 159
    - attempt 160
    - attempt 161
    - attempt 162
    - attempt 163
    - attempt 164
    - attempt 165
    - attempt 166
    - attempt 167
    - attempt 168
    - attempt 169
    - attempt 170
    - attempt 171
    - attempt 172
    - attempt 173
    - attempt 174
    - attempt 175
    - attempt 176
    - attempt 177
    - attempt 178
    - attempt 179
    - attempt 180
    - attempt 181
    - attempt 182
    - attempt 183
    - attempt 184
    - attempt 185
    - attempt 186
    - attempt 187
    - attempt 188
    - attempt 189
    - attempt 190
    - attempt 191
    - attempt 192
    - attempt 193
    - attempt 194
    - attempt 195
    - attempt 196
    - attempt 197
    - attempt 198
    - attempt 199
    - attempt 200
    - attempt 201
    - attempt 202
    - attempt 203
    - attempt 204
    - attempt 205
    - attempt 206
    - attempt 207
    - attempt 208
    - attempt 209
    - attempt 210
    - attempt 211
    - attempt 212
    - attempt 213
    - attempt 214
    - attempt 215
    - attempt 216
    - attempt 217
    - attempt 218
    - attempt 219
    - attempt 220
    - attempt 221
    - attempt 222
    - attempt 223
    - attempt 224
  - ghc902_algebraic-graph-duoids
    - attempt 1
    - attempt 2
    - attempt 3
    - attempt 4
    - attempt 5
    - attempt 6
    - attempt 7
    - attempt 8
    - attempt 9
    - attempt 10
    - attempt 11
    - attempt 12
    - attempt 13
    - attempt 14
    - attempt 15
    - attempt 16
    - attempt 17
    - attempt 18
    - attempt 19
    - attempt 20
    - attempt 21
    - attempt 22
    - attempt 23
    - attempt 24
    - attempt 25
    - attempt 26
    - attempt 27
    - attempt 28
    - attempt 29
    - attempt 30
    - attempt 31
    - attempt 32
    - attempt 33
    - attempt 34
    - attempt 35
    - attempt 36
    - attempt 37
    - attempt 38
    - attempt 39
    - attempt 40
    - attempt 41
    - attempt 42
    - attempt 43
    - attempt 44
    - attempt 45
    - attempt 46
    - attempt 47
    - attempt 48
    - attempt 49
    - attempt 50
    - attempt 51
    - attempt 52
    - attempt 53
    - attempt 54
    - attempt 55
    - attempt 56
    - attempt 57
    - attempt 58
    - attempt 59
    - attempt 60
    - attempt 61
    - attempt 62
    - attempt 63
    - attempt 64
    - attempt 65
    - attempt 66
    - attempt 67
    - attempt 68
    - attempt 69
    - attempt 70
    - attempt 71
    - attempt 72
    - attempt 73
    - attempt 74
    - attempt 75
    - attempt 76
    - attempt 77
    - attempt 78
    - attempt 79
    - attempt 80
    - attempt 81
    - attempt 82
    - attempt 83
    - attempt 84
    - attempt 85
    - attempt 86
    - attempt 87
    - attempt 88
    - attempt 89
    - attempt 90
    - attempt 91
    - attempt 92
    - attempt 93
    - attempt 94
    - attempt 95
    - attempt 96
    - attempt 97
    - attempt 98
    - attempt 99
    - attempt 100
    - attempt 101
    - attempt 102
    - attempt 103
    - attempt 104
    - attempt 105
    - attempt 106
    - attempt 107
    - attempt 108
    - attempt 109
    - attempt 110
    - attempt 111
    - attempt 112
    - attempt 113
    - attempt 114
    - attempt 115
    - attempt 116
    - attempt 117
    - attempt 118
    - attempt 119
    - attempt 120
    - attempt 121
    - attempt 122
    - attempt 123
    - attempt 124
    - attempt 125
    - attempt 126
    - attempt 127
    - attempt 128
    - attempt 129
    - attempt 130
    - attempt 131
    - attempt 132
    - attempt 133
    - attempt 134
    - attempt 135
    - attempt 136
    - attempt 137
    - attempt 138
    - attempt 139
    - attempt 140
    - attempt 141
    - attempt 142
    - attempt 143
    - attempt 144
    - attempt 145
    - attempt 146
    - attempt 147
    - attempt 148
    - attempt 149
    - attempt 150
    - attempt 151
    - attempt 152
    - attempt 153
    - attempt 154
    - attempt 155
    - attempt 156
    - attempt 157
    - attempt 158
    - attempt 159
    - attempt 160
    - attempt 161
    - attempt 162
    - attempt 163
    - attempt 164
    - attempt 165
    - attempt 166
    - attempt 167
    - attempt 168
    - attempt 169
    - attempt 170
    - attempt 171
    - attempt 172
    - attempt 173
    - attempt 174
    - attempt 175
    - attempt 176
    - attempt 177
    - attempt 178
    - attempt 179
    - attempt 180
    - attempt 181
    - attempt 182
    - attempt 183
    - attempt 184
    - attempt 185
    - attempt 186
    - attempt 187
    - attempt 188
    - attempt 189
    - attempt 190
    - attempt 191
    - attempt 192
    - attempt 193
    - attempt 194
    - attempt 195
    - attempt 196
    - attempt 197
    - attempt 198
    - attempt 199
    - attempt 200
    - attempt 201
    - attempt 202
    - attempt 203
    - attempt 204
    - attempt 205
    - attempt 206
    - attempt 207
    - attempt 208
    - attempt 209
    - attempt 210
    - attempt 211
    - attempt 212
    - attempt 213
    - attempt 214
    - attempt 215
    - attempt 216
    - attempt 217
    - attempt 218
    - attempt 219
    - attempt 220
    - attempt 221
    - attempt 222
    - attempt 223
    - attempt 224
  - ghc902_all
    - attempt 1
    - attempt 2
    - attempt 3
    - attempt 4
    - attempt 5
    - attempt 6
    - attempt 7
    - attempt 8
    - attempt 9
    - attempt 10
    - attempt 11
    - attempt 12
    - attempt 13
    - attempt 14
    - attempt 15
    - attempt 16
    - attempt 17
    - attempt 18
    - attempt 19
    - attempt 20
    - attempt 21
    - attempt 22
    - attempt 23
    - attempt 24
    - attempt 25
    - attempt 26
    - attempt 27
    - attempt 28
    - attempt 29
    - attempt 30
    - attempt 31
    - attempt 32
    - attempt 33
    - attempt 34
    - attempt 35
    - attempt 36
    - attempt 37
    - attempt 38
    - attempt 39
    - attempt 40
    - attempt 41
    - attempt 42
    - attempt 43
    - attempt 44
    - attempt 45
    - attempt 46
    - attempt 47
    - attempt 48
    - attempt 49
    - attempt 50
    - attempt 51
    - attempt 52
    - attempt 53
    - attempt 54
    - attempt 55
    - attempt 56
    - attempt 57
    - attempt 58
    - attempt 59
    - attempt 60
    - attempt 61
    - attempt 62
    - attempt 63
    - attempt 64
    - attempt 65
    - attempt 66
    - attempt 67
    - attempt 68
    - attempt 69
    - attempt 70
    - attempt 71
    - attempt 72
    - attempt 73
    - attempt 74
    - attempt 75
    - attempt 76
    - attempt 77
    - attempt 78
    - attempt 79
    - attempt 80
    - attempt 81
    - attempt 82
    - attempt 83
    - attempt 84
    - attempt 85
    - attempt 86
    - attempt 87
    - attempt 88
    - attempt 89
    - attempt 90
    - attempt 91
    - attempt 92
    - attempt 93
    - attempt 94
    - attempt 95
    - attempt 96
    - attempt 97
    - attempt 98
    - attempt 99
    - attempt 100
    - attempt 101
    - attempt 102
    - attempt 103
    - attempt 104
    - attempt 105
    - attempt 106
    - attempt 107
    - attempt 108
    - attempt 109
    - attempt 110
    - attempt 111
    - attempt 112
    - attempt 113
    - attempt 114
    - attempt 115
    - attempt 116
    - attempt 117
    - attempt 118
    - attempt 119
    - attempt 120
    - attempt 121
    - attempt 122
    - attempt 123
    - attempt 124
    - attempt 125
    - attempt 126
    - attempt 127
    - attempt 128
    - attempt 129
    - attempt 130
    - attempt 131
    - attempt 132
    - attempt 133
    - attempt 134
    - attempt 135
    - attempt 136
    - attempt 137
    - attempt 138
    - attempt 139
    - attempt 140
    - attempt 141
    - attempt 142
    - attempt 143
    - attempt 144
    - attempt 145
    - attempt 146
    - attempt 147
    - attempt 148
    - attempt 149
    - attempt 150
    - attempt 151
    - attempt 152
    - attempt 153
    - attempt 154
    - attempt 155
    - attempt 156
    - attempt 157
    - attempt 158
    - attempt 159
    - attempt 160
    - attempt 161
    - attempt 162
    - attempt 163
    - attempt 164
    - attempt 165
    - attempt 166
    - attempt 167
    - attempt 168
    - attempt 169
    - attempt 170
    - attempt 171
    - attempt 172
    - attempt 173
    - attempt 174
    - attempt 175
    - attempt 176
    - attempt 177
    - attempt 178
    - attempt 179
    - attempt 180
    - attempt 181
    - attempt 182
    - attempt 183
    - attempt 184
    - attempt 185
    - attempt 186
    - attempt 187
    - attempt 188
    - attempt 189
    - attempt 190
    - attempt 191
    - attempt 192
    - attempt 193
    - attempt 194
    - attempt 195
    - attempt 196
    - attempt 197
    - attempt 198
    - attempt 199
    - attempt 200
    - attempt 201
    - attempt 202
    - attempt 203
    - attempt 204
    - attempt 205
    - attempt 206
    - attempt 207
    - attempt 208
    - attempt 209
    - attempt 210
    - attempt 211
    - attempt 212
    - attempt 213
    - attempt 214
    - attempt 215
    - attempt 216
    - attempt 217
    - attempt 218
    - attempt 219
    - attempt 220
    - attempt 221
    - attempt 222
    - attempt 223
    - attempt 224
  - ghc902_duoids
    - attempt 1
    - attempt 2
    - attempt 3
    - attempt 4
    - attempt 5
    - attempt 6
    - attempt 7
    - attempt 8
    - attempt 9
    - attempt 10
    - attempt 11
    - attempt 12
    - attempt 13
    - attempt 14
    - attempt 15
    - attempt 16
    - attempt 17
    - attempt 18
    - attempt 19
    - attempt 20
    - attempt 21
    - attempt 22
    - attempt 23
    - attempt 24
    - attempt 25
    - attempt 26
    - attempt 27
    - attempt 28
    - attempt 29
    - attempt 30
    - attempt 31
    - attempt 32
    - attempt 33
    - attempt 34
    - attempt 35
    - attempt 36
    - attempt 37
    - attempt 38
    - attempt 39
    - attempt 40
    - attempt 41
    - attempt 42
    - attempt 43
    - attempt 44
    - attempt 45
    - attempt 46
    - attempt 47
    - attempt 48
    - attempt 49
    - attempt 50
    - attempt 51
    - attempt 52
    - attempt 53
    - attempt 54
    - attempt 55
    - attempt 56
    - attempt 57
    - attempt 58
    - attempt 59
    - attempt 60
    - attempt 61
    - attempt 62
    - attempt 63
    - attempt 64
    - attempt 65
    - attempt 66
    - attempt 67
    - attempt 68
    - attempt 69
    - attempt 70
    - attempt 71
    - attempt 72
    - attempt 73
    - attempt 74
    - attempt 75
    - attempt 76
    - attempt 77
    - attempt 78
    - attempt 79
    - attempt 80
    - attempt 81
    - attempt 82
    - attempt 83
    - attempt 84
    - attempt 85
    - attempt 86
    - attempt 87
    - attempt 88
    - attempt 89
    - attempt 90
    - attempt 91
    - attempt 92
    - attempt 93
    - attempt 94
    - attempt 95
    - attempt 96
    - attempt 97
    - attempt 98
    - attempt 99
    - attempt 100
    - attempt 101
    - attempt 102
    - attempt 103
    - attempt 104
    - attempt 105
    - attempt 106
    - attempt 107
    - attempt 108
    - attempt 109
    - attempt 110
    - attempt 111
    - attempt 112
    - attempt 113
    - attempt 114
    - attempt 115
    - attempt 116
    - attempt 117
    - attempt 118
    - attempt 119
    - attempt 120
    - attempt 121
    - attempt 122
    - attempt 123
    - attempt 124
    - attempt 125
    - attempt 126
    - attempt 127
    - attempt 128
    - attempt 129
    - attempt 130
    - attempt 131
    - attempt 132
    - attempt 133
    - attempt 134
    - attempt 135
    - attempt 136
    - attempt 137
    - attempt 138
    - attempt 139
    - attempt 140
    - attempt 141
    - attempt 142
    - attempt 143
    - attempt 144
    - attempt 145
    - attempt 146
    - attempt 147
    - attempt 148
    - attempt 149
    - attempt 150
    - attempt 151
    - attempt 152
    - attempt 153
    - attempt 154
    - attempt 155
    - attempt 156
    - attempt 157
    - attempt 158
    - attempt 159
    - attempt 160
    - attempt 161
    - attempt 162
    - attempt 163
    - attempt 164
    - attempt 165
    - attempt 166
    - attempt 167
    - attempt 168
    - attempt 169
    - attempt 170
    - attempt 171
    - attempt 172
    - attempt 173
    - attempt 174
    - attempt 175
    - attempt 176
    - attempt 177
    - attempt 178
    - attempt 179
    - attempt 180
    - attempt 181
    - attempt 182
    - attempt 183
    - attempt 184
    - attempt 185
    - attempt 186
    - attempt 187
    - attempt 188
    - attempt 189
    - attempt 190
    - attempt 191
    - attempt 192
    - attempt 193
    - attempt 194
    - attempt 195
    - attempt 196
    - attempt 197
    - attempt 198
    - attempt 199
    - attempt 200
    - attempt 201
    - attempt 202
    - attempt 203
    - attempt 204
    - attempt 205
    - attempt 206
    - attempt 207
    - attempt 208
    - attempt 209
    - attempt 210
    - attempt 211
    - attempt 212
    - attempt 213
    - attempt 214
    - attempt 215
    - attempt 216
    - attempt 217
    - attempt 218
    - attempt 219
    - attempt 220
    - attempt 221
    - attempt 222
    - attempt 223
    - attempt 224
  - ghc902_duoids-hedgehog
    - attempt 1
    - attempt 2
    - attempt 3
    - attempt 4
    - attempt 5
    - attempt 6
    - attempt 7
    - attempt 8
    - attempt 9
    - attempt 10
    - attempt 11
    - attempt 12
    - attempt 13
    - attempt 14
    - attempt 15
    - attempt 16
    - attempt 17
    - attempt 18
    - attempt 19
    - attempt 20
    - attempt 21
    - attempt 22
    - attempt 23
    - attempt 24
    - attempt 25
    - attempt 26
    - attempt 27
    - attempt 28
    - attempt 29
    - attempt 30
    - attempt 31
    - attempt 32
    - attempt 33
    - attempt 34
    - attempt 35
    - attempt 36
    - attempt 37
    - attempt 38
    - attempt 39
    - attempt 40
    - attempt 41
    - attempt 42
    - attempt 43
    - attempt 44
    - attempt 45
    - attempt 46
    - attempt 47
    - attempt 48
    - attempt 49
    - attempt 50
    - attempt 51
    - attempt 52
    - attempt 53
    - attempt 54
    - attempt 55
    - attempt 56
    - attempt 57
    - attempt 58
    - attempt 59
    - attempt 60
    - attempt 61
    - attempt 62
    - attempt 63
    - attempt 64
    - attempt 65
    - attempt 66
    - attempt 67
    - attempt 68
    - attempt 69
    - attempt 70
    - attempt 71
    - attempt 72
    - attempt 73
    - attempt 74
    - attempt 75
    - attempt 76
    - attempt 77
    - attempt 78
    - attempt 79
    - attempt 80
    - attempt 81
    - attempt 82
    - attempt 83
    - attempt 84
    - attempt 85
    - attempt 86
    - attempt 87
    - attempt 88
    - attempt 89
    - attempt 90
    - attempt 91
    - attempt 92
    - attempt 93
    - attempt 94
    - attempt 95
    - attempt 96
    - attempt 97
    - attempt 98
    - attempt 99
    - attempt 100
    - attempt 101
    - attempt 102
    - attempt 103
    - attempt 104
    - attempt 105
    - attempt 106
    - attempt 107
    - attempt 108
    - attempt 109
    - attempt 110
    - attempt 111
    - attempt 112
    - attempt 113
    - attempt 114
    - attempt 115
    - attempt 116
    - attempt 117
    - attempt 118
    - attempt 119
    - attempt 120
    - attempt 121
    - attempt 122
    - attempt 123
    - attempt 124
    - attempt 125
    - attempt 126
    - attempt 127
    - attempt 128
    - attempt 129
    - attempt 130
    - attempt 131
    - attempt 132
    - attempt 133
    - attempt 134
    - attempt 135
    - attempt 136
    - attempt 137
    - attempt 138
    - attempt 139
    - attempt 140
    - attempt 141
    - attempt 142
    - attempt 143
    - attempt 144
    - attempt 145
    - attempt 146
    - attempt 147
    - attempt 148
    - attempt 149
    - attempt 150
    - attempt 151
    - attempt 152
    - attempt 153
    - attempt 154
    - attempt 155
    - attempt 156
    - attempt 157
    - attempt 158
    - attempt 159
    - attempt 160
    - attempt 161
    - attempt 162
    - attempt 163
    - attempt 164
    - attempt 165
    - attempt 166
    - attempt 167
    - attempt 168
    - attempt 169
    - attempt 170
    - attempt 171
    - attempt 172
    - attempt 173
    - attempt 174
    - attempt 175
    - attempt 176
    - attempt 177
    - attempt 178
    - attempt 179
    - attempt 180
    - attempt 181
    - attempt 182
    - attempt 183
    - attempt 184
    - attempt 185
    - attempt 186
    - attempt 187
    - attempt 188
    - attempt 189
    - attempt 190
    - attempt 191
    - attempt 192
    - attempt 193
    - attempt 194
    - attempt 195
    - attempt 196
    - attempt 197
    - attempt 198
    - attempt 199
    - attempt 200
    - attempt 201
    - attempt 202
    - attempt 203
    - attempt 204
    - attempt 205
    - attempt 206
    - attempt 207
    - attempt 208
    - attempt 209
    - attempt 210
    - attempt 211
    - attempt 212
    - attempt 213
    - attempt 214
    - attempt 215
    - attempt 216
    - attempt 217
    - attempt 218
    - attempt 219
    - attempt 220
    - attempt 221
    - attempt 222
    - attempt 223
    - attempt 224
  - ghc902_transformer-duoids
    - attempt 1
    - attempt 2
    - attempt 3
    - attempt 4
    - attempt 5
    - attempt 6
    - attempt 7
    - attempt 8
    - attempt 9
    - attempt 10
    - attempt 11
    - attempt 12
    - attempt 13
    - attempt 14
    - attempt 15
    - attempt 16
    - attempt 17
    - attempt 18
    - attempt 19
    - attempt 20
    - attempt 21
    - attempt 22
    - attempt 23
    - attempt 24
    - attempt 25
    - attempt 26
    - attempt 27
    - attempt 28
    - attempt 29
    - attempt 30
    - attempt 31
    - attempt 32
    - attempt 33
    - attempt 34
    - attempt 35
    - attempt 36
    - attempt 37
    - attempt 38
    - attempt 39
    - attempt 40
    - attempt 41
    - attempt 42
    - attempt 43
    - attempt 44
    - attempt 45
    - attempt 46
    - attempt 47
    - attempt 48
    - attempt 49
    - attempt 50
    - attempt 51
    - attempt 52
    - attempt 53
    - attempt 54
    - attempt 55
    - attempt 56
    - attempt 57
    - attempt 58
    - attempt 59
    - attempt 60
    - attempt 61
    - attempt 62
    - attempt 63
    - attempt 64
    - attempt 65
    - attempt 66
    - attempt 67
    - attempt 68
    - attempt 69
    - attempt 70
    - attempt 71
    - attempt 72
    - attempt 73
    - attempt 74
    - attempt 75
    - attempt 76
    - attempt 77
    - attempt 78
    - attempt 79
    - attempt 80
    - attempt 81
    - attempt 82
    - attempt 83
    - attempt 84
    - attempt 85
    - attempt 86
    - attempt 87
    - attempt 88
    - attempt 89
    - attempt 90
    - attempt 91
    - attempt 92
    - attempt 93
    - attempt 94
    - attempt 95
    - attempt 96
    - attempt 97
    - attempt 98
    - attempt 99
    - attempt 100
    - attempt 101
    - attempt 102
    - attempt 103
    - attempt 104
    - attempt 105
    - attempt 106
    - attempt 107
    - attempt 108
    - attempt 109
    - attempt 110
    - attempt 111
    - attempt 112
    - attempt 113
    - attempt 114
    - attempt 115
    - attempt 116
    - attempt 117
    - attempt 118
    - attempt 119
    - attempt 120
    - attempt 121
    - attempt 122
    - attempt 123
    - attempt 124
    - attempt 125
    - attempt 126
    - attempt 127
    - attempt 128
    - attempt 129
    - attempt 130
    - attempt 131
    - attempt 132
    - attempt 133
    - attempt 134
    - attempt 135
    - attempt 136
    - attempt 137
    - attempt 138
    - attempt 139
    - attempt 140
    - attempt 141
    - attempt 142
    - attempt 143
    - attempt 144
    - attempt 145
    - attempt 146
    - attempt 147
    - attempt 148
    - attempt 149
    - attempt 150
    - attempt 151
    - attempt 152
    - attempt 153
    - attempt 154
    - attempt 155
    - attempt 156
    - attempt 157
    - attempt 158
    - attempt 159
    - attempt 160
    - attempt 161
    - attempt 162
    - attempt 163
    - attempt 164
    - attempt 165
    - attempt 166
    - attempt 167
    - attempt 168
    - attempt 169
    - attempt 170
    - attempt 171
    - attempt 172
    - attempt 173
    - attempt 174
    - attempt 175
    - attempt 176
    - attempt 177
    - attempt 178
    - attempt 179
    - attempt 180
    - attempt 181
    - attempt 182
    - attempt 183
    - attempt 184
    - attempt 185
    - attempt 186
    - attempt 187
    - attempt 188
    - attempt 189
    - attempt 190
    - attempt 191
    - attempt 192
    - attempt 193
    - attempt 194
    - attempt 195
    - attempt 196
    - attempt 197
    - attempt 198
    - attempt 199
    - attempt 200
    - attempt 201
    - attempt 202
    - attempt 203
    - attempt 204
    - attempt 205
    - attempt 206
    - attempt 207
    - attempt 208
    - attempt 209
    - attempt 210
    - attempt 211
    - attempt 212
    - attempt 213
    - attempt 214
    - attempt 215
    - attempt 216
    - attempt 217
    - attempt 218
    - attempt 219
    - attempt 220
    - attempt 221
    - attempt 222
    - attempt 223
    - attempt 224
  - ghc9101_algebraic-graph-duoids
    - attempt 1
    - attempt 2
    - attempt 3
    - attempt 4
    - attempt 5
    - attempt 6
    - attempt 7
    - attempt 8
    - attempt 9
    - attempt 10
    - attempt 11
    - attempt 12
    - attempt 13
    - attempt 14
    - attempt 15
    - attempt 16
    - attempt 17
    - attempt 18
    - attempt 19
    - attempt 20
    - attempt 21
    - attempt 22
    - attempt 23
    - attempt 24
    - attempt 25
    - attempt 26
    - attempt 27
    - attempt 28
    - attempt 29
    - attempt 30
    - attempt 31
    - attempt 32
    - attempt 33
    - attempt 34
    - attempt 35
    - attempt 36
    - attempt 37
    - attempt 38
    - attempt 39
    - attempt 40
    - attempt 41
    - attempt 42
    - attempt 43
    - attempt 44
    - attempt 45
    - attempt 46
    - attempt 47
    - attempt 48
    - attempt 49
    - attempt 50
    - attempt 51
    - attempt 52
    - attempt 53
    - attempt 54
    - attempt 55
    - attempt 56
    - attempt 57
    - attempt 58
    - attempt 59
    - attempt 60
    - attempt 61
    - attempt 62
    - attempt 63
    - attempt 64
    - attempt 65
    - attempt 66
    - attempt 67
    - attempt 68
    - attempt 69
    - attempt 70
    - attempt 71
    - attempt 72
    - attempt 73
    - attempt 74
    - attempt 75
    - attempt 76
    - attempt 77
    - attempt 78
    - attempt 79
    - attempt 80
    - attempt 81
    - attempt 82
    - attempt 83
    - attempt 84
    - attempt 85
    - attempt 86
    - attempt 87
    - attempt 88
    - attempt 89
    - attempt 90
    - attempt 91
    - attempt 92
    - attempt 93
    - attempt 94
    - attempt 95
    - attempt 96
    - attempt 97
    - attempt 98
    - attempt 99
    - attempt 100
    - attempt 101
    - attempt 102
    - attempt 103
    - attempt 104
    - attempt 105
    - attempt 106
    - attempt 107
    - attempt 108
    - attempt 109
    - attempt 110
    - attempt 111
    - attempt 112
    - attempt 113
    - attempt 114
    - attempt 115
    - attempt 116
    - attempt 117
    - attempt 118
    - attempt 119
    - attempt 120
    - attempt 121
    - attempt 122
    - attempt 123
    - attempt 124
    - attempt 125
    - attempt 126
    - attempt 127
    - attempt 128
    - attempt 129
    - attempt 130
    - attempt 131
    - attempt 132
    - attempt 133
    - attempt 134
    - attempt 135
    - attempt 136
    - attempt 137
    - attempt 138
    - attempt 139
    - attempt 140
    - attempt 141
    - attempt 142
    - attempt 143
    - attempt 144
    - attempt 145
    - attempt 146
    - attempt 147
    - attempt 148
    - attempt 149
    - attempt 150
    - attempt 151
    - attempt 152
    - attempt 153
    - attempt 154
    - attempt 155
    - attempt 156
    - attempt 157
    - attempt 158
    - attempt 159
    - attempt 160
    - attempt 161
    - attempt 162
    - attempt 163
    - attempt 164
    - attempt 165
    - attempt 166
    - attempt 167
    - attempt 168
    - attempt 169
    - attempt 170
    - attempt 171
    - attempt 172
    - attempt 173
    - attempt 174
    - attempt 175
    - attempt 176
    - attempt 177
    - attempt 178
    - attempt 179
    - attempt 180
    - attempt 181
    - attempt 182
    - attempt 183
    - attempt 184
    - attempt 185
    - attempt 186
    - attempt 187
    - attempt 188
    - attempt 189
    - attempt 190
    - attempt 191
    - attempt 192
    - attempt 193
    - attempt 194
    - attempt 195
    - attempt 196
    - attempt 197
    - attempt 198
    - attempt 199
    - attempt 200
    - attempt 201
    - attempt 202
    - attempt 203
    - attempt 204
    - attempt 205
    - attempt 206
    - attempt 207
    - attempt 208
    - attempt 209
    - attempt 210
    - attempt 211
    - attempt 212
    - attempt 213
    - attempt 214
    - attempt 215
    - attempt 216
    - attempt 217
    - attempt 218
    - attempt 219
    - attempt 220
    - attempt 221
    - attempt 222
    - attempt 223
    - attempt 224
  - ghc9101_all
    - attempt 1
    - attempt 2
    - attempt 3
    - attempt 4
    - attempt 5
    - attempt 6
    - attempt 7
    - attempt 8
    - attempt 9
    - attempt 10
    - attempt 11
    - attempt 12
    - attempt 13
    - attempt 14
    - attempt 15
    - attempt 16
    - attempt 17
    - attempt 18
    - attempt 19
    - attempt 20
    - attempt 21
    - attempt 22
    - attempt 23
    - attempt 24
    - attempt 25
    - attempt 26
    - attempt 27
    - attempt 28
    - attempt 29
    - attempt 30
    - attempt 31
    - attempt 32
    - attempt 33
    - attempt 34
    - attempt 35
    - attempt 36
    - attempt 37
    - attempt 38
    - attempt 39
    - attempt 40
    - attempt 41
    - attempt 42
    - attempt 43
    - attempt 44
    - attempt 45
    - attempt 46
    - attempt 47
    - attempt 48
    - attempt 49
    - attempt 50
    - attempt 51
    - attempt 52
    - attempt 53
    - attempt 54
    - attempt 55
    - attempt 56
    - attempt 57
    - attempt 58
    - attempt 59
    - attempt 60
    - attempt 61
    - attempt 62
    - attempt 63
    - attempt 64
    - attempt 65
    - attempt 66
    - attempt 67
    - attempt 68
    - attempt 69
    - attempt 70
    - attempt 71
    - attempt 72
    - attempt 73
    - attempt 74
    - attempt 75
    - attempt 76
    - attempt 77
    - attempt 78
    - attempt 79
    - attempt 80
    - attempt 81
    - attempt 82
    - attempt 83
    - attempt 84
    - attempt 85
    - attempt 86
    - attempt 87
    - attempt 88
    - attempt 89
    - attempt 90
    - attempt 91
    - attempt 92
    - attempt 93
    - attempt 94
    - attempt 95
    - attempt 96
    - attempt 97
    - attempt 98
    - attempt 99
    - attempt 100
    - attempt 101
    - attempt 102
    - attempt 103
    - attempt 104
    - attempt 105
    - attempt 106
    - attempt 107
    - attempt 108
    - attempt 109
    - attempt 110
    - attempt 111
    - attempt 112
    - attempt 113
    - attempt 114
    - attempt 115
    - attempt 116
    - attempt 117
    - attempt 118
    - attempt 119
    - attempt 120
    - attempt 121
    - attempt 122
    - attempt 123
    - attempt 124
    - attempt 125
    - attempt 126
    - attempt 127
    - attempt 128
    - attempt 129
    - attempt 130
    - attempt 131
    - attempt 132
    - attempt 133
    - attempt 134
    - attempt 135
    - attempt 136
    - attempt 137
    - attempt 138
    - attempt 139
    - attempt 140
    - attempt 141
    - attempt 142
    - attempt 143
    - attempt 144
    - attempt 145
    - attempt 146
    - attempt 147
    - attempt 148
    - attempt 149
    - attempt 150
    - attempt 151
    - attempt 152
    - attempt 153
    - attempt 154
    - attempt 155
    - attempt 156
    - attempt 157
    - attempt 158
    - attempt 159
    - attempt 160
    - attempt 161
    - attempt 162
    - attempt 163
    - attempt 164
    - attempt 165
    - attempt 166
    - attempt 167
    - attempt 168
    - attempt 169
    - attempt 170
    - attempt 171
    - attempt 172
    - attempt 173
    - attempt 174
    - attempt 175
    - attempt 176
    - attempt 177
    - attempt 178
    - attempt 179
    - attempt 180
    - attempt 181
    - attempt 182
    - attempt 183
    - attempt 184
    - attempt 185
    - attempt 186
    - attempt 187
    - attempt 188
    - attempt 189
    - attempt 190
    - attempt 191
    - attempt 192
    - attempt 193
    - attempt 194
    - attempt 195
    - attempt 196
    - attempt 197
    - attempt 198
    - attempt 199
    - attempt 200
    - attempt 201
    - attempt 202
    - attempt 203
    - attempt 204
    - attempt 205
    - attempt 206
    - attempt 207
    - attempt 208
    - attempt 209
    - attempt 210
    - attempt 211
    - attempt 212
    - attempt 213
    - attempt 214
    - attempt 215
    - attempt 216
    - attempt 217
    - attempt 218
    - attempt 219
    - attempt 220
    - attempt 221
    - attempt 222
    - attempt 223
    - attempt 224
  - ghc9101_duoids
    - attempt 1
    - attempt 2
    - attempt 3
    - attempt 4
    - attempt 5
    - attempt 6
    - attempt 7
    - attempt 8
    - attempt 9
    - attempt 10
    - attempt 11
    - attempt 12
    - attempt 13
    - attempt 14
    - attempt 15
    - attempt 16
    - attempt 17
    - attempt 18
    - attempt 19
    - attempt 20
    - attempt 21
    - attempt 22
    - attempt 23
    - attempt 24
    - attempt 25
    - attempt 26
    - attempt 27
    - attempt 28
    - attempt 29
    - attempt 30
    - attempt 31
    - attempt 32
    - attempt 33
    - attempt 34
    - attempt 35
    - attempt 36
    - attempt 37
    - attempt 38
    - attempt 39
    - attempt 40
    - attempt 41
    - attempt 42
    - attempt 43
    - attempt 44
    - attempt 45
    - attempt 46
    - attempt 47
    - attempt 48
    - attempt 49
    - attempt 50
    - attempt 51
    - attempt 52
    - attempt 53
    - attempt 54
    - attempt 55
    - attempt 56
    - attempt 57
    - attempt 58
    - attempt 59
    - attempt 60
    - attempt 61
    - attempt 62
    - attempt 63
    - attempt 64
    - attempt 65
    - attempt 66
    - attempt 67
    - attempt 68
    - attempt 69
    - attempt 70
    - attempt 71
    - attempt 72
    - attempt 73
    - attempt 74
    - attempt 75
    - attempt 76
    - attempt 77
    - attempt 78
    - attempt 79
    - attempt 80
    - attempt 81
    - attempt 82
    - attempt 83
    - attempt 84
    - attempt 85
    - attempt 86
    - attempt 87
    - attempt 88
    - attempt 89
    - attempt 90
    - attempt 91
    - attempt 92
    - attempt 93
    - attempt 94
    - attempt 95
    - attempt 96
    - attempt 97
    - attempt 98
    - attempt 99
    - attempt 100
    - attempt 101
    - attempt 102
    - attempt 103
    - attempt 104
    - attempt 105
    - attempt 106
    - attempt 107
    - attempt 108
    - attempt 109
    - attempt 110
    - attempt 111
    - attempt 112
    - attempt 113
    - attempt 114
    - attempt 115
    - attempt 116
    - attempt 117
    - attempt 118
    - attempt 119
    - attempt 120
    - attempt 121
    - attempt 122
    - attempt 123
    - attempt 124
    - attempt 125
    - attempt 126
    - attempt 127
    - attempt 128
    - attempt 129
    - attempt 130
    - attempt 131
    - attempt 132
    - attempt 133
    - attempt 134
    - attempt 135
    - attempt 136
    - attempt 137
    - attempt 138
    - attempt 139
    - attempt 140
    - attempt 141
    - attempt 142
    - attempt 143
    - attempt 144
    - attempt 145
    - attempt 146
    - attempt 147
    - attempt 148
    - attempt 149
    - attempt 150
    - attempt 151
    - attempt 152
    - attempt 153
    - attempt 154
    - attempt 155
    - attempt 156
    - attempt 157
    - attempt 158
    - attempt 159
    - attempt 160
    - attempt 161
    - attempt 162
    - attempt 163
    - attempt 164
    - attempt 165
    - attempt 166
    - attempt 167
    - attempt 168
    - attempt 169
    - attempt 170
    - attempt 171
    - attempt 172
    - attempt 173
    - attempt 174
    - attempt 175
    - attempt 176
    - attempt 177
    - attempt 178
    - attempt 179
    - attempt 180
    - attempt 181
    - attempt 182
    - attempt 183
    - attempt 184
    - attempt 185
    - attempt 186
    - attempt 187
    - attempt 188
    - attempt 189
    - attempt 190
    - attempt 191
    - attempt 192
    - attempt 193
    - attempt 194
    - attempt 195
    - attempt 196
    - attempt 197
    - attempt 198
    - attempt 199
    - attempt 200
    - attempt 201
    - attempt 202
    - attempt 203
    - attempt 204
    - attempt 205
    - attempt 206
    - attempt 207
    - attempt 208
    - attempt 209
    - attempt 210
    - attempt 211
    - attempt 212
    - attempt 213
    - attempt 214
    - attempt 215
    - attempt 216
    - attempt 217
    - attempt 218
    - attempt 219
    - attempt 220
    - attempt 221
    - attempt 222
    - attempt 223
    - attempt 224
  - ghc9101_duoids-hedgehog
    - attempt 1
    - attempt 2
    - attempt 3
    - attempt 4
    - attempt 5
    - attempt 6
    - attempt 7
    - attempt 8
    - attempt 9
    - attempt 10
    - attempt 11
    - attempt 12
    - attempt 13
    - attempt 14
    - attempt 15
    - attempt 16
    - attempt 17
    - attempt 18
    - attempt 19
    - attempt 20
    - attempt 21
    - attempt 22
    - attempt 23
    - attempt 24
    - attempt 25
    - attempt 26
    - attempt 27
    - attempt 28
    - attempt 29
    - attempt 30
    - attempt 31
    - attempt 32
    - attempt 33
    - attempt 34
    - attempt 35
    - attempt 36
    - attempt 37
    - attempt 38
    - attempt 39
    - attempt 40
    - attempt 41
    - attempt 42
    - attempt 43
    - attempt 44
    - attempt 45
    - attempt 46
    - attempt 47
    - attempt 48
    - attempt 49
    - attempt 50
    - attempt 51
    - attempt 52
    - attempt 53
    - attempt 54
    - attempt 55
    - attempt 56
    - attempt 57
    - attempt 58
    - attempt 59
    - attempt 60
    - attempt 61
    - attempt 62
    - attempt 63
    - attempt 64
    - attempt 65
    - attempt 66
    - attempt 67
    - attempt 68
    - attempt 69
    - attempt 70
    - attempt 71
    - attempt 72
    - attempt 73
    - attempt 74
    - attempt 75
    - attempt 76
    - attempt 77
    - attempt 78
    - attempt 79
    - attempt 80
    - attempt 81
    - attempt 82
    - attempt 83
    - attempt 84
    - attempt 85
    - attempt 86
    - attempt 87
    - attempt 88
    - attempt 89
    - attempt 90
    - attempt 91
    - attempt 92
    - attempt 93
    - attempt 94
    - attempt 95
    - attempt 96
    - attempt 97
    - attempt 98
    - attempt 99
    - attempt 100
    - attempt 101
    - attempt 102
    - attempt 103
    - attempt 104
    - attempt 105
    - attempt 106
    - attempt 107
    - attempt 108
    - attempt 109
    - attempt 110
    - attempt 111
    - attempt 112
    - attempt 113
    - attempt 114
    - attempt 115
    - attempt 116
    - attempt 117
    - attempt 118
    - attempt 119
    - attempt 120
    - attempt 121
    - attempt 122
    - attempt 123
    - attempt 124
    - attempt 125
    - attempt 126
    - attempt 127
    - attempt 128
    - attempt 129
    - attempt 130
    - attempt 131
    - attempt 132
    - attempt 133
    - attempt 134
    - attempt 135
    - attempt 136
    - attempt 137
    - attempt 138
    - attempt 139
    - attempt 140
    - attempt 141
    - attempt 142
    - attempt 143
    - attempt 144
    - attempt 145
    - attempt 146
    - attempt 147
    - attempt 148
    - attempt 149
    - attempt 150
    - attempt 151
    - attempt 152
    - attempt 153
    - attempt 154
    - attempt 155
    - attempt 156
    - attempt 157
    - attempt 158
    - attempt 159
    - attempt 160
    - attempt 161
    - attempt 162
    - attempt 163
    - attempt 164
    - attempt 165
    - attempt 166
    - attempt 167
    - attempt 168
    - attempt 169
    - attempt 170
    - attempt 171
    - attempt 172
    - attempt 173
    - attempt 174
    - attempt 175
    - attempt 176
    - attempt 177
    - attempt 178
    - attempt 179
    - attempt 180
    - attempt 181
    - attempt 182
    - attempt 183
    - attempt 184
    - attempt 185
    - attempt 186
    - attempt 187
    - attempt 188
    - attempt 189
    - attempt 190
    - attempt 191
    - attempt 192
    - attempt 193
    - attempt 194
    - attempt 195
    - attempt 196
    - attempt 197
    - attempt 198
    - attempt 199
    - attempt 200
    - attempt 201
    - attempt 202
    - attempt 203
    - attempt 204
    - attempt 205
    - attempt 206
    - attempt 207
    - attempt 208
    - attempt 209
    - attempt 210
    - attempt 211
    - attempt 212
    - attempt 213
    - attempt 214
    - attempt 215
    - attempt 216
    - attempt 217
    - attempt 218
    - attempt 219
    - attempt 220
    - attempt 221
    - attempt 222
    - attempt 223
    - attempt 224
  - ghc9101_transformer-duoids
    - attempt 1
    - attempt 2
    - attempt 3
    - attempt 4
    - attempt 5
    - attempt 6
    - attempt 7
    - attempt 8
    - attempt 9
    - attempt 10
    - attempt 11
    - attempt 12
    - attempt 13
    - attempt 14
    - attempt 15
    - attempt 16
    - attempt 17
    - attempt 18
    - attempt 19
    - attempt 20
    - attempt 21
    - attempt 22
    - attempt 23
    - attempt 24
    - attempt 25
    - attempt 26
    - attempt 27
    - attempt 28
    - attempt 29
    - attempt 30
    - attempt 31
    - attempt 32
    - attempt 33
    - attempt 34
    - attempt 35
    - attempt 36
    - attempt 37
    - attempt 38
    - attempt 39
    - attempt 40
    - attempt 41
    - attempt 42
    - attempt 43
    - attempt 44
    - attempt 45
    - attempt 46
    - attempt 47
    - attempt 48
    - attempt 49
    - attempt 50
    - attempt 51
    - attempt 52
    - attempt 53
    - attempt 54
    - attempt 55
    - attempt 56
    - attempt 57
    - attempt 58
    - attempt 59
    - attempt 60
    - attempt 61
    - attempt 62
    - attempt 63
    - attempt 64
    - attempt 65
    - attempt 66
    - attempt 67
    - attempt 68
    - attempt 69
    - attempt 70
    - attempt 71
    - attempt 72
    - attempt 73
    - attempt 74
    - attempt 75
    - attempt 76
    - attempt 77
    - attempt 78
    - attempt 79
    - attempt 80
    - attempt 81
    - attempt 82
    - attempt 83
    - attempt 84
    - attempt 85
    - attempt 86
    - attempt 87
    - attempt 88
    - attempt 89
    - attempt 90
    - attempt 91
    - attempt 92
    - attempt 93
    - attempt 94
    - attempt 95
    - attempt 96
    - attempt 97
    - attempt 98
    - attempt 99
    - attempt 100
    - attempt 101
    - attempt 102
    - attempt 103
    - attempt 104
    - attempt 105
    - attempt 106
    - attempt 107
    - attempt 108
    - attempt 109
    - attempt 110
    - attempt 111
    - attempt 112
    - attempt 113
    - attempt 114
    - attempt 115
    - attempt 116
    - attempt 117
    - attempt 118
    - attempt 119
    - attempt 120
    - attempt 121
    - attempt 122
    - attempt 123
    - attempt 124
    - attempt 125
    - attempt 126
    - attempt 127
    - attempt 128
    - attempt 129
    - attempt 130
    - attempt 131
    - attempt 132
    - attempt 133
    - attempt 134
    - attempt 135
    - attempt 136
    - attempt 137
    - attempt 138
    - attempt 139
    - attempt 140
    - attempt 141
    - attempt 142
    - attempt 143
    - attempt 144
    - attempt 145
    - attempt 146
    - attempt 147
    - attempt 148
    - attempt 149
    - attempt 150
    - attempt 151
    - attempt 152
    - attempt 153
    - attempt 154
    - attempt 155
    - attempt 156
    - attempt 157
    - attempt 158
    - attempt 159
    - attempt 160
    - attempt 161
    - attempt 162
    - attempt 163
    - attempt 164
    - attempt 165
    - attempt 166
    - attempt 167
    - attempt 168
    - attempt 169
    - attempt 170
    - attempt 171
    - attempt 172
    - attempt 173
    - attempt 174
    - attempt 175
    - attempt 176
    - attempt 177
    - attempt 178
    - attempt 179
    - attempt 180
    - attempt 181
    - attempt 182
    - attempt 183
    - attempt 184
    - attempt 185
    - attempt 186
    - attempt 187
    - attempt 188
    - attempt 189
    - attempt 190
    - attempt 191
    - attempt 192
    - attempt 193
    - attempt 194
    - attempt 195
    - attempt 196
    - attempt 197
    - attempt 198
    - attempt 199
    - attempt 200
    - attempt 201
    - attempt 202
    - attempt 203
    - attempt 204
    - attempt 205
    - attempt 206
    - attempt 207
    - attempt 208
    - attempt 209
    - attempt 210
    - attempt 211
    - attempt 212
    - attempt 213
    - attempt 214
    - attempt 215
    - attempt 216
    - attempt 217
    - attempt 218
    - attempt 219
    - attempt 220
    - attempt 221
    - attempt 222
    - attempt 223
    - attempt 224
  - ghc928_algebraic-graph-duoids
    - attempt 1
    - attempt 2
    - attempt 3
    - attempt 4
    - attempt 5
    - attempt 6
    - attempt 7
    - attempt 8
    - attempt 9
    - attempt 10
    - attempt 11
    - attempt 12
    - attempt 13
    - attempt 14
    - attempt 15
    - attempt 16
    - attempt 17
    - attempt 18
    - attempt 19
    - attempt 20
    - attempt 21
    - attempt 22
    - attempt 23
    - attempt 24
    - attempt 25
    - attempt 26
    - attempt 27
    - attempt 28
    - attempt 29
    - attempt 30
    - attempt 31
    - attempt 32
    - attempt 33
    - attempt 34
    - attempt 35
    - attempt 36
    - attempt 37
    - attempt 38
    - attempt 39
    - attempt 40
    - attempt 41
    - attempt 42
    - attempt 43
    - attempt 44
    - attempt 45
    - attempt 46
    - attempt 47
    - attempt 48
    - attempt 49
    - attempt 50
    - attempt 51
    - attempt 52
    - attempt 53
    - attempt 54
    - attempt 55
    - attempt 56
    - attempt 57
    - attempt 58
    - attempt 59
    - attempt 60
    - attempt 61
    - attempt 62
    - attempt 63
    - attempt 64
    - attempt 65
    - attempt 66
    - attempt 67
    - attempt 68
    - attempt 69
    - attempt 70
    - attempt 71
    - attempt 72
    - attempt 73
    - attempt 74
    - attempt 75
    - attempt 76
    - attempt 77
    - attempt 78
    - attempt 79
    - attempt 80
    - attempt 81
    - attempt 82
    - attempt 83
    - attempt 84
    - attempt 85
    - attempt 86
    - attempt 87
    - attempt 88
    - attempt 89
    - attempt 90
    - attempt 91
    - attempt 92
    - attempt 93
    - attempt 94
    - attempt 95
    - attempt 96
    - attempt 97
    - attempt 98
    - attempt 99
    - attempt 100
    - attempt 101
    - attempt 102
    - attempt 103
    - attempt 104
    - attempt 105
    - attempt 106
    - attempt 107
    - attempt 108
    - attempt 109
    - attempt 110
    - attempt 111
    - attempt 112
    - attempt 113
    - attempt 114
    - attempt 115
    - attempt 116
    - attempt 117
    - attempt 118
    - attempt 119
    - attempt 120
    - attempt 121
    - attempt 122
    - attempt 123
    - attempt 124
    - attempt 125
    - attempt 126
    - attempt 127
    - attempt 128
    - attempt 129
    - attempt 130
    - attempt 131
    - attempt 132
    - attempt 133
    - attempt 134
    - attempt 135
    - attempt 136
    - attempt 137
    - attempt 138
    - attempt 139
    - attempt 140
    - attempt 141
    - attempt 142
    - attempt 143
    - attempt 144
    - attempt 145
    - attempt 146
    - attempt 147
    - attempt 148
    - attempt 149
    - attempt 150
    - attempt 151
    - attempt 152
    - attempt 153
    - attempt 154
    - attempt 155
    - attempt 156
    - attempt 157
    - attempt 158
    - attempt 159
    - attempt 160
    - attempt 161
    - attempt 162
    - attempt 163
    - attempt 164
    - attempt 165
    - attempt 166
    - attempt 167
    - attempt 168
    - attempt 169
    - attempt 170
    - attempt 171
    - attempt 172
    - attempt 173
    - attempt 174
    - attempt 175
    - attempt 176
    - attempt 177
    - attempt 178
    - attempt 179
    - attempt 180
    - attempt 181
    - attempt 182
    - attempt 183
    - attempt 184
    - attempt 185
    - attempt 186
    - attempt 187
    - attempt 188
    - attempt 189
    - attempt 190
    - attempt 191
    - attempt 192
    - attempt 193
    - attempt 194
    - attempt 195
    - attempt 196
    - attempt 197
    - attempt 198
    - attempt 199
    - attempt 200
    - attempt 201
    - attempt 202
    - attempt 203
    - attempt 204
    - attempt 205
    - attempt 206
    - attempt 207
    - attempt 208
    - attempt 209
    - attempt 210
    - attempt 211
    - attempt 212
    - attempt 213
    - attempt 214
    - attempt 215
    - attempt 216
    - attempt 217
    - attempt 218
    - attempt 219
    - attempt 220
    - attempt 221
    - attempt 222
    - attempt 223
    - attempt 224
  - ghc928_all
    - attempt 1
    - attempt 2
    - attempt 3
    - attempt 4
    - attempt 5
    - attempt 6
    - attempt 7
    - attempt 8
    - attempt 9
    - attempt 10
    - attempt 11
    - attempt 12
    - attempt 13
    - attempt 14
    - attempt 15
    - attempt 16
    - attempt 17
    - attempt 18
    - attempt 19
    - attempt 20
    - attempt 21
    - attempt 22
    - attempt 23
    - attempt 24
    - attempt 25
    - attempt 26
    - attempt 27
    - attempt 28
    - attempt 29
    - attempt 30
    - attempt 31
    - attempt 32
    - attempt 33
    - attempt 34
    - attempt 35
    - attempt 36
    - attempt 37
    - attempt 38
    - attempt 39
    - attempt 40
    - attempt 41
    - attempt 42
    - attempt 43
    - attempt 44
    - attempt 45
    - attempt 46
    - attempt 47
    - attempt 48
    - attempt 49
    - attempt 50
    - attempt 51
    - attempt 52
    - attempt 53
    - attempt 54
    - attempt 55
    - attempt 56
    - attempt 57
    - attempt 58
    - attempt 59
    - attempt 60
    - attempt 61
    - attempt 62
    - attempt 63
    - attempt 64
    - attempt 65
    - attempt 66
    - attempt 67
    - attempt 68
    - attempt 69
    - attempt 70
    - attempt 71
    - attempt 72
    - attempt 73
    - attempt 74
    - attempt 75
    - attempt 76
    - attempt 77
    - attempt 78
    - attempt 79
    - attempt 80
    - attempt 81
    - attempt 82
    - attempt 83
    - attempt 84
    - attempt 85
    - attempt 86
    - attempt 87
    - attempt 88
    - attempt 89
    - attempt 90
    - attempt 91
    - attempt 92
    - attempt 93
    - attempt 94
    - attempt 95
    - attempt 96
    - attempt 97
    - attempt 98
    - attempt 99
    - attempt 100
    - attempt 101
    - attempt 102
    - attempt 103
    - attempt 104
    - attempt 105
    - attempt 106
    - attempt 107
    - attempt 108
    - attempt 109
    - attempt 110
    - attempt 111
    - attempt 112
    - attempt 113
    - attempt 114
    - attempt 115
    - attempt 116
    - attempt 117
    - attempt 118
    - attempt 119
    - attempt 120
    - attempt 121
    - attempt 122
    - attempt 123
    - attempt 124
    - attempt 125
    - attempt 126
    - attempt 127
    - attempt 128
    - attempt 129
    - attempt 130
    - attempt 131
    - attempt 132
    - attempt 133
    - attempt 134
    - attempt 135
    - attempt 136
    - attempt 137
    - attempt 138
    - attempt 139
    - attempt 140
    - attempt 141
    - attempt 142
    - attempt 143
    - attempt 144
    - attempt 145
    - attempt 146
    - attempt 147
    - attempt 148
    - attempt 149
    - attempt 150
    - attempt 151
    - attempt 152
    - attempt 153
    - attempt 154
    - attempt 155
    - attempt 156
    - attempt 157
    - attempt 158
    - attempt 159
    - attempt 160
    - attempt 161
    - attempt 162
    - attempt 163
    - attempt 164
    - attempt 165
    - attempt 166
    - attempt 167
    - attempt 168
    - attempt 169
    - attempt 170
    - attempt 171
    - attempt 172
    - attempt 173
    - attempt 174
    - attempt 175
    - attempt 176
    - attempt 177
    - attempt 178
    - attempt 179
    - attempt 180
    - attempt 181
    - attempt 182
    - attempt 183
    - attempt 184
    - attempt 185
    - attempt 186
    - attempt 187
    - attempt 188
    - attempt 189
    - attempt 190
    - attempt 191
    - attempt 192
    - attempt 193
    - attempt 194
    - attempt 195
    - attempt 196
    - attempt 197
    - attempt 198
    - attempt 199
    - attempt 200
    - attempt 201
    - attempt 202
    - attempt 203
    - attempt 204
    - attempt 205
    - attempt 206
    - attempt 207
    - attempt 208
    - attempt 209
    - attempt 210
    - attempt 211
    - attempt 212
    - attempt 213
    - attempt 214
    - attempt 215
    - attempt 216
    - attempt 217
    - attempt 218
    - attempt 219
    - attempt 220
    - attempt 221
    - attempt 222
    - attempt 223
    - attempt 224
  - ghc928_duoids
    - attempt 1
    - attempt 2
    - attempt 3
    - attempt 4
    - attempt 5
    - attempt 6
    - attempt 7
    - attempt 8
    - attempt 9
    - attempt 10
    - attempt 11
    - attempt 12
    - attempt 13
    - attempt 14
    - attempt 15
    - attempt 16
    - attempt 17
    - attempt 18
    - attempt 19
    - attempt 20
    - attempt 21
    - attempt 22
    - attempt 23
    - attempt 24
    - attempt 25
    - attempt 26
    - attempt 27
    - attempt 28
    - attempt 29
    - attempt 30
    - attempt 31
    - attempt 32
    - attempt 33
    - attempt 34
    - attempt 35
    - attempt 36
    - attempt 37
    - attempt 38
    - attempt 39
    - attempt 40
    - attempt 41
    - attempt 42
    - attempt 43
    - attempt 44
    - attempt 45
    - attempt 46
    - attempt 47
    - attempt 48
    - attempt 49
    - attempt 50
    - attempt 51
    - attempt 52
    - attempt 53
    - attempt 54
    - attempt 55
    - attempt 56
    - attempt 57
    - attempt 58
    - attempt 59
    - attempt 60
    - attempt 61
    - attempt 62
    - attempt 63
    - attempt 64
    - attempt 65
    - attempt 66
    - attempt 67
    - attempt 68
    - attempt 69
    - attempt 70
    - attempt 71
    - attempt 72
    - attempt 73
    - attempt 74
    - attempt 75
    - attempt 76
    - attempt 77
    - attempt 78
    - attempt 79
    - attempt 80
    - attempt 81
    - attempt 82
    - attempt 83
    - attempt 84
    - attempt 85
    - attempt 86
    - attempt 87
    - attempt 88
    - attempt 89
    - attempt 90
    - attempt 91
    - attempt 92
    - attempt 93
    - attempt 94
    - attempt 95
    - attempt 96
    - attempt 97
    - attempt 98
    - attempt 99
    - attempt 100
    - attempt 101
    - attempt 102
    - attempt 103
    - attempt 104
    - attempt 105
    - attempt 106
    - attempt 107
    - attempt 108
    - attempt 109
    - attempt 110
    - attempt 111
    - attempt 112
    - attempt 113
    - attempt 114
    - attempt 115
    - attempt 116
    - attempt 117
    - attempt 118
    - attempt 119
    - attempt 120
    - attempt 121
    - attempt 122
    - attempt 123
    - attempt 124
    - attempt 125
    - attempt 126
    - attempt 127
    - attempt 128
    - attempt 129
    - attempt 130
    - attempt 131
    - attempt 132
    - attempt 133
    - attempt 134
    - attempt 135
    - attempt 136
    - attempt 137
    - attempt 138
    - attempt 139
    - attempt 140
    - attempt 141
    - attempt 142
    - attempt 143
    - attempt 144
    - attempt 145
    - attempt 146
    - attempt 147
    - attempt 148
    - attempt 149
    - attempt 150
    - attempt 151
    - attempt 152
    - attempt 153
    - attempt 154
    - attempt 155
    - attempt 156
    - attempt 157
    - attempt 158
    - attempt 159
    - attempt 160
    - attempt 161
    - attempt 162
    - attempt 163
    - attempt 164
    - attempt 165
    - attempt 166
    - attempt 167
    - attempt 168
    - attempt 169
    - attempt 170
    - attempt 171
    - attempt 172
    - attempt 173
    - attempt 174
    - attempt 175
    - attempt 176
    - attempt 177
    - attempt 178
    - attempt 179
    - attempt 180
    - attempt 181
    - attempt 182
    - attempt 183
    - attempt 184
    - attempt 185
    - attempt 186
    - attempt 187
    - attempt 188
    - attempt 189
    - attempt 190
    - attempt 191
    - attempt 192
    - attempt 193
    - attempt 194
    - attempt 195
    - attempt 196
    - attempt 197
    - attempt 198
    - attempt 199
    - attempt 200
    - attempt 201
    - attempt 202
    - attempt 203
    - attempt 204
    - attempt 205
    - attempt 206
    - attempt 207
    - attempt 208
    - attempt 209
    - attempt 210
    - attempt 211
    - attempt 212
    - attempt 213
    - attempt 214
    - attempt 215
    - attempt 216
    - attempt 217
    - attempt 218
    - attempt 219
    - attempt 220
    - attempt 221
    - attempt 222
    - attempt 223
    - attempt 224
  - ghc928_duoids-hedgehog
    - attempt 1
    - attempt 2
    - attempt 3
    - attempt 4
    - attempt 5
    - attempt 6
    - attempt 7
    - attempt 8
    - attempt 9
    - attempt 10
    - attempt 11
    - attempt 12
    - attempt 13
    - attempt 14
    - attempt 15
    - attempt 16
    - attempt 17
    - attempt 18
    - attempt 19
    - attempt 20
    - attempt 21
    - attempt 22
    - attempt 23
    - attempt 24
    - attempt 25
    - attempt 26
    - attempt 27
    - attempt 28
    - attempt 29
    - attempt 30
    - attempt 31
    - attempt 32
    - attempt 33
    - attempt 34
    - attempt 35
    - attempt 36
    - attempt 37
    - attempt 38
    - attempt 39
    - attempt 40
    - attempt 41
    - attempt 42
    - attempt 43
    - attempt 44
    - attempt 45
    - attempt 46
    - attempt 47
    - attempt 48
    - attempt 49
    - attempt 50
    - attempt 51
    - attempt 52
    - attempt 53
    - attempt 54
    - attempt 55
    - attempt 56
    - attempt 57
    - attempt 58
    - attempt 59
    - attempt 60
    - attempt 61
    - attempt 62
    - attempt 63
    - attempt 64
    - attempt 65
    - attempt 66
    - attempt 67
    - attempt 68
    - attempt 69
    - attempt 70
    - attempt 71
    - attempt 72
    - attempt 73
    - attempt 74
    - attempt 75
    - attempt 76
    - attempt 77
    - attempt 78
    - attempt 79
    - attempt 80
    - attempt 81
    - attempt 82
    - attempt 83
    - attempt 84
    - attempt 85
    - attempt 86
    - attempt 87
    - attempt 88
    - attempt 89
    - attempt 90
    - attempt 91
    - attempt 92
    - attempt 93
    - attempt 94
    - attempt 95
    - attempt 96
    - attempt 97
    - attempt 98
    - attempt 99
    - attempt 100
    - attempt 101
    - attempt 102
    - attempt 103
    - attempt 104
    - attempt 105
    - attempt 106
    - attempt 107
    - attempt 108
    - attempt 109
    - attempt 110
    - attempt 111
    - attempt 112
    - attempt 113
    - attempt 114
    - attempt 115
    - attempt 116
    - attempt 117
    - attempt 118
    - attempt 119
    - attempt 120
    - attempt 121
    - attempt 122
    - attempt 123
    - attempt 124
    - attempt 125
    - attempt 126
    - attempt 127
    - attempt 128
    - attempt 129
    - attempt 130
    - attempt 131
    - attempt 132
    - attempt 133
    - attempt 134
    - attempt 135
    - attempt 136
    - attempt 137
    - attempt 138
    - attempt 139
    - attempt 140
    - attempt 141
    - attempt 142
    - attempt 143
    - attempt 144
    - attempt 145
    - attempt 146
    - attempt 147
    - attempt 148
    - attempt 149
    - attempt 150
    - attempt 151
    - attempt 152
    - attempt 153
    - attempt 154
    - attempt 155
    - attempt 156
    - attempt 157
    - attempt 158
    - attempt 159
    - attempt 160
    - attempt 161
    - attempt 162
    - attempt 163
    - attempt 164
    - attempt 165
    - attempt 166
    - attempt 167
    - attempt 168
    - attempt 169
    - attempt 170
    - attempt 171
    - attempt 172
    - attempt 173
    - attempt 174
    - attempt 175
    - attempt 176
    - attempt 177
    - attempt 178
    - attempt 179
    - attempt 180
    - attempt 181
    - attempt 182
    - attempt 183
    - attempt 184
    - attempt 185
    - attempt 186
    - attempt 187
    - attempt 188
    - attempt 189
    - attempt 190
    - attempt 191
    - attempt 192
    - attempt 193
    - attempt 194
    - attempt 195
    - attempt 196
    - attempt 197
    - attempt 198
    - attempt 199
    - attempt 200
    - attempt 201
    - attempt 202
    - attempt 203
    - attempt 204
    - attempt 205
    - attempt 206
    - attempt 207
    - attempt 208
    - attempt 209
    - attempt 210
    - attempt 211
    - attempt 212
    - attempt 213
    - attempt 214
    - attempt 215
    - attempt 216
    - attempt 217
    - attempt 218
    - attempt 219
    - attempt 220
    - attempt 221
    - attempt 222
    - attempt 223
    - attempt 224
  - ghc928_transformer-duoids
    - attempt 1
    - attempt 2
    - attempt 3
    - attempt 4
    - attempt 5
    - attempt 6
    - attempt 7
    - attempt 8
    - attempt 9
    - attempt 10
    - attempt 11
    - attempt 12
    - attempt 13
    - attempt 14
    - attempt 15
    - attempt 16
    - attempt 17
    - attempt 18
    - attempt 19
    - attempt 20
    - attempt 21
    - attempt 22
    - attempt 23
    - attempt 24
    - attempt 25
    - attempt 26
    - attempt 27
    - attempt 28
    - attempt 29
    - attempt 30
    - attempt 31
    - attempt 32
    - attempt 33
    - attempt 34
    - attempt 35
    - attempt 36
    - attempt 37
    - attempt 38
    - attempt 39
    - attempt 40
    - attempt 41
    - attempt 42
    - attempt 43
    - attempt 44
    - attempt 45
    - attempt 46
    - attempt 47
    - attempt 48
    - attempt 49
    - attempt 50
    - attempt 51
    - attempt 52
    - attempt 53
    - attempt 54
    - attempt 55
    - attempt 56
    - attempt 57
    - attempt 58
    - attempt 59
    - attempt 60
    - attempt 61
    - attempt 62
    - attempt 63
    - attempt 64
    - attempt 65
    - attempt 66
    - attempt 67
    - attempt 68
    - attempt 69
    - attempt 70
    - attempt 71
    - attempt 72
    - attempt 73
    - attempt 74
    - attempt 75
    - attempt 76
    - attempt 77
    - attempt 78
    - attempt 79
    - attempt 80
    - attempt 81
    - attempt 82
    - attempt 83
    - attempt 84
    - attempt 85
    - attempt 86
    - attempt 87
    - attempt 88
    - attempt 89
    - attempt 90
    - attempt 91
    - attempt 92
    - attempt 93
    - attempt 94
    - attempt 95
    - attempt 96
    - attempt 97
    - attempt 98
    - attempt 99
    - attempt 100
    - attempt 101
    - attempt 102
    - attempt 103
    - attempt 104
    - attempt 105
    - attempt 106
    - attempt 107
    - attempt 108
    - attempt 109
    - attempt 110
    - attempt 111
    - attempt 112
    - attempt 113
    - attempt 114
    - attempt 115
    - attempt 116
    - attempt 117
    - attempt 118
    - attempt 119
    - attempt 120
    - attempt 121
    - attempt 122
    - attempt 123
    - attempt 124
    - attempt 125
    - attempt 126
    - attempt 127
    - attempt 128
    - attempt 129
    - attempt 130
    - attempt 131
    - attempt 132
    - attempt 133
    - attempt 134
    - attempt 135
    - attempt 136
    - attempt 137
    - attempt 138
    - attempt 139
    - attempt 140
    - attempt 141
    - attempt 142
    - attempt 143
    - attempt 144
    - attempt 145
    - attempt 146
    - attempt 147
    - attempt 148
    - attempt 149
    - attempt 150
    - attempt 151
    - attempt 152
    - attempt 153
    - attempt 154
    - attempt 155
    - attempt 156
    - attempt 157
    - attempt 158
    - attempt 159
    - attempt 160
    - attempt 161
    - attempt 162
    - attempt 163
    - attempt 164
    - attempt 165
    - attempt 166
    - attempt 167
    - attempt 168
    - attempt 169
    - attempt 170
    - attempt 171
    - attempt 172
    - attempt 173
    - attempt 174
    - attempt 175
    - attempt 176
    - attempt 177
    - attempt 178
    - attempt 179
    - attempt 180
    - attempt 181
    - attempt 182
    - attempt 183
    - attempt 184
    - attempt 185
    - attempt 186
    - attempt 187
    - attempt 188
    - attempt 189
    - attempt 190
    - attempt 191
    - attempt 192
    - attempt 193
    - attempt 194
    - attempt 195
    - attempt 196
    - attempt 197
    - attempt 198
    - attempt 199
    - attempt 200
    - attempt 201
    - attempt 202
    - attempt 203
    - attempt 204
    - attempt 205
    - attempt 206
    - attempt 207
    - attempt 208
    - attempt 209
    - attempt 210
    - attempt 211
    - attempt 212
    - attempt 213
    - attempt 214
    - attempt 215
    - attempt 216
    - attempt 217
    - attempt 218
    - attempt 219
    - attempt 220
    - attempt 221
    - attempt 222
    - attempt 223
    - attempt 224
  - ghc947_algebraic-graph-duoids
    - attempt 1
    - attempt 2
    - attempt 3
    - attempt 4
    - attempt 5
    - attempt 6
    - attempt 7
    - attempt 8
    - attempt 9
    - attempt 10
    - attempt 11
    - attempt 12
    - attempt 13
    - attempt 14
    - attempt 15
    - attempt 16
    - attempt 17
    - attempt 18
    - attempt 19
    - attempt 20
    - attempt 21
    - attempt 22
    - attempt 23
    - attempt 24
    - attempt 25
    - attempt 26
    - attempt 27
    - attempt 28
    - attempt 29
    - attempt 30
    - attempt 31
    - attempt 32
    - attempt 33
    - attempt 34
    - attempt 35
    - attempt 36
    - attempt 37
    - attempt 38
    - attempt 39
    - attempt 40
    - attempt 41
    - attempt 42
    - attempt 43
    - attempt 44
    - attempt 45
    - attempt 46
    - attempt 47
    - attempt 48
    - attempt 49
    - attempt 50
    - attempt 51
    - attempt 52
    - attempt 53
    - attempt 54
    - attempt 55
    - attempt 56
    - attempt 57
    - attempt 58
    - attempt 59
    - attempt 60
    - attempt 61
    - attempt 62
    - attempt 63
    - attempt 64
    - attempt 65
    - attempt 66
    - attempt 67
    - attempt 68
    - attempt 69
    - attempt 70
    - attempt 71
    - attempt 72
    - attempt 73
    - attempt 74
    - attempt 75
    - attempt 76
    - attempt 77
    - attempt 78
    - attempt 79
    - attempt 80
    - attempt 81
    - attempt 82
    - attempt 83
    - attempt 84
    - attempt 85
    - attempt 86
    - attempt 87
    - attempt 88
    - attempt 89
    - attempt 90
    - attempt 91
    - attempt 92
    - attempt 93
    - attempt 94
    - attempt 95
    - attempt 96
    - attempt 97
    - attempt 98
    - attempt 99
    - attempt 100
    - attempt 101
    - attempt 102
    - attempt 103
    - attempt 104
    - attempt 105
    - attempt 106
    - attempt 107
    - attempt 108
    - attempt 109
    - attempt 110
    - attempt 111
    - attempt 112
    - attempt 113
    - attempt 114
    - attempt 115
    - attempt 116
    - attempt 117
    - attempt 118
    - attempt 119
    - attempt 120
    - attempt 121
    - attempt 122
    - attempt 123
    - attempt 124
    - attempt 125
    - attempt 126
    - attempt 127
    - attempt 128
    - attempt 129
    - attempt 130
    - attempt 131
    - attempt 132
    - attempt 133
    - attempt 134
    - attempt 135
    - attempt 136
    - attempt 137
    - attempt 138
    - attempt 139
    - attempt 140
    - attempt 141
    - attempt 142
    - attempt 143
    - attempt 144
    - attempt 145
    - attempt 146
    - attempt 147
    - attempt 148
    - attempt 149
    - attempt 150
    - attempt 151
    - attempt 152
    - attempt 153
    - attempt 154
    - attempt 155
    - attempt 156
    - attempt 157
    - attempt 158
    - attempt 159
    - attempt 160
    - attempt 161
    - attempt 162
    - attempt 163
    - attempt 164
    - attempt 165
    - attempt 166
    - attempt 167
    - attempt 168
    - attempt 169
    - attempt 170
    - attempt 171
    - attempt 172
    - attempt 173
    - attempt 174
    - attempt 175
    - attempt 176
    - attempt 177
    - attempt 178
    - attempt 179
    - attempt 180
    - attempt 181
    - attempt 182
    - attempt 183
    - attempt 184
    - attempt 185
    - attempt 186
    - attempt 187
    - attempt 188
    - attempt 189
    - attempt 190
    - attempt 191
    - attempt 192
    - attempt 193
    - attempt 194
    - attempt 195
    - attempt 196
    - attempt 197
    - attempt 198
    - attempt 199
    - attempt 200
    - attempt 201
    - attempt 202
    - attempt 203
    - attempt 204
    - attempt 205
    - attempt 206
    - attempt 207
    - attempt 208
    - attempt 209
    - attempt 210
    - attempt 211
    - attempt 212
    - attempt 213
    - attempt 214
    - attempt 215
    - attempt 216
    - attempt 217
    - attempt 218
    - attempt 219
    - attempt 220
    - attempt 221
    - attempt 222
    - attempt 223
    - attempt 224
  - ghc947_all
    - attempt 1
    - attempt 2
    - attempt 3
    - attempt 4
    - attempt 5
    - attempt 6
    - attempt 7
    - attempt 8
    - attempt 9
    - attempt 10
    - attempt 11
    - attempt 12
    - attempt 13
    - attempt 14
    - attempt 15
    - attempt 16
    - attempt 17
    - attempt 18
    - attempt 19
    - attempt 20
    - attempt 21
    - attempt 22
    - attempt 23
    - attempt 24
    - attempt 25
    - attempt 26
    - attempt 27
    - attempt 28
    - attempt 29
    - attempt 30
    - attempt 31
    - attempt 32
    - attempt 33
    - attempt 34
    - attempt 35
    - attempt 36
    - attempt 37
    - attempt 38
    - attempt 39
    - attempt 40
    - attempt 41
    - attempt 42
    - attempt 43
    - attempt 44
    - attempt 45
    - attempt 46
    - attempt 47
    - attempt 48
    - attempt 49
    - attempt 50
    - attempt 51
    - attempt 52
    - attempt 53
    - attempt 54
    - attempt 55
    - attempt 56
    - attempt 57
    - attempt 58
    - attempt 59
    - attempt 60
    - attempt 61
    - attempt 62
    - attempt 63
    - attempt 64
    - attempt 65
    - attempt 66
    - attempt 67
    - attempt 68
    - attempt 69
    - attempt 70
    - attempt 71
    - attempt 72
    - attempt 73
    - attempt 74
    - attempt 75
    - attempt 76
    - attempt 77
    - attempt 78
    - attempt 79
    - attempt 80
    - attempt 81
    - attempt 82
    - attempt 83
    - attempt 84
    - attempt 85
    - attempt 86
    - attempt 87
    - attempt 88
    - attempt 89
    - attempt 90
    - attempt 91
    - attempt 92
    - attempt 93
    - attempt 94
    - attempt 95
    - attempt 96
    - attempt 97
    - attempt 98
    - attempt 99
    - attempt 100
    - attempt 101
    - attempt 102
    - attempt 103
    - attempt 104
    - attempt 105
    - attempt 106
    - attempt 107
    - attempt 108
    - attempt 109
    - attempt 110
    - attempt 111
    - attempt 112
    - attempt 113
    - attempt 114
    - attempt 115
    - attempt 116
    - attempt 117
    - attempt 118
    - attempt 119
    - attempt 120
    - attempt 121
    - attempt 122
    - attempt 123
    - attempt 124
    - attempt 125
    - attempt 126
    - attempt 127
    - attempt 128
    - attempt 129
    - attempt 130
    - attempt 131
    - attempt 132
    - attempt 133
    - attempt 134
    - attempt 135
    - attempt 136
    - attempt 137
    - attempt 138
    - attempt 139
    - attempt 140
    - attempt 141
    - attempt 142
    - attempt 143
    - attempt 144
    - attempt 145
    - attempt 146
    - attempt 147
    - attempt 148
    - attempt 149
    - attempt 150
    - attempt 151
    - attempt 152
    - attempt 153
    - attempt 154
    - attempt 155
    - attempt 156
    - attempt 157
    - attempt 158
    - attempt 159
    - attempt 160
    - attempt 161
    - attempt 162
    - attempt 163
    - attempt 164
    - attempt 165
    - attempt 166
    - attempt 167
    - attempt 168
    - attempt 169
    - attempt 170
    - attempt 171
    - attempt 172
    - attempt 173
    - attempt 174
    - attempt 175
    - attempt 176
    - attempt 177
    - attempt 178
    - attempt 179
    - attempt 180
    - attempt 181
    - attempt 182
    - attempt 183
    - attempt 184
    - attempt 185
    - attempt 186
    - attempt 187
    - attempt 188
    - attempt 189
    - attempt 190
    - attempt 191
    - attempt 192
    - attempt 193
    - attempt 194
    - attempt 195
    - attempt 196
    - attempt 197
    - attempt 198
    - attempt 199
    - attempt 200
    - attempt 201
    - attempt 202
    - attempt 203
    - attempt 204
    - attempt 205
    - attempt 206
    - attempt 207
    - attempt 208
    - attempt 209
    - attempt 210
    - attempt 211
    - attempt 212
    - attempt 213
    - attempt 214
    - attempt 215
    - attempt 216
    - attempt 217
    - attempt 218
    - attempt 219
    - attempt 220
    - attempt 221
    - attempt 222
    - attempt 223
    - attempt 224
  - ghc947_duoids
    - attempt 1
    - attempt 2
    - attempt 3
    - attempt 4
    - attempt 5
    - attempt 6
    - attempt 7
    - attempt 8
    - attempt 9
    - attempt 10
    - attempt 11
    - attempt 12
    - attempt 13
    - attempt 14
    - attempt 15
    - attempt 16
    - attempt 17
    - attempt 18
    - attempt 19
    - attempt 20
    - attempt 21
    - attempt 22
    - attempt 23
    - attempt 24
    - attempt 25
    - attempt 26
    - attempt 27
    - attempt 28
    - attempt 29
    - attempt 30
    - attempt 31
    - attempt 32
    - attempt 33
    - attempt 34
    - attempt 35
    - attempt 36
    - attempt 37
    - attempt 38
    - attempt 39
    - attempt 40
    - attempt 41
    - attempt 42
    - attempt 43
    - attempt 44
    - attempt 45
    - attempt 46
    - attempt 47
    - attempt 48
    - attempt 49
    - attempt 50
    - attempt 51
    - attempt 52
    - attempt 53
    - attempt 54
    - attempt 55
    - attempt 56
    - attempt 57
    - attempt 58
    - attempt 59
    - attempt 60
    - attempt 61
    - attempt 62
    - attempt 63
    - attempt 64
    - attempt 65
    - attempt 66
    - attempt 67
    - attempt 68
    - attempt 69
    - attempt 70
    - attempt 71
    - attempt 72
    - attempt 73
    - attempt 74
    - attempt 75
    - attempt 76
    - attempt 77
    - attempt 78
    - attempt 79
    - attempt 80
    - attempt 81
    - attempt 82
    - attempt 83
    - attempt 84
    - attempt 85
    - attempt 86
    - attempt 87
    - attempt 88
    - attempt 89
    - attempt 90
    - attempt 91
    - attempt 92
    - attempt 93
    - attempt 94
    - attempt 95
    - attempt 96
    - attempt 97
    - attempt 98
    - attempt 99
    - attempt 100
    - attempt 101
    - attempt 102
    - attempt 103
    - attempt 104
    - attempt 105
    - attempt 106
    - attempt 107
    - attempt 108
    - attempt 109
    - attempt 110
    - attempt 111
    - attempt 112
    - attempt 113
    - attempt 114
    - attempt 115
    - attempt 116
    - attempt 117
    - attempt 118
    - attempt 119
    - attempt 120
    - attempt 121
    - attempt 122
    - attempt 123
    - attempt 124
    - attempt 125
    - attempt 126
    - attempt 127
    - attempt 128
    - attempt 129
    - attempt 130
    - attempt 131
    - attempt 132
    - attempt 133
    - attempt 134
    - attempt 135
    - attempt 136
    - attempt 137
    - attempt 138
    - attempt 139
    - attempt 140
    - attempt 141
    - attempt 142
    - attempt 143
    - attempt 144
    - attempt 145
    - attempt 146
    - attempt 147
    - attempt 148
    - attempt 149
    - attempt 150
    - attempt 151
    - attempt 152
    - attempt 153
    - attempt 154
    - attempt 155
    - attempt 156
    - attempt 157
    - attempt 158
    - attempt 159
    - attempt 160
    - attempt 161
    - attempt 162
    - attempt 163
    - attempt 164
    - attempt 165
    - attempt 166
    - attempt 167
    - attempt 168
    - attempt 169
    - attempt 170
    - attempt 171
    - attempt 172
    - attempt 173
    - attempt 174
    - attempt 175
    - attempt 176
    - attempt 177
    - attempt 178
    - attempt 179
    - attempt 180
    - attempt 181
    - attempt 182
    - attempt 183
    - attempt 184
    - attempt 185
    - attempt 186
    - attempt 187
    - attempt 188
    - attempt 189
    - attempt 190
    - attempt 191
    - attempt 192
    - attempt 193
    - attempt 194
    - attempt 195
    - attempt 196
    - attempt 197
    - attempt 198
    - attempt 199
    - attempt 200
    - attempt 201
    - attempt 202
    - attempt 203
    - attempt 204
    - attempt 205
    - attempt 206
    - attempt 207
    - attempt 208
    - attempt 209
    - attempt 210
    - attempt 211
    - attempt 212
    - attempt 213
    - attempt 214
    - attempt 215
    - attempt 216
    - attempt 217
    - attempt 218
    - attempt 219
    - attempt 220
    - attempt 221
    - attempt 222
    - attempt 223
    - attempt 224
  - ghc947_duoids-hedgehog
    - attempt 1
    - attempt 2
    - attempt 3
    - attempt 4
    - attempt 5
    - attempt 6
    - attempt 7
    - attempt 8
    - attempt 9
    - attempt 10
    - attempt 11
    - attempt 12
    - attempt 13
    - attempt 14
    - attempt 15
    - attempt 16
    - attempt 17
    - attempt 18
    - attempt 19
    - attempt 20
    - attempt 21
    - attempt 22
    - attempt 23
    - attempt 24
    - attempt 25
    - attempt 26
    - attempt 27
    - attempt 28
    - attempt 29
    - attempt 30
    - attempt 31
    - attempt 32
    - attempt 33
    - attempt 34
    - attempt 35
    - attempt 36
    - attempt 37
    - attempt 38
    - attempt 39
    - attempt 40
    - attempt 41
    - attempt 42
    - attempt 43
    - attempt 44
    - attempt 45
    - attempt 46
    - attempt 47
    - attempt 48
    - attempt 49
    - attempt 50
    - attempt 51
    - attempt 52
    - attempt 53
    - attempt 54
    - attempt 55
    - attempt 56
    - attempt 57
    - attempt 58
    - attempt 59
    - attempt 60
    - attempt 61
    - attempt 62
    - attempt 63
    - attempt 64
    - attempt 65
    - attempt 66
    - attempt 67
    - attempt 68
    - attempt 69
    - attempt 70
    - attempt 71
    - attempt 72
    - attempt 73
    - attempt 74
    - attempt 75
    - attempt 76
    - attempt 77
    - attempt 78
    - attempt 79
    - attempt 80
    - attempt 81
    - attempt 82
    - attempt 83
    - attempt 84
    - attempt 85
    - attempt 86
    - attempt 87
    - attempt 88
    - attempt 89
    - attempt 90
    - attempt 91
    - attempt 92
    - attempt 93
    - attempt 94
    - attempt 95
    - attempt 96
    - attempt 97
    - attempt 98
    - attempt 99
    - attempt 100
    - attempt 101
    - attempt 102
    - attempt 103
    - attempt 104
    - attempt 105
    - attempt 106
    - attempt 107
    - attempt 108
    - attempt 109
    - attempt 110
    - attempt 111
    - attempt 112
    - attempt 113
    - attempt 114
    - attempt 115
    - attempt 116
    - attempt 117
    - attempt 118
    - attempt 119
    - attempt 120
    - attempt 121
    - attempt 122
    - attempt 123
    - attempt 124
    - attempt 125
    - attempt 126
    - attempt 127
    - attempt 128
    - attempt 129
    - attempt 130
    - attempt 131
    - attempt 132
    - attempt 133
    - attempt 134
    - attempt 135
    - attempt 136
    - attempt 137
    - attempt 138
    - attempt 139
    - attempt 140
    - attempt 141
    - attempt 142
    - attempt 143
    - attempt 144
    - attempt 145
    - attempt 146
    - attempt 147
    - attempt 148
    - attempt 149
    - attempt 150
    - attempt 151
    - attempt 152
    - attempt 153
    - attempt 154
    - attempt 155
    - attempt 156
    - attempt 157
    - attempt 158
    - attempt 159
    - attempt 160
    - attempt 161
    - attempt 162
    - attempt 163
    - attempt 164
    - attempt 165
    - attempt 166
    - attempt 167
    - attempt 168
    - attempt 169
    - attempt 170
    - attempt 171
    - attempt 172
    - attempt 173
    - attempt 174
    - attempt 175
    - attempt 176
    - attempt 177
    - attempt 178
    - attempt 179
    - attempt 180
    - attempt 181
    - attempt 182
    - attempt 183
    - attempt 184
    - attempt 185
    - attempt 186
    - attempt 187
    - attempt 188
    - attempt 189
    - attempt 190
    - attempt 191
    - attempt 192
    - attempt 193
    - attempt 194
    - attempt 195
    - attempt 196
    - attempt 197
    - attempt 198
    - attempt 199
    - attempt 200
    - attempt 201
    - attempt 202
    - attempt 203
    - attempt 204
    - attempt 205
    - attempt 206
    - attempt 207
    - attempt 208
    - attempt 209
    - attempt 210
    - attempt 211
    - attempt 212
    - attempt 213
    - attempt 214
    - attempt 215
    - attempt 216
    - attempt 217
    - attempt 218
    - attempt 219
    - attempt 220
    - attempt 221
    - attempt 222
    - attempt 223
    - attempt 224
  - ghc947_transformer-duoids
    - attempt 1
    - attempt 2
    - attempt 3
    - attempt 4
    - attempt 5
    - attempt 6
    - attempt 7
    - attempt 8
    - attempt 9
    - attempt 10
    - attempt 11
    - attempt 12
    - attempt 13
    - attempt 14
    - attempt 15
    - attempt 16
    - attempt 17
    - attempt 18
    - attempt 19
    - attempt 20
    - attempt 21
    - attempt 22
    - attempt 23
    - attempt 24
    - attempt 25
    - attempt 26
    - attempt 27
    - attempt 28
    - attempt 29
    - attempt 30
    - attempt 31
    - attempt 32
    - attempt 33
    - attempt 34
    - attempt 35
    - attempt 36
    - attempt 37
    - attempt 38
    - attempt 39
    - attempt 40
    - attempt 41
    - attempt 42
    - attempt 43
    - attempt 44
    - attempt 45
    - attempt 46
    - attempt 47
    - attempt 48
    - attempt 49
    - attempt 50
    - attempt 51
    - attempt 52
    - attempt 53
    - attempt 54
    - attempt 55
    - attempt 56
    - attempt 57
    - attempt 58
    - attempt 59
    - attempt 60
    - attempt 61
    - attempt 62
    - attempt 63
    - attempt 64
    - attempt 65
    - attempt 66
    - attempt 67
    - attempt 68
    - attempt 69
    - attempt 70
    - attempt 71
    - attempt 72
    - attempt 73
    - attempt 74
    - attempt 75
    - attempt 76
    - attempt 77
    - attempt 78
    - attempt 79
    - attempt 80
    - attempt 81
    - attempt 82
    - attempt 83
    - attempt 84
    - attempt 85
    - attempt 86
    - attempt 87
    - attempt 88
    - attempt 89
    - attempt 90
    - attempt 91
    - attempt 92
    - attempt 93
    - attempt 94
    - attempt 95
    - attempt 96
    - attempt 97
    - attempt 98
    - attempt 99
    - attempt 100
    - attempt 101
    - attempt 102
    - attempt 103
    - attempt 104
    - attempt 105
    - attempt 106
    - attempt 107
    - attempt 108
    - attempt 109
    - attempt 110
    - attempt 111
    - attempt 112
    - attempt 113
    - attempt 114
    - attempt 115
    - attempt 116
    - attempt 117
    - attempt 118
    - attempt 119
    - attempt 120
    - attempt 121
    - attempt 122
    - attempt 123
    - attempt 124
    - attempt 125
    - attempt 126
    - attempt 127
    - attempt 128
    - attempt 129
    - attempt 130
    - attempt 131
    - attempt 132
    - attempt 133
    - attempt 134
    - attempt 135
    - attempt 136
    - attempt 137
    - attempt 138
    - attempt 139
    - attempt 140
    - attempt 141
    - attempt 142
    - attempt 143
    - attempt 144
    - attempt 145
    - attempt 146
    - attempt 147
    - attempt 148
    - attempt 149
    - attempt 150
    - attempt 151
    - attempt 152
    - attempt 153
    - attempt 154
    - attempt 155
    - attempt 156
    - attempt 157
    - attempt 158
    - attempt 159
    - attempt 160
    - attempt 161
    - attempt 162
    - attempt 163
    - attempt 164
    - attempt 165
    - attempt 166
    - attempt 167
    - attempt 168
    - attempt 169
    - attempt 170
    - attempt 171
    - attempt 172
    - attempt 173
    - attempt 174
    - attempt 175
    - attempt 176
    - attempt 177
    - attempt 178
    - attempt 179
    - attempt 180
    - attempt 181
    - attempt 182
    - attempt 183
    - attempt 184
    - attempt 185
    - attempt 186
    - attempt 187
    - attempt 188
    - attempt 189
    - attempt 190
    - attempt 191
    - attempt 192
    - attempt 193
    - attempt 194
    - attempt 195
    - attempt 196
    - attempt 197
    - attempt 198
    - attempt 199
    - attempt 200
    - attempt 201
    - attempt 202
    - attempt 203
    - attempt 204
    - attempt 205
    - attempt 206
    - attempt 207
    - attempt 208
    - attempt 209
    - attempt 210
    - attempt 211
    - attempt 212
    - attempt 213
    - attempt 214
    - attempt 215
    - attempt 216
    - attempt 217
    - attempt 218
    - attempt 219
    - attempt 220
    - attempt 221
    - attempt 222
    - attempt 223
    - attempt 224
  - ghc948_algebraic-graph-duoids
    - attempt 1
    - attempt 2
    - attempt 3
    - attempt 4
    - attempt 5
    - attempt 6
    - attempt 7
    - attempt 8
    - attempt 9
    - attempt 10
    - attempt 11
    - attempt 12
    - attempt 13
    - attempt 14
    - attempt 15
    - attempt 16
    - attempt 17
    - attempt 18
    - attempt 19
    - attempt 20
    - attempt 21
    - attempt 22
    - attempt 23
    - attempt 24
    - attempt 25
    - attempt 26
    - attempt 27
    - attempt 28
    - attempt 29
    - attempt 30
    - attempt 31
    - attempt 32
    - attempt 33
    - attempt 34
    - attempt 35
    - attempt 36
    - attempt 37
    - attempt 38
    - attempt 39
    - attempt 40
    - attempt 41
    - attempt 42
    - attempt 43
    - attempt 44
    - attempt 45
    - attempt 46
    - attempt 47
    - attempt 48
    - attempt 49
    - attempt 50
    - attempt 51
    - attempt 52
    - attempt 53
    - attempt 54
    - attempt 55
    - attempt 56
    - attempt 57
    - attempt 58
    - attempt 59
    - attempt 60
    - attempt 61
    - attempt 62
    - attempt 63
    - attempt 64
    - attempt 65
    - attempt 66
    - attempt 67
    - attempt 68
    - attempt 69
    - attempt 70
    - attempt 71
    - attempt 72
    - attempt 73
    - attempt 74
    - attempt 75
    - attempt 76
    - attempt 77
    - attempt 78
    - attempt 79
    - attempt 80
    - attempt 81
    - attempt 82
    - attempt 83
    - attempt 84
    - attempt 85
    - attempt 86
    - attempt 87
    - attempt 88
    - attempt 89
    - attempt 90
    - attempt 91
    - attempt 92
    - attempt 93
    - attempt 94
    - attempt 95
    - attempt 96
    - attempt 97
    - attempt 98
    - attempt 99
    - attempt 100
    - attempt 101
    - attempt 102
    - attempt 103
    - attempt 104
    - attempt 105
    - attempt 106
    - attempt 107
    - attempt 108
    - attempt 109
    - attempt 110
    - attempt 111
    - attempt 112
    - attempt 113
    - attempt 114
    - attempt 115
    - attempt 116
    - attempt 117
    - attempt 118
    - attempt 119
    - attempt 120
    - attempt 121
    - attempt 122
    - attempt 123
    - attempt 124
    - attempt 125
    - attempt 126
    - attempt 127
    - attempt 128
    - attempt 129
    - attempt 130
    - attempt 131
    - attempt 132
    - attempt 133
    - attempt 134
    - attempt 135
    - attempt 136
    - attempt 137
    - attempt 138
    - attempt 139
    - attempt 140
    - attempt 141
    - attempt 142
    - attempt 143
    - attempt 144
    - attempt 145
    - attempt 146
    - attempt 147
    - attempt 148
    - attempt 149
    - attempt 150
    - attempt 151
    - attempt 152
    - attempt 153
    - attempt 154
    - attempt 155
    - attempt 156
    - attempt 157
    - attempt 158
    - attempt 159
    - attempt 160
    - attempt 161
    - attempt 162
    - attempt 163
    - attempt 164
    - attempt 165
    - attempt 166
    - attempt 167
    - attempt 168
    - attempt 169
    - attempt 170
    - attempt 171
    - attempt 172
    - attempt 173
    - attempt 174
    - attempt 175
    - attempt 176
    - attempt 177
    - attempt 178
    - attempt 179
    - attempt 180
    - attempt 181
    - attempt 182
    - attempt 183
    - attempt 184
    - attempt 185
    - attempt 186
    - attempt 187
    - attempt 188
    - attempt 189
    - attempt 190
    - attempt 191
    - attempt 192
    - attempt 193
    - attempt 194
    - attempt 195
    - attempt 196
    - attempt 197
    - attempt 198
    - attempt 199
    - attempt 200
    - attempt 201
    - attempt 202
    - attempt 203
    - attempt 204
    - attempt 205
    - attempt 206
    - attempt 207
    - attempt 208
    - attempt 209
    - attempt 210
    - attempt 211
    - attempt 212
    - attempt 213
    - attempt 214
    - attempt 215
    - attempt 216
    - attempt 217
    - attempt 218
    - attempt 219
    - attempt 220
    - attempt 221
    - attempt 222
    - attempt 223
    - attempt 224
  - ghc948_all
    - attempt 1
    - attempt 2
    - attempt 3
    - attempt 4
    - attempt 5
    - attempt 6
    - attempt 7
    - attempt 8
    - attempt 9
    - attempt 10
    - attempt 11
    - attempt 12
    - attempt 13
    - attempt 14
    - attempt 15
    - attempt 16
    - attempt 17
    - attempt 18
    - attempt 19
    - attempt 20
    - attempt 21
    - attempt 22
    - attempt 23
    - attempt 24
    - attempt 25
    - attempt 26
    - attempt 27
    - attempt 28
    - attempt 29
    - attempt 30
    - attempt 31
    - attempt 32
    - attempt 33
    - attempt 34
    - attempt 35
    - attempt 36
    - attempt 37
    - attempt 38
    - attempt 39
    - attempt 40
    - attempt 41
    - attempt 42
    - attempt 43
    - attempt 44
    - attempt 45
    - attempt 46
    - attempt 47
    - attempt 48
    - attempt 49
    - attempt 50
    - attempt 51
    - attempt 52
    - attempt 53
    - attempt 54
    - attempt 55
    - attempt 56
    - attempt 57
    - attempt 58
    - attempt 59
    - attempt 60
    - attempt 61
    - attempt 62
    - attempt 63
    - attempt 64
    - attempt 65
    - attempt 66
    - attempt 67
    - attempt 68
    - attempt 69
    - attempt 70
    - attempt 71
    - attempt 72
    - attempt 73
    - attempt 74
    - attempt 75
    - attempt 76
    - attempt 77
    - attempt 78
    - attempt 79
    - attempt 80
    - attempt 81
    - attempt 82
    - attempt 83
    - attempt 84
    - attempt 85
    - attempt 86
    - attempt 87
    - attempt 88
    - attempt 89
    - attempt 90
    - attempt 91
    - attempt 92
    - attempt 93
    - attempt 94
    - attempt 95
    - attempt 96
    - attempt 97
    - attempt 98
    - attempt 99
    - attempt 100
    - attempt 101
    - attempt 102
    - attempt 103
    - attempt 104
    - attempt 105
    - attempt 106
    - attempt 107
    - attempt 108
    - attempt 109
    - attempt 110
    - attempt 111
    - attempt 112
    - attempt 113
    - attempt 114
    - attempt 115
    - attempt 116
    - attempt 117
    - attempt 118
    - attempt 119
    - attempt 120
    - attempt 121
    - attempt 122
    - attempt 123
    - attempt 124
    - attempt 125
    - attempt 126
    - attempt 127
    - attempt 128
    - attempt 129
    - attempt 130
    - attempt 131
    - attempt 132
    - attempt 133
    - attempt 134
    - attempt 135
    - attempt 136
    - attempt 137
    - attempt 138
    - attempt 139
    - attempt 140
    - attempt 141
    - attempt 142
    - attempt 143
    - attempt 144
    - attempt 145
    - attempt 146
    - attempt 147
    - attempt 148
    - attempt 149
    - attempt 150
    - attempt 151
    - attempt 152
    - attempt 153
    - attempt 154
    - attempt 155
    - attempt 156
    - attempt 157
    - attempt 158
    - attempt 159
    - attempt 160
    - attempt 161
    - attempt 162
    - attempt 163
    - attempt 164
    - attempt 165
    - attempt 166
    - attempt 167
    - attempt 168
    - attempt 169
    - attempt 170
    - attempt 171
    - attempt 172
    - attempt 173
    - attempt 174
    - attempt 175
    - attempt 176
    - attempt 177
    - attempt 178
    - attempt 179
    - attempt 180
    - attempt 181
    - attempt 182
    - attempt 183
    - attempt 184
    - attempt 185
    - attempt 186
    - attempt 187
    - attempt 188
    - attempt 189
    - attempt 190
    - attempt 191
    - attempt 192
    - attempt 193
    - attempt 194
    - attempt 195
    - attempt 196
    - attempt 197
    - attempt 198
    - attempt 199
    - attempt 200
    - attempt 201
    - attempt 202
    - attempt 203
    - attempt 204
    - attempt 205
    - attempt 206
    - attempt 207
    - attempt 208
    - attempt 209
    - attempt 210
    - attempt 211
    - attempt 212
    - attempt 213
    - attempt 214
    - attempt 215
    - attempt 216
    - attempt 217
    - attempt 218
    - attempt 219
    - attempt 220
    - attempt 221
    - attempt 222
    - attempt 223
    - attempt 224
  - ghc948_duoids
    - attempt 1
    - attempt 2
    - attempt 3
    - attempt 4
    - attempt 5
    - attempt 6
    - attempt 7
    - attempt 8
    - attempt 9
    - attempt 10
    - attempt 11
    - attempt 12
    - attempt 13
    - attempt 14
    - attempt 15
    - attempt 16
    - attempt 17
    - attempt 18
    - attempt 19
    - attempt 20
    - attempt 21
    - attempt 22
    - attempt 23
    - attempt 24
    - attempt 25
    - attempt 26
    - attempt 27
    - attempt 28
    - attempt 29
    - attempt 30
    - attempt 31
    - attempt 32
    - attempt 33
    - attempt 34
    - attempt 35
    - attempt 36
    - attempt 37
    - attempt 38
    - attempt 39
    - attempt 40
    - attempt 41
    - attempt 42
    - attempt 43
    - attempt 44
    - attempt 45
    - attempt 46
    - attempt 47
    - attempt 48
    - attempt 49
    - attempt 50
    - attempt 51
    - attempt 52
    - attempt 53
    - attempt 54
    - attempt 55
    - attempt 56
    - attempt 57
    - attempt 58
    - attempt 59
    - attempt 60
    - attempt 61
    - attempt 62
    - attempt 63
    - attempt 64
    - attempt 65
    - attempt 66
    - attempt 67
    - attempt 68
    - attempt 69
    - attempt 70
    - attempt 71
    - attempt 72
    - attempt 73
    - attempt 74
    - attempt 75
    - attempt 76
    - attempt 77
    - attempt 78
    - attempt 79
    - attempt 80
    - attempt 81
    - attempt 82
    - attempt 83
    - attempt 84
    - attempt 85
    - attempt 86
    - attempt 87
    - attempt 88
    - attempt 89
    - attempt 90
    - attempt 91
    - attempt 92
    - attempt 93
    - attempt 94
    - attempt 95
    - attempt 96
    - attempt 97
    - attempt 98
    - attempt 99
    - attempt 100
    - attempt 101
    - attempt 102
    - attempt 103
    - attempt 104
    - attempt 105
    - attempt 106
    - attempt 107
    - attempt 108
    - attempt 109
    - attempt 110
    - attempt 111
    - attempt 112
    - attempt 113
    - attempt 114
    - attempt 115
    - attempt 116
    - attempt 117
    - attempt 118
    - attempt 119
    - attempt 120
    - attempt 121
    - attempt 122
    - attempt 123
    - attempt 124
    - attempt 125
    - attempt 126
    - attempt 127
    - attempt 128
    - attempt 129
    - attempt 130
    - attempt 131
    - attempt 132
    - attempt 133
    - attempt 134
    - attempt 135
    - attempt 136
    - attempt 137
    - attempt 138
    - attempt 139
    - attempt 140
    - attempt 141
    - attempt 142
    - attempt 143
    - attempt 144
    - attempt 145
    - attempt 146
    - attempt 147
    - attempt 148
    - attempt 149
    - attempt 150
    - attempt 151
    - attempt 152
    - attempt 153
    - attempt 154
    - attempt 155
    - attempt 156
    - attempt 157
    - attempt 158
    - attempt 159
    - attempt 160
    - attempt 161
    - attempt 162
    - attempt 163
    - attempt 164
    - attempt 165
    - attempt 166
    - attempt 167
    - attempt 168
    - attempt 169
    - attempt 170
    - attempt 171
    - attempt 172
    - attempt 173
    - attempt 174
    - attempt 175
    - attempt 176
    - attempt 177
    - attempt 178
    - attempt 179
    - attempt 180
    - attempt 181
    - attempt 182
    - attempt 183
    - attempt 184
    - attempt 185
    - attempt 186
    - attempt 187
    - attempt 188
    - attempt 189
    - attempt 190
    - attempt 191
    - attempt 192
    - attempt 193
    - attempt 194
    - attempt 195
    - attempt 196
    - attempt 197
    - attempt 198
    - attempt 199
    - attempt 200
    - attempt 201
    - attempt 202
    - attempt 203
    - attempt 204
    - attempt 205
    - attempt 206
    - attempt 207
    - attempt 208
    - attempt 209
    - attempt 210
    - attempt 211
    - attempt 212
    - attempt 213
    - attempt 214
    - attempt 215
    - attempt 216
    - attempt 217
    - attempt 218
    - attempt 219
    - attempt 220
    - attempt 221
    - attempt 222
    - attempt 223
    - attempt 224
  - ghc948_duoids-hedgehog
    - attempt 1
    - attempt 2
    - attempt 3
    - attempt 4
    - attempt 5
    - attempt 6
    - attempt 7
    - attempt 8
    - attempt 9
    - attempt 10
    - attempt 11
    - attempt 12
    - attempt 13
    - attempt 14
    - attempt 15
    - attempt 16
    - attempt 17
    - attempt 18
    - attempt 19
    - attempt 20
    - attempt 21
    - attempt 22
    - attempt 23
    - attempt 24
    - attempt 25
    - attempt 26
    - attempt 27
    - attempt 28
    - attempt 29
    - attempt 30
    - attempt 31
    - attempt 32
    - attempt 33
    - attempt 34
    - attempt 35
    - attempt 36
    - attempt 37
    - attempt 38
    - attempt 39
    - attempt 40
    - attempt 41
    - attempt 42
    - attempt 43
    - attempt 44
    - attempt 45
    - attempt 46
    - attempt 47
    - attempt 48
    - attempt 49
    - attempt 50
    - attempt 51
    - attempt 52
    - attempt 53
    - attempt 54
    - attempt 55
    - attempt 56
    - attempt 57
    - attempt 58
    - attempt 59
    - attempt 60
    - attempt 61
    - attempt 62
    - attempt 63
    - attempt 64
    - attempt 65
    - attempt 66
    - attempt 67
    - attempt 68
    - attempt 69
    - attempt 70
    - attempt 71
    - attempt 72
    - attempt 73
    - attempt 74
    - attempt 75
    - attempt 76
    - attempt 77
    - attempt 78
    - attempt 79
    - attempt 80
    - attempt 81
    - attempt 82
    - attempt 83
    - attempt 84
    - attempt 85
    - attempt 86
    - attempt 87
    - attempt 88
    - attempt 89
    - attempt 90
    - attempt 91
    - attempt 92
    - attempt 93
    - attempt 94
    - attempt 95
    - attempt 96
    - attempt 97
    - attempt 98
    - attempt 99
    - attempt 100
    - attempt 101
    - attempt 102
    - attempt 103
    - attempt 104
    - attempt 105
    - attempt 106
    - attempt 107
    - attempt 108
    - attempt 109
    - attempt 110
    - attempt 111
    - attempt 112
    - attempt 113
    - attempt 114
    - attempt 115
    - attempt 116
    - attempt 117
    - attempt 118
    - attempt 119
    - attempt 120
    - attempt 121
    - attempt 122
    - attempt 123
    - attempt 124
    - attempt 125
    - attempt 126
    - attempt 127
    - attempt 128
    - attempt 129
    - attempt 130
    - attempt 131
    - attempt 132
    - attempt 133
    - attempt 134
    - attempt 135
    - attempt 136
    - attempt 137
    - attempt 138
    - attempt 139
    - attempt 140
    - attempt 141
    - attempt 142
    - attempt 143
    - attempt 144
    - attempt 145
    - attempt 146
    - attempt 147
    - attempt 148
    - attempt 149
    - attempt 150
    - attempt 151
    - attempt 152
    - attempt 153
    - attempt 154
    - attempt 155
    - attempt 156
    - attempt 157
    - attempt 158
    - attempt 159
    - attempt 160
    - attempt 161
    - attempt 162
    - attempt 163
    - attempt 164
    - attempt 165
    - attempt 166
    - attempt 167
    - attempt 168
    - attempt 169
    - attempt 170
    - attempt 171
    - attempt 172
    - attempt 173
    - attempt 174
    - attempt 175
    - attempt 176
    - attempt 177
    - attempt 178
    - attempt 179
    - attempt 180
    - attempt 181
    - attempt 182
    - attempt 183
    - attempt 184
    - attempt 185
    - attempt 186
    - attempt 187
    - attempt 188
    - attempt 189
    - attempt 190
    - attempt 191
    - attempt 192
    - attempt 193
    - attempt 194
    - attempt 195
    - attempt 196
    - attempt 197
    - attempt 198
    - attempt 199
    - attempt 200
    - attempt 201
    - attempt 202
    - attempt 203
    - attempt 204
    - attempt 205
    - attempt 206
    - attempt 207
    - attempt 208
    - attempt 209
    - attempt 210
    - attempt 211
    - attempt 212
    - attempt 213
    - attempt 214
    - attempt 215
    - attempt 216
    - attempt 217
    - attempt 218
    - attempt 219
    - attempt 220
    - attempt 221
    - attempt 222
    - attempt 223
    - attempt 224
  - ghc948_transformer-duoids
    - attempt 1
    - attempt 2
    - attempt 3
    - attempt 4
    - attempt 5
    - attempt 6
    - attempt 7
    - attempt 8
    - attempt 9
    - attempt 10
    - attempt 11
    - attempt 12
    - attempt 13
    - attempt 14
    - attempt 15
    - attempt 16
    - attempt 17
    - attempt 18
    - attempt 19
    - attempt 20
    - attempt 21
    - attempt 22
    - attempt 23
    - attempt 24
    - attempt 25
    - attempt 26
    - attempt 27
    - attempt 28
    - attempt 29
    - attempt 30
    - attempt 31
    - attempt 32
    - attempt 33
    - attempt 34
    - attempt 35
    - attempt 36
    - attempt 37
    - attempt 38
    - attempt 39
    - attempt 40
    - attempt 41
    - attempt 42
    - attempt 43
    - attempt 44
    - attempt 45
    - attempt 46
    - attempt 47
    - attempt 48
    - attempt 49
    - attempt 50
    - attempt 51
    - attempt 52
    - attempt 53
    - attempt 54
    - attempt 55
    - attempt 56
    - attempt 57
    - attempt 58
    - attempt 59
    - attempt 60
    - attempt 61
    - attempt 62
    - attempt 63
    - attempt 64
    - attempt 65
    - attempt 66
    - attempt 67
    - attempt 68
    - attempt 69
    - attempt 70
    - attempt 71
    - attempt 72
    - attempt 73
    - attempt 74
    - attempt 75
    - attempt 76
    - attempt 77
    - attempt 78
    - attempt 79
    - attempt 80
    - attempt 81
    - attempt 82
    - attempt 83
    - attempt 84
    - attempt 85
    - attempt 86
    - attempt 87
    - attempt 88
    - attempt 89
    - attempt 90
    - attempt 91
    - attempt 92
    - attempt 93
    - attempt 94
    - attempt 95
    - attempt 96
    - attempt 97
    - attempt 98
    - attempt 99
    - attempt 100
    - attempt 101
    - attempt 102
    - attempt 103
    - attempt 104
    - attempt 105
    - attempt 106
    - attempt 107
    - attempt 108
    - attempt 109
    - attempt 110
    - attempt 111
    - attempt 112
    - attempt 113
    - attempt 114
    - attempt 115
    - attempt 116
    - attempt 117
    - attempt 118
    - attempt 119
    - attempt 120
    - attempt 121
    - attempt 122
    - attempt 123
    - attempt 124
    - attempt 125
    - attempt 126
    - attempt 127
    - attempt 128
    - attempt 129
    - attempt 130
    - attempt 131
    - attempt 132
    - attempt 133
    - attempt 134
    - attempt 135
    - attempt 136
    - attempt 137
    - attempt 138
    - attempt 139
    - attempt 140
    - attempt 141
    - attempt 142
    - attempt 143
    - attempt 144
    - attempt 145
    - attempt 146
    - attempt 147
    - attempt 148
    - attempt 149
    - attempt 150
    - attempt 151
    - attempt 152
    - attempt 153
    - attempt 154
    - attempt 155
    - attempt 156
    - attempt 157
    - attempt 158
    - attempt 159
    - attempt 160
    - attempt 161
    - attempt 162
    - attempt 163
    - attempt 164
    - attempt 165
    - attempt 166
    - attempt 167
    - attempt 168
    - attempt 169
    - attempt 170
    - attempt 171
    - attempt 172
    - attempt 173
    - attempt 174
    - attempt 175
    - attempt 176
    - attempt 177
    - attempt 178
    - attempt 179
    - attempt 180
    - attempt 181
    - attempt 182
    - attempt 183
    - attempt 184
    - attempt 185
    - attempt 186
    - attempt 187
    - attempt 188
    - attempt 189
    - attempt 190
    - attempt 191
    - attempt 192
    - attempt 193
    - attempt 194
    - attempt 195
    - attempt 196
    - attempt 197
    - attempt 198
    - attempt 199
    - attempt 200
    - attempt 201
    - attempt 202
    - attempt 203
    - attempt 204
    - attempt 205
    - attempt 206
    - attempt 207
    - attempt 208
    - attempt 209
    - attempt 210
    - attempt 211
    - attempt 212
    - attempt 213
    - attempt 214
    - attempt 215
    - attempt 216
    - attempt 217
    - attempt 218
    - attempt 219
    - attempt 220
    - attempt 221
    - attempt 222
    - attempt 223
    - attempt 224
  - ghc963_algebraic-graph-duoids
    - attempt 1
    - attempt 2
    - attempt 3
    - attempt 4
    - attempt 5
    - attempt 6
    - attempt 7
    - attempt 8
    - attempt 9
    - attempt 10
    - attempt 11
    - attempt 12
    - attempt 13
    - attempt 14
    - attempt 15
    - attempt 16
    - attempt 17
    - attempt 18
    - attempt 19
    - attempt 20
    - attempt 21
    - attempt 22
    - attempt 23
    - attempt 24
    - attempt 25
    - attempt 26
    - attempt 27
    - attempt 28
    - attempt 29
    - attempt 30
    - attempt 31
    - attempt 32
    - attempt 33
    - attempt 34
    - attempt 35
    - attempt 36
    - attempt 37
    - attempt 38
    - attempt 39
    - attempt 40
    - attempt 41
    - attempt 42
    - attempt 43
    - attempt 44
    - attempt 45
    - attempt 46
    - attempt 47
    - attempt 48
    - attempt 49
    - attempt 50
    - attempt 51
    - attempt 52
    - attempt 53
    - attempt 54
    - attempt 55
    - attempt 56
    - attempt 57
    - attempt 58
    - attempt 59
    - attempt 60
    - attempt 61
    - attempt 62
    - attempt 63
    - attempt 64
    - attempt 65
    - attempt 66
    - attempt 67
    - attempt 68
    - attempt 69
    - attempt 70
    - attempt 71
    - attempt 72
    - attempt 73
    - attempt 74
    - attempt 75
    - attempt 76
    - attempt 77
    - attempt 78
    - attempt 79
    - attempt 80
    - attempt 81
    - attempt 82
    - attempt 83
    - attempt 84
    - attempt 85
    - attempt 86
    - attempt 87
    - attempt 88
    - attempt 89
    - attempt 90
    - attempt 91
    - attempt 92
    - attempt 93
    - attempt 94
    - attempt 95
    - attempt 96
    - attempt 97
    - attempt 98
    - attempt 99
    - attempt 100
    - attempt 101
    - attempt 102
    - attempt 103
    - attempt 104
    - attempt 105
    - attempt 106
    - attempt 107
    - attempt 108
    - attempt 109
    - attempt 110
    - attempt 111
    - attempt 112
    - attempt 113
    - attempt 114
    - attempt 115
    - attempt 116
    - attempt 117
    - attempt 118
    - attempt 119
    - attempt 120
    - attempt 121
    - attempt 122
    - attempt 123
    - attempt 124
    - attempt 125
    - attempt 126
    - attempt 127
    - attempt 128
    - attempt 129
    - attempt 130
    - attempt 131
    - attempt 132
    - attempt 133
    - attempt 134
    - attempt 135
    - attempt 136
    - attempt 137
    - attempt 138
    - attempt 139
    - attempt 140
    - attempt 141
    - attempt 142
    - attempt 143
    - attempt 144
    - attempt 145
    - attempt 146
    - attempt 147
    - attempt 148
    - attempt 149
    - attempt 150
    - attempt 151
    - attempt 152
    - attempt 153
    - attempt 154
    - attempt 155
    - attempt 156
    - attempt 157
    - attempt 158
    - attempt 159
    - attempt 160
    - attempt 161
    - attempt 162
    - attempt 163
    - attempt 164
    - attempt 165
    - attempt 166
    - attempt 167
    - attempt 168
    - attempt 169
    - attempt 170
    - attempt 171
    - attempt 172
    - attempt 173
    - attempt 174
    - attempt 175
    - attempt 176
    - attempt 177
    - attempt 178
    - attempt 179
    - attempt 180
    - attempt 181
    - attempt 182
    - attempt 183
    - attempt 184
    - attempt 185
    - attempt 186
    - attempt 187
    - attempt 188
    - attempt 189
    - attempt 190
    - attempt 191
    - attempt 192
    - attempt 193
    - attempt 194
    - attempt 195
    - attempt 196
    - attempt 197
    - attempt 198
    - attempt 199
    - attempt 200
    - attempt 201
    - attempt 202
    - attempt 203
    - attempt 204
    - attempt 205
    - attempt 206
    - attempt 207
    - attempt 208
    - attempt 209
    - attempt 210
    - attempt 211
    - attempt 212
    - attempt 213
    - attempt 214
    - attempt 215
    - attempt 216
    - attempt 217
    - attempt 218
    - attempt 219
    - attempt 220
    - attempt 221
    - attempt 222
    - attempt 223
    - attempt 224
  - ghc963_all
    - attempt 1
    - attempt 2
    - attempt 3
    - attempt 4
    - attempt 5
    - attempt 6
    - attempt 7
    - attempt 8
    - attempt 9
    - attempt 10
    - attempt 11
    - attempt 12
    - attempt 13
    - attempt 14
    - attempt 15
    - attempt 16
    - attempt 17
    - attempt 18
    - attempt 19
    - attempt 20
    - attempt 21
    - attempt 22
    - attempt 23
    - attempt 24
    - attempt 25
    - attempt 26
    - attempt 27
    - attempt 28
    - attempt 29
    - attempt 30
    - attempt 31
    - attempt 32
    - attempt 33
    - attempt 34
    - attempt 35
    - attempt 36
    - attempt 37
    - attempt 38
    - attempt 39
    - attempt 40
    - attempt 41
    - attempt 42
    - attempt 43
    - attempt 44
    - attempt 45
    - attempt 46
    - attempt 47
    - attempt 48
    - attempt 49
    - attempt 50
    - attempt 51
    - attempt 52
    - attempt 53
    - attempt 54
    - attempt 55
    - attempt 56
    - attempt 57
    - attempt 58
    - attempt 59
    - attempt 60
    - attempt 61
    - attempt 62
    - attempt 63
    - attempt 64
    - attempt 65
    - attempt 66
    - attempt 67
    - attempt 68
    - attempt 69
    - attempt 70
    - attempt 71
    - attempt 72
    - attempt 73
    - attempt 74
    - attempt 75
    - attempt 76
    - attempt 77
    - attempt 78
    - attempt 79
    - attempt 80
    - attempt 81
    - attempt 82
    - attempt 83
    - attempt 84
    - attempt 85
    - attempt 86
    - attempt 87
    - attempt 88
    - attempt 89
    - attempt 90
    - attempt 91
    - attempt 92
    - attempt 93
    - attempt 94
    - attempt 95
    - attempt 96
    - attempt 97
    - attempt 98
    - attempt 99
    - attempt 100
    - attempt 101
    - attempt 102
    - attempt 103
    - attempt 104
    - attempt 105
    - attempt 106
    - attempt 107
    - attempt 108
    - attempt 109
    - attempt 110
    - attempt 111
    - attempt 112
    - attempt 113
    - attempt 114
    - attempt 115
    - attempt 116
    - attempt 117
    - attempt 118
    - attempt 119
    - attempt 120
    - attempt 121
    - attempt 122
    - attempt 123
    - attempt 124
    - attempt 125
    - attempt 126
    - attempt 127
    - attempt 128
    - attempt 129
    - attempt 130
    - attempt 131
    - attempt 132
    - attempt 133
    - attempt 134
    - attempt 135
    - attempt 136
    - attempt 137
    - attempt 138
    - attempt 139
    - attempt 140
    - attempt 141
    - attempt 142
    - attempt 143
    - attempt 144
    - attempt 145
    - attempt 146
    - attempt 147
    - attempt 148
    - attempt 149
    - attempt 150
    - attempt 151
    - attempt 152
    - attempt 153
    - attempt 154
    - attempt 155
    - attempt 156
    - attempt 157
    - attempt 158
    - attempt 159
    - attempt 160
    - attempt 161
    - attempt 162
    - attempt 163
    - attempt 164
    - attempt 165
    - attempt 166
    - attempt 167
    - attempt 168
    - attempt 169
    - attempt 170
    - attempt 171
    - attempt 172
    - attempt 173
    - attempt 174
    - attempt 175
    - attempt 176
    - attempt 177
    - attempt 178
    - attempt 179
    - attempt 180
    - attempt 181
    - attempt 182
    - attempt 183
    - attempt 184
    - attempt 185
    - attempt 186
    - attempt 187
    - attempt 188
    - attempt 189
    - attempt 190
    - attempt 191
    - attempt 192
    - attempt 193
    - attempt 194
    - attempt 195
    - attempt 196
    - attempt 197
    - attempt 198
    - attempt 199
    - attempt 200
    - attempt 201
    - attempt 202
    - attempt 203
    - attempt 204
    - attempt 205
    - attempt 206
    - attempt 207
    - attempt 208
    - attempt 209
    - attempt 210
    - attempt 211
    - attempt 212
    - attempt 213
    - attempt 214
    - attempt 215
    - attempt 216
    - attempt 217
    - attempt 218
    - attempt 219
    - attempt 220
    - attempt 221
    - attempt 222
    - attempt 223
    - attempt 224
  - ghc963_duoids
    - attempt 1
    - attempt 2
    - attempt 3
    - attempt 4
    - attempt 5
    - attempt 6
    - attempt 7
    - attempt 8
    - attempt 9
    - attempt 10
    - attempt 11
    - attempt 12
    - attempt 13
    - attempt 14
    - attempt 15
    - attempt 16
    - attempt 17
    - attempt 18
    - attempt 19
    - attempt 20
    - attempt 21
    - attempt 22
    - attempt 23
    - attempt 24
    - attempt 25
    - attempt 26
    - attempt 27
    - attempt 28
    - attempt 29
    - attempt 30
    - attempt 31
    - attempt 32
    - attempt 33
    - attempt 34
    - attempt 35
    - attempt 36
    - attempt 37
    - attempt 38
    - attempt 39
    - attempt 40
    - attempt 41
    - attempt 42
    - attempt 43
    - attempt 44
    - attempt 45
    - attempt 46
    - attempt 47
    - attempt 48
    - attempt 49
    - attempt 50
    - attempt 51
    - attempt 52
    - attempt 53
    - attempt 54
    - attempt 55
    - attempt 56
    - attempt 57
    - attempt 58
    - attempt 59
    - attempt 60
    - attempt 61
    - attempt 62
    - attempt 63
    - attempt 64
    - attempt 65
    - attempt 66
    - attempt 67
    - attempt 68
    - attempt 69
    - attempt 70
    - attempt 71
    - attempt 72
    - attempt 73
    - attempt 74
    - attempt 75
    - attempt 76
    - attempt 77
    - attempt 78
    - attempt 79
    - attempt 80
    - attempt 81
    - attempt 82
    - attempt 83
    - attempt 84
    - attempt 85
    - attempt 86
    - attempt 87
    - attempt 88
    - attempt 89
    - attempt 90
    - attempt 91
    - attempt 92
    - attempt 93
    - attempt 94
    - attempt 95
    - attempt 96
    - attempt 97
    - attempt 98
    - attempt 99
    - attempt 100
    - attempt 101
    - attempt 102
    - attempt 103
    - attempt 104
    - attempt 105
    - attempt 106
    - attempt 107
    - attempt 108
    - attempt 109
    - attempt 110
    - attempt 111
    - attempt 112
    - attempt 113
    - attempt 114
    - attempt 115
    - attempt 116
    - attempt 117
    - attempt 118
    - attempt 119
    - attempt 120
    - attempt 121
    - attempt 122
    - attempt 123
    - attempt 124
    - attempt 125
    - attempt 126
    - attempt 127
    - attempt 128
    - attempt 129
    - attempt 130
    - attempt 131
    - attempt 132
    - attempt 133
    - attempt 134
    - attempt 135
    - attempt 136
    - attempt 137
    - attempt 138
    - attempt 139
    - attempt 140
    - attempt 141
    - attempt 142
    - attempt 143
    - attempt 144
    - attempt 145
    - attempt 146
    - attempt 147
    - attempt 148
    - attempt 149
    - attempt 150
    - attempt 151
    - attempt 152
    - attempt 153
    - attempt 154
    - attempt 155
    - attempt 156
    - attempt 157
    - attempt 158
    - attempt 159
    - attempt 160
    - attempt 161
    - attempt 162
    - attempt 163
    - attempt 164
    - attempt 165
    - attempt 166
    - attempt 167
    - attempt 168
    - attempt 169
    - attempt 170
    - attempt 171
    - attempt 172
    - attempt 173
    - attempt 174
    - attempt 175
    - attempt 176
    - attempt 177
    - attempt 178
    - attempt 179
    - attempt 180
    - attempt 181
    - attempt 182
    - attempt 183
    - attempt 184
    - attempt 185
    - attempt 186
    - attempt 187
    - attempt 188
    - attempt 189
    - attempt 190
    - attempt 191
    - attempt 192
    - attempt 193
    - attempt 194
    - attempt 195
    - attempt 196
    - attempt 197
    - attempt 198
    - attempt 199
    - attempt 200
    - attempt 201
    - attempt 202
    - attempt 203
    - attempt 204
    - attempt 205
    - attempt 206
    - attempt 207
    - attempt 208
    - attempt 209
    - attempt 210
    - attempt 211
    - attempt 212
    - attempt 213
    - attempt 214
    - attempt 215
    - attempt 216
    - attempt 217
    - attempt 218
    - attempt 219
    - attempt 220
    - attempt 221
    - attempt 222
    - attempt 223
    - attempt 224
  - ghc963_duoids-hedgehog
    - attempt 1
    - attempt 2
    - attempt 3
    - attempt 4
    - attempt 5
    - attempt 6
    - attempt 7
    - attempt 8
    - attempt 9
    - attempt 10
    - attempt 11
    - attempt 12
    - attempt 13
    - attempt 14
    - attempt 15
    - attempt 16
    - attempt 17
    - attempt 18
    - attempt 19
    - attempt 20
    - attempt 21
    - attempt 22
    - attempt 23
    - attempt 24
    - attempt 25
    - attempt 26
    - attempt 27
    - attempt 28
    - attempt 29
    - attempt 30
    - attempt 31
    - attempt 32
    - attempt 33
    - attempt 34
    - attempt 35
    - attempt 36
    - attempt 37
    - attempt 38
    - attempt 39
    - attempt 40
    - attempt 41
    - attempt 42
    - attempt 43
    - attempt 44
    - attempt 45
    - attempt 46
    - attempt 47
    - attempt 48
    - attempt 49
    - attempt 50
    - attempt 51
    - attempt 52
    - attempt 53
    - attempt 54
    - attempt 55
    - attempt 56
    - attempt 57
    - attempt 58
    - attempt 59
    - attempt 60
    - attempt 61
    - attempt 62
    - attempt 63
    - attempt 64
    - attempt 65
    - attempt 66
    - attempt 67
    - attempt 68
    - attempt 69
    - attempt 70
    - attempt 71
    - attempt 72
    - attempt 73
    - attempt 74
    - attempt 75
    - attempt 76
    - attempt 77
    - attempt 78
    - attempt 79
    - attempt 80
    - attempt 81
    - attempt 82
    - attempt 83
    - attempt 84
    - attempt 85
    - attempt 86
    - attempt 87
    - attempt 88
    - attempt 89
    - attempt 90
    - attempt 91
    - attempt 92
    - attempt 93
    - attempt 94
    - attempt 95
    - attempt 96
    - attempt 97
    - attempt 98
    - attempt 99
    - attempt 100
    - attempt 101
    - attempt 102
    - attempt 103
    - attempt 104
    - attempt 105
    - attempt 106
    - attempt 107
    - attempt 108
    - attempt 109
    - attempt 110
    - attempt 111
    - attempt 112
    - attempt 113
    - attempt 114
    - attempt 115
    - attempt 116
    - attempt 117
    - attempt 118
    - attempt 119
    - attempt 120
    - attempt 121
    - attempt 122
    - attempt 123
    - attempt 124
    - attempt 125
    - attempt 126
    - attempt 127
    - attempt 128
    - attempt 129
    - attempt 130
    - attempt 131
    - attempt 132
    - attempt 133
    - attempt 134
    - attempt 135
    - attempt 136
    - attempt 137
    - attempt 138
    - attempt 139
    - attempt 140
    - attempt 141
    - attempt 142
    - attempt 143
    - attempt 144
    - attempt 145
    - attempt 146
    - attempt 147
    - attempt 148
    - attempt 149
    - attempt 150
    - attempt 151
    - attempt 152
    - attempt 153
    - attempt 154
    - attempt 155
    - attempt 156
    - attempt 157
    - attempt 158
    - attempt 159
    - attempt 160
    - attempt 161
    - attempt 162
    - attempt 163
    - attempt 164
    - attempt 165
    - attempt 166
    - attempt 167
    - attempt 168
    - attempt 169
    - attempt 170
    - attempt 171
    - attempt 172
    - attempt 173
    - attempt 174
    - attempt 175
    - attempt 176
    - attempt 177
    - attempt 178
    - attempt 179
    - attempt 180
    - attempt 181
    - attempt 182
    - attempt 183
    - attempt 184
    - attempt 185
    - attempt 186
    - attempt 187
    - attempt 188
    - attempt 189
    - attempt 190
    - attempt 191
    - attempt 192
    - attempt 193
    - attempt 194
    - attempt 195
    - attempt 196
    - attempt 197
    - attempt 198
    - attempt 199
    - attempt 200
    - attempt 201
    - attempt 202
    - attempt 203
    - attempt 204
    - attempt 205
    - attempt 206
    - attempt 207
    - attempt 208
    - attempt 209
    - attempt 210
    - attempt 211
    - attempt 212
    - attempt 213
    - attempt 214
    - attempt 215
    - attempt 216
    - attempt 217
    - attempt 218
    - attempt 219
    - attempt 220
    - attempt 221
    - attempt 222
    - attempt 223
    - attempt 224
  - ghc963_transformer-duoids
    - attempt 1
    - attempt 2
    - attempt 3
    - attempt 4
    - attempt 5
    - attempt 6
    - attempt 7
    - attempt 8
    - attempt 9
    - attempt 10
    - attempt 11
    - attempt 12
    - attempt 13
    - attempt 14
    - attempt 15
    - attempt 16
    - attempt 17
    - attempt 18
    - attempt 19
    - attempt 20
    - attempt 21
    - attempt 22
    - attempt 23
    - attempt 24
    - attempt 25
    - attempt 26
    - attempt 27
    - attempt 28
    - attempt 29
    - attempt 30
    - attempt 31
    - attempt 32
    - attempt 33
    - attempt 34
    - attempt 35
    - attempt 36
    - attempt 37
    - attempt 38
    - attempt 39
    - attempt 40
    - attempt 41
    - attempt 42
    - attempt 43
    - attempt 44
    - attempt 45
    - attempt 46
    - attempt 47
    - attempt 48
    - attempt 49
    - attempt 50
    - attempt 51
    - attempt 52
    - attempt 53
    - attempt 54
    - attempt 55
    - attempt 56
    - attempt 57
    - attempt 58
    - attempt 59
    - attempt 60
    - attempt 61
    - attempt 62
    - attempt 63
    - attempt 64
    - attempt 65
    - attempt 66
    - attempt 67
    - attempt 68
    - attempt 69
    - attempt 70
    - attempt 71
    - attempt 72
    - attempt 73
    - attempt 74
    - attempt 75
    - attempt 76
    - attempt 77
    - attempt 78
    - attempt 79
    - attempt 80
    - attempt 81
    - attempt 82
    - attempt 83
    - attempt 84
    - attempt 85
    - attempt 86
    - attempt 87
    - attempt 88
    - attempt 89
    - attempt 90
    - attempt 91
    - attempt 92
    - attempt 93
    - attempt 94
    - attempt 95
    - attempt 96
    - attempt 97
    - attempt 98
    - attempt 99
    - attempt 100
    - attempt 101
    - attempt 102
    - attempt 103
    - attempt 104
    - attempt 105
    - attempt 106
    - attempt 107
    - attempt 108
    - attempt 109
    - attempt 110
    - attempt 111
    - attempt 112
    - attempt 113
    - attempt 114
    - attempt 115
    - attempt 116
    - attempt 117
    - attempt 118
    - attempt 119
    - attempt 120
    - attempt 121
    - attempt 122
    - attempt 123
    - attempt 124
    - attempt 125
    - attempt 126
    - attempt 127
    - attempt 128
    - attempt 129
    - attempt 130
    - attempt 131
    - attempt 132
    - attempt 133
    - attempt 134
    - attempt 135
    - attempt 136
    - attempt 137
    - attempt 138
    - attempt 139
    - attempt 140
    - attempt 141
    - attempt 142
    - attempt 143
    - attempt 144
    - attempt 145
    - attempt 146
    - attempt 147
    - attempt 148
    - attempt 149
    - attempt 150
    - attempt 151
    - attempt 152
    - attempt 153
    - attempt 154
    - attempt 155
    - attempt 156
    - attempt 157
    - attempt 158
    - attempt 159
    - attempt 160
    - attempt 161
    - attempt 162
    - attempt 163
    - attempt 164
    - attempt 165
    - attempt 166
    - attempt 167
    - attempt 168
    - attempt 169
    - attempt 170
    - attempt 171
    - attempt 172
    - attempt 173
    - attempt 174
    - attempt 175
    - attempt 176
    - attempt 177
    - attempt 178
    - attempt 179
    - attempt 180
    - attempt 181
    - attempt 182
    - attempt 183
    - attempt 184
    - attempt 185
    - attempt 186
    - attempt 187
    - attempt 188
    - attempt 189
    - attempt 190
    - attempt 191
    - attempt 192
    - attempt 193
    - attempt 194
    - attempt 195
    - attempt 196
    - attempt 197
    - attempt 198
    - attempt 199
    - attempt 200
    - attempt 201
    - attempt 202
    - attempt 203
    - attempt 204
    - attempt 205
    - attempt 206
    - attempt 207
    - attempt 208
    - attempt 209
    - attempt 210
    - attempt 211
    - attempt 212
    - attempt 213
    - attempt 214
    - attempt 215
    - attempt 216
    - attempt 217
    - attempt 218
    - attempt 219
    - attempt 220
    - attempt 221
    - attempt 222
    - attempt 223
    - attempt 224
  - ghc964_algebraic-graph-duoids
    - attempt 1
    - attempt 2
    - attempt 3
    - attempt 4
    - attempt 5
    - attempt 6
    - attempt 7
    - attempt 8
    - attempt 9
    - attempt 10
    - attempt 11
    - attempt 12
    - attempt 13
    - attempt 14
    - attempt 15
    - attempt 16
    - attempt 17
    - attempt 18
    - attempt 19
    - attempt 20
    - attempt 21
    - attempt 22
    - attempt 23
    - attempt 24
    - attempt 25
    - attempt 26
    - attempt 27
    - attempt 28
    - attempt 29
    - attempt 30
    - attempt 31
    - attempt 32
    - attempt 33
    - attempt 34
    - attempt 35
    - attempt 36
    - attempt 37
    - attempt 38
    - attempt 39
    - attempt 40
    - attempt 41
    - attempt 42
    - attempt 43
    - attempt 44
    - attempt 45
    - attempt 46
    - attempt 47
    - attempt 48
    - attempt 49
    - attempt 50
    - attempt 51
    - attempt 52
    - attempt 53
    - attempt 54
    - attempt 55
    - attempt 56
    - attempt 57
    - attempt 58
    - attempt 59
    - attempt 60
    - attempt 61
    - attempt 62
    - attempt 63
    - attempt 64
    - attempt 65
    - attempt 66
    - attempt 67
    - attempt 68
    - attempt 69
    - attempt 70
    - attempt 71
    - attempt 72
    - attempt 73
    - attempt 74
    - attempt 75
    - attempt 76
    - attempt 77
    - attempt 78
    - attempt 79
    - attempt 80
    - attempt 81
    - attempt 82
    - attempt 83
    - attempt 84
    - attempt 85
    - attempt 86
    - attempt 87
    - attempt 88
    - attempt 89
    - attempt 90
    - attempt 91
    - attempt 92
    - attempt 93
    - attempt 94
    - attempt 95
    - attempt 96
    - attempt 97
    - attempt 98
    - attempt 99
    - attempt 100
    - attempt 101
    - attempt 102
    - attempt 103
    - attempt 104
    - attempt 105
    - attempt 106
    - attempt 107
    - attempt 108
    - attempt 109
    - attempt 110
    - attempt 111
    - attempt 112
    - attempt 113
    - attempt 114
    - attempt 115
    - attempt 116
    - attempt 117
    - attempt 118
    - attempt 119
    - attempt 120
    - attempt 121
    - attempt 122
    - attempt 123
    - attempt 124
    - attempt 125
    - attempt 126
    - attempt 127
    - attempt 128
    - attempt 129
    - attempt 130
    - attempt 131
    - attempt 132
    - attempt 133
    - attempt 134
    - attempt 135
    - attempt 136
    - attempt 137
    - attempt 138
    - attempt 139
    - attempt 140
    - attempt 141
    - attempt 142
    - attempt 143
    - attempt 144
    - attempt 145
    - attempt 146
    - attempt 147
    - attempt 148
    - attempt 149
    - attempt 150
    - attempt 151
    - attempt 152
    - attempt 153
    - attempt 154
    - attempt 155
    - attempt 156
    - attempt 157
    - attempt 158
    - attempt 159
    - attempt 160
    - attempt 161
    - attempt 162
    - attempt 163
    - attempt 164
    - attempt 165
    - attempt 166
    - attempt 167
    - attempt 168
    - attempt 169
    - attempt 170
    - attempt 171
    - attempt 172
    - attempt 173
    - attempt 174
    - attempt 175
    - attempt 176
    - attempt 177
    - attempt 178
    - attempt 179
    - attempt 180
    - attempt 181
    - attempt 182
    - attempt 183
    - attempt 184
    - attempt 185
    - attempt 186
    - attempt 187
    - attempt 188
    - attempt 189
    - attempt 190
    - attempt 191
    - attempt 192
    - attempt 193
    - attempt 194
    - attempt 195
    - attempt 196
    - attempt 197
    - attempt 198
    - attempt 199
    - attempt 200
    - attempt 201
    - attempt 202
    - attempt 203
    - attempt 204
    - attempt 205
    - attempt 206
    - attempt 207
    - attempt 208
    - attempt 209
    - attempt 210
    - attempt 211
    - attempt 212
    - attempt 213
    - attempt 214
    - attempt 215
    - attempt 216
    - attempt 217
    - attempt 218
    - attempt 219
    - attempt 220
    - attempt 221
    - attempt 222
    - attempt 223
    - attempt 224
  - ghc964_all
    - attempt 1
    - attempt 2
    - attempt 3
    - attempt 4
    - attempt 5
    - attempt 6
    - attempt 7
    - attempt 8
    - attempt 9
    - attempt 10
    - attempt 11
    - attempt 12
    - attempt 13
    - attempt 14
    - attempt 15
    - attempt 16
    - attempt 17
    - attempt 18
    - attempt 19
    - attempt 20
    - attempt 21
    - attempt 22
    - attempt 23
    - attempt 24
    - attempt 25
    - attempt 26
    - attempt 27
    - attempt 28
    - attempt 29
    - attempt 30
    - attempt 31
    - attempt 32
    - attempt 33
    - attempt 34
    - attempt 35
    - attempt 36
    - attempt 37
    - attempt 38
    - attempt 39
    - attempt 40
    - attempt 41
    - attempt 42
    - attempt 43
    - attempt 44
    - attempt 45
    - attempt 46
    - attempt 47
    - attempt 48
    - attempt 49
    - attempt 50
    - attempt 51
    - attempt 52
    - attempt 53
    - attempt 54
    - attempt 55
    - attempt 56
    - attempt 57
    - attempt 58
    - attempt 59
    - attempt 60
    - attempt 61
    - attempt 62
    - attempt 63
    - attempt 64
    - attempt 65
    - attempt 66
    - attempt 67
    - attempt 68
    - attempt 69
    - attempt 70
    - attempt 71
    - attempt 72
    - attempt 73
    - attempt 74
    - attempt 75
    - attempt 76
    - attempt 77
    - attempt 78
    - attempt 79
    - attempt 80
    - attempt 81
    - attempt 82
    - attempt 83
    - attempt 84
    - attempt 85
    - attempt 86
    - attempt 87
    - attempt 88
    - attempt 89
    - attempt 90
    - attempt 91
    - attempt 92
    - attempt 93
    - attempt 94
    - attempt 95
    - attempt 96
    - attempt 97
    - attempt 98
    - attempt 99
    - attempt 100
    - attempt 101
    - attempt 102
    - attempt 103
    - attempt 104
    - attempt 105
    - attempt 106
    - attempt 107
    - attempt 108
    - attempt 109
    - attempt 110
    - attempt 111
    - attempt 112
    - attempt 113
    - attempt 114
    - attempt 115
    - attempt 116
    - attempt 117
    - attempt 118
    - attempt 119
    - attempt 120
    - attempt 121
    - attempt 122
    - attempt 123
    - attempt 124
    - attempt 125
    - attempt 126
    - attempt 127
    - attempt 128
    - attempt 129
    - attempt 130
    - attempt 131
    - attempt 132
    - attempt 133
    - attempt 134
    - attempt 135
    - attempt 136
    - attempt 137
    - attempt 138
    - attempt 139
    - attempt 140
    - attempt 141
    - attempt 142
    - attempt 143
    - attempt 144
    - attempt 145
    - attempt 146
    - attempt 147
    - attempt 148
    - attempt 149
    - attempt 150
    - attempt 151
    - attempt 152
    - attempt 153
    - attempt 154
    - attempt 155
    - attempt 156
    - attempt 157
    - attempt 158
    - attempt 159
    - attempt 160
    - attempt 161
    - attempt 162
    - attempt 163
    - attempt 164
    - attempt 165
    - attempt 166
    - attempt 167
    - attempt 168
    - attempt 169
    - attempt 170
    - attempt 171
    - attempt 172
    - attempt 173
    - attempt 174
    - attempt 175
    - attempt 176
    - attempt 177
    - attempt 178
    - attempt 179
    - attempt 180
    - attempt 181
    - attempt 182
    - attempt 183
    - attempt 184
    - attempt 185
    - attempt 186
    - attempt 187
    - attempt 188
    - attempt 189
    - attempt 190
    - attempt 191
    - attempt 192
    - attempt 193
    - attempt 194
    - attempt 195
    - attempt 196
    - attempt 197
    - attempt 198
    - attempt 199
    - attempt 200
    - attempt 201
    - attempt 202
    - attempt 203
    - attempt 204
    - attempt 205
    - attempt 206
    - attempt 207
    - attempt 208
    - attempt 209
    - attempt 210
    - attempt 211
    - attempt 212
    - attempt 213
    - attempt 214
    - attempt 215
    - attempt 216
    - attempt 217
    - attempt 218
    - attempt 219
    - attempt 220
    - attempt 221
    - attempt 222
    - attempt 223
    - attempt 224
  - ghc964_duoids
    - attempt 1
    - attempt 2
    - attempt 3
    - attempt 4
    - attempt 5
    - attempt 6
    - attempt 7
    - attempt 8
    - attempt 9
    - attempt 10
    - attempt 11
    - attempt 12
    - attempt 13
    - attempt 14
    - attempt 15
    - attempt 16
    - attempt 17
    - attempt 18
    - attempt 19
    - attempt 20
    - attempt 21
    - attempt 22
    - attempt 23
    - attempt 24
    - attempt 25
    - attempt 26
    - attempt 27
    - attempt 28
    - attempt 29
    - attempt 30
    - attempt 31
    - attempt 32
    - attempt 33
    - attempt 34
    - attempt 35
    - attempt 36
    - attempt 37
    - attempt 38
    - attempt 39
    - attempt 40
    - attempt 41
    - attempt 42
    - attempt 43
    - attempt 44
    - attempt 45
    - attempt 46
    - attempt 47
    - attempt 48
    - attempt 49
    - attempt 50
    - attempt 51
    - attempt 52
    - attempt 53
    - attempt 54
    - attempt 55
    - attempt 56
    - attempt 57
    - attempt 58
    - attempt 59
    - attempt 60
    - attempt 61
    - attempt 62
    - attempt 63
    - attempt 64
    - attempt 65
    - attempt 66
    - attempt 67
    - attempt 68
    - attempt 69
    - attempt 70
    - attempt 71
    - attempt 72
    - attempt 73
    - attempt 74
    - attempt 75
    - attempt 76
    - attempt 77
    - attempt 78
    - attempt 79
    - attempt 80
    - attempt 81
    - attempt 82
    - attempt 83
    - attempt 84
    - attempt 85
    - attempt 86
    - attempt 87
    - attempt 88
    - attempt 89
    - attempt 90
    - attempt 91
    - attempt 92
    - attempt 93
    - attempt 94
    - attempt 95
    - attempt 96
    - attempt 97
    - attempt 98
    - attempt 99
    - attempt 100
    - attempt 101
    - attempt 102
    - attempt 103
    - attempt 104
    - attempt 105
    - attempt 106
    - attempt 107
    - attempt 108
    - attempt 109
    - attempt 110
    - attempt 111
    - attempt 112
    - attempt 113
    - attempt 114
    - attempt 115
    - attempt 116
    - attempt 117
    - attempt 118
    - attempt 119
    - attempt 120
    - attempt 121
    - attempt 122
    - attempt 123
    - attempt 124
    - attempt 125
    - attempt 126
    - attempt 127
    - attempt 128
    - attempt 129
    - attempt 130
    - attempt 131
    - attempt 132
    - attempt 133
    - attempt 134
    - attempt 135
    - attempt 136
    - attempt 137
    - attempt 138
    - attempt 139
    - attempt 140
    - attempt 141
    - attempt 142
    - attempt 143
    - attempt 144
    - attempt 145
    - attempt 146
    - attempt 147
    - attempt 148
    - attempt 149
    - attempt 150
    - attempt 151
    - attempt 152
    - attempt 153
    - attempt 154
    - attempt 155
    - attempt 156
    - attempt 157
    - attempt 158
    - attempt 159
    - attempt 160
    - attempt 161
    - attempt 162
    - attempt 163
    - attempt 164
    - attempt 165
    - attempt 166
    - attempt 167
    - attempt 168
    - attempt 169
    - attempt 170
    - attempt 171
    - attempt 172
    - attempt 173
    - attempt 174
    - attempt 175
    - attempt 176
    - attempt 177
    - attempt 178
    - attempt 179
    - attempt 180
    - attempt 181
    - attempt 182
    - attempt 183
    - attempt 184
    - attempt 185
    - attempt 186
    - attempt 187
    - attempt 188
    - attempt 189
    - attempt 190
    - attempt 191
    - attempt 192
    - attempt 193
    - attempt 194
    - attempt 195
    - attempt 196
    - attempt 197
    - attempt 198
    - attempt 199
    - attempt 200
    - attempt 201
    - attempt 202
    - attempt 203
    - attempt 204
    - attempt 205
    - attempt 206
    - attempt 207
    - attempt 208
    - attempt 209
    - attempt 210
    - attempt 211
    - attempt 212
    - attempt 213
    - attempt 214
    - attempt 215
    - attempt 216
    - attempt 217
    - attempt 218
    - attempt 219
    - attempt 220
    - attempt 221
    - attempt 222
    - attempt 223
    - attempt 224
  - ghc964_duoids-hedgehog
    - attempt 1
    - attempt 2
    - attempt 3
    - attempt 4
    - attempt 5
    - attempt 6
    - attempt 7
    - attempt 8
    - attempt 9
    - attempt 10
    - attempt 11
    - attempt 12
    - attempt 13
    - attempt 14
    - attempt 15
    - attempt 16
    - attempt 17
    - attempt 18
    - attempt 19
    - attempt 20
    - attempt 21
    - attempt 22
    - attempt 23
    - attempt 24
    - attempt 25
    - attempt 26
    - attempt 27
    - attempt 28
    - attempt 29
    - attempt 30
    - attempt 31
    - attempt 32
    - attempt 33
    - attempt 34
    - attempt 35
    - attempt 36
    - attempt 37
    - attempt 38
    - attempt 39
    - attempt 40
    - attempt 41
    - attempt 42
    - attempt 43
    - attempt 44
    - attempt 45
    - attempt 46
    - attempt 47
    - attempt 48
    - attempt 49
    - attempt 50
    - attempt 51
    - attempt 52
    - attempt 53
    - attempt 54
    - attempt 55
    - attempt 56
    - attempt 57
    - attempt 58
    - attempt 59
    - attempt 60
    - attempt 61
    - attempt 62
    - attempt 63
    - attempt 64
    - attempt 65
    - attempt 66
    - attempt 67
    - attempt 68
    - attempt 69
    - attempt 70
    - attempt 71
    - attempt 72
    - attempt 73
    - attempt 74
    - attempt 75
    - attempt 76
    - attempt 77
    - attempt 78
    - attempt 79
    - attempt 80
    - attempt 81
    - attempt 82
    - attempt 83
    - attempt 84
    - attempt 85
    - attempt 86
    - attempt 87
    - attempt 88
    - attempt 89
    - attempt 90
    - attempt 91
    - attempt 92
    - attempt 93
    - attempt 94
    - attempt 95
    - attempt 96
    - attempt 97
    - attempt 98
    - attempt 99
    - attempt 100
    - attempt 101
    - attempt 102
    - attempt 103
    - attempt 104
    - attempt 105
    - attempt 106
    - attempt 107
    - attempt 108
    - attempt 109
    - attempt 110
    - attempt 111
    - attempt 112
    - attempt 113
    - attempt 114
    - attempt 115
    - attempt 116
    - attempt 117
    - attempt 118
    - attempt 119
    - attempt 120
    - attempt 121
    - attempt 122
    - attempt 123
    - attempt 124
    - attempt 125
    - attempt 126
    - attempt 127
    - attempt 128
    - attempt 129
    - attempt 130
    - attempt 131
    - attempt 132
    - attempt 133
    - attempt 134
    - attempt 135
    - attempt 136
    - attempt 137
    - attempt 138
    - attempt 139
    - attempt 140
    - attempt 141
    - attempt 142
    - attempt 143
    - attempt 144
    - attempt 145
    - attempt 146
    - attempt 147
    - attempt 148
    - attempt 149
    - attempt 150
    - attempt 151
    - attempt 152
    - attempt 153
    - attempt 154
    - attempt 155
    - attempt 156
    - attempt 157
    - attempt 158
    - attempt 159
    - attempt 160
    - attempt 161
    - attempt 162
    - attempt 163
    - attempt 164
    - attempt 165
    - attempt 166
    - attempt 167
    - attempt 168
    - attempt 169
    - attempt 170
    - attempt 171
    - attempt 172
    - attempt 173
    - attempt 174
    - attempt 175
    - attempt 176
    - attempt 177
    - attempt 178
    - attempt 179
    - attempt 180
    - attempt 181
    - attempt 182
    - attempt 183
    - attempt 184
    - attempt 185
    - attempt 186
    - attempt 187
    - attempt 188
    - attempt 189
    - attempt 190
    - attempt 191
    - attempt 192
    - attempt 193
    - attempt 194
    - attempt 195
    - attempt 196
    - attempt 197
    - attempt 198
    - attempt 199
    - attempt 200
    - attempt 201
    - attempt 202
    - attempt 203
    - attempt 204
    - attempt 205
    - attempt 206
    - attempt 207
    - attempt 208
    - attempt 209
    - attempt 210
    - attempt 211
    - attempt 212
    - attempt 213
    - attempt 214
    - attempt 215
    - attempt 216
    - attempt 217
    - attempt 218
    - attempt 219
    - attempt 220
    - attempt 221
    - attempt 222
    - attempt 223
    - attempt 224
  - ghc964_transformer-duoids
    - attempt 1
    - attempt 2
    - attempt 3
    - attempt 4
    - attempt 5
    - attempt 6
    - attempt 7
    - attempt 8
    - attempt 9
    - attempt 10
    - attempt 11
    - attempt 12
    - attempt 13
    - attempt 14
    - attempt 15
    - attempt 16
    - attempt 17
    - attempt 18
    - attempt 19
    - attempt 20
    - attempt 21
    - attempt 22
    - attempt 23
    - attempt 24
    - attempt 25
    - attempt 26
    - attempt 27
    - attempt 28
    - attempt 29
    - attempt 30
    - attempt 31
    - attempt 32
    - attempt 33
    - attempt 34
    - attempt 35
    - attempt 36
    - attempt 37
    - attempt 38
    - attempt 39
    - attempt 40
    - attempt 41
    - attempt 42
    - attempt 43
    - attempt 44
    - attempt 45
    - attempt 46
    - attempt 47
    - attempt 48
    - attempt 49
    - attempt 50
    - attempt 51
    - attempt 52
    - attempt 53
    - attempt 54
    - attempt 55
    - attempt 56
    - attempt 57
    - attempt 58
    - attempt 59
    - attempt 60
    - attempt 61
    - attempt 62
    - attempt 63
    - attempt 64
    - attempt 65
    - attempt 66
    - attempt 67
    - attempt 68
    - attempt 69
    - attempt 70
    - attempt 71
    - attempt 72
    - attempt 73
    - attempt 74
    - attempt 75
    - attempt 76
    - attempt 77
    - attempt 78
    - attempt 79
    - attempt 80
    - attempt 81
    - attempt 82
    - attempt 83
    - attempt 84
    - attempt 85
    - attempt 86
    - attempt 87
    - attempt 88
    - attempt 89
    - attempt 90
    - attempt 91
    - attempt 92
    - attempt 93
    - attempt 94
    - attempt 95
    - attempt 96
    - attempt 97
    - attempt 98
    - attempt 99
    - attempt 100
    - attempt 101
    - attempt 102
    - attempt 103
    - attempt 104
    - attempt 105
    - attempt 106
    - attempt 107
    - attempt 108
    - attempt 109
    - attempt 110
    - attempt 111
    - attempt 112
    - attempt 113
    - attempt 114
    - attempt 115
    - attempt 116
    - attempt 117
    - attempt 118
    - attempt 119
    - attempt 120
    - attempt 121
    - attempt 122
    - attempt 123
    - attempt 124
    - attempt 125
    - attempt 126
    - attempt 127
    - attempt 128
    - attempt 129
    - attempt 130
    - attempt 131
    - attempt 132
    - attempt 133
    - attempt 134
    - attempt 135
    - attempt 136
    - attempt 137
    - attempt 138
    - attempt 139
    - attempt 140
    - attempt 141
    - attempt 142
    - attempt 143
    - attempt 144
    - attempt 145
    - attempt 146
    - attempt 147
    - attempt 148
    - attempt 149
    - attempt 150
    - attempt 151
    - attempt 152
    - attempt 153
    - attempt 154
    - attempt 155
    - attempt 156
    - attempt 157
    - attempt 158
    - attempt 159
    - attempt 160
    - attempt 161
    - attempt 162
    - attempt 163
    - attempt 164
    - attempt 165
    - attempt 166
    - attempt 167
    - attempt 168
    - attempt 169
    - attempt 170
    - attempt 171
    - attempt 172
    - attempt 173
    - attempt 174
    - attempt 175
    - attempt 176
    - attempt 177
    - attempt 178
    - attempt 179
    - attempt 180
    - attempt 181
    - attempt 182
    - attempt 183
    - attempt 184
    - attempt 185
    - attempt 186
    - attempt 187
    - attempt 188
    - attempt 189
    - attempt 190
    - attempt 191
    - attempt 192
    - attempt 193
    - attempt 194
    - attempt 195
    - attempt 196
    - attempt 197
    - attempt 198
    - attempt 199
    - attempt 200
    - attempt 201
    - attempt 202
    - attempt 203
    - attempt 204
    - attempt 205
    - attempt 206
    - attempt 207
    - attempt 208
    - attempt 209
    - attempt 210
    - attempt 211
    - attempt 212
    - attempt 213
    - attempt 214
    - attempt 215
    - attempt 216
    - attempt 217
    - attempt 218
    - attempt 219
    - attempt 220
    - attempt 221
    - attempt 222
    - attempt 223
    - attempt 224
  - ghc965_algebraic-graph-duoids
    - attempt 1
    - attempt 2
    - attempt 3
    - attempt 4
    - attempt 5
    - attempt 6
    - attempt 7
    - attempt 8
    - attempt 9
    - attempt 10
    - attempt 11
    - attempt 12
    - attempt 13
    - attempt 14
    - attempt 15
    - attempt 16
    - attempt 17
    - attempt 18
    - attempt 19
    - attempt 20
    - attempt 21
    - attempt 22
    - attempt 23
    - attempt 24
    - attempt 25
    - attempt 26
    - attempt 27
    - attempt 28
    - attempt 29
    - attempt 30
    - attempt 31
    - attempt 32
    - attempt 33
    - attempt 34
    - attempt 35
    - attempt 36
    - attempt 37
    - attempt 38
    - attempt 39
    - attempt 40
    - attempt 41
    - attempt 42
    - attempt 43
    - attempt 44
    - attempt 45
    - attempt 46
    - attempt 47
    - attempt 48
    - attempt 49
    - attempt 50
    - attempt 51
    - attempt 52
    - attempt 53
    - attempt 54
    - attempt 55
    - attempt 56
    - attempt 57
    - attempt 58
    - attempt 59
    - attempt 60
    - attempt 61
    - attempt 62
    - attempt 63
    - attempt 64
    - attempt 65
    - attempt 66
    - attempt 67
    - attempt 68
    - attempt 69
    - attempt 70
    - attempt 71
    - attempt 72
    - attempt 73
    - attempt 74
    - attempt 75
    - attempt 76
    - attempt 77
    - attempt 78
    - attempt 79
    - attempt 80
    - attempt 81
    - attempt 82
    - attempt 83
    - attempt 84
    - attempt 85
    - attempt 86
    - attempt 87
    - attempt 88
    - attempt 89
    - attempt 90
    - attempt 91
    - attempt 92
    - attempt 93
    - attempt 94
    - attempt 95
    - attempt 96
    - attempt 97
    - attempt 98
    - attempt 99
    - attempt 100
    - attempt 101
    - attempt 102
    - attempt 103
    - attempt 104
    - attempt 105
    - attempt 106
    - attempt 107
    - attempt 108
    - attempt 109
    - attempt 110
    - attempt 111
    - attempt 112
    - attempt 113
    - attempt 114
    - attempt 115
    - attempt 116
    - attempt 117
    - attempt 118
    - attempt 119
    - attempt 120
    - attempt 121
    - attempt 122
    - attempt 123
    - attempt 124
    - attempt 125
    - attempt 126
    - attempt 127
    - attempt 128
    - attempt 129
    - attempt 130
    - attempt 131
    - attempt 132
    - attempt 133
    - attempt 134
    - attempt 135
    - attempt 136
    - attempt 137
    - attempt 138
    - attempt 139
    - attempt 140
    - attempt 141
    - attempt 142
    - attempt 143
    - attempt 144
    - attempt 145
    - attempt 146
    - attempt 147
    - attempt 148
    - attempt 149
    - attempt 150
    - attempt 151
    - attempt 152
    - attempt 153
    - attempt 154
    - attempt 155
    - attempt 156
    - attempt 157
    - attempt 158
    - attempt 159
    - attempt 160
    - attempt 161
    - attempt 162
    - attempt 163
    - attempt 164
    - attempt 165
    - attempt 166
    - attempt 167
    - attempt 168
    - attempt 169
    - attempt 170
    - attempt 171
    - attempt 172
    - attempt 173
    - attempt 174
    - attempt 175
    - attempt 176
    - attempt 177
    - attempt 178
    - attempt 179
    - attempt 180
    - attempt 181
    - attempt 182
    - attempt 183
    - attempt 184
    - attempt 185
    - attempt 186
    - attempt 187
    - attempt 188
    - attempt 189
    - attempt 190
    - attempt 191
    - attempt 192
    - attempt 193
    - attempt 194
    - attempt 195
    - attempt 196
    - attempt 197
    - attempt 198
    - attempt 199
    - attempt 200
    - attempt 201
    - attempt 202
    - attempt 203
    - attempt 204
    - attempt 205
    - attempt 206
    - attempt 207
    - attempt 208
    - attempt 209
    - attempt 210
    - attempt 211
    - attempt 212
    - attempt 213
    - attempt 214
    - attempt 215
    - attempt 216
    - attempt 217
    - attempt 218
    - attempt 219
    - attempt 220
    - attempt 221
    - attempt 222
    - attempt 223
    - attempt 224
  - ghc965_all
    - attempt 1
    - attempt 2
    - attempt 3
    - attempt 4
    - attempt 5
    - attempt 6
    - attempt 7
    - attempt 8
    - attempt 9
    - attempt 10
    - attempt 11
    - attempt 12
    - attempt 13
    - attempt 14
    - attempt 15
    - attempt 16
    - attempt 17
    - attempt 18
    - attempt 19
    - attempt 20
    - attempt 21
    - attempt 22
    - attempt 23
    - attempt 24
    - attempt 25
    - attempt 26
    - attempt 27
    - attempt 28
    - attempt 29
    - attempt 30
    - attempt 31
    - attempt 32
    - attempt 33
    - attempt 34
    - attempt 35
    - attempt 36
    - attempt 37
    - attempt 38
    - attempt 39
    - attempt 40
    - attempt 41
    - attempt 42
    - attempt 43
    - attempt 44
    - attempt 45
    - attempt 46
    - attempt 47
    - attempt 48
    - attempt 49
    - attempt 50
    - attempt 51
    - attempt 52
    - attempt 53
    - attempt 54
    - attempt 55
    - attempt 56
    - attempt 57
    - attempt 58
    - attempt 59
    - attempt 60
    - attempt 61
    - attempt 62
    - attempt 63
    - attempt 64
    - attempt 65
    - attempt 66
    - attempt 67
    - attempt 68
    - attempt 69
    - attempt 70
    - attempt 71
    - attempt 72
    - attempt 73
    - attempt 74
    - attempt 75
    - attempt 76
    - attempt 77
    - attempt 78
    - attempt 79
    - attempt 80
    - attempt 81
    - attempt 82
    - attempt 83
    - attempt 84
    - attempt 85
    - attempt 86
    - attempt 87
    - attempt 88
    - attempt 89
    - attempt 90
    - attempt 91
    - attempt 92
    - attempt 93
    - attempt 94
    - attempt 95
    - attempt 96
    - attempt 97
    - attempt 98
    - attempt 99
    - attempt 100
    - attempt 101
    - attempt 102
    - attempt 103
    - attempt 104
    - attempt 105
    - attempt 106
    - attempt 107
    - attempt 108
    - attempt 109
    - attempt 110
    - attempt 111
    - attempt 112
    - attempt 113
    - attempt 114
    - attempt 115
    - attempt 116
    - attempt 117
    - attempt 118
    - attempt 119
    - attempt 120
    - attempt 121
    - attempt 122
    - attempt 123
    - attempt 124
    - attempt 125
    - attempt 126
    - attempt 127
    - attempt 128
    - attempt 129
    - attempt 130
    - attempt 131
    - attempt 132
    - attempt 133
    - attempt 134
    - attempt 135
    - attempt 136
    - attempt 137
    - attempt 138
    - attempt 139
    - attempt 140
    - attempt 141
    - attempt 142
    - attempt 143
    - attempt 144
    - attempt 145
    - attempt 146
    - attempt 147
    - attempt 148
    - attempt 149
    - attempt 150
    - attempt 151
    - attempt 152
    - attempt 153
    - attempt 154
    - attempt 155
    - attempt 156
    - attempt 157
    - attempt 158
    - attempt 159
    - attempt 160
    - attempt 161
    - attempt 162
    - attempt 163
    - attempt 164
    - attempt 165
    - attempt 166
    - attempt 167
    - attempt 168
    - attempt 169
    - attempt 170
    - attempt 171
    - attempt 172
    - attempt 173
    - attempt 174
    - attempt 175
    - attempt 176
    - attempt 177
    - attempt 178
    - attempt 179
    - attempt 180
    - attempt 181
    - attempt 182
    - attempt 183
    - attempt 184
    - attempt 185
    - attempt 186
    - attempt 187
    - attempt 188
    - attempt 189
    - attempt 190
    - attempt 191
    - attempt 192
    - attempt 193
    - attempt 194
    - attempt 195
    - attempt 196
    - attempt 197
    - attempt 198
    - attempt 199
    - attempt 200
    - attempt 201
    - attempt 202
    - attempt 203
    - attempt 204
    - attempt 205
    - attempt 206
    - attempt 207
    - attempt 208
    - attempt 209
    - attempt 210
    - attempt 211
    - attempt 212
    - attempt 213
    - attempt 214
    - attempt 215
    - attempt 216
    - attempt 217
    - attempt 218
    - attempt 219
    - attempt 220
    - attempt 221
    - attempt 222
    - attempt 223
    - attempt 224
  - ghc965_duoids
    - attempt 1
    - attempt 2
    - attempt 3
    - attempt 4
    - attempt 5
    - attempt 6
    - attempt 7
    - attempt 8
    - attempt 9
    - attempt 10
    - attempt 11
    - attempt 12
    - attempt 13
    - attempt 14
    - attempt 15
    - attempt 16
    - attempt 17
    - attempt 18
    - attempt 19
    - attempt 20
    - attempt 21
    - attempt 22
    - attempt 23
    - attempt 24
    - attempt 25
    - attempt 26
    - attempt 27
    - attempt 28
    - attempt 29
    - attempt 30
    - attempt 31
    - attempt 32
    - attempt 33
    - attempt 34
    - attempt 35
    - attempt 36
    - attempt 37
    - attempt 38
    - attempt 39
    - attempt 40
    - attempt 41
    - attempt 42
    - attempt 43
    - attempt 44
    - attempt 45
    - attempt 46
    - attempt 47
    - attempt 48
    - attempt 49
    - attempt 50
    - attempt 51
    - attempt 52
    - attempt 53
    - attempt 54
    - attempt 55
    - attempt 56
    - attempt 57
    - attempt 58
    - attempt 59
    - attempt 60
    - attempt 61
    - attempt 62
    - attempt 63
    - attempt 64
    - attempt 65
    - attempt 66
    - attempt 67
    - attempt 68
    - attempt 69
    - attempt 70
    - attempt 71
    - attempt 72
    - attempt 73
    - attempt 74
    - attempt 75
    - attempt 76
    - attempt 77
    - attempt 78
    - attempt 79
    - attempt 80
    - attempt 81
    - attempt 82
    - attempt 83
    - attempt 84
    - attempt 85
    - attempt 86
    - attempt 87
    - attempt 88
    - attempt 89
    - attempt 90
    - attempt 91
    - attempt 92
    - attempt 93
    - attempt 94
    - attempt 95
    - attempt 96
    - attempt 97
    - attempt 98
    - attempt 99
    - attempt 100
    - attempt 101
    - attempt 102
    - attempt 103
    - attempt 104
    - attempt 105
    - attempt 106
    - attempt 107
    - attempt 108
    - attempt 109
    - attempt 110
    - attempt 111
    - attempt 112
    - attempt 113
    - attempt 114
    - attempt 115
    - attempt 116
    - attempt 117
    - attempt 118
    - attempt 119
    - attempt 120
    - attempt 121
    - attempt 122
    - attempt 123
    - attempt 124
    - attempt 125
    - attempt 126
    - attempt 127
    - attempt 128
    - attempt 129
    - attempt 130
    - attempt 131
    - attempt 132
    - attempt 133
    - attempt 134
    - attempt 135
    - attempt 136
    - attempt 137
    - attempt 138
    - attempt 139
    - attempt 140
    - attempt 141
    - attempt 142
    - attempt 143
    - attempt 144
    - attempt 145
    - attempt 146
    - attempt 147
    - attempt 148
    - attempt 149
    - attempt 150
    - attempt 151
    - attempt 152
    - attempt 153
    - attempt 154
    - attempt 155
    - attempt 156
    - attempt 157
    - attempt 158
    - attempt 159
    - attempt 160
    - attempt 161
    - attempt 162
    - attempt 163
    - attempt 164
    - attempt 165
    - attempt 166
    - attempt 167
    - attempt 168
    - attempt 169
    - attempt 170
    - attempt 171
    - attempt 172
    - attempt 173
    - attempt 174
    - attempt 175
    - attempt 176
    - attempt 177
    - attempt 178
    - attempt 179
    - attempt 180
    - attempt 181
    - attempt 182
    - attempt 183
    - attempt 184
    - attempt 185
    - attempt 186
    - attempt 187
    - attempt 188
    - attempt 189
    - attempt 190
    - attempt 191
    - attempt 192
    - attempt 193
    - attempt 194
    - attempt 195
    - attempt 196
    - attempt 197
    - attempt 198
    - attempt 199
    - attempt 200
    - attempt 201
    - attempt 202
    - attempt 203
    - attempt 204
    - attempt 205
    - attempt 206
    - attempt 207
    - attempt 208
    - attempt 209
    - attempt 210
    - attempt 211
    - attempt 212
    - attempt 213
    - attempt 214
    - attempt 215
    - attempt 216
    - attempt 217
    - attempt 218
    - attempt 219
    - attempt 220
    - attempt 221
    - attempt 222
    - attempt 223
    - attempt 224
  - ghc965_duoids-hedgehog
    - attempt 1
    - attempt 2
    - attempt 3
    - attempt 4
    - attempt 5
    - attempt 6
    - attempt 7
    - attempt 8
    - attempt 9
    - attempt 10
    - attempt 11
    - attempt 12
    - attempt 13
    - attempt 14
    - attempt 15
    - attempt 16
    - attempt 17
    - attempt 18
    - attempt 19
    - attempt 20
    - attempt 21
    - attempt 22
    - attempt 23
    - attempt 24
    - attempt 25
    - attempt 26
    - attempt 27
    - attempt 28
    - attempt 29
    - attempt 30
    - attempt 31
    - attempt 32
    - attempt 33
    - attempt 34
    - attempt 35
    - attempt 36
    - attempt 37
    - attempt 38
    - attempt 39
    - attempt 40
    - attempt 41
    - attempt 42
    - attempt 43
    - attempt 44
    - attempt 45
    - attempt 46
    - attempt 47
    - attempt 48
    - attempt 49
    - attempt 50
    - attempt 51
    - attempt 52
    - attempt 53
    - attempt 54
    - attempt 55
    - attempt 56
    - attempt 57
    - attempt 58
    - attempt 59
    - attempt 60
    - attempt 61
    - attempt 62
    - attempt 63
    - attempt 64
    - attempt 65
    - attempt 66
    - attempt 67
    - attempt 68
    - attempt 69
    - attempt 70
    - attempt 71
    - attempt 72
    - attempt 73
    - attempt 74
    - attempt 75
    - attempt 76
    - attempt 77
    - attempt 78
    - attempt 79
    - attempt 80
    - attempt 81
    - attempt 82
    - attempt 83
    - attempt 84
    - attempt 85
    - attempt 86
    - attempt 87
    - attempt 88
    - attempt 89
    - attempt 90
    - attempt 91
    - attempt 92
    - attempt 93
    - attempt 94
    - attempt 95
    - attempt 96
    - attempt 97
    - attempt 98
    - attempt 99
    - attempt 100
    - attempt 101
    - attempt 102
    - attempt 103
    - attempt 104
    - attempt 105
    - attempt 106
    - attempt 107
    - attempt 108
    - attempt 109
    - attempt 110
    - attempt 111
    - attempt 112
    - attempt 113
    - attempt 114
    - attempt 115
    - attempt 116
    - attempt 117
    - attempt 118
    - attempt 119
    - attempt 120
    - attempt 121
    - attempt 122
    - attempt 123
    - attempt 124
    - attempt 125
    - attempt 126
    - attempt 127
    - attempt 128
    - attempt 129
    - attempt 130
    - attempt 131
    - attempt 132
    - attempt 133
    - attempt 134
    - attempt 135
    - attempt 136
    - attempt 137
    - attempt 138
    - attempt 139
    - attempt 140
    - attempt 141
    - attempt 142
    - attempt 143
    - attempt 144
    - attempt 145
    - attempt 146
    - attempt 147
    - attempt 148
    - attempt 149
    - attempt 150
    - attempt 151
    - attempt 152
    - attempt 153
    - attempt 154
    - attempt 155
    - attempt 156
    - attempt 157
    - attempt 158
    - attempt 159
    - attempt 160
    - attempt 161
    - attempt 162
    - attempt 163
    - attempt 164
    - attempt 165
    - attempt 166
    - attempt 167
    - attempt 168
    - attempt 169
    - attempt 170
    - attempt 171
    - attempt 172
    - attempt 173
    - attempt 174
    - attempt 175
    - attempt 176
    - attempt 177
    - attempt 178
    - attempt 179
    - attempt 180
    - attempt 181
    - attempt 182
    - attempt 183
    - attempt 184
    - attempt 185
    - attempt 186
    - attempt 187
    - attempt 188
    - attempt 189
    - attempt 190
    - attempt 191
    - attempt 192
    - attempt 193
    - attempt 194
    - attempt 195
    - attempt 196
    - attempt 197
    - attempt 198
    - attempt 199
    - attempt 200
    - attempt 201
    - attempt 202
    - attempt 203
    - attempt 204
    - attempt 205
    - attempt 206
    - attempt 207
    - attempt 208
    - attempt 209
    - attempt 210
    - attempt 211
    - attempt 212
    - attempt 213
    - attempt 214
    - attempt 215
    - attempt 216
    - attempt 217
    - attempt 218
    - attempt 219
    - attempt 220
    - attempt 221
    - attempt 222
    - attempt 223
    - attempt 224
  - ghc965_transformer-duoids
    - attempt 1
    - attempt 2
    - attempt 3
    - attempt 4
    - attempt 5
    - attempt 6
    - attempt 7
    - attempt 8
    - attempt 9
    - attempt 10
    - attempt 11
    - attempt 12
    - attempt 13
    - attempt 14
    - attempt 15
    - attempt 16
    - attempt 17
    - attempt 18
    - attempt 19
    - attempt 20
    - attempt 21
    - attempt 22
    - attempt 23
    - attempt 24
    - attempt 25
    - attempt 26
    - attempt 27
    - attempt 28
    - attempt 29
    - attempt 30
    - attempt 31
    - attempt 32
    - attempt 33
    - attempt 34
    - attempt 35
    - attempt 36
    - attempt 37
    - attempt 38
    - attempt 39
    - attempt 40
    - attempt 41
    - attempt 42
    - attempt 43
    - attempt 44
    - attempt 45
    - attempt 46
    - attempt 47
    - attempt 48
    - attempt 49
    - attempt 50
    - attempt 51
    - attempt 52
    - attempt 53
    - attempt 54
    - attempt 55
    - attempt 56
    - attempt 57
    - attempt 58
    - attempt 59
    - attempt 60
    - attempt 61
    - attempt 62
    - attempt 63
    - attempt 64
    - attempt 65
    - attempt 66
    - attempt 67
    - attempt 68
    - attempt 69
    - attempt 70
    - attempt 71
    - attempt 72
    - attempt 73
    - attempt 74
    - attempt 75
    - attempt 76
    - attempt 77
    - attempt 78
    - attempt 79
    - attempt 80
    - attempt 81
    - attempt 82
    - attempt 83
    - attempt 84
    - attempt 85
    - attempt 86
    - attempt 87
    - attempt 88
    - attempt 89
    - attempt 90
    - attempt 91
    - attempt 92
    - attempt 93
    - attempt 94
    - attempt 95
    - attempt 96
    - attempt 97
    - attempt 98
    - attempt 99
    - attempt 100
    - attempt 101
    - attempt 102
    - attempt 103
    - attempt 104
    - attempt 105
    - attempt 106
    - attempt 107
    - attempt 108
    - attempt 109
    - attempt 110
    - attempt 111
    - attempt 112
    - attempt 113
    - attempt 114
    - attempt 115
    - attempt 116
    - attempt 117
    - attempt 118
    - attempt 119
    - attempt 120
    - attempt 121
    - attempt 122
    - attempt 123
    - attempt 124
    - attempt 125
    - attempt 126
    - attempt 127
    - attempt 128
    - attempt 129
    - attempt 130
    - attempt 131
    - attempt 132
    - attempt 133
    - attempt 134
    - attempt 135
    - attempt 136
    - attempt 137
    - attempt 138
    - attempt 139
    - attempt 140
    - attempt 141
    - attempt 142
    - attempt 143
    - attempt 144
    - attempt 145
    - attempt 146
    - attempt 147
    - attempt 148
    - attempt 149
    - attempt 150
    - attempt 151
    - attempt 152
    - attempt 153
    - attempt 154
    - attempt 155
    - attempt 156
    - attempt 157
    - attempt 158
    - attempt 159
    - attempt 160
    - attempt 161
    - attempt 162
    - attempt 163
    - attempt 164
    - attempt 165
    - attempt 166
    - attempt 167
    - attempt 168
    - attempt 169
    - attempt 170
    - attempt 171
    - attempt 172
    - attempt 173
    - attempt 174
    - attempt 175
    - attempt 176
    - attempt 177
    - attempt 178
    - attempt 179
    - attempt 180
    - attempt 181
    - attempt 182
    - attempt 183
    - attempt 184
    - attempt 185
    - attempt 186
    - attempt 187
    - attempt 188
    - attempt 189
    - attempt 190
    - attempt 191
    - attempt 192
    - attempt 193
    - attempt 194
    - attempt 195
    - attempt 196
    - attempt 197
    - attempt 198
    - attempt 199
    - attempt 200
    - attempt 201
    - attempt 202
    - attempt 203
    - attempt 204
    - attempt 205
    - attempt 206
    - attempt 207
    - attempt 208
    - attempt 209
    - attempt 210
    - attempt 211
    - attempt 212
    - attempt 213
    - attempt 214
    - attempt 215
    - attempt 216
    - attempt 217
    - attempt 218
    - attempt 219
    - attempt 220
    - attempt 221
    - attempt 222
    - attempt 223
    - attempt 224
  - ghc981_algebraic-graph-duoids
    - attempt 1
    - attempt 2
    - attempt 3
    - attempt 4
    - attempt 5
    - attempt 6
    - attempt 7
    - attempt 8
    - attempt 9
    - attempt 10
    - attempt 11
    - attempt 12
    - attempt 13
    - attempt 14
    - attempt 15
    - attempt 16
    - attempt 17
    - attempt 18
    - attempt 19
    - attempt 20
    - attempt 21
    - attempt 22
    - attempt 23
    - attempt 24
    - attempt 25
    - attempt 26
    - attempt 27
    - attempt 28
    - attempt 29
    - attempt 30
    - attempt 31
    - attempt 32
    - attempt 33
    - attempt 34
    - attempt 35
    - attempt 36
    - attempt 37
    - attempt 38
    - attempt 39
    - attempt 40
    - attempt 41
    - attempt 42
    - attempt 43
    - attempt 44
    - attempt 45
    - attempt 46
    - attempt 47
    - attempt 48
    - attempt 49
    - attempt 50
    - attempt 51
    - attempt 52
    - attempt 53
    - attempt 54
    - attempt 55
    - attempt 56
    - attempt 57
    - attempt 58
    - attempt 59
    - attempt 60
    - attempt 61
    - attempt 62
    - attempt 63
    - attempt 64
    - attempt 65
    - attempt 66
    - attempt 67
    - attempt 68
    - attempt 69
    - attempt 70
    - attempt 71
    - attempt 72
    - attempt 73
    - attempt 74
    - attempt 75
    - attempt 76
    - attempt 77
    - attempt 78
    - attempt 79
    - attempt 80
    - attempt 81
    - attempt 82
    - attempt 83
    - attempt 84
    - attempt 85
    - attempt 86
    - attempt 87
    - attempt 88
    - attempt 89
    - attempt 90
    - attempt 91
    - attempt 92
    - attempt 93
    - attempt 94
    - attempt 95
    - attempt 96
    - attempt 97
    - attempt 98
    - attempt 99
    - attempt 100
    - attempt 101
    - attempt 102
    - attempt 103
    - attempt 104
    - attempt 105
    - attempt 106
    - attempt 107
    - attempt 108
    - attempt 109
    - attempt 110
    - attempt 111
    - attempt 112
    - attempt 113
    - attempt 114
    - attempt 115
    - attempt 116
    - attempt 117
    - attempt 118
    - attempt 119
    - attempt 120
    - attempt 121
    - attempt 122
    - attempt 123
    - attempt 124
    - attempt 125
    - attempt 126
    - attempt 127
    - attempt 128
    - attempt 129
    - attempt 130
    - attempt 131
    - attempt 132
    - attempt 133
    - attempt 134
    - attempt 135
    - attempt 136
    - attempt 137
    - attempt 138
    - attempt 139
    - attempt 140
    - attempt 141
    - attempt 142
    - attempt 143
    - attempt 144
    - attempt 145
    - attempt 146
    - attempt 147
    - attempt 148
    - attempt 149
    - attempt 150
    - attempt 151
    - attempt 152
    - attempt 153
    - attempt 154
    - attempt 155
    - attempt 156
    - attempt 157
    - attempt 158
    - attempt 159
    - attempt 160
    - attempt 161
    - attempt 162
    - attempt 163
    - attempt 164
    - attempt 165
    - attempt 166
    - attempt 167
    - attempt 168
    - attempt 169
    - attempt 170
    - attempt 171
    - attempt 172
    - attempt 173
    - attempt 174
    - attempt 175
    - attempt 176
    - attempt 177
    - attempt 178
    - attempt 179
    - attempt 180
    - attempt 181
    - attempt 182
    - attempt 183
    - attempt 184
    - attempt 185
    - attempt 186
    - attempt 187
    - attempt 188
    - attempt 189
    - attempt 190
    - attempt 191
    - attempt 192
    - attempt 193
    - attempt 194
    - attempt 195
    - attempt 196
    - attempt 197
    - attempt 198
    - attempt 199
    - attempt 200
    - attempt 201
    - attempt 202
    - attempt 203
    - attempt 204
    - attempt 205
    - attempt 206
    - attempt 207
    - attempt 208
    - attempt 209
    - attempt 210
    - attempt 211
    - attempt 212
    - attempt 213
    - attempt 214
    - attempt 215
    - attempt 216
    - attempt 217
    - attempt 218
    - attempt 219
    - attempt 220
    - attempt 221
    - attempt 222
    - attempt 223
    - attempt 224
  - ghc981_all
    - attempt 1
    - attempt 2
    - attempt 3
    - attempt 4
    - attempt 5
    - attempt 6
    - attempt 7
    - attempt 8
    - attempt 9
    - attempt 10
    - attempt 11
    - attempt 12
    - attempt 13
    - attempt 14
    - attempt 15
    - attempt 16
    - attempt 17
    - attempt 18
    - attempt 19
    - attempt 20
    - attempt 21
    - attempt 22
    - attempt 23
    - attempt 24
    - attempt 25
    - attempt 26
    - attempt 27
    - attempt 28
    - attempt 29
    - attempt 30
    - attempt 31
    - attempt 32
    - attempt 33
    - attempt 34
    - attempt 35
    - attempt 36
    - attempt 37
    - attempt 38
    - attempt 39
    - attempt 40
    - attempt 41
    - attempt 42
    - attempt 43
    - attempt 44
    - attempt 45
    - attempt 46
    - attempt 47
    - attempt 48
    - attempt 49
    - attempt 50
    - attempt 51
    - attempt 52
    - attempt 53
    - attempt 54
    - attempt 55
    - attempt 56
    - attempt 57
    - attempt 58
    - attempt 59
    - attempt 60
    - attempt 61
    - attempt 62
    - attempt 63
    - attempt 64
    - attempt 65
    - attempt 66
    - attempt 67
    - attempt 68
    - attempt 69
    - attempt 70
    - attempt 71
    - attempt 72
    - attempt 73
    - attempt 74
    - attempt 75
    - attempt 76
    - attempt 77
    - attempt 78
    - attempt 79
    - attempt 80
    - attempt 81
    - attempt 82
    - attempt 83
    - attempt 84
    - attempt 85
    - attempt 86
    - attempt 87
    - attempt 88
    - attempt 89
    - attempt 90
    - attempt 91
    - attempt 92
    - attempt 93
    - attempt 94
    - attempt 95
    - attempt 96
    - attempt 97
    - attempt 98
    - attempt 99
    - attempt 100
    - attempt 101
    - attempt 102
    - attempt 103
    - attempt 104
    - attempt 105
    - attempt 106
    - attempt 107
    - attempt 108
    - attempt 109
    - attempt 110
    - attempt 111
    - attempt 112
    - attempt 113
    - attempt 114
    - attempt 115
    - attempt 116
    - attempt 117
    - attempt 118
    - attempt 119
    - attempt 120
    - attempt 121
    - attempt 122
    - attempt 123
    - attempt 124
    - attempt 125
    - attempt 126
    - attempt 127
    - attempt 128
    - attempt 129
    - attempt 130
    - attempt 131
    - attempt 132
    - attempt 133
    - attempt 134
    - attempt 135
    - attempt 136
    - attempt 137
    - attempt 138
    - attempt 139
    - attempt 140
    - attempt 141
    - attempt 142
    - attempt 143
    - attempt 144
    - attempt 145
    - attempt 146
    - attempt 147
    - attempt 148
    - attempt 149
    - attempt 150
    - attempt 151
    - attempt 152
    - attempt 153
    - attempt 154
    - attempt 155
    - attempt 156
    - attempt 157
    - attempt 158
    - attempt 159
    - attempt 160
    - attempt 161
    - attempt 162
    - attempt 163
    - attempt 164
    - attempt 165
    - attempt 166
    - attempt 167
    - attempt 168
    - attempt 169
    - attempt 170
    - attempt 171
    - attempt 172
    - attempt 173
    - attempt 174
    - attempt 175
    - attempt 176
    - attempt 177
    - attempt 178
    - attempt 179
    - attempt 180
    - attempt 181
    - attempt 182
    - attempt 183
    - attempt 184
    - attempt 185
    - attempt 186
    - attempt 187
    - attempt 188
    - attempt 189
    - attempt 190
    - attempt 191
    - attempt 192
    - attempt 193
    - attempt 194
    - attempt 195
    - attempt 196
    - attempt 197
    - attempt 198
    - attempt 199
    - attempt 200
    - attempt 201
    - attempt 202
    - attempt 203
    - attempt 204
    - attempt 205
    - attempt 206
    - attempt 207
    - attempt 208
    - attempt 209
    - attempt 210
    - attempt 211
    - attempt 212
    - attempt 213
    - attempt 214
    - attempt 215
    - attempt 216
    - attempt 217
    - attempt 218
    - attempt 219
    - attempt 220
    - attempt 221
    - attempt 222
    - attempt 223
    - attempt 224
  - ghc981_duoids
    - attempt 1
    - attempt 2
    - attempt 3
    - attempt 4
    - attempt 5
    - attempt 6
    - attempt 7
    - attempt 8
    - attempt 9
    - attempt 10
    - attempt 11
    - attempt 12
    - attempt 13
    - attempt 14
    - attempt 15
    - attempt 16
    - attempt 17
    - attempt 18
    - attempt 19
    - attempt 20
    - attempt 21
    - attempt 22
    - attempt 23
    - attempt 24
    - attempt 25
    - attempt 26
    - attempt 27
    - attempt 28
    - attempt 29
    - attempt 30
    - attempt 31
    - attempt 32
    - attempt 33
    - attempt 34
    - attempt 35
    - attempt 36
    - attempt 37
    - attempt 38
    - attempt 39
    - attempt 40
    - attempt 41
    - attempt 42
    - attempt 43
    - attempt 44
    - attempt 45
    - attempt 46
    - attempt 47
    - attempt 48
    - attempt 49
    - attempt 50
    - attempt 51
    - attempt 52
    - attempt 53
    - attempt 54
    - attempt 55
    - attempt 56
    - attempt 57
    - attempt 58
    - attempt 59
    - attempt 60
    - attempt 61
    - attempt 62
    - attempt 63
    - attempt 64
    - attempt 65
    - attempt 66
    - attempt 67
    - attempt 68
    - attempt 69
    - attempt 70
    - attempt 71
    - attempt 72
    - attempt 73
    - attempt 74
    - attempt 75
    - attempt 76
    - attempt 77
    - attempt 78
    - attempt 79
    - attempt 80
    - attempt 81
    - attempt 82
    - attempt 83
    - attempt 84
    - attempt 85
    - attempt 86
    - attempt 87
    - attempt 88
    - attempt 89
    - attempt 90
    - attempt 91
    - attempt 92
    - attempt 93
    - attempt 94
    - attempt 95
    - attempt 96
    - attempt 97
    - attempt 98
    - attempt 99
    - attempt 100
    - attempt 101
    - attempt 102
    - attempt 103
    - attempt 104
    - attempt 105
    - attempt 106
    - attempt 107
    - attempt 108
    - attempt 109
    - attempt 110
    - attempt 111
    - attempt 112
    - attempt 113
    - attempt 114
    - attempt 115
    - attempt 116
    - attempt 117
    - attempt 118
    - attempt 119
    - attempt 120
    - attempt 121
    - attempt 122
    - attempt 123
    - attempt 124
    - attempt 125
    - attempt 126
    - attempt 127
    - attempt 128
    - attempt 129
    - attempt 130
    - attempt 131
    - attempt 132
    - attempt 133
    - attempt 134
    - attempt 135
    - attempt 136
    - attempt 137
    - attempt 138
    - attempt 139
    - attempt 140
    - attempt 141
    - attempt 142
    - attempt 143
    - attempt 144
    - attempt 145
    - attempt 146
    - attempt 147
    - attempt 148
    - attempt 149
    - attempt 150
    - attempt 151
    - attempt 152
    - attempt 153
    - attempt 154
    - attempt 155
    - attempt 156
    - attempt 157
    - attempt 158
    - attempt 159
    - attempt 160
    - attempt 161
    - attempt 162
    - attempt 163
    - attempt 164
    - attempt 165
    - attempt 166
    - attempt 167
    - attempt 168
    - attempt 169
    - attempt 170
    - attempt 171
    - attempt 172
    - attempt 173
    - attempt 174
    - attempt 175
    - attempt 176
    - attempt 177
    - attempt 178
    - attempt 179
    - attempt 180
    - attempt 181
    - attempt 182
    - attempt 183
    - attempt 184
    - attempt 185
    - attempt 186
    - attempt 187
    - attempt 188
    - attempt 189
    - attempt 190
    - attempt 191
    - attempt 192
    - attempt 193
    - attempt 194
    - attempt 195
    - attempt 196
    - attempt 197
    - attempt 198
    - attempt 199
    - attempt 200
    - attempt 201
    - attempt 202
    - attempt 203
    - attempt 204
    - attempt 205
    - attempt 206
    - attempt 207
    - attempt 208
    - attempt 209
    - attempt 210
    - attempt 211
    - attempt 212
    - attempt 213
    - attempt 214
    - attempt 215
    - attempt 216
    - attempt 217
    - attempt 218
    - attempt 219
    - attempt 220
    - attempt 221
    - attempt 222
    - attempt 223
    - attempt 224
  - ghc981_duoids-hedgehog
    - attempt 1
    - attempt 2
    - attempt 3
    - attempt 4
    - attempt 5
    - attempt 6
    - attempt 7
    - attempt 8
    - attempt 9
    - attempt 10
    - attempt 11
    - attempt 12
    - attempt 13
    - attempt 14
    - attempt 15
    - attempt 16
    - attempt 17
    - attempt 18
    - attempt 19
    - attempt 20
    - attempt 21
    - attempt 22
    - attempt 23
    - attempt 24
    - attempt 25
    - attempt 26
    - attempt 27
    - attempt 28
    - attempt 29
    - attempt 30
    - attempt 31
    - attempt 32
    - attempt 33
    - attempt 34
    - attempt 35
    - attempt 36
    - attempt 37
    - attempt 38
    - attempt 39
    - attempt 40
    - attempt 41
    - attempt 42
    - attempt 43
    - attempt 44
    - attempt 45
    - attempt 46
    - attempt 47
    - attempt 48
    - attempt 49
    - attempt 50
    - attempt 51
    - attempt 52
    - attempt 53
    - attempt 54
    - attempt 55
    - attempt 56
    - attempt 57
    - attempt 58
    - attempt 59
    - attempt 60
    - attempt 61
    - attempt 62
    - attempt 63
    - attempt 64
    - attempt 65
    - attempt 66
    - attempt 67
    - attempt 68
    - attempt 69
    - attempt 70
    - attempt 71
    - attempt 72
    - attempt 73
    - attempt 74
    - attempt 75
    - attempt 76
    - attempt 77
    - attempt 78
    - attempt 79
    - attempt 80
    - attempt 81
    - attempt 82
    - attempt 83
    - attempt 84
    - attempt 85
    - attempt 86
    - attempt 87
    - attempt 88
    - attempt 89
    - attempt 90
    - attempt 91
    - attempt 92
    - attempt 93
    - attempt 94
    - attempt 95
    - attempt 96
    - attempt 97
    - attempt 98
    - attempt 99
    - attempt 100
    - attempt 101
    - attempt 102
    - attempt 103
    - attempt 104
    - attempt 105
    - attempt 106
    - attempt 107
    - attempt 108
    - attempt 109
    - attempt 110
    - attempt 111
    - attempt 112
    - attempt 113
    - attempt 114
    - attempt 115
    - attempt 116
    - attempt 117
    - attempt 118
    - attempt 119
    - attempt 120
    - attempt 121
    - attempt 122
    - attempt 123
    - attempt 124
    - attempt 125
    - attempt 126
    - attempt 127
    - attempt 128
    - attempt 129
    - attempt 130
    - attempt 131
    - attempt 132
    - attempt 133
    - attempt 134
    - attempt 135
    - attempt 136
    - attempt 137
    - attempt 138
    - attempt 139
    - attempt 140
    - attempt 141
    - attempt 142
    - attempt 143
    - attempt 144
    - attempt 145
    - attempt 146
    - attempt 147
    - attempt 148
    - attempt 149
    - attempt 150
    - attempt 151
    - attempt 152
    - attempt 153
    - attempt 154
    - attempt 155
    - attempt 156
    - attempt 157
    - attempt 158
    - attempt 159
    - attempt 160
    - attempt 161
    - attempt 162
    - attempt 163
    - attempt 164
    - attempt 165
    - attempt 166
    - attempt 167
    - attempt 168
    - attempt 169
    - attempt 170
    - attempt 171
    - attempt 172
    - attempt 173
    - attempt 174
    - attempt 175
    - attempt 176
    - attempt 177
    - attempt 178
    - attempt 179
    - attempt 180
    - attempt 181
    - attempt 182
    - attempt 183
    - attempt 184
    - attempt 185
    - attempt 186
    - attempt 187
    - attempt 188
    - attempt 189
    - attempt 190
    - attempt 191
    - attempt 192
    - attempt 193
    - attempt 194
    - attempt 195
    - attempt 196
    - attempt 197
    - attempt 198
    - attempt 199
    - attempt 200
    - attempt 201
    - attempt 202
    - attempt 203
    - attempt 204
    - attempt 205
    - attempt 206
    - attempt 207
    - attempt 208
    - attempt 209
    - attempt 210
    - attempt 211
    - attempt 212
    - attempt 213
    - attempt 214
    - attempt 215
    - attempt 216
    - attempt 217
    - attempt 218
    - attempt 219
    - attempt 220
    - attempt 221
    - attempt 222
    - attempt 223
    - attempt 224
  - ghc981_transformer-duoids
    - attempt 1
    - attempt 2
    - attempt 3
    - attempt 4
    - attempt 5
    - attempt 6
    - attempt 7
    - attempt 8
    - attempt 9
    - attempt 10
    - attempt 11
    - attempt 12
    - attempt 13
    - attempt 14
    - attempt 15
    - attempt 16
    - attempt 17
    - attempt 18
    - attempt 19
    - attempt 20
    - attempt 21
    - attempt 22
    - attempt 23
    - attempt 24
    - attempt 25
    - attempt 26
    - attempt 27
    - attempt 28
    - attempt 29
    - attempt 30
    - attempt 31
    - attempt 32
    - attempt 33
    - attempt 34
    - attempt 35
    - attempt 36
    - attempt 37
    - attempt 38
    - attempt 39
    - attempt 40
    - attempt 41
    - attempt 42
    - attempt 43
    - attempt 44
    - attempt 45
    - attempt 46
    - attempt 47
    - attempt 48
    - attempt 49
    - attempt 50
    - attempt 51
    - attempt 52
    - attempt 53
    - attempt 54
    - attempt 55
    - attempt 56
    - attempt 57
    - attempt 58
    - attempt 59
    - attempt 60
    - attempt 61
    - attempt 62
    - attempt 63
    - attempt 64
    - attempt 65
    - attempt 66
    - attempt 67
    - attempt 68
    - attempt 69
    - attempt 70
    - attempt 71
    - attempt 72
    - attempt 73
    - attempt 74
    - attempt 75
    - attempt 76
    - attempt 77
    - attempt 78
    - attempt 79
    - attempt 80
    - attempt 81
    - attempt 82
    - attempt 83
    - attempt 84
    - attempt 85
    - attempt 86
    - attempt 87
    - attempt 88
    - attempt 89
    - attempt 90
    - attempt 91
    - attempt 92
    - attempt 93
    - attempt 94
    - attempt 95
    - attempt 96
    - attempt 97
    - attempt 98
    - attempt 99
    - attempt 100
    - attempt 101
    - attempt 102
    - attempt 103
    - attempt 104
    - attempt 105
    - attempt 106
    - attempt 107
    - attempt 108
    - attempt 109
    - attempt 110
    - attempt 111
    - attempt 112
    - attempt 113
    - attempt 114
    - attempt 115
    - attempt 116
    - attempt 117
    - attempt 118
    - attempt 119
    - attempt 120
    - attempt 121
    - attempt 122
    - attempt 123
    - attempt 124
    - attempt 125
    - attempt 126
    - attempt 127
    - attempt 128
    - attempt 129
    - attempt 130
    - attempt 131
    - attempt 132
    - attempt 133
    - attempt 134
    - attempt 135
    - attempt 136
    - attempt 137
    - attempt 138
    - attempt 139
    - attempt 140
    - attempt 141
    - attempt 142
    - attempt 143
    - attempt 144
    - attempt 145
    - attempt 146
    - attempt 147
    - attempt 148
    - attempt 149
    - attempt 150
    - attempt 151
    - attempt 152
    - attempt 153
    - attempt 154
    - attempt 155
    - attempt 156
    - attempt 157
    - attempt 158
    - attempt 159
    - attempt 160
    - attempt 161
    - attempt 162
    - attempt 163
    - attempt 164
    - attempt 165
    - attempt 166
    - attempt 167
    - attempt 168
    - attempt 169
    - attempt 170
    - attempt 171
    - attempt 172
    - attempt 173
    - attempt 174
    - attempt 175
    - attempt 176
    - attempt 177
    - attempt 178
    - attempt 179
    - attempt 180
    - attempt 181
    - attempt 182
    - attempt 183
    - attempt 184
    - attempt 185
    - attempt 186
    - attempt 187
    - attempt 188
    - attempt 189
    - attempt 190
    - attempt 191
    - attempt 192
    - attempt 193
    - attempt 194
    - attempt 195
    - attempt 196
    - attempt 197
    - attempt 198
    - attempt 199
    - attempt 200
    - attempt 201
    - attempt 202
    - attempt 203
    - attempt 204
    - attempt 205
    - attempt 206
    - attempt 207
    - attempt 208
    - attempt 209
    - attempt 210
    - attempt 211
    - attempt 212
    - attempt 213
    - attempt 214
    - attempt 215
    - attempt 216
    - attempt 217
    - attempt 218
    - attempt 219
    - attempt 220
    - attempt 221
    - attempt 222
    - attempt 223
    - attempt 224
  - ghc982_algebraic-graph-duoids
    - attempt 1
    - attempt 2
    - attempt 3
    - attempt 4
    - attempt 5
    - attempt 6
    - attempt 7
    - attempt 8
    - attempt 9
    - attempt 10
    - attempt 11
    - attempt 12
    - attempt 13
    - attempt 14
    - attempt 15
    - attempt 16
    - attempt 17
    - attempt 18
    - attempt 19
    - attempt 20
    - attempt 21
    - attempt 22
    - attempt 23
    - attempt 24
    - attempt 25
    - attempt 26
    - attempt 27
    - attempt 28
    - attempt 29
    - attempt 30
    - attempt 31
    - attempt 32
    - attempt 33
    - attempt 34
    - attempt 35
    - attempt 36
    - attempt 37
    - attempt 38
    - attempt 39
    - attempt 40
    - attempt 41
    - attempt 42
    - attempt 43
    - attempt 44
    - attempt 45
    - attempt 46
    - attempt 47
    - attempt 48
    - attempt 49
    - attempt 50
    - attempt 51
    - attempt 52
    - attempt 53
    - attempt 54
    - attempt 55
    - attempt 56
    - attempt 57
    - attempt 58
    - attempt 59
    - attempt 60
    - attempt 61
    - attempt 62
    - attempt 63
    - attempt 64
    - attempt 65
    - attempt 66
    - attempt 67
    - attempt 68
    - attempt 69
    - attempt 70
    - attempt 71
    - attempt 72
    - attempt 73
    - attempt 74
    - attempt 75
    - attempt 76
    - attempt 77
    - attempt 78
    - attempt 79
    - attempt 80
    - attempt 81
    - attempt 82
    - attempt 83
    - attempt 84
    - attempt 85
    - attempt 86
    - attempt 87
    - attempt 88
    - attempt 89
    - attempt 90
    - attempt 91
    - attempt 92
    - attempt 93
    - attempt 94
    - attempt 95
    - attempt 96
    - attempt 97
    - attempt 98
    - attempt 99
    - attempt 100
    - attempt 101
    - attempt 102
    - attempt 103
    - attempt 104
    - attempt 105
    - attempt 106
    - attempt 107
    - attempt 108
    - attempt 109
    - attempt 110
    - attempt 111
    - attempt 112
    - attempt 113
    - attempt 114
    - attempt 115
    - attempt 116
    - attempt 117
    - attempt 118
    - attempt 119
    - attempt 120
    - attempt 121
    - attempt 122
    - attempt 123
    - attempt 124
    - attempt 125
    - attempt 126
    - attempt 127
    - attempt 128
    - attempt 129
    - attempt 130
    - attempt 131
    - attempt 132
    - attempt 133
    - attempt 134
    - attempt 135
    - attempt 136
    - attempt 137
    - attempt 138
    - attempt 139
    - attempt 140
    - attempt 141
    - attempt 142
    - attempt 143
    - attempt 144
    - attempt 145
    - attempt 146
    - attempt 147
    - attempt 148
    - attempt 149
    - attempt 150
    - attempt 151
    - attempt 152
    - attempt 153
    - attempt 154
    - attempt 155
    - attempt 156
    - attempt 157
    - attempt 158
    - attempt 159
    - attempt 160
    - attempt 161
    - attempt 162
    - attempt 163
    - attempt 164
    - attempt 165
    - attempt 166
    - attempt 167
    - attempt 168
    - attempt 169
    - attempt 170
    - attempt 171
    - attempt 172
    - attempt 173
    - attempt 174
    - attempt 175
    - attempt 176
    - attempt 177
    - attempt 178
    - attempt 179
    - attempt 180
    - attempt 181
    - attempt 182
    - attempt 183
    - attempt 184
    - attempt 185
    - attempt 186
    - attempt 187
    - attempt 188
    - attempt 189
    - attempt 190
    - attempt 191
    - attempt 192
    - attempt 193
    - attempt 194
    - attempt 195
    - attempt 196
    - attempt 197
    - attempt 198
    - attempt 199
    - attempt 200
    - attempt 201
    - attempt 202
    - attempt 203
    - attempt 204
    - attempt 205
    - attempt 206
    - attempt 207
    - attempt 208
    - attempt 209
    - attempt 210
    - attempt 211
    - attempt 212
    - attempt 213
    - attempt 214
    - attempt 215
    - attempt 216
    - attempt 217
    - attempt 218
    - attempt 219
    - attempt 220
    - attempt 221
    - attempt 222
    - attempt 223
    - attempt 224
  - ghc982_all
    - attempt 1
    - attempt 2
    - attempt 3
    - attempt 4
    - attempt 5
    - attempt 6
    - attempt 7
    - attempt 8
    - attempt 9
    - attempt 10
    - attempt 11
    - attempt 12
    - attempt 13
    - attempt 14
    - attempt 15
    - attempt 16
    - attempt 17
    - attempt 18
    - attempt 19
    - attempt 20
    - attempt 21
    - attempt 22
    - attempt 23
    - attempt 24
    - attempt 25
    - attempt 26
    - attempt 27
    - attempt 28
    - attempt 29
    - attempt 30
    - attempt 31
    - attempt 32
    - attempt 33
    - attempt 34
    - attempt 35
    - attempt 36
    - attempt 37
    - attempt 38
    - attempt 39
    - attempt 40
    - attempt 41
    - attempt 42
    - attempt 43
    - attempt 44
    - attempt 45
    - attempt 46
    - attempt 47
    - attempt 48
    - attempt 49
    - attempt 50
    - attempt 51
    - attempt 52
    - attempt 53
    - attempt 54
    - attempt 55
    - attempt 56
    - attempt 57
    - attempt 58
    - attempt 59
    - attempt 60
    - attempt 61
    - attempt 62
    - attempt 63
    - attempt 64
    - attempt 65
    - attempt 66
    - attempt 67
    - attempt 68
    - attempt 69
    - attempt 70
    - attempt 71
    - attempt 72
    - attempt 73
    - attempt 74
    - attempt 75
    - attempt 76
    - attempt 77
    - attempt 78
    - attempt 79
    - attempt 80
    - attempt 81
    - attempt 82
    - attempt 83
    - attempt 84
    - attempt 85
    - attempt 86
    - attempt 87
    - attempt 88
    - attempt 89
    - attempt 90
    - attempt 91
    - attempt 92
    - attempt 93
    - attempt 94
    - attempt 95
    - attempt 96
    - attempt 97
    - attempt 98
    - attempt 99
    - attempt 100
    - attempt 101
    - attempt 102
    - attempt 103
    - attempt 104
    - attempt 105
    - attempt 106
    - attempt 107
    - attempt 108
    - attempt 109
    - attempt 110
    - attempt 111
    - attempt 112
    - attempt 113
    - attempt 114
    - attempt 115
    - attempt 116
    - attempt 117
    - attempt 118
    - attempt 119
    - attempt 120
    - attempt 121
    - attempt 122
    - attempt 123
    - attempt 124
    - attempt 125
    - attempt 126
    - attempt 127
    - attempt 128
    - attempt 129
    - attempt 130
    - attempt 131
    - attempt 132
    - attempt 133
    - attempt 134
    - attempt 135
    - attempt 136
    - attempt 137
    - attempt 138
    - attempt 139
    - attempt 140
    - attempt 141
    - attempt 142
    - attempt 143
    - attempt 144
    - attempt 145
    - attempt 146
    - attempt 147
    - attempt 148
    - attempt 149
    - attempt 150
    - attempt 151
    - attempt 152
    - attempt 153
    - attempt 154
    - attempt 155
    - attempt 156
    - attempt 157
    - attempt 158
    - attempt 159
    - attempt 160
    - attempt 161
    - attempt 162
    - attempt 163
    - attempt 164
    - attempt 165
    - attempt 166
    - attempt 167
    - attempt 168
    - attempt 169
    - attempt 170
    - attempt 171
    - attempt 172
    - attempt 173
    - attempt 174
    - attempt 175
    - attempt 176
    - attempt 177
    - attempt 178
    - attempt 179
    - attempt 180
    - attempt 181
    - attempt 182
    - attempt 183
    - attempt 184
    - attempt 185
    - attempt 186
    - attempt 187
    - attempt 188
    - attempt 189
    - attempt 190
    - attempt 191
    - attempt 192
    - attempt 193
    - attempt 194
    - attempt 195
    - attempt 196
    - attempt 197
    - attempt 198
    - attempt 199
    - attempt 200
    - attempt 201
    - attempt 202
    - attempt 203
    - attempt 204
    - attempt 205
    - attempt 206
    - attempt 207
    - attempt 208
    - attempt 209
    - attempt 210
    - attempt 211
    - attempt 212
    - attempt 213
    - attempt 214
    - attempt 215
    - attempt 216
    - attempt 217
    - attempt 218
    - attempt 219
    - attempt 220
    - attempt 221
    - attempt 222
    - attempt 223
    - attempt 224
  - ghc982_duoids
    - attempt 1
    - attempt 2
    - attempt 3
    - attempt 4
    - attempt 5
    - attempt 6
    - attempt 7
    - attempt 8
    - attempt 9
    - attempt 10
    - attempt 11
    - attempt 12
    - attempt 13
    - attempt 14
    - attempt 15
    - attempt 16
    - attempt 17
    - attempt 18
    - attempt 19
    - attempt 20
    - attempt 21
    - attempt 22
    - attempt 23
    - attempt 24
    - attempt 25
    - attempt 26
    - attempt 27
    - attempt 28
    - attempt 29
    - attempt 30
    - attempt 31
    - attempt 32
    - attempt 33
    - attempt 34
    - attempt 35
    - attempt 36
    - attempt 37
    - attempt 38
    - attempt 39
    - attempt 40
    - attempt 41
    - attempt 42
    - attempt 43
    - attempt 44
    - attempt 45
    - attempt 46
    - attempt 47
    - attempt 48
    - attempt 49
    - attempt 50
    - attempt 51
    - attempt 52
    - attempt 53
    - attempt 54
    - attempt 55
    - attempt 56
    - attempt 57
    - attempt 58
    - attempt 59
    - attempt 60
    - attempt 61
    - attempt 62
    - attempt 63
    - attempt 64
    - attempt 65
    - attempt 66
    - attempt 67
    - attempt 68
    - attempt 69
    - attempt 70
    - attempt 71
    - attempt 72
    - attempt 73
    - attempt 74
    - attempt 75
    - attempt 76
    - attempt 77
    - attempt 78
    - attempt 79
    - attempt 80
    - attempt 81
    - attempt 82
    - attempt 83
    - attempt 84
    - attempt 85
    - attempt 86
    - attempt 87
    - attempt 88
    - attempt 89
    - attempt 90
    - attempt 91
    - attempt 92
    - attempt 93
    - attempt 94
    - attempt 95
    - attempt 96
    - attempt 97
    - attempt 98
    - attempt 99
    - attempt 100
    - attempt 101
    - attempt 102
    - attempt 103
    - attempt 104
    - attempt 105
    - attempt 106
    - attempt 107
    - attempt 108
    - attempt 109
    - attempt 110
    - attempt 111
    - attempt 112
    - attempt 113
    - attempt 114
    - attempt 115
    - attempt 116
    - attempt 117
    - attempt 118
    - attempt 119
    - attempt 120
    - attempt 121
    - attempt 122
    - attempt 123
    - attempt 124
    - attempt 125
    - attempt 126
    - attempt 127
    - attempt 128
    - attempt 129
    - attempt 130
    - attempt 131
    - attempt 132
    - attempt 133
    - attempt 134
    - attempt 135
    - attempt 136
    - attempt 137
    - attempt 138
    - attempt 139
    - attempt 140
    - attempt 141
    - attempt 142
    - attempt 143
    - attempt 144
    - attempt 145
    - attempt 146
    - attempt 147
    - attempt 148
    - attempt 149
    - attempt 150
    - attempt 151
    - attempt 152
    - attempt 153
    - attempt 154
    - attempt 155
    - attempt 156
    - attempt 157
    - attempt 158
    - attempt 159
    - attempt 160
    - attempt 161
    - attempt 162
    - attempt 163
    - attempt 164
    - attempt 165
    - attempt 166
    - attempt 167
    - attempt 168
    - attempt 169
    - attempt 170
    - attempt 171
    - attempt 172
    - attempt 173
    - attempt 174
    - attempt 175
    - attempt 176
    - attempt 177
    - attempt 178
    - attempt 179
    - attempt 180
    - attempt 181
    - attempt 182
    - attempt 183
    - attempt 184
    - attempt 185
    - attempt 186
    - attempt 187
    - attempt 188
    - attempt 189
    - attempt 190
    - attempt 191
    - attempt 192
    - attempt 193
    - attempt 194
    - attempt 195
    - attempt 196
    - attempt 197
    - attempt 198
    - attempt 199
    - attempt 200
    - attempt 201
    - attempt 202
    - attempt 203
    - attempt 204
    - attempt 205
    - attempt 206
    - attempt 207
    - attempt 208
    - attempt 209
    - attempt 210
    - attempt 211
    - attempt 212
    - attempt 213
    - attempt 214
    - attempt 215
    - attempt 216
    - attempt 217
    - attempt 218
    - attempt 219
    - attempt 220
    - attempt 221
    - attempt 222
    - attempt 223
    - attempt 224
  - ghc982_duoids-hedgehog
    - attempt 1
    - attempt 2
    - attempt 3
    - attempt 4
    - attempt 5
    - attempt 6
    - attempt 7
    - attempt 8
    - attempt 9
    - attempt 10
    - attempt 11
    - attempt 12
    - attempt 13
    - attempt 14
    - attempt 15
    - attempt 16
    - attempt 17
    - attempt 18
    - attempt 19
    - attempt 20
    - attempt 21
    - attempt 22
    - attempt 23
    - attempt 24
    - attempt 25
    - attempt 26
    - attempt 27
    - attempt 28
    - attempt 29
    - attempt 30
    - attempt 31
    - attempt 32
    - attempt 33
    - attempt 34
    - attempt 35
    - attempt 36
    - attempt 37
    - attempt 38
    - attempt 39
    - attempt 40
    - attempt 41
    - attempt 42
    - attempt 43
    - attempt 44
    - attempt 45
    - attempt 46
    - attempt 47
    - attempt 48
    - attempt 49
    - attempt 50
    - attempt 51
    - attempt 52
    - attempt 53
    - attempt 54
    - attempt 55
    - attempt 56
    - attempt 57
    - attempt 58
    - attempt 59
    - attempt 60
    - attempt 61
    - attempt 62
    - attempt 63
    - attempt 64
    - attempt 65
    - attempt 66
    - attempt 67
    - attempt 68
    - attempt 69
    - attempt 70
    - attempt 71
    - attempt 72
    - attempt 73
    - attempt 74
    - attempt 75
    - attempt 76
    - attempt 77
    - attempt 78
    - attempt 79
    - attempt 80
    - attempt 81
    - attempt 82
    - attempt 83
    - attempt 84
    - attempt 85
    - attempt 86
    - attempt 87
    - attempt 88
    - attempt 89
    - attempt 90
    - attempt 91
    - attempt 92
    - attempt 93
    - attempt 94
    - attempt 95
    - attempt 96
    - attempt 97
    - attempt 98
    - attempt 99
    - attempt 100
    - attempt 101
    - attempt 102
    - attempt 103
    - attempt 104
    - attempt 105
    - attempt 106
    - attempt 107
    - attempt 108
    - attempt 109
    - attempt 110
    - attempt 111
    - attempt 112
    - attempt 113
    - attempt 114
    - attempt 115
    - attempt 116
    - attempt 117
    - attempt 118
    - attempt 119
    - attempt 120
    - attempt 121
    - attempt 122
    - attempt 123
    - attempt 124
    - attempt 125
    - attempt 126
    - attempt 127
    - attempt 128
    - attempt 129
    - attempt 130
    - attempt 131
    - attempt 132
    - attempt 133
    - attempt 134
    - attempt 135
    - attempt 136
    - attempt 137
    - attempt 138
    - attempt 139
    - attempt 140
    - attempt 141
    - attempt 142
    - attempt 143
    - attempt 144
    - attempt 145
    - attempt 146
    - attempt 147
    - attempt 148
    - attempt 149
    - attempt 150
    - attempt 151
    - attempt 152
    - attempt 153
    - attempt 154
    - attempt 155
    - attempt 156
    - attempt 157
    - attempt 158
    - attempt 159
    - attempt 160
    - attempt 161
    - attempt 162
    - attempt 163
    - attempt 164
    - attempt 165
    - attempt 166
    - attempt 167
    - attempt 168
    - attempt 169
    - attempt 170
    - attempt 171
    - attempt 172
    - attempt 173
    - attempt 174
    - attempt 175
    - attempt 176
    - attempt 177
    - attempt 178
    - attempt 179
    - attempt 180
    - attempt 181
    - attempt 182
    - attempt 183
    - attempt 184
    - attempt 185
    - attempt 186
    - attempt 187
    - attempt 188
    - attempt 189
    - attempt 190
    - attempt 191
    - attempt 192
    - attempt 193
    - attempt 194
    - attempt 195
    - attempt 196
    - attempt 197
    - attempt 198
    - attempt 199
    - attempt 200
    - attempt 201
    - attempt 202
    - attempt 203
    - attempt 204
    - attempt 205
    - attempt 206
    - attempt 207
    - attempt 208
    - attempt 209
    - attempt 210
    - attempt 211
    - attempt 212
    - attempt 213
    - attempt 214
    - attempt 215
    - attempt 216
    - attempt 217
    - attempt 218
    - attempt 219
    - attempt 220
    - attempt 221
    - attempt 222
    - attempt 223
    - attempt 224
  - ghc982_transformer-duoids
    - attempt 1
    - attempt 2
    - attempt 3
    - attempt 4
    - attempt 5
    - attempt 6
    - attempt 7
    - attempt 8
    - attempt 9
    - attempt 10
    - attempt 11
    - attempt 12
    - attempt 13
    - attempt 14
    - attempt 15
    - attempt 16
    - attempt 17
    - attempt 18
    - attempt 19
    - attempt 20
    - attempt 21
    - attempt 22
    - attempt 23
    - attempt 24
    - attempt 25
    - attempt 26
    - attempt 27
    - attempt 28
    - attempt 29
    - attempt 30
    - attempt 31
    - attempt 32
    - attempt 33
    - attempt 34
    - attempt 35
    - attempt 36
    - attempt 37
    - attempt 38
    - attempt 39
    - attempt 40
    - attempt 41
    - attempt 42
    - attempt 43
    - attempt 44
    - attempt 45
    - attempt 46
    - attempt 47
    - attempt 48
    - attempt 49
    - attempt 50
    - attempt 51
    - attempt 52
    - attempt 53
    - attempt 54
    - attempt 55
    - attempt 56
    - attempt 57
    - attempt 58
    - attempt 59
    - attempt 60
    - attempt 61
    - attempt 62
    - attempt 63
    - attempt 64
    - attempt 65
    - attempt 66
    - attempt 67
    - attempt 68
    - attempt 69
    - attempt 70
    - attempt 71
    - attempt 72
    - attempt 73
    - attempt 74
    - attempt 75
    - attempt 76
    - attempt 77
    - attempt 78
    - attempt 79
    - attempt 80
    - attempt 81
    - attempt 82
    - attempt 83
    - attempt 84
    - attempt 85
    - attempt 86
    - attempt 87
    - attempt 88
    - attempt 89
    - attempt 90
    - attempt 91
    - attempt 92
    - attempt 93
    - attempt 94
    - attempt 95
    - attempt 96
    - attempt 97
    - attempt 98
    - attempt 99
    - attempt 100
    - attempt 101
    - attempt 102
    - attempt 103
    - attempt 104
    - attempt 105
    - attempt 106
    - attempt 107
    - attempt 108
    - attempt 109
    - attempt 110
    - attempt 111
    - attempt 112
    - attempt 113
    - attempt 114
    - attempt 115
    - attempt 116
    - attempt 117
    - attempt 118
    - attempt 119
    - attempt 120
    - attempt 121
    - attempt 122
    - attempt 123
    - attempt 124
    - attempt 125
    - attempt 126
    - attempt 127
    - attempt 128
    - attempt 129
    - attempt 130
    - attempt 131
    - attempt 132
    - attempt 133
    - attempt 134
    - attempt 135
    - attempt 136
    - attempt 137
    - attempt 138
    - attempt 139
    - attempt 140
    - attempt 141
    - attempt 142
    - attempt 143
    - attempt 144
    - attempt 145
    - attempt 146
    - attempt 147
    - attempt 148
    - attempt 149
    - attempt 150
    - attempt 151
    - attempt 152
    - attempt 153
    - attempt 154
    - attempt 155
    - attempt 156
    - attempt 157
    - attempt 158
    - attempt 159
    - attempt 160
    - attempt 161
    - attempt 162
    - attempt 163
    - attempt 164
    - attempt 165
    - attempt 166
    - attempt 167
    - attempt 168
    - attempt 169
    - attempt 170
    - attempt 171
    - attempt 172
    - attempt 173
    - attempt 174
    - attempt 175
    - attempt 176
    - attempt 177
    - attempt 178
    - attempt 179
    - attempt 180
    - attempt 181
    - attempt 182
    - attempt 183
    - attempt 184
    - attempt 185
    - attempt 186
    - attempt 187
    - attempt 188
    - attempt 189
    - attempt 190
    - attempt 191
    - attempt 192
    - attempt 193
    - attempt 194
    - attempt 195
    - attempt 196
    - attempt 197
    - attempt 198
    - attempt 199
    - attempt 200
    - attempt 201
    - attempt 202
    - attempt 203
    - attempt 204
    - attempt 205
    - attempt 206
    - attempt 207
    - attempt 208
    - attempt 209
    - attempt 210
    - attempt 211
    - attempt 212
    - attempt 213
    - attempt 214
    - attempt 215
    - attempt 216
    - attempt 217
    - attempt 218
    - attempt 219
    - attempt 220
    - attempt 221
    - attempt 222
    - attempt 223
    - attempt 224
checks
- x86_64-linux
  - formatter
    - attempt 1
    - attempt 2
    - attempt 3
    - attempt 4
    - attempt 5
    - attempt 6
    - attempt 7
    - attempt 8
    - attempt 9
    - attempt 10
    - attempt 11
    - attempt 12
    - attempt 13
    - attempt 14
    - attempt 15
    - attempt 16
    - attempt 17
    - attempt 18
    - attempt 19
    - attempt 20
    - attempt 21
    - attempt 22
    - attempt 23
    - attempt 24
    - attempt 25
    - attempt 26
    - attempt 27
    - attempt 28
    - attempt 29
    - attempt 30
    - attempt 31
    - attempt 32
    - attempt 33
    - attempt 34
    - attempt 35
    - attempt 36
    - attempt 37
    - attempt 38
    - attempt 39
    - attempt 40
    - attempt 41
    - attempt 42
    - attempt 43
    - attempt 44
    - attempt 45
    - attempt 46
    - attempt 47
    - attempt 48
    - attempt 49
    - attempt 50
    - attempt 51
    - attempt 52
    - attempt 53
    - attempt 54
    - attempt 55
    - attempt 56
    - attempt 57
    - attempt 58
    - attempt 59
    - attempt 60
    - attempt 61
    - attempt 62
    - attempt 63
    - attempt 64
    - attempt 65
    - attempt 66
    - attempt 67
    - attempt 68
    - attempt 69
    - attempt 70
    - attempt 71
    - attempt 72
    - attempt 73
    - attempt 74
    - attempt 75
    - attempt 76
    - attempt 77
    - attempt 78
    - attempt 79
    - attempt 80
    - attempt 81
    - attempt 82
    - attempt 83
    - attempt 84
    - attempt 85
    - attempt 86
    - attempt 87
    - attempt 88
    - attempt 89
    - attempt 90
    - attempt 91
    - attempt 92
    - attempt 93
    - attempt 94
    - attempt 95
    - attempt 96
    - attempt 97
    - attempt 98
    - attempt 99
    - attempt 100
    - attempt 101
    - attempt 102
    - attempt 103
    - attempt 104
    - attempt 105
    - attempt 106
    - attempt 107
    - attempt 108
    - attempt 109
    - attempt 110
    - attempt 111
    - attempt 112
    - attempt 113
    - attempt 114
    - attempt 115
    - attempt 116
    - attempt 117
    - attempt 118
    - attempt 119
    - attempt 120
    - attempt 121
    - attempt 122
    - attempt 123
    - attempt 124
    - attempt 125
    - attempt 126
    - attempt 127
    - attempt 128
    - attempt 129
    - attempt 130
    - attempt 131
    - attempt 132
    - attempt 133
    - attempt 134
    - attempt 135
    - attempt 136
    - attempt 137
    - attempt 138
    - attempt 139
    - attempt 140
    - attempt 141
    - attempt 142
    - attempt 143
    - attempt 144
    - attempt 145
    - attempt 146
    - attempt 147
    - attempt 148
    - attempt 149
    - attempt 150
    - attempt 151
    - attempt 152
    - attempt 153
    - attempt 154
    - attempt 155
    - attempt 156
    - attempt 157
    - attempt 158
    - attempt 159
    - attempt 160
    - attempt 161
    - attempt 162
    - attempt 163
    - attempt 164
    - attempt 165
    - attempt 166
    - attempt 167
    - attempt 168
    - attempt 169
    - attempt 170
    - attempt 171
    - attempt 172
    - attempt 173
    - attempt 174
    - attempt 175
    - attempt 176
    - attempt 177
    - attempt 178
    - attempt 179
    - attempt 180
    - attempt 181
    - attempt 182
    - attempt 183
    - attempt 184
    - attempt 185
    - attempt 186
    - attempt 187
    - attempt 188
    - attempt 189
    - attempt 190
    - attempt 191
    - attempt 192
    - attempt 193
    - attempt 194
    - attempt 195
    - attempt 196
    - attempt 197
    - attempt 198
    - attempt 199
    - attempt 200
    - attempt 201
    - attempt 202
    - attempt 203
    - attempt 204
    - attempt 205
    - attempt 206
    - attempt 207
    - attempt 208
    - attempt 209
    - attempt 210
    - attempt 211
    - attempt 212
    - attempt 213
    - attempt 214
    - attempt 215
    - attempt 216
    - attempt 217
    - attempt 218
    - attempt 219
    - attempt 220
    - attempt 221
    - attempt 222
    - attempt 223
    - attempt 224
  - project-manager-files
    - attempt 1
    - attempt 2
    - attempt 3
    - attempt 4
    - attempt 5
    - attempt 6
    - attempt 7
    - attempt 8
    - attempt 9
    - attempt 10
    - attempt 11
    - attempt 12
    - attempt 13
    - attempt 14
    - attempt 15
    - attempt 16
    - attempt 17
    - attempt 18
    - attempt 19
    - attempt 20
    - attempt 21
    - attempt 22
    - attempt 23
    - attempt 24
    - attempt 25
    - attempt 26
    - attempt 27
    - attempt 28
    - attempt 29
    - attempt 30
    - attempt 31
    - attempt 32
    - attempt 33
    - attempt 34
    - attempt 35
    - attempt 36
    - attempt 37
    - attempt 38
    - attempt 39
    - attempt 40
    - attempt 41
    - attempt 42
    - attempt 43
    - attempt 44
    - attempt 45
    - attempt 46
    - attempt 47
    - attempt 48
    - attempt 49
    - attempt 50
    - attempt 51
    - attempt 52
    - attempt 53
    - attempt 54
    - attempt 55
    - attempt 56
    - attempt 57
    - attempt 58
    - attempt 59
    - attempt 60
    - attempt 61
    - attempt 62
    - attempt 63
    - attempt 64
    - attempt 65
    - attempt 66
    - attempt 67
    - attempt 68
    - attempt 69
    - attempt 70
    - attempt 71
    - attempt 72
    - attempt 73
    - attempt 74
    - attempt 75
    - attempt 76
    - attempt 77
    - attempt 78
    - attempt 79
    - attempt 80
    - attempt 81
    - attempt 82
    - attempt 83
    - attempt 84
    - attempt 85
    - attempt 86
    - attempt 87
    - attempt 88
    - attempt 89
    - attempt 90
    - attempt 91
    - attempt 92
    - attempt 93
    - attempt 94
    - attempt 95
    - attempt 96
    - attempt 97
    - attempt 98
    - attempt 99
    - attempt 100
    - attempt 101
    - attempt 102
    - attempt 103
    - attempt 104
    - attempt 105
    - attempt 106
    - attempt 107
    - attempt 108
    - attempt 109
    - attempt 110
    - attempt 111
    - attempt 112
    - attempt 113
    - attempt 114
    - attempt 115
    - attempt 116
    - attempt 117
    - attempt 118
    - attempt 119
    - attempt 120
    - attempt 121
    - attempt 122
    - attempt 123
    - attempt 124
    - attempt 125
    - attempt 126
    - attempt 127
    - attempt 128
    - attempt 129
    - attempt 130
    - attempt 131
    - attempt 132
    - attempt 133
    - attempt 134
    - attempt 135
    - attempt 136
    - attempt 137
    - attempt 138
    - attempt 139
    - attempt 140
    - attempt 141
    - attempt 142
    - attempt 143
    - attempt 144
    - attempt 145
    - attempt 146
    - attempt 147
    - attempt 148
    - attempt 149
    - attempt 150
    - attempt 151
    - attempt 152
    - attempt 153
    - attempt 154
    - attempt 155
    - attempt 156
    - attempt 157
    - attempt 158
    - attempt 159
    - attempt 160
    - attempt 161
    - attempt 162
    - attempt 163
    - attempt 164
    - attempt 165
    - attempt 166
    - attempt 167
    - attempt 168
    - attempt 169
    - attempt 170
    - attempt 171
    - attempt 172
    - attempt 173
    - attempt 174
    - attempt 175
    - attempt 176
    - attempt 177
    - attempt 178
    - attempt 179
    - attempt 180
    - attempt 181
    - attempt 182
    - attempt 183
    - attempt 184
    - attempt 185
    - attempt 186
    - attempt 187
    - attempt 188
    - attempt 189
    - attempt 190
    - attempt 191
    - attempt 192
    - attempt 193
    - attempt 194
    - attempt 195
    - attempt 196
    - attempt 197
    - attempt 198
    - attempt 199
    - attempt 200
    - attempt 201
    - attempt 202
    - attempt 203
    - attempt 204
    - attempt 205
    - attempt 206
    - attempt 207
    - attempt 208
    - attempt 209
    - attempt 210
    - attempt 211
    - attempt 212
    - attempt 213
    - attempt 214
    - attempt 215
    - attempt 216
    - attempt 217
    - attempt 218
    - attempt 219
    - attempt 220
    - attempt 221
    - attempt 222
    - attempt 223
    - attempt 224
  - vale
    - attempt 1
    - attempt 2
    - attempt 3
    - attempt 4
    - attempt 5
    - attempt 6
    - attempt 7
    - attempt 8
    - attempt 9
    - attempt 10
    - attempt 11
    - attempt 12
    - attempt 13
    - attempt 14
    - attempt 15
    - attempt 16
    - attempt 17
    - attempt 18
    - attempt 19
    - attempt 20
    - attempt 21
    - attempt 22
    - attempt 23
    - attempt 24
    - attempt 25
    - attempt 26
    - attempt 27
    - attempt 28
    - attempt 29
    - attempt 30
    - attempt 31
    - attempt 32
    - attempt 33
    - attempt 34
    - attempt 35
    - attempt 36
    - attempt 37
    - attempt 38
    - attempt 39
    - attempt 40
    - attempt 41
    - attempt 42
    - attempt 43
    - attempt 44
    - attempt 45
    - attempt 46
    - attempt 47
    - attempt 48
    - attempt 49
    - attempt 50
    - attempt 51
    - attempt 52
    - attempt 53
    - attempt 54
    - attempt 55
    - attempt 56
    - attempt 57
    - attempt 58
    - attempt 59
    - attempt 60
    - attempt 61
    - attempt 62
    - attempt 63
    - attempt 64
    - attempt 65
    - attempt 66
    - attempt 67
    - attempt 68
    - attempt 69
    - attempt 70
    - attempt 71
    - attempt 72
    - attempt 73
    - attempt 74
    - attempt 75
    - attempt 76
    - attempt 77
    - attempt 78
    - attempt 79
    - attempt 80
    - attempt 81
    - attempt 82
    - attempt 83
    - attempt 84
    - attempt 85
    - attempt 86
    - attempt 87
    - attempt 88
    - attempt 89
    - attempt 90
    - attempt 91
    - attempt 92
    - attempt 93
    - attempt 94
    - attempt 95
    - attempt 96
    - attempt 97
    - attempt 98
    - attempt 99
    - attempt 100
    - attempt 101
    - attempt 102
    - attempt 103
    - attempt 104
    - attempt 105
    - attempt 106
    - attempt 107
    - attempt 108
    - attempt 109
    - attempt 110
    - attempt 111
    - attempt 112
    - attempt 113
    - attempt 114
    - attempt 115
    - attempt 116
    - attempt 117
    - attempt 118
    - attempt 119
    - attempt 120
    - attempt 121
    - attempt 122
    - attempt 123
    - attempt 124
    - attempt 125
    - attempt 126
    - attempt 127
    - attempt 128
    - attempt 129
    - attempt 130
    - attempt 131
    - attempt 132
    - attempt 133
    - attempt 134
    - attempt 135
    - attempt 136
    - attempt 137
    - attempt 138
    - attempt 139
    - attempt 140
    - attempt 141
    - attempt 142
    - attempt 143
    - attempt 144
    - attempt 145
    - attempt 146
    - attempt 147
    - attempt 148
    - attempt 149
    - attempt 150
    - attempt 151
    - attempt 152
    - attempt 153
    - attempt 154
    - attempt 155
    - attempt 156
    - attempt 157
    - attempt 158
    - attempt 159
    - attempt 160
    - attempt 161
    - attempt 162
    - attempt 163
    - attempt 164
    - attempt 165
    - attempt 166
    - attempt 167
    - attempt 168
    - attempt 169
    - attempt 170
    - attempt 171
    - attempt 172
    - attempt 173
    - attempt 174
    - attempt 175
    - attempt 176
    - attempt 177
    - attempt 178
    - attempt 179
    - attempt 180
    - attempt 181
    - attempt 182
    - attempt 183
    - attempt 184
    - attempt 185
    - attempt 186
    - attempt 187
    - attempt 188
    - attempt 189
    - attempt 190
    - attempt 191
    - attempt 192
    - attempt 193
    - attempt 194
    - attempt 195
    - attempt 196
    - attempt 197
    - attempt 198
    - attempt 199
    - attempt 200
    - attempt 201
    - attempt 202
    - attempt 203
    - attempt 204
    - attempt 205
    - attempt 206
    - attempt 207
    - attempt 208
    - attempt 209
    - attempt 210
    - attempt 211
    - attempt 212
    - attempt 213
    - attempt 214
    - attempt 215
    - attempt 216
    - attempt 217
    - attempt 218
    - attempt 219
    - attempt 220
    - attempt 221
    - attempt 222
    - attempt 223
    - attempt 224

	Time to Start	Worker time	Duration	Time to finish
Config	0s	1s	1s	2s
Eval	2h14m09s	3s	49s	2h14m58s
Suite	0s	4s	-	-