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  = =@+"Aޙyģ΁K7!@c_u'Qz]IIP4 ۀiy{e}*@F$(qA#8j1h'?fzW?c?BE"'qR;ZjbdpG{K^t|]9.mF}AԊ?eN䄺9 ,n+_gYZ7zXZִF! 4]ŗXiɟ1P ~n8nQLh) un0ļLޱݫX}CdB ]1-ߦQNy8>XN9c8cU$E<% ;a,z@=!֫ 3j?> P~qc#]0.ZbGPV3ic MvZ (-=0\ h 6ACP7}NNTf.i9qgYZ7zXZִF! ']ŗXi%; ̅tѵ݇ 1 dq}褈Xj8Fz/nChL-CGcwg@2ut@Vu?c{aI96' 1S6Cs|H2) *SL~igm PC;-ks& ZmwJ,pGMBHj&`iYn^u yԒP[sRݓ8+fN!~B“tX XBa+ėF Zvq(1%Ƃ",*Q)E}o gTrYZ\۰rD XжebL6)"ÄmV$\6$(L.}ժ>a #\@?.t:^c DFTevOWabg =G-|㲝&$/C  xN)ns$m^5{iUt[q('LEbp{DQ@_?Vж@Z_|_ (PmwCpB 袑3ttm=,렜o1eKrpoO 1HE5_,5# =1Zic0߿XDI/'}nXuJG{5C:ډM=S:ڙK#$̠VhV$'?$D86 T|ɰu\vot(c7-'gIw^ ֊=MO3gYZ7350e4b056864f43f6c57012a9a7f47864948c679b4902f8e8c2cff8739e12b432b794bca1b63c5f bd7d4d62ea14622c8855a61e25906a49ea079dab 3c21f91ac9ef449f50201c922fc6e9cbb3a20685 + HOL-Hahn_Banach