Datum

617d69677e58d5…ddfd809d5d

617d69677e58d5272dda27a527d9c5337b1b3dee2fb02662fb0ae3ddfd809d5d

Datum

Constr 0

0

#08

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#ede2f26467b2280d81f708a877ddd523c185141412b8af44527e8cfc

1

Constr 0

0

Constr 0

0

Constr 0

0

#04ea8649bce71f0e586c20b22b3d33e9948ee1aedaf1249a2e4f295d

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 2

0

Constr 1

0

Constr 0

0

99705057

1

143286943