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 3 L4t ]% Residuated_Lattices:threads=2elapsed=28.105cpu=49.304gc=2.004factor=1.757zXZִF! +Y]ŗXf1-/6vR[Oxtۻ<8(O-H7;4$9ӏ&֎y?y>he7?Bfx8E) ,_ }Qky;Y7mQ1fxI0.jq!ilDP]"TL ^D?Xx[3RYB_-(8 ?63VҿZW%$.*^6x{Wc83qm.ΧCg[U}Ef6ĮHP2?/z.03R"r[vEfN` rP3zuV0{W~ ^%Y%}>Wc-Dv_] ƫ fQo Ztec$qV@#YhLjO JetfE–uX;,Bm7!+W2HL냟3e'AXAʢg\m?;f;H*n%5GǗ,pV!3gYZ7zXZִF! 9]ŗXiɟi5)9ݻs?lҢ 9l̂ D )1{\uys&֟R+ A=A^읊x5]x{pC~.R{Vb$,d*8)'>YӤl>$’(ؠ+c?FƠ`tl*2z>U_[)!gYZ7zXZִF! s]ŗXi%>g$/ň z 187tu;y4? XK1-n*h{# >FaZ:Z]E<:ùLwzR}W(cwh]t= (.a)7~zurOM5܌VLHnTsvy\S2>n1 `9*e I%%=9G} X2j? qu:̕GRiX);W_`JVn0+ylbtB mGPbzՋ3j7+JGbRe,vh)1aj$&MB#FIˋ2ea8`$ؓةCK\\QN|[bjcyvSz{Ķ*A$b`XTe'vV֏ ҎMq`E7@]%gkطrp x)v2yلXO##$ Ӂj(dE8١]'1J>X UN|p4&ND,Hg$Zso<1H9NH^o ɼ;Y`,q^*,)~!\ GĞ~8S0FMKE~k4["zֈ /R l/ T?滑%q8`JJK6vbP8q#Ӥ[UԓOGOy^׭BR`)G_`iV@;V=OVE7޷!z\QJl1f|Q[b(4-KQ ͽt7Ru5u`:N0\YL!V T?!u\PNI᱀lM$fOf*{[adMJ-*j~m'ld Y/W~5Q~->"I,VAS/D9zAW[PU)i}䦅ILlA-ozӛfPrrVOHJ-牪mA9u19|>\8&7+%\| Ο:}rydjĉ5f4E-̵ڞTӭ4!JEJI1pphXo -oIIt @@:R Uqzh#6g8G6%o-f{>Ŏ5;%Nסj0a!_\ xWA>9X@f<3DUK_+?>U/zo:*A(,iZl-̺=Iۃ#͠˜]/9H JMUO3ey^gΊIsq`ષHh`"ԙ1vsu%֚ bL" Ȃ¿{0m (Y 4gYZ83547b7eafdbe446f47d6903c6c21a119d4345fc767d1abb4385cc0848829909014ec5284a74f26d f8f7da93998fdd1c52e2a4472eb3025f88ab3418 88b4f2682bb4f2e725f7b620eafbecfb10667ae0 ed35ac83d43adb3990c170911b844d77dd2f6b7a 726bd2666fed08bac6e24dc5e6931b3550602cdc 3 Residuated_Lattices