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 5C t, % Boolean_Expression_Checkers:threads=2elapsed=16.470cpu=29.372gc=1.860factor=1.787zXZִF! 2]ŗXf1-/6vRZk3&pTsqFK9/mGJ&hr.4%~"DJ/js sHPTAzˁaV6ԑ7}KGZLx 0Y?j1_˳[sDꂁ(cO4sZ4F2liH>SK]K<gS8n KvZF842'#6Jז/,pSB+QR3mI쨄0+ Ζm/yp@kQ-t_bSC }$XXn?,Ǝ&nc6Bmz((uXjS!/"VmaT| C$S^PNDՍ'|xƨWX3 .U9lؒ&,o$V;G(e}(WN DXE?e,ZO59OÚ?wuۨ?M5+fkX[&,*%zJ MD-xOk jDl4N )dx',?S,=Yᨡ 0\Mdsr~Z #I$c͞((ӐjќgRCyyٚ9Hb؛%kɣ#ϑ Kyv,%#БJW5`r8J|5n}=KX9ydQ BZ},