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 U , , ] IOA:threads=6elapsed=6.762cpu=27.392gc=0.988factor=4.057zXZִF! ,]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K)3) `3_'(3C/5s|`:r,Lu7U~Z4U~|1}q t|l`%|O>P%l0[ Hu\p@~ @$2™1jʣ>rFoE}sH P\L_lJD 9cM*wgXOk>S""y$J҉iG`{<>-ӣdD`!<*)Be:z6przPІysD_M33hկqOo]5C(_q/!)?'mǰBioϗ-|~(tͰ^\vBUgYZ7zXZִF! `~]ŗXiɟdN'LvH۹$?vYeVReJn:!. k3&˔cjNfǷ=aLSjZBv c{J ̻SݭI00h9/]9O3BaP.o0oFZ|I`@-y,ms[+<--Oi;\YH,/9.I,~dOx5kg5cn6+U_9qfPLxD.A|Eb0SMALQ n\[5'}xT=3r @3E6b;[`ǺnBhH>b~Ú.qD 8\[gYZ7zXZִF! !N]ŗXi%920c{1R 6 \xm>WƼ,<6y*O;tвIT%^ѫl;1 U ~$+B`A͊z ⛶9Iˈρ$b >st\[u"SA8'~3syjUNF)>RE64H 6U8E X@lyZl'QtkY qDZ'M_g)>_*?{P)/-ŻV&x.$aTsۖ^e20&ƹ:?N ɫ&z{H-1K(C 5unDN|!\௪.x@? aKcUtcƆDr80mIɨQI]gJ\,Sׁ6MXt ͨL:`~Eq<Ԙ,A8UB>s7"Ջug@my4ޭzr8 G|kl ewvë5WFx -!j^vC&L*, ֊ӃmNP찢 œ/MELk$E.#`Y<~~c ABi1ݱgYZ2100717b714ccb67308e48285d07d255a46c1e34a46db31bb55395b3dbdfc848f24a96e1b1255d76 d3c5454b647092bc2e8b3ae36c1c54bfb48075f5 73d475313c351a5a1705e622473c347ae1eae299  IOA