SQLite format 3@ . YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 , m% Residuated_Lattices:threads=2elapsed=28.938cpu=51.648gc=1.540factor=1.787zXZִF! /]ŗXf1-/6vR[Oxtۻ<8(O-H7;6E(|5g^Y6FPB06AGhV;&l@B|^+T͖SBU0Zj acضdXUL8` >͂ d3Rs2bPS-H}%Goe $DBG}}B GkE7u泭fkYRtubݡ)TX4)S[!&Wk^%.*bVwA:F!j$%4f>w7Br:^p9.=MKp5#-тD10Κ\ہd?OP][svqנ(E)+g FE+CeŤ[{w$Lvo+ ?e$,'ڥ3Z䔒րM$Z DiЩ{Z<|,tAE7K O@cqس Ő8^hU`]g \y&dOYwϼϘy4@L4nՁ TZWGe2G2lWZFӚ1|eJ뙴4PxZk@؞q@iƇ&88"i|Ľ(KnBvA#0%F|Q\Ob[I~{`*O)RH/[o^^2Q4q2]m8;Y!t47 hv0CDΣJQ@Hb lb`hhwCe¶t>ֺ—ы^{E]dt*zM'ʀqm<*t6-hoY@ݪGO @$ : o_*{gYZ7zXZִF! ]ŗXi%6ב -B1lAJ Rn LkUUΜy'h;Hez|:n{ 6]ݼ[y%7g^wP+V.[~á*8:Qw YZUtIƒ ,We8I#jՔ5$i[eQɮ¬zlj@Y-ӅeNQP[:ZDsH,$֚ؼ4gLNw`p ]GxRN:Ur{&ӤS #/@l.1j:R@?="w1KݲЊ3Q]_':򾛿Ual2 ͟|('ښt{S,^Cmq@|\՜rj˰ƕfHk1bv%$x\Vy%V]C &,[ P%HW$Xe, %`c-B1Rї2n ~ u;s}ās;b%u UX#Y"yn-7 0v Ʋqgr|NmG)PeY&2`hoX?0Lo^q k6Io%_nwGqUXy-]X,f`zo'^bIi{zDslTL)6+ y>[}IJ"QL4Ȅdؔ%zOl$ڶ\߀ty }<4XX@4`OW|rI qOnuAs MxO*uMսIKʆzC[<@s+ݦA˫?OJr˪UWqm.CQMӆ1,;$NV?1>b;NZʵAE*!^mJ7 W15([0ԕ:OZE(zxmTynrˊ0CYp{Eu !Xb6Z6IiWjKI '81iDQ d uB]d8D)O0bC A)Hy#ln !(70װ#(( BV%YY0V aY 7u;x[?aFD͟d)j7fX  ^nnDŽ>By7ŘK`4.ybDżm̫qq;4*ͯgG#hjX[kĽ^eP)!o*6qJUC:}4ned;A=b)=RʣL! 8bWGU$>4}VŇ2FBÿ{g.5W↉pjIۮ`xSGXbinh4 g+Ì5,K`'& ʩȯOa(4U