# isabelle_session_info

session_name: Randomised_Social_Choice
sources: c27d9841b44677e3847640ae369ca40a73c31502
output_heap: 89cb96dea31bc55e1c2083c8fbd6ac70ab1dd4e5
input_heaps:
0dc0541b39a07c11e5774461d9bd9c4bf977ffc8
70801ef29d848aa8eb383514e684c8076c0da75a
bdcf3dfcb2269f6f70b340c38a29b59b8f66cb61
d23d34965eb6b48bf91ad1e9dabaef03bf40c2bf


