# isabelle_session_info

session_name: Randomised_Social_Choice
sources: 2a2ffa9fb4c3d5eefbd46f9376c11e6ce2f873e5
output_heap: 9e9e14d5170bd923bea49f96b394a5761a710415
input_heaps:
79d8e835726df87c7b301a8f091eddccadfabbca
5aed350afdc15f56ad5b986907a91213f8d8b65d
50d7567ba5f079e933f9c40588fc7548716f71d9
ac948ec914afd4b63e6792a895edef77d004e06b


