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 FF77,d Sw Source_Coding_Theorem:threads=2elapsed=5.321cpu=9.608gc=0.204factor=1.817zXZִF! /M]ŗXf1-/6vR[]E4dQ\.Iu*649lu;xJc#^uy65f4qOjoDK_;:`pJ9j-[˯'IXC&,-gWS3xϩ xxU5daD S>g gFkn+C/]}oʑ`ahToد a̯1{񹜭(1⍦zHhl7f)54_;Ņ*O7xq3+.׻= ~ _6gYZ7zXZִF! #]ŗXi%!W;{3d^u0/혣JO[^&y~(s[3Hb|mh}Q>W&3-}T"I|h$~ ֹ Q~-^\M˦}SQϛG.5O:͒PZ4l*]z ~-AkTN޾;|2H'b5|BB}=E Q0d!ExVgY߶.Ix6)цK,ĺ@'іhݟPFڥyl(:hEP>x1J]c ffz+^ {Wh+"\U{ Zf+;?NGVU@_lLZi{/.hɞFLfX*C"`=0CzDw#_Oc9Rzߞ­"%w@2Æ4WG< TgF D%|[ЎTO9 2M?9 SQa]Xe]\M:ra֟Id%o5'*>I7L!iOh@z&@V5S+4P [tcxah/m5 \yd/5uZ"*%<-r-a_F͝tgYZ01e4a1eb1c0c7ec2ff101bba508f86636e29f414 8e1be8842734d621b02363294a6667fcb8966f5b 98afc084f43e0ef865628705ba046b901f906d39 ac28f3541e2f506b9ef5afe4d1eb8064f3e54420fd26823aea4412c74308567751ae895bf997201a c51b383787a599e178e4e8b340122b3ecdee1700 dc2961254cdff5383e97fe7701cad91d01ec577c 5e44082305b3e1a44d18a9327bc55a4a3ddfaf4e bd0387820c887a5b95904735a0e26b7b975531c4 9a1e199125fd0a92ee6838ebfc0691585c61eb5d 7 Source_Coding_Theorem