Some halting machines that were recorded during the enumeration phase

Find attached to this post a list of 130 halting 5-state machines that were recorded during the enumeration phase.

These machines have the particularity that they broke either a time record (running longer than any machine before) or a space record (visiting more cells than any machine before) in their branch of the enumeration tree. These branches were visited by 4 parallel processes hence these sequences of record are not monotonic (a machine might have broken a record in one branch that was already broken in an other branch, but because of the parallelism, both machines are in the file).

*TIME 16 SPACE 4
-   0   1
- --- ---
A 1RB 0LC
B 0LB 1LA
C 1RA 0RD
D 1RD 0RE
E 0LE ???

*TIME 21 SPACE 4
-   0   1
- --- ---
A 1RB 1RC
B 0LB 1LA
C 0RD 0LA
D 1LD 0RE
E ??? 1LA

*TIME 28 SPACE 5
-   0   1
- --- ---
A 1RB 1RC
B 0LB 1LA
C 0RD 0LA
D 1LC 0RE
E 1RD ???

TIME 15 *SPACE 5
-   0   1
- --- ---
A 1RB 1LC
B 0LB 1LA
C 1RA 0RD
D 0RE 0RC
E 1LD ???

TIME 14 *SPACE 5
-   0   1
- --- ---
A 1RB 1LC
B 0LB 1LA
C 1RA 0RD
D 1RE 0RC
E 0LE ???

TIME 16 *SPACE 5
-   0   1
- --- ---
A 1RB 0RC
B 0LB 1LA
C 0RD 0RC
D 1LC 0RE
E 1LD ???

TIME 16 *SPACE 5
-   0   1
- --- ---
A 1RB 1LC
B 0LB 1LA
C 1RA 0RD
D 0RE 1RC
E 1LD ???

TIME 14 *SPACE 5
-   0   1
- --- ---
A 1RB 1LC
B 0LB 1LA
C 1RA 0RD
D 1RE 1RC
E 0LE ???

TIME 15 *SPACE 5
-   0   1
- --- ---
A 1RB 1LC
B 0LB 1LA
C 1RA 0RD
D 0RE 0RD
E 1LD ???

TIME 14 *SPACE 5
-   0   1
- --- ---
A 1RB 1LC
B 0LB 1LA
C 1RA 0RD
D 1RE 0RD
E 0LE ???

TIME 14 *SPACE 5
-   0   1
- --- ---
A 1RB 0RC
B 0LB 1LA
C 0RD 0RC
D 0RE 1LD
E 1LC ???

*TIME 29 SPACE 6
-   0   1
- --- ---
A 1RB 1RC
B 0LB 1LA
C 0RD 0LA
D 0RE 0LE
E 1LC ???

*TIME 31 SPACE 5
-   0   1
- --- ---
A 1RB 1RC
B 0LB 1LA
C 0RD 0LA
D 1LD 1RE
E ??? 1LB

*TIME 34 SPACE 5
-   0   1
- --- ---
A 1RB 1RC
B 0LB 1LA
C 0RD 0LA
D 1LD 0LE
E 0RA ???

*TIME 38 SPACE 5
-   0   1
- --- ---
A 1RB 1RC
B 0LB 1LA
C 0RD 0LA
D 1RE 0RE
E 1LB ???

*TIME 42 SPACE 6
-   0   1
- --- ---
A 1RB 1RC
B 0LB 1LA
C 0RD 0LA
D 1LD 1LE
E 0RB ???

TIME 14 *SPACE 6
-   0   1
- --- ---
A 1RB 0RC
B 0LB 1LA
C 0RD 0RC
D 0RE ???
E 1LD 1RE

TIME 29 *SPACE 6
-   0   1
- --- ---
A 1RB 1RC
B 0LB 1LA
C 0RD 0LA
D 1RE ???
E 1LC 1RD

TIME 14 *SPACE 6
-   0   1
- --- ---
A 1RB 0RC
B 0LB 1LA
C 0RD 0RC
D 1LE 0RE
E 1RD ???

TIME 30 *SPACE 7
-   0   1
- --- ---
A 1RB 0RC
B 0LB 1LA
C 1RD 0RC
D 0RE 0RD
E 1LB ???

*TIME 64 SPACE 7
-   0   1
- --- ---
A 1RB 1RC
B 0LB 1LA
C 0RD 0LA
D 0RE ???
E 1LE 0LA

TIME 32 *SPACE 7
-   0   1
- --- ---
A 1RB 1RC
B 0LB 1LA
C 1RD 0LA
D 1RE 0LD
E 1LC ???

