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  1| ]/ Depth-First-Search:threads=2elapsed=1.076cpu=1.636gc=0.000factor=1.527zXZִF! v]ŗXf1-/6vRZV”̥k2*1TI g~{ȋX^PAYKc""2.on|Rj+veS&c{ygYZ7zXZִF! J::name=Depth-First-Search.DFSelapsed=0.567cpu=1.004gc=0.000xvӸDcKWX}YZ7zXZִF! ]ŗXi%9#q{ 3hJnwP–nksD@&d=C:8`Æ,HyFMdZu1<_ DctD MYaI{TRv;8.,fsteoE}}T y:)3B7 3k²i;tKɱka47>ƆV2K #NhyP&{# z3գUa21öHEu+}KYQ QjrR$o?>7ۅ<4f Bǃ6E_+;;Qx%&aO/ REfr|=΅aHx?uc]M0泿;(:;ĺ` ioLhè{|G-2AFOSeW39nZla:4a S*]M[ę_䲚VkZgYZ63adabd21107e8b1da38f355ab9452cb887b357c8ae0489170ffa4e9aeecb054da5126bd23bcab2b a42132ca83816d0082ab6b716aea896bf4d99d0a 1 Depth-First-Search