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   p' t4 ]]HOLCF-Library:threads=4elapsed=10.576cpu=36.900gc=0.960factor=3.497zXZִF!  ]ŗXf1-q恈͐7ӺV 4{ŴH}UCkAFԒG|&Bc5ݐloAC+P*u&ɇR110SD]HgY Hlq!SD Wi8=~DQ3;?t7#os1!,j N:M·REeLߤWc>jxDŽr,5$kθٓor+,?`Yxj Q0!. E(.h4%X)FrphM:mfN['O5 r5lJT 6? j]"su5hL9Pa]$G԰KIJTמy2{Z5 `^i?co-sTƆ;Jf:2j4r0aΫBa"*bW}6 iU u/}4B4plS4Ⱞ#$*:fE^5`I`h!}u Qy8'KlT#V 2J$$ZgYZ7zXZִF! 9q]ŗXiɟ>ӇuMwdCώ ೇO<2s Bf{fR.fd!;ߕg&iշ% 7~6:ʽm{./T9F5 xA#4ŏpHs$6PznÄZ2kT/JP+[`|v\ѣ lF\@i&alZ3%O"s7}׀$岼NX-O-?on8A~Kv>Qp;LLFC )C Ƴz!r2;ufWl*IYuOrX ɳ`fHdpW T$8w?@ǼSc"ǜ?RwFy -=_*~P?l໧Ň~G}㶣?GX+G B8 /戙%)QCAцX&\ٛl$’!#״& w1vam}h :oO*t| .V̾mTW!hUH.#; ``dՃF8m[s捻L]0ڋNkC{'J1|n0WT`b50R4(Zg2j׉b*z{{9 "yx:Fq{ `?ܾvLK K6oJYj9p{^@Su[TB*.d4 (zM޳!:i32ܱ/-"@_)I>?*ylsO3NSsJ~B Ք E p@<@>N$&G"Z2/۩G@j@n TPWQDyfm% %yZjŐDѾ~|A%0}ʕH