Datum

ccd76d6d38c602…94eee93cdd

ccd76d6d38c602a4ebb3e448e1db31f85b9c60fb235d5832db25df94eee93cdd

Datum

Constr 0

0

#24

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#96992f7623ca5f2105d8f8a11eebd4d47357a829ffc8bcae3f6138fc

1

Constr 0

0

Constr 0

0

Constr 0

0

#3b5c8b9ec983d79a29deb3305d33e83d9047bad85dee87add5962a84

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 1 []

1

77420

2

Constr 0

0

390727039