Datum
cda8dcec128fd9…de401d546e
cda8dcec128fd9e4097f660219eaeac988c3ee83f0afb7147f72a8de401d546e
Datum
Constr 0
0
#9713cdd708cf829039c6989d7b064d66901571a0a1f447223670f9ea
1
List [3]
0
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}
#""
→ 12000000
1
Constr 0
0
Constr 0
0
Constr 0
0
#e54f7f647be4ef6ed1539e8d48a9738f21342dd7d26fa374777190f6
1
Constr 0
0
Constr 0
0
Constr 0
0
#9ee2679d51d1458ab2bf414908c791ad13132f2a40fa61bf4a5db70a
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 30000000
2
Constr 0
0
Constr 0
0
Constr 0
0
#9713cdd708cf829039c6989d7b064d66901571a0a1f447223670f9ea
1
Constr 0
0
Constr 0
0
Constr 0
0
#7158e45ed0b090b6241ae851a34eb9931cb78320057702bdb5d26bb1
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 558000000