(*
  rulefit  1RB0RF_1RC1RF_1LD1RA_---0LE_1LA0LE_0RA0LC
  hub: record R:F (direct, 83 transitions observed), 1 validated rule(s), coverage 5%, closed

  F0(a,b,c,d,e,f) := 0^inf 110^a 0 011^b 1 110^c 1^d 110^e 1^f F> 0^inf
  F1(a,b,c,d) := 0^inf 110^a 0 011^b 1 110^c 1^5 0 1^d F> 0^inf
  F2(a,b,c,d,e,f) := 0^inf 110^a 0 011^b 1 110^c 1^d 110^e 1^f 011 F> 0^inf
  F3(a,b) := 0^inf 1100 011^a 1^3 0^3 1^b F> 0^inf
  F4(a,b) := 0^inf 1100 011^a 1 110^b 0^2 1^5 F> 0^inf
  F5(a,b) := 0^inf 110^15 0 011^a 1^3 011^b 111011^2 0 1^5 F> 0^inf
  F6(a,b,c,d,e) := 0^inf 110^a 0 011^b 1 110^c 1^3 110^d 1^6 110^2 1^e F> 0^inf
  F7 := 0^inf 011^5 F> 0^inf
  F8 := 0^inf 110^15 0 011^132 111011^2 011111^2 F> 0^inf
  F9 := 0^inf 110^15 0 011^156 1 110^4 110111^2 110^3 1^5 F> 0^inf
  F10 := 0^inf 110^63 0 011^159 1^12 011^2 011111^2 F> 0^inf
  F11 := 0^inf 110^31 0 011^264 1^6 0 1^8 0 1^5 F> 0^inf
  F12 := 0^inf 110^15 0 011^311 111011^2 011 011111^2 F> 0^inf
  F13 := 0^inf 110^7 0 011^339 1^4 110^6 1^5 011^2 F> 0^inf
  F14 := 0^inf 110^63 0 011^294 1 110^4 1^3 110^4 110111110^2 1^8 011 F> 0^inf
  F15 := 0^inf 110^31 0 011^364 1^3 011^6 111111011011^2 F> 0^inf
  F16 := 0^inf 110^7 0 011^439 1 110^4 1^5 0 1^5 011^2 F> 0^inf
  start: F2(0, 0, 0, 1, 0, 0) (first visit, step 11)

  F0(a+1, b+12, c+3, d+2, 2n, f) --> F0((-204706a-26520b+631176c+931688d-680360f+6101020n+249357)/83119, (1532679a+647220b-2935986c-5027836d+4098710f-34794306n+7979424)/498714, (851853a+30684b-331308c-2461136d-686390f-2241822n+498714)/498714, (752049a-6b+399114c-1821863d-1955519f+4441665n+1246785)/249357, (-341886a-5502b-68538c+957838d+580216f-239790n)/249357, (-627030a-12594b-99234c+1794014d+1028624f-154038n)/249357)   steps ?  if -102353a-13260b+315588c+465844d-340180f+3050510n >= -124678, 1532679a+647220b-2935986c-5027836d+4098710f-34794306n >= -7979424, 851853a+30684b-331308c-2461136d-686390f-2241822n >= -498714, 1504098a-12b+798228c-3643726d-3911038f+8883330n >= -2493570, -341886a-5502b-68538c+957838d+580216f-239790n >= 0, -627030a-12594b-99234c+1794014d+1028624f-154038n >= 0 [1/1 sims, 7 obs]

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

(*
  rulefit  1RB0RF_1RC1RF_1LD1RA_---0LE_1LA0LE_0RA0LC
  hub: record R:C (direct, 154 transitions observed), 1 validated rule(s), coverage 3%, closed

  C0(a,b,c,d,e,f) := 0^inf 110^a 0 011^b 1 110^c 1^d 110^e 1^f C> 0^inf
  C1(a,b,c,d,e,f,g,h) := 0^inf 110^a 0 011^b 1 110^c 1^d 110^e 1^f 110^g 1^h C> 0^inf
  C2(a,b,c,d) := 0^inf 110^a 0 011^b 1 110^c 111110^2 1^d C> 0^inf
  C3(a,b,c) := 0^inf 110^a 0 011^b 1^6 0 1^3 110^2 1^c C> 0^inf
  C4(a,b) := 0^inf 110^3 0 011^a 011111^2 0^3 1^b C> 0^inf
  C5 := 0^inf 110^63 0 011^294 1 110^4 1^3 110^4 110111110^2 1^8 011^2 C> 0^inf
  C6 := 0^inf 110^3 0 011^404 1^6 011 0^3 1^14 C> 0^inf
  start: C0(0, 0, 0, 1, 0, 0) (first visit, step 2)

  C0(a+7, b+6, c+4, d+8, e, f) --> C0((12155a+693b-172494c+293958d-75852e+85965)/5731, (-52085a+39611b+1427406c-2437222d+620148e+137544)/45848, (66a+66b+1807c+7156d-972e)/5731, (-33a-33b+8214c+31850d+3612e+366784)/45848, (-11a-11b+2738c-4666d+47052e)/45848, (66a+66b-7050c+12366d-2535e+5731f)/5731)   steps ?  if 12155a+693b-172494c+293958d-75852e >= -85965, -52085a+39611b+1427406c-2437222d+620148e >= -137544, 66a+66b+1807c+7156d-972e >= 0, -33a-33b+8214c+31850d+3612e >= -366784, -11a-11b+2738c-4666d+47052e >= 0, 66a+66b-7050c+12366d-2535e+5731f >= 0 [1/1 sims, 16 obs]

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

(*
  rulefit  1RB0RF_1RC1RF_1LD1RA_---0LE_1LA0LE_0RA0LC
  hub: record L:A (direct, 84 transitions observed), 1 validated rule(s), coverage 2%, closed

  A0(a,b,c) := 0^inf <A 10 100^a 01^2 0^b 001^c 0^inf
  A1(a) := 0^inf <A 10 100^a 01^2 0^inf
  A2(a) := 0^inf <A 1 010^a 001 0^inf
  A3(a,b) := 0^inf <A 1 010^a 0011 0^4 001^b 0^inf
  A4(a) := 0^inf <A 10 100^a 10001^2 0^5 1 0^inf
  A5(a,b,c,d) := 0^inf <A 10 100^a 01^2 010^b 001^c 0^d 001^2 0^inf
  A6 := 0^inf <A 10 100^53 10001^2 0100 1000^2 001^2 0^inf
  A7 := 0^inf <A 1 010^84 00110 000001^3 0^inf
  A8 := 0^inf <A 1 010^123 001 0^13 1 0^inf
  A9 := 0^inf <A 1 010^140 0011 0^6 1 0100^2 0^9 1 0^inf
  A10 := 0^inf <A 1 010^214 001 100^5 010^2 000010^2 01 0^inf

  A0(8n+104, 0, c) --> A0(4n+112, 3n, 2n+1)   steps ?   [2/2 sims, 2 obs]
*)

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