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 \ ]S Decreasing-Diagrams:threads=2elapsed=22.215cpu=39.260gc=1.044factor=1.777zXZִF! r']ŗXf1-/6vRZs88.Ì[rI,lM 'kY-<Sa½ FK4vju ] .l#뻑(pSZl"XSA >[^t_ ;C4BEuƷ-P3sXþ:$*}<2l(\w'TuY㫱>bVy$~ k&?o/ 4Vqn_kLEgQnӂbI_П=(~08@`™\upWѧoMܪV[<A@m 3++FDRiî00ip ΗȆ@>U{ExrxQl4yvGֱ *a"O#bFmB$fA)i:⸝zU-S!)nKdXB0;U;ʮGkL<q,LUC2\S)JԂU$\m|邆k_mkq&rJdn nܣUB$=VPijɠ +>(DŹmGF[:5Tq.̩gYZ7zXZִF! u>]ŗXi%60nɸv*d%o3ma- ;Ktf'{=WiY pe[Rg/S뿻%_]:yv»͌PaQYuxF;̝'tʟ(F@@ڽZcZ5O}ImZu Ё!iq({xԵۆ~ٯ^,R C- 2O폁ҙUߕU 7{ 96\ -6v&=v1ds"n:)?spkTV?8HߩҥEZ- }E-Sj+" +)GWsq:* K6.m|%!]Cj"%k6N;b, " bNV,ccC_peƪ>G(=j˗~*)z =gA6PhsWZ*-- }nuM,LeZ'}*SYSgCa rR T'Q%4!BoC ]tЀ%Ύk+eNoZse )##,), [xFȟCㅶ|{| LuS%KHڎQϟze=顷9qX47'*:X~\f8 hkp1SJTϔ 6fc]M[.Vl|6E;wsQU.5f[0v.aZom_(7LS{%$X)j8M[;߬し ɱgYZ090bc4819fdd0010f919ba43756cffb2d2b25617e3d3de0c105787f07c71be3f3e76dafbe7c86cef 26af89b7d57c7a15a989446f8ee1ff99d4928d87 37a5e7d87b1de36723bc2e935ab779ac8831a48d f9fcf8e57c9d378a1dddf355b6941145da0e4ce7 3 Decreasing-Diagrams