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 ii3 ,,D ]% Residuated_Lattices:threads=2elapsed=27.110cpu=47.984gc=2.052factor=1.777zXZִF! --]ŗXf1-/6vR[Oxtۻ<8(O-H7;4$9ӏ&֎y?y>he7?Bfx8E) ,`r 0a[T$"V3 t獀&]UxM J;Ľ-!m1S_oK $f .mwG33TL["u67'\i]RM!b蒙J]Ό;hTM= L;i#V\MJR%-ћvţ|-չmet/-x<%< D:Sm3gjCsu}P`J"0;:NK8*Qi:Ro"<⼎R][3}U"u J W**j&:'gq椝5hrøǢqP{dFHq-1l]gp!hyWǙΙ\D2s.59f<Q_Of1hAE1T ,oB)b磌EmuSiZHH")ߨ!Uc(Z5I,/rʼnhul {mu( K?:)NgES YsIBfUXRtoզACL<ٙhq {4t X26к(mεR r&hoS({I*== LaÌ6+OpkFny'"l[_,4ԫ/_O;6!"֫v~@DzdAU+<ʮpt [-@6 rx"H%]v( {teguŘCBBJHRŒ?ѰZdlܱgYZ7zXZִF! 9]ŗXiɟi5)9ݻs?lҢ 9 cn,.|]^̶}tqG$OAe1Yppugl}TV4د y<"޾UfFVЉ~x4 5CT:=@?/K ;B^D?s@ 9V' B嬊AB=p7),)( wo:VúwJFڨWbsmY%ҥ>qDͨno~~ƢV? +gL ^SYf"V5 Q/@B-V_5d;o(ea-b mQ<L9\@B)/?>O]EBY7 slN/@&[cSQ%C<J>:T\۞h cɮq+Z̸iNXl,:)=6Rȿʭ KqI8+}Ǯ'븕+p.v:Ȑyl $)ܐE4瓇v3⸈FUw/bt^Gʨ$.oEff(vEZjWHEi^(-sY1Pўb) <9@z*xen tŞ[[N.LlMq&|U ^vvyJbq#OMW p/xGip"7 :KL7מL3W&\c}䬒kb)UJ蚅73F3uM od)ry ֏ksv(Å̈́~[>vGZ݇QjORڻoGox gM*/^!Q6BL>j qM#ퟡEMީ. rBeZT9#ans"Oyޗz M+Z]?KZ\[udׯQ@T8],cJ*їJ虗J*;P4W j]\'mCw$Jƕ ;}\bkf׸0\k-ߏQ~"GI{ flO)> A~Sh`zgM=DH8> , %[;1yݠq^'~L = |?.U?_l`dzTI?%0D gYZ8317c250abc965dfa98f519d0f8cfd922e413fb579d8e835726df87c7b301a8f091eddccadfabbca 3a4e921837e7e81c84e3eeedbf2fa8cd3538b9ef de080a6e9a001cc218fa2593f399edf3cf599caa 45a6c39185b21e2434d10098dafe56ac610d316f 70eb559c98aa54e3d6c31104393827f285b0d30a 3 Residuated_Lattices