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  D\ ] HOLCF-IMP:threads=2elapsed=6.437cpu=11.136gc=0.588factor=1.737zXZִF! 3\]ŗXf1-q恈N|5` 6Hc( zE"Z<ϰJHS{EGC 7Sl_Zc:^@7/R3֛AWkyr_)m\ܸ}]N5#WUqh~u/! j 3Is կKWT]H9n8DyۀcI4+-kNJ! 4E=NeΘFk>qptfbαgYZ7zXZִF! ]ŗXiɟ1,plnQBmjszmow6ca󴧻^J*hZ{8,c}v|fRt 9Knݐ\5T8fxcITE88ZxH~ѷ xKUR>nG3^gYZ7zXZִF! -F]ŗXi%>gg9)0˻,=ˏ[!Q>~8A\޵mf59$%6#9% ;O>DLΩSB|f,nuNVGcTٷ(ՊJ#//1dD^ h$~K b3x^eM7Ңxx5sH=[:Km *tO_+0%mN0>,UZ|ekq. psss#–\G%KubROqL[Aְ2d6q@k-?L/H\ח&~:?wS|OSLݹщt}|2RX-ՋS;k8DUfY#=ZImhE6U7NZAT@!؏q(GTQF/Ʀڡj#hY6Gq7GK H*&SsZ&w.ń8n{( <,kr!+f[K[SzP\ af@) Jfsk4r}i Y}?P}S4e>hKR6bp t Vnwkwt%ڪ,̘֦ope#*cM7mWuPSQX- /uC cc?v/ì]0aK4üPXI]Ca9ǃ__o_dyXPt+ +6~Qd߶0_eooΥh ^?_8X$mNu+Lp i^?1]Ta㊚aWfo'aȹXg= /[[gYZ5b2b4b568a15cdbea4c875970979cf4a697eb63319126f922e3aa9c20f5a31237f68a37a6d2cdfb1 078fec9a335ed8e63b0d7f40d8edca7f752c4fb3 29d3e46a1973264bec2032296f0bd4923216750c   HOLCF-IMP