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 3= ,d S]Randomised_Social_Choice:threads=2elapsed=23.017cpu=42.916gc=1.888factor=1.86 = Randomised_Social_Choice7zXZִF! :]ŗXf1-/6vRZڕ/0*]=DU2+8Q}89' pqW!I",M!ҴNdkƺ0 wGc)95O鵹#߼DNb  s^^Y5pX-n9ըwZGnkvH+C>z#ysY\Ih1%#20l?TW8Z!sR{QE7(f+CLO;@?M{>)..pԿEi C" |"ۿUVORe?,#DF3HoHcˌ- ẍ!Ђ>uaEcیޚ ź}L'dn-:]zHr"RXs/ۺe ~>bn?8*<? 3uSQ+{i2dRNĊZx$H*x4'+kY}2I:wexc&Jr4f4[>Ʋo8*;:_ Vge p,m[m/SlW\6<` zknJjp̞YXf\r͟Tc`rWxaw #'G4p-F.+D\4j쐟fESR($#}~䷨@-\ SWNDg[\hKgCd=Gzߵ\ro|ɣ>|_q KʯJrI| 3eY]C3嬤΅.Ą~-U'Xi6Nʇ7z Ӭ:K*Z~R[C%( ;>s5AKR7*6JlRbJ:糓$# 8z;fqCr$8f,b]qZ.T:Na7j+ȵ؃3h9~V\,PҮƞ*rCV0!n_i l{QY#[K-50Ԇ|'|] { ~𰙥.Q(qOGfIh㏢qGyGiFFW =v]~QcqS *q=_ 3i=ig҇!;(;-_,h9_pi-OA."'*Z{!1RmIeI0C$u"  طM 4ݤ6oQds4ϬH&"WsK%cwE`5Ul gzQ2"_G%gA~ҴU@ēLc}GFE?ߊ U~f0[ #dJ yicԔ%ކAx.e:GբC4(uQs\ҖzH"_&`}$zp˘xbMkAyQ3,B&䦨Q 8S!Uj`(_Y V=3",9|AP,?0 |x"N`X`ت\a6RVzie] '\Kz>ѩTp k.J*#L}?iҬThw[;ol7m cpH;{9$PYxF6G}k_I~8_*,.b:8-8߬IDs^GSz|%T9]b]Y=߮uckWxcf@ztNBLb>Lp($1hTwW"o!k2lnMHDԎhY|T`कBRR, ~ ?V]qc߾<RhZ| [+ v]G0)O Z>.pqpуyW[ݥC&޴)QQBD6*U.~4Z?XA =)G9n̤l=AKfs,bo9917\ ?F[ٔN䐁܁` ɛ 5kmUmH9 5cޖ>}&uJ۶|Qm%uc-qPJ*s"Lj)ƾu!xT+[>64NG5+cuċfk_2~~GEa. Ip8Wg2nuH=Î/ryr+,{ ^+h*)aGWz!9id Ϥ⪬Hu9:2ң눰\ ua) jU&k('$q?rWݩ̥LHs*yaFd{=/qDmAvˀj]^PW|]z"5YniK_mQ b] $^g{kw1Xp?q|i} Y9QAP;Upũޫ|o8+}TÎL[iES>1NKdRJ46m3xi&rj1yөQpnЁCkrI%Xb|- ?b 3>E!q .B*Rl`\€+Bmzd@ж`蔆c=n^{`k_ Ql?|>'mքenT[ʹ?o'[HوWa Dk[wZ3eѱة.11qo9iE;g>A)J.ko(.ZܑLޘ/4zURzmJ{T 1|Wƪh4B&KcCQڅt-Bo2XJgKx9Ė]C\ Oy2@\o C#T%Cap|{pYW{SIE5{荭E"xӌEd-nWhjjEH9ㄭEN+&nXrňgs#tyFbyCR3F1>B-LBOb.g1ƩSYCoV;FZ#.]m{:ܰP?)̔]G8;_ VzmQBl7I`hBǒ|ʗ>yQɧKcɫsBf_& *YDŽz1@P۽  6D@ Bډ^'a>f]T'nk{Po?0Fķ s?ßY*W`c!crD m1ݝa70`M^zh9k4U: QxL~5$8Kwz!?4ݦUݕU/ES^X׻^0_". .Thpkwﯝ=eJG{]{ 4L k\IRL尃sfLX.!QJs&w=z]8ϸ0,2G~$TOVe1H<F}یziVxoha݀W^>P8(VcEgmVJ,.ņ~Pn ȚM#5=oS@9nL r(7&͑}2Y\7] 3 #CݖLPEzD~zG*aU\|UQ6Xhqc޴6άx .gYZ7zXZִF! zI]ŗXi%gƹ`Kْ\>+lq*%0B0STZ on(ďթǺ[?"YM`Zx2F6h?; U {YBYI8R5\mY)&7- EM >X@:F*ʂi@STI@7{Qp* cf[jΌx>7ퟫ)Y֩3Z*Ϧ1UACkx5x$3ѨcY-=g0Gk:oKyO髃mٜ3֒$UL$)uW/+^+7EAq( %fSt? |UQHh Q IcZlj)GzM %qUWL:GՏ y]7 Z}ol:hb[yl(y̰J_U/~ww5{7DH,k*&_"އ oBl3$QR }rk8CvN`Ie-֬Ep!e2IکQ2a.yj?b/YV&&&(Dd ٣܌T(p-3#,E^Ϣ: K+* U=j~Mj2L>ÞeE"z03&j,Qw~m% @:?Hr\-W{W S*Z/knb;ٛ%/(5>lNtc*z^%F:*H^T{)%lua~} jbR.K ɯ9JQs׮7!%pyF4'M`QqiTQ{W *@6ZLjW~;S2nQ"T>ͮW?z[646u.#](޸%PqX: /Ag),{•\xW>?K&ܽCv)ݭ{0f4>3HyC尹Cهq0oCw Dje-ۡT}t΍Pwe#`sp>Qu_wc!r OI9v8j:;ʼno)Cx1/Œ`I+YR\Ck)@^ J=((URmYM9+K`\Tp ##G;l \cffR8D\DlspyCL m Xo9Ow}y{U=Ey8X>[Y8,5=q\I~3sdpvG^"et*vhgdfu]?;)P( A!w;Cb:B&k؃W, y~v2ٽ?PqA䍨5ka s$%?r 1n@ Wo*E{3_!8O6WuƂ(Nzȣ,x54f)1y< &