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   , S IOA-ABP:threads=2elapsed=6.920cpu=11.896gc=0.200factor=1.727zXZִF! )]ŗXf1-qN50^%Fk_cSjZ5:]&I) (#it&A*aZlrgZZwɢ=۟ X q*Kp_U: Qݽҵ{͊U y^ҟԫ< xAG-vɋU/5O&2< P`"18ML]8Yc҃a;f n9,i:P3TTru*Ҷ^8ܞO]2oӸU&P_&,TZG$P-؄63PlH>r?7E= {}Q @,-R)ZIS웲Annee}Y U?    IOA-ABPl³ ?RyBqaybD٤E!P/hCUZGnCr, TCj-2{[1YO8%tv7{F%`O4捩{u N=`gc(h3A= D .ZW-[cNgqS1$CTw]&zk AI}ך׈Π\D&#SCG&Rlda(2JPI 1E$ދ d*hq?? TKh׺|0։uDFY` rrIs)CҦd70ʋC]\i*G t)b2ѧt{\{g#۴QC.:3]p6Lg,EɤЧ5 mKwN+ O5g+B=Xr6kDYS"ǸtR xJ'۲$B՞6|j@5<^M<S-޻gYZ7zXZִF! "]ŗXi%B(P(7CtkYL_0)K!KKk4at^ u󯎐|D\Aeq< İugLٳ5<4@TGlP[ߥᦫ>,W:6yȼI!oUd۵uV !Fۢz/YEU`?jRh$/~͇/C쥈Q /xB?Dk ]Tɿ8#gIA@)pȿuh1>k=Naj9)IRz#D`ȱNŪ RrVI'ց7!~|]GxDW=wQu-͑P*WG8b\Ҁ#E6!)7¬]WQ4CyjIZ/'qn$ 3?@]WS7+ pHrh@jrV;ϔ'#Y,EF gYZ080dae06aec14b828aa37d39b34ee8b44a0e18a9 0a49159f483e2644341db188774a133e432281e0 181d2b92dcc3714bedc6a0e7f083141ffa171c0d 315dedad6bf63cf6376d19cef535f51d6f332a63 781fb061bd38e288d34cba0200e25981e7567598 7d12d7edea3a531180c2c2053a7322a41d874610 96e3a471d3b874ddfb93bb394ac4ba897cd14b4a a603ee4196c9d72d68023e7d2f472dad55892814 ac0049eb2877daec256c11b389dcc78ac1242da1 bb576dfed7c0bb787618e694ce9c0e86609d9264 e3d4f177af568ca9847e91ef811aff305baecce2 e57fb5cfccf4ecbf13bac53bd1c7abd1fcadd289 ed640e6cf4e978447badf183263663509801dd4e f076f310f70c80397c6a792d4576161a4a9efe6f0dae525efa6f84ecf34af93ff7cba31c2592ec0d 8169f475732fbdf137107131aba0d9b3f4e56903 44190651e766f74bb3f25a3b29bbc1b367a82386 2d0e3f70468dce97a0ad58472904bfc293db1155