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 ? ,| ]/]HOLCF:threads=6elapsed=12.658cpu=40.672gc=2.596factor=3.217zXZִF! ]ŗXf1-q恈͐7ӺV ༂Mb0v9?cGb 5Z;e3.i@0)-C cB3=-BC,ѣz|G3oUndtWhL< #"%P K/h3Id?d-]^q=JQ@YFwF9j4ȅ^%bXĝ6y~*-^XR>I\2drUrcyUOnrsSX W#a3p C@I:h .GJٝ3^{QS"p#>θhFlIKޥP *O\xvN[OgݩjIRdVtUzk51/L쁙se7}UJ*RPhD@H2ׯXonMrhUMd<8;ck~9!@gYZ7zXZִF! O]ŗXiɟ>Ӈɇ9S2]h( /%*%W\G5.*&~]R K8 L)(j`wD?ys!qД~v̵"rx'ԋ(yyJ̀&;O5:IzڄfgYZ7zXZִF! Hx]ŗXi%J ԡsUu4b0Sdjآ=~}mgf,E'ŝ/xn]hGvs?Z]n,}I$8Cn)k-Y%omfߔ|WQ05S/ /\ܻQPz@hXES#XՎ[ r{q"U.ۅɾ}^r/e? Ɋ[ .<uS} 3Z $r06+B}kxƒV{iM_ȋL25ɮPkLH"뜗9𐈱Q]Wy+BX-šYotSall%'Eʗµ+T4_e*;鉻õc%.C X>R s 5~i Vqo1ڥYUۏ߃N_0^om_Npm ܟTѨ$e/tv^w@| GZeM2_kk[ug]5E҉y)럯#-x$'j$|o1M/i*&c>afqԕ G,%9S,xè?Ϊ*_.8>VY#mCjP aayB[-Zxr1A~[5BEعq\RZ:&EF)1lT@oɃjL*SpUH}RBK9tG$ ٘[K{v2^M}].*kۢjUxQ'Mn?F8w5qpBf[BuE9Δ!:Ad.ꔙWLA:8S6؇E̫dD߶ν_)V^=$Sƞ]h1b]͙Dˢ5kt['t[M}檑x};f̫;qf@"EZ߀&Y͚1z1QۆH놦 M'77o 㙹G-˃$Qr)ZI; 5P6|-.P*)8ƍe'@or B8JpP,b?l[au, 2^`V1.( ]c0،[s"PM*>RKX#DKOl#2I#,% !7KZZņbQ#%ޭ]A_k†EHx$\3'T~2Ii:hBJ^զ+ˎQeG塄DI;iqj:{觀жH ְ{ov;{Vs&{K+X6ĭHfEz}S7sx,8f{MMȬAC#ert qlr]ѯPdscE$u[7dL,uM26h#ԫ)eCzבK;M,DWoښw `gYZd506aa9271f994612aa98d596e50710819c14f83d2241105d59f024a1ed91dd402ce7df32b8647fc 03456ed43f3268cce21b507c83b43956efbf99ef4d600e636f53133daa52d402246cdb57b241a316  HOLCF