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 *#  S]KAT_and_DRA:threads=2elapsed=41.384cpu=77.040gc=2.796factor=1.867zXZִF! n ]ŗXf1-/6vRZGq3۸-CxMe'D-%*+ *A}AޝhWEUɲB&͵9a13Y AɆ*( " ;Ƃh-}H5}5P"I b (9Ͱޜ(Bl'ܷ .uC{܋[!N“od:o+>|)dCErRh:X!Ct'aTM.ff ⳗO섹v@س2yڠIo.)2 N%)?YyMndiAMVOi$0vY"AzL(2LA ;|"ZH?2_v&7QHR9q^2$X|nu7W#iFPgCTB;4S >Ġyc$]d!8%oSnV; # KAT_and_DRAqPF%]EL=IZ$mbxIhɧׅhk; ڔK>RB/f^enS92*B߰*83p~fx42R$]pZ$J,r+#|TDeBd;^ "czOϔ/xbzpmkl1[WX=U΃>|lbC,!)W؝kZV˥MebIxNE`3V x1rBQDa|&y7v{f'^b`b#sWA;\@M:φzq&N WA~v:>;=t΃͐?]9lΤ[߶1Tl识)!udj<{x^э2e!C䕼Tuoa:8|Bs&1棄[v"QB-gWE$֪6JC/[ewM4Jb-lb@wD*\i_ akqh^0DPnߦX<`Q\ #-/X4 0j1h^ Y " \Q5[dQ]IZWޙ@##x)y'7_ȵLH~1| r7 F^Hɛۤ}$s2po1/2I&U 蝧B>bQsƌ='cPl\iŠqy3ooTݒ/b@YՑ5/ Xq<f'SC~wmڞ.#_0\ bdI&TuڄA&bDF+;y#n:uUnEʑ0vƘzpdJAMCwaiXr._ SJ ȓD͵ ʡXDDJm6'zYcjceͽ`硼/ vӞbJIDP-$Np%h|&$FU$] 9/; :RJh[-h;}Wƀ]c@P&W>X!6̵tsƃTlb=m :}S{pAkVq+|iٯB>?D+q;9m a *׋C8^R!7J5XZk1{觩9ܗ4r{.#RW_+-atr)iD׮ R2[-8N r{Qj]D-6o؊ xv%j>w2懇t'}1+uUDVw057|{R{L1V#_Pt'p4!{@ t9gYZ7zXZִF! Ȅ F]ŗXi%DQ,N60DZ)@ƾnm ]eheDZIzMZq3Nۜx&h^[΄d6V\S6oX[c*&l(b$˼@ AWۢhI7{]ˀ|.Wy#t*iN2/]=B"'ʅ_|/]*yZw~Xne6-<kۣQ~yUq*`$`m,:u 'HK5Q2W<~Ժl8xƸM }c{R_Uɳ() SAGZ_hU~Z PdeR;RoxEȜzurCqU59tUF O5`tnbS1lzLTҌ$XQulC;<dH&5웉F*n$u'e(ӈ?,? P3 u֪i^U&8p̟U%p EZR|e )AsZW+ĕwC QsN5~wHN\6y@ҩ'*I"P~QzUcOaشņ8Z쭍P8y5cDpr.0w7$Lܡ7`:ȅp H[b &Q!%Ms4YnRlAl|vl8.~$E_[ Zw$p3''2+z_nMq:B;vmݫW`$xhKRbI$)lO 4_>+L1n="X6G,y 0<rjZɝ0-n+{r4?W4)ű>sc "؋tr/l >d8y:0̋bm0^P}8]QxaɍCZ$MnWlkQj3ٴn Ŧ?6&1z3>muN‡"t݀PKkdbE0熊yi4Yo .FoTé97`5|BI,(n`"kSf+J̝6#Ox(uteJSD]\ue\rMTqSF#d BZѱ+, pەxzi5LOi?! g.$Qs{QK9-RVfCHbGjw4sJ̏X}_ H w)`R!adKs 3ͩD^B .Ե.*guW<ވqP^.L/`_K=p7JœL7 7q tAxDaDjNR{ÖR "G&D# Mj7Jd}Tv!Gwxd%Ur ~Mw\U|E_y%&.6HÆs(3{^`񭮟H!Z+޳V [%clR7@N^џpLb(;u6:9E:bW2#=2xWGZ2g(jkSI/8rhR]uONY)M-(;T$æKu7🭦Fޞ/K1=1F0sբ;pSƖ7>L 5MwG'IHmP 6"Ϫ~ϕ-z3}@^7GPX\LSOg&pW#)l|j4^%_qto"ggS(\_'b@*ĈFQ7q.݅.e ]U$-#bn|m% hQR$w;`D!fcnj,