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 [!lt, ]]Launchbury:threads=2elapsed=82.364cpu=161.468gc=10.816factor=1.967zXZִF! Go]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jm lSR 'R+ gyR5'dkjN d0oF+]ygĨ[>[13yդX6cS2~qzrnwyFTy19ЦIį7>].$ҋriu} {w_ b9&h%y(-E/Eb̂Er0v_ǒ}oLhQ6MgdE#_!IPaL, a}8'˟  ! LaunchburyDDLtStGgjW@5!_D ,g!S a 5-bB3 &-^'u/&BGd" %bقQ*d1OnFMŦ q/FLcPMm#- ƭl:tm]>fStQ {ŷd@E .eJHўI5@@]OA[,R6v%m:Mƞ[fŘm xGy02]N({_ehrter4 6[TԩaG"D&.zUK3 K*li=VV?9Rѓ+Auܫ)ƻoY쟔4EzK6һH_V}e"m#DPR~x^x%!p>x/H^dP$X:ClcP nia˕TV%?lߘS6uo DO{9cQvWq\_lLMz;UJQs@*8P\)@hU,l?_ U2Ew}k~ lW)ZL ?Nfrqôk<ChiP6:H:G.zԾ+ŵzR_XB92$Zhe9#s,&97MT <MWYJ҈iP$J>I#$B)Xm^U~YFJtDtoz:1.J۩kד|w.Sq_%T|#IQ[gucR1:O &D# GG:%]`pР< L>n'< !>*o8e9N]_@LZa騇''O7E!jTaҬ#̬vDXqZ1Spߏ}v=RTXA'b*N(TJ=*71ԡS9I{#q8 [`j6}VS'xTlE򡺻TZwy:DrCa`N5_7nt;J?]Y/K,xѨG ̔/׷_ aEz}w*fzN)Od ܽ4K_Q^,f^gI$PV=:jnV1BvB?(gN u^9 Bku#J8D\-Yf!cLq/C~p'Ndo*K9 r˜:וq .5i0iIk4N&Ç]qZ1]؞#DnR oLDO<a6W J?v_B(ٓ.B5\W%#T/f!aQo] :\߯j"Q͇gw8jR[/Q<;u3N/N9"!q.YQB~r'DB>x+U`.ZrƪZņ wQRF b4{/G./D*K/*]zdCy'Z[.Bx&wku|/!˨t~gs}ßWw$ DM-8խYEH& zx®dXH`8TrO9( V[P#9#2s<⛢j@6†8E>4洪\^\X3;=t8y,&5i1h;䓺9Umjlȩ2hAdf_(< ԁbSN{<@u$F@.42Bwf& cQ@rF'GkТn#LT[ +8fIL~ G I32chHQ}a| 82# <{fϝ$\ *a7Tntb/?q%D]؝O{iSPqw)=Z@cDV5o߷~>H#/7Mn㶯UX엽p>dz!JrWrL> UJ^ ֠gtpIh~o6Bq^?nDe7A`Te xVϤQ2 T4bR]#Lx]Ĵ?A@Hk!]Me'p#9aP?U KzFt {} "n>Rs{6۠NVW#A~5dk][Pz>Ҵ6WCЭYUmzE׮@59灇lM:ר..l)gqҁdznMC D尽'p^rqkrC9nY`g-~& p=Z5aqΏu%L ;qp<\Փz2/HvL{JCtq7,@WU՗{\9V!W2(̫K,')Mm-q TUޤ!1oD