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 w D,4 ]/]HOLCF:threads=6elapsed=12.627cpu=41.012gc=2.704factor=3.257zXZִF! Y]ŗXf1-q恈͐7ӺV ༂Mb0v9?cGb 5Z;e3.i@06hi-T ƚ~O-6?9ǂ~ZhieC󍖝cu31Ͻ5>&ִ.+-r80lAnkVuH1"z 4;?N,"XNWk^+C25-w*h!XQHQ:6 bAa闫ZU|PXGE*͹)-eڼ:S*BR2u ,nPXH,Qdf@YrQgT?w{S|?_Xv! uPY:/kRO?ZymŽKpԺ~i©A9!n%kuP('pO3#z,7R.Jxc*"Y48e#Jx[٭A9efm𠺡ɱ\Ml<@UceCx@_xpݯm!UKeנ,QbJgYZ7zXZִF! N]ŗXiɟ>Ӈɇ9S2]k8'Ǧiz ji^.>iċȉ]Ӓ@)x2AM e%NJ:xxIW?Z~C\8_Xz}{e(N/3^ea:lD0JFVNq^`<%Pg?2k4=@ƘT%:7QRhn<\Κ ˌ[Ҙ{Ӈ) HWAf3pR0~[pgʀi1:4H֎z׍Gˆ9>D|SH*eO;ltㄦG/tN {5sWBƫ72Tg+[VYĒV:mGcVy#9]1twZ?vѳPA;@BqK<ՅWS=pNRQY!٣Tb?A^ch+9i`axn˘c]bݗ uIhARy;q2C$= rdgֻk2_"X9}ݰ.HX˒g>h2,Z݃TnH0;~ aD VqiȁZjHU= nL[;UPB̡= 6WDŽ'(PH΃Ѵt 8gYZ29b1acbd828741e05ffe0cfeedfd645f19b53adf3a3f17a4e13c09032ff1d9490f442ddf7d03ef10 4c8c1f181a77f6728d263aba6fdf1897c029c916ef65c276ab6be3755f1fe2c8a0b1585690eede9a  HOLCF