TIME 28 *SPACE 8
-   0   1
- --- ---
A 1RB 1LC
B 0LB 1LA
C 1RA 1RD
D 0RC 0LE
E ??? 1LD

TIME 35 *SPACE 8
-   0   1
- --- ---
A 1RB 0LC
B 0LB 1LA
C 1RA 0LD
D 1RD 1RE
E 1LB ???

TIME 50 *SPACE 8
-   0   1
- --- ---
A 1RB 0LC
B 0LB 1LA
C 1RA 0LD
D 1RD 0LE
E ??? 1RC

TIME 28 *SPACE 8
-   0   1
- --- ---
A 1RB 0LC
B 0LB 1LA
C 1RA 0LD
D 0LE ???
E 1RE 0RC

TIME 30 *SPACE 8
-   0   1
- --- ---
A 1RB 0LC
B 0LB 1LA
C 1RA 1LD
D 1RD 1RE
E 0RC ???

TIME 30 *SPACE 8
-   0   1
- --- ---
A 1RB 1LC
B 0LB 1LA
C 1RA 0LD
D 1RE 1LD
E 0RC ???

TIME 30 *SPACE 8
-   0   1
- --- ---
A 1RB 0LC
B 0LB 1LA
C 1RA 1LD
D 0RD 1RE
E 0RC ???

TIME 29 *SPACE 8
-   0   1
- --- ---
A 1RB 0LC
B 0LB 1LA
C 1RA 1LD
D 0RE ???
E 0RA 1RD

TIME 28 *SPACE 9
-   0   1
- --- ---
A 1RB 0LC
B 0LB 1LA
C 1RA 1LD
D 1RE ???
E 0RC 0RD

TIME 28 *SPACE 9
-   0   1
- --- ---
A 1RB 0LC
B 0LB 1LA
C 1RA 1LD
D 1RE ???
E 0RC 1RD

TIME 62 *SPACE 9
-   0   1
- --- ---
A 1RB 1RC
B 0LB 1LA
C 0RD 0RC
D 1RE ???
E 1LE 1LB

TIME 46 *SPACE 9
-   0   1
- --- ---
A 1RB 1RC
B 0LB 1LA
C 1RD 0RC
D 1LD 1LE
E 1LB ???

TIME 45 *SPACE 9
-   0   1
- --- ---
A 1RB 1RC
B 0LB 1LA
C 1RD 0RC
D 1LE ???
E 1LB 1LE

TIME 59 *SPACE 9
-   0   1
- --- ---
A 1RB 0RC
B 0LB 1LA
C 1LD 1RC
D 1LE 0RA
E 0LA ???

*TIME 72 SPACE 8
-   0   1
- --- ---
A 1RB 0LC
B 0LB 1LA
C 1RC 0RD
D 1LA 0RE
E ??? 1RB

*TIME 82 SPACE 10
-   0   1
- --- ---
A 1RB 0LC
B 0LB 1LA
C 1RC 1RD
D 1LB 0RE
E ??? 0RB

TIME 81 *SPACE 10
-   0   1
- --- ---
A 1RB 0LC
B 0LB 1LA
C 0RD 1LE
D 1RD 0RA
E 0LA ???

TIME 45 *SPACE 11
-   0   1
- --- ---
A 1RB 1LC
B 0LB 1LA
C 0RD 1RE
D 1LB 1RC
E 0RC ???

*TIME 88 SPACE 9
-   0   1
- --- ---
A 1RB 1LC
B 0LB 1LA
C 0RD 0LC
D 1RE 0LD
E 0RA ???

*TIME 187 SPACE 16
-   0   1
- --- ---
A 1RB 0LC
B 0LB 1LA
C 1RD 1LE
D 0RA ???
E 1LC 0LA

TIME 105 *SPACE 17
-   0   1
- --- ---
A 1RB 1LC
B 0LB 1LA
C 1RD 1LB
D 1RE 0RD
E 0RA ???

*TIME 270 SPACE 24
-   0   1
- --- ---
A 1RB 1LC
B 0LB 1LA
C 1RD 1LB
D 1RE 0RD
E 1RA ???

TIME 205 *SPACE 29
-   0   1
- --- ---
A 1RB 1LE
B 0LB 0RC
C 1LD 1RA
D 1LA ???
E 0LC 0LD

*TIME 359 SPACE 29
-   0   1
- --- ---
A 1RB ???
B 0LB 0RC
C 1RD 0RA
D 1LE 0LB
E 1RC 0LD

