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  d, ]]]ZF:threads=6elapsed=11.476cpu=36.896gc=1.916factor=3.227zXZִF! ]ŗXf1-)9\l ݺn= bŚ&3(/.G_Tw33|p/כg**0?Q+&SI9҄@rYtM9Mwҿ Қ4UbZ4z.A"a`!IN}3ގoH)Nө^H-#Sj0O&32}LtHqOԜ.;uQ:D&_i]DmڶPAJ\{)9(L<7WqR UX|f/;|t1Xf-sW̸-а<'Q_Q.J6j:=#U}ôKʍ,-*\LbGw4}2XUR[z;!gYZ7zXZִF! E]ŗXiɟ 1FE`空`F1L˅B5!U51L+#x=» k @{0,~G47'9 'g6}g7?q1^=6d] 0l!oCl _" Y 6v"P1zS`גT G}v8i_/.8|#?. ؇MjC̼yQ{xS]7TN5NdMr\?CSfxsct l8y+U 28t~ч`.:`MHCr*ՍҮ8.jdJP9 j{vM۷s9'̻O6d:[I&tXVXʫ&e9RX:8y˯:_ͱ:cPrk5O?zKV?ȖH tOC=Ce14q<@LcXy?h39mlF 3˥^7wXZ"]*^Y{\"\nl"uRpPUɰ:aO&1y-8\,@FtS;>z,+2jvvg֊,^K K{*y㋔3!v|$Q:M}| A2 X6T \N"-kH 62Wh=/F{ZaX}#n#Srrଏ^Q#~Z8وe` 9\.E^Ցx;'9<G,n.ed޹Vvp&oY3?Ua%ml02-zOj$UD()*0ޱ yu aB/}Zf 2+.f p7Fq%x,%U{V({Np (:S6+.X!biQƐd *!x34luw( }:"M^wh"0+^;|g+Lo1)"퀂}Yv,iG/pc&r\Sx!ApK0݊'yȈ HM& l]]HeR q&ۃmgYZ845f2ab4a8c94fbad99ae1937545504ee442389ea8fd777f4c50ddd8d7e155b9b07d9218f3467fc74bc5908fffab726eec1c1e0b50439caa29a1a6e2  ZF