Datum
ffedc9c67aa286…5780ba313e
ffedc9c67aa2863a4fa6f9c139a0fcb8e97ceb06d8ed9e6a7bb5b95780ba313e
Datum
Constr 0
0
#f4c8e4aedc86fa8ee5b0be7c734c345537a4b7ab5e913085252ba099
1
List [3]
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
#f5872f8278886e94cfd93849611fc53c95832a716c9599ce2569df17
1
Constr 1 []
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 1750000
2
Constr 0
0
Constr 0
0
Constr 0
0
#f4c8e4aedc86fa8ee5b0be7c734c345537a4b7ab5e913085252ba099
1
Constr 0
0
Constr 0
0
Constr 0
0
#517de1eeba42a20496395a0d636ef559e2cbabd3bd64f05d3b0330eb
1
Map {1}
#b71f9e32a458d27b2fe357231495ceb3a14536f187592f14febbb9ae
→ Constr 0
0
1
1
Map {0}