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 j k &H%I,x)N0j.wRd:%|Sf#tﱿu 'ࢥA~-hGQ(㸫G;J EQmf38'皷SFG|9> cv 0k!GǥRHMo|tEuv αi|I74;L?äw% ۷&SI`N[Ao==s L)v&4=\U~4۶3A7eңj<˗"eLm^w[|݇fg0&BO]1XE]\ĸ-P,VX*]S]od=3iV sBj3 <u="9N}Y?(tŐۢSR݆D9| f2^nDo#-f( EegYZ7zXZִF! $]ŗXiɟ 1FE`u{Hܧd*ĞS{#b6ұ*%<n j7gom9<0A3S_N]/3 79R-h `[6哣]~6Ef |>ooLs x'OFTx2qr~S׃EѪxߛ~9Z7e[B[h4]e;2g*j%\2!DNy+Vd=,؎ 𥘎H_#Q~S%&36Q[)E07pZ'T]hԉL0BCRM/ l*ʼn\B 6e҇z"ЊnLi`0Njzӑe)e$tݣJA&:j򂭒OK?y=<~)pZUT*~7)JdR(mts6Up^R9 yٔ,w<[0?q͜/{s-RPkCW/ c֪R>m5wen^ʹOjGgYZ7zXZִF! Fb]ŗXi%GȆ)~Av+؜tĹFػJ$)I f@vj m]b.0vxhY+cUFz;TKSx#R\wy%2u{fO "~-xWSmJ4Ҿes?6@A_lz}s=!8pj,=g sFc8C &wIN(ǝl3]ͷZ 28` 3%ܢ lmmsGB5j9F!#122XR<#֢XKQһUcmHTЉ5O3=x ԙ/;V<җƇw򨹖'z %TZᴿ?}F퀨um6ّI^CED9gl %6C'JpmEKbLAe1zOtIrI:n Lul|EdgK3X=ON, }9|Ɛ@ρ/FsS< Z#I14ZGȜ!Jv_ > 4NJ[Of5Q'c:N3n