Datum
0b00f78416e38a…60ffcd5ab7
0b00f78416e38abfc6fa3a7cd5b96b209149352df128cd45cd2e0d60ffcd5ab7
Datum
Constr 0
0
Constr 0
0
Constr 0
0
#41b9aa5369b38d5c0f3a9bb079a28046a5ba22a78fe931c17a59f375
1
Constr 0
0
Constr 0
0
Constr 0
0
#b7894955bf1a70b80768fb933979415ae74b131513c25e99ba7d4ed3
1
Constr 0
0
Constr 0
0
#41b9aa5369b38d5c0f3a9bb079a28046a5ba22a78fe931c17a59f375
1
Constr 0
0
Constr 0
0
Constr 0
0
#b7894955bf1a70b80768fb933979415ae74b131513c25e99ba7d4ed3
2
Constr 1 []
3
Constr 3
0
229046692
1
382210076
4
1999948
5
2000000