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 FF= \ S]Randomised_Social_Choice:threads=2elapsed=24.632cpu=44.256gc=2.056factor=1.807zXZִF! ]ŗXf1-/6vRZڕ/0*]=DU2+8Q}89' p#+-<_摐JZ +XaJH<]{Vuj@*D\_nԨKpNK b^yյN,jZjPUdx]J4F4{8L͟H=.yE0ͥdVA XRmk1'x PX싃_M0ݙȽZZ fmyLc~;1*#|(vG=I/1곏ԯ]iy?s д՚۴M$3v+HM{T?d]T =]F"Zl̅] LL[/p!Fh5l8hƣ`K,!1h. ѫe>aQh8߷\hIWK/G6@!*t`Q˾QnT:@V*{f h 3kٛA"@=d^g ˺gib/'|QiTV}~?jQ`[^QEyi[-*4gAv%T<7]v_lSʬ ;qrLZtBĸcֆv"RjevRr76GVqQ!i Hl3[u0.| th |녱|vàk,UdcL?B ƌcaxp}qE<8TRR-)Hec!, ߍ$sذymОgToXp(ggUC' ,pmrvk4I4CXhKvdYKϩp~yULˮms}RQuβM*pfgi*u7@:#d$35p@TQ;[wy8yObe6TҬ_p홣0uliŠwʨawU#z.}Ae78$UmWסd)2 `I((^00˓\5-I&;EryPJ?BT7\/y~b'Eg+|[ȿ1Pl~ẟ3 ؀Z7S?ti{*ЈٵF@D%@lUxvHfŷ =ofcNKfsmgP? nK~!vXF l {kd;dˁ*Jgv҈<@^$Epf, Yx%zoj)~ݿ-c|5C \v]gϱ*RǙ;>%$ñ%zWt[$W\oD_ܦm`<$*yEDXg9@9u.ޟ H @\b~5zp 9~K-R|>+>J5Q̕9`(0g ԰"6X;;16D6‰Z{CZ E9R:P2?0 d WB;{UڐUM eaLϵȊ1}'l>Kvu!㲑:TZ?oF)-1Y[_}]"Jh r"f/څ>*%f!I.P%.TJĪE^7@u ׾n 9sf ^'4#p 90K+c|Ֆ *'x|pN;t [Cɹ[p/˔9qV1EK:(kDϴțx9eerpI2 vwmHNxOƢ"HMT3-}/=V[/o6Fl ,T#Mf$,xVyUwsE:.p \`Ps4m;t.jq~~HSI3m8rd9y0,D%KǸIgʯLBVulEp{1Mr']kC{BՃ^-꺣ҏHn˱R7h9uDd0ʯNLR>+H[yv'bzǞ[.3o%R+MUL2vaQ0X}V DZCo40cN0=RlWl* xrGn`ltIV^ fO,/(U 3,Dl` $6K2 +ɪ@^B)-MMNTIn:!ktBFUS~W7̃|.V`µprrFŠ4Yl֎ʔH.04L"r(sֵv ZyR,(x (gb>R>VM @âqfg"WLӺ8kKRqN*Dz4ϮTQ[O5 \ʿDMFTyWKbahGCh/_G㔖V'b"MN]rjϟjːgf :لzj5Z6藳W-Q>6=A9xSr@uRTpZ/ $*OO҉d!Z#.YҤ"{׃a98NUơZ2yIMw O<;|(Ѧur~<"Stisug$Nb d$BEEʴ,E~8 fȅ)2r XToJAP|ם>HrvB[}_ü:LRh-B.EEX*K0#:DR ZD+%#`1II"2S좾"4,Ũ)k;[K_-X5_P@݃uvm_nSU,D:@4'ب9 ztMړs/GpTw :)yՈ\]0c&Bرf*gYZ7zXZִF! ]ŗXi%Hf1!r:Mu3" +,ACe"䶉0RM 3 逹{c lFK:2[iS\UpHS膐EUTMǕfm!&ϡu~cq&EKƉ-ۓs p3[!Dg遣 ӎ^XG\WrkhE1KA!#X⡒i?&EFheEj"#srj҂  \n-Е77+#mn|t-|1l88l -EXf.-#|2/*4{̯({M="HRY&vB o3Yd6@xU!Bg֕/` QXPm& wJ]/$b;ژ/v &β;/qk QnT.cV =8;D)~菉wւ%]BG@>3P"ĆҘmndc4 |\ر[7ߑT``bmV\v*噆Z ^]:-T<^r6/nhV\ a>#K7`qQ UJГ1Wb{k Y.CeeGڕ'ln"W_T7ˆ$z缅ܞR}fr% !Ш;X![]BG c@v{W ݟQ'AbAo 7[Z$1Z|Y<^04X66l'㛂z )x&79v`Ϗ˘,i:{WJvj/"b51 /V &)tT"tH'0Tda Aú󸣌 ܩAg"a "^khkfK~`xJTg[H8@© /E}Ij{uA>kw&EAv>N^sM"1&O?y n@a |DΪ9;_TbCd @-Lh]Q}]!_'ZӲI6u%VóT\ "JP4 '\$qn*䖴SB %^ MczAew"r141æHD]-+KjM?9 Hߡ[ qcFp!X^;TNÛ̖"AcGsĨ#p2A 14ǓI!VFw%vҦ)@3RN?DZ abIqX)~Ӱ!S 2&o;Z uIP5ě4iAcBŲP2b!8.؛hB92hHphR@d~{dUqn/T{=|6,y~u=!̒7/e}o:-rn'yZ%fJʈC ԒO^ A#gYZ0531d5ea434d09350b8ea7feefbcd056f9ef4921 162a03f9ba77a8b985c0c58729bedfc2c7715939 1ca818e948a83d5e5b725ebf2e24dd6eb9a183b0 24a4c0d756a19f4894fa71d4cf777215d91b1ff2 2ab8cfa02b0c96b40d4234da8de3f0f7ae159ebd 35010a574853beba4bcbb3d15edeb19614d92531 3c1000844c748794d317e5cd2ffe8facdb7e0043 57c46c16afc8c40e3d70b8d067a5674003ad8e5e 8372d4e449f903f6df0f6a057c44e3ecfae01ee6 848fd0b06231d030f6440b82602ab8e35dca8963 8a923f90c366f6daa3fdb8320f5c3ebdcf4ff2d2 b1ef7a3ec85404c96c4b02989c93710eb0f9d363 b3fe7936d51c2259485fbd38555285c046961e5d b73f08526174224911667da0557076ed2546ff28 bc82bcef145a04443890172632e469806918ed44 c094cc3918e06bf2244436d0da230a18cd39d1db ca62020d95745fe0a2efaee8f4614045985c1e83 ccc03f79494907bf148894d3eb8b1917f71a6175 cf65c4400e0fe09a706dd64ad2d8ef931609925a eb77dde38759c0ccc7c921830b9dbb3971eb1f03 f4a80814aef5f4826493920adb368f05323e001c f637f1420c1341996d35999b3a4cf255b5e7a2a48c20d9719dd3c794171052bf139f7df3bda5efd9 787d9064b94856bcceaf7fba7c00dfdb93321f07 42e138dd2055b0a1db4a1f3a058a8966ebf86487 09b65d430a7a9891a3f68f37dc3b73e82cde44f7f6e4506f6cce2c552ed4bd6f1a9e86ad1780bd57