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  h |4 )/]HOLCF:threads=6elapsed=20.189cpu=45.228gc=2.480factor=2.247zXZִF! 1]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVhE|wK]az"kxL>sIT9{3L` C&i#79S&Ï𭪔$lFӲd𫫏6!HpϨڎ|" 4Lvtr!:(akK0(|j>&-4pjg4 xܑl@<[=!k'KrXd3x15"UbWCZlta@yV*0)SV~Z(پfBgI杹lFc!vo]K,1i}"%w$iHd7ŘA3V"Ѹ A\ r@Eχ '7N"QʽLںUca%R  Ѵ@T]m<)[H15dL|"C^S!_Rw/"o+WP~_A&Tϸ:5 {ˉB<+G-git(;ζ@`7h)ny֒ԉ{ZgkwuE W< 鱏Pke',s2\Eo4xJ⾳{?aHIb(Rfu,izפ<| X7]00}lU+(4xgv0/%#⻒WV2" gӿҳ&9FG:p?csl-4}ee$LCvxnX^T_PL9=Q:m}`m"M%e}Z[,eWhO0u B4y~CO0.: $j:E<;7nsuoRoQh.+4 F )} GN܊=K4#YrܲMhu!Z8N7$o3 $lEQDn #4 anSkCĐ,7ޢNv%FS= (hquLy'~%b0*J#8< 80/v3u&&p]SuorMBKVc+;3-7t?V`E|$)'5+Λ2M9p!KyiLRxGv7]2 eilVy?ad\hDg1u4 5qE;%T#SRR.8"