Datum
bc94fa51b6197e…cb40e2acef
bc94fa51b6197e6bf86cd24011738b8b1143f4366a5cc65f734767cb40e2acef
Datum
Constr 0
0
#f271d1f71a6bc3c18735d7b09403cc2ed573221ee8e519913889fc8e
1
#f271d1f71a6bc3c18735d7b09403cc2ed573221ee8e519913889fc8e
2
Constr 0
0
800000000
1
0
3
Constr 1 []