Datum
209cb3dba2634d…a5da85b61c
209cb3dba2634de13fe42d519551bbc7455fad7e5fc0aa16ef6fbca5da85b61c
Datum
Constr 0
0
#72bcf0a9214641e3dabc2451a535ab8d783b418b625f5b67e154abc4
1
List [3]
0
Constr 0
0
Constr 0
0
Constr 0
0
#86102834dae66a78155541d8acc2575a188ea2b923f96b389072f931
1
Constr 0
0
Constr 0
0
Constr 0
0
#f8bd28ccb220681bc44618cd872a4d0aec6d7a253801e4887b6b6c6c
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 8000000
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}
#""
→ 1600000
2
Constr 0
0
Constr 0
0
Constr 0
0
#72bcf0a9214641e3dabc2451a535ab8d783b418b625f5b67e154abc4
1
Constr 0
0
Constr 0
0
Constr 0
0
#22b7fbb63c975cd3501b27698f833b7de7c54e665813f9fa6b3c11c6
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 70400000