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 ~~ |omLefÄĈ++%4|[-DyA4[y<|kaQ/Y7-hS]sAGߤ 3@q*pL߾i!pM:zBej7.4k\H# |Ȍ:ј0ƒ1Ng OǂN酬p ݶXXDhܫ2Z+0W iN8b!bҔ %G5ÍTǝbIxt;6/6Dҭ70cs0q_y`QƼcXB!HEs@On )G]2 bf;}䳽fs I5%vꂐsNc=R-+^)M޽rdUA<`ӭeb5>uy5dwcqkp$J<. }`8xMN 8F^$4Czͫm{mJPds鯼d$Z !TA3i1H:#_REh&nC&kgYZ7zXZִF! h[]ŗXiɟ9 i:4'9Zfw4 _.9ЏQ*D}ҞJ])K 4a["Ho{ ' -|դ_Z63%r!Nx7~Smnc<~-b,˔ ?-ѨO:4]ɪ_ ?,a(s(A9IS 9UuSp \L:U4\_@^nq[Yw?S,҅Hm_]-*+ɹY*5KmkiBpoDVSvCbfӊ==6}gĂ57fdVĸ2 8stzPm"d$c;ȋq]ozʖuƊNMH 4m3~~i>hYVa}' [&ݗ]?7~o'dQ$5x؋y`є@uꐕ^G(6M7'((Y+ga@*9b33ʱiYuIW-6aL}А#8*Й ʪjv b/R+ܚ2B|<4x.[O8]Lhg Μ2JarJfCP91ў%eD`|YzʽMBIH![46^/Ҝ`; ziACK`d|PQ^; {\K^Y\ǐ3U,sRyN`}fB"7LS>^#+`r/(*PaQ6 @X}{O>zr-RU&& i0| kużbF\@&:T{=`=Nu" ~yxAX=qMgg<Ɏ! !1nfJ{Wr^Wjߛ a"HXue%6jOgWK"OSaeNp6&審y*tϹ[U&_KV\ԟ$i|ER͟Os δE4e&cZ!vD1J8pyO/R(V?rW3{0fX/v2@P7oj[K!*ᗌ .2^ gYZea174d9663598582e3efbf2fbf5df9a99b4a7f811f11aeb0b5cb58822b61789e97e7af2cf416f0f7 2170a5fa4a68f7b1a42bd57e1745c11f34cab24c 867478e1fcf4672f96a9855570ac74d8c4450ee1   ZF-UNITY