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 M1 Dl ]Abstract-Rewriting:threads=2elapsed=32.820cpu=55.616gc=2.780factor=1.697zXZִF! ]ŗXf1-/6vR[O CИRO!,<^6܁|kO/gMRg~ kj'c;%ZA-zX2BVx&F'l2oEIٲ AQF.-:B,*ll ۞K1[ YoK(w V,P}>f0~¯bBMx&jϗ52]cq+AMo 3uRzDϒN+':HML=e/Ai'-K2ȴޣanJ$218ޖf$Mt:zɍ^'`UiP#zkjLYXL4.JTw\ AOx㰜DPK`z ?>X@|7 i׹{C܏ Z"6MSeM}RûdNr!ރl}r9YTK"y;tmex|BE/C:9Q\gYZ7zXZִF! p]ŗXi%6uMS$h:~zc:J CRW=0ᅻ08H⃞i LM/b0fh4xfC'c. g0-AEm @ԇ-_.SϛFZô{?z"Oܺ`Nz (c-|Yy g7Ֆge4 "K敉#|](}k$YƩ&mA>p !ȡZOy) M鈗PHGlC U>{.NB}"E:3tj]Ժ4.+@ ]!pJ-`5`2lӁ“ 8,{1lI*{8 g1CGFslBԔ*'?ܺ\jE5};hA*CV @?'e''[fר#Ս?C ^A4J6CEG:4[zSM=PZ +SQ[(8 & 釺wem߽RR)8ʮ\Wz ,ٖHT*8%DWqaDD$ԁixͥUtTlE%!`juxwqLMhwS6g6vlN׊hV@J|}ZTFBќH]ΐR@>?Y]+Ze+@|>aQ$W߇~L}d+{ VjӦ3FEڷ~wxW]CuQX^yvYyW_QdMBt8@PyTq@Rcca٨ybTl/i'N9!qx)*@Iݝ$k?}Cșt {: J)\#_?z8yv 0d{xgZB&ϼ(&$Zڤ CCyNupjd7C~=}y=X1V U٣TDDK6JtJ1JgW>L?w )k:4!qI}rkzdr8^.NisC+f22،f-'"! -ǛpV`q #G 2;<FjZG:klm'- |?=fOGFpEHIЉ`f /XP^dEQ