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  N N/) \L ]S Dynamic_Tables:threads=2elapsed=8.464cpu=16.456gc=0.372factor=1.947zXZִF! ]ŗXf1-/6vRZaK Zf 0kߵDڞӯk@=ڷ8{8 Ґq~m s[`:̫ןGGO_#}P.I-;!j .}7(Q r&k^sc!;쿴gYZ7zXZִF! 1D`]ŗXi%6f:oq,{hU6pO|u(?k|¶)w5N"G'vMRnSvc7 a9BUdgX@礀 뺄 Uc+lT8Q"`9ŔC l=<^-4CFݲB0[5r\L(-8-8@pUbF>ifeY2;bxȁ4Գ_^V܏i/Mle/A=2䅞؅ NKC3K,b4@ZaG{+ Vz|}TD?hANrwIf^8L- \ٯ,rdPg4~t*a$u@eιW=%Ӻ~3U(>i\: pa@yCdEAmJ"v'9 {lJP)"`l)]y4vLsؚ8a8G8壠4]}7gB3-0%#Kd QLCCF8$v?WĚOW@94=q<ؾEl9q;+cbMQ]aADiIc*C}ʰBzOUbd郛.yŢxLgvVԂY匹]MMeh :޻YtupրZ7j^†E998r'|`$hu31K/qH[[~ -;dB_a/i;Qs kNvT