Datum
b2832f996f61fb…1954b43f4e
b2832f996f61fb4c74a9b9b2e60562b0b42f488f71ef1708cfaacf1954b43f4e
Datum
Constr 0
0
Map {1} →
Constr 0
0
Constr 0
0
#1a7fabd4258d2a49005da83f711673e0772ea38438a99357d79cafd7cc32bee3
1
1
Map {1}
#""
→ Map {1}
#""
→ 1570000
1
Map {0}
2
Constr 1 []