Datum

2f4786039bd404…765f37f3cd

2f4786039bd40450a4cc2b14e57f26e839b2d2dd6cf8d8c14f9d7a765f37f3cd

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#4f8edf63fddd78518ee36c8b5d0366c3f57cca7707320c9b6d3b434b

1

Constr 0

0

Constr 0

0

Constr 0

0

#c39cf6a24fc5cb5b0fe70e053593540aa461da1206831ff3b834ce92

1

Constr 0

0

Constr 0

0

#4f8edf63fddd78518ee36c8b5d0366c3f57cca7707320c9b6d3b434b

1

Constr 0

0

Constr 0

0

Constr 0

0

#c39cf6a24fc5cb5b0fe70e053593540aa461da1206831ff3b834ce92

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

216944535

4

1991382

5

2000000