# isabelle_session_info

session_name: Randomised_Social_Choice
output_heap: f568f77b9a0c58739691a02cbd8f1c293f68a4c4
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:
238e7eeb3573fe8b8e9bb4deac28a0f3388ff51b
5945815fc19e2396c5725d8d6cd70bbf961a3d4c
e9c1612e4bcc9a8b73f0a6e41bd7530da84b0eef
8604b41f1e451262fcd1286c482b758b73d1c934
2171a9640c882a444ab08dd88e02b67368cfa3d2
f0417a96d1122ebb466f01b001cb623414b7dec1


