Datum
7c816d171f081e…24d91ed81c
7c816d171f081eb556b95b31bd70ebd15b36d0d545aca435df68df24d91ed81c
Datum
Constr 0
0
Constr 0
0
Constr 0
0
#f788579b3019ff5f2c48eb086f79b52912275f13f29c51cf0031df39
1
Constr 0
0
Constr 0
0
Constr 0
0
#2a5c6d10dba86f1449cb4a29a90355cd4fc6e5222c14ea5d7b706e93
1
Constr 0
0
Constr 0
0
#f788579b3019ff5f2c48eb086f79b52912275f13f29c51cf0031df39
1
Constr 0
0
Constr 0
0
Constr 0
0
#2a5c6d10dba86f1449cb4a29a90355cd4fc6e5222c14ea5d7b706e93
2
Constr 1 []
3
Constr 0
0
Constr 0
0
#0a0a43129b17470da7b60dcbbeb5a7c2007fe58bd64440dbbe5f7731
1
#756e697665727365"universe"
1
115976474360900
4
1994967
5
2000000