SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info FF+7 l Sw Source_Coding_Theorem:threads=2elapsed=5.552cpu=10.060gc=0.228factor=1.817zXZִF! .=]ŗXf1-/6vR[]E4dQ\.Iu*649 7 Source_Coding_Theoremlu;xJc#^uy65f4qOjoDKZWV>JeP J4F6(C۹CC.ɦ$iUV/2Jԭ~X2cYZz w21#$p6V9l)&Jh}u'/JZC ShzXX5Tl"Xj%'z! -2Ӗu*`7V۪~笛 aY T Z6߷2})>3ʴ${}v&eǵ/PS>xRl fkNI#J- p&-dO<8Fx.Z G w;P[1nwL{&D^8vCXsI;(I3$iޱNLg /01R}@@MQS\A_ƹ#ΡD8 8\+r@q.2TUk;*~iZt.JvO=jיUԈxD-\Lna^5rrTJgw8@[?˂/f֩Eεp=YJ!yr#g5-h(;-]okgYZ7zXZִF! #]ŗXi%e*KJS :G&yJE<Όj۱RYΘ߫b &M %N3>?$W8ڃhsGc;=qF@= HpXc˴xF86=+ z?gfLHE2䆵 ݫ;E}KW67}Cu [Qw0]ݶpt.7-H>?g+ѲkVERRkKR2|B*N&