Datum
04331f36096a8a…01c979256f
04331f36096a8a1efaa70aa0af217abb16dc32bc723baf057d394c01c979256f
Datum
Constr 0
0
#b6fc4a33b6b2eb8848e229b581623d5b22dd73d2f2ad2a88e08a2006
1
List [3]
0
Constr 0
0
Constr 0
0
Constr 0
0
#7de3444332e4cfc0704d485a295702cb903155ab6b156d918c10d7b3
1
Constr 1 []
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 12000000
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}
#""
→ 6000000
2
Constr 0
0
Constr 0
0
Constr 0
0
#b6fc4a33b6b2eb8848e229b581623d5b22dd73d2f2ad2a88e08a2006
1
Constr 0
0
Constr 0
0
Constr 0
0
#dc4ae0514e6a48495adc271da746d2655cf86129255a1b11d0160eac
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 282000000