SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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  % %PL|< ]S PCF:threads=4elapsed=41.760cpu=105.392gc=3.080factor=2.527zXZִF! 'K]ŗXf1-q恈͐7ӺV ),Jxx2br|£Mm"ϑ-F-G|Lvq"C ,o~mnE :86iL{Vz!Aq*; g3vnu?˺gZʧ42td(*q&2n vm֤%`^c-Ŗ-Yt>*޿xSyjy9! 5*Âr[]RDJ*@=Fo>DWb>cX<޺^ { _QWrm喝ih;5'u S,$} e@'V^ɕ]\A^ 9T}y.[<`(D47ЋHqS2aJ`"O"j:tA ބʁYkNV\C aFÅ3Zo{|ig*C k%-יi*^B,t4Zh;*Q>ZI8_-N׽*tŽ)'Ya z0ة׊ESB~LK|ne~#Ỏ(f*\&V,ڣ?A3pm_ݽXD։{AM3ʜVHoLeưH^v\sr6zhth*gchB2YE# P_HDS*E?qzMU=<FPPx Md$ruӵl#`!T^{ۭp!2ZJk]tO/&Op Q0߅6}@vcFLl. [p=BW]V__ͶgJ/n'](Iv}*Ha$S $`ǥAlWwɶRAIFŦN/>g3/Jb%&m~0+K]TvVvxFFRUlpϺr NrU\Vi4mG㯡l`1wXt,8-EpLQaKT=5c( m#bP?6!@P5,koԞXLT.cq&QgSCBҐ y~Gr/ \l\P5 T5)Ra?2. N֔gYZ7zXZִF! {]ŗXiɟ1˦r*E$O @zֲ_}@a9P}B3]-KOOC>]ԃ.~ cNT\j^ ӻwxni&pq~p44BeD~ *YTY}}?wCP䟳NXj>ڠ&A Hg(՞ Wݾ!scV̅gYZ7zXZִF! U]ŗXi%Eb⬗pH,om([jbp%W d6гݘCTLTBcq6%5"SP<R{HE / jGTyLЌȢ\86x(FV=!@y&0E|Yh8l2;Xn'o*a u;ul]RCzD`kT)T<c4,]`rln_2  J-wF,oZ,+)Q0s@Uz[F1צeF|蹺s:*I|3gpCqscήj(g%קf-Bo7пQ{ַ9,^9;6)@G%XMPWL(A·{b_&kxx a+pch& ˈ*4jqӿI9&.*y5k'NuxcpZ}[RYx3f?=6hinGg]Jp=>ɠSO|F@9KuIdk[=эQPBnVN|  & }BmE~6\ݻ FLڈ!G])2Z>-ۃK.ruwMYrGQ1k?lX% *pV661"F<[h, ;n39ھ-)_"dƒM-(354vp%5beS)yg+a>7(6\N͊U*C&BO {}. yTg@~ʺXw9$->h}3a] U_CIa+<{ͰNЭmq4VsE|Ƌ!CƟg׎Z9!U$$߾r`yRJ)VwLHu*uYl^vl,g$EVJƮS8w4ņYI"빢Mk4K}E/xC-`~;y۵h眔.7bBZcv!w*kU:FUR.] `啾m| uvN]rcM%ֶ 8n*RllTV7SOzrh)ʡ pWǗBUM '5(lDM>U) mӥ{GT 12Xr}t(EJOxYJIDti_Mm+*T dN_D  ysA#v#6UxZ`8Nu3oD}7B떌C.}efz0ɨ(R6&i n˭nB`(R?D\[Dm٠mh>|52Wb"@;5KkhVD>Ce&c9j;5V鲽~sVn/g#3Җ ʘތY~7]lk0eFij3o$v9Na,ApϠ }h]!?"w3^=5LTHxFGUnSWLԡcRufc t0.tTle_ax'{ yqu!k{#JE/xNs(Uf-U[n~y(W QlH7]n5K4 h:cT)ЛtXw(js164dca8Oj{N~*d4>yQ*+%b{Z4uz<KN:~nh ; 9=՜E0<9.Hk[p %( 5]1Y_u%ĝ?q%% ÿ`eŔpoP' `Wh(ZW蛭+DZk8"4A]cSޡ&&1T(vGܿ:hE Er]T3ϗ`bSR[XwÉ5ރ# LIw5@hJۂx&:^t>z'GB%A~gѤo b'6hHU@+H̗+;)6@C`