SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 QQ, ,< s/]HOL-Word:threads=6elapsed=10.268cpu=43.360gc=1.464factor=4.227zXZִF! !]ŗXf1-q恈e*['"E 5HDPz' ^7@S_XFm{Tª%uQ5pmw RxOGADBvU02/;O7xO0xZFpdp Tۆ5*d YXk%|/ a<,P(0IQA6YF.Y/\fyIGڷgƻKcy).8yrS< iJ899d%'X_`b^q70gYZ7zXZִF! 1]ŗXi%6zT{-ĺ5X^PpelA4hN Y QVhz:!qɴŴޭ5~ɚ4kyRȦ١!7|ό Uꭢ˲C<0o+%]UNCy㈹. dq\\'WxĽv !9~,Ѓ^Nj";N6?xk(=Fy6_hL)sg۷xԐk@\ ׈w0KY`ϑ }*#-vK쉕\r"H ]vSB &,QJs T猤Wz@&." ZN+<ɅY+hqa% )3k[3r5*Ts8EPͧҼvhoƕS(y@dKǵ{tT-X:I<A=rT Hs$I4a%-ߪc:03cy$'/F}5iTz#Yr W9j̏{=*S]+\U_(+q4|=zLɭMz`=3kۓb8vzmoq˾oRE;@)YxID1Ƀ :i|&bA BUNFƵGDpZ.]t%E9ꛍtl% ,zA֝Ձh֑5-#D2[Eko]q,wBBOӘHY#bXX66ÑK{ |ATQ  +!Bd/ ߒb,,b$PkC^9x QڝyU6`\v.qM-uEH}\D0izue 1ƥD(I$DQz."A J a X5n5ͮic|gYZ0bd5fca3e2a3cfd19d556a3f51c937d34f3464a1 139a3bc21788cf355fad3f6f2baa96ef139efef0 2b78c98510a8ccab9b37ec93f256b14aa15c6336 34d5357a1614100e4522bb9f8371a889135c0e1a 3fa0150ed58e22b0591fec277459309fbbcba97c 4cee7a4a8ff3a6a412156b24cb39563781feeea5 50973dbc7872bfcbe0e1d5d694168f55d2a8de1d 54bc02edd20109ec5df1f897881ac82269c23e46 59c7294f047184e24f3bfd7c63c979390d04aa33 6d48416bf9d246d3092fbb069560cf5f9ea020a4 73312d1f5683eed2f4e164177e17eae847b56d58 81f0c577e8c493e332fb1f21610088ca535dd807 8ebd2a5a70614ce4e9229427fb522b89f8c795be 98e56112c94ef1e4b2b588c91ee96072cbda4b3d a47109356e1f0d349f2a2777a5a6f25f3d257dd8 da16c92bb01abe57fbde29836cfa54e95db0bd06 db4f6314dd91199e1c763a85a44c260d29235bb4 dd12fbcc31a0b736edb5bdb2a77f705421a3f9b9 e1017a35dbe3ac17604b11f56a6cc9a3d1a8a5f0 fde422d1a14a558aa55d7291242cc3465fce467efcd88a5fced670ac9aac7c7e9e8807cbf44e3ec3 1b27b440bf02f7f2797bacc3b51f6a6192fdc452022616c85fb9f1fd6e72d2b0c3387f46abd3813e   HOL-Word