Datum
23b120bb81eceb…dcdeeabd93
23b120bb81eceb457a3301797018754c8b0451f33032b604dd6b2adcdeeabd93
Datum
Constr 0
0
Constr 0
0
Constr 0
0
#b4cb40735aa675c9b24c96c7c29ed0d454d47619cff86787cd851180
1
Constr 0
0
Constr 0
0
Constr 0
0
#e187d68131e45172e29a8870fa5dabfce418acf90edd60e10dd860e9
1
Constr 0
0
Constr 0
0
#b4cb40735aa675c9b24c96c7c29ed0d454d47619cff86787cd851180
1
Constr 0
0
Constr 0
0
Constr 0
0
#e187d68131e45172e29a8870fa5dabfce418acf90edd60e10dd860e9
2
Constr 1 []
3
Constr 3
0
179242299
1
2402652740
4
1855719
5
2000000