Datum

ef2079c7ec6c6f…f12a9e8e71

ef2079c7ec6c6f3bbbc40f04db0cb090ad298ae8941ddfba745069f12a9e8e71

Datum

Constr 0

0

#14

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#87578a0ab90c85525ebbe638edd741c3390decc0f29fde2e5e9d8da6

1

Constr 0

0

Constr 0

0

Constr 0

0

#45047fce9f4ddf0eb7836b50470b05fae659b2483db56659d4d75dcd

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 0 []

1

285156208

2

Constr 0

0

64