Datum

55c1c8b36e53db…c12646879d

55c1c8b36e53dbdab2cd61b48ae3070a859fbf3ac0ae4cb26a0eaec12646879d

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#f8059a761221120670cc55e34953592c4abfbc3ec42442da27a9c5db

1

Constr 0

0

Constr 0

0

Constr 0

0

#7a29d4a452cc9d5aca6e348e60e9022d387cfb8d7755109a99d3eb09

1

Constr 0

0

Constr 0

0

#f8059a761221120670cc55e34953592c4abfbc3ec42442da27a9c5db

1

Constr 0

0

Constr 0

0

Constr 0

0

#7a29d4a452cc9d5aca6e348e60e9022d387cfb8d7755109a99d3eb09

2

Constr 1 []

3

Constr 4

0

Constr 0

0

#""

1

#""

1

355726858

4

1987319

5

2000000