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 y t ] IOA:threads=6elapsed=7.148cpu=32.076gc=1.636factor=4.497zXZִF! ]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K S;jų/9Y*]|@@aM\Iu!C!3 _`=7 YS$#{ӏwtޯ{oWD&]|lgDd^RSFǗ0͟ S(S"ˀZ6,^V$F\Z:*rbr1@hFw>]&g[ ~ԥ`3 R9F:7(1Rm~h!:Ҿ?]ziȗ\0A*4  \1~m_f0yGFǯ Ȏz rc;ҳGkyzLjxyGѱipo֊YV&֊SouDWj,<Ƚ/[32;=L2 M v.8\Rr}>ڱgYZ7zXZִF! `s]ŗXiɟdN'LvH۹C<" !LZōZ Gռ l7²3e7Y oE`k~0^$tS!Xvf[qD NFE .ؕca[ɡiӊ->j:[+1#cޖXt2[[z~[}R>&Aݧ|$vlI*Iģ![@圹 Si,/ (˘>_(L05*b{_j;Fm4 vi)Q#F+~2ڕ 7R1Y -K8bej o?^T |L@+}j0\,gH;Vfw@0 GgYZ7zXZִF! )E]ŗXi%Ix[*crb=JX _Ղd &,#QHw*\XP(kآo < K er40< G4nqR6ۡ!ͶlG[0GZ'3F 2Bs-Ddb7f7i=N8Օ`4-LzPѕN J֕ 0P'C-<8 %?\+ ;4^XQWUoaB6ϵ՛0FV1f>' .Ȝ\TщC_ 5G[+5dzTlNv2' B7iu5K`%I R(*AqUL%\:EkxEgW o;I؈<~[܌L +E=)3P8оT@E*RFZ`ZM. jOC̆/ LoN)0ύĥy\/[❉ȋz4UD%i@n J2* p΃kKz` e U$M0/3{CO>7ܱs=|cEASo|Y.@d(<*fO5PڑYRPp?!Wq ~lEta.Qu̠*߄m`cjSIȄIvvoZئ))ؓg_X/s ]+&iu)?)4XPgi@vD%BXp= -kbdbZT8nJCC]y8e#9ȳ~p1"h! w,aƇӝ}