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  7$ ]S Source_Coding_Theorem:threads=2elapsed=5.050cpu=8.644gc=0.148factor=1.717zXZִF! 5 ]ŗXf1-/6vR[]E4dQ\.Iu*649lu;xJ-JJ'Q؝J9hji5q?6vfQih'@X1+{d֑ ]t;a{/ŅM|5>MSm), Zq ‹G&O̒nt3XP`acHN-=@E)K>=z̛NFiR@K3>j] .sFK:,}64 +זs( ^oҗogYZ7zXZִF! _K]ŗXiɟ~*I  "))AK$b @x!"(YFeٲB]n! ƫg`)G}YZ7zXZִF! ]ŗXi%9(SNhT3n]alV姩~Q͢/@D\Kƃpf{>)x%Bǚ 1djL}:~/:. S VNb{&"hul`HX+(58{bAB(kOi7ȃ #?BNagHhض)lӒ ڶDڠrԆY^qu4b61tH_WcY5A1 jMΗO?ƺ[sCȫԤyxll\Sߋ*gN :+7`Gy*JCP"1a~^3J/xUC&Fwu'7"mo$р3?_/Ra՛N{(kG _t4eɴРHΰud&Rpa;W@&8نpJ|ESh0a6Qhs=b"O̳GzuF3nv܎a2oвh,xJZzQxyAl*'b`9sX Od9h_H=£1Sj6ZN*Xk>^bU'$r61[%,G;LFfFJ$! |(UzN{l~\iAogYZe2cb57ae0f9f330d32bd87e474a5ee670119e5032722ec1bc2993f9863f5084b9ee07bd97dd3d36c 3f001195d7415da4b8cf06d884af4e156b801fea 8685a4e92669fedcb554c3e1724474c49917d734 80b95d98316c5dd540a19688863ee03bc56a8b47 7 Source_Coding_Theorem