Datum
54751f0ad5d22e…0a47266d9b
54751f0ad5d22ec9038cd2f50ec79ed37f615f5ed31ea8384de9600a47266d9b
Datum
Constr 0
0
#12
1
Constr 0
0
Constr 0
0
Constr 0
0
Constr 0
0
#17877bc06e347532a4cd39df66735115bef21d20e3fa244ff0017480
1
Constr 0
0
Constr 0
0
Constr 0
0
#5613c9a53efad982d62f97632f1ea56c052aef3f593e15996aefa2b0
1
Constr 1 []
1
Constr 1 []
2
2500000
3
Constr 0
0
Constr 1 []
1
1000000000
2
Constr 0
0
2689921