Datum
11a4a045b7177d…40bd049746
11a4a045b7177d9eaab2e64a15d3dfa3d387ff9e877cd2f5e7dd4f40bd049746
Datum
Constr 0
0
#e445cc29e8d263297c0721e040ab3b39a09293cf7fdbe8636490eef6
1
List [3]
0
Constr 0
0
Constr 0
0
Constr 0
0
#da258af0cb2bf507d2255566b43866cd67851198dd85bffb99d4aa1f
1
Constr 0
0
Constr 0
0
Constr 0
0
#7afa1ad8416c78124bea9f6b3098f9dccda1bb21184e690503700e6d
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 5000000
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}
#""
→ 1000000
2
Constr 0
0
Constr 0
0
Constr 0
0
#e445cc29e8d263297c0721e040ab3b39a09293cf7fdbe8636490eef6
1
Constr 0
0
Constr 0
0
Constr 0
0
#82b8643a2cc97f13f0f3bf8170e1b29548572ddbca7faae1e616f07e
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 14000000