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  ~ ~7TL Sw Source_Coding_Theorem:threads=2elapsed=5.750cpu=9.672gc=0.204factor=1.687zXZִF! #]ŗXf1-/6vR[]E4dQ\.Iu*649lu;xJc#^uy65f4qOjoDKư(Ge5HՂ򕈨{(c/OU 62TꉩO|ȁ \)*ńɱgYZ7zXZִF! %p]ŗXi%cukLARr|1`0n}K!V/%+Vxdߦ|9f%-v&UW~6B$mغB57'%T? ބS5]/@ϔbÓp.7Z%IṲ=`|ߘ;2cy>&`[Y@d>V`#j@6E)/tØb{BKi7EUJsn4e8Z b?FXZ2K9E 9V()],빗5@\Km7ޜѨ#eZ" Slx$+2ť_E`̿_*B :cgE\(=D/(' S J =_ޯ+#NtO;# y܈:gJKg| NTbc;9<V[^G9$_ּ j: Iq!}LOA,Bn(0|o`9YnE|.fܤJĪ#Gq݋,0vZ{"/ iGe.o-]~O-~9VK&0| 4 8jKU寯c;l7BLB%DYsY\ȣ|:dm[$#2,Ӥ 'K b,9h^W02%vWKsH3^rz JjzgYZ01e4a1eb1c0c7ec2ff101bba508f86636e29f414 8e1be8842734d621b02363294a6667fcb8966f5b 98afc084f43e0ef865628705ba046b901f906d39 ac28f3541e2f506b9ef5afe4d1eb8064f3e54420735820fbde580c794b275d3f360e30a6d8376dcb f7c5cec25e7da1e133019a5ddbca98ad9c7924aa 182507163e45bbf725735e35871a5ba3be6c75e3 c792037e3d0f7486f079b5d2eeeeb761cbe56f95 87d272d7a214823a6656954e4786f6c505a2d5a0 f8fc48259d3caaff1b24aac794aa005cbb2b7142 7 Source_Coding_Theorem