Datum

532ad3bbd90aa7…30f8fd75e0

532ad3bbd90aa7ca5b5f91122ccc97fddd3473e2529c4bc4b8f9d430f8fd75e0

Datum

Constr 0

0

#08

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#0b3b75f99924cb2b8dd5881798cba57e625525d9ff21bbd762979284

1

Constr 0

0

Constr 0

0

Constr 0

0

#1fde5ef12a9a04dabdb52bde63af51c3d3feb690b9983a5a128240fe

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 0 []

1

12000000

2

Constr 0

0

114666158