Datum

00ded2ca463560…881ae1e4ec

00ded2ca463560655ec2904f25f6c55c9b5b8fee2504332802b0bf881ae1e4ec

Datum

Constr 0

0

#04

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#9780aa27c2975b2c4d2040fab051cf4364ea0310f63325c723e4fb3d

1

Constr 0

0

Constr 0

0

Constr 0

0

#f9ca8de225d5a30031f34b2614cc0eabcb4f30233bd5e6f56cd38902

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 1 []

1

500000000

2

Constr 0

0

319755441