SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 -5 L|4 ]%]DynamicArchitectures:threads=2elapsed=15.187cpu=28.124gc=0.884factor=1.857zXZִF! @]ŗXf1-/6vRZaKSt$uxek$x="Ǯ6xPm͌Ͱcmy;ri?۔P[WEY#XL6?&#i`!mn![Ndx D.T9錣oƓ^uja[5=)BK(N%8bDu]Z(3A"֥AKK @P}.M䞺 /6y K\~{ i@Qw]o2ԟ|ڥ[zh.f qpsyZ`.N-~ժcƝ&8!Ed+zȲEE Q'ug6`WM}2,u}&f)CG٣SBe˟:46ۄI#IMLBj`EglL1Ğ~i 0 vgC^C67 F]|[x`^H. & 0RKb*CMgYZ7zXZִF! v]ŗXiɟ:340Ψ_իX+jެDu?.jT yGS3+lpp6!WXډ0C_:]}i$G&>gYZ7zXZִF! b]ŗXi%>g;S.7 d4PP0 ⷢu&<DFp2P#AKKYٰ ]-赍(yi~ {YHE!^u^椵X}[ᦲҥ4=g2mf.Zۤ'F_v= I b"%u:/)96>t ~\ U2í^&&#et1a#<|u9]=P NFpXH|NS&0GBI!G'@ )4^!8eDhԋ\4M:RNk/coC Zd1D 3F9kR1XӐ_p{kDM9%-Li馲NP6'nIxw@`:Wxm8K;slc0ma:XR9'1f&FqwO!.@N>љ%2L5+ifa_bJ4*>lJ'w U(~(y<լ9 }!ty'^o/E0Epfrtx-da\1_aSp ʼ\JfVFH)067VLPu@Q1d,я)zeo8!#b1PeYgNb |g&Y#jrt=2ԦLǍm|(\ J,ۘ&DQVPBS=bct7^O&s^ޓ>v1#Уs :4@D+ ޫm.K{}LT仚eMRQY9̣>< /'Ny]mb'dJ2 d&26XvXeLo:Az\A?V%m[ɜPp<^u|qe0Aky8kq+ =r<ذ>d:8'm69\~/;Yw ~؅{Fͩ뮷1e9ꖉs_X-՞n u)M& yg$Q.}_ H 9I38H;uwvJV 9fXW*.#**ú\"_~j{a5AJ,PO<~oF/\QJ J2:p͢0Cgp3{ Zf#5ɲ~R?V(b2݀ݡ