Datum

5400cb287dd3fb…70ffec9bd7

5400cb287dd3fba8bbeaab58ad0410c27e3c67abc34b6d155aff3f70ffec9bd7

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#a8b50fa7ff88b6a7d05b8d824ffb293695e13053ebb1db166110a954

1

Constr 0

0

Constr 0

0

Constr 0

0

#0ea07ec45f6991ceb948b2292415a6ae4dca4b3bed75461e329273b0

1

Constr 0

0

Constr 0

0

#a8b50fa7ff88b6a7d05b8d824ffb293695e13053ebb1db166110a954

1

Constr 0

0

Constr 0

0

Constr 0

0

#0ea07ec45f6991ceb948b2292415a6ae4dca4b3bed75461e329273b0

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

778795544

4

2000000

5

2000000