SQLite format 3@ .;  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  9 9<' DL ] Myhill-Nerode:threads=4elapsed=26.754cpu=71.236gc=2.668factor=2.667zXZִF! _?]ŗXf[&*%5r+=~ȳL\Th;% JUO4Ub<0eʵGv5z=~B1Us3aRVsgYZ7zXZִF! P]ŗXiɟ㶵fL4i=J|92ms;ә_t6Gz/w@ݖw ".i\' _{'<4e9XٖDv徭Ԡa[Pz_uKXODmd4"?Z &l Q= ]bgډX<7w2_B-vLis ٖ; Ϋ=s\ql4GSIvJ@ɛiMz"s.؀ޤ<8:$:z;J`G gs")}E;g>6*86BI*m!Zitr?Z|!yP^9ϜHadsm2_xk"@^riE>q|W]:>?Cp*5zs -׽]S)h߁ݰ7 vg< bLb W'{]9w]v"ȃAFb+mQ-gYZ7zXZִF! ୢ ]ŗXi%L 0I3bV=%ݷjBxVKF-ԣo־mM޼Cqi#Ld盕3 `8sqڥ0zlvMI V-\$/rpЦVJ&#] xz[C@iϸ g)|G_^a( ?P<(O kMe#W-2׆G;ȸ0hXݐn|Qis2Q]#~εolE!Vg#qǑdg]Ftj%:K|b95`(]p %رCun+Z`D-&5x[G0{64 ,AlM0r8-HgI8p X4Ddt؈CnjAʕaC,^rsJB4a~EL`Iyqm,Sb[HXu~?vD\#W u[8Uy\8qtMCQ\P8ntfQ>T3!xoF9Vٌ8D0 Ym݆W΀Sowۼ{!7'VUUU>EVf*?- V6'!E{ՠA͜V/=cq-)hk Gmsw zϖJWsTҚu%ѩFU(/tqj6 _I%>FO?H|Ȣ[?9S/Z;q O6\"3KGuGIQ[6ZW9Sd!gGeb9$/Lz`g]^Wev׆Ш!-88@)%d|K12--ThWͯEљZKFlQ+_'tV@%m4<yJS|iֺ )g.I,Wx!bz/%P/VFshI|P@s^p qmwqEZLZw㝭l6N'hj `dn߁j uV%Uȫұ}eL+$:*>G0I3KCP3h5Pe 섓fмo 77MECE8CIFjr[nx2ٱXB|Ez_vEksD*˩5^!-8#L_3>1-|{-Cɀs1;Lm4n)t,W2;zqi3 3fx\4_%Q3YpI?Yuj1vDv 쪆x9X/! #MǾh!4Y" kr|xC ,lnizo-Jd54mr^/XbՎ47ҀhPU y\GyBoEXkU;Ac"d~]hgGI" UDL=ͮM`U4e_3|l|ZCn;erJR|/Ռ\43&G(N [Sle7{)jwyno"y&ԧ{Y6K̴VT\赌h w \ 3zldj$D8c^W.Oŏ(~x )/pi[^E4<̬:Z3~Älفt(4.UH+dd7l/x}MH+3Pr5-K=XmeMr ;ԹB٪dɇF4\jsw> 1.8%AD偶[a}Vwٻm $CPʴRF>+)a&h7BJ3>8Q_ .p{ţ{үH_ C_";yӞ"kh<>LWnwfbK,ȩ4I۠R=tE\e{Az-7Kwk/Ao4"a[a]H*aOjYKv>2Ӭ m)NDny9b In-UT֎?\ ekh<7Fۉk0