Datum
f672fd749eb42e…d622ba22ff
f672fd749eb42ef240750cc4d0462976ea58ddea90e518e65c4cb5d622ba22ff
Datum
Constr 0
0
#ea57110ef32e3c89fcd48b34eba2c6c46693b88b4cda9d62e8714237
1
#85372b18bb45168c1a01e7f3d20dff0c01ce6978ad269ca77bac0fd5
2
Constr 0
0
800000000
1
30
3
Constr 1 []