1#heuristic p(1..2). [1,false]
2#heuristic p(2..3). [2@1,true]
3#heuristic p(3..4). [1,sign]
4#heuristic p(4..5). [2@3,level]
5#heuristic p(5..6). [3@4,factor]
6#heuristic p(6..7). [3@4,init]
7
83 { p(1..10) }.
92 { p(1..5) }.
104 { p(3..8) }.
112 { p(7..9) }.
123 { p(2..9) }.
13