| Nr | Name | Value | Previous Value |
|---|---|---|---|
| 1 | raw_state | ? | ? |
| 2 | property1 | ? | ? |
| 3 | property2 | ? | ? |
| 4 | property3 | ? | ? |
| 5 | property4 | ? | ? |
| 6 | property5 | ? | ? |
| 7 | property6 | ? | ? |
| 8 | property7 | ? | ? |
| 9 | property8 | ? | ? |
| 10 | property9 | ? | ? |
| 11 | property10 | ? | ? |
| 12 | property11 | ? | ? |
| 13 | property12 | ? | ? |
| 14 | property13 | ? | ? |
| 15 | property14 | ? | ? |
| 16 | property15 | ? | ? |
| 17 | property16 | ? | ? |
| 18 | property17 | ? | ? |
| 19 | property18 | ? | ? |
| 20 | property19 | ? | ? |
| 21 | property20 | ? | ? |
| 22 | property21 | ? | ? |
| 23 | property22 | ? | ? |
| 24 | property23 | ? | ? |
| 25 | property24 | ? | ? |
| 26 | property25 | ? | ? |
| 27 | property26 | ? | ? |
| 28 | property27 | ? | ? |
| 29 | property28 | ? | ? |
| 30 | property29 | ? | ? |
| 31 | property30 | ? | ? |
| 32 | property31 | ? | ? |
| 33 | property32 | ? | ? |
| 34 | property33 | ? | ? |
| 35 | property34 | ? | ? |
| 36 | property35 | ? | ? |
| 37 | property36 | ? | ? |
| 38 | property37 | ? | ? |
| 39 | property38 | ? | ? |
| 40 | property39 | ? | ? |
| 41 | property40 | ? | ? |
| 42 | property41 | ? | ? |
| 43 | property42 | ? | ? |
| 44 | property43 | ? | ? |
| 45 | property44 | ? | ? |
| 46 | property45 | ? | ? |
| Nr | Event | Target State ID |
|---|---|---|
| 1 | start_xtl_system | |
| 2 | place(7,6,red) | |
| 3 | place(2,6,yellow) | |
| 4 | place(1,6,red) | |
| 5 | place(3,6,yellow) | |
| 6 | place(4,6,red) | |
| 7 | place(5,6,yellow) | |
| 8 | place(5,5,red) | |
| 9 | place(1,5,yellow) | |
| 10 | place(3,5,red) | |
| 11 | place(7,5,yellow) | |
| 12 | place(5,4,red) | |
| 13 | place(4,5,yellow) | |
| 14 | place(3,4,red) | |
| 15 | place(5,3,yellow) | |
| 16 | place(2,5,red) | |
| 17 | place(5,2,yellow) | |
| 18 | place(5,1,red) | |
| 19 | place(4,4,yellow) | |
| 20 | place(6,6,red) | |
| 21 | place(7,4,yellow) | |
| 22 | place(1,4,red) | |
| 23 | place(3,3,yellow) | |
| 24 | place(6,5,red) | |
| 25 | place(2,4,yellow) | |
| 26 | place(2,3,red) | |
| 27 | place(7,3,yellow) | |
| 28 | place(2,2,red) | |
| 29 | place(4,3,yellow) | |
| 30 | place(7,2,red) | |
| 31 | place(6,4,yellow) | |
| 32 | place(1,3,red) | |
| 33 | place(3,2,yellow) | |
| 34 | place(7,1,red) | |
| 35 | place(6,3,yellow) |