*TIME 434 SPACE 34
-   0   1
- --- ---
A 1RB 1LA
B 0LB 1RC
C 1RD 1RE
D 1LA 1RD
E ??? 0RD

*TIME 457 SPACE 26
-   0   1
- --- ---
A 1RB 0LD
B 0LB 1RC
C 1RD ???
D 1LA 1LE
E 0LC 0RE

*TIME 597 SPACE 22
-   0   1
- --- ---
A 1RB 0LA
B 0LB 1RC
C 0RD ???
D 1LE 0RE
E 1LA 1RE

*TIME 22335 SPACE 162
-   0   1
- --- ---
A 1RB 1LD
B 0LB 1RC
C 1LD 0LE
D 1RE 1LC
E ??? 0RA

*TIME 17 SPACE 5
-   0   1
- --- ---
A 1RB 0LB
B 0LC 1RB
C 0RD 1LA
D 1RC 0RE
E 0LE ???

*TIME 95 SPACE 14
-   0   1
- --- ---
A 1RB 0RD
B 0LC 1LB
C 1RC 1LA
D 1RB 1RE
E ??? 0RA

*TIME 106 SPACE 15
-   0   1
- --- ---
A 1RB 0RD
B 0LC 1LB
C 1RC 1LA
D 1RE 0RA
E 0LB ???

TIME 78 *SPACE 16
-   0   1
- --- ---
A 1RB 1LB
B 0LC 0RD
C 0LA 1LA
D 1RA 1RE
E ??? 0LA

*TIME 113 SPACE 10
-   0   1
- --- ---
A 1RB 1LB
B 0LC 0RD
C 0RE 1LA
D 1RA 1LC
E ??? 0LA

TIME 82 *SPACE 16
-   0   1
- --- ---
A 1RB 1LB
B 0LC 0RD
C 0LA 1LA
D 1RA 1RE
E ??? 0RB

*TIME 131 SPACE 16
-   0   1
- --- ---
A 1RB 1RD
B 0LC 0RB
C 1RA 1LA
D 1LE 1LD
E 1LB ???

*TIME 180 SPACE 19
-   0   1
- --- ---
A 1RB 0LD
B 0LC 1RC
C 1RA 1LA
D 0LE 0RC
E 1LB ???

TIME 178 *SPACE 20
-   0   1
- --- ---
A 1RB 0LC
B 0LC 0RD
C 1LE 1LA
D 1RA 1LD
E ??? 0LD

TIME 153 *SPACE 21
-   0   1
- --- ---
A 1RB 0LC
B 0LC 0RD
C 1LE 1LA
D 1RA ???
E 1LA 0LE

*TIME 538 SPACE 34
-   0   1
- --- ---
A 1RB 1LE
B 0LC 1LB
C 0RD 1LA
D 1LC 1RD
E ??? 0LB

*TIME 5294 SPACE 96
-   0   1
- --- ---
A 1RB 0LA
B 0LC 0RC
C 1RD 1LA
D 1LA 0RE
E 1LA ???

*TIME 6240 SPACE 96
-   0   1
- --- ---
A 1RB 0LA
B 0LC 0RC
C 1RD 1LA
D 1LA 1RE
E 1LB ???

TIME 4301 *SPACE 97
-   0   1
- --- ---
A 1RB ???
B 0LC 1LB
C 1RD 1LA
D 0RE 0RD
E 1RB 1RD

*TIME 14975 SPACE 163
-   0   1
- --- ---
A 1RB 1RE
B 0LC 1RA
C 1LD 1LC
D 1RA 1LE
E ??? 0LD

*TIME 18040 SPACE 195
-   0   1
- --- ---
A 1RB 0LD
B 0LC 0RB
C 1RA 1LC
D 0LE 1LA
E 0LC ???

*TIME 11821190 SPACE 6144
-   0   1
- --- ---
A 1RB 1RA
B 0LC 0RC
C ??? 1RD
D 1LE 0LA
E 1LA 1LE

TIME 11811010 *SPACE 6144
-   0   1
- --- ---
A 1RB 1RA
B 0LC 0RC
C ??? 1RD
D 1LE 1RB
E 1LA 1LE

TIME 11815076 *SPACE 6144
-   0   1
- --- ---
A 1RB 1RA
B 1LC 0RD
C 1LA 1LC
D ??? 1RE
E 1LC 0LA

TIME 11804910 *SPACE 6144
-   0   1
- --- ---
A 1RB 1RA
B 1LC 0RD
C 1LA 1LC
D ??? 1RE
E 1LC 1RB

