Datum

2bcb42a437becf…129ea07ed1

2bcb42a437becffe273f9a0d74d5b7caf28c3b20f957eb48dfca86129ea07ed1

Datum

Constr 0

0

#12

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#f93392fae5e89c0869a464243a5e148f543e8453952343c28ffbbef5

1

Constr 0

0

Constr 0

0

Constr 0

0

#29cefa86c8e96fe608377ae3d4911a679313220ea2518157fafbc501

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 1 []

1

1000000000

2

Constr 0

0

7069694