SQLite format 3@ . BBh77otableisabelle_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 l3 D$d ]% Residuated_Lattices:threads=2elapsed=26.448cpu=46.768gc=1.624factor=1.777zXZִF! /]ŗXf1-/6vR[Oxtۻ<8(O-H7;4$9ӏ&֎y?y>heJI7%q25xatWн鏙}@$D./:9z9`2~R{B $chi`uAG,xRbX Na;HKy.L*hxKh8|VɳB/AtɘQ)@>OX|6_hlA&\ܨ*(2Ha) LF'%|2\H,0X2аU@Q,={PĚtl) 󐶦H\/$aKKy*vS߶[6NW;] rpG$m(9vE ˵AZyQ|OMrz#4ZDf5Z[G.vzJojzPlxZT3qFzIy4m\mFO~iedZ;xUx/nxG6dZ@?8颇q&^cYwoVW,A)0I *b=ALq gњdk}/^ƩgYZ7zXZִF! :]ŗXiɟi5)9ݻs?lҢ 9[ul+(lY:Yȭ5.JfJ[Xx T_o'دVɔP>aG ]gwAQCru`^6 kHoٕ79>q:wf*R̓Ii:2J||S`##W-XɱgYZ7zXZִF! ]ŗXi%6\WCΒ|7 f!Wa~oF~x)7ڽݠL*Gt~Kw? @͜}_~E]D_+i$t]U(e`# D?vڙK+.+ܦuP[yqak%^0VvصM 7U#G됊sWuϩ )s\SJXiL✛HKdn"4+MԂEhxndf!ɭg̅Fn |6'l'#}q^şwR> s)WA"Spf ة!I[c`uШ8AFN6򚅸'AOS\D9f6'4¿-]d!V4CZO$€T:2OGd!X$]TV7z;Pi-}*m&BC4s^+B\5 Ϙi[ѯ+H9fv2IyՑܒv,,f[>UmmN{)@l_ZM!4F!NeBV4 J#167^$UM1ϳ@wm;V|݁,,q;OC|a'M?2%ǘ0v8x%@|aۇqX jҚ:WEd* hcaib_{cXAI"3@8-CjQձ1?Ĕr `{``ź^b4cWC3IeYޞCG=援}iƑO_QR{WX,ZtbiZT9wݞ*{RϨ2&xllP" _)Ax؟S9V |܌!M?QV> +OꏢPX̋=rQ |~!L_|w2 \GЈ(ݳ\7lb\k^ `h'vW2^s/#MkV~ Kb*tZIL>"Z,UW6`\;ISU_9;k8֊J$K_Eٓ4xp^5P`PGW$^dkoP0w_>q3E@WۊY2>9/h>1.ǮjW M8ŻM+ɪlmX:s YQV@s ҇ gYZb0a558af4c39acb4bc9a2839de2704f5430fbb64e70ee0fd938a0febc474d8a614487240593c9abf 62b865a30afb162effeec3b132b2275d92775ddc 79ece88ef45c5d8ba4f7465d16afaa11002c6a9e 62eb3b92ba884ceca4d46f0ed64b9240294186c7 edbc6027da5971f1a13f690883eb903931987f42 3 Residuated_Lattices