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   a \L ]/ LambdaMu:threads=2elapsed=8.424cpu=13.348gc=0.416factor=1.587zXZִF! (]ŗXf1-/6vRZVNi2uD0[~1 R5x c.V!"sBLsC7 /@\@[,'(+B9mxe27\K2!?ʴ2*jWXpnA: Ԭ>pܱ=<]ey9A^P KR֮`gF0ׁV4vv1͠𽷰lAq ~|ahS~xG"lu3 9QPT[8.i- B|vR]wgwϧFPu/jl.VQ#pqjX6f޴\To$*Rqo0p5kf6+RQ 7(Sh bRz()H[@e=zq!DaJZE99-{ngrѰ[4 5n*滽($tn>yWX 뺧v?F预Jݬ! c6Q11/i:[degG+\]έbQ."a0rBv=Ip)jBs{_P >ֳse$kh A?b7}v"K>W*K(&%4NϞb-gYZ196f72420865492230781bc9b13b341def9b26578ae0489170ffa4e9aeecb054da5126bd23bcab2b a42132ca83816d0082ab6b716aea896bf4d99d0a   LambdaMu