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   h |D ]% Topology:threads=2elapsed=7.397cpu=14.116gc=1.060factor=1.917zXZִF! ]ŗXf1-/6vR[k5Ksn J?AW.OecvE.k/\g`6*W!ײ9_۸5QAbW*R>Q{Z*l5} N-^YtO" [$ v(XM3 څuFһ݁+ͩޡ@P6(l`u7jM[6F*p(ӧS}/1/oMfvQW-yG$lرgYZ7zXZִF! 3Z]ŗXi%;i)D&DJ_]z^)ꕚ{ݨNכ%h e_Oۈ^w$%uqNϵEܬz?i!G,Tjqj hgf6Haym{^ecj;5l=͘Uz!%\A ]?5t2p Ɠj|EBjفfTYGʰ(C9DGҊPQ o @/żGdIR1q .\*akHϕt)UL6L41SEK~CY$T00f-,i9)` ќe׀WB U@>I|ӻYU;;{wy9{M]2_`bj쁑)L BF\:w6> 8, H3PѮd7 x~zPy\_D gjSm<|T%Xf}A}=\ xڨ %e慛Ӗg "SZN91x6Mخx J#߬űDСK~~*JIl*ܼ7CEEvx1n.B0^ZھncpUX|Ilw%]}85P>W2^vOJueHB$С7gIù~xEo7!^"dqRUL _;:yF:q,S :ɹ*IIP%GHVF(iԟf7| [5iBQf+`18NI}+Sj $k' uPW{[n|rgJHgYZ4a7b888572d642df36b425723cb8d2bd8a526b28273a065aaa7221aeab8448251fac00a4433003aa e99e0684410df36373f4f2b5c5ea423968ee9625 c476bdebca2f60c33824d5374c70fabe6f4ba221 50a806e8d89fb16262a8cafc0254e03764090dd5 e54d154fe846313a29ce743434ac65b3d15bc7a1   Topology