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 GG6 w]Routing:threads=2elapsed=19.385cpu=35.700gc=1.080factor=1.847zXZִF! #]ŗXf1-%˓> ؽΒ$%`?D+l6 \಺pR5J^o+*kL(D-FR$yM"{OLuqj+9[K&)x#ku.N.#ɨ(``=d)DRau1ҶZ^cW%T \ K.u|`t˅| JQy۱=T@#YoT GgYZ7zXZִF! b>]ŗXi%sSj!K1q/'&U!+^\ʓ/G!;Qf9\ }Xē Z7;v[FEo͡e}Ey1%FDgbF"/Ods△XjSPѰPHTמ.ĩ o9v,Zڳ<_V1IAMlm87̶(٥`"oX7 jEoW٨;Egey pKHmV!|c#hwlFVS[I֌ mL#5us4 @ŝi~+D-i^{\, GjzՕT?45oQ[η0I[_E3}Z\=e8*w»ޫ#喈_>g鋯P*y"G25gZ%0 (} FȈ1\3X?kgrUǧ^,?[y$(Aޠgn9> zz0Cr.\"\4d:LhDSaN-|{]ThsS ]⳸fQ0W, P48dRF/_!*ٙmknZ߁"Blȵs~Od3p 82vRVd%Fu_G.$)$Nml5=O:Dڼlv-@eHȞ %f>ULBn"RnSFY1q 6gYZ02e6745f5bf1d5a2f90e78e0ce6223e709dd3c07 303d7d7eba48c74817b2881d73100ef92731dfcd 3997ad1247c599ff5ca5a09326a165d755ba9b8b 3f18b4d560dd3639e0a9777b9388f296855730d9 69b4d87e9cab0b856337e17afce32c08395ac7ff 900ab7ecd6da99fec8ba8ffe4d1c3256ea1d32e1 9c7bab68154467da37776ea102cd6bc82970919a c4ac153398df77d4b04d3f3cec6cffe5f8ffbcfe ce95222cff59676a82aa7c60323841e4bb20a604 ebe1e38c8762b6213651f2847f98569fe75bde65 f04a29439fd14815879dccb8a868f119bba091829711977f48cd7397b3b03ce4fb09271962469dfd 76cc7bc16bacff3c41d173310297a26a15be33c9 7f9ea2cd7bb7be132b52334531098cdd85d231a5 664bf71e0ebb6d66b3dfd16d5fcd83b2da8549fd 2acc583704f81008c47d8cae8f7fd50f4150d712 689f926d01d8eb6566d16a1f9f6aff078abb5dfb74862c2a2b2662aa3f1e280b1eaddf2bfbd748b8   Routing