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  l,| ]S Real_Impl:threads=2elapsed=71.505cpu=118.392gc=3.736factor=1.667zXZִF! 0]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jjg ]2.).:ʋX'r_77 9˖.V½^d3A݌;ێ;4|#ɀ*siG{*XORUkjACTp4tLYk^>"xe!`I5NGxu)J ؔ(I !@w5ƴ6l?$y/DRraNKS{fZþ/ J݁uwݵ4\V2# RR}笌' 2"Hglu;dui&7:yFPWg:O7"R $__ "!gVB"}N; ώsYI\zz/GJ >F(tA=KO>UDQR4=G :H7*۬4*Q={[ӽ1<״b,|זW6["~7#b{ F5Bl"&7o@T3(5;/\ʃ֣ae((=}id1ck=p:/:fj:,fb}eX9|6!֒m^aq]/Є£fkL7䟍ct?lGWĤ=ӾGR0 { D% WNRU GK 0L<Hld튯XPN1. ,z+saE YCVY X:/;a20q^m vjL {A0Pia^a#7 ڙ 'Nݩoz4{N/oBeATM>+ kׁ۬"=~])bpNH7H"}dFKBZe[[ce-N2ÞK 1(#u4%3_3\ws;wUņJm`[Ju}O2k-?WHFU5eIFHJqhRm1$1T%̑x`د$&dq>@ nLˬ`_r9e}D(thp#]3…RmO6뗭fO尰A ^' p.#.tWϘ+JROQ   Real_Impl".w@/?nnE&T j[ `χgYZ7zXZִF! U]ŗXi%6q pMrjD<3,YJ3ŊXR6꿮{vN0j3lyp+b7mQe]ѠU7zn\E`Z}ߚ '>xB$jq*-lu,?sWc|Ls(Qsrf/nאzξyx(RI2G 4CSaPDT9iǦa-j .Ѳ̎p^頥$G;DVK ܴZ~-[9FO]yao愈BAWC'?Uxb3MG&ȦzjD4a;W-)H͛1T1EèPn"010_1A%?Ϥ'mS</ѱ$1;@,kw$ma:/&ϭd=6"/8ip邅ECI?"W8ﱰ.s4Fq[INC@b{~-a}iCv m6ȝ5,b稅Ͳ`i;[,JuP\9t/ ~r=gfgԩ{+NYSP Qcq&t]!Z6ŴLj.i`E{4>bzSR PXxPAaszj1#--c[\1@GY-al5wV*;N^+n*uT'Ћd%Z o'%W]cW 5$Lɬ+-m`[crp$g =ޕz,";gmTxr/GFSB`Iư Y&f iDMD/#7ndpu'Xܑ* =u-X(,N)ܩu=8ASGҠ2%=ʗK &>1;4A|dDUȉ]agOwr_+\D%W&b1e)|5YRz21YM ͆$xS]RF%f$ `;hM9ߐiwU YxxfxȥJL: MEmQsS-ǤFK6]k"â`3h2CH5<5phuOV%!/iGVb4^1Ltdz'4G"\6 f u| ?wJ7]''Vluzr}\ 2[kDn UaXԩts +9j*(st*h-!g&wxVLj'"&,.cm*#X#x~cU)9*;폤ʢ,M 3FKp8ƼRr cq"߂Č܂_Nw>W{]_UUWnTAy+'UWpb 햵LQ3s HmFz{3 v(Iܸb3dB" ^HQQfBV{Ve\y7[(7ľT/54tw)q!Lŀ$: gJlHT7Bף6AE={N'H{`oN1NUEY1h& X6}^[)e6`0 G"gAhdQvHn^ ~[WZM -jlSPiIɞf {V}'=󽕓g쥒 XO9P!).jM Wg A%b)MJĻ{bSVVć"5Qy,޶ fot5 ,F4h ff )|p<K1hRYi+Sd$xFI< tsθD~d`ˇ8R/>7z >ŵXfqE6Ui gI?3}1a7>zpZ&)#![lQmb!ɴ\|*,"pxҬ1J'8;^Cr;)~Zu#@yvo+nbMGS@Z\I/lѶNm&$2u:ӓҦKUƚP>~ԉ$uͅxN,K|ɚmU`r96Zy$'|k|"z:X4'cN o`mzp<7b|ٌl ϲ̿eMݦt]1fN-bo+K 8%jUmq/m:7Rkх̈1%sqMf1 iW HkQps-.U~u1q(UHDq~5]~U$>_&9__P|hphR˧Qh8"VW_5Pw9KZ*-I> n9@~rïev\Fς֝}&jZ{ڏ,ig,̗ (vtl7a^;GJ!\;F,Q wϓgkeHl [hiBaқAchK70."Íyےf8de?n!)sצ|:. Zᴔ䕮ƞS}Z&gYZ52a15114673c52abde79193a0037c22273eff97c1e0d760b8dcc7a202ccf9e071ca177b2d6e00047 82ffab2c85e2c69d04d032ee5f468652fc7921e8 b756461e3d46a3b8a5e823f554ad3c91b31b9e46 7a55b1a726a797b994d6c6d6903b075d221dc858