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 K7 T\L ]/ WHATandWHERE_Security:threads=4elapsed=24.787cpu=85.812gc=2.844factor=3.467zXZִF! *b"]ŗXf[&jӯB: ϨGvAq#2QxOJRظ7J1TL?Bǧ9zEK"u)*k-Ȳp߻}S?}kB*Ň[V)=Oi?vKgYG܍IޗQ)M߻6uYu>T&@׽[%ʪV(?8ͬSbT>F%5[ȍLm%YyJ5@vPl$dbg#jRd4*fN8:gGfQZN' 9z/]<`,9} e+0\$΢ngdthK 7 WHATandWHERE_Security  .v:#8E{a- bCPWŬ)>Sl /E޳][)^cSr_yJ1_wlǸ\^- ":9R(jŚ =-O|^>W&5 ֯!GU#s^q4oCZ1$ZAh8|TP{ϱ3ˍx4i=6m6}1n1ldWl4*ZsB8Z0fǬyQ+(J;`H, )0} lvj@!hᢾ:h"~L| e`vn7sV, a`*yK}G) &iy6]\$MfyGF1ɷUd2WOM` c-HW1t:&C01$CK=̛ !5BT Iq|Q{\oZ=8um!cR960۔A:Ew͐k`P!oyM lpNBorXd߅Du8 ًzNXa05\&ۇ\~\sZH t]39Gp@umeB; q =#eSz> l?iwW9\0腬 ;Rj8cԚ{IBm,ώR <ʼnȑA|JboڇZ J-ǩ6 DـE{y&{!4#~E?$/D;# Y^\%]ۯ9- \q&!RZ;n=q]R͆~ԥZ P{ir1K9EyZ&%bjQMr1y<iډqBg+Мl0R%ѶlAE_L3 ƕ& s!jbeM5,#YԄ_.W)[n_G,RcPN"sD̈&id0 d}O0*޼ h:Pu@v1aꑽٲ'Pxt p(+vVX{q*AUNL,[S} >.YCBIbnC춟1ⲈNp! S)uGjs%.| -D2LBф9SXT%]S%Ǜu;zU43Ǽ"zÏ!d=|5Aq}0p39}wr9W" zgňv*+V_"/)NLFoR~ܻW:"K9rѲ'(_7&E?[- }Հ'>+%g{zYAr(i*`l_ : >% f=FL} <Cpg+ L{gz7b);ֵ#>B%ԯj֥HMɳ1"EAm(C e2]&S/Cc@ cO1]Ҡ\T3s+I ~i[~ vR2 [EXGBX\ͣT0?q9.UýΚ\*s!J{F޿Zٟ~cqm6ʋ<3DZ 9=~ Y,\yNo$ zU+KK (!Zf!q5@y:ArK7Ŭ^keCZLanzKbry'X"RٟR'җ-HRl/lA${$R(G8FQ:+FH!}'90Q" bfZɱ>kt^y?0dE!߶k!ZQPTP:kj` qs5ɼnQv?tw}Z8Ղt1wzZ(aGcApnl]|Ϫ<Ӽ"Ťw!?`}o8:_`^ 5SM]^~R L(E_Pۄ/\c[H0I X냱;Oӝ [ua+/@L3Q9|>@Ehӷ;xyf U"R\SlAv&}MY MQc,`rh13;v 7I\i $I}*ηx~`)zBPHRr|fsF$k`ur87sȎB6 Ø+} :#BHLVN~r,@M9F ̓Jj;%yL1<zĢutViʴr8G|^@=k&ؗjSM wzǫ6|n#ܧ qRyfw7".+ӊ˓K:tSQ+i78KAI[ ? e5ԭԚz ߀;eZf狏u;sA=ϻ5'OtKf!,{-K%)hhŝWklPITL(a,pͶ6i"bCJ ͣQST)cM&k]ݼWe>΁`68,A|՘Jk \ƑfпݺE {5Ð $™d/Yw ʇh+,Q 4C'ך7f4$~+quo#+n_Q gPha1""| {=tqv%PJ,?G