# isabelle_session_info

session_name: Randomised_Social_Choice
output_heap: abbd2ed3ef0f9a7915461366c5b219482dc844cc
sources:
0531d5ea434d09350b8ea7feefbcd056f9ef4921
0d25b96b23d79c006298f86af0bec18850c607dc
1049556582c7437fbf387cee46a21adb765b108e
13cf985401198f6ef3a74a221246b665c070006f
162a03f9ba77a8b985c0c58729bedfc2c7715939
1ca818e948a83d5e5b725ebf2e24dd6eb9a183b0
24a4c0d756a19f4894fa71d4cf777215d91b1ff2
35010a574853beba4bcbb3d15edeb19614d92531
3c1000844c748794d317e5cd2ffe8facdb7e0043
3c3782bb773cdc9f2b00abd83b94e76d26611e1e
57c46c16afc8c40e3d70b8d067a5674003ad8e5e
848fd0b06231d030f6440b82602ab8e35dca8963
8a923f90c366f6daa3fdb8320f5c3ebdcf4ff2d2
98c6f3f02eb8f7c19f7711f9bff9451de0aab771
99a488d6f1eb729a2f730664a0f503ad769844c3
b1a114f04ed0b0140d24ff772c4ef156aa47db6c
b73f08526174224911667da0557076ed2546ff28
b81608d92092ea530c875abf683a6db9a48142a1
ca62020d95745fe0a2efaee8f4614045985c1e83
cf65c4400e0fe09a706dd64ad2d8ef931609925a
eb77dde38759c0ccc7c921830b9dbb3971eb1f03
f4a80814aef5f4826493920adb368f05323e001c

input_heaps:
f0df918d4045ad6c60b23213b65e87e41842eac3
2ab5e6cf7f6e687da873dcfeefe3198ae54a3c71
8ad8b00859fa175a80839fc506a09472d6fb1928
3e553857d112c4e9d1c0b7aaf3102c0d82bfc5f2
099d6146b83efbe7db34269cb1d2c2c87eecc7c4
50fa91ee8fe18fd2fde8409cbc55ad1420b6b860


