SQLite format 3@ - llB77#tableisabelle_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, "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 \  Selection_Heap_Sort:threads=2elapsed=10.469cpu=19.912gc=0.872factor=1.907zXZִF! >]ŗXf1-/6vR[]_ʥ4*M[#5r1}M,/B3}@2wfA/&сApI{5zx+S:u"=ɅVG M+xi@/n?9)?rBA&OfrYG_$F_ 1j艆f3ߞ_PF$6 5]l&&Kl|klvRZFkmi~'g?U{k6~-mpΙ`E=*I%EY-Fjm7" ئl_t)$u#!Ү[] ~铕!gպ6Fo!]m"WuG&,Z?l4lK$\-{'v)D䧭=ͯm2+ʦXa9@܆ Zh )2TE$:@^dF0M:l^Bqْ"Zc7 p1nC= ö?#sDw>&|/Senj cZ|  3 Selection_Heap_SortydF*^Z8˱)Bw:MoʂBIQ-Bmo܊1|zys}O))Fj{>h|JDor 8'xqLiΆNfb,@Yq\#l7mx8.fLaqb4rv{#:#'?, }NrDZgYZ7zXZִF! :&]ŗXi%SKR)]VBEݐ fDὕ<s9-˂Ҡ8kWFfY{v"3Kl5ɐxō VSU) vS/#k沜zC>47wʓʨ4'r[ML RaXFxuI_wy[k l#@\#dAN))8zg|W> `>0L$Fj H usJm(]1ͭ3p'$2UL7ï~n=7%*qU^^ܨxuaί6se!AȻQ2dgOGi %`&&E ̧3E(=RWp _=K cgkTwv\=p!TZNd F_D|/ov@D4KӠ}\ fۼf-z\V`WGzgFW;ELyzԸ#O{ngϵ[|HUQ뷉{j` D<@N Cdh-D惗&XPmXOƷ^1d//SbjǶʭXlE{t։'q²A>w2A阜G4W2YGwrom(+]wmoJrR3cHZW6ϵ"U_~̚6K a]i.$ؾ%I8fg}|}GSS` F䪀Ty-3ϡ !nO ^"|@]$^[k 2