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  3 T ]/ Impossible_Geometry:threads=2elapsed=10.525cpu=15.484gc=0.436factor=1.477zXZִF! ?]ŗXf1-/6vRZ4&L LN֏fB ۇf L*LVzP[jhڒ,<  lPw5ŝ|5;BAdRiW+ ՃcPiișsD)c@N+/nlUGQc/5F6mnQN5$閦I :~s¥u,Zo#?₪XLR W̚ R7R2lj&z r:-]gYZ7zXZִF! [K]ŗXiɟRw`5.@!azH>MM('J6'~;55BY@d@3wojJg\Uh}YZ7zXZִF! :]ŗXi%9#qw^6#s]g.@ vM&ҁy04o\`r >B:g] yCU/t8M5 T`NW/ˁɿ]7}E`K5@y^ U{|Z]ïׅ(7fj9A˦7b-%v wklzZy^9!r8^Ms̶ؑ%qja(K= b>ߕtEW֍3ɖ씱ѓ_UeeΌխ䐬7 iZ)F gEZ'뻖GsB^="4pPUKWI"|Bf-DԽAY?}qS<`-Fq8ZOԮ wr2Fl݅=]RKۥW ,wb䂔f[m -@R _M.MF`;};#QT</U(K3%|AftXry}2['uA hQ;"IFp+NxӲZOM:ÁYS7WY>v[@S YMǀ0Sl?ӳT }'}Th!K(-hŽ4ߖ=גs[dpq2rZ+#M.]񼒑5޼52%h/wjJ՞3qm&rSKD$'(CR"ے% ӃY)jPuScۥ;J|S^!Y#Z IV ?x_5c`amt)"=}eF):K[xu,X[2WxugYZd16df617d5daf49e47265fedd96f677aa3a61d478ae0489170ffa4e9aeecb054da5126bd23bcab2b a42132ca83816d0082ab6b716aea896bf4d99d0a 3 Impossible_Geometry