Datum

f68c61e7ba5588…79d54b40ee

f68c61e7ba55883e5fe1adf39d865dec4f134527a75952ae02ee5279d54b40ee

Datum

Constr 0

0

#0f

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#7409cbab9a639f4b528f0e8aae242099e3c61670f4328155ec538d53

1

Constr 0

0

Constr 0

0

Constr 0

0

#faef478bbccac3bf5a7124b868ee8c8850d84ad09fde1509ac79bb84

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 0 []

1

10000000

2

Constr 0

0

4149198949