Datum

d1086cd627e588…9272b24e94

d1086cd627e58866ea05816500f4deb1d3d239c22ca581af1beec49272b24e94

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#e75d965a3c546db78eb1e1a7d5e18fc357cab434ddce9bb9bab43be3

1

Constr 0

0

Constr 0

0

Constr 0

0

#2e56e3b7bef52315a13c5141ad37d5d97df0ed5a299058d83c406d43

1

Constr 0

0

Constr 0

0

#e75d965a3c546db78eb1e1a7d5e18fc357cab434ddce9bb9bab43be3

1

Constr 0

0

Constr 0

0

Constr 0

0

#2e56e3b7bef52315a13c5141ad37d5d97df0ed5a299058d83c406d43

2

Constr 1 []

3

Constr 3

0

878654580

1

15073514307

4

2000000

5

2000000