TIME 11798796 *SPACE 6144
-   0   1
- --- ---
A 1RB 1RA
B 1LC 1RD
C 1LA 1LC
D ??? 0RE
E 1LC 1RB

TIME 11792724 *SPACE 6144
-   0   1
- --- ---
A 1RB 1RA
B 1LC 1RD
C 1LA 1LC
D ??? 1RE
E 1RA 0RB

*TIME 23554764 SPACE 6144
-   0   1
- --- ---
A 1RB 0LD
B 1LC 1RD
C 1LA 1LC
D ??? 1RE
E 1RA 0RB

TIME 11821220 *SPACE 6145
-   0   1
- --- ---
A 1RB 1RA
B 1LC 1LB
C 1RA 0LD
D 1RC 1LE
E ??? 0RB

TIME 11811026 *SPACE 6145
-   0   1
- --- ---
A 1RB 1RA
B 1LC 1LB
C 1RA 0LD
D 1RC 1LE
E ??? 1LC

TIME 11821234 *SPACE 6145
-   0   1
- --- ---
A 1RB 1RA
B 1LC 1LB
C 1RA 0LD
D 0RB 1LE
E ??? 0RB

TIME 11811040 *SPACE 6145
-   0   1
- --- ---
A 1RB 1RA
B 1LC 1LB
C 1RA 0LD
D 0RB 1LE
E ??? 1LC

TIME 11811040 *SPACE 6145
-   0   1
- --- ---
A 1RB 1RA
B 1LC 1LB
C 1RA 1LD
D 1RA 0LE
E ??? 1LC

TIME 11798826 *SPACE 6145
-   0   1
- --- ---
A 1RB 1RA
B 1LC 1LB
C 1RA 1LD
D 1RA 1LE
E ??? 0LC

TIME 11804940 *SPACE 6145
-   0   1
- --- ---
A 1RB 1RA
B 1LC 1LB
C 1RA 1LD
D 0RE 0LE
E ??? 1LC

*TIME 22 SPACE 5
-   0   1
- --- ---
A 1RB 1LB
B 0RC 0LA
C 1LA 0RD
D 1LD 0RE
E ??? 1RA

*TIME 22 SPACE 6
-   0   1
- --- ---
A 1RB 1LB
B 0RC 0LA
C 1LA 0RD
D 1RC 0RE
E 0LE ???

*TIME 23 SPACE 8
-   0   1
- --- ---
A 1RB 1LB
B 0RC 0RD
C 1LA 1RC
D 1LB 0RE
E ??? 1LC

*TIME 33 SPACE 6
-   0   1
- --- ---
A 1RB 0RD
B 0RC 1LC
C 1LA 0RA
D 1LD 0RE
E ??? 1LC

*TIME 43 SPACE 7
-   0   1
- --- ---
A 1RB 1LD
B 0RC 0RD
C 1LA 1RC
D 1LB 0RE
E ??? 0LD

*TIME 47 SPACE 8
-   0   1
- --- ---
A 1RB 0LD
B 0RC 0RD
C 1LA 1RC
D 1LB 0RE
E 0RD ???

TIME 35 *SPACE 9
-   0   1
- --- ---
A 1RB 1LA
B 0RC 1RD
C 1LA 0RE
D 0LA 1RC
E 1RA ???

*TIME 58 SPACE 14
-   0   1
- --- ---
A 1RB 1LA
B 0RC 1RC
C 1LA 0RD
D 0LA 0RE
E ??? 1RA

TIME 48 *SPACE 15
-   0   1
- --- ---
A 1RB 1LA
B 0RC 1RC
C 1LA 0RD
D ??? 0RE
E 1RA 0RB

*TIME 59 SPACE 12
-   0   1
- --- ---
A 1RB 1LA
B 0RC 1RD
C 1LA 0RE
D 0LA 1LD
E ??? 0LA

*TIME 165 SPACE 11
-   0   1
- --- ---
A 1RB 0LE
B 0RC 0RD
C 1LA 1RC
D 1LB ???
E 0LB 0LA

TIME 92 *SPACE 16
-   0   1
- --- ---
A 1RB 1RC
B 0RC 1LD
C 1LA 0RE
D 0LB 0RA
E 1RD ???

TIME 70 *SPACE 16
-   0   1
- --- ---
A 1RB 1LA
B 0RC 1RC
C 1LA 1RD
D ??? 1RE
E 1RA 0RB

