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 ##R#,t| ]/ LocalLexing:threads=2elapsed=89.444cpu=138.068gc=4.476factor=1.547zXZִF! CP]ŗXf1-/6vRZBfߟj2𣌑' * 68E(a)l8^ •W(SvjoB^DjIRZcc($׷al1/밆ddպ4Uǔ:7ڋvyc#} x9Hv.IQ*E@T/"IpU=(X ̅B.bzsh |hx*u &DUv]L75r˯ig7K`pH] b XHnR8$lx7@v⤆x(~D]&hO񀦂(*STHplYK'(,Ӡ:>$1#N)!;?cFA2`hT19lۤzȅ1k? .*t0Ϩ'UEI-62l0Xocv@s>X+nSg7T!\E(uv-yoVz?rIxƘ$ ";bLW﵄K.J%ޖXYRˠCA7ė:IfgJYu )CRl=.MG-P.,)ЦEMcڏL;N9ZYHn(%Vɀٞ<8t=HnFqZBԅ\(zH'XfT"_CU!%y- ˺hk׻"tDbq߫I++/f8ghq#dfOMFBBg؅jڮ{2X7ۿ (h;KiWvv"Ҵ wx/#u-&2ѿLٴ1T$l{<|1qЕsx$ .7ˎP!$yQ#l4Y BpBp!J8FKvP sfXR6 2rms:\te/v0ۖ|O^ z$]teN%Llh% nls7pٻ.c |Av{ 9FƠ*;Z<ŢXȀ9Uped@RJmt]ݤ h8pxb#h f Ysx<$dx \.QeN==j:SW!?…p1搝3rVRQ%qb+FN#pC0^R ~NI9iu]̣h&O HM7"U2&}4>ƣkg| ,'S8/34Sk~X?jW\iXNUHyHۛey%xN2e|&^/|ͤB":MAx&~~$LtVG 7Aoۈگf~T>RP1sc5-f quhٶN}dˇj־|)x͇ $AWɣFSRoճ_W] R >[ +5$Ae:5lk W:L`;ZFd߮>vUkdm"5A¡{? ^XOD C/ͱgYZ7zXZִF! r]ŗXiɟ }@;(L\OQ3 ^<ʰDB:k8ɕh?v[ 4'YQ>]8Ӟ`T֪{4@;,M_ 39 |0|NƎ}9JqŽH%D$<)>"zKbKAgnM6]l?x 'E <}&ΞM3gf t%*݀TV7̉^cQ&~DŽEFLYV8xgm@ NvgYZ7zXZִF! Gx]ŗXi%921i9op)ε_Ż8Y9O}\}Jea2I R!yHHX)3htwJgC5-Pe|l-ߊ6+TZ{>>I2湶Nc8U 1ԁg>ڸb(ߪnȳR-%ddèVW16dr Bo Ä;w!VCR=;|dnlu\ I, TD,zP;^T82 UƭYzYsS?t,ZnwDwM|ZU5ěj=V/ʕOVD$h8o'7! 7,cխˀ|a4lU1b{dkayH~:m1 +sKފwPW,q~hT9w4e6GjOV ~6H'7.QqMޱxn?'χC 0 .s[rNnO/:̨ >㺯2U\r\%[))TCuYznC{vbU]ȈHJ3\:j;ѰtMvsbX1ļv~?)Y,;A *\J2^on'*b 3#$p|nf63\ӣL_&a -e`&nQhd{%=nw>aB6+.ѭ\HQ-' U a;;rL+\ # LocalLexing"708s1if%ʋJP^'VTs輶f/JK"aMs ueEC^K/L,d;tXQbKԯoZ'e}kYZiW:|н0._qT̤:^ oⲦņ;-}ynv8K% O1F/%P?v`OR9nM`EXbZk`?l{-4 O/:۫bT }| (jY[:E Iytu*(Ws .{ #B]İ{'bxH 1JZAX JϋR3-0e 6I'R^%J9\Krp,A 7@9LMp]& 2WU]qCF%z,PhKɤ幡u0Qz)R{Pv0A7ЍR<: {Z̼JUBJ: 2pYI¶yuc8;d7Ly{aOO_VC@}1byc~svD8I z<͸(AF=z殫TRRrsxFnk4-i|T48bj8;8-L+p5-J)`6Tyr5YcY"vE?e]:u Dࡇ X63ؑ* ;s'jv-#p mxвj3l*ɃăuVuu6HPL6⁏҉4?/|BwG!~n'`R6ˉQ~9$qڹ( eh/1 0,x(Smg=Vx;$sXr;)=By/};A`=sZmYlp| "(:hAؒ):t5ŀn?1DL*ZE &:ջ ,ĂVuJ#W3,2S:0udrf8y7@5a#7]V3T &)cM0j̜EI1+@*|sj|n(xZ3+%5wDtA fxx(T yiʳkWlJi"ص{Q$H-C7Æ!lsrd|]4.Asj[tu\܊o,U*?ւ lnI2 K,> JY{$ꡉz#-W>S[q!!o6ꋝCB rCN~팜5&ɬ-q&- uvۢ^za.)dN_fB`/h5G[/.0!`_(Ǖ0Uw5="_|/cl"0K=`G6N2P sU.>pܕpd!mi\!`TD~ea|`L p#:M+yH|l/B׶^Xb1vӲENWy`Į׮i4ow=\'t]V]< d*ǡ U9C.}q 6.,[̬ SdBo>0k5~  )  u`I,48BD3]M 7!" iO HU-@7sDRSൟX"doE yF 9PYʲ2b5vxc[*&=ϵXIQ6D.,XD=c쭊 ܮ-!$00GA8E7]T<]rKII[[+1ւm^ .;!OP6jѵtZ"  _"(6˼-YHNzoxg,dXL Mysr2"F#ar֮z.ɖ[%OxbYր" VL~T1|fj*E ` p.?ہI+'aJ .Uf@'k3>-NPSx] H⒳ֵX HubEk)@ъܝH8,!ДL}q7IɞZ!z@+{6bvCwd7Гdm ~(x/<A'dxV:]ԔC=oR&@'fFG)1έ`\~侀M:km? F#ft[ 9jBW(MFet$PBa0iz-Qy)[z nE왨jk'.C3\_yT/RTq[z؏ӻ\kN 2J1