Datum

fe178cdcf82efd…a08dd8f6d4

fe178cdcf82efd7a94c79af4d3e98a1cbe86abf144dc74dd08fb8ca08dd8f6d4

Datum

Constr 0

0

#28

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#3fc643cca71e127213e662165a0a294198b3936cf9088a8b36eea8ac

1

Constr 0

0

Constr 0

0

Constr 0

0

#58090bcf52ca63d69c2d7841f89517fbb4f6228099eddf695e7dfcc7

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 1 []

1

10000000000

2

Constr 0

0

52119805