Datum

8b155053d4890d…93ecac5bfa

8b155053d4890d4fca0df46bdf7ea3e89a5d9262bdf5a867b8e4f593ecac5bfa

Datum

Constr 0

0

#03

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#7742c462fa00210d810ee35d8540374518388cb5f11e5adb219f68b6

1

Constr 0

0

Constr 0

0

Constr 0

0

#f7d5207fa5a76ea5570bfe86b33c5d005a8f37cf69b4ccd5b28b7001

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 0 []

1

2000000000

2

Constr 0

0

24077423