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   |,t ]/ FinFun:threads=4elapsed=6.435cpu=11.948gc=0.312factor=1.867zXZִF! 5]ŗXf1-q恈͐7ӺV }"cXH?c;MՀYxs!7wgJ&ؙ_d̖ú(p2_V?mww8ùP8TK}rLG4Uڤ)(EZ9%ן\C6=BAmyG =m[}/Ys ӫ$+Ӱ$|Ώп 2R7zVn!Rm-_ J=|xwfgYZ7zXZִF! : ]ŗXi%Eb⬗zj:ڗgw#)0e-- Llf|Gk3vZ~o htɼlsBɖ y9g]]pi"xHB˔$!M_K* ߆| 0?||lό7~n3oδ_;y~YfRTOрxI{<$wof4Ok> nCbNKtm,ZYT!`DQy;\-O'] d݅~ߺx xĻY[#{6D˾O`N} =v328*)ʌ04{k49O=zLSnlr#q+1J<0Oz`1nV“ژ-1߃k^91Uܽ&B}TQO}vd~X,89gU_ǮLkmq xۊY܍ 7 }q sdlWAr)::Y(ԦhlA P.h'&6k KH6h[q'D o$o>M a Y33^rew7~*ʫO[ؕ~_hZA=yG>!}AqESM_y{⇹y[ ;z}oU%8Jg_9?+BgbhЗ&Euw?\Q &;loI~=Nʘ "T+1kz*MuAmXpU Y"? ]PY|8HM /bcdsmaܪG&E1ﲷE#'c]"!tOLp/[ --VNfud13upfIm2nᰙ'|CwwDB$zzdW͡BeenZF)]rGpZ})nj7awd8/wVEc+ eVCdSa5_Ԙe)?&Wd/=XhĊ5פ|~jW’ c4 9w\