Datum
2210b7eecbb637…d6f88babcc
2210b7eecbb637778c8df885eb7e85b12c20f33b3f1fa9f15f5f45d6f88babcc
Datum
Constr 0
0
#234ff0e8c0451c6e55b9da9627c3a65e2ca664abfc64a93808fe760d
1
List [3]
0
Constr 0
0
Constr 0
0
Constr 1
0
#84cc25ea4c29951d40b443b95bbc5676bc425470f96376d1984af9ab
1
Constr 0
0
Constr 0
0
Constr 1
0
#2c967f4bd28944b06462e13c5e3f5d5fa6e03f8567569438cd833e6d
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 1000000
1
Constr 0
0
Constr 0
0
Constr 0
0
#80ab694d765799d7cb4199dd08f6a8b9be8bc3ecc3cfeeab2f2a8309
1
Constr 0
0
Constr 0
0
Constr 0
0
#2692ba8f78be55e4aba03b60ceb7d7dce2e8d457891bbdd209f2c463
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 4000000
2
Constr 0
0
Constr 0
0
Constr 0
0
#234ff0e8c0451c6e55b9da9627c3a65e2ca664abfc64a93808fe760d
1
Constr 0
0
Constr 0
0
Constr 0
0
#2d4c5695893a9e7100755a4f6a38135bbc8252812aeb1cf00f1f0173
1
Map {1}
#e32ed3ca446eeee9d94932a8072f8ab4b995c45da161a3f8e44adf1e
→ Constr 0
0
0
1
Map {1}
#476f6f667973333930"Goofys390"
→ 1