Datum

ab9206c2d9a79f…c3f3edecc9

ab9206c2d9a79f5db32a9c727ae1deef263a67eef539bed7c16147c3f3edecc9

Datum

Constr 0

0

#36

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#ab84772e52962c2e9dbd4ea994dc74c72dfbd39f6abe75c197205e95

1

Constr 0

0

Constr 0

0

Constr 0

0

#7ce92fb1738768bf72fc19475c356012dec5e4425828a3c7c747681f

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 0 []

1

100000000

2

Constr 0

0

2603175660