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 RR+? Td| ]/ Inductive_Confidentiality:threads=2elapsed=14.696cpu=26.688gc=1.536factor=1.827zXZִF! }]ŗXf1-/6vRZ;P| ^TZ%DAևOt*;tBq[;viDHK9f脽"&@w`[U ҐhǑ6Zչ=#?Re3|"Rͫ<|lqtH](77<74ҥ#t6e^2[aysw'Y ]*D-"`CqSut6Rdx +!Mq?VpPP,q}Cg3/>8h3p]0G/0gYZ7zXZִF! ]ŗXiɟT~@D yA, ݊>{*$bQU14\>дemvAd\т%\1b\^ EC!AE7!ܒzېB>惵t\lAqQXB6Km3C)r>:F`Wss$IgYZ7zXZִF! Y^6]ŗXi%>gzrCVi'&7rFccwͅU+f>BUH譡l v6Ԋ dt^#q2: RĴn:;zi9nCI"ws⏊Tܽ`{%*(0g=MG|lpm_vYKDQ%;#EO_fgECm1#ybɟ/̒R;찜IEw@}YVf(CސoY13cG`$ȎW}vIa`hBWVݥ fJ6Ls_ a+7zEpm5 o, SHD3`yf´Mf#v_LCvwPtio;QggBiTj(k]Zdavަ,T "f/#ۧaWmCjTW۔|_t瓕X,]DUib>5$iU;3(Sۉsz*9kϡҗ̰]f<0+G)Dtəŷ+$S 'KW,a!HJK@!p~|?.k(cDP