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  ; ;BlD4 ]]HOL-SPARK:threads=2elapsed=2.482cpu=3.392gc=0.144factor=1.377zXZִF! ]ŗXf1-q恈׍ T fPf.Vܴvl.c@"'[ۖ3KvT:0VtYӊS4ӦA^ e ,`[gb61a-g5D2_$<6QM:Ow*)gYZ7zXZִF! Z]ŗXiɟ1'HGm7瘊Mǒ|a#+ ]7~KjA Cans/@ċKWf7P^ӨHYvcvSDgYZ7zXZִF! ]ŗXi%97񶰾~“TM6wLz<9:>o:&:kg"i3z(rIQEupW %4X1ߙ ƛ{IaOlpK@%_DhU\] `m&:* Ps`9~Ji e3HuփeX T\!t=)85#:0#2'bO Cմf7Pza$Kq(IZ/!VPEK*ֹϭEjt@0Ezũ@G<}v)ATÓ=GxtftӪe><$M`v>"tg%PHޠBPϬu@Ec)WPmF*䈧/׶)/sո{.h*E gnej @C|[AԼBHݎQbIʦPۄ_8YA 륱gYZ807ac7ed91f104ebb46a2bf6b652c7d9a0bc335798dd477b080148668828b0f67c6e8a1d9708b3f3 2dc2b5acf411764d9a49dd03e6f20aef615ae67d bac001b6eee0096f18b9efa5a71069449d55a29bde7e55d0882e3b54de8a00ec92f3de917f72c98e   HOL-SPARK