Datum
ed81cdd19c83be…e82393b78e
ed81cdd19c83bec2c3af5e6f94996cb552ed3369abbffdb3b76d2fe82393b78e
Datum
Constr 0
0
Constr 0
0
Constr 0
0
#dd9ac68ca5b46df4d65624d86a68bb93ed318e41bdaae14a934adbbe
1
Constr 0
0
Constr 0
0
Constr 0
0
#9b91679608bd2d89b2e4ceae8f1dba0bd0f280114b7e028bafef188b
1
Constr 0
0
Constr 0
0
#dd9ac68ca5b46df4d65624d86a68bb93ed318e41bdaae14a934adbbe
1
Constr 0
0
Constr 0
0
Constr 0
0
#9b91679608bd2d89b2e4ceae8f1dba0bd0f280114b7e028bafef188b
2
Constr 1 []
3
Constr 3
0
15798207
1
571294214175
4
1998431
5
2000000