Datum

a2b05d22165a8b…54673abdcd

a2b05d22165a8b6cd7d8972aa1dd30e074f31d68869c5271eee5ca54673abdcd

Datum

Constr 0

0

#14

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#ba79033923324d921344e23d0d144f2e8a2c89aa987850354eb27df6

1

Constr 0

0

Constr 0

0

Constr 0

0

#aa872705a8cf15f0b27c55a24e76304a1c7e8ed20140140e2fccafe0

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 0 []

1

1150000000

2

Constr 0

0

297