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 W |,< ]/]HOLCF:threads=6elapsed=12.827cpu=40.836gc=2.756factor=3.187zXZִF! 6u]ŗXf1-q恈͐7ӺV ༂Mb0v9?cGb 5Z;e3.i@00rtDSujzhÔT,xQ|~݄ة̲Ζګz:ln\2go*9MW[;^UۚtUi!m !2fWfkcN` [pji"5'ec]zJiէP|0# b,^* gApq9M_y9N+#:2!%~!I_]!LLA٧N9,de"I눅 yccݪ:1o/_- 5Π!gj]xeVn&D\>-49m9Nrbqm&&rY;=s Z2{e\+/DTcA;jNQB G$.eVm dger'[XiCR Gz tC*&~YFoŽ}F~\ q4t_FfMg7dK12:0DliNPvA /CAIZ<Ǥ8)t1Q/zho|ysc3=ls)&dnߋFCn pVHؔAFفQy8Ch 2|S:lUk+9L|Bt%=3%ТAZv#VB lQah.=՛jx2Ƈ7hhd.&VوB$͟\MSFq8 !RgEwy *]?N x0 WמD#^JTkc..dywzpx(YDN˥6cd}lK&rYQ$582c8Ab>W=kŴ$YZHL _`t?d2kln7bz!=O,d"$ 3e1;*a3w A/O1V哯k/}xulLx٩)BRDh+5.Xf!5Ȟ*iE(<}RAɍkfn=ԜS]-tǐV݆y(-gڕV0?(WDi:+ľ;`)`a!nE" tGj[Yy6^,܂V :"gYZdef897ff42b5c4969c2a52a502e17d525b071ddd3771104ba54383187b82498d379f94f1ac6b03b1 67c8e514558538ef71305db58915e5c5c063f02869c5cc0eeabe356d97e8a5c8d2084ba74e31ad8f  HOLCF