Datum

a0ccab8eaa9e33…9d38a64d3e

a0ccab8eaa9e33cd9291fae33db6eb8962cd6d8a17dae6035738209d38a64d3e

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#5fc44f5d602251f5f9ace3c99b876074d96d2258cc44bad5fd23b8e5

1

Constr 0

0

Constr 0

0

Constr 0

0

#7ea5a5905f98cebfd3ff81ae8d7e909ddcfe6b5fc39c3c148acadd52

1

Constr 0

0

Constr 0

0

#5fc44f5d602251f5f9ace3c99b876074d96d2258cc44bad5fd23b8e5

1

Constr 0

0

Constr 0

0

Constr 0

0

#7ea5a5905f98cebfd3ff81ae8d7e909ddcfe6b5fc39c3c148acadd52

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

5254372

4

2000000

5

2000000