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   %w Lp:threads=2elapsed=34.584cpu=64.288gc=1.280factor=1.867zXZִF! {]ŗXf1-/6vRZektZZ/BcHkIv[ W %s%/[)V\gL^T݀-tǦx_ڕ,<4uo 257|R]kK;Y. ث&Bnh?Q}%F8phL hVz6(! zp`)꧵r?xѪB5@O@<&hc =]Yr9.6I0!M`5f#0x{q+ meٞעa;j9itAP_Qߐ'R sp2NJ #J]\Y(3gv>Mkl_UTf/niӤK҂XL!u+T5ׅ]rP'5ٺW-:+TW#`Ɩv%; $#*T=Ծ.bnFѓ|]\{ GJ&oÂ;`ϔO*Ҧ&,mɔp#i6xoOt όۢ$'^J4&U1{./_,D4BSٵ;Y|46g;}, ͻ uR`ӿt>^e.ܓI[655٫ dTR(}{xVÍSf'l~~%չf'ēO"ro!yjk>*qcfWG9'@S #$,,QuW wGϜqg!Ty.ojv)[58t_,1?hZڬ)\_Y zI0^V3SN/#*igap5qv6&O[ sELwTp? $)/mJSM:Aly 2Zc1 HƱv&)⋋ 2YuSC:D)s.~Є j)a(@YGϽJv-\l)Y"h`,:7e6p^2R%K,k:A hTm?#RfNQI(V^XTT#v_[g͈@6)s-%}4TxjzvXγ%}} :,3 WriU:.ΰ tJbq udS@s]7~\ mgr㑬Y\ O5qvd{~Q7Ohxt\;" :? |Mxj.;}Ġ܇EY)zP0'ǒ }&o2r~`^"e(A(nYlW$<EXӉhWw{̸N=msC#ϋJA[pPdgoY/hquࡤ!KGyjHK`jcEoCN!uq )?$'QaqfpYFPMЫ U[-̩qŽu(&ʈ5_C7#\kܗ&{r8Ip4a <>EM7s{<@ ^ }7++o'_,_=C>Qx\ $,`!+ba5z[lf9rQOd`dR2-p^s2ቔ"vNt(h5l_M~<_d@i>=QFMRf xCNM?L0rJDJiWvRMzf,nN_l*=Ҷ.|q5cB |t1 u|af3 hwn6l Y} "{gճU*{i1 8TW<>r_: ʡ%;%w{ dT.>« wS8.[ĩ{ lEgE@Nz W@y/o,OG 9A]-!np;D+FwǸ4,֧R3Qs*zei,ЫD:BW"%e~`"8d,VE{97= /1 jDsd$Z"9#U֢yT<vJo,LetiɰT'ЀV)^y'v]ZINԁP~HLbD]@(^kbʴ8mu=p2)_%UH WaYGtH K7iCY>1ܑ[3AD6)Cc \> (>yCu~_ߤ,}A{aF`97/X E78{\Mԛ)T|مܖ%m3vr5" ܍l݋Qz5Q!H(FsήzF}Qgcc8h.ucB[˞tu?6nkԐ GӤb`9[n9<"U2_SQm|LRJ-%r'>kFu % H<u{),jژ=q~m/Ďt"ɤtxK\zqck3)tc{m%#»iAhڼ|۪6Z`^t 8x%SM%HF&A:D/i-+'G~ydD)NfuY3ߩ)[iH"/=0tŧ\Vj }5妆hyum8e Bܤ8P; 9Zyigbkl⦇O݇ބl.f-n{n܁pO+Z]fu1^J3vP!z|:Y' ŭ{Xm9xhвA7T+O]gYZ7zXZִF! 8 ]ŗXi% Ő2Nm v9NKhFa~%չH X.2#{˜x+Y&Srʞ9@h5ȧzAaFWY.}2Ex{S_/+N1u:$ | KfqUr]2FNL`7|(X qW6 l|&Y]$0)Kۻ ָR V5;F )E ene[^oӒ;QqQ(LDV5t cӴX&Rm`@ ^ XV{)e#<d.5:*%~iy&{[|y@H$ y9],'8zy4> ,<؈[ C [چʭӏC(wkl` -<r}'F/Rk#!}LuR^"ZpFE\5 uڼ'5Wa7B F9cg]B@= R4af E<02WԑeJ m_`q|#4 O^8 MUC07GAtʯ]З;4^[k\}/ÖWZR'Q>[76暐E1-*{/t}B7{QjC_ G".V7N Ҫ ,B3 zȰށiMWA1y#lt `i3PpaXVҙ˶SOьEMDsfDV{xEMN("~M+Z ²ih7P:/q= a$}PꪼZaxN1JVfitOǷ[6$0z갆4e@%,G:$Ի=IUuPm\hT5lѢGT2tmyeeϳ蒘30X 䅱gcwR>EQ۟6˾n1 :'K'_߫^,&T'68͟-ջc6'oY~ [-?I `FPjgϪZJn}$#ou~XGΒVZ㳟D'iLEy;9mF (hjz!}GqY2( 8/cC=*^p*9rnMS:ݚI}} &SGYK^:g cfb*CGH@K eؾDA<ɜNfle? l BzrW==E\L^Ɋ%7]nQ@C~Zdk8p(0b1Y3|TOGP{f4BA~BZV:mD/N_j"zP)YKDӖ{i5Z\Ht TSYW&OALPm4u"$AHT{½{2Lz>Jm>,=o73LG,[m@(jas[E_Ǩ5]"7=.7\0WyN^2q*yV%>M0Cn )E͢o3޼^ԡV^r Vh47nΩ_zBSU7aYQkK/{5*hx.up$XS-m|bap)fXẏgYH7$9_JE: %ըھ,q^l]dݢf 3o}9r5a~u>tG̘nJIR0YeJμW4. %Y^aꄤRcdM o09R/A+Ow>qˢD_Q-Wlj|MUͬ>gYZ0413561ed4e5f38a3104383e14ce7eaa1acebf6a 1699a168ddb314d54ec3cda089dad5af663c03bf 78a9a19ee7336b0f80f15df5f52ed2080dbb7243 898fc36bdfb11c07ae3f0daade057467f4607117 df52d5ad8bdbdc6c9c56614a8cc01168fa2892489711977f48cd7397b3b03ce4fb09271962469dfd 41ca8b1ef880b2caab86f2e624d077e228a12ed4 a1d4e989ad1a700e9d30ddaf5afc0202077fceef 081e2ea43e234aae88c54c36bdea8492ada09aff 000c31cfe79f77e59785b0781aea8cbf500999b8 2e955ab17180c267756e7fdff229af0d6ca147a9