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 AC tD % Boolean_Expression_Checkers:threads=2elapsed=17.283cpu=30.376gc=1.812factor=1.767zXZִF! 3]ŗXf1-/6vRZk3&pTsqFK9/mGJ&hr.4%~"DJ/js sHPTAzˁab.M@KnH /;!%|!6?sWvRެ]`F5Y W0@}і⍋S5ZTqhsތcޚHO/&PJdZ,&g%4+8Xy'B4*J+[vzԫ&UemuGԄ6.ݗCa3̚9꾟 YOQXp8]dȬ}v[WrZvG Ms:6lE?96x9@Rݮ't=E${E'&]/jNji:NNA+$ϵ׎)t :h=?2$Z`ˍS-eqm׿I4K@t-٧@~,()L@[nָSs9@7|0jmt纳{:p-: ,]'ߠi%׎c =zes(K[&]RliO+B{nِC%先pFvV { וk  f͏j퉚Xc4w6P |Âtsʌ&ڽ) c{'⸏b ;]݌T[`P~ sA{jb>10B(+Л:$(ŧF έ*SgYZ34d8beddd1063e0f88c3cec18d55bc84f4ecdff0 5b7a8a74977f35c97745ff4512f1447d08ad5d6c 5c35e753de9008821a6118aedcc339f9365e8561 a8a565c4f899fcde3ec79b7254c1ad9f09f50fa3 f9a59b55e84d053e7eebed397fcd3b207594625f0ba1ca971c8be00bf94431f0078936b10d2759a5 0ce03196a7222f6488e31156b520bc36971a656f 839b44e946d25f579f005d34bf2b01c8c50a8382 C Boolean_Expression_Checkers