TIME 112 *SPACE 17
-   0   1
- --- ---
A 1RB 1LA
B 0RC 1RC
C 1LA 1RD
D 0RC 1RE
E ??? 0RC

TIME 132 *SPACE 17
-   0   1
- --- ---
A 1RB 1LA
B 0RC 1RC
C 1LA 1RD
D 0RC 0RE
E ??? 0LA

*TIME 192 SPACE 17
-   0   1
- --- ---
A 1RB 0LA
B 0RC 0RD
C 1LA 1LC
D 1LB 1RE
E ??? 1RB

TIME 85 *SPACE 17
-   0   1
- --- ---
A 1RB 1LA
B 0RC 1RC
C 1LA 1RD
D ??? 0RE
E 0LA 0RC

TIME 75 *SPACE 17
-   0   1
- --- ---
A 1RB 1LA
B 0RC 1RC
C 1LA 1RD
D 1RB 0RE
E ??? 1RC

TIME 112 *SPACE 17
-   0   1
- --- ---
A 1RB 1LA
B 0RC 1RC
C 1LA 1RD
D 0RC 1RE
E ??? 0LC

TIME 124 *SPACE 22
-   0   1
- --- ---
A 1RB 1LC
B 0RC 1RD
C 1LA 0LA
D 0LA 1RE
E 0RD ???

*TIME 769 SPACE 26
-   0   1
- --- ---
A 1RB 1LD
B 0RC 1RD
C 1LA 0LA
D 0LA 0RE
E ??? 1RC

*TIME 904 SPACE 39
-   0   1
- --- ---
A 1RB 1LE
B 0RC 1RD
C 1LA 0LA
D 0LA 1LD
E ??? 1LC

*TIME 6987 SPACE 70
-   0   1
- --- ---
A 1RB 1RD
B 0RC 1RC
C 1LA 0LA
D 1LC 1LE
E ??? 0LD

TIME 2456 *SPACE 80
-   0   1
- --- ---
A 1RB ???
B 0RC 1RD
C 1LA 1RB
D 1LE 0RA
E 1LC 0LE

TIME 5309 *SPACE 83
-   0   1
- --- ---
A 1RB 1LD
B 0RC 1LE
C 1LB 1RD
D 1RC 0LA
E ??? 1LB

*TIME 20739 SPACE 204
-   0   1
- --- ---
A 1RB 0LA
B 0RC 1RD
C 1LC 1LA
D 1RA 1RE
E ??? 0RB

*TIME 40899 SPACE 454
-   0   1
- --- ---
A 1RB 0LC
B 0RC ???
C 1RD 0RE
D 1LE 0RA
E 0LA 0LE

*TIME 134467 SPACE 667
-   0   1
- --- ---
A 1RB 0LC
B 1RC 1RD
C 1LA 0RB
D 0RE ???
E 1LC 1RA

*TIME 47176870 SPACE 12289
-   0   1
- --- ---
A 1RB 1LC
B 1RC 1RB
C 1RD 0LE
D 1LA 1LD
E ??? 0LA

*TIME 30 SPACE 8
-   0   1
- --- ---
A 1RB 1LA
B 0LA 0LC
C 0RD 0RC
D 1RA 0RE
E 1RD ???

*TIME 86 SPACE 10
-   0   1
- --- ---
A 1RB 1LA
B 0LA 0RC
C 1RA 0RD
D 1LB 0RE
E 0RB ???

TIME 38 *SPACE 12
-   0   1
- --- ---
A 1RB 1LA
B 0LA 0RC
C 1RA 0RD
D 0RE 1RE
E 1RC ???

TIME 38 *SPACE 12
-   0   1
- --- ---
A 1RB 1LA
B 0LA 0RC
C 1RA 0RD
D 1RC 0RE
E 1RD ???

TIME 85 *SPACE 12
-   0   1
- --- ---
A 1RB 1LA
B 0LA 1RC
C 1RA 0RD
D ??? 0RE
E 0RB 1LB

TIME 39 *SPACE 12
-   0   1
- --- ---
A 1RB 1LA
B 0LA 0RC
C 1RA 0RD
D 1RC 1RE
E 1RD ???

TIME 81 *SPACE 13
-   0   1
- --- ---
A 1RB 1LA
B 0LA 1RC
C 1RA 0RD
D 0RE 0RB
E 1LB ???

TIME 72 *SPACE 13
-   0   1
- --- ---
A 1RB 1LA
B 0LA 1RC
C 1RA 0RD
D 1RE 0RB
E 0LE ???

