Datum
506a7fa127ccb5…0e6eac33f6
506a7fa127ccb5dca00f080832ee907a4ac7ee7f3cbdbfe45ee66a0e6eac33f6
Datum
Constr 0
0
#671238dc96c46705afdadb3ef7234254374ba772fe5f3a14cab634da
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}
#""
→ 14800000
1
Constr 0
0
Constr 0
0
Constr 0
0
#671238dc96c46705afdadb3ef7234254374ba772fe5f3a14cab634da
1
Constr 0
0
Constr 0
0
Constr 0
0
#c779bd107cbd7c2ea9905b294b1a20a269a88ab0ee56ad5bcd324462
1
Map {1}
#929b1637798a815baf189ca5039ce4de9523e6b1e788b7ffe36e8644
→ Constr 0
0
0
1
Map {1}
#4a61626172695369676d61"JabariSigma"
→ 1