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 xx d$4 ]/]HOL-Word:threads=6elapsed=8.859cpu=39.760gc=1.528factor=4.497zXZִF! Qj]ŗXf1-q恈͐7ӺV /K!W8DNKY>OjxiKGnC)p?y ZFovDqvP¢~j1:i]B"8Ȍ6{+4FZĭ[ (_&dE n,5= {pAŏ ¿ND#2v)pґO8lDBu0l=g~С` [j;r%]H G?$m@$$*̤s#?_L&m@bˊQm ~\z"-"OtgYZ7zXZִF! ?]ŗXiɟ1}?қѱfدyQ2$2|B.ATT3$q{SsYPܥ7{lh6x|_TBի`Q=>nJh-xL(% .ӏQlU* \i*Z8()N-/`s׋+̈j/S߿Sm i?/y%-+vzcfrzΔFTz,&*ďH2b|s*K/["D`k*AS1 Yȥsv%Z"5"kTM0b9*/ M j,'@MȂcF$- ?5\Λ^1#2#]g ? 9zWl76mOǷ1.8I/o.C{0{n ?]]1\}~u>k:݌iW!40żb3obV\ڡ`}滶Cwp&H)9'Uwl?(䧝7@0ud3>-!AUzb(ä?(/_nR?r\{p.Y䌤*tٗPsڤM.SR.fFՌdpe]JwiCŖ^4~k+!Ov ͧ m&nw ;L mr0AhWk%o)ZTKC G@}|E 4aJ88{q)@6v&R+b_2 0#0QݵWݽoɃaoDkE#nu^K“yz=z= l6}ExfN[Jpovnk'B/f8;|}[?p&\ڴ 9fIEmvѼzt}ׯ|"Jh@i+&U3v}W9Q&1؎y g'ʽ 1g@!g")~f(M?j3H98{>,/!5 T$A TzuWiUVۏgYZ3e3fd7a74537749bd1b4b56ff1645115426ccb444842c8e44f35b38e84e7496d28f4c0448c77e9a2 424fbbb4dc49c5f9da5fd81c78ab3b2f35a10efb2002414ab1a8edd318a2e3deaaaf9f9cd43d6cd9   HOL-Word