\set ECHO none
add_provenance

(1 row)
remove_provenance

(1 row)
node|hops|prob
1|0|1.000000
2|1|0.500000
3|2|0.250000
(3 rows)
add_provenance

(1 row)
remove_provenance

(1 row)
node|hops|prob
1|0|1.000000
1|3|0.125000
2|1|0.500000
2|4|0.125000
3|2|0.250000
4|3|0.125000
(6 rows)
remove_provenance

(1 row)
hops_routes_agree
t
(1 row)
remove_provenance

(1 row)
node|prob|certified
1|1.000000|1
2|0.500000|1
3|0.250000|1
4|0.125000|1
(4 rows)
remove_provenance

(1 row)
add_provenance

(1 row)
remove_provenance

(1 row)
remove_provenance

(1 row)
node|hops|prob
1|10|1.000000
1|12|0.500000
2|11|0.500000
2|13|0.500000
3|12|0.250000
(5 rows)
add_provenance

(1 row)
remove_provenance

(1 row)
node|hops|prob
1|0|0.500000
2|1|0.250000
3|2|0.125000
(3 rows)
remove_provenance

(1 row)
node|hops|prob
1|5|1.000000
(1 row)
remove_provenance

(1 row)
unbounded_generic
5
(1 row)