SQLite format 3@ .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 x+ Ic a%hLmsZp,; O$Awsv:`{YͻJxͥ 3g +=%ם49.ضKR0Pv^國 `zO5%vIq/Pg;ߑ~s o4Zjf=6p= ݈ !/Ʒew|%KK8E!06b[K׃֪8;dp~@]E7  .sd8-&͖9VV)r!DXqamNl9CAJ559d8PHY@7LL%|`Tf >BF5b k(xΟ6JE2}n՟Rv~3Ts9g n{"8 .c`;k7Sڊ "+lz9%C>:*8ʟ 0UL33(}Q|nͪ 2#?Yݞ cTWzoNɈ9?bN7񂵈 E[:1sO1"5q'58Qit 1432%ynDeS-F ) 1qbC-%e*rӉ#WYw dʹK_;xBbI5+T}ܷCt &wy5٫Ccn͇x T4t!5Ky$3gIyXWh*F짦"J9(d? qnۀQP֑zOFe`'ezO=c& If8V&P1HA ]A5&:!ð