TIME 81 *SPACE 13
-   0   1
- --- ---
A 1RB 1LA
B 0LA 1RC
C 1RA 0RD
D 0RE 1LD
E ??? 0RB

TIME 71 *SPACE 13
-   0   1
- --- ---
A 1RB 1LA
B 0LA 1RC
C 1RA 0RD
D 0RE 0RB
E ??? ???

TIME 84 *SPACE 14
-   0   1
- --- ---
A 1RB 1LA
B 0LA 1RC
C 1RA 0RD
D 1LA 0RE
E ??? 1RD

*TIME 86 SPACE 13
-   0   1
- --- ---
A 1RB 1LA
B 0LA 1RC
C 1RA 0RD
D 0RB 1RE
E ??? 0RB

TIME 77 *SPACE 14
-   0   1
- --- ---
A 1RB 1LA
B 0LA 0RC
C 1RA 1RD
D 1RC 0LE
E ??? 1LD

*TIME 86 SPACE 16
-   0   1
- --- ---
A 1RB 1LA
B 0LA 1RC
C 1RA 1RD
D ??? 1RE
E 1RC 0RB

*TIME 146 SPACE 23
-   0   1
- --- ---
A 1RB 1LA
B 0LA 1RC
C 1RA 1RD
D ??? 0RE
E 0RA 0RB

TIME 130 *SPACE 25
-   0   1
- --- ---
A 1RB 1LA
B 0LA 1RC
C 1RA 1RD
D 1RC 1RE
E ??? 0RC

*TIME 157 SPACE 14
-   0   1
- --- ---
A 1RB 1LA
B 0LA 1RC
C 1RA 1LD
D 1RE 0LC
E ??? 0RD

*TIME 161 SPACE 12
-   0   1
- --- ---
A 1RB 1LA
B 0LA 1RC
C 0LA 1RD
D 1LD 0RE
E ??? 0RC

*TIME 1597 SPACE 40
-   0   1
- --- ---
A 1RB 1LA
B 0LA 1RC
C 1LA 0RD
D 0RE 1LB
E ??? 1RB

TIME 1035 *SPACE 44
-   0   1
- --- ---
A 1RB 1LC
B 0LA 1RE
C 0LD 0LB
D 1RA ???
E 1LA 0RE

*TIME 2133492 SPACE 3825
-   0   1
- --- ---
A 1RB 1LC
B 0LA 0LD
C 1LA ???
D 1LB 1RE
E 0RD 0RB

Here are these 130 machines in the Standard TM Text format:

