Datum

a003574a577a01…613561ac53

a003574a577a0101ffbfa7e581b642ccfc1f0865fae6a1050bf7ca613561ac53

Datum

Constr 0

0

#12

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#6f6ac85a14219d610e98d250670ceb7ab267afc25274ed5a6cb3ccda

1

Constr 0

0

Constr 0

0

Constr 0

0

#3afd630ff9a0ade4ad6d409cc6556d777944057672adc12182aa7ff0

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 1 []

1

8000000000

2

Constr 0

0

62080528