SQLite format 3@ . YYQ77Atableisabelle_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, "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 f/ t$ ]I SDS_Impossibility:threads=2elapsed=56.320cpu=78.928gc=2.244factor=1.407zXZִF! s]ŗXf1-/6vR[\NW,)IFCOt&; 2[Y Q'KBe2B,^!8 0yNό*@;3iVo)kٛÌ'B3w66ѣ#p#_=q*&D()aiDV\$>p!ȆuH#բHI.Wryݶ$zdm u-uZ&"a ο2"ӵMuƫ_QHl 2iL\qMGz}gfPrIm?i=f;lc*%98iwr޽ / SDS_ImpossibilityHn?gH7mc|m{T rnSF'$9KDr\xZb=CHl_B I==O2r<ތ6=5(´sտ ,6Tb``/>PTa! Q\a@%#úKO^G1bSMEaM@xg6˛/ u=,5I`nbW+ #f(ܹz9<ԑ*VE -L+H9'*2Fs&XuJ2X-6}S.FԄXEJOMm| (!iR?mEBӧ=o`W le!aEڭ.mm^Tח`P5x/v':J, coZAUqw}/6aaa"2KR-&߮~8%r3:L=KB&p9v!{SGB$SS5Jm }SDKGJA9F=*h>ZBHy¡(b|ϝ0f74kY w}:M<}5E.9>܄ ҲPS"}HLm0$# %gf{"'պT't] vwCڵEpLІ 2N(ky '㘪YcR=wEã&~Y5cSV܂z:(FzOgm̢kQ.kϫ'hTRG [܂:uhwlA%\ ˔ɥaK= :BBDJu:1\alGe;HxH mž<5|[FSsz]n{TK` R+y:Y@ל/|u=={O16GUU9mŚigwsp$Յz"(2 jZ61N>_7|(G;7}\#i+Q[tE V9 u^ߙ .ghl‡OX O h7j _t^Նk'D~iY/Ww`Og1Vr5!?ceFh!0(~A;!h z&O _X} Ƴ-H.~m5;-\=0a@?/l6βq(8 lM G[pp l5-RIFAWS9r~{aX' x/M9&4#Vq:yMs[oB]<8 w[_ܢ*X`yWʣK+b}p$u_@].g^-J/pK)1` >3uk[gDǔn ]y:G)Fg6en%VȒ !*& F2V;Y؎ܢ Cҙ*ygݯ_,bND(߆HaA-Fmˋj REÊ.U̸ā^MȢ:86`|3Mz+nqcnWyzccn}Ǧ&*J82bIbӋ 5Di,leMR[*Q%n4 Z`hȧ :y`~3]WaȵRm7衹aZg"zn[|v~?i_eMM'pbBj ד:Wn՟d%Ef`Y˘Y 0`51q|lJMf(8 Cr>󠖨X5v/Fn;c(/w!L̔@;x[U0}\zh#%6z hyxBPe90^3f0>?\ ݅<\nN3!]ˆKwG;@GAWhjg0ƯuŴH3(E*NV!d3Qtj($)f#x)D Cx ta8mɘUgYZced1d4d60b25016b0cb49e72f231cb8bdcc1fe4072476e49faf5ae81b565cd9a808c77e6c79a7cd3 1847274f423d78a61f6a5c9cd14f9851aa9995d5 8e5e5d5cfa70858ff1895eb50ef8214eb9d9ec28 799e17e0602b8a57e51c22711081aa85bbe0ad29 6eee2f28316fd804254d47455168bb21d3c5ea3d f031ec2c3cc22c999712a7d3098959957923e758 5bff065987f412fa29c2ccc60902326b59ec0b3d