SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 u L ]/ FLP:threads=2elapsed=20.442cpu=37.792gc=1.180factor=1.857zXZִF! p~]ŗXf1-/6vRZlh[j^iWrYWrWzux;6aţ n5`V gҊ^ flgҫJ)f.T}q$6%_t}V1O%[rT`%M%IUP@1H[MpnA>T ~(DM vX؎4vsgEbaâG+Ɲ0|9b*Y*Mm KY+W._Rű}_ C5hxw-hS-^+tj[#T ֓F[E 5Ozt0#=9iT-'5[Ac;l 3$LˆѢ ҞC>R(KSIǻIȀ`ɲN$q8-G!磽5/؞6*D nE}nxjfM}ky+L$RMQybZ "D3'xҒg{j5 zZa2n57N'ImF}nkƳRYvGs); 5$U Ԁ{9n- ) \&%RgYZ7zXZִF! ]ŗXiɟ6PSוuF3J"ᱝM#FyDv o6N]/z3Hn(BӶLqJpsRuX0Ӿa$}Rxäe8՚ %$ O$dSkTL?Z06ćm."Pwtꥤp(rV:Frt8hX yipegYZ7zXZִF! p]ŗXi%93SrۚK( ;:0WD0#[{S_Ѱ:v\u> YX(m@qwB"oz8)ouҰjQ\)dfii{jlذ{vb 8Z.ec>jOWJ,venIƖib676=^eG +w2}jPj?FP ѡ0۸"v(a[_i&bgNޒcD{Eh C~𸊫mZ1Jn"uFh/\& O}-X}Pr (7BAeSJOHW8'U+=gK /Q u@΀𛵸GzmWӢn$i, #0H2N(( ^a~z; '"D;erp\(-+&9c+Vo5/Ьz.'GG.sOHd\svMl1(02a!JjD0Ż49_^3>vlGqXk^w#xwzY2iiad< !S)3ӻ&C 2 H{ܷ*J N\/!rMum[ySzb >NFB8r0^62aJ [\;.}yUXBaTc|eG'Gž"yUd9'|˲GGM=í>dLH9ֺ"i ѱn`x~FKK9G֣Q gS#l T1oF Ea BxZS+- L> lvjIv ND ;uu&Õ=*-ݓ^'[Zw%L~19Z.B(=b5syH=^~6Fuf}%Mt__mX18'yM ʝŒs) l y6'*AS}c |Fh4‚ѕ$Xl5sZT}О`dyOԴ9miiíqXmX#]fP;RxjtEDcХeҊ`Da %l0+8_]`ܨypjkƿzoN:-S7xbvWVuRjjNn_/b`BV+ѨЛ5bܜ5z3 udΓz>ݛ"JuX  eu.zOQ#-eU݅.OW}Oyϕp_8[