Datum
e170b151914bb5…bc3fbea65e
e170b151914bb5045e36fa9583602f4073ec634bb271ad4eccddf0bc3fbea65e
Datum
Constr 0
0
Constr 0
0
Constr 0
0
#2f24f3d61df76436d124a3029d487e2291348cc6fe6455e1468d74d8
1
Constr 0
0
Constr 0
0
Constr 0
0
#f321ed86a181e6be721ef0ef4fb851edbd832fc0390b3ca09c58c135
1
Constr 0
0
Constr 0
0
#2f24f3d61df76436d124a3029d487e2291348cc6fe6455e1468d74d8
1
Constr 0
0
Constr 0
0
Constr 0
0
#f321ed86a181e6be721ef0ef4fb851edbd832fc0390b3ca09c58c135
2
Constr 1 []
3
Constr 2
0
1
4
1802930
5
2000000