Datum

701bb9527e5773…220fdb784b

701bb9527e5773440d77d52c8bb28805a0b6b0153cb5c794331aa0220fdb784b

Datum

Constr 0

0

#1e01

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#99376e1c6d9c5684b4e9c89d65f0990e9d87deaf6042762b7f6093fa

1

Constr 0

0

Constr 0

0

Constr 0

0

#a95a71c863e7d1262709a27e8b69be9939edd6b08a5a38b0ba917ccd

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 0 []

1

514986898

2

Constr 0

0

3880000000