SQLite format 3@  - llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info C= 4| S]Randomised_Social_Choice:threads=2elapsed=22.615cpu=44.580gc=2.144factor=1.977zXZִF! W]ŗXf1-/6vRZڕ/0*]=DU2+8Q}89' p,Y:+yDuz5w,]!}Ua.Ӳ-Fe 9McBμ'c;xv(PDW'5%֬3v`9 ήʫ1xD֗#xK7ДY< ڽ8m|3)QsL(bcnh[iv7‡J w{÷ښIRx&r<ePd4oFk/[gnD+hij[rP"6e4ه1ؽR9KdIU\:Aͅf[UQ cM. w&7*<{fuG* !z_Z)z:OJWP%s1yhnIb~zV*jIaޡiP/N6q^V(N֩?uT(~CZخ9N_Oq(Iz)uR{U%JK*@}(Y9q2jDLCUQD6]u6gɌLY,Rc&QfQ҇ށNЊOFZu3Uޥ0: 0cNB#(R6RDjCyK = Randomised_Social_Choice1D3eϸ"&)dŊ"Ur֎G)r^zO. 5J2K2\[3.'m2o+,+ z)]C>,^>}h*a۷]_6sloEv@K @%WɄ>.-ƣzhE kr_+=؉BUroP$hΉgTN)LX[8JHa `PݠȷT+ ȃ:[PlJ;fHRƦ71 oES# .\Nz?DJlg#ɕDlVY<C(3cG LG)%yyB_9'bBhz"2ٺ@ghέ2 FX4y;VsN2?A,rNĎVġѕ(5<l<88#q{O sO'"\L7ǂzm8 A%AwêQż1}ş4崽ŠH7 U!bׇJ0 ޏR.Z/9S䇓V@ǜF|d3J81ǻ j&7ݫ[l2]yUƄs]`L=n.ߞwW!I6ϽcX;ݧ7Aq  1fϜěr =%zn"v>N!l&]Lek n(gH&ԜS1k=T} )/~HNnjFNl$##䙝(L"vbK!Eކ%Wn< č:# EA(-P9XDjN@+pwRO!_EԤ&5>S] )lq,~!,yya{UwrƓd`5~ *:De6nނ9|-?^aV0<}#=u?O (m-YMr >1r%KHfU5yObZ\¼n&""֯zjꀈ, M#7[?̙3KW7>S5>LE03v `]{,#9\Yb\ԩfwϠ, #)5+ % 5d/N}')AaAECjC/Y|_t:cM`c=ދCi2!д$s&ZV_LuMYۼs"ȚIJtQ NٛH"zr  @i*d^}G2(Fg1&@r1ǨF?9u"A[S^` X۾Rk{AӭmAsWW8gsQ߯ @+k$թ'', 2摳az+_->Ce70wo5odZu :K\ԧ"u>0 S'yGj}u>p}Do'b7' (>hn!\Z+[-j' [z%fA&f+V& ̽_/6aqG҈,’81M34XZOZ!3(p&{nV,exzmKJDG=P ]{J? O*fkRz9ΏS\;Rr@г۴W`FOPVͤ ߘ%qϐXU&g/0rڊ /YPhFBQʊZ Q4Pq뺅NKº8?FB{W~aLvh$ Kq& 'AN@n"eXDXR%&ԇ)?:L^ѧȀ )oPtGU&*qyFhM3Fޅ7H*|-M|hm&߶$-cMkD]0I@W %>%Dh \|}7Ĕ[|L$t38RfO2|y%bq|"}<:#чU3ET5yr+g^g.)bqf8iǠE)|"M_JӣK2l?uא$|/cG,O񙌅87dj5lq{`v.[,S2r+A=$u}t'/3Vcؠ?EWge]աAX܋#_8oD}"}t߁/\ɔ.|,>> yT/LNa*6ت>_A4BLIkpf<_kEjVT:g'r&޺ID 5 pL|U%6㔒3W0܃]fݳV]b*"/|<ڥ0i!e^5Ro!%@KDX%'~p0].B'W)' bIf9ΒԄK(\ݳqW|--j^d;o~BjkJȢ # >0XrZw;L݂mjpyQ`y~G0kW{cO72i(8%hοsS`1z4" ݀s߻LLY2YWj|%HM?Qs)GwJ:ND7;jpGJ>}`5*kGC#uъ $&s?$6~G5F0b4}%Gם"p ]j^e3Y>]nFk ԰az I0#6pa$4N<)}r`4",D BWSS_r@x|z$]T7|8Gh4^/׵2p;6 (Ɍ ޢѺ`iݮa0=Bb4@PۉG yޥITcTGiH=EUs$Zh\WƊYHJ}N&aNЅyR]bJ.%eV{oUw)X#Ѝ$ $P);B:er߂T0: qo;QTX*G^m-&#%֭ݎS0, \2zFط5w(|{a eܬ2 ;ǢT "M5,`B]X) ͛'thWMBuf֤g3M~&~Or[ LbZ$)q_u]dm3]|.Jp-$1fPb Cc_7 ڱv>)WS8\03qaScvn)"k ZRD[b ;pW*Y:[Z+F3w H]zV;I!9-@s"h|2j01=q:C{^ȔV,ufF˲zE ͪ1tm kKDgYZ0531d5ea434d09350b8ea7feefbcd056f9ef4921 162a03f9ba77a8b985c0c58729bedfc2c7715939 1ca818e948a83d5e5b725ebf2e24dd6eb9a183b0 24a4c0d756a19f4894fa71d4cf777215d91b1ff2 2ab8cfa02b0c96b40d4234da8de3f0f7ae159ebd 35010a574853beba4bcbb3d15edeb19614d92531 3c1000844c748794d317e5cd2ffe8facdb7e0043 57c46c16afc8c40e3d70b8d067a5674003ad8e5e 8372d4e449f903f6df0f6a057c44e3ecfae01ee6 848fd0b06231d030f6440b82602ab8e35dca8963 8a923f90c366f6daa3fdb8320f5c3ebdcf4ff2d2 b1ef7a3ec85404c96c4b02989c93710eb0f9d363 b3fe7936d51c2259485fbd38555285c046961e5d b73f08526174224911667da0557076ed2546ff28 bc82bcef145a04443890172632e469806918ed44 c094cc3918e06bf2244436d0da230a18cd39d1db ca62020d95745fe0a2efaee8f4614045985c1e83 ccc03f79494907bf148894d3eb8b1917f71a6175 cf65c4400e0fe09a706dd64ad2d8ef931609925a eb77dde38759c0ccc7c921830b9dbb3971eb1f03 f4a80814aef5f4826493920adb368f05323e001c f637f1420c1341996d35999b3a4cf255b5e7a2a47df075489bbe200b6262e37edcd5270d19378d2e 9bfbf87d82e3125a825023e51521c6c0733cbb56 e689e4dd8e5b66d1ce0438e4d78b37235fa465f7 9b5777b2744f5e0463dbe1d488b2019c496bbd5cd4985c460e7676ea1806379e9da7b27e521237c0