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  Dt ]/ GenClock:threads=2elapsed=3.591cpu=6.136gc=0.080factor=1.717zXZִF! u]ŗXf1-/6vRZwE}%X:!:7^xqlOq ݟ42^9o+TY%xԔ1r|0dڋ:)gk,y6vCn+6E{Uc_#ds?`񤢇iDC_95 '|RIgYZ7zXZִF! E>]ŗXiɟX/LO18#jS:tZ1 Cu*HB=T</bh"=~BZFPm}YZ7zXZִF! "]ŗXi%ή++ɔ~Rф˴18 _^Rk/=RBߗO P~XПcj7 (b`DL D[Y~L> L{/?2Pm7< 9$JɎЋmEZMM>+~ NV,+$' 0w1hT浂3-Kl@6o TZl!2Yo?aH4GJ9<8$55X<Ӹ$Q{X`)r `S`["%I>YV'ZEUP&R$ny| ""j94G_`h]Ki[E97P1as3wsL5w:M}$5"ĚV'WZSCiG$&-8yumhxxL mz\مE5z3^e?K{ cXPy`U爌>9l! ?٬v]Xyk5 MT?u(q(!E>r(Vt;Cc{ K_g6n4 hT>84C~ ΢f&2Ë( A]8g() EJLV]\.en1lr1 ] 4C !\j҃K{)79ZrJjCEqgYZb644f8306d526210ad34847fa33e6d30595a37a900b13affeca8329065e523557b07861f9da96370 de656be5c82664d2d06f9d4f4c7a9247323f4c02   GenClock