Datum
d5b2fd5d22a940…20cdd68f7f
d5b2fd5d22a94013450b3c4a2c7c953f97e155d7f6b16ef2339bcd20cdd68f7f
Datum
Constr 0
0
#c1dacf207505512273207be0373b774411272808e660f478466767d3
1
List [3]
0
Constr 0
0
Constr 0
0
Constr 0
0
#6699023c2e91a1ef3c568e69dc0e003d5c72d2dd76f9849d283dd2cd
1
Constr 0
0
Constr 0
0
Constr 0
0
#4fd64a32a0ac2b470604a7b0c4abca161d2eab451b57d3478ca8d718
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 93000000
1
Constr 0
0
Constr 0
0
Constr 0
0
#70e60f3b5ea7153e0acc7a803e4401d44b8ed1bae1c7baaad1a62a72
1
Constr 0
0
Constr 0
0
Constr 0
0
#1e78aae7c90cc36d624f7b3bb6d86b52696dc84e490f343eba89005f
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 12400000
2
Constr 0
0
Constr 0
0
Constr 0
0
#c1dacf207505512273207be0373b774411272808e660f478466767d3
1
Constr 0
0
Constr 0
0
Constr 0
0
#d2adcdb4e58318d410a1853c8791af2d5faadfe56c81c9e5e2c0fd31
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 514600000