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  G7Td ]S Source_Coding_Theorem:threads=2elapsed=5.360cpu=9.036gc=0.200factor=1.697zXZִF! "]ŗXf1-/6vR[]E4dQ\.Iu*649lu;xJ-JJ'Q؝J9hji5q9zAŲ"( pF~jYO!7~(W5Dlplq!lsoO#/ 8}xq"̉.Qe>f8鎦 n&M&v=1OݗsLPjIb#cc^͂~;t#pab'/S{RR>0'6+SgYZ7zXZִF! _K]ŗXiɟ~*I  "))AK$b @x C`^oU^[mI;_ԃcog`)G}YZ7zXZִF! * ]ŗXi%;Ջ;@f믛PᗎiPqkh_gl"Pɍ@6*?jb4:PQ>r۫`ǡ9E5 Ӿp救m[.E\Cu|+rRkRuc{c{XH&;adftXwx%?D7rtP5;ȟde~MZBTƏ \ʺyl8W!fHZvjγ|}9@^S :پ0$,n^կ`=P.77zUQUcoW3Uc):lEjWjأ2|!Ƶuq5 bHŸ쑮Bސ[<-3r뮯!*gctڲ  T2]ŜYoWۗ(wb+`\$x-@^SR7y僁K'K_ ?WZN`Op8 Ն򞢨}=,mS+<zF,4=uY&U \j DHS26<(Uq,M>BjBw KZċbG!K\ZO'^ j_4'^n6eNtt y'R*|dct|M/#聠Ƕ@׸;}5tEYov+уx1uOt,F "bzlزHhT&;gYZ21af0a04d1e3872f7668ee14acbd0d19d8cc5f3479d8e835726df87c7b301a8f091eddccadfabbca a29a84bba8aa29c804c447ecf6bc83360b3be33c ec674435ecaa12dcee5b74ea1d46af0a9fb15bf9 c39f40de2a95cd726ea713b95099c379b3c52604 7 Source_Coding_Theorem