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  } }+|Dd ] HOL-Hahn_Banach:threads=2elapsed=3.893cpu=6.964gc=0.180factor=1.797zXZִF! ]ŗXf1-q恈a.W>"Aޙyģ΁K7!@c_u'Qz]IIP4 ۀiy{(Cm^7윭rvlW;e,M@ #ޡRXU$iBHfK|::w賟1Hr3WJAB cēt&'gKIkǯ2\ $ `҂eJT@P{ڱgYZ7zXZִF! 4]ŗXiɟ1P ~n8nQLh) un0ļLޱ1sq\tאfJPO?3.Q{wtNtѝMatPй PRXM$}~^7x utv8'hDss*nYqca(aa8E|t̖(rg2Ga\hsx&"T5Y<.ĥ pZ~d!ij_BbI i!kgYZ7zXZִF! "]ŗXi%;7Ywe_G1@u[_DgV?Q} DD3g0fC $)dv?Zk\HBs?<} V|u]jj=_fsk3ފ4L2?h:WkW]:M+y,H'-DZAd-노4qk%Ee&=dDARgF-OCb$>_VOD,B'i5(Ua̳ziy[n ; 1"gm`d5%oA:?##B oiUcq)mӈ^\&t4^YZTDO?{hqi/E$D{nr 9gئ[|rU _2} }{QDuȭk^*&g ?~* pvj/t8@KgRsJvXL; X6y#d#ږg !c<7Z"i:&fdtZ}!~zșHg)ՒC&*!\;έtM$Ե؏rٜ^`Em\K&Ҷn4",me0g0QŲ?Т/ A brIL4 } 9^WN9"+!E1CgYZ863fccbb06535e5cc194f71a6b26bb2e60cdd27ddb6f05ad5884c3d4b639d9f4b203792d5968e568 8f4009a03cb4dc8972f8428957511cea3c656c5b a57efa7649a3294a1a9152df50ebf74ad2bf698c + HOL-Hahn_Banach