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  j j7l\ Sw Source_Coding_Theorem:threads=2elapsed=5.730cpu=9.704gc=0.168factor=1.697zXZִF! /]ŗXf1-/6vR[]E4dQ\.Iu*649lu;xJc#^uy65f4qOjoDKFe9 0o7OSzp܃1kT_2 @F)huP|ZY Jf 76LJzƠdw- bDJc<;a'`q+iCuĶJw~(Hw9_3TDS ւLDӒ%aA?5=m>jg*>ɍ'v n+B}' XjgYZ7zXZִF! %p]ŗXi%6{Bv@\IrUڟ}5gh{>!\5L{fLS#ͱ),(̣GVg~TAMb\9  &ٴEIl2>&. -u#m Fي tt&zeB$4cXI=AID}W{i1h B$}@N빪TmG|EK(f1ïB-ׄ[AsmiIw-&L%;3Plq jJ6 #՛+Q2jzmY!cъ5oBлh| DTm,3$f6LIWV]{_? LiJ]"qpc W"|'9[?;?I Ͳ<]jM@3./v 5.33I J#2"ۏ9Exel\BK7FHfF|N#BcXZPgwZ)K2\Xe O(b])ٴ~H 0w,εy]|o 45 |Z_,߽p$:H]U=C@^'-G6OZv3\!k?Br-9H훌JSAvk~'YTF=Qŋ;e|83fmG56%J>旱gYZ01e4a1eb1c0c7ec2ff101bba508f86636e29f414 8e1be8842734d621b02363294a6667fcb8966f5b 98afc084f43e0ef865628705ba046b901f906d39 db78b058288e66449a5632318cd0448d85230088f0df918d4045ad6c60b23213b65e87e41842eac3 e02038ad1e9503a02a8e11b7cb457877cc454f98 5e2d9fe647698eb3de122778d18dacd4a9a66146 05218989694d9035f45149cfa16d3e890ccdfc57 c96aff0ceca4570322c0f2c566f8f9648c4f1a7f 6466221b7e6b4e90f79b67ddcea463bdc011b06e 7 Source_Coding_Theorem