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  b b7L Sw Source_Coding_Theorem:threads=2elapsed=5.809cpu=9.828gc=0.172factor=1.697zXZִF! ]ŗXf1-/6vR[]E4dQ\.Iu*649lu;xJc#^uy65f4qOjoDKư(Ge5HՂT_K؉ sIL "]DO\if/5`&!q.Bfl H'=N)G rdjU-^0tnRT&8:$YlrY S9|s5:85a-jz2V;S>{ dp{`vȠ ?rJ#h S&gYZ7zXZִF! %m]ŗXi%6xs,vnDZ%5vK“џk?:k_Px,s!mkK;F(]#g%uY0=ƿR d,VLփr"Ԛvb_hlAq"8BL=PgVw~0Ƃ~㯳k(4U-6R@ke%m'y¼Iߔ̮X;| q$/.~X:id J6y&g f  Xm󞼡uH;h>PS33˜{ ݳȰ1+9S#V.k})easfWh܍2QY&}'M6jD05{RQ¨=$;J9{V W (Qxi&a$”W4uJEι:6X^>@'M˙rMX=xy8xUW*֯0Iݟ:eWAk'EGB7Ka0% qߴ] >2CnEƅ -,jR@姭v}l'<5ZsW]-a1@Sj!^öűNgn?Z؊0kn;*\aH(w:?ҠɝcÈ=Mml N5$!Vj2ѓrbFTxMپ; WBOd;|,!Iwa@ыpEX!37tK>(6oJX=gYZ01e4a1eb1c0c7ec2ff101bba508f86636e29f414 8e1be8842734d621b02363294a6667fcb8966f5b 98afc084f43e0ef865628705ba046b901f906d39 ac28f3541e2f506b9ef5afe4d1eb8064f3e54420554fc66833c1e501a5e5c7ff24471873df0a1f56 d155c2ed07829a15fa84f92865e4197c8a5f1ee1 831d14f67c3c3a84a98a77281c0c1e5b593b14fa abeae0cfaca798724f3a1b862a46ef1f7262f8bd cadfd60bbd70ea043ffb5760ff880b18f070e51f eb909c4379772f32c76d9ee8c7fb52cd7a871ea9 7 Source_Coding_Theorem