\set ECHO none
add_provenance

(1 row)
create_provenance_mapping

(1 row)
create_provenance_mapping

(1 row)
create_provenance_mapping

(1 row)
create_provenance_mapping

(1 row)
create_provenance_mapping

(1 row)
create_provenance_mapping

(1 row)
remove_provenance

(1 row)
n|root
1|fixpoint
2|fixpoint
3|fixpoint
4|times
(4 rows)
n|min_cost|viterbi|reachable
1|8|0.25|t
2|3|0.5|t
3|7|0.5|t
4|12|0.25|t
(4 rows)
n|prob
1|0.312500
2|0.500000
3|0.625000
4|0.312500
(4 rows)
n|monte_carlo|stopping_rule|additive
1|t|t|t
2|t|t|t
3|t|t|t
4|t|t|t
(4 rows)
n|validity
1|{[5,7)}
2|{[1,10)}
3|{[5,10),[12,15)}
4|{[8,9)}
(4 rows)
n|min_cost_negative
1|-Infinity
2|-Infinity
3|-Infinity
4|-Infinity
(4 rows)
n|why|which
2|{{a},{a,b,c},{a,b,c,e},{a,c,e}}|{a,b,c,e}
(1 row)
NOTICE:  node 1: count refused, 0A000 / provsql-reason: recursion-infinite-count; scope: deliberate
NOTICE:  node 2: count refused, 0A000 / provsql-reason: recursion-infinite-count; scope: deliberate
NOTICE:  node 3: count refused, 0A000 / provsql-reason: recursion-infinite-count; scope: deliberate
NOTICE:  node 4: count refused, 0A000 / provsql-reason: recursion-infinite-count; scope: deliberate
NOTICE:  how-provenance refused, 0A000 / provsql-reason: recursion-cycle-no-value; scope: deliberate
n|reads_unknowns|equations
1|t|3
2|t|3
3|t|3
4|t|3
(4 rows)
rows_agreeing|provsql
4 (*)|d265daa9-f206-561d-845c-2a85fa0fa72c
(1 row)
components|unknowns|equations
1|3|3
(1 row)
NOTICE:  provsql-reason: where-recursive-cycle; scope: out-of-scope
remove_provenance

(1 row)
add_provenance

(1 row)
add_provenance

(1 row)
remove_provenance

(1 row)
id|hid|path|prob
22|2|1->2|0.500000
33|3|1->2->3|0.500000
(2 rows)
remove_provenance

(1 row)
remove_provenance

(1 row)