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=13.106cpu=41.812gc=2.836factor=3.197zXZִF! ]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVBGn/1gEɕ 6x֭\*_(&o3|v#Kל D=HA:6OaO git"]]դ=Q 08W2b-Ims;s8E=zv 9Wis+4-^[ tg0182ؤtkgIМu֞gjN32DT,lGU95#2oz#b].,]2 S! ~G6 h m4)^Q=$YwaH6O$^+&rƦۮh"J 0Lj0~1R; W,twTaAt .![\L>v`m(1n7lEzNœi9mT1p8BnjwWMs^G/J gD2LBBnw4\]E//9%EOfw// XJ{B^ksZoP+`6%; oW*Ӷ_Lbnh"3}vi}zvE ]5uE"#cP;'%  ,]wNJ 7QIrz W[h 45q8!"رgYZ7zXZִF! F]ŗXiɟ>Ӈɇ9S2]kBS0cZR,*6:nXKD8v jM an2)T /kȇol~2ᶶܒc6k`#0<Ui2lgwz.ZUuYkgqˮO"a:ƦUgİՍ.\a;k oOwMOGxgYZ7zXZִF! KD]ŗXi%LGHOraohtC9l | ?!og^ X$ED)' |3r2zUlyg\K9Uq5ԁלZݗI6sb!z<1eO ? AWìQe<^$K㒾}_vDS!k*ΈWc̼DLȥnqv)ieh0]+)į2P9IJ9L[QP~6"ֳl\o-#7-+Ղcs1G/fHnW[l#)7LP`;'v ~~ X| `F7^zз5+qh+e0S8 r_]$"Ľb̓!NH?/>Yh'D T XyJ;F؂%e1V{ ~|8`eSm@3 `X@aZZMבG9 S:jQUiZx4$0 pEhUR&S,6K un ?\Jh uєx?ҟL3Ŗ2U})&dU*ulA=xFF=inA'Z{jVvoqR?'-:a\rNˮ2zQO%p)> ;KPvQM@jti0TwPdk\g8g VEwdq՗KU3bnSr2r'K,O^MH֖7>$3B8 Ayپ֔UpT0BFp͈b %xi7 (z'$TV!wpFO6 i~0pE{Sؙ\6~Op+v_i,,v26O=/o;E0хj:3Vs9k8ߟ qݞ+_?IlY#C#-8.𘊋hEjLn>[H =߶O6`2Vf륵ﰭ^8ґ*ME~ճ9v|79 wI#Z:!sqe=S<&aj fռX'@uKqie5en;:^Jx89Gt ךOBZIDjFL{.zw.u[h`v8ES΁/?^'H! v0gYZ428fb686bde586919d0a0da2077b45309e4b9d95347fbf4ef7d480ef0daf549b90b022c9b0165564 7b4c5b09d6236f4a8b3d7e6fed19a51691e426f94b1f14f1c29b88e1dd10ec49a09e8652fcc5b7b6  HOLCF