Datum
da74d08c756fbd…5dc17dddcf
da74d08c756fbd3b63813673bcf12a0f1f85f01c5700191b1ae5205dc17dddcf
Datum
Constr 0
0
Map {1}
#""
→ Map {1}
#""
→ 91780821
1
6
2
#1f3dd1b685f0d87eaf92120aca3cf56da6ed91e2dbc32a95a26bce4a
3
#e0209034af92ed8afc178496d9856e9403d04a28b37ea6756474cd9816c75d32
4
1000
5
6
6
1300
7
Constr 0
0
Constr 0
0
#8c3dc432ad6d3b5edf332fbb6e4b6bfb06ff90c743322e539d431375
8
Constr 1 []