SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 K- <t ] Lambda_Free_RPOs:threads=2elapsed=17.501cpu=32.976gc=1.424factor=1.887zXZִF! 9V]ŗXf1-/6vRZVO[fY1@i3QHl%ށܒ,1jT^~͖#ѽʓgVA^!QEDApգJi$Jl0oǡ|E]=Np/+Xr Y+?+%br7Yp*v#U_8b(Krd])&^ gYZ7zXZִF! \]ŗXiɟ1?ߟt;9HK?.>e7"gϧ9Ie;4ʼn!|T;kjD*^7n0#e2F@g9 03O TKfs@O6L*3Z[KWw$Ƃ[ N2>ڔC,t VUu&wt:܎w^f]=z[w\tR١Ս|n%OAKoĞe֊L@Zԃ=]z\GNx}xndCha R\eT@xOfFlЃ>wq(6UNϴ|xI W5 FS<A_"Oar\(,GmA.v(:z4Ng{"\Y$(/<"=G 0+>{\ۿt29]hddv{]!ēMxm᨜U8h#b*fSC0XPOPAx&bR\)pg&9JGڑ"H/>Uwc2[12! ٢!:я[4?ޤ5B̥Wq*m&"ps)%Y^"ᏄVT^}ǁƿ}!R)=]A*tQʭdڍߢ&Q(דSSDނ] Oǔ>V{vjFdӕuR}fUe2ҍ ?P3^L?!g e'&g✾n`-qh2 #F@qZՓk8 \opM59yTis\=w)Ns:S**FGLnɦɁxyja-p>юj0:% PFQ\+ޕ.yxOXH*P{6\S޷B`a>e*բ2mPw{V\z|0ؕʞ5(6uW>[Z)üTx