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 ,L, ]/]HOLCF:threads=6elapsed=12.521cpu=39.800gc=2.252factor=3.187zXZִF! L ]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVJ44U2v)Z{V@fM:P_g Ԯn3fA VDq|"/$=Oإ$>c :Uh^qcLVXc݌i-FQc3[;^  H!m-u[n9ۃ~+ !vXSd 1{TG<1kHv)??dA0rc(qjtˣ*UJ=6ɊMeYT`bW/۫!"++~yj(1`XRոɪz\l8w_eSd̪1Tn]\bqYeҲdDV6f0fMN^ rKD1P̘Ner9C#ґҙ r4chiY8g\e?gPy%(mhCj̀`^"C* ځE)eHA??2P'0w詼WY -F, 'ni&?woq4L]T?`pȝ5e&}mȳ&' L H,¶b_ Բbg&mʱgYZ7zXZִF! _]ŗXiɟ>Ӈɇ9S2]kCqԃ-{GK(~:#7-= oSQ!843S9@f#HP] pV,%!Ko 'j-84IqT.TPK 9Wk@ g)Ss-v5WV‰݅3>%Rsy +Ht8 ʟ֘wqx㽽ۉWy$J::VE}l&h ^ldٝݷ˚^g(]$cI=JP[BsY~{>J.^ӸGKC ʇh9\n*u˜ "e $|8֙fC~K+95l.yBPJ\[NFAo~v/r}ɴ-~)t˩ncиO3|W/H<KD4 huVCK+n$T eRVk,٪wPCg{7&57v/< Vz\K=gYZ7zXZִF! F$]ŗXi%BȿHu([0Q`<7G.k~X7VcL_BjmXDzKQj7j΋AwJvpS҃)J7E*$t0+k>駀XlT/t@e^2[xy]e=vzvV"ֈM ^sywX ,{W?h>V5@4wc^Y.MmdY=GMU J+IlnQ.RneU *Οt߱N=N5c6w 4@Iц6 _a#2zPsk,<$M-y|l|)QR~2^ъceg 1//"$bÕ3+`{| Y&5yLV%A _<,Y8G?_7\΋5M{+g]HHo*Eڋ3 W%R O#Q5w &Jx nzpS{fW=((g9P8P2I| bSeʸ_uL{:{ `R)4й[¥ߌ\xHo!䢝!?|k1dUt[ɁV:*ʠ?]GdZMs];kXV! !{sf׼}K@Ó)FU4J[…R ɽ-wӝ8~1ԇk5`+K9P/}'K$Li ɸ_u;G> =5V6qcvDž4gU7?R;7B2g-|MUuv~ Jf|xmd @ Jj.Wv~m\ wp:Fv&K!b p7Fe+Ɇ}C+bP|PdB񱸙jCnmc8ܼl|* KM'T6;[58H3ͭO-ˀV彝iL? 3k"ԁP37b8TD(lg? Fh:(@V GSh/hQNގEs#A8 @WI;AJ2x0uFhd7*EY{.u\,#l_ a%<!7 ͎M4e1\3.2=]g(W:c-JEʈC B@@ԗ@ z!{ktNju,]:ȺiL 4CgYZ7a6c209d6be3de1d1ee6f22b3775a30cf9acaa3d95853d0653331ec14ed62a4d4bc81dab1230b932 cb6e029473a5a4e5efb81be3643a1e4640b2d25ed9ad3beb5b6b058aa0322e3b20d710663ffd30a9  HOLCF