Datum

edf434ca08f1a3…70f53a2ade

edf434ca08f1a3d47a9cd8428e3b37ba96cef3bc7a001ff5be2b7e70f53a2ade

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#e584dc8206cb3025c56ae0b7536256b493352326372168d818850141

1

Constr 0

0

Constr 0

0

Constr 0

0

#12c3c83f553f0122acb77764a62b732df168325207a702a60c7d7c84

1

Constr 0

0

Constr 0

0

#e584dc8206cb3025c56ae0b7536256b493352326372168d818850141

1

Constr 0

0

Constr 0

0

Constr 0

0

#12c3c83f553f0122acb77764a62b732df168325207a702a60c7d7c84

2

Constr 1 []

3

Constr 2

0

1

4

2000000

5

2000000