SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" 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 mm= L< ]S]Randomised_Social_Choice:threads=2elapsed=20.166cpu=38.168gc=2.112factor=1.897zXZִF! ]ŗXf1-/6vRZڕ/0*]=D)𖒂_M]݀_RNĻqK .@7J ]UjAx3~! p8CJȹ䓀 ! kz'{Bwl~(O蘻38F uD3ƭ3wH"[RVDka`VU%a΅I؇!F`Wt cS#aI$rB.^6?"5>o_WMYWcAh<[g v㶬'b}_xm \ǧ/>hwV(]6ہaw?W=b60_"x9(lbIvbHiPeT*Kĭ\m5WAVQȩĴ-6u2(U->T/oRuM[pP_O~z{rhKR35_g"W5H_ɌRA Zjk<(c[1oSsm[ޚkg8n7|]~M? xŃ&=1}(rtw ϥC-yFgYZ7zXZִF! ]ŗXiɟa'}@`K]H8'jU>fJf:q8|4x2О۸Ə {"q7{ C?vwj #CnߛuaP e=U`Jj*,'BJZs,ĮLZr< ^5^%*w_y5v TXn{L,k;F)QkM"NZSĒ/כ2_(x0ZS?JϙDy!̓ Iye\GpY@] .%;.4K˚Uϯ z5InQd+q1F|<`ϓmь4!KC..CO eЎ:+:tϕLz*1dD=q y]gYZ7zXZִF! q]ŗXi%92v2dd!'{9PӮVqOIøX{NZar[E鑄ECW<5QG>kmH~i(9w.9Š `e"GhX;vGe4WƄV}qJѦZhlgW\)_Ad{BDg-hYHЍ3=1d1<=eUʡ[x~\rl[O5<0`-99оHcv+~"WL "ye!HAW e;J"ILJOoR: YV87i}LgYwC@l< %uƨ  RaON=@ kZt1^ξF{SȈ>^n`JOHm؋`<;_zIDa ٞ QQ;m?mN\NcvTldlZo #a0Fb` v,>bRC)ݮH@j6yBYB0ؗFtQӮ lݣhdׯhDwwOuT5,JD:=S^oǢcw/PVv{ ˌ}v+ לpNi~i@80ڕ$M `J=ݰM!x9Y;^B2,Ad j TAs}iϘXܘ[gA]HIf"5 atNb,:z7)0E W'G㏷~o.2U\D..@ag &Ȳт-:UuFK˞"J_W=i畆 :/ ISÉPNзGEi@)tMD_݅-po~yx ڳp{,cɦ~_Z8Sd?ԪgBc݀n Ol%l;(˜_SѪPZa4AaLw DU;5ŗEkF\.V٫׮6Ջ"Yމ/H a սaQV6+EwJdo'%[dj%X0 0y,7pE؈fWF^1-JK >x]rδ^S -G3Usv2قE"iLS994 hۍx{8] Gډλ2.}d:>t&tّ(}oL!0Ww _?"yM{ƥ.ҚZM@@XM8Z~̍JE}] IAGBiQ[jE@}砿﮲Hޛ,xC ِm }׾b؆ffV `gYZc27d9841b44677e3847640ae369ca40a73c315020dc0541b39a07c11e5774461d9bd9c4bf977ffc8 70801ef29d848aa8eb383514e684c8076c0da75a bdcf3dfcb2269f6f70b340c38a29b59b8f66cb61 d23d34965eb6b48bf91ad1e9dabaef03bf40c2bf89cb96dea31bc55e1c2083c8fbd6ac70ab1dd4e5 = Randomised_Social_Choice