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 DD91 4l / Recursion-Theory-I:threads=2elapsed=16.883cpu=29.912gc=1.268factor=1.777zXZִF! (]ŗXf1-/6vR[O燸$)Fm\ܝ&p+ WHlK8`Uץ}hZ4'. &nRL[[W:Vcv-UCs^`pr^ 6tD$1! *fuUnѼ$0򧟌2XvkMlb5)v^ϦJJBvJܨ*e!=9A 2`o p[2z9;zoRY;y8q]9om9! tţ1HC+kttA GYW F6dyM XpUXu}eX1cQKGhj ] 70U{-TV܅>X[sgYZ7zXZִF! b-]ŗXi%6{B϶颟GoJQ+׀m<25xM1ӂ͵@oO"\.NU%rLDOZli)wwmTkU3I=HWCݥ7۝vr4՘Sl3TAsF9А2YhxΥY8}(66 r1&k#x'uHws@#(_\|2xOJV"eMj[%x$ b:;X?Hk2""(YI%! _J0CNP/Y|cQװ1ip^(kUÆ]좑AS@G ne eI 4*fpA@Gfs4Xݸ~ZDz8\K,Z_7xݧ\ˡژCqA_)q  @ĄZ8>#ӹ(أMCr?y!f4Ź8ZI]_=xKˤOڰbH Şys}wr\$ԣ;n! snp{d2pq0_V$V$Kü{66~Y<ҠO#IRWxr!0@{~`|~mȐ |դ "{: xP˜Uz.VLG܀N!ft7N=)$[>P}+^4)MWgXԿXlgS}:Cg5W aĐĹՠ2$'_[|k(9 N(%8^6%<-.ҔSpSw-P̺|Ёɵ}J"~ PFLcy{)V37,`3{f5JJxoH Q|ssطUR&hZA_ݛF 1zdOo KY9<.W]\=-[\JLXM?1؍z,q,mt/ڧ,a#')v2^ip:cnW{# DD')wRWy.mDcSލݛ%9Њ6|!8贉TuLi0l YcpLj篻sPirQQ^N>⨵L'mmE̓bm(mb-@#=e{7Li