Datum

3272c5e5c1e69e…92ca66b585

3272c5e5c1e69e860b416b79e8d5c1ba0fe80b8123fb7fe2b08ca092ca66b585

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#c66fc0b7fbb9f1bfd0137ce26dfaddf98205cabe352901b720ac7671

1

Constr 1 []

1

Constr 0

0

Constr 0

0

#c66fc0b7fbb9f1bfd0137ce26dfaddf98205cabe352901b720ac7671

1

Constr 1 []

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#29d222ce763455e3d7a09a665ce554f00ac89d2e99a1a83d267170c6

1

#4d494e"MIN"

1

132247905481

4

2000000

5

2000000