SQLite format 3@ .0:  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 J 4T< ] HyperCTL:threads=4elapsed=8.187cpu=27.844gc=1.084factor=3.407zXZִF! ]ŗXf[&r>ܞSd+Ǯ5,/VJYO,$uoe;Ie!49uVw+p}Tr! y&Vx ԫ8mq `^V)Pisqg;O$=,%3iG fS)c'vй^d % p*^3F\P45y'r!w8I>4y뀥=ܧ7Q~$.N.N'k>3ٯܩZAIjvZAˈaDᒉ(sAbIdh^2 AB/;9MC/ !d@՞.!B2{%Go-]ފduOj\yt\5EEN5vdKQ7b-г51]fc#_y?fubnt[uZvyf% ہ0u(>Bm/;ON/YdSfHMYv >X?s_ԿNoغU$sӲX#l1?e?h<T0K 泆Ќ`XdJn$ kN) xkvJcskBž*b t{yX`MƑy*Kqj=$Q$m@ Y0QLb¤6Q^|\AF`41O9w#r9,ȑA9r*M~9/q.?M+fpy#0xSb~UZw8ۭ|[E𴍜8+@]o(|a=o_G 9bKQ@/Bw5ɸhB~) - $8ElPq2N^?~4D!rCk&:M'!7vz )SةHۮ߭ r#,IIj>z@, أ's nLjRw)hÛ2b:4ٜI"yա˽E3CtOUaA;. LSL2iT !%sG VZwYt#u 7,{[}/