SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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   s t  ]/]HOLCF:threads=2elapsed=16.305cpu=32.116gc=1.888factor=1.977zXZִF! 2]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVKh^̐n>VAU!QJG cM[yU*;vshD{cHkGw j=kyY.09\!+Sue ro71cuc_^DfJX{$m5/^#隷41 A\t3bX󻧣eR]sE|APa%7N$aPP'|g `\~n d e[1S%;NXO|:!;=1,gJvMh/z槝RKv Ld鸍\mzʮ;cI=DoRM[L'{O@v,(~>*Ԍ>uE͵DƇJ)K .gYZ7zXZִF! =]ŗXiɟ1˦r~KunύNN{?Ͷ߻N/pN `&Mlodm ,CtO}=9JM%UOU86N>A# -%fPMEI/vok;Gic&#-ǨK<|Gɟ4AKL9_n Y4PXYMR!b(eE qI2}+IdS~yHL)_#Jr8ݖ[9^Gv.:e?\vDwgYZ7zXZִF! e2G]ŗXi%;?p3gkRd d):B:^Qw{X*^"۽֭B7x L;c⚶m fq*< Ƴ-FN_0UjT7J^]SrD$7f#wI^EաD!MkwBJ_ /^ 06Hk N<$$ ;E0,C<)Ƒi㇜jG9j`BC}xYkTiz88qZeI 6/sH"\Usl!K0z;]%[;9(;@.)_cX_ų-p|h4jܑX)&pbjBi;|}xa(du ,~JUʖq6)ւS#S| ARapne+%6Ze9١G <đynx&YyQb*wz;2sP?2NQSiLX3ˏ Q02{6%]3Pyw%[/[Q" bmzmvr OY]4aj+뷐$ɶvD_1;V fѓgYZ9f5fa75276493797a97e5ae32bc395acb0fce4de9b4902f8e8c2cff8739e12b432b794bca1b63c5f bd7d4d62ea14622c8855a61e25906a49ea079dab38981e000ea0ec3d228e36d55bcdc8c74374da68  HOLCF