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  $ %S Valuation:threads=2elapsed=65.552cpu=103.128gc=3.476factor=1.577zXZִF! >]ŗXf1-/6vR[ldco^IrT,^'&$vҜ+A\'*m65vZ%&O!,9-K~" L }q\U!ɥLņԧC [xJyT#5<[a~ y@{)B-L;K؃<5D0.x_H]舴GiP%[GX:t1z F/hUA|FLG/uju"oHsSrq j\Hxȧ}YԖLzU.lv.F8GSNx A4*+/zC_DZқ;JָIk7o.<Ǣ(M,ذoy1q~=ݝЪNu]FsZla]3+;`96)!h= EM!JKgi.߀1㟅7AXjZ{ś{ZKhbN<ºɴgۡ)JPJqmԁE,mgH飖ai혚l Z|IZY2ZfxS4h= 6uy:^ȟP%]qh鳖W0\9ɉ2lrK}h1#&tm'E3^ܡ/|aUR ңCLveBzxFПrk E1#ZD-H) Iбl%R IҸ׈[). `d+bTB+χ_ AT wdw@9~60UHI3jo)`c@}.rgX6SɒkYI3)N|XsUg`uk0HH]1r :]%b$ {Ʋ:0Ey5PKTp֖i+GXT0 g6dϑ[f'%6GxEa sxJGq%FXu,$l0Y]3"3 7I_~4!䞈mt.9lrM/ֵ@x"7f:)Z2! 4˧ߥS5BGdž}W[ \x{e.Ln}+Ȓϼ0 7=-$?[W=)˽ }}doVgQ:iӓ`!]Vv~nU}qBE`/. sQ'_d12-+@Y& plWx32^v&T|X%fL# |cXΛG z,.抈'P;PKϠNr/-y@DLH“C =\(XG($N~<OϧWTҙq_ [Umx8U!1GL4K@dBz16f˓aM ɉ}S|(I;Z 0lP6Oݮ^Bx>-R,;[5rdg!H`^ΡuOv._3;(#L@_SY:ey5I$zNp;(-2oH|I( FYl]b0Աڗi9f)B3 g؉25U_CTƂ'e|5 tʰ>ᘠFu>5"@FeEg#.ʒ-vF8X\"qUT2֓l"c?rߥ])0Yl<9z#>iJ:JCXЈ l~턋O t´#n\h)mQu:@[ᘄ2.o,?ܨٮ{ekw['.汱p)-??tW_cV E`H}a*ڦ(,w>wj.>x1>Ef֮pf] 6_/"޲+_್" -ƘU _+DzZ,=zkM88Zxr .1LEUdD˯ؼGJ ?:n>Rj! ĺFjkeɾٕ=#khO10":Lu1T0[q0'a ,M|C>Ǡ&@ኡ Cw?/ʮbf oVth}JTm~H" aM-]ZWMD 3i 0F&̭k~-`*}WI }t'/O26gi=/ǚgd}4M%V,)Dӆ E=DQ\âw k&0|I\v+rZv&iVyҲ~}ΌB~up=_#8d`/ Oe:vɼ!qN3 SpcfWԡ?橰?|QG812}>V`}T)$ȹ j ِ) d @λ 6'`[&[-q \ ,X5hwZTͤyp gFUk_ [-JܤV_bڰ K>qv.D'C$vP1[up,fA j sU("4r FZ