Datum

32fe3cd2edd757…c547ccd9d1

32fe3cd2edd7570bbd97c81210f2245a61c882cd68ee6686bcacb3c547ccd9d1

Datum

Constr 0

0

#2302

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#a7970524f849fdbde7a381a5fa98fc11a34b0a0173b19cddc1d48b8b

1

Constr 0

0

Constr 0

0

Constr 0

0

#f72489ca28dd76ea4498abe5b17f917b7e2aabb6b0a9d9ddac34f72a

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 0 []

1

797600787

2

Constr 0

0

2124451828