# isabelle_session_info

session_name: Randomised_Social_Choice
sources: fd893a5575ebcbc7125689f0610e529d488e162b
output_heap: 3e7e0a31528f756a95defe43cd9a102054451efd
input_heaps:
f4bc8d73b6c64716a5747e042c7c9f50e33b4d9a
a975b996cb0122f4bbc0d4d5892986a1c87209c0
a643a21d33ebcea1725873278009917e0a504d89
9c593512be5eb7eb50d597df962fe85f51f09c8a