1RB0LC_0LB1LA_1RA0RD_1RD0RE_0LE---
1RB1RC_0LB1LA_0RD0LA_1LD0RE_---1LA
1RB1RC_0LB1LA_0RD0LA_1LC0RE_1RD---
1RB1LC_0LB1LA_1RA0RD_0RE0RC_1LD---
1RB1LC_0LB1LA_1RA0RD_1RE0RC_0LE---
1RB0RC_0LB1LA_0RD0RC_1LC0RE_1LD---
1RB1LC_0LB1LA_1RA0RD_0RE1RC_1LD---
1RB1LC_0LB1LA_1RA0RD_1RE1RC_0LE---
1RB1LC_0LB1LA_1RA0RD_0RE0RD_1LD---
1RB1LC_0LB1LA_1RA0RD_1RE0RD_0LE---
1RB0RC_0LB1LA_0RD0RC_0RE1LD_1LC---
1RB1RC_0LB1LA_0RD0LA_0RE0LE_1LC---
1RB1RC_0LB1LA_0RD0LA_1LD1RE_---1LB
1RB1RC_0LB1LA_0RD0LA_1LD0LE_0RA---
1RB1RC_0LB1LA_0RD0LA_1RE0RE_1LB---
1RB1RC_0LB1LA_0RD0LA_1LD1LE_0RB---
1RB0RC_0LB1LA_0RD0RC_0RE---_1LD1RE
1RB1RC_0LB1LA_0RD0LA_1RE---_1LC1RD
1RB0RC_0LB1LA_0RD0RC_1LE0RE_1RD---
1RB0RC_0LB1LA_1RD0RC_0RE0RD_1LB---
1RB1RC_0LB1LA_0RD0LA_0RE---_1LE0LA
1RB1RC_0LB1LA_1RD0LA_1RE0LD_1LC---
1RB1LC_0LB1LA_1RA1RD_0RC0LE_---1LD
1RB0LC_0LB1LA_1RA0LD_1RD1RE_1LB---
1RB0LC_0LB1LA_1RA0LD_1RD0LE_---1RC
1RB0LC_0LB1LA_1RA0LD_0LE---_1RE0RC
1RB0LC_0LB1LA_1RA1LD_1RD1RE_0RC---
1RB1LC_0LB1LA_1RA0LD_1RE1LD_0RC---
1RB0LC_0LB1LA_1RA1LD_0RD1RE_0RC---
1RB0LC_0LB1LA_1RA1LD_0RE---_0RA1RD
1RB0LC_0LB1LA_1RA1LD_1RE---_0RC0RD
1RB0LC_0LB1LA_1RA1LD_1RE---_0RC1RD
1RB1RC_0LB1LA_0RD0RC_1RE---_1LE1LB
1RB1RC_0LB1LA_1RD0RC_1LD1LE_1LB---
1RB1RC_0LB1LA_1RD0RC_1LE---_1LB1LE
1RB0RC_0LB1LA_1LD1RC_1LE0RA_0LA---
1RB0LC_0LB1LA_1RC0RD_1LA0RE_---1RB
1RB0LC_0LB1LA_1RC1RD_1LB0RE_---0RB
1RB0LC_0LB1LA_0RD1LE_1RD0RA_0LA---
1RB1LC_0LB1LA_0RD1RE_1LB1RC_0RC---
1RB1LC_0LB1LA_0RD0LC_1RE0LD_0RA---
1RB0LC_0LB1LA_1RD1LE_0RA---_1LC0LA
1RB1LC_0LB1LA_1RD1LB_1RE0RD_0RA---
1RB1LC_0LB1LA_1RD1LB_1RE0RD_1RA---
1RB1LE_0LB0RC_1LD1RA_1LA---_0LC0LD
1RB---_0LB0RC_1RD0RA_1LE0LB_1RC0LD
1RB1LA_0LB1RC_1RD1RE_1LA1RD_---0RD
1RB0LD_0LB1RC_1RD---_1LA1LE_0LC0RE
1RB0LA_0LB1RC_0RD---_1LE0RE_1LA1RE
1RB1LD_0LB1RC_1LD0LE_1RE1LC_---0RA
1RB0LB_0LC1RB_0RD1LA_1RC0RE_0LE---
1RB0RD_0LC1LB_1RC1LA_1RB1RE_---0RA
1RB0RD_0LC1LB_1RC1LA_1RE0RA_0LB---
1RB1LB_0LC0RD_0LA1LA_1RA1RE_---0LA
1RB1LB_0LC0RD_0RE1LA_1RA1LC_---0LA
1RB1LB_0LC0RD_0LA1LA_1RA1RE_---0RB
1RB1RD_0LC0RB_1RA1LA_1LE1LD_1LB---
1RB0LD_0LC1RC_1RA1LA_0LE0RC_1LB---
1RB0LC_0LC0RD_1LE1LA_1RA1LD_---0LD
1RB0LC_0LC0RD_1LE1LA_1RA---_1LA0LE
1RB1LE_0LC1LB_0RD1LA_1LC1RD_---0LB
1RB0LA_0LC0RC_1RD1LA_1LA0RE_1LA---
1RB0LA_0LC0RC_1RD1LA_1LA1RE_1LB---
1RB---_0LC1LB_1RD1LA_0RE0RD_1RB1RD
1RB1RE_0LC1RA_1LD1LC_1RA1LE_---0LD
1RB0LD_0LC0RB_1RA1LC_0LE1LA_0LC---
1RB1RA_0LC0RC_---1RD_1LE0LA_1LA1LE
1RB1RA_0LC0RC_---1RD_1LE1RB_1LA1LE
1RB1RA_1LC0RD_1LA1LC_---1RE_1LC0LA
1RB1RA_1LC0RD_1LA1LC_---1RE_1LC1RB
1RB1RA_1LC1RD_1LA1LC_---0RE_1LC1RB
1RB1RA_1LC1RD_1LA1LC_---1RE_1RA0RB
1RB0LD_1LC1RD_1LA1LC_---1RE_1RA0RB
1RB1RA_1LC1LB_1RA0LD_1RC1LE_---0RB
1RB1RA_1LC1LB_1RA0LD_1RC1LE_---1LC
1RB1RA_1LC1LB_1RA0LD_0RB1LE_---0RB
1RB1RA_1LC1LB_1RA0LD_0RB1LE_---1LC
1RB1RA_1LC1LB_1RA1LD_1RA0LE_---1LC
1RB1RA_1LC1LB_1RA1LD_1RA1LE_---0LC
1RB1RA_1LC1LB_1RA1LD_0RE0LE_---1LC
1RB1LB_0RC0LA_1LA0RD_1LD0RE_---1RA
1RB1LB_0RC0LA_1LA0RD_1RC0RE_0LE---
1RB1LB_0RC0RD_1LA1RC_1LB0RE_---1LC
1RB0RD_0RC1LC_1LA0RA_1LD0RE_---1LC
1RB1LD_0RC0RD_1LA1RC_1LB0RE_---0LD
1RB0LD_0RC0RD_1LA1RC_1LB0RE_0RD---
1RB1LA_0RC1RD_1LA0RE_0LA1RC_1RA---
1RB1LA_0RC1RC_1LA0RD_0LA0RE_---1RA
1RB1LA_0RC1RC_1LA0RD_---0RE_1RA0RB
1RB1LA_0RC1RD_1LA0RE_0LA1LD_---0LA
1RB0LE_0RC0RD_1LA1RC_1LB---_0LB0LA
1RB1RC_0RC1LD_1LA0RE_0LB0RA_1RD---
1RB1LA_0RC1RC_1LA1RD_---1RE_1RA0RB
1RB1LA_0RC1RC_1LA1RD_0RC1RE_---0RC
1RB1LA_0RC1RC_1LA1RD_0RC0RE_---0LA
1RB0LA_0RC0RD_1LA1LC_1LB1RE_---1RB
1RB1LA_0RC1RC_1LA1RD_---0RE_0LA0RC
1RB1LA_0RC1RC_1LA1RD_1RB0RE_---1RC
1RB1LA_0RC1RC_1LA1RD_0RC1RE_---0LC
1RB1LC_0RC1RD_1LA0LA_0LA1RE_0RD---
1RB1LD_0RC1RD_1LA0LA_0LA0RE_---1RC
1RB1LE_0RC1RD_1LA0LA_0LA1LD_---1LC
1RB1RD_0RC1RC_1LA0LA_1LC1LE_---0LD
1RB---_0RC1RD_1LA1RB_1LE0RA_1LC0LE
1RB1LD_0RC1LE_1LB1RD_1RC0LA_---1LB
1RB0LA_0RC1RD_1LC1LA_1RA1RE_---0RB
1RB0LC_0RC---_1RD0RE_1LE0RA_0LA0LE
1RB0LC_1RC1RD_1LA0RB_0RE---_1LC1RA
1RB1LC_1RC1RB_1RD0LE_1LA1LD_---0LA
1RB1LA_0LA0LC_0RD0RC_1RA0RE_1RD---
1RB1LA_0LA0RC_1RA0RD_1LB0RE_0RB---
1RB1LA_0LA0RC_1RA0RD_0RE1RE_1RC---
1RB1LA_0LA0RC_1RA0RD_1RC0RE_1RD---
1RB1LA_0LA1RC_1RA0RD_---0RE_0RB1LB
1RB1LA_0LA0RC_1RA0RD_1RC1RE_1RD---
1RB1LA_0LA1RC_1RA0RD_0RE0RB_1LB---
1RB1LA_0LA1RC_1RA0RD_1RE0RB_0LE---
1RB1LA_0LA1RC_1RA0RD_0RE1LD_---0RB
1RB1LA_0LA1RC_1RA0RD_0RE0RB_------
1RB1LA_0LA1RC_1RA0RD_1LA0RE_---1RD
1RB1LA_0LA1RC_1RA0RD_0RB1RE_---0RB
1RB1LA_0LA0RC_1RA1RD_1RC0LE_---1LD
1RB1LA_0LA1RC_1RA1RD_---1RE_1RC0RB
1RB1LA_0LA1RC_1RA1RD_---0RE_0RA0RB
1RB1LA_0LA1RC_1RA1RD_1RC1RE_---0RC
1RB1LA_0LA1RC_1RA1LD_1RE0LC_---0RD
1RB1LA_0LA1RC_0LA1RD_1LD0RE_---0RC
1RB1LA_0LA1RC_1LA0RD_0RE1LB_---1RB
1RB1LC_0LA1RE_0LD0LB_1RA---_1LA0RE
1RB1LC_0LA0LD_1LA---_1LB1RE_0RD0RB

FWIW, here I have a list of the top 379 halting BB5 TMs (it might be all the ones that run over 1k steps … I can’t remember).

bb5.top_halt.std.txt (13.0 KB)

1 Like