Datum

b24effbe92b09e…9a60d68f70

b24effbe92b09efaecc0248fcaccaa5e0b88ff1775ced630055b599a60d68f70

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#b1131ce766c75299b2fbf8177a9341634db3ab1aa68a8dc5ab5a156d

1

Constr 0

0

Constr 0

0

Constr 0

0

#1ff01f6187523af562b20b2ae18602a2ce2a8a4bd9df038e210c7583

1

Constr 0

0

Constr 0

0

#b1131ce766c75299b2fbf8177a9341634db3ab1aa68a8dc5ab5a156d

1

Constr 0

0

Constr 0

0

Constr 0

0

#1ff01f6187523af562b20b2ae18602a2ce2a8a4bd9df038e210c7583

2

Constr 1 []

3

Constr 3

0

10021964848

1

53649799490

4

2000000

5

2000000