Datum
72315aeaf08389…dba472d42f
72315aeaf08389f012be3232732f26e07c19603a358d8cfcd2e047dba472d42f
Datum
Constr 0
0
Constr 0
0
Constr 0
0
#95aaaa13e8b7c8e17f18361f7feff623648df5eab382aa44a94ec955
1
Constr 0
0
Constr 0
0
Constr 0
0
#fc7159dba80b645690925353590c11270ce632b82e9f4e8b9f445bbf
1
Constr 0
0
Constr 0
0
#95aaaa13e8b7c8e17f18361f7feff623648df5eab382aa44a94ec955
1
Constr 0
0
Constr 0
0
Constr 0
0
#fc7159dba80b645690925353590c11270ce632b82e9f4e8b9f445bbf
2
Constr 1 []
3
Constr 3
0
197926717
1
3591129406
4
1998995
5
2000000