Datum

cdc7c56aa1d7cc…094e522d76

cdc7c56aa1d7cc74a3514818808b92bba9849844b247c379b3e29c094e522d76

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#319a846efe37625f0a8cb7e29dbe85545db1ce81ef4525586a0d8d86

1

Constr 0

0

Constr 0

0

Constr 0

0

#2aa9fd7ae9369008d900c59501343fccdbe81d40af6eb84b0d4e6443

1

Constr 0

0

Constr 0

0

#319a846efe37625f0a8cb7e29dbe85545db1ce81ef4525586a0d8d86

1

Constr 0

0

Constr 0

0

Constr 0

0

#2aa9fd7ae9369008d900c59501343fccdbe81d40af6eb84b0d4e6443

2

Constr 1 []

3

Constr 3

0

46604735

1

1690

4

2000000

5

2000000