Datum
81cb112a031c8b…ea352ef4e7
81cb112a031c8b61debff37a6e3243059bb8848123d561b7e80090ea352ef4e7
Datum
Constr 0
0
#a4ce2f9532058dd03b27708481e4ab17c2fc5c1e9dbacf32295998cd
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}
#""
→ 3000000
1
Constr 0
0
Constr 0
0
Constr 0
0
#a4ce2f9532058dd03b27708481e4ab17c2fc5c1e9dbacf32295998cd
1
Constr 0
0
Constr 0
0
Constr 0
0
#bd53449418a224c2f53850b0b0ffe760efbc929ef18758df3f12728f
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 147000000