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 SS D S IOA-NTP:threads=2elapsed=8.393cpu=15.376gc=0.584factor=1.837zXZִF! 3E]ŗXf1-qN50^ Wy>j@(v܆eػJFk(F1>S"/wkHϮp@O yUfzV%ni@YYB)410~jѽ`6.̗e8,bh2WI[Χ^0_dڈ<[|)k(qP&b:ǀYncrNz.%\E)Og񥽻"irdp?; ]1]Z3w~Syep>lMn&>kLgN) y:W,%,=Yl^v&Wrh5`Di8p7[- NWzZ[FL©X684b@FOcزN;T| +3& dkm du6,gg@^b#'dM;;$ A?S3-gtGq3G_gJ7|[*s3+   IOA-NTP U~)J['{sY70ZF@nv0)yd,]jR Z\^?Wy^@Y`o" SCKpbfgʉY6HYuK};9t~׵ľr_}h-Rfp5=Ø;r(rhEnxLC < Ŀ/ ,gZ">wERh9"k"&emA$bpr(4id,ej&qB97󓏤]p".b W#/Z{e7ק #! ~CO2P~t78϶F5ZdNE 2i'k,B77[dAwF? g82gYZ7zXZִF! ']ŗXi%BՎx!,8$v?dR nw?Xq%u_)[{M< 2ӷ"`ʬY'#DoVqŬƙ1J@M- /L(k3B퇆`<*m)H\aݙ M+ϙh| yaAg?;"%vj'd6ώ2]cޔLeB1:=~&9!~eȵ,oM4)?}餉lw_#-Ď#Z5f뒎-}H2=3-o2wM)<ʨ$Ơ޴g|*qDcuh4QҪdyCQNUiz*N8~mu^7iUοL(F^yY:npˋFXpv[ k ή${ >TUHzʳkTk#;) 41itЬ1|3QUI &Lk `,v!ek=t=oO7,HyCm/ bW'&?*y 2 6OXgYZ080a4238586829e4e8f3f7958b26dafa6e625dd2 31aa2314c60bf1df8a389d106629135074489fbc 34eb43422c09b403e5d5bb215a18af873d1882c3 4cd2445493953f5e1f43fb04190777558f683d60 6e0981caccf92a743bb9e20c77973ccc858a4b05 8c9e106d9465bbcb1f87caaa742c132dc403de58 9d986d6e1195b470db7007792eef960414eb2d33 c68deed042bde63e5190737f685c33ed8c0450fc de04442d9a89a18b013fb327c8df684f4bf4358f ed1ea0caea47d5f1ac2cd6d02c7c6eab9dbaa0d0 f3e5480bef8e7e52fcca915fef651be33104b5e6014fdf73a0b928fde39c061b3b448884e65fa152 f4f811683dcda440eaf96bee8739ce28e3523afa 5a5946a58e624c203389a73d2634854bdec986bf cae1dfef5272e341c8c2a3afe5b6526151a1ace8