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  H H5# , ]S HOLCF-FOCUS:threads=2elapsed=4.334cpu=8.508gc=0.236factor=1.967zXZִF! ]ŗXf1-qNezGh)=|"*AvUS tHlJ&%gYZ7zXZִF! ]ŗXiɟ>Ӈ~{?@& tu|= @rPuh F0s~8ص6[C` ƁX2g kgZM^YD 3*o@`ԯLO ɥX0ę&!lKgYZ7zXZִF! ]ŗXi%>gg!D՚C3Дh+ =rpta*\xl&=.-ȨRWxTxо"H؀R(f1B<˯GӜ`T{1Orng7DE:g/զPSX]Mpa*oo?54Di}jF`+r|+w+ G2V}%Rq<4; E54ĉbBD1uj;08v1Ȼ┝!ؔ@T<%p#'Se5ԡp.Kyt%*w*jeد ~-%uES\z_#?8>'CVm[$ݡcyKClj 5D ߚ܌Lm*GCf~Œ?2 yPZ% j*&;W< f Xvp}.D  y^95wDuaq!ڽ:y;fw>݌{IRNcm8c2eqDM~Nxҷ&&6]"$ҐDe/bʖgYZ64985f8fd14d30d90d168bfefc0ad1836cb030a819126f922e3aa9c20f5a31237f68a37a6d2cdfb1 078fec9a335ed8e63b0d7f40d8edca7f752c4fb3 29d3e46a1973264bec2032296f0bd4923216750c 9ee596abab8c3f7ce9f0ba1fbbac338d81493d21 # HOLCF-FOCUS