Datum
299c8d3ff0dce8…f47194c0de
299c8d3ff0dce8b9bc9b3805cad4f8dc2f34c2ddb5c8f1be6e2fd9f47194c0de
Datum
Constr 0
0
Constr 0
0
Constr 0
0
#a0ffd156054ecb13d0f10dc4df8234d966e8ddac81e4708f2ed0eafc
1
Constr 0
0
Constr 0
0
Constr 0
0
#498a7ad11ef8683cf2108531f8a3b2e570521e20efcaa749f279c76d
1
Constr 0
0
Constr 0
0
#a0ffd156054ecb13d0f10dc4df8234d966e8ddac81e4708f2ed0eafc
1
Constr 0
0
Constr 0
0
Constr 0
0
#498a7ad11ef8683cf2108531f8a3b2e570521e20efcaa749f279c76d
2
Constr 1 []
3
Constr 3
0
6413509037
1
2338454
4
1984041
5
2000000