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 X+ | _/ HOL-Hahn_Banach:threads=2elapsed=11.103cpu=21.872gc=0.844factor=1.977zXZִF! Su]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVhE|wK]az"k©5a^?uc?-& + HOL-Hahn_Banacho9g`Q=ZHq%mrmayECL Bɐf+;7="ӔMjǝ$S '^kO(y$zlO^2=ޟا]އ,^5ώշX)BQtTQ-oW}GtWxՀK8uՅU1!g86R" qn|Kr(V ?Ҍl?״nd(RZ< eY9?>\ Zd*z69e?,ȷoәS[칮RJXjfߟXVfh ^ow@S>EX/Hb .I*ȡ^:"s^G#5 _6ga0SE?mJ11*8H~%+v>E ؇,&8,-D#BՔsKL::viږxC濩QwtpS#uRT͋H8+ebaPI7q?Zeڐ%jΟ+,>HEp/j!4?l-}u6 O3i?0,BݠX]c,FK k{G6ڈΠRw\^KB7ҾB1ޯx: Ξi =p}5KiXQAIdb7\e8-ԐBX̯CAWƦ9‹%fJPDY&[d34.:L#)AqNU4nKgހU'-pøhKl͙~]ū &eaȱ'x\2SbV?!cJ")Og|pVFt^D WHnxٺD3Ztԗ㬟OݱW sm<0P3MX# G75C{EoH`QGH-sqS :C{mr=Kx4uki8[.4 -P}G|>nj{a6J$ KLcFAs/HP7dM8|6tVSc0= Y" TK'Ho*eq5sFizJ1$k,E @,|g7" Ou`^ʦs9Ԕ~[=;^ -(e5Vw]:JЅRHoySC~V]יB'gKe#|y;Srrk8_3bFj*ߐY>ѫf:i%*m{^5fR(v7^Ε=5̈́}^Q:՟8D#$Tbs!DJҮ`VUg*8L]OsG?f8J%bҢPi,L)bDͮ`tJ=KRoO|]i27Ђ1^'Lj=s7@gH-LZğfk31ϒٻrxF931CB`q(1u| Xk$6^ 츭_WB\{@zl?ۨo 1AC*QOQ\44YJRuGA>x)clwЁH[\` &WԼ brAWz7!pT[ʭZ0:\[ay~:@na#:P@*HRg!eԈ6pimgXmDv(eqG>܁5j(y@̿-:"FNu/ȅ7#%8X2J\ۚˮA |c}+wը 8e>]]4