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   {7d, ]w Source_Coding_Theorem:threads=2elapsed=5.746cpu=9.756gc=0.204factor=1.707zXZִF! *]ŗXf1-/6vR[]E4dQ\.Iu*649lu;xJc#^uy65f4qOjoDK}ǔvcRgB,@+ rZ#ϙ2$p 7pjV\cKʮNO}C (Gu):3/HOY{EX]#6~' TLl*L~㛰`&K\ =;'jܛohϖ¡0:΅~HfgK08emސ0oTZVx=>ܓ?sgs4aW)maS|#+ҢNZ52=X\j\瓅h8L'RvWj 4J…P=R`tD}nЗq~xiS\+q[fJUgYZa086c8c96a0081ed4f1736501843ca05416a3223e3d3de0c105787f07c71be3f3e76dafbe7c86cef 26af89b7d57c7a15a989446f8ee1ff99d4928d87 37a5e7d87b1de36723bc2e935ab779ac8831a48d 76a68048e9407415394a8191e7fd2daca1c1bb2e 50dae0a1e57500b43a88785cc6cc74498158411e d0e1d955a726151afa27f2b08ce6ac9b935ae1b3 7 Source_Coding_Theorem