Datum
7fa826370fc088…752cccd10f
7fa826370fc0888868942f262dfaf03acde225f6ca8f15a97ab029752cccd10f
Datum
Constr 0
0
Map {1} →
Constr 0
0
Constr 0
0
#0b52f88fad67ed1bb6353c893e8ea0ad908a3d22f91c6f35f6cf2192a8dd7914
1
1
Map {1}
#""
→ Map {1}
#""
→ 16000000
1
Map {0}
2
Constr 1 []