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 . T|< ]/]HOL-Word:threads=2elapsed=20.961cpu=40.128gc=1.840factor=1.917zXZִF! ]ŗXf1-q恈͐7ӺV /K!W8DNKY>OjxiKGnC)p?yݥ܁9y0M$l̆l$dzrGN[-o-F;3 /ZY@A,*[YYn?! _7o|qf{>T|bē:ek C#)B,0;0Ԭ>^ \Vz rE~śV>6jƮF&ESlY&5xsτ<9]+R"adG ;υ6.^ ;Y C- Ew3:\MRl L8%HŖ H ^?s~|1惽b9"8O{.E,W\Q^ݾ`I553$.< i.CtjPZCEM2Sˑ HA<`_>ѫ?|pY+Ө3G?+3y -vT0XdF/WDīwsK:JAr>lX =s;8Z7z'`VÉ aqj>*2z2 hc$& Dk9#MgYZ7zXZִF! >w]ŗXiɟ1˦r8v@Wl"`&Ba*HQht`"2>yvn8]auYb؋6RU;Tw# V an.n ͋qg b'S<,so!J}61C--T'-\Q&U&c%k'4Hqߋܾ2LF%춊)mɥWLrto؋AlJ*Rϋ4BP&z\?X%zۙ@/#D^^h.^8$ɫWVHt.I \jY=dy+TJ%MLΧ`EVDpgT \ !T: W(>tXC/$g ^eږ?.*oA` Y'սg %L|*O1{ӑѝLzFpzzlZKin^Z' c)WDiU#:D|uJծ{qJ.2϶ž YB: GZC]a>6E, IӘexqsp(fO3Ψ\`y~/HN( q Y&S\])A,ǧ>^1-Xpl2-)H:|t},z_.naa޹6㪹ͮc`]:aRHCI L~ɬo%?h\4L W> Ԣ'LiGG[}0 J5=ze 9w5b _=q? mi\?Au8~X4ӭL abOʑO.K FzR)āH7'?!t8*%\Lʍx|b\S{,Nk^I5o]`TguNE27B bD}Rᴵ ,'=:^K3%P $! W;師%SE[o{^%Y* Ich 9gYZ59af0f8808013379353d497a8d33349eff3433a5634a34b0a78430c8365c904b4a02a2bae50a7baa da3f4711496f4ebba63bd289462f3fdd0cd836c3b12f886aaf16e26e7bf651031cd165045de48f17   HOL-Word