Datum
2e2f5db43b97fd…47469b89cb
2e2f5db43b97fd5dae8b7f3ecc45309621e3e26872c1a2f8c25db447469b89cb
Datum
Constr 0
0
#925e28e4b8215c20725b09c9a0281f8775512d6cc604d0b5f4f4882f
1
List [2]
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}
#""
→ 20000000
1
Constr 0
0
Constr 0
0
Constr 0
0
#925e28e4b8215c20725b09c9a0281f8775512d6cc604d0b5f4f4882f
1
Constr 0
0
Constr 0
0
Constr 0
0
#6bf14c70ffcfed43ec4b733ccb746353737261bdb58038f158813c0d
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 980000000