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 II4% < II Stern_Brocot:threads=2elapsed=33.551cpu=54.228gc=3.752factor=1.627zXZִF! ]ŗXf1-/6vR[]ׇvb1߁ݶ_[QR%zaO5͢^I,La}twQB.̒3/t_n0.ÐiJ]3_#@.HD<ui;o6aͮkL* N [h߱ -G )RaR3vt|8 V=y#ax.eml]p0:cıs:1ĕm%R~\V?~q_h|#Jh s~J&߭s6ne2ݒ jeAף`aeEҐBf IA7|ITʐ{c򉂀IT;/:?)^G%ΟsHIZ.׭?ݬjνHx?y ^/=@w4@iC5Y:oKs[kT gR!-"+pepxBSl,ޛ"[~%%O^! '(dЇ>gwi 9[v,Hً*T>ɱ_ =W, 5h0aVu Z!?U,jq)k?b4EfcHtH^JJ"d +՛ CC92wL6Q|a@Ʋ5G+2G^(M;qSF&3r1K%e_P. Yw\91Vƪj߈Jogf.Q]mj%p}1C d~V4半KhO6Wd#Q'o iIYbqD1`ۺI|@E+y倽D/QM̤ETN:]ZaMˆQ7\a!\I+@7ԼXJ7K=٘/,!2}a P/̭-tzڄ!R|lqZh+JlMV Y{<{v VUi@Q+oº$}y!wDsHa1|D+`WP \BWbϣH;ɢeK91Qs$rp^4'#tv ww ~!.AըBO.^nGN оU{I~9_. b)3өi9~G8ڃV@kR&,?.NdrЪ\ ֠ZNAG x>Zlb/0l8B,}Lt3?+K957*߸kG,GŠ'"YvDO!8x ~8 ;.kx6̻FxbT;O3訾mbL:,P aDs1K4Z-O@bj{mA{Zg)