Datum

b77eb625acbdf1…eadc20a472

b77eb625acbdf1bbb74236fd87d6ae16e5e741efd6bdaca483fc0beadc20a472

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#e83e3ae86de27ad672fb2eddac3ca6ad9b217b0d4c568eb033b506f9

1

Constr 0

0

Constr 0

0

Constr 0

0

#2ad0172f2c7d9b83152dc0d6ab12e622e855065b442b910086384202

1

Constr 0

0

Constr 0

0

#e83e3ae86de27ad672fb2eddac3ca6ad9b217b0d4c568eb033b506f9

1

Constr 0

0

Constr 0

0

Constr 0

0

#2ad0172f2c7d9b83152dc0d6ab12e622e855065b442b910086384202

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

144716741

4

2000000

5

2000000