Datum
80c30eb4c9c33e…23d7f63ebe
80c30eb4c9c33e33dffc6a8a16dd648fa2530fb62029c0e09f5eac23d7f63ebe
Datum
Constr 0
0
List [2]
0
Constr 0
0
Constr 0
0
Constr 0
0
#b2d1bc97eb634cf8240fb7a87b7bbc852ffcb03235d3391b21f11a9d
1
Constr 0
0
Constr 0
0
Constr 0
0
#51f3ef6398a18dc4bb64f391e17abe8a50554f9b69a96a8872147b3c
1
1000000
1
Constr 0
0
Constr 0
0
Constr 0
0
#fd30de5ab50898dff8f1f61bafec2ce586358efd2332a0d009b7bfb8
1
Constr 0
0
Constr 0
0
Constr 0
0
#4fbbafe8c9e6347d5489e9f125062a08febbd3cf33df73096dcffaec
1
10000000
1
#fd30de5ab50898dff8f1f61bafec2ce586358efd2332a0d009b7bfb8