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  |\ ] HyperCTL:threads=2elapsed=16.432cpu=29.240gc=1.456factor=1.787zXZִF! o]ŗXf1-/6vRZX]7bnkp{_M%xܰ U:]4gڠ)=q/B|F"(Bvt(œ?猭 A )(l(PP8qu;돜o Ƭ t9+ ɀ"_t}{nkdY.L~ B8U ;Uq^(T5̀Yn:ʉ*[j?kw6&9D2ꋀ7UDԊ+6\"" A=]ĎCsU*kkBj$GfUpl^Zaη?eMu&KCSIwo8_gSln+bs C"En9 zCN*k5H%A&/1pgYZ7zXZִF! ]ŗXiɟF@Am|{'h1DyF(R ,p.|!` Q&Z8_]Go‚n w12¶> 7j6{9t:ȳ B(/!sϷ(4Na !ujs&mz(gYZ7zXZִF! T]ŗXi%6SwPkY>#WtKCdRĝF>չ>pJ).%bF 1L\F5j`DK>z!=m?vӅ.텋94QkEj:wAZTT& L`w@6.еҚY䉶ȵK2CwĂ:}wNac$a@2jɗhhGˏdHB/5j .2X*7.+iڳ+"jgfj^s^] wX%.j}g} {<?Eń9<)|Oʡ5%ػnUg73pk`&yBwW 艾mwʂX`hԍI 3s#SA8+MpuB7N=}[p2=>}.sƏ-t/Vz6׾K.};m/[qnc $#>iͪr!bI|y$n 6 N"6ԑM_;AmY chidA-F1+r|oVcކ^c .Z:ۍ{YRΕuRbûZ2Dy-mF59>`:8rtAje/ވ/u(5iZ?B~an5cD* صV{ݓ-s`#gv^)oVu'={{mc?BU*#Tvܩ ĩуgYZf536d91b973698aad0a587704baf0bf2992c34b8e70ee0fd938a0febc474d8a614487240593c9abf 62b865a30afb162effeec3b132b2275d92775ddc a15e9030bb829e65726be753cd6c29a0a343ef2f   HyperCTL