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  G74 ]S Source_Coding_Theorem:threads=2elapsed=5.161cpu=8.404gc=0.120factor=1.637zXZִF! ]ŗXf1-/6vR[]E4dQ\.Iu*649lu;xJ-JJ'Q؝J9hji5q?3bfa<&0J xZ~1gu4k0{SaҺ{y԰;uP汽%`5!CvO Sr}tք_VhPITf d~"0P"KA&óY\( p$alߨqRv-2+S뚼/M#@ Q'hΤ,tñgYZ7zXZִF! _K]ŗXiɟ~*I  "))AK$b @xGX r埝%"*hJ2*g`)G}YZ7zXZִF! ']ŗXi%9*]턱?'ɒW:xM1 κq^&?1|Ow v?7Oiaq&3l]sg j|OqxW#"K՝5:c*~\ HT7` /dq|gSNx-F$qq2_Ńyn =RaFY(^;n3^Iw,ldwRM.CDBtiRjܺ4Q:Mѥj/qk_ ;!Q-GG +aϬxiZL\&pHgrI.zCX`ʘ6i/ۅܾa\TXf`SJ}g3ɽk>H'"d6A(G 6u"ZٷUM*_J($;vM_YI~sbfzJF,2rnrDCa?QQ4~,h>Qw%@w!]1gx,0=7k{]AjDE[\ԍ.ej+[jE-tL5G3 yk~8o*ck6,bfQn "*U\7lz $)I`]OO(>>Zk::" aZ?7N<354\Dx)(%*1!k;}T&>y/ d09OS (fR"خ<+\np0-Ov@ֱgYZe2b2dccfdcb0262f99ca3dcda831457b3f79ace7325386da1460dc38f32089d1221024ec932a2181 06bff5eb73bee75606e14d28e9b646bebba8f569 6732d2329c2f5f6541671afa909060fb11f34da1 51e2bfc34deb55f2a5d83099a514d73ce109a380 7 Source_Coding_Theorem