Datum
42d7ea7b92b00d…4be2695cee
42d7ea7b92b00da93ddad6442188eeebccec5fd945c97268f69b4d4be2695cee
Datum
Constr 0
0
#036b903c72cdbcf51a4ef5af1885a6ff2640eb2dce21d43516b1651b
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}
#""
→ 8000000
1
Constr 0
0
Constr 0
0
Constr 0
0
#19bc81e5dc05c7a2481633e36a3244724db1ea43b05412ea4fc78495
1
Constr 0
0
Constr 0
0
Constr 0
0
#04ac5805f901c22c5e06e8e7ea80b9f6907e9cbaa72a82b0b44d1c44
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 40000000
2
Constr 0
0
Constr 0
0
Constr 0
0
#036b903c72cdbcf51a4ef5af1885a6ff2640eb2dce21d43516b1651b
1
Constr 0
0
Constr 0
0
Constr 0
0
#6b13395bd3eb7df416dc79352d6e639998697c87e3485fe34558f85a
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 352000000