Datum

960c258bdc614f…138fceba1c

960c258bdc614f1fe3c8c100f55deeb3e701663b3101e5a5fe9323138fceba1c

Datum

Constr 0

0

#12

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#9144436c86a04b7094a5fc6664111a2a9f9bdcad04318d96382f4fa2

1

Constr 0

0

Constr 0

0

Constr 0

0

#62ff9f026adfc8bc615be857171d1e23e5829374af3e06813088e74a

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 1 []

1

5000000000

2

Constr 0

0

13417768