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   ] L ]/]HOL-Word:threads=6elapsed=8.716cpu=39.720gc=1.572factor=4.567zXZִF! ]ŗXf1-q恈͐7ӺV /K!W8DNKY>OjxiKGnC)p?z cmuھ]g[CB=՝Kep&(6dGZAT$ߑv,%/2f%k\ V|dk$iA=YM,JtDB`A4](ѵ8|6Eg7{'+PGih6Bc3M!+)`ThL ɐ`L+e(!HH ׳=+1]ȡm` & {Z"ee$Lqot@tj8dÌW&; ={ވކJՠ ̏P}I^$V @ES qn;*$)|anBwuF>tV3L @/Z*z rQ4ךw䅀 x6A o-gYZ7zXZִF! *]ŗXi%9(R9JeWYMP,j~ld도qXz] x:M*g] ut>6Ŝo\ieSi gD!Th nKη) ("@&9m9ǽG2\ /A)r/+MUi^mRE%qiGlNgzbO$cCɌ捉Xm =zCҊ8=¡p8*mRcp(F$ B^VmDpz/ 7pҿ^.ɞ&k7?!yz x5@ #0/,i-&B% 0\3}Ґ7id" :#XO}&mK_zw!]mNؿNrA+lEo c>W7OWp #o@j#CSӳ1ԝ=$9)wu"XMO2)S^xd"8Y拔N>i=plE܂yfD PIY`{{%(Sg^C fbd2#cKT7}PZwdk@|@T(&cka*_MEހ1ȵ Zۇ]\y˪{nC%Z<1O;:) anF]ԗf&⯪ƻ'LoUyYgYZb4483560a3cb9e1dc9a29171d8a1855ec37793c6f7b1a1f56b73dc58bf54d6b554cfc6678c6e3f45 8699c09d5dc37a7f84bb6047bb44724257d556ee12ee63a8e473cc669e5aeaf667c019097944d016   HOL-Word