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 LL1  ]/]HOL-Word:threads=6elapsed=9.113cpu=40.604gc=1.356factor=4.467zXZִF! |]ŗXf1-q恈͐7ӺV /K!W8DNKY>OjxiKGnC)p?z@s̪˻ZT yDSs./.Ԡw$JbZ6 i_-/ˑwFrKR8[ /&JF77} 꽝OB"$ FUP4eZXsԬd #!y}kuG; m[ P"EELEkV agCڍi7SUK/nX?Qdrmw#坽 0W"@N{y;(e@ԢE Nf B}Ԕ9d4gM,\|8_{]q0f"[yKQQ6L3T<__8PF!lTnD!b)G˃h FG4IE$D-^l4m7Of3*᪴%NBn& C[/{7Dr#aiA00RwġHd@{K9s(O4X-b#~H^fǩኚP}MMB"(섃B"8d?#gYZ7zXZִF! y]ŗXiɟ1}?қѱfدyQ2$2|B.Ae,Za 5 m"6NGdF-5͙@V5jiF9GʾϻjK(N;~M놻h!$8* A]Xw|_Vrlk߫ c糥EY+i߂tSoҩ,j?bB$(zvSyi|`,S =7씝g-giH:BONߊ*4&2vPfJJ!y OC;DCؒqW&:i֦ j^zl~/u \_oX8R [egYZ7zXZִF! ,]ŗXi%6Sn]D療ɫ8U!fiRM_YQYʔ Ϗw<#bcT J<M 1{2ajQrºQ1@õF?q#l,BپIG\Q 2j(~^}ß7%L $^LPx]v(4@Țyy,'G`\HVthjHXGӰeۙOR$v4:7 !Ѩ;F.>+{[y61zF8 % ʙ"Sqqy#{ Z;t4BP aĊ O ؚVI.Kq}ExÛ65s2g s5M}m8 tx֨MX[S ZoPD 2Mӂu"SsdHj2%Ų_*'ʬX T s oPƝCqis`VY4;d Yw;WܼNjBܼ]\j.!"JQ^  ' f!GH;Wu|`u41MZQENd\X>$WW~kY;RgYZdccebe485567e9f39b740d0538541033c7b8f212bc04ed3d5e3d39fc11eed643c195af42cfffe6e6 af27b793b0e347b7ff6acebc98cfdec3738a93c2a6125556263b7521f8efc48a23a4896077c4be3d   HOL-Word