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  tL ]]]ZF:threads=6elapsed=9.650cpu=33.864gc=2.136factor=3.517zXZִF! 4q]ŗXf1-)9\l ݺn= bŚ&3(/.G_Tw2!gSb OeOcڕRt~ԓ$Y#M8W2HUjPL~(=Hr<'/深/m}mʹ%%ElZhg5^w0xSF?viӡZѐl Mgr5ggaZi'MM;~^Ɔk݀B˜@UpKT;5dGܮ&O׫bM!ahqbk 0| [c]`HI|,-VH|)ʳA;7 竆:gYZ7zXZִF! /^]ŗXi%6Ƥ2AHW#?2Sy 9-ZΘ (7Dvzѡ$۞eIn{0+_w*a `:qqD^mx)iEi].^4ݸqMK6{"湲+wJR1`b+Q/2|Kn'!UG:VLBGjޭk>sűo1#Z>K- Ի2%,<+:m*8N[_OZ>rT`tՏn UeNGcݫ88;J PRmgr3ϕģvd: -5,֊w+$opj!<ېRfN>g}*Stռ*?B2òR 4oȰpQҚLۧJ6B? *-\:~v,,hh0.e)oC> @h(86WggV#s?#V,9<\NVzgDCrѱ,™RVv .Ҏ%3v8>a \7TPMB a6u|\Uq V-1L۞Fǣ&l#S37঺HɏG#iǢ$AI]-D|̇^4|>~[? mhG