SQLite format 3@ .  YYQ77Atableisabelle_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, "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 OO.+\\ %w Catalan_Numbers:threads=2elapsed=3.692cpu=6.844gc=0.164factor=1.857zXZִF! ]ŗXf1-/6vRZy_c5MD&t$ϰӵ20:b.Ҧ>>ܓ<4sJ]#[xR3>˂=ŌO^RU\> V@-9W󻒞`*\lR<Ŵ L`<5s`c.Nk XL?ޢgco; @&R2N[.ApXNvOb"} ֣G2[0"K—nTf2[X#"#q2:XmXV= '/x#\1eۖ7%f^"?RE!Օ(tRC`ܫgiy#ub3o9w<Du.^T _vUǀuQU@&7 d20)>p b)A %(fi҈-hʦ@o1qՆhgs$XR474Ճ@<pb6V3 %R,~N :&CU!gr/pg#Odd5c'נWSM>יg8A=Q:}^`/*Iq cKMS8M^qߟ{R"΂b0ݤB$?jgYZ7zXZִF! h]ŗXi% H49 w) 4 6>2~'ChzvAe`ĉNPTsfvzo*%M֬Xe .Gʉ6LU.#[ӽ*0m@I1Xk B߈@B!+$bxcr$3j6X|#Q NݨG*m{Ċ~Sb|p e6AѤ>M4oGUj Մ"xjrovd*VY>+ӞTL? A" >Xla+]>pdv'BOb Vә,ٮ匀8^~TԵ} ViRkя