Datum
06908d35b68e43…bd7f3473ce
06908d35b68e43ba651396b5354abe550fe43cdf5b0cc59f9600dfbd7f3473ce
Datum
Constr 0
0
Map {1} →
Constr 0
0
Constr 0
0
#b61583f097409da463a3e1861ee5a5ec3946b61d57bb66bf01a512430ceae63d
1
1
Map {1}
#""
→ Map {1}
#""
→ 4900000
1
Map {0}
2
Constr 1 []