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 { <T ] Tycon:threads=2elapsed=9.258cpu=17.192gc=0.652factor=1.867zXZִF! r]ŗXf1-/6vR[l>eMx?/᣶ކX?<}#h߀ZGRK| y}+`y뀸ۦ Y0,z-ʬd3ʁ(9=bD^ˌ! H€踢e dI)Cp2c~EnƒkM(?/hek^~bX#G孖z@zt2=dI f>Yz.(z1V:HfW[iҠTm7ll snhE}9jQIzcWy&_@R^imtqI?ҍqBʦ:,blU|lbەXW LRWI2|v)dZ,R'S2KM_En 7w?a^kU`? \.|[73)n:PVQ~TUHU;gYZ7zXZִF! F]ŗXiɟyڳεĬYpa`yw!| A x u %Ƨ9_{Nz{1 (}%:Zݓa%QAr0R$7Rm{T ~ |{YqVG8@`ypD1RBDW|KdЈ䳴اT+ GkhY-؎"wQe|)pG3S4 Z߇L.#eЪbnLh)7-/#R!hB}'*N*wLA/t-jZ{̲{ԥVMv}7| SAgYZ7zXZִF! 85]ŗXi%9#qw:; tRinA,=pJp JuUt ;!t0^/+˻Etfq_obg?Ux aw*H-*W:TV t\a7qmI(`#NPHܘa%M'zsu* vHN~־Ү8\6T~+b0Bk{WTjɰpVهTtqWR2Sd~=g ({\K^qwkv&9 *iSrҋ [{S/$o?$ۑP۹wD&n/"Lm e dZ6T>.[Zik,3s _iC'p)+< {׃U