SQLite format 3@ . YYQ77Atableisabelle_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, "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  4 d c]]ZF:threads=6elapsed=10.099cpu=34.804gc=2.108factor=3.457zXZִF! |]ŗXf1-)9\l ݺn= bŚ&3(/.G_TwؤJPˈ \7Mqә9y+7'cac)SP(?#b;BEv ؄Rc 1ԱQӶ@#48yꈠr B%!:QLJ_b'=rd3E:o"?? h݂̕/Q7;Q8W;a *䄭.>@ zIgb)gNebPwf]"PXv$d{+Av V>n7: /%??qʘSLe %œgYZ7zXZִF! 1ij]ŗXi%6p֒E d/@$>XZy:CF$^'X1 VcO;S$euI_S (PT#00L5Bҋ/CKGXij\ FOKߓ}~팼gQ':Tկ&SI|o/"\pxrd4ȮA:# " K9v%,YHL[D;fIKV ys^˰ Pf7MǡͲK_jauUt0*=R*O~GȄW%<í3546K3i_Mgu٧[<8i#d z1Uޓ@RABc$r 7!%Ss۰vq w4)=MxD]~󪮰z(jab wh"bL,ٛ49~H)k?^hDSEhӰo廹im'Z`1TH+aH!Lae=F 2~pnlAK;"d