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 \\!% T %/ FOL_Harrison:threads=2elapsed=11.678cpu=19.048gc=0.600factor=1.637zXZִF! :]ŗXf1-q恈͐7ӺV #`91knTyڧ?"}ËSU{0(78&3KQċƇ(7*!i-r{8vk@ J}u$4ަ譋2BO"rK)JA/ ` dY"5[}1eFtƣdpݡ0)^ ,{}gJXgAqgYZ7zXZִF! Aw"]ŗXi%N Gwo-o!7t ROhTPW­Hݱ93vDFe d.&8qig*}9Ҍfkt|8} u퇜K6A9Z :w΍6Ȗ6@nS_!B8UDmz7L㭵%hEoeƊ@}mƜWAV(y ΒZAQ;1x255 4`x|x8$N8\lIt׽(_M, Ř 3;=OaEJy,)!Salhauё|q6,tSJaE=/%  -S48FcpXLǩEg]XcdXt>xC",8^+d}0lY{Z0/ai>`xqir[ #m53Au 9QӖP~NmCo@yC7l*Qs)tO=zvW^>.>>El:.SVֱ6) v%8JNxFP޹؇mID푎AIؒ%#."5퐓I`k邎BnߣO Im=Tdo.Ը~0"jnU̻묮~?='t5·5.rw*V]Cš ݡБn,p.V pzea~w:j1} |y{hr0)X+j@0" -G"] oyK}lxgUCV0wr]{7AK\*("R#yUmyH~# 8nz907F?McjA!Br񔄇rw Әx` xD bH(JN:Y$3Frn]AS*o^%JEpSq2';-qo#y\Be p:^_)/?K3J-kgYZ2416511848c69b845f7c8a4ec82eefea0fd138c9 c08c0d5d4601fb33f1b6cf9f7f814c612221dae7 c7864d452fb7be488479a993f5068e3a5ece73da daafd816af788235165bdb8cfd09c393597c7cd6 f0fce7eeae1ffa41a6f0691e21062958b47031cc735820fbde580c794b275d3f360e30a6d8376dcb f7c5cec25e7da1e133019a5ddbca98ad9c7924aa % FOL_Harrison