Datum

74c3e35d5def22…54bf6ada63

74c3e35d5def225a178548b3fa28d53c1a09e67ca5f7948a0bc8e054bf6ada63

Datum

Constr 0

0

#18

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#244bbad55423cc23047e44ef1f456da36f36db390cb5620c3524821b

1

Constr 0

0

Constr 0

0

Constr 0

0

#d5ce1ade4cefdc457112c03a46d422a07808c68c3447a955b3101729

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 1 []

1

313179208

2

Constr 0

0

59890386