Datum
795320a4bb0d08…2e82435fce
795320a4bb0d08c9a105fde0735bcc4c8f001c4e8ed4f8aed2ee3a2e82435fce
Datum
Constr 0
0
Constr 0
0
Constr 0
0
#97b8165d68aa463b0eb98c8816176a3d4d4e0097bdf5cab859d12f64
1
Constr 0
0
Constr 0
0
Constr 0
0
#67d3ed156e0fc662ca922c6283f1544db056c6a81bbd2b29a49e1c79
1
Constr 0
0
Constr 0
0
#97b8165d68aa463b0eb98c8816176a3d4d4e0097bdf5cab859d12f64
1
Constr 0
0
Constr 0
0
Constr 0
0
#67d3ed156e0fc662ca922c6283f1544db056c6a81bbd2b29a49e1c79
2
Constr 1 []
3
Constr 0
0
Constr 0
0
#724a31d1421744cac3bb1d547aa692b43517d651c46e60a0cf1f70ec
1
#444f444f"DODO"
1
142857142
4
2000000
5
2000000