Datum
6a8b05238cf5e8…f07c52cd4d
6a8b05238cf5e84435558a6c923bb24b0d571b8a34d27d2f341ccff07c52cd4d
Datum
Constr 0
0
#4026ad84915429299bf28a8dd1a8f5b4df65d5a8a49c4e729d0f2250
1
List [2]
0
Constr 0
0
Constr 0
0
Constr 0
0
#70e60f3b5ea7153e0acc7a803e4401d44b8ed1bae1c7baaad1a62a72
1
Constr 0
0
Constr 0
0
Constr 0
0
#1e78aae7c90cc36d624f7b3bb6d86b52696dc84e490f343eba89005f
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 20000000
1
Constr 0
0
Constr 0
0
Constr 0
0
#4026ad84915429299bf28a8dd1a8f5b4df65d5a8a49c4e729d0f2250
1
Constr 0
0
Constr 0
0
Constr 0
0
#c8ec7543adbae3b6ff3a69acf00f7e59d5e7a8d2f2625277a8fb9561
1
Map {1}
#929b1637798a815baf189ca5039ce4de9523e6b1e788b7ffe36e8644
→ Constr 0
0
0
1
Map {1}
#526974636869655369676d61"RitchieSigma"
→ 1