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 $$I tL w]Routing:threads=2elapsed=19.434cpu=35.780gc=1.108factor=1.847zXZִF! #]ŗXf1-%˓> ؽΒ$%`?D+l6 \಺pR5J^o+*kL(D-FR$   RoutingyM"{OLuqj+9[K&]4*rPY^`E YDmd3E#bDk:֣ ŐHObu/ݯ%;+x"Y)yʝi%0- n˻deIk${ /ƣabd 02*lZtH]g0G}Dov0;V,86 ?dA`s#wNJ3@u(.6?v'p&)~Em0hc2HjM3,BOh?`5 z5a|IhkbEuh@HqtUykDCb}L31\(XgC ܮS˴B #=1ߏ)Lue(v{{m^㴶wǞėIl ɇnSgHL% qV. N$[M_<}GA՘8أ,3 ,j|%0r$4U rtθM+Ľ,~^?v+Q hdNsY}(p&[iQ:Lm*>R]ۉ*XU=Br-&8Rv#3Y b1-^Ol! [vdoL^Q*klo )j X$oq z=5pB1d-+hx >QyK ': Y}!B8DRL_F,յDO 2Og0WM$۾d%'/5F`b~0Pv7B)Z҆7Ye~ވ$?RLntksl*AwNc޺,REy=g%nm~6Hس7{:̺eKU^O )43&io'>, T2H =W87 gUikZ0rLf;@*]j0NJs7-te2SO5h $"*F3o߱&P4?-6̫{곮 ^[" 'E-9d\Y15m5Vђ,,6Y ܙy=ȗ0\Jf(7A8JtڥEE]k# 38::MAĂp91:n# ̵ȱgYZ02e6745f5bf1d5a2f90e78e0ce6223e709dd3c07 303d7d7eba48c74817b2881d73100ef92731dfcd 3997ad1247c599ff5ca5a09326a165d755ba9b8b 3f18b4d560dd3639e0a9777b9388f296855730d9 69b4d87e9cab0b856337e17afce32c08395ac7ff 900ab7ecd6da99fec8ba8ffe4d1c3256ea1d32e1 9c7bab68154467da37776ea102cd6bc82970919a c4ac153398df77d4b04d3f3cec6cffe5f8ffbcfe ce95222cff59676a82aa7c60323841e4bb20a604 e0a8be7eac7e661a3689c3bbe5a03dcafcad9c54 ebe1e38c8762b6213651f2847f98569fe75bde65878527395436048d51bd6287a500d1cb05dc0aeb b7f78dc5556061cc8d808a0347899300b2842457 8e8c3514e2bac7ec00f1b025bc573ee5fa1233c9 72449b52f0a555685fb6864a0af42874a60778ac 1cdf2293b6f099ff07dd8a38621926acc7c61137 b4744ddec426a8c4f6d0e9c57df16b856feebc45928334c2afa76b0f36f78273c13231fe9262bfe8