Datum
3f2240b222ec26…689faeaaa9
3f2240b222ec26ba62ae4e8bd216fbbbb22f7838c8bcd80ddd1817689faeaaa9
Datum
Constr 0
0
Constr 0
0
Constr 0
0
#fc432fd3ea2e58d5727f2d71df226aadce19c00e058a2801ba579b50
1
Constr 0
0
Constr 0
0
Constr 0
0
#a3b38a3d4ee348f3a26ae5077e9121bcf7705ac86dc47cce4f4a1371
1
Constr 0
0
Constr 0
0
#fc432fd3ea2e58d5727f2d71df226aadce19c00e058a2801ba579b50
1
Constr 0
0
Constr 0
0
Constr 0
0
#a3b38a3d4ee348f3a26ae5077e9121bcf7705ac86dc47cce4f4a1371
2
Constr 1 []
3
Constr 0
0
Constr 0
0
#""
1
#""
1
3832608423
4
1958373
5
2000000