Datum

845dbefb8d145f…a28e6f2f29

845dbefb8d145ffae664951c2e10d722810c1b8ca11575d32fdd0fa28e6f2f29

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#6d892f1c0be1949beaca76ec2ed7e81d4462cafeb0cafd99da6271bd

1

Constr 0

0

Constr 0

0

Constr 0

0

#a06619b5d35c0fbba76a246ef8f8d2fe48916defad47946580d7914e

1

Constr 0

0

Constr 0

0

#6d892f1c0be1949beaca76ec2ed7e81d4462cafeb0cafd99da6271bd

1

Constr 0

0

Constr 0

0

Constr 0

0

#a06619b5d35c0fbba76a246ef8f8d2fe48916defad47946580d7914e

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

1209100

4

1994870

5

2000000