Datum

ca0879e048e740…e5d5905b92

ca0879e048e740694b60accbc43cc2edd71e63ce09534824b512c4e5d5905b92

Datum

Constr 0

0

#c402

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#cdb449e99871d4cd630faf222b13b031b9232e85f31704d23f2d0962

1

Constr 0

0

Constr 0

0

Constr 0

0

#717c8a4cf717f834bea4441999b7971b351a4008edca445fe2223eff

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 0 []

1

524134829

2

Constr 0

0

396000000