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 xx tL ] IOA:threads=6elapsed=7.179cpu=32.344gc=1.440factor=4.517zXZִF! ]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K S;jų/9Y*]|@\S-uMb'@ֲ6}@ƴ2lj6dX@}a4#sՑuQ^rpSFXs3Q6ĮT/Dڅ~w?įg-$Dqe nI>F̯$'tex0HD:%%(1kpΌ[ǧwt6PܕMHvemΞΐi77ʥ-rD9SK/}#eYl:K?/7m}}_ Kҋ%.0]\)[p{'tZ\%[8/4rHw Y -ʊ@]1a`KT|6Mܕ'Y$<%1|AzխE ЛSb)ȒP[)0 ޔjlSWv([yr Bj익2`aQ1x.eKVgYZ7zXZִF! `q]ŗXiɟdN'LvH۹ޡ>K^ד,מcz.sf e-̪f]fkmNMl4 %C\#Vd{V̙JZ:Q!װD|ȽĆ-T#|S/\?L1}R RfF@c)ɛOILT)mS$ ^X%"Upc{"V EgYZ7zXZִF! ,`]ŗXi%GÒ #VQs7wRᏇ1{@Ҥ+G;ٲ+ʯqbZ|?~beQ1t7+D`^Ց\|9ݷ MӗD9Q GjbkEɗ8N-t9]k>+1߁zpم&>4ĉU%}zI%h鹻7&i 51I6'$kBKs%}g* rZIJMD;Ըbk^Sg,hLq=rLQh+}VWxV3oQ֗#&Q)1#3=xuKew) fKAqx C%]Z8B4zfX`0% L\l\}-RNZX(3_*vVǁN\ӃK/"?QՆXt4$wA6% -D) 2j󜎳c/1hGIVҺ_Ϭ?~uWmZP M1 ~="!f I?{ྮ`syLo)Г7qA209X ٓP 7S  ,/9[vˊg_3 %%>3pfs5ӓph;>SMnn/v鶆!w,3o}d*N/ MfmjΊb,"YrxϵE-J"B4VQ7p.Z1b ?My9:M'IaEZ` bjDPJN4=/tY*:gYZ4a28f45eca0f4f0c5472a667fd5b5af1139e1a1a3738d534707f79e4c97b3e4cb327db955945e3f1 1b19ede38a286a7fa7c377dc681da41f766449a4 49bf50118debc9ca6d1852c2307892dbe2e722bc  IOA