SQLite format 3 @ - l l B77#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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info v-dI% AutoFocus-Stream:threads=2elapsed=81.811cpu=145.056gc=2.456factor=1.777zXZ ִF ! ] ŗXf1-/6vRZ]](5øF<Ꜣ\Tp+LS)h2)Z@ldc6?i,pHVPXz-K95ٕUEee䓀Ͼ3@p'g>kZ\iKe>(D2\vL%h|grާϊ~hEN+5cM=<#j4aZoӺ ̊ˮۥ;cKTյ9oSr`!qlKZ[g6SPW%Oջ_!DD-B ?^ij1 Pr+Id@& A7TφʾޓH~U-mEU)Fk8 3.Q[+-~a
ZQo;L*b`" R l{%zAG
$؆kQ@
Xt-mؘ5̏sd=`h=Z<
nʽI3'=To1#`yOlv@}{
- AutoFocus-Stream ]ȯ䖨NI`@<٨Nd58Yga8>8@mQpwZAj~T-8#& Y&k~,!Ȫss*4V$^y=,ubnqK>a}@ <RGAcPukK]DQІ
⎁9[2jʄCVhaof^W1
H]yI~9V
M
eu_cNL{ָ| 1 )'Y֞xXȉ<\.'Ā-7yU
J7+x櫈*cB$\:ǓY f
lG?[^)
N]k#k,c#?1?76vnuO8\?nފqۍDp^ɫN4K$RCW&wv
)x6XrF>;^>FY 8FnnD!J*;_+KjSYhF]@Æzü{9i `=ɱx&za*QT0!7 T.dX}Z'_Jg1{zpck̶oCqSyӴ˖/4T
e7oc2AbWs/dPm?s!ckIEId[tNZ%'Pt]::mDH #8"k1\EFߺX#
ay0X08҉b:uD/@=:כ :b߁a5xϏ #!XNDZl?8#Þ์qٜ"+(Iy#jjfN (RՍ6բ"kk۴3S U
4"@a#i|tܲ Et*VwQ:}ϞhB.o^dA'KaӰt/ȝBY(
/:
/$as4k`e!y)
tS@Q
6Dė!k,\}x`ͫXod=$Ժ2KYhħpO6g[?$s5Аu1 ߂(Ԛ5*C mm*q7Џ=+~[
oC߆QWj+8mxDG3 Ǝwt:qLE{^'iuE
x+ïtQM![=tjxYw33DFVGS3|3څGOݯ67rn)R~y`
Ydu~;Xz))|$
Nʑ ӕÐ{Σ@ l=O=p ?
glM/zy$ؽLp x-f^Zc3>]V/}$cնb!Q1*`aNfЀb^*M{AY8$"[i6X^K/AO4f1u-(d(dh)H83J-plcFD8Oƣک*JFkL Fvࢷ!a`vߖ]]l+|Gsii;f%(QNi0sDӇ
u`|B{wXĔ7C:{p1=O\c
9ѱFS&#
etg K=/Щ(j=մI'
!hC9d,Bi5]z6ʗ,61;e}YKz{~Uo TYDpS[N,@i]M}lχK 2cJ5 S
0)kjqyBrP$W60ڷǂO1(.K7omft97-^?)q9f!%^+IĚ)_d<4|m I۞yυn>; T%MBp( 0gGE#Ghf,iK@{V"d{<
C6bHο E%=Q%D5W$?XWRA