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 "1 tD ] Knuth_Morris_Pratt:threads=2elapsed=23.591cpu=45.120gc=1.392factor=1.917zXZִF! s]ŗXf1-q恈͐7ӺV #`91knTyڧ2F ]}Pz36f5~59s`mRMimB]<]yԤ"*ڬj|ps)'Sy1u^K[%ik<Z VQ| mm~X!# TDM,-HM+R`*G$6/bT1󡭛uC[zNTJ'Wds->u b NdǓ#Ȇ9d{\Y6~(Nv{J E@qoM5 (գJ+/4jt/@@͞PWC6v'U,'풙SaK0p}xy+EjXO1GRMh|PidITa0Xv[vu!r/RZ2001nD\F̖7,8Q"nZ٣L|m=]ݬ\jVCFy:,)` O(A/i?gYZ7zXZִF! |]ŗXi%93}>a1"s=<KCzXÊAZg\b}\/Cvٝ !4Mϖ2ͣ3U'lrM,=\h%O`Ebm*I*J_1tpτ]7k;1 ;gΖEN2 XXÛ;7\ ZJ $7B%