Datum

10cdefbc9ae78f…48b52de1ea

10cdefbc9ae78fa505e75ff26bb3dd602a466384980d98ed3fe9c848b52de1ea

Datum

Constr 0

0

#14

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#787e61e90b9a619dcad0d060829257c748f0c8720080c5c8c059f513

1

Constr 0

0

Constr 0

0

Constr 0

0

#f9f44edf6a08e729ef65b852c9a1cbb7e422a15cc7059e0b8f7df989

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 0 []

1

400000000

2

Constr 0

0

111