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 --P% C/x3* wKZ/ ޡCK[x]_8[9FtƯ{jxwJ@] Ek ՚%ǡf1NH(T Xڤtȣ;S՞z2Nx̽HPPqUgSTtTm_{&n8а9nL=SMuיH5tzn {<?גXd;[;/ӕsNܑ QŪbUT^YŔ)5:ͩumd97-1sNM9RT RoSX-PyL YgYZ7zXZִF! ]ŗXi%6uT BH\Q-Dr=p0%:P`V{aZk;xfV3ՔmRDE]=\.dRL$=*qP4κ|! R T'>x |h6r"?DʔL+!UxWu*`un G(&jhcSX{]s TC{ #݊ZDn ?o|!\35@qF_;:+S d_#6elӽ" ΥN a`o=h&$r$6{|(6Sla#t˪$?!%I /1Qz%V9{`zq-Ĵlv/g[j !S^HEI7Ґ@ OC7~c^0T>$&"a*:/J+ǦsA;lAFLgbb˚!7"f,@Wcā9E#f36k )#}'Nf\p;Rt:}^*4&ţ D% WO<[QTjq:g58}bG24gWӟscgވWk~IL, |ΆFUd պG=9#5uwlk2pʖnD_1mEĺ0nf0{H6$*&{3i?J 5n}[df,i,)pS08\xj4ƼU ^6ӨKV%]@2wzajelPTA=($A,>| 쇷#Le0,*b=_ԡĐ%)%ٛڿ ~W~e zEIFƼSOz$\ Ճw.-MXi~.Kz̠W:"RϰsuCS%F໙<ϵ2ь'+1A}lYCf0o@hܼZT+"? a: +u,zzJN2&M:&mds=cc N$8>Nۨ*z'PE,wQ3gzP.wγM<_v: LIjs#I1~ƿRX9 1C̥A̾>jO✯4+TSct>3[ş 5֑-5bޢD=JyF \St %HN_AkCҧXӯ]e-n;ƥ nQo-WPܝ 9. $v <7Nj^;,!àTRD.Ӝ3 y&pyvڈYǘJ4\Z+\%Ubq &K"?d^6AXc9gYZ1d674607b47b0e5fddbe94207659c2ad64bba092 9c3bcd73f5772e14e4e0ebdefe08fc56a83e9114 b048c4c894ba192ff4495d01de6dd39d08a420aa c2671cf74f5bf1923a33103584419cbedde498a3 cbcd70e2dff31dd7d23a91a5127d9ab3987ffe00 d419a2f7542de8b3837a1e8dc193b025a1b909b2 edb134994f175a0bc4e2c1336ad67621ac540f1de4688efe0911f3c4685119d2413b25847e9bdff2 fd75a6d445e5afaec4d07c698e0e0aad8327d77d df6f77d3cba6fb825ee5fd35d1c789d872ff9d4b 86c7fd1199441702fd9498d93a1d3535f80efeef 81c60aa8bc9ec45606136020e3096419ab0aad37 3cfa26011d3ad9007f9cfe141f0dcef0b322e0c0 7803a22b8b1c232f8dba8b63618e5e1a4cf3290e % Stern_Brocot