Datum

27f3d5a09ba853…1dd224cd72

27f3d5a09ba85395f00a4772e35b151f047e54cf77b3ff48ed143e1dd224cd72

Datum

Constr 0

0

#08

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#5146f18dfb81cae19fb7e2cfe96376cb99c3f96561c7d957c75bc68d

1

Constr 0

0

Constr 0

0

Constr 0

0

#2dfeb57ff6b617589c4aeb3f9f909d073d6df5e6b08fb96d03417e4a

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 0 []

1

500000000

2

Constr 0

0

749774187