Datum

cd44ef4c20a459…86a217f3f8

cd44ef4c20a4590a818fbc463539939494c5fc4da74000be885fd286a217f3f8

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#a2dffba985b98a4dd6054bcf885294ae6e75b5c66e713fe6da5b9129

1

Constr 0

0

Constr 0

0

Constr 0

0

#1ef514cc11ee53d55ebb4f769899a769d0b816f6e0f82dc2a296c7ed

1

Constr 0

0

Constr 0

0

#a2dffba985b98a4dd6054bcf885294ae6e75b5c66e713fe6da5b9129

1

Constr 0

0

Constr 0

0

Constr 0

0

#1ef514cc11ee53d55ebb4f769899a769d0b816f6e0f82dc2a296c7ed

2

Constr 1 []

3

Constr 3

0

20817974575

1

168563723513

4

1989127

5

2000000