# isabelle_session_info

session_name: Randomised_Social_Choice
output_heap: e20cfb867b65836645f5f375326b56d8a89cd662
sources:
0531d5ea434d09350b8ea7feefbcd056f9ef4921
162a03f9ba77a8b985c0c58729bedfc2c7715939
1ca818e948a83d5e5b725ebf2e24dd6eb9a183b0
24a4c0d756a19f4894fa71d4cf777215d91b1ff2
2ab8cfa02b0c96b40d4234da8de3f0f7ae159ebd
35010a574853beba4bcbb3d15edeb19614d92531
3c1000844c748794d317e5cd2ffe8facdb7e0043
57c46c16afc8c40e3d70b8d067a5674003ad8e5e
8372d4e449f903f6df0f6a057c44e3ecfae01ee6
848fd0b06231d030f6440b82602ab8e35dca8963
8a923f90c366f6daa3fdb8320f5c3ebdcf4ff2d2
b1ef7a3ec85404c96c4b02989c93710eb0f9d363
b3fe7936d51c2259485fbd38555285c046961e5d
b73f08526174224911667da0557076ed2546ff28
bc82bcef145a04443890172632e469806918ed44
be34fdb429440bce88638254daf610449e7c5663
c094cc3918e06bf2244436d0da230a18cd39d1db
ca62020d95745fe0a2efaee8f4614045985c1e83
cf65c4400e0fe09a706dd64ad2d8ef931609925a
eb77dde38759c0ccc7c921830b9dbb3971eb1f03
f4a80814aef5f4826493920adb368f05323e001c
f637f1420c1341996d35999b3a4cf255b5e7a2a4

input_heaps:
554fc66833c1e501a5e5c7ff24471873df0a1f56
d155c2ed07829a15fa84f92865e4197c8a5f1ee1
831d14f67c3c3a84a98a77281c0c1e5b593b14fa
abeae0cfaca798724f3a1b862a46ef1f7262f8bd
cadfd60bbd70ea043ffb5760ff880b18f070e51f
eb909c4379772f32c76d9ee8c7fb52cd7a871ea9


