Datum
406dfe5ab9f1be…16aad499a2
406dfe5ab9f1be5304f4c8356cf6372a22e0fcc42da2a5544d155016aad499a2
Datum
Constr 0
0
#c35dc1ac87ff4260761299b0d0ea7ecca69046aff4f364f44688a7fc
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}
#""
→ 1000000
1
Constr 0
0
Constr 0
0
Constr 0
0
#c35dc1ac87ff4260761299b0d0ea7ecca69046aff4f364f44688a7fc
1
Constr 0
0
Constr 0
0
Constr 0
0
#467310d79b89ba67758749f46aa4d6f366bd69ca4bcf54bbed1bfc03
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 49000000