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  q q +Dt ] HOL-Hahn_Banach:threads=2elapsed=3.779cpu=6.988gc=0.248factor=1.857zXZִF! ]ŗXf1-q恈a.W>"Aޙyģ΁K7!@c_u'QzqhIIP4 ۀiy{럸1?68(v5+?>q 줵 п*@]=+J&BƨhoL@H;Q~6B^ A7RIfL$Gt#m]̕KLmϜ{0?b1F8mREAgYZ7zXZִF! 4]ŗXiɟ1P ~n8nQLh) un0ļ݌8uy^¾vy '<6c\do9/D)enFRdLI(us'F DGo ɏ:M0R_H)TS +YJnyZ%0<=\TZSae`z; #}dZQRAVcz lCH? əPB]lۣ)bYy4@)9?Ö(674';]c "ˆ_'_<׾ѓ} D? 3=f> zLl|ƸSXVL<|}L!47=9Y@áRB7仈 $qؚ%D)SsT,B[$1S/ψ&{UHM6k.]qwɋ_u Vd)6IPFFSMK?o6l ;>N {xC|u<ቨY);.h$~J)pbbBA ) /i]N<)eݗ"iA(F6[ugYZb5ea34944540f56cad85821de4ecd9e371b0b774047361513188e7c72a6ffd9fc0d5d82009c64e0e ae9cc23b6b2154e2dab4de08bcc111f7bdffb167 2be5e4ce7199151c36f9b47936619b28917fea16 + HOL-Hahn_Banach