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 % t, II Stern_Brocot:threads=2elapsed=34.855cpu=56.248gc=3.716factor=1.617zXZִF! a]ŗXf1-/6vR[]ׇvb1߁ݶ5xaޠ+8%PoO DQl9I‚}tĹ7[>T)V膽`eu|zn'Kd)FzIvGN Visӌ,W;#ݱ,僪OV?$w b`]|ӀLԅ꼍9M]ВXZ,'w>(da {O\%+wgo^O$,4F}p Y3p_ȃ"VJ1m4dC\Tt; `vɻh2xpt8(q|?/*?ZpBЎ0Iޠ BC=+fOXBV򑇜kOsFt4[M󷎂Wp+͓7}:rS\|D2EƄ(Tc%˘fVːUe.7 M3T́A{c.Jr:Z|;Ĵi`+^N\]\ !Q%}/6"7SO?'km~iOA4c(Ϝ>;;Y+k]SPҡVD*K#*irYtl5 HlU`p(3Uncb':/s@.$Z1C<*WXgoH֓|1n:g.q msAKo`^؟7P[h%W_ B> Vcu?Y$~"CJHVQ"c%]ӠOMIrLj֌a# ;=);DZ.Y8<:B AkE()!}™ {GSf>T^[3~s`& ] S霔j hr]A>TSn S9^q9pFmP+ն 7۬]$>q[A4zZCUQα)Ͼ.X-9?*h+A3(f'<` ;5A+BV =>znFVc+!ubVgoO!BW AF.{2ZŧwW IJdV(fl{͸!(B8nJǟCGiyiIgp0-:WXQ;7t 1ng"1Cm*aQKH Լ"ʔvNt\u^[晤18 p'rpE^Sɘ\y7