Datum
b86899f23e0d7d…3f10d4bc73
b86899f23e0d7de0fbdec74cf8ab418d45ba1e1774edc7eae85b9d3f10d4bc73
Datum
Constr 0
0
Constr 0
0
Constr 0
0
#231d6928e8d74b4afd1c9f5ca3250f0c145d11a0c71c28fa58b9f726
1
Constr 0
0
Constr 0
0
Constr 0
0
#1157fc579217d9f6650a70132a83fe4c1a4aa71b22475cae2e649b48
1
Constr 0
0
Constr 0
0
#231d6928e8d74b4afd1c9f5ca3250f0c145d11a0c71c28fa58b9f726
1
Constr 0
0
Constr 0
0
Constr 0
0
#1157fc579217d9f6650a70132a83fe4c1a4aa71b22475cae2e649b48
2
Constr 1 []
3
Constr 3
0
597998273
1
12687206214
4
1989320
5
2000000