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 D$| ]/]HOLCF:threads=6elapsed=12.701cpu=40.296gc=2.680factor=3.177zXZִF! 8]ŗXf1-q恈͐7ӺV ༂Mb0v9?cGb 5Z;e3.i@0S  o#G.g8"Ku߮kWUX[@ qPҊWzsR@5̬u/P Dؿňx$^>NnD*?gueDL ބ^ؽ+4k29^ ?u[]kɿNA/oiC =+ O'19SiMf.8ļMmˍmmC2:0n<4=?o̫_D,UΟRU bruyC Ua WD^y\~90L\2e垮\_Y$K[5~P։qr;s3P=G1!v@Y b&~P.:ȍϮMD VҨ2~5I_sl-YSkɱHriT`7 I߆f2u$"%&бά 32.F9=#3%@ʍ&^\r\㏖=X<Dž$jd+a6(u^d^El¿ձ p1 zgYZ7zXZִF! K]ŗXiɟ>Ӈɇ9S2]k3Oi.L/쯍'f;D-geR<M{4uq2߱cϿױeZZ'E2 ux xKA˩r9}Jh` ſTG76iz¦^?!V-h Ġt>Ync<2Fsy>Նխ+ŏ=>1W^)440p`4'6)%1Digh8GFI2 quR i qdnXNuCnKZ)K4[1&..KBM`!p@ޫ6#b2PKyAO0 `ꪟnH!_uU_HCӸ EQc/ǔ/aqM;+NG|[s/`TYH&di*_Z$Li3 (N ]ėGh:g칪68(Zȳ |De=+Wo 8RmyacּuӮ" YGIQ"IgYZ7zXZִF! E]ŗXi%JrP(2(FFna&}RPp2O3'HVx?J,HFʹ;]bl0C;d3=9e$n  U!T-lWT`0}l[Eegy-Z{=K!8[Gl;v0^ vq /aN0b{TOcDt#:%74E% pU Y[D\T<.C(? 5ۦPJnH)doz^gE{n̛c $rh22lWFzVOG \vÀO9uwM\YR'y[ EI}: IUQiH= pu&A?#Jz0JG9\}rûB#pFX2_xpʞX꓁9e%1[ %r/'E˯!Ȥ#O&ʋ+ًNΐr[MG^aQ5`'H< $wtلSI|<fnߨ&A,[#殅Gg2)ڍ/te}JT m ͟@%mS6~؆ ˲w&}_rvG܋qgrb <޴G AnR{apYv0ۢ1 ґDҍjJZuI0, bAtqHЉh#T'vzR'DI2lօW''4.P<.8XM ĞǛGWnniCjO %đљiʷ`,i h[p_Ą^d\HDx]'ABj4coTݎm)½WBSv}+7t)Z->@L5*~-7>;=fR˽SX753T lv<EhTcqrdΑS%ɬ_ӎLc7e5MSE0$'խ=*BƂTYmV ̲ۛO b. .Nvj\qv:=]*5\|~^;?@N)J'u8fc7 P"Ş0T/P,(M*V<=Gk<_;/q"IaGr9r@.""~}~&[,t45zT5Xx7zolqt视5=I3Po4VvzT4TQm:5'5<*gm9x%#US*ݭ7t T*ձgYZ87a54e00aad7745e5340257534ef024b1f169804fa217b500e43b49079262f25873831dd0a8ef4ee 4e08b3233e551cd4b2f5bc84a0c99e19e4f4e2c0020579ad4cba1ae6a9b6e764cbf328564deafbf7  HOLCF