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 LL%{P-Ō*j=fYZ @T3 PZ6Q7V`kjp3=?5u&q>2$c8_m+Ryyڵwog4ʖPD`dl+Y t^pD.^^qKb4[[G bâEr>]tִT@%!C(-#ՠ|ҹ'SGJlߊjH9}&!e3.SH!" & Dxs/ޠ|&j{ EebK =LmJXtpG^=ڻIa _%rւW_^6(LQ|% KwS%yg>B %G|wkR(;r1n<,A*P ` j"IÿT1ކ ~g /x*V69ӊwueoP|%eEA6o%":MWk֓d~%F&liܨ,OURZm=dj[QCgz)"pd0"QݢNl'<9hi>_B r!(!;ftT<ˑD9EUp'Sf'Jtx, ?(5CS4s=qLnJSN!j@3gˡ#!iiจo^m0\bw#vO?dB9|p`L "eKB8<2c-=||$] *99gs#/f!*ʩr>%!*wyxqNY6"ZҔv;O1ӬVߢ3H4eVnfY9Q7{[! ZgnR-$[ !sΦI7ne^qL[o3A?\PHN]GFJE%d<ܠ}x0zڟ6B橖g7XKL"} .V/S-5'S*GLxcu*9r5Z%Aԇ/9.2 uKGSǿ2\yH@zfa\3YNl%Nk̄%p5,fW)ZTf8iDHr3$rq:;>H#zD(}V65l$I  {~+Q^caNrZtBr7-K$G2ouz/M,0,㬙#ޛ:^YpI9ao%_^I~chp̬n*Rkf"w-PFXUdZ4i`Ax[*=`܌K,L[=/;7xl/XhU1w\kȪ'"7QaAdϥ? "q9D |f֋ ߱'top!F~HRUq`KsD>w=eDzh\̜ Ut_Lv[U hy-޻G֕"[Dɪ'|Up\[oUۚx&608Ŧ4mcr/.S|@N̦~Ցt~RD/\+XLCMr|*&F8) y,v 㘇Ñ?HB'+mߐ/MTji:y ׳@nPJ"4_]goB% e%7 #`jtl2r-]HUec/:Kn>/僱QX;E4D{Lhſ#U 6=z -nXuXZφ ʾW/jK̜yfz4+,,9.1 s]W›ަWׯXU.#uT] 8p15LdMW+VM&v")Zv@+`W Bܣ򐨊Tգe ][U ~vU9/20:'AlR:i6p~RŌBD=?2?tlGDXᶾR>%EB`p' VV$dr(`P{~c[3 2b_bE ~vD+E.C=="ض[#."Chq }g61A#"Um!~ok^R5KՆO WTc'i>w֮K釕I8]x{ۛ%bt4d,\iRVT.=Bpn?6V{yCk-@Rm7&kp`"/T/siB2)/i~k%|klȨ=ԗ?")Ӷ=VxRM 0ZI m +]I>|iߩJO ,xs ɥ;<+}QܢD*fa]L904d03 :[ cYd)(RȋdQX W,: N6D2޲6:E}6P㠉ƭ0|ڻs s=8M&HaI3U$#X\il}*֧K5>A f6ag41͚6' 7߿A8Eqǧd{W`q][; ecڴC{}8yeN|™9lޥ&PNvLG:X@ݞd,I84 (Hn32:ЎYBӮ +ը'TVMZ/gNbgCqvv*UzȌkDZ)dIuܕ9J4 <^:6k|m%;o)b L(u|Y%cV܉IہË&o2941y*f7G TsW!#KӈPJ_qD/CH$J~8"6mrF55_;`PU1|Nۘ|R d^Ϡ*S|ϧ*!Lp,kIS >$Z|ϴޠ1ST5}jG` Bd>Mdk-g3Y/ WUg~kCI&p&ɮ*J.f|d4Zu}[yC"#imokx"|m6<]CҒl]!jr9g_fCGB*=Ў7X{۟˴]5UveDA.gO 5ff'Ejb;1id%"1QN}<::By0!QFH#STԻKEu3hK "!jʭUn,>W0Ƌput:c5.`b g[Ϫ0Kz %Ĥr91jp7{gGnѢQrd!Q7Jsc88Vg)S~J#QlgYZ7zXZִF! 8]ŗXiɟ16_ U'U%Me;9 l{ Q0z7yKe0z9lc}(SqY26)%zkɊwHZSۦ L6b&Go3xLYL-FݡFii 6zf ["20 JI+JktKƋY&Ԥkq6KpȞVt#\ :=8cE0IC{ϓy_G"C.?e蓞ֵuU6__ęhMNE,@@Q,ޝL0ڎEF~Mx֣y%+x,p' ]n>\"}bNKj؉ׅ9O?VL0+>lY)(7gСeвu-5#!`v e!p[S'nfә4nhw g,=D5󤘴"b~oʇ1IgYZ7zXZִF! 57]ŗXi%;p^i@p,q@^viHe#jF:)z$xknaiQ Տ싼LhIub+|r 񵨻SWo6{8W !w ꚝB?L,Rdʡa]ɓH"6?hPoRNv_7A/*2 .)&% m3J}@PJ5;hͦC;BCwͨQNX==p w[o7N aGݮRHWu)`KNM H̱2E-ktd:[ڬEV&I@Ԣhezc(˻+bn{| ]OL.|}RB-Bq7Ja#BU.A Pl?ǻ[ .W(='dl+Fq䭎'^5BYHf{={'BV\ ЊCJn#+.7tYm\j1D"Ez=Se^TZLT"T^>: Uf2=k g|nuRH )$ru6=sP9{/PͣOI PK|.:ȍb3&:3ɱY~iRA1(!?1H1@/8z1ṛo#zjru1LZD#!*=Rc].:דDF8Dy*tuuKF˹zY)G#/I.>$}#ݪ3@U*<rnuxs5d&8DY@$ NW;]dU?ǃ^ (OIOc/+J‰W JE. {?4Gj2ת7qZD =K 2hp/ɯܿm7s9ݩs s"G PJfڒ٬~_AS H@Y% :HbLyj .nw#5+5~ Gk"A~p,ReC{-B6:B;v46s˯_cुjn+`/oMU |$e?5lr:Mנ𑐮F9;W!"۽e>Q f4$yv%lL 5%*ƥd,|X(IIU5=x_vTUh |!Y:ˡ$ǻ(h{Ι ZV ͗ >T~8r]&Tr!K>JkN8:.@FE (,neg~L6 })XF-Up;V*oU.Ћ?|f}*{2Jz|Qm=3*Ɩ_,goţ٧CmޫYAN836"K\ΙmRku,_-rϕ'NyKM1iP̆ڵk6T78/;-dQLCs K#:>8U3J"W ō\e +`QCkMh&Boxـ]=.R6_6szVNI.0\Gv2QK/1 oE߸ּxIz.;X\tkb2E\bDNoy n5w3;1+Nc6' _Pee a&Y7 saicfaK<1APаMސdj'5aw+W,BQG!<^`dXiSwdOrk{1, ^dȰ۽uR>2~DJNTD2ZLv J <% jHf!$^DQF& p,e{GOdٳUHfy/SpDU%dW4?ÒUOnEECb ظhbF{}7W3Q*2ci'@\Wo׹ac2dl]8:Wh9$(ss[QZFVWr +XzHd`{'AKJ:<{;ӄRmW=u f:sXn %9Q37kjZ[+Yd£iMՌ}`kL6Sm g̡&Q ɚVU=7,#01ju/Č-T@VBbKٌR/@x=FA)VOIÚi8n0}@.1% Z7ޝ eşLaz -#?7zdb6W}',\3>fz2R/5AQJ~t׫DJvl&Ny>!$W>=P &n vZn-68W\X4p[|*<fYO2]=ξΦ񡩘w-kK_||]ЍKwr8TǩxL*C q[]o^-HGS0 V=QSx(nMn8LҤb0+^!vߎߕ m7ҍO]Fe fN>mǶtB5g~9d4"$ ONW "7 vCŚzs;69'=67Gkd x]1x;ܝ8.k6{8ObL+ut,FknOXKcٍU't}J9[a9th7{FUf2՟ "basm%#9? 6*{doJv+ tTymX(\&yAk1 GbNˬN#ik{ K5Gܔc+Ofsu46}Ra''ZkcbZ>NV" 35*j(Cwx20R%NW<DVG֢au_pm;Tm\$H07*Ϟ u2=c ?!Zt&ڸUi݄oۀĦHu=M1%&ntEH5j,gjF;5 <1\Opha?k-@VqxfJzmiM]tb3nktTS"rmL}4)!/3 fv ^ ;[xkǔ"n_rK9|・MzN}V+ 0 4u]Wʆ/`H h|@GSq3y`b20j6&b`gYZ19d368eee18d537c1a3f8f26eddadb39803dfa9d1557763c55026864eeb1fbf92ab3ec60267ee348 5cf7dad23d1e903fd6eeee54e5217926f169a0e4 f620dc0ce12f02b1142af6085f055d1ee07476783f9000b5949338b81045e9706ff3a64ea4aa25b9