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 X L| %S Lp:threads=2elapsed=40.662cpu=69.360gc=1.164factor=1.717zXZִF! ^]ŗXf1-/6vRZektZZ/BcHkIv[ W %s%/[)V\gM\I!K}U5?1WGie8Mh  LpMջ04*(U?{uc2NΒ>2>?DJ[b|ݞM薟}ڛ%p%XJnUGihgeϵD0 hd>pCD{-V5_\l:ByR`( tZ#8U 9Jigm R͕DN/$ Kvsk<㋰ \dᅞo!(<ҍO 6 t/uW_Oh]Zp~DV,.6ǃ, 1g)zp_BțZp2nժ1;TŻ?W lB \[ uzdT-1 A8ZND 0yV1{qbą7Ư bdCt[iXw_ce$[g0 7Is\@DxĞ+LZe'<,xvLJL| )Eoy=?]x|j-kǢU6 ;I  0A,r=*3ڵ˅7$co.G/[ UU.q5KrplOM|;JFqucDej:nc&NIw̡B_hf6Ǡnn>]# ^xs6MEPiՀ+ r ?;oRS^-0% ؟Shˬ[AK%0Gj]*]1% O8>˦&v>Vʰ]7'7xTR>p2a?Zf G񀙫v]Ý E~l+ffÝb@>rf\}*TN0?˲ψ7LVjq+NriMy ZFi e-~҉4^ƥ]d`"~d"TsQVIRo8a#ۀr *(# JkX\-+l> w?mx@CVg0[58@\|Z2,0C,{ðtZ }upClTrNT!=!}r{ȜGǟjG?>,s̭Q]# i=oiIʴ5o $Bɩ̽ i\O,zTZD+2nb-IK垩"tY}pݔ pm %4ָߩ:"{:Դ;c2O]/t^q bjڶ{8L-ó >ʨ/((N96* ;l794LηAn] &Q3!)Ͽ~3!g>(9YJ.qMe|s[[/--J%.(@发qxYD`>R2Q3SyUwqZ 9Npe(~+dGxT~R;$>wTyB]GMeg]{H^҉W k!kuHI Ӕb?w_{s喬"/ xExGz[Hп2 y&64k6`,"C AzG(QI߱iNxTdYI+p& yfTX[{,XGѓR8񉛽4QШp҅NG3kb*?$ QVh|'? ݳ 3<7@<ıvv+-$»պ;|EqffYR3j!VH v=/A>c' ,"Myo\?n~b& >o]N709XRmeGSvUt0 s" jhJ[%`0鿐U3Ddа%qk&!RZa}ﺸ@9DkD?E3G^Ό8D,%Wg)ԧJ~)eعr]+WރI{*NXkr.\`S.'wcT_$|~jIh&mAq53>WUL¿d__}Ki`&8AR3WIh7 \E d1-sPA\2_"gX}y1iگ5Ȍlv׶<~MqkۣZ0XY&}zIW)(s1x5Ğ~Uf*҂ jAk2@v>cM&%7:FJ8Z6c߾3$V'`ѳ/tf2` %`ݎ ªOeR_>]`u\zEа6BZ?tlvH L8ُ5XڝJl_4xk.Y1!Q_1`oTȐXEJ 5}Ǣ\#>lO?ʰ*e&˴JrFym'ǻAۅF* lXp^Zc=5T)!oH&M$M<[Әu)OM1㈎K}aehqN$ "AjW m21?@aվ>w ʟ!/#~Cr2E1q%ADo,qL:䰪莜\4=@-,> o"ѧZ9t9Qii s3LS:K XѯU(uip'--KW &Q߅ݯ2w5!? _NFdX=V}|8ѹ 9/0Mn+7~Gَi3n-8j y,7JE,FVk&(焭XyV ΅.}L8N| fJFQ,32}oqy9R'8f\ nlNDjaNJj, L })TdĿҲka|bjn]\aFq ZtP"pDKTkp0),dFLdϧBZIʿO6Z`Xy8e%=QyWrE>5oM ҂t*_{uձ''BW vD.igX6:,1h\H!b=2,G|\m`Gq)0'&)~ȹbYwBO"K\W[o nSKz#M(8# GlDljA$!UIQdQ z˴*M|.GJƱ;d(} Em 4s:ꤶ+r hq< STI|˗%uJ6Z *RϹՀukCϔ䵆IWOs 4} #Oz;@0VS֠Up]#Nͫq?P6!KL&9T) GiOnFG^vmr#(ߚ_>@&&kX/H/5DvFI?eQ6t}3/UK*& Ћy^qST6W`T,*۬ nBUY#UX+%LmmɸܼԦݫHK,a6J&ICٓ:,sw:Z:=4?n]2ⵙ'XCPHOM[X ,8riLb$6/ɘ^7tk#CfA)Zax,)6S;ZqmgzoHPOKNT:5ng+Wo~t<.`}0(tMA$WG0QH!YWGJC_%Fb/s/ |63K P۶-BUƙXWX^÷XPc?!슯&|l7kua~ksmIsboܽhj@[Rj?f0h13߼9 ]hO%&r}0qC98d1`n?gN77A bkOք)sGWތV}lS[xp7P_C6 h&tZ\{0c]+׃+*= F *NS_4%EgƱ[GlK@z)Ѝg4J.$d칀pBA Vo6CCq)u\Q*nY)?nCӟǽiUu<4^S=OBP6ND I ~\CcH'0bb5C8Zgy`HKP5 Nڔ f`UI#AH_&8aUwݍ9LN{.C#FŁ$u׃= נlp4PCVYF!}utY1ڼmd2ȚU"9&5- mp=s(;h4/!q& nw(_=%ٚ"WTh=A>a%bR&+eY5A.uPl{2)?  o6&wrHi}' p? ഍YPT=&2Ek;Cз/_ DիY\s3 O/iP!Hytw^&M+'&emmhDR,C]b oMalFMXX4NOdqFW}A/'*E./*@װTiAtjCbpuMkGuEY9&BwcaS$_˩՛G48}- 7IDNQZx'Z*s,AR#3Gu8'DfxO`4 Mʣi`Pi8\ˉiY9&W2)tbH=:׵1H>lOim!-y5 {_.*gG!Ŷm9ŘH&P5<@HMgYZ1eea81373232923c19c7b3989439ddaa300f4986 5d5dc91fe75a8d8bf4675d37bd44ba3f99ff55fd 898fc36bdfb11c07ae3f0daade057467f4607117 b50539272db9f8d945a3af66a569745352725a2d df52d5ad8bdbdc6c9c56614a8cc01168fa2892488c20d9719dd3c794171052bf139f7df3bda5efd9 787d9064b94856bcceaf7fba7c00dfdb93321f07 42e138dd2055b0a1db4a1f3a058a8966ebf86487 09b65d430a7a9891a3f68f37dc3b73e82cde44f7