Datum

901056f5c44ffa…8798dfda82

901056f5c44ffa1cf3d8d98ec0e613dedd4bfadd05e715b5c0115b8798dfda82

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

132737

2

Constr 0

0

678034900