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  V V'|tl ]/ CYK:threads=2elapsed=4.847cpu=9.032gc=0.380factor=1.867zXZִF! ]ŗXf1-/6vRZy/``$%'Yx3zK_!d&/Ϊ JI@DX HZ,@2DuzJcUon|>LFkt+[4XnOm&B!$w5l/LWV{>B rDvQVhѬG8<3sNT˪\7JHBfٽv1hIUӆTD[6h"ua %{9gYZ7zXZִF! ;::name=CYK.CYKelapsed=2.806cpu=5.108gc=0.204Yw0T}YZ7zXZִF! ']ŗXi%92K't|~' #NsA1oDMLlsz&Ψ-j tٖʋ^;c|+z3rI9g,C z]"#FT͑5r /78',+>Xg.J Z bsq02r)? ,nhS1YLSN5 2 Tn]8fNZ Io"1 4AC ^L[B {bs[[`Z#0tF4me}ob餯ғDŽ@W.h(`aFq|ykY@B1BC>fZ\lkƸ?q=q9ѵ6C̍^VqOY1#0E&A ^H%h3* 6lj@IIxOH"un@rt&Ϭȍĸ7坄^#O ALg l|+"!ZmDBf}|陡UA'zA^MeK+"ÍkcXm"N\ɤ.]PQ'}uU;cՈ0ل=j#v^0-p3Wcoqx_)o7zͶEzoa >EcQ1f8\t9%/TUʹ&Ps:{1<2V\( n$2 e]*OegYZ3cef01299306c4dde0bade1f8da3d5e3917d78b0bc695fdee8824a798a8d382701fae26c53fc4747 5f7f982d9d8d0282fbc15cbadf4b07b06a8c8d77  CYK