Datum

a3816e39bce3c2…1003928b75

a3816e39bce3c2f87b481e71e381a67377d1fe3534c1ecea1ffc851003928b75

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#2df09d2f65aefe652d7995b44fb4f77ff74fc33bb754f844d5dca658

1

Constr 0

0

Constr 0

0

Constr 0

0

#a99f611a3f2f0159ab3e64938d0fe91d3e8cd30256fbca7ab1a46531

1

Constr 0

0

Constr 0

0

#ca5d9e971ba87ce0ce333a464a8f7c1c6650b8a6a28c4dcce53b566d

1

Constr 0

0

Constr 0

0

Constr 0

0

#28b8c1adbefb8692970a8a473d45c30da47faa716c7026b0ed362a76

2

Constr 1 []

3

Constr 3

0

20976033375

1

4935649

4

1860805

5

4000000