(*
  rulefit  1RB0RA_1LC0LD_1LE1LD_0LB0RE_1RF0LA_---0RA
  hub: record L:A (direct, 158 transitions observed), 1 validated rule(s), coverage 6%, closed

  A0(a,b,c,d) := 0^inf <A 011011111^a 011^b 1 110^c 0 011^d 0^inf
  A1(a,b,c,d,e) := 0^inf <A 011011111^a 011^b 1^3 011^c 1 110^d 0 011^e 0^inf
  A2(a,b,c) := 0^inf <A 011011111^a 011^b 0^2 011^c 0^inf
  A3 := 0^inf <A 011^2 1^4 011^20 1 110^371 0 011^21 0^inf
  A4(a,b,c) := 0^inf <A 011^2 0^3 1^4 011^a 1 110^b 0 011^c 0^inf
  A5(a,b,c,d) := 0^inf <A 011 0^3 1^a 011^b 1 110^c 0 011^d 0^inf
  A6(a) := 0^inf <A 011^2 101^a 1 0^inf
  A7(a,b,c) := 0^inf <A 011^2 1 110^2 0 011^a 1 110^b 0 011^c 0^inf
  A8(a,b) := 0^inf <A 011 0^3 1^3 110^a 0 011^b 0^inf
  A9(a,b,c) := 0^inf <A 011011111^a 011 0^3 1^3 110^b 0 011^c 0^inf
  A10(a,b) := 0^inf <A 0110111^2 110^a 1^3 110^b 0 011^23 0^inf
  A11 := 0^inf <A 011011111^2 01100 011^14 1 110^377 0 011^15 0^inf
  A12 := 0^inf <A 0110111^2 101^20 1^2 110^367 0 011^25 0^inf
  A13 := 0^inf <A 011^7 1 110^5 1^5 011^10 1 110^399 0 011^61 0^inf
  A14 := 0^inf <A 01100 011^13 1 110^550 0 011^5 0^inf
  A15 := 0^inf <A 011^2 1^3 0^2 011^11 1 110^570 0 011^5 0^inf
  start: A2(0, 1, 1) (first visit, step 23)

  A1(2n, b+2n+2, c+1, d+72n+24, e) --> A1(2n+1, b+2n+2, c+1, d, e+72n+24)   steps ?   [5/5 sims, 10 obs]

  killed by validation: 9 fitted case(s)
*)

(*
  rulefit  1RB0RA_1LC0LD_1LE1LD_0LB0RE_1RF0LA_---0RA
  hub: record L:D (direct, 158 transitions observed), 1 validated rule(s), coverage 8%

  D0(a,b,c,d) := 0^inf <D 111110110^a 110^b 1^3 110^c 0 011^d 0^inf
  D1(a,b,c,d) := 0^inf <D 1^4 011111011^a 011^b 1 110^c 0 011^d 0^inf
  D2(a,b,c,d) := 0^inf <D 1^a 011^b 1 110^c 0 011^d 0^inf
  D3(a,b,c) := 0^inf <D 111110110^a 110^b 0 011^c 0^inf
  D4(a,b,c,d) := 0^inf <D 1^4 0^3 1^a 011^b 1 110^c 0 011^d 0^inf
  D5(a) := 0^inf <D 1^4 0 1^3 011^a 0^inf
  D6(a,b,c,d) := 0^inf <D 1^a 0^2 011^b 1 110^c 0 011^d 0^inf
  D7(a,b,c,d,e) := 0^inf <D 1^a 011^b 110^c 1^3 110^d 0 011^e 0^inf
  D8(a,b) := 0^inf <D 11011110^2 110^12 1^3 110^a 0 011^b 0^inf
  D9(a,b) := 0^inf <D 1^5 011011111^2 0^2 011^2 1 110^a 0 011^b 0^inf
  D10(a,b) := 0^inf <D 11011^2 0 1^5 011^8 1 110^a 0 011^b 0^inf
  D11 := 0^inf <D 11011^2 011 0^inf
  D12 := 0^inf <D 11011 110^30 0 011^5 0^inf
  D13 := 0^inf <D 11011^2 011^44 0^inf
  D14 := 0^inf <D 0^2 1^5 011^5 1 110^50 0 011^15 0^inf
  D15 := 0^inf <D 111101^2 100 011^4 1 110^84 0 011^5 0^inf
  D16 := 0^inf <D 0 011^7 1 110^100 0 011^5 0^inf
  D17 := 0^inf <D 1^5 01100 011^10 1 110^550 0 011^5 0^inf
  D18 := 0^inf <D 111110110^2 0 011^7 1 110^570 0 011^5 0^inf
  D19 := 0^inf <D 11011^2 0 1^3 110^596 0 011^13 0^inf
  start: D2(1, 0, 0, 0) (first visit, step 3)

  D1(3n+1, b+1, c+112n+16, d) --> D0(3n+2, b, c, d+112n+16)   steps ?   [3/3 sims, 12 obs]

  killed by validation: 7 fitted case(s)
*)

(* low-level rules: sligocki prover (block size 3, 2000 loops), normalised to plain tapes, re-verified by direct simulation: 0/0 OK
*)
exit 0