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 r 4 / SIFPL:threads=2elapsed=45.036cpu=86.448gc=3.904factor=1.927zXZִF! {]ŗXf1-/6vR[\w>ż e0m7(݁xcCf\le 09n F)#w.ma\ j o ~4`h YmR5Pyb̙ gpےMz0^3 qgDwֵީxqEc;䋹a\=dx !ZW[WX#Pj錔5c,R~!b6gjNWF7BK YY=Hɺ\N@SQXs)C`-.|]vb)46t3X m|ǐc#M$O//.ƪXT#eC/Б6ʉqMK.=܁\"r*en /2jj8 #F+ YZ&vGUB҇q2qvIƚ}d;Ԅb±6e,k4|YuLO銳dh\Bm+a4qe9Vf1eƁd&\4uYaj wS/m0P4qbQcwSRw? FV!C1O46M{bO#i>^ENt8U׶P (GM^pH4ϳbYKM҅ɖI!ޖm0SnBD&>A$ ś1ׅ>̂Ï'E~yV4i,84k@zbIȓwԃ55t\/HR@6CjkI04LznyiUP((-HG`\e(!P~ *>v^fiP9F]e*Pf^h=|RL~hIJNJ_mĺNs5G?=X<$[W( sR4$ GYق"6[C "vM!k5?^i*G4]_B묐8{E -DE'@e{FJ/uƔM3Ic 0{Dx@f@#ByH ˁ &ECWkφ_ϤZ?$T0UAiQ3'ڀ #d;Y @+9UNkS#8GtCCy5ק`F@wL4N\][b$mh ZlE*b8j+"gg<5hA>21`l&v7_p7N7M2hH@H/}_ 0""CJ/1cO7< 6s_I )7-EEr&a^ 4j\Ԣcu׵ilgm/x+zoQ{)t[B=L[ԩK6r%`=WV(ۀ߽Q"!t`i@`#,\t\N˓F< ڤ6 cTv)'\VNc*2e/$|(.f.9/C6Y6!rW>}TRt։$IA~_ꖡb5گG)<6K}${66/lAkMR\Z\Y~vܻBAPgh+Y>JS5̘׈ rT_hcn*!Ίq25[iiևt9$GZo -eOݩ4 5n2LtPo;Rx\fbxG\GZJMhc.qv_"P0+̘(%e"n9 Y^J>64i**Nu3O\#7?LDP_ԕ@t}9n!'tga8q#+f!ZoZ x"RHڒJU-y:{D=|<݈TŦS9c?ʼn5xȊS.8%'+yUſ5)o0pO!3 A7mvA[Űi<@}JֺIT{$Qǒ9gŠd9:t*\H/ nHeZ;={E,(ڜG'#*\60bzC*V92tGJUU h+UhtX}Mk"bi]NoL$))f2Yss)BIv0H-Gx1g }-;(Q~i!}( A8獳TPMm_*"><9 jB9;I2B L ViF( k~9I4q/λ'Q𸳏IOr:QJnLNhb|-c0Аp15xU VLX +N/UL4Y~1#-W&p<^1l=.|@.??I)݌V5!\=z BF47; БMnJ>#|PiN{w` ;;܄X{ :P|j&9}ߖ O9{puxQiv_c].ǔ+k./F4ޏxtٻvS;*kΌԄ$).Zu-L QQ;1:d?uYЙ')[l86hCSy'4QS [Vk˵,칎 I]n8r :B4E wUH uڏF2"yd?WeG|`gy QknoR2_9=ę`ce/%s@zx {I+ B?Sqi /-_d4w,;F˪.,zN[;[XJ{ ofSVx&AOj!SJ,/lf(hgQzա6T^J=eM(a .y3;60hY%Kf퐔+%W=6[MBni`{O\FR 0#t_ kRÉ tx d{y.΍V\m1kHb&۝1іgR㽱:-x/̌ؖJK*R:Ik\uҞ/N \]뇫hDqm1Ym$MkcrqNugyoԿ Px>p<frLx.vJW ^ݱRbi/6~w B듽̲pAWO!.5ah5mHw:ݭpü.qxJـ6<ʶ{$/˜ד|zfK=ҁK΅)%I*^},kv)O ' tSϵXĎ`ch]l# uZڼ$:a:S ~P; ;BL3Ops[A;"c&ɝJn.]дjH\qDNV(̭62yfT)Zul8 z]`~BH]YTF`L bAr8ǃmxM}L]M\#duyx02hGgYZ7zXZִF! L ]ŗXi%zxɒ@[q&|x@>C[G'M^_B>JzƫQ] UCo=j뷞jS)kԎ@Y>Pi|-aT WQy&2%eeciTD >OL7Bx0GړeŞIo"Y&HEVx S;_I^3{Jk2vunM_!Du:.RQ1LŒk53)akd:p52 &gB4`'$4)Yo}os1,3 AaTҹ]`c>vStw?J365Un]cwd{opϦK'.&u)|,}{nX4 Vg2+c0*Pv>J"ǚl0kV4G ma[!VgakIăͰi|7Wn#%,Bj-vsl=]C?g+YB>4DD;,{_d@^0'G\8!L%~?z+u~Br\HCCЖXv WFoLildڜ[ұ-H/_] HW3=VI?H3l7XzJoy4DR,q,i.gc͆b  I:lzizNˍsneYpSfF5wESk-OJ5DZK"ih"-2+c'\7>hI6y(DXZ |$[IFb,E+zQGymy\FRhjpfF,BJ89Yw1OEQ XxM_k*>$taZݲUu[57će)ӷ1X~;8}xtɗ~I#w KUh'X9,X*7x-ċ;0nduT!Lb $ePJo®1802S"C ҲWHŒnV'%>W#`oi$O&P%M\o6ssRϋ+Rv &qsdJ^[I]`A3nmb )!(Fq)$Z\LEg׊]t aTzt46_ӅHi# 8U~T{&Пr6n@W#wעv-@oH4R{,bؒ}NRe|v,7,߻lYQ{VN;2hI}i:MNq cӌm/eWcn_$ΌG| 4|Lf`r ,;\;q#A{f:1ےr%Q!tYrN-fհLuJk "L`0x~?pISW!,G4EH<_}(/a# +j#uu55=}(%5Z(z_Ѩ+Y5[3ʕaP~)}'iMInͲ