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  ul ]/ ZF-AC:threads=2elapsed=5.753cpu=9.888gc=0.572factor=1.727zXZִF! k]ŗXf1-W'S)b-LWtƺ}*dCU[Gu~!㯕pʕWzR:r&In5BHcic:0QjfPK{6U!"G/h+CwcKgz&:,#Q͵ LN{a3x_-`Qش'kx*L[a(4`0\@bT~L+gYZ7zXZִF! ]ŗXiɟ98c tؠL\bH.c!i]x y$뭲X CuYP AwL,ܼ?,vя^}{5HSߍph3{J:yQX1stFw#O'M9aan~Dk"*{a=BFT=k`ZwG%-Iǭz ԃ ;|p}hj?xC:5.TVp>gYZ7zXZִF! *7]ŗXi%;F<Ī^F 9W(2+X- jߥc s"+X`읗S[ԴzNŬ3/i4jjBgYÈ"d('wb[Y耤(YkAKBBˀ΅.fΒ7?2l)q'.mec@h{_Iyf(݄MVAHi>~S!x(WwHR>Zw2%/\JL>]"o@]{o~g2\`薔jZϩ*yE m^P=;֯,-9ܡR0Hx39 #9k9ʙq B| axZ,>1 O+z g5Zn?T)Yqc;ŭ^0#pL|G6k?Wɂy %jYc\.Ñsq vKWliV79qHjna`!.N%.:`&QWjW@X#XΕ3A~wt҈|3ZRu{;umެ[S RUIE ey_B󜍭 R[Ȏ wFsʊKU!q9{N,%}ڌ!ڳb9me_sU{ N=/j+cd||YՍRkT%gYZb17a2da6bf060d442f2fe81aab361e0019d6d021d50d23da2fba2fa66eac370561c930ef78815f64 fbd60fda684b26456babcc46f437c22d99729a5b  ZF-AC