Datum
7ed256edc16719…d3e6edba22
7ed256edc1671934a38ec851ddf73d1f7d10f0307c8daf63bdcb06d3e6edba22
Datum
Constr 0
0
Constr 0
0
Constr 0
0
#94a8b71324ce6ac8a799b8512c457ac68e90378861d872c2aa0c21fe
1
Constr 0
0
Constr 0
0
Constr 0
0
#1ecc7538f1cfbe35ba5f811eeadf293a3a42e85ecf57a7a42eac0063
1
Constr 0
0
Constr 0
0
#94a8b71324ce6ac8a799b8512c457ac68e90378861d872c2aa0c21fe
1
Constr 0
0
Constr 0
0
Constr 0
0
#1ecc7538f1cfbe35ba5f811eeadf293a3a42e85ecf57a7a42eac0063
2
Constr 1 []
3
Constr 3
0
545582262
1
99172174774
4
1998680
5
2000000