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 ,,Q < ] IOA:threads=6elapsed=7.211cpu=30.980gc=1.188factor=4.307zXZִF! ]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K kg(^Ho\*)DSHňgwٱ__RF:p`g.w6g{ƶU#هU L)LyBMʟn!ᜧ>뉈oTn!gʜY `]# ,Q'6~9E'鳹>5Ah_QA^u--[1c AƔP'"_Kn P&*T!vems=o@e\{0pBrگw1FkMG6!UuNoPq׫ qn!*un ڞ5ϡe \7 ψ*/%#ũ+HE%E@Jdͷ3`;Gqlȯv_MM>VqDm' ΂l^F4cT-̀|ɦf!5sO|V |]jxZNtjL kbA]HS-%@bN"f`cb0Ƒ˃jR8ICUCI7bB!I Z͞E!].6M{'\Gp\U;l$3sWCzaAeNmUYh[GG{'uka3D{zP$ΟXk\~`/( Br }+gYZ7zXZִF! &]ŗXi%>I&4pt-R,+T&P41q0R#ˑ l`xro=:e~Kamvf^JoL[:*aD_ ҒO<^FLv Y*z %>}6%)t±g-tuhțI@ M'<æߣ^Rփ6b=\J.IW;IJ)Vn, 2Bl!yC tN>d/$Qo3˹.))_\{\\wdF>:aoPzyɂEJDL3 Wh m9{| v1 LϷisanF VMur표Lv7.~>py9^#s=1U} YQX?bݢui3:L/?I.zmVcZ9v/0PFp^ B9g>m]u#AU->AdGq=cfQm׉dp?X/Փcat61)pQS#}5/S#WÈ̡.՝