Datum

52dc8688f4e04c…b8040234cf

52dc8688f4e04c35a44bb32d91bf3c7d4dbef4d7454824562b4365b8040234cf

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#d10eaed871b909029551117428403424d3e0b3ef02b99f4d96a88920

1

Constr 0

0

Constr 0

0

Constr 0

0

#e94e1c440ca067976f157442f474748d1e1bb64119000be75d901547

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

1115203056

1

1266939472

4

2000000

5

4000000