# isabelle_session_info

session_name: SenSocialChoice
input_heaps: 735820fbde580c794b275d3f360e30a6d8376dcb f7c5cec25e7da1e133019a5ddbca98ad9c7924aa
sources:
05a06f3ddef7b225269b834a7be4c0c2069565fb
10b1972a0c90bd8bbf55a586c53ec664a27022a0
2028f07189c74e1fedb96a09f47f629122e10add
3e8366e49c7f38f9c28d271592b022632e6a9555
451f33ba83231717536c8ad5edab9d27e21f34c4
6861795d2a3ffc5f9e0482235068f61634116440
6cf8469af468f73785f7d3a24c68536b67bbf316
dd8c37e0488041a63b0450f77c7860234ec4a413
fc8b365e685b24bdf1f0714a47f7443575e6b6b8


