SQLite format 3@  - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info 6-l I% AutoFocus-Stream:threads=2elapsed=68.869cpu=125.696gc=2.012factor=1.837zXZִF! o]ŗXf1-/6vRZ]](5øF<Ꜣ\Tp+LS)h2)Z@ldc6?i,pHVPXmPdl+003z0B/'CB/Z=q |R$JwH, >r61ZcU}ƀ.֑x|ar>|"_f6Fg& <㹧Q I(,s2 - AutoFocus-Stream-1%9T˔aw 7< C J.f\igɜE;i o4#Vǘm[gGqqwL*&H~X; wq"Qf .a/Fy@+É;"(u>SX{9ҕ]QGcʌA ix!Z742cEBϯ5eeIkXr){WXY(.ʛ;YqAfhi.ՅB{c2(*XU.!_eyXH钽.9 it`( eTtl&#lYT0Q‹lCCͨFb:KXeQr>;1Xȅ϶i0p&[r<x"颒^1K:!'^)Uo5G<)pw̄*h!a` *_NW8)0hJ"x#379^5#ܝ ކE; e s'QK֘9RZZ|P ?*{2!\?HU$E_ 6t_UGnd'J>dbS]V 7!R\KRiΦ{>4H ,%}PTb *\{zUTs됄[cn|; K'DiĆբ MmCYwk'lxTʘ&ۓO5s _7:;IQ}2vbQ׈Fؾ%}AiGY41Tg2 CAfƂXVuVЈX'Wlh}3{lKYkͫ쫼I&j[ 4- P]9A<žDxof]b*څ9nX1t /j*3Ż= ݓ/)y`#iPb)ow?iK{H>[tMWDIcF&_囹jBp~V.DMv.nai+t,~yawZ½Q5v,W\mj_(0󍐍J1;[eVwBw੹"O7DEp0/ 0^6Ykb =;ō=rB3P@l+{ pAt XhmUt"uV> 'Y-_pN9Ӡ4(<= ד܁;pp-R|$MO*92ٜt~9l^`G#Z%rJOzx AlQ^/)fod-=z9okFAݞWVg0C痄u}-+SfXD&F+_s6IEJEٍKMY{F 8OهuKh<_w*"я(P(a`8 Iv1NEH},|Ck]pwbT %+P@o<ӊx6'S+j1@% Y 7=Ϸ,/~DZ;+2S3[}SjfTٙ?X%9X="#b%-fϊ` d8V:nY"Ԕ|K2g}Ao(B`BM囗h_e y,Yں]}m & pC aPo|({gZڝ\jpRwft2vb=hXc_8C}YAĘewkoyI^GEHޟֹ\`F^l%h3*Pu៨}mrNK$YTu9Z`l 욭k(<K QU.#TNU֗}9DKӣt_^tߤ`߂(c F4 l/,,S,ʏ6u V^њƾ`u&4N9ųKB&e+wOgPiDbʤ@Wbl|͂x7KX&e éBZa&z"i5EhbKB_ι {$y,7zx`#UFqƩ0;k R}^h B[0܊W!N1IQg @Ǥ8Ip6 WeqkH?^?sj 3*m rDeh_h6wȎ:%ʆ]lIyu5%Ռ!VVNrm{u\j*: $qqiލO<R&\sO%Pf gA7+ʉuLΟizGT=zσQQP63.tn dB: am E.%27E#gHBE&Y3b鱞0;]4znHfƥEZ4ͤ<dfRerտx6uC}>-V 0,2ke ~=PEy'FdhJ*(wm!G42%V_L,%[ܬ)WAn9E?mЇ't ͬ`҂0_3Ԣ=8'l5H$j__y!Nl}3sCX<$p-s4k,&ܣ#6e:8˺ntN.68zx7>1 zW%G t)i[8XҢ+ { e9SS鏎:s_9CW W?Ø,̊!ägS=N g-7v@rZ6'#OmU`fWƑz 4lZe"1{$ǾTɌ-.QkVv*G=_'b^7O/&#JPY%Aľaj"G`BQ<~=;|bռ8S`7to$`n450a٨49 ʒyNwO1$EO=J6C#˙/IGʁrg3SD~*e"c>3iEIy˫hXe&%t{+|6m_˗z"mV{(D a5;Pl?mXSv`tΠ8~u+@ kuemT#i8}nWmv>{>{@6ں͊VsG,V X$QC~XaE!3ۃ *E{Ƅ2^[#AJVRA)u"vc8'̵3;?[@8^l; X =Xih,q%WdV~h(W(~2B FP#UF(pؖ (nTܻr8g1_t[!ce`S O<Rvæ)|;%ڳ69qsbq#jBIЖ=6{y1$ C\V?26Vx)^1/PVsq@# h"QZDwyHxzUgm0qP̈lW4k+ J]<Ӫ1.T0$~ЯVoEQ h"Z̗za)qvʋҥfUL?j,\WKة"7 1T TkcҷΟQQpK؟a\ X;1NYXc1 _לݑ9I,wkԽj 9MWO<٫em(lѮ7 =2jr2/ xaWîO4%vވ2CGuѣ97RhbYj|+pݨdMlA6Iv'7G6)>ftRw*IȢSz4gP tsRu wGfrfxV㦯&<eų҃a)Mduaa}t-{؍4E]2\+V)Aj?Ў y(R;l>\E:Z+ +).zvzgƂ@v\,Vxt::uIF{~|ADҭ PdaǪl7*xD ˌ]g_t^UZ$IqR@Tl6~pvV kT֋N|k N%MhPu %խ9ŦV+tKt5@s48ݰ+v.Hq] k;6\s5}c+@VyD`xEO&Z$*Żj, 9E&EMNdmutP !~|frFbg;yn?"O8jsv/'y114V4k~ͦ&"?4uꢠX.ۈ-\jMI"@4(8! =ǘXIw=:0Q 6YcIbbm +=DVxL[:ph讼 Vlݑ1i^P NF/9[a9wfpldU;%G Zn|_Ikr PIX(m;< xXszp[?2; _#s/zG|gLtU:O7|T A@+l6[ dW<,Y[\bùT0qׁBMώb$1f aO;y]lfM]U2:If AsiI ?{=8"݌жf;DB=iCr],urp '^Nؔ 9-)=.?M?Ӫ %];1w$yxͯwՠstҲ F/И9?߆A̺Nmj -jY;zJDaΝYVE]D ,#1gUug02/>z!8ן4ˠү @˘3lLs H=зhwP݁5: 8I\YN*c1n^DJviQ=" # | _k`Ŋ@vc{s"Z;σ/>)%iEc/Рju ?uqɋXnL@_\7y3]i&پMXIQP8؂13KEqNo TML1 jʃ}m2HW2!>Tω؆6<1C{z&ˢܕ<'Ҁ <捀O6:Q(_ޮ"ͲB7*=u*S09ԳRc BD6,\@M"?)Yi!cF r~m'e@٬_6 >m>ܻ/4}@z=n`Vd>R߫г᭰ȩ)Xkݢtǽŋ`L_CAD U~ \ |_l 1d(ڱlf>O:QL#11둈9XPE * |KgF>;y,.H6Q따>mN96(c~i΁ SxPa/z?yrQ ۤ6+#^_q6m/|XجE [R/elwq{!,N7Ml\R֩8,gUZ;ą5̜.Byvپ z@VagߎbbĚj.m)5/=7[HF/FC|JEv r!| kr 1~%ڔr[4^y@0:% T@xzIz)Ahֹy9d:#5oIq('3/qY>j;Uԟn*f/ȱ[DnI;O*5n2 USJV.HQ(…gYWcGvnP-IhejFbj,LFڻPMb#P? ]5}R:IR*:F z˿DXT_ ܌><ܮ]3VzsŒPx5ym3-˯Zc9iSsr;S>uΜKoUG-V+^`+|*67H2_ OE(zFug_@XRT ?Q=D܇V{^Bz=My36^tk0!oa0ԯa:+Xe3M!GmVa!/0P>98C'c=j%ijL̘U> j45wɮnh&5.#EW#ehak'vWH Ex(͟!V!F)Yw)5lZʹd\8Su96$)&"Hp+oM{= I*!X3$3kepl72,$ v6d&5C,f1HSػ^&S`G(zR6.a{6x dl9_-9qkܳ?7Dl+NY0gYZ131e43cfecd9e446da72becb278b2ea7c436f6b4 1b80d85ed736bf07dd657ffbedd75fa04c61d7ce 296c07736a2eb76dcfce8bf32a68975a73f1d0d3 633b88c080681c6712c9f7cab4483e8cad1b4727 664f0d125a0e34e4d1c3e926b5624b05989e4c01 a4ea0b102b5a3f7037347fe0a92c125d8107c9a3 ee0edc3f2b4bd4f2a921bf756edf19dcb9478c05878527395436048d51bd6287a500d1cb05dc0aeb b7f78dc5556061cc8d808a0347899300b2842457 74347d6b35213cade348daff365b338f4a554a12 7d7e90c33154284234ec74ca3ef93827556f3a68 2537e81cebaee80938ef015d386066699daaab29