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 ::C/ dt ]/ HOL-Types_To_Sets:threads=4elapsed=15.163cpu=28.912gc=0.856factor=1.917zXZִF! ]ŗXf1-q恈'+]&29?M )~=lЛvLP(Sd2ZbU*_Vo2X.'ݕVziɄplqTߑ8F~ܐS5EDo)1 T phAtd^+ȣ9wr efϣ|W7&86Qg,6Hv-(x 2Dg011e>sM|GrbxaR͈uz ⯂gFG];ID{7ʳXL3?j 1UhviZZUx[P!xI 8qDҰƫrI+Bͤi*dKsJ2''l@cK4(N1-p+²? fNT$,_(xe3ذfÚ/bCv*4/zzN).6X&`"ogYZ7zXZִF! O]ŗXiɟ1KwCe ))+eWi`; Sp3=XU١TF^~]X>Q u~y3+RnkOgK>;gEc$Mdsqq$%佚w g8MMR64u}G<ྃ"?MX`w "w&uj$pgYZ7zXZִF! Js]ŗXi%B4Ȃ 9G^YCf!pPD@vA^W ;R"q]:tq=R+ބ <ؐ]54zB3E5:mWȗqoH& eL&!uGV{;@uXlj6J Nb=P_^b9$&"YTomhڌچ4(xJO_1HIh%ޞ:Q1D%è /\؉\[eU^`Ӽy?lROiTfOW 5F#s{6o u:L C~xS =-Pgk_r[)Ę]_ E4g'LQHnQgm4.ZP91v5\zƒ:]|wp)Sl3]7 hs[`MM``Sn 'D Vk1DPo,5XYh\BKR7`F[:ѹ^u21CUڻɑϣm7U;3s.Y~qI癑gN6KfUR!&@gpz>I\q4{XQ8zL*ؔ]y b,H,?JzGG(M,X5~e 2 IrH4SSY F"P=r%u "֔Tۯ|m闭ufA8-?1P(&TO^>}<ׇFUEeWoCrz5Ȟ{\3fvoOH7n$K