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 o t, ]]Word_Lib:threads=8elapsed=26.107cpu=79.036gc=4.162factor=3.037zXZִF! !]ŗXf1-/6vR[@WdDZCØZ, N,ݐSt菤j.=XA;T9NӊÑ0F8//]y>-;CKvg!N㞓K x/|`{ʡ,w+XAiqBֿA ʱV[Ȋan{t 62./Grihh9v9vM ~wz{\j¡8 L=NPpQklK];z]ة]*׆*+YspMʕi|5[E;s EH'])=҉McįBK~I8DtB#gYZ7zXZִF! tt]ŗXiɟϨ:}(lZnFp]^3ȿ^qiXkѴC9m1O/2| nɑ̣lݓCV~h?s2ޫ"sOr8J\XDžH.8_~WE/(1}<:e׊N %k7.N'BcM{tN ĐK J&nD+PqͶ/['⣻>"%O/ckM]~$!%Yt qTsrVF_%* Ox_AuԷYv]u^MwhVBYE$:O`_/ ̷.uv ۼ%gYZ7zXZִF! ; ]ŗXi%Ee%Gj(v$ݐ1pm2SWECJO610FҔ 92 l.i ^s9$d |8&KGZe;ʏ%]vR yywlI-9ˤ}[Ԃz-SLM ;b#-yF#[Ω32)=Xḟ5G .)q}e L" p 9MhL~H>E%m`aKۓC98 l{T1b/T<`l)5/f:UAǽUV Du҆j*P !1~hx!1kGb\x2TݠN6d+mV_,ӒkduD~2!`M o%,UjR<HG#qbpOOITQx$p/L[z2ɳ6fsKZxmDKzAq fw!U1]d/_0k: is\k3R0< k o?ev 6<-8zQ\F IKS%@Y  s8ʁ®(0L7a%Yl9](& g'cx{AUwVa5o^9%=NvN^UMaν0\+!jD#`XYzgՕ[LacjJ2rJU$.~?52^1D4M5Bao„ WT=]Hm͝1QijUKΚ Uy^i2Js^,LDYAM XVJ|`HW69Y]FEM$0K[*#t_^ J X/a}eاQ Mʣw6Ȅym?Cjl+ p\y2/E/kQ8>ʉu@T*m ֋1وi>O@2ĐxUYce03@YK _ ֭ R;^ wA0\9T|ΐgqhs7U 7wpYӪ^K9%!?1]ìh Ob05> 5~l=8&*Lܫiϴ2P:{m e0@H6z@SL% ̪O\'P}i c1:?BO4(f(p\P1ʓa}! LXM#Ɩ~\ΗH:XL5)l /xDnM16Ư2CzAD$`C,΂pLԩwm{ZbW_V)K '$knsF[ܹ>c% @ks+ ṓY|U$ |*z K}:)!ǿ>qkh6a:;W]@yN ] 3| KoTvDAs'RxvkI'(Z>l/?透 ^@yUĀ|Oo1\*qƍ+¬LFڏCT{zQ\1AxOo6 g\Φ<ҫ0U*+I|, --&⨆u,B_ꯥХn?&IlJF$LNZX*})@+n¥L fR`& 3]v4K5`+6t=m6)KkA!Ԇh)