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 HH5 <T ] IOA:threads=6elapsed=7.496cpu=30.036gc=1.244factor=4.017zXZִF! ]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K gFso,tɂ5n|6g9KzIL;t>'rV'BX{ ۏNEgMip+ŃuxIr.]6VTPjnnT[- ,^}=zcMfYuڟ N\2A"݄/\d#!j FMhqx|k=nX'e/'vg֛0Nf`fl^\iމm>u]<>32kS2(tSWI)`(,-rPR!<@+1k Ƒc K(;DH#sд!6p 1ɼn>94΂35(C TR4yȎ֐m/o-ז?2_MV[FԌѲw$2  gYZ7zXZִF! %]ŗXi%ύeVe2}d$Kt4Ӱ;2ŎCF6AS)?ޔIEj $y,W;bѱk'`t/wU|N@KZ!:EU푟M(/Pj! *aD}.h]v)&wNKsi}3dҩd*=VPLF9փP"xlnSyMZD^V{.z +1GjҖ9?}Gc!h_ԯ>Ğ80ndר\;:J\N{ff- y(:&ovyM8ŗ %Yxb<>;ЃzWk.P+z,.ZFiO 82)yuQ{{R:AJ,5. 7V3*{tW.6-rx*7w^$ѪZ,VfznsdҺggr4JxH˺r΃׹֐޺ tSISތ^ڊ5;$^ezjws?S"bK%J<&UdzF=E,a=f5؂ qg^X/1vQ<{|3Xz{65}|FP[=b$yZzҞ )`D"a5{\syڌ$8J ,UT]MIg9)KA&/iemArmzX49ޒ[,Q&Bf?5[A~0RoS^:\q>ʑ84Ս!p~PcK8*gYZ22dd660d2562e21dc8f9bcc47422bcca5a3f2abce8e3314a2216dfbbb96c9391593b20fa6b915b86 d5f092271c0e51c9f28f7703e0f3b57bf8bafc3b c45aeebde12a9416a00bc479c959365fa252454f  IOA