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 { \< ]/]HOLCF:threads=6elapsed=12.436cpu=38.856gc=2.348factor=3.127zXZִF! ~]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVKh^̐n>VA:=)&Or!-eyf  ͵'֑]pI(?:2g]t JV%_`̊uj[u0%}绋]_iFъ%~1?զ>QJ|篈.Kٮ(U*kfn}1\.nw_Ԑ6kPiBڬwa^@7n|x7ׯc"d#o?eVEeY.T\^[=ScR.oRe=ю4>xA#gA/lURIݱr4%ob /X`WGNaen4.= 'J)[W!Pw;GnA{9!D1;0yHuf3}P;<zdE$Ưp5gYZ7zXZִF! V]ŗXiɟ>Ӈɇ9S2]mUOikZU;K}Yc<"b jɥ84WZ49ƭdFR"ȳdMu Vž)Qy@|"OK_oȨqDQ~K9 @L֌9|{2Z<]l W> N|[铔>515X>gYY:Ubj,1)c|@u&5YBXꤱIm?<+j)jh6wxwrD9*Nka u~3v B ' 'Rp f6}b|ә9Z `P%[~)7'T=+aZO s}l\_7Drq觲m t%}$j{}6p?;_l ã^Bhku 9טC×`̒2]Aߺ|TFaY#+}k_:8~G~YKPg^QS!b2ee݇66qKј vπIlYpq@NnhR0oP dB`pa2qa`@.gYZ7zXZִF! <]ŗXi%> &-a5K2Q*Sɞ,Wm'lcRDKk)sz(GWСR`Z=؆^>B] XxKՊfR^|bY"ߠԌngj=Q877V=Τ=q\=>f!3j/|5Ϥi`p?HyoY$&@u;2hTB gq$T4_2~@H\z8sf~m~Nࢊyt9 gYD6|-1)cXљd9Z+&gs!Gw jbe%ezu hdxm D؉M$*~JkR`ś#k0_йMQMDU}8 fPHj̏F/X\Vޜ! b2ś4;5'7~ y{$P_gYZc55422fd4ed5125e9fdf1d31d6a0c02609e1d192542cb8bf72c64bf17ee67b940a85e2465d851528 06cb9253274f1cacab108d3a867c2a08aa7fe5fca0f7fa4cc616414f2ac53537cda1ec9d54e68703  HOLCF