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 66G3 < ]S IEEE_Floating_Point:threads=2elapsed=31.597cpu=59.936gc=1.712factor=1.907zXZִF! s]ŗXf1-q恈͐7ӺV 8'r@ʷ ZxTi>oiTi=78 od&YNt`Y8LPp8(E?t<8  ;'9 VIQ]Ҷasg&Cr\%jk/$zFW-Hf^ b?UѻhFɗ;l(WÕTѬ =_Nj`y AJ0[Qjπqʷh}WUfp>=PT#1tY"Y9(x;酐צW s1Gjm}dJ WTD~Q^UQ,y](ചKǯ0DQ 4-hG̣'FY393p*<N ³ۺ~*.+S|Q.:Z0CKќr@R x{L3Y6pQ(=&џRw&Ѓ۬ZҬ!G!0bȏ2EYַo[6q-JL@>ZҪκ'l`?֬Kkb Ck0փv@CJtY"u z6rtEւ [׃ҥ+L!}R:+G~]4FK$̰r'scqB |d"xG x֤F p%`$E#vfUD@̱gYZ7zXZִF! bW]ŗXiɟ1˦r+g'Dgr>{pNa5RJ,HnA 8~a_ oG i4W dSJgYZ7zXZִF! ]ŗXi%>gq<,rB#0Q'+ʀ~_`m'AmCŇGL A]U2'q0fаIb%¨A)tkyLv~l:ck.9ߵC9W+F T kɰ:ՒS? c:9XmlB&_?sg0D/i;aTAcwYbw;tۆҴ_M!}0'fH^gFq cS`!;џ7!3-jȬ:*? )ҳ;z`Jyb.z+`(EdW/v| ;LԴ&sfbו*7v G,Q.n]tlT-r(7EfC'64UW#>m!2O[d>&\C#]nW,iVHm̷z{ Ti|Ѵ Z'MBiA(ZFΠ-k/)W%AoQ<Iޗ") Ǟƌ ␶[{@&tƼ;`W"/|e(Pz)MV'-ewA鶟:7PY,tPn1L04<:#bx {tSjϫdӈvvb UyO fk8oubtf@ Y^~5쉞&1V[[Vzgx0i(Zj ntN{q:sKjm ܎3F/ =褐|G 5m]ߴw ` Qc"*먝dbH[b_NvGcpq%69BL1M[92/Fuv3MlP?>KM