Datum
92e41c4a5d6a9a…edc2c6eeee
92e41c4a5d6a9aeea9c472c94aa41fd8f9d0e66af11669c791844eedc2c6eeee
Datum
Constr 0
0
Map {1} →
Constr 0
0
Constr 0
0
#63b872a16ad2d3cd183c4ffb7d50471d65eb8c5fde24f965bb699d871d606d50
1
0
Map {1}
#""
→ Map {1}
#""
→ 9100000
1
Map {0}
2
Constr 1 []