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  \ \!< ]/ Lazy_Case:threads=2elapsed=3.336cpu=4.772gc=0.236factor=1.437zXZִF! &y]ŗXf1-/6vRZǿWv^(Jsh+bjGqCeKn=H-`cƁ-B_Fjœ.PJhBؿ0cT~O`gYZ7zXZִF! W]ŗXiɟqHdOkwZuӽ"Gi(L0Y]z4C݂[EW@8sAf) xGsdgYZ7zXZִF! W;]ŗXi%;уx+x_ON,NXόul)" Ha}0[Z=PaGmvj}i+3ɽ*nR=[,0lJts-v;ش nLRPH|K1X0~!Zn2a=(ԋG_e&Qšas ˇ,i`%g gkf7z QI׻N JU+wb|]@]'є$Օ|ť%'D.l*U9sȹ"%)2=+Pz V"r@ik7{ gqv-뤕[ y@lnR;fm&LY0`r8 2Lżg4gR8aIL9pU4܂S˼ LlzF!1 OPZH~ [ h\/0@6+2+l< 7C.p `7@T'%n$5stº\De \ 'sz_nkTSI+G3+7DKxjdaǙDe~aMBkjY,I=<gYZf1d4c3c3b6e96f6b065aad15cc0c4dc9b4a176c679d8e835726df87c7b301a8f091eddccadfabbca f1715b405e31ccabbdc6fec58464e458364e7dc6   Lazy_Case