Datum

4ef32ffecb072a…a9d167affe

4ef32ffecb072a2f16ed1fe403d35e18cddb8473e94dcafda71e8fa9d167affe

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#870339df76a8cfe94bb2db63de8e1c6686fcea216ad8f73e464caa44

1

Constr 0

0

Constr 0

0

Constr 0

0

#eade487ce822ef2532bcad96b9dab10de5aa99f081f1d21116afe270

1

Constr 0

0

Constr 0

0

#870339df76a8cfe94bb2db63de8e1c6686fcea216ad8f73e464caa44

1

Constr 0

0

Constr 0

0

Constr 0

0

#eade487ce822ef2532bcad96b9dab10de5aa99f081f1d21116afe270

2

Constr 1 []

3

Constr 3

0

744660559

1

329853540

4

2000000

5

2000000