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 RR+ g HS(`:`/ࣻGau3{%( 3t*uJwO~E)LAgAGEk6ԔMB4*?9ߋƠB樮:tuhLy T[) r\kz‰` [X.1wF+FC f;䃯t Rv|6joһ5{0j3S(d;Svot6 䈂pa˱-k'wT8?"0l~ ӗ(y|~/BUpFq!D`76IDD߿O11:S1skk{(،kՀYF]Wj~h~ X܄+Dʑݿ ~Ov!bpMߢ2X)g͛QS(eQVF ,8"p)|!E}2sɧcSsa@HeӺF˫zlBy0ڍ,'S:|k%g%=pQuو6b UJhç+<h':_W\z(K Z |k|j%҅P>{-g?:Y+ ZG}fʯ:._y<8k0zLLc) bgYZ7zXZִF! `]ŗXiɟ>Ӈɇ9S2]ͤ=o}nKu yr[a_循Ǫ)p`WFc/R[,N0%'X ޛ2I~s@`)2U_v5~ mVcA{%+ vPfGěbn 0AJO*It @rEZYiAܚ@]P״S`_x3Kzr2tV3XGlȜd_k8ϸ:̐<XclӇkGt=\hL@)jh}БP2jWx{X22VF_Cl<'9w܌k 5`]$HkK4ZE wgpɣB2T؁^B8L諠z40?|HB;ZS}"9% Q bp...gsyoíz0vpzʜ.cGƮ9PLW rD%U jEWvJ g.U@O e֣6v{"y(?o;wCL9A%un?qB@ kB r}$1&=B1.Ф gYZ7zXZִF! Lz]ŗXi%L /JoԤذ:,Nr}/>x bڣzg:+!\r?DSj+YЁΜm]-6N™9V 8EDq0Ds+d8Ycv@zuLԸ~ a8;.|WA2t?91rlڞ8UH9"ZoE3.1]6?"{k޶n`NTp|hfG."uC*vj_B @q"L:i.+4>:o|k%Vs^oF֟ΤM{jƴŔŚ Yч*&VIO%۳v#w#q~Z؃M]JNy+ g?MJ׹D3=x=I\< vSπG"VP&!'Bntf?Fy"˅ [{th|'!r)$&e'q&ux1U;fS7 XDA -ì-v 8Ɍ &q%rj:/@Jvql0_lK2ԋ3:> YBm+8A'ŠNrFMʨysŐ/_e)xD&Pk6$7I.~o~Ck&GR٨.<}>/vVEt7Y%²l4/pt \"*λgdx uYU_уX:xHp(*ҩoQŬqkFsopYlh⩎8"pZa >Ԛ?oHJҩ F@W47v)A7輪ivJ-x FT `qTXg32sys%yw}[fT''b B-qYb쓋W`> Q \rr_RbqdcDF'>"* !V/O܃񑘻]Ǒ(F@>į)#0: Z.WA_@y z~hkٴ!2in =I96/;`>} ;y! 4.ϐ//Zd 9Ps JAo[*%? ljGG_2o_*|W\[@XC5]ҫFiMj<5J<{7OxwUf=A[K( 7U)8/&1W*;pz' ~d(dݹېMv9l?6!{MkͰkmÐrOLI.HqBB`ob^.>5cRDima\CawӕDeO*Z٘QKpM-SX}oQ?_v}àz-љbܳɉf:5vaČx>|Y]n~[;o4%r R s gug EK ݬ מF2 Uׁ;Y7PZsbcax7tk0E*N!qR4Ԕ}[6͌ ) gYZ0c817b0b7c6b683eda20b6b3a6a89bbd7093e7efd3f90704504dab3f9fc94e3d143d1180eb260c4a f6ffa714dac548bd1fa745e8527624877a3ec1f3128a88a5eac78b7d575bc8110eb39ce5b5078fbb  HOLCF