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 HH- L  IOA:threads=6elapsed=7.337cpu=30.220gc=0.924factor=4.127zXZִF! _]ŗXf1-qN50^Xݾ Vq(ˏ+) ;ZKM[jjJo$HQZ@<1SYd2N]|,-VF&Ad*}}n|՟Y~;E?_2w Sl2G:C5 !ǀTDه|:[|cgWܺ)CiSqϫ/l!ZAlZ9fij[B.WZe _-FcԕO=, Ƙ4A܂bC Qid-c=(AM=ϫMa|^*j뾚*222XwD`\ U7:?蚍 v eB~SB',h"z VE:p<(OsU%x9|܌JUrN[(a}@/WN,,$>9w7`/%2ZqfTp3n:srv3,k&nwH"S$e>kdXJÐH9d{~:58flr>YWO ȝy|D?X1 }zBb5FONCt}I5nƒl Gv Oɷ+I ;`Q:tjy;0;A#Q4n8&x1Lb0IOao?1纨"S]*dRIe] SZjŜ/4 Ԓv~/|#g^UIs?K,}6Q,@u'Aŋ7y¢C,Lƫhz f$!ͣZ<6 XW Xha2?e GռAZ|ZO/ XGc4K=Wr<>]DgBȈ-<~2];sۼ棪үxnd $kر.RI(znڷ:7l_t悇:M NɊ-1dxrN雄f>\'[^sgn}HSfTYzxMhu+8n:B@nԖG&;-tO;Q%>l;Keq \71/,/K5s)2Kn^(6fA;ڍ{ʤj6IϮnx\BBAs%Ag^ƏvNZ}t,5dhMOyԏR̛5uǛN[mI"WO'#ɢyby0嶂\D{_qϬ;fn~yEJ?jۑb04 M - %ôa TK0@ mCEDܮK| M?/[%8M!R }@ȻӇM z:j|t3l4->lp#x#CkoԤMcçKm:Atő0qkux @s/b>YF0D0dD,`ڗϛ?:cff!  IOAW:2hRC6gG瓰.$&%CZߦ\q_ .P p{>I7v)!-̋e;5PYUR ̈́n}ƈ9 ڳ/B⅑Z2g;?Wm<`5L)m[3uF8YH~&e8ܤf2Sf7ŐObʳNaN̄yk1=E p6s-C]ڌ bdisͰ{Fy "#GoAIx3*WE&@_d]t{gM'TTyac,Nd%dkIa:W!]8RW <a *=TCuX{F1)\1d n)2J=CܭVY"9/ SzUQs8Tr>_]D zc`TGʉ@u8^9_d|SM~5` S]`ul\#|S 3"zI%n02Dr#Ws2ے;1b{%Io52C-o~q #B[*/d'WHݣ:DFVkXl_z\=cjsvMt'mȄ*G 7,y/B8W5p$6Jc|@e4]C l[z.Oo6p(ONalʀ+7Aɣz]X^F ëOe&J[|Ƕ 28! $W2-uj<]7|44T'pX 2GFgX{Xz$.&N%M'N`/DžƽXMY%-"BE8'cBjl:m5FJK$A=ԉ)sr+qŜ2Yߝ6R%ʗW +K٬f칔aD fsmG;nOk*1)EfT:g$t.Tm/k딢[^E.hKp_`N^-i_A;mlrl`JU'YwaDǠ,]/^5q6@M< P0$- 1,b@F%^OG]Iׄ ͈9]qi;zϏN7ZX6NR ׊PO@c1H'O9 5=c,W4[P(8/DyBf%psRx<*& z(8|76F ҃J^Sg:,4;Ji]KH1WB]`#9eYֹ!Pn4o].AC]+10?mӘ#՜"#h1ȧHRb\vdQ&,.>7ϗh/Ϭ͌&b>BN{,f"K)5ծ=i}i/-\ (q[.F/GDʰXAZ%ǟe!T"6}؏> 8U7%Q{02$)t6ujCt1I*QxwYk *gW0x?!8y5K@_|Vtz$Lؽ~H¼bu֎\ۄm)x q7v4 н]1S|ڝ00,}B3HΊ"w ?j5hHƆ"p2Yhz.pQ[5ȟY-`?'}i¬ƥvihıgYZ7zXZִF! %{]ŗXi%hh$ ~9[k)~4{]3KdΧH gz^J^ n1$sRs 9Trv/JB,PTUשW_˯B/24&3 p=(pmdRpX+b d#)-nq'.v#VtE6&r4SaT2pfא#Ͼ94fS!Jзu|w".GR cu1Hud3 cG"p69~7ɉOa[ ?.`Q۱ėr)MQޓj#]`60H<$o A߁7 d%'4rpJUKvsr֨)8GO#4V5lHpGtoicz-6{" hJ3<ך]C4kp;_L'62UYЂ`= mW%WT~ޮJ<1Mȟ|/DA䔒6DH״J$;1NAP2Eq)`Hc