Datum

362ddfcae58bd5…9f58883ed0

362ddfcae58bd594589f5a3efdaf8722ea968e76b7a2ee25d6b90f9f58883ed0

Datum

Constr 0

0

#14

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#4283b2152dbb2a04e2133447f93b27e8db5cfe9e2b05b4ea6243163b

1

Constr 0

0

Constr 0

0

Constr 0

0

#0b28a1d03733002f459f1733aa665aad3a1d82f0e78f6d1c98a83172

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 0 []

1

114298411

2

Constr 0

0

55