| 1 |
=== RULES ===
|
| 2 |
CookedRule { condition: [CookedFact { stack: 0, arity: 2, elements: [(1, false), (2, false)] }, CookedFact { stack: 3, arity: 5, elements: [(4, false), (5, true), (6, true), (7, true), (8, true)] }], result: [CookedFact { stack: 0, arity: 2, elements: [(9, false), (10, false)] }, CookedFact { stack: 0, arity: 4, elements: [(1, false), (10, false), (11, false), (11, true)] }, CookedFact { stack: 0, arity: 4, elements: [(1, false), (10, false), (5, false), (5, true)] }, CookedFact { stack: 0, arity: 4, elements: [(1, false), (10, false), (6, false), (6, true)] }, CookedFact { stack: 0, arity: 4, elements: [(1, false), (10, false), (7, false), (7, true)] }, CookedFact { stack: 0, arity: 4, elements: [(1, false), (10, false), (12, false), (12, true)] }, CookedFact { stack: 0, arity: 2, elements: [(13, false), (14, false)] }] }
|
| 3 |
CookedRule { condition: [CookedFact { stack: 0, arity: 4, elements: [(1, false), (10, false), (15, true), (10, true)] }, CookedFact { stack: 16, arity: 1, elements: [(10, true)] }, CookedFact { stack: 17, arity: 1, elements: [(18, true)] }, CookedFact { stack: 19, arity: 1, elements: [(15, true)] }], result: [CookedFact { stack: 17, arity: 1, elements: [(20, false)] }, CookedFact { stack: 21, arity: 1, elements: [(10, true)] }, CookedFact { stack: 0, arity: 2, elements: [(9, false), (10, false)] }] }
|
| 4 |
CookedRule { condition: [CookedFact { stack: 0, arity: 4, elements: [(1, false), (10, false), (15, true), (10, true)] }, CookedFact { stack: 16, arity: 1, elements: [(10, true)] }, CookedFact { stack: 17, arity: 1, elements: [(22, true)] }, CookedFact { stack: 19, arity: 1, elements: [(18, true)] }], result: [CookedFact { stack: 17, arity: 1, elements: [(23, false)] }, CookedFact { stack: 21, arity: 1, elements: [(10, true)] }, CookedFact { stack: 0, arity: 4, elements: [(1, false), (10, false), (15, true), (10, true)] }] }
|
| 5 |
CookedRule { condition: [CookedFact { stack: 0, arity: 4, elements: [(1, false), (10, false), (15, true), (10, true)] }, CookedFact { stack: 16, arity: 1, elements: [(24, true)] }, CookedFact { stack: 17, arity: 1, elements: [(23, false)] }, CookedFact { stack: 19, arity: 1, elements: [(18, true)] }], result: [CookedFact { stack: 21, arity: 1, elements: [(24, true)] }, CookedFact { stack: 0, arity: 4, elements: [(1, false), (10, false), (15, true), (10, true)] }, CookedFact { stack: 17, arity: 1, elements: [(23, false)] }] }
|
| 6 |
CookedRule { condition: [CookedFact { stack: 0, arity: 4, elements: [(1, false), (10, false), (15, true), (10, true)] }, CookedFact { stack: 16, arity: 1, elements: [(24, true)] }, CookedFact { stack: 17, arity: 1, elements: [(22, true)] }, CookedFact { stack: 19, arity: 1, elements: [(18, true)] }], result: [CookedFact { stack: 17, arity: 1, elements: [(25, false)] }, CookedFact { stack: 21, arity: 1, elements: [(24, true)] }, CookedFact { stack: 0, arity: 4, elements: [(1, false), (10, false), (15, true), (10, true)] }] }
|
| 7 |
CookedRule { condition: [CookedFact { stack: 0, arity: 4, elements: [(1, false), (10, false), (15, true), (10, true)] }], result: [CookedFact { stack: 0, arity: 2, elements: [(9, false), (10, false)] }] }
|
| 8 |
CookedRule { condition: [CookedFact { stack: 0, arity: 2, elements: [(9, false), (10, false)] }, CookedFact { stack: 21, arity: 1, elements: [(10, true)] }], result: [CookedFact { stack: 16, arity: 1, elements: [(10, true)] }, CookedFact { stack: 0, arity: 2, elements: [(9, false), (10, false)] }] }
|
| 9 |
CookedRule { condition: [CookedFact { stack: 0, arity: 2, elements: [(9, false), (10, false)] }, CookedFact { stack: 19, arity: 1, elements: [(18, true)] }], result: [CookedFact { stack: 0, arity: 2, elements: [(9, false), (10, false)] }] }
|
| 10 |
CookedRule { condition: [CookedFact { stack: 0, arity: 2, elements: [(9, false), (10, false)] }, CookedFact { stack: 17, arity: 1, elements: [(22, true)] }], result: [CookedFact { stack: 26, arity: 1, elements: [(22, true)] }, CookedFact { stack: 0, arity: 2, elements: [(9, false), (10, false)] }] } |