Datum
8048b761dedbf7…a3d58f78f3
8048b761dedbf76bb8c19278e5b5f65a54fa26ce5a6eb7a6c6079da3d58f78f3
Datum
Constr 1
0
Constr 0
0
#d33e9fd9cd80992631edfe2c382714c3e4444079be527ce4421acdc7a97dbb8c
1
51800000000
2
0
3
Constr 0
0
30921337922640447595360059785155132224070330955733719713568173023041500903457846237831920418271426605727071875000
1
44332362702211957595889833882338313652831490584720785576594215299685086817190359865457307028681922811587
4
7797293972434
5
4076870848444196
6
Constr 1 []
7
Constr 0
0
#d38b2a2c8cbe0b3c46acbc6bdd525ffb72c8e7c62e81ed721414e9c2e3b8c12c