Datum

4db8e1a7d2ed11…14ea8ebe52

4db8e1a7d2ed11056aa99efcc16c81fe8c46ee2505bf8e20dd645514ea8ebe52

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#85066d623f28e264c7348ec5b546bd4b56db88fce727b6393bb91ff7

1

Constr 0

0

Constr 0

0

Constr 0

0

#c91ef38d1701bd3d45e30c520bb0efff93ed191ddca49b7ea4753012

1

Constr 0

0

Constr 0

0

#85066d623f28e264c7348ec5b546bd4b56db88fce727b6393bb91ff7

1

Constr 0

0

Constr 0

0

Constr 0

0

#c91ef38d1701bd3d45e30c520bb0efff93ed191ddca49b7ea4753012

2

Constr 1 []

3

Constr 2

0

1

4

1996573

5

2000000