Datum
b48b1d6a87b257…36321abbf7
b48b1d6a87b2573bc5dc321ea6cb11ef0cbc66e55d706fa18206b636321abbf7
Datum
Constr 0
0
Map {1} →
Constr 0
0
Constr 0
0
#d02e8023b546e8fffdeab7fbdcf90652a72c126b9264d78cd5d2bf1a20f7d0ee
1
0
Map {1}
#""
→ Map {1}
#""
→ 1450000
1
Map {0}
2
Constr 1 []