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   mTd ]] CCL:threads=2elapsed=6.149cpu=8.708gc=0.616factor=1.427zXZִF! ]ŗXf1-) enȈA"XxBT/'`a^q?m5Ɖ^)b-(g-NW>$z)(7/ V}qSnT !e",iKT~@+~vl@Av|j=ۺGm`=,P(Ci'3#V_=gYZ7zXZִF! ]ŗXiɟ 1FE`u$̘roVcn+A{Nسcm˺Aew7V!cb΂V?('qBToRicŠFNG3z'UB!# –|$нLfuP(C:$C0Ї1#lFO]-u=V\m{ą7XOk3T,S5Y "?5CO a? @`_=Rzv6gYZ7zXZִF! B]ŗXi%9*WW:twp: ,D (L:G|selnGv1B ҄K>(dxn6 yU𩰯KcUk^a !5ߡk1xCBg^AJ-HZuU*pؽ K4#f^qP(aϏ|M}~yĀ _Cգ5|]!(C{4W RM/+((LGdYp%c1A\A/ۺu)%>e[+%e ^xaDejẸB3# E' Zt~4)~Xr4MQeCzQXnßT-ZoDKV%j)5Zʳ#B>p-G(+8B_D!PgNi E`~y:IWhfju u/hT=?]5¿L$aD!8EP?;;8SH7ħwP}tolZ7x_s<(NgYZ0c2b4553e074d80c56be68c0855b5d8c9cc176ab1f11aeb0b5cb58822b61789e97e7af2cf416f0f7  CCL