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 ~ l\D ]]]ZF:threads=6elapsed=12.238cpu=45.604gc=2.984factor=3.737zXZִF! n]ŗXf1-) enȈA XR„{M>څ5L1#8?HvNeRX=erbA$,oi7i ՂQ̏$lD`r)ȩ\$Dt`ﭸ\859Oɠs2nEBAY+z#26Z䩱sl fM8D.|_%iz=ԌFɖ\0PL #Qgh:> ` q}ÿ8Pձ6*g"F>H;Wg r>k^6;jgYZ7zXZִF! (]ŗXiɟ 1FE`空$wLPzh/}i uJ/6&^jԅQ ψ N ~8͋>NWgS;fDB=)w`68#!/$C11yٯ5璲fIoǮŔO?䵄1 ѫ>ޥuvVhx=߭Vɱ)4 -4l'"֍Lte&Ha9O~_.f׍v?IsW Y~;~w6EylrEucPP_?Q0f:@fq&RMzVxfΩOi 1F񅫸9[Q$?-#3*i#ʕ@<`mnR:2D9ëQVU8%N x4ǴnV+2y 5Mߖ"p2xE,#Jn%ٷi&#S0}O Lblp8;1YܱgYZ7zXZִF! F[]ŗXi%G0pjU(rR9sT!J$jr()qQC-L c#OWDTtco?@rX?< @%٧"AޕlG% WY?mYub_ȗl≠/7#\e[\ך8QUgzޓP cP{ݝ ?HoMuu"ҕKl0<|e>w79\wwYE fvzWFoh9&tETgJg~|D2Cy m%Y/}:v%Yxΰ!1"+nIB@Dh+4n#-{ܲZ):u-odhË-0ݐ8 M;-! AcJ%hON^eIsMevnHg* Lwir(9%"lyS{s3謴g)DW5v9ncm0̙l [@vzK`)E͵WSpp@y.y1&GE/>f]w: ~9=lMR-\7^+tݘrm~QsB1Jٻ%+5lMROi}p:xjT]%_<>E`*$higߚ劬a2IV(ED_dH;_,w2UJ)t `F;N@J6TH໾wۓ[F?m!ħ_=\y\ŝt&"{ "!L8tw Yd҈hڕf\eL {#c &ڹ"&i{%X]>|TvXlw86C)*JO2~TVr,Un}mƮyMYN> gT-Cj)40HCBHi(kj&'[g#@]}6;tf~ik[=䅸t}COKq7 edo{F,#yP-¯uz}H♂V_t2JݢX (#&'\j߸`ЃfoJGDBqE<0a*q%G[nJS4Criۺ zUn4U>5Ya!,/Ry"L57?%.JlX^J9%h&9.ƺ\-m#=ihM sئ!J Wy}nR"D[Z(7yw!lZdc"|B`jZΏHX ^Q\a]%)^na