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 pp  L$\ ]/]HOL-Word:threads=6elapsed=8.655cpu=38.964gc=1.472factor=4.507zXZִF! ]]ŗXf1-q恈͐7ӺV /K!W8DNKY>OjxiKGnC)p?y̜)]yf7z< "KSRuXryJh7R\F-p|#OYeɉy0pgE >+}4aewambGޤle,,]7h9 #~vqc}̖"P}bav z ryrw= '^߁@C5"*_-l{7>[T;1{V9) LKOςv϶]M{ĜSDԪ ?bvB4TM[6Iu&,_cmJب_ $?Vj/RT\+8%?r#m$[\6-tEc3]aD ^V` gYZ7zXZִF! *]ŗXi%94-y` =Yegvѭ@L*ղv!XoЦT@.n"M}" 02R[u|m;L?X%ZN@5!:x4Dɨv:9z ̇-d@;UY[Sӓ#ȬHNDζhW̧[bAP 4v 9(64dmI?Jj9HIW)gfd=/d*$}*vH񂡁`:S$h@|Y|xaPIpx}Dy4|&x- ߥ_-L1W"E]aYn#*|rcDAql pI 0u#1,$=Qq Z.uUiε¾J u-񆙴u[jdQv?n<,kXLܺVE&]?{AScŒb2@'Ijg,qa8Dpa? G.D0#cTF S'dlKzFK{6S4 [D2x@u)Z"x!BGA2ǎ*n ,Cj{UgrMGK])G tV›5)ZfY*9~ L>k9 Ͼ҆ʿo?'/sYfH._TdI-$HQ-7<# R ~1n9{f/Dv`oĜGωȜnQf}V' B!@ @U;UrgYZ07db8b0da05a8476babd5fde18c69a7c4b31ad845a65cfc9184ac5fcff440c336649c488e962f666 d0455d08675ebeb715f124bb5eabb8abf79678b32ebc01ff3c330cb53575fd9e4b15f23e5b40ebb6   HOL-Word