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 o << ]/]HOLCF:threads=6elapsed=13.084cpu=40.384gc=2.296factor=3.097zXZִF! ]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVKh^̐n>VA:=)&Or!-eyfқ< |ӆρ,I'XRJ4wjn3p;O9l[2pBk[/nd!Bk-/ !SV5V uޭh[>'4l֊ 'M3uCO1:wEQjB\sr 1kNwh44j','*k϶{4lxX[u{>Hٸ["|Gi;HiĄ |r_2J~C:NMNua=ŘT9$px,u0U bQ+b3+A6-irPE,p%&SmQ.~@wUF>>͆ssNXW9u&¨%Zn/Hz6 ~Skd֊/2<)Q$xz6L+Cred*td .o!;ΨhR~Sq06^vTԢ 17zT?ʔ .Wf T'cj_?hlڡq'tՕTbY ${pI`SYdCD_KoӇɇ9S2]tR3:58q;#hADeq>B'ֈ^Lvq]}Ɣ:c)1 6_x [ Cy;6O+Dn.e`t?M.d:#}n1K}]dS0܁HР$2[ۡ5~/mU\g:& CP|\),xݪȪ2+ގsR.Y#ɈJY*SD}R;'hQULx#C$=n&|{_Lx(鳁 Z,ժ/VS|W4[,uґ=7\HW 0yLg! )srFnҏEʀ߼pL۬^zt r&^.hX~MZv Ƭ]MߥU`|;G5 `=}2@]FD&5J2?dX|\GƜҧ^>@'p`8a _LT>S흪2#H\(n3%f 6 $˜\c<;ʍ%[zR-{ R8Gou4 /\<;R <ףR$7o-Wk)#0GxktHqș&qWo k&eD\WO}Af܈lbN~t/_-VE?ز ϴXy/?i*[I_^Xz{,r8.61|vj#jzv-:~UNnqm9 jX(qݮ-+#3oe6_$l)upeGK ق6gYZ6d7a05eff0fa6af1127775c7832d124e2f0ebbcd88012d37539d18f74cb8b5735460e837dfca88ef 29f0fc07a4a3b14ae9f2f6c9593066cdb6e88d4815ca2fac350fbf0002a98e6d5cab21b20e50ca7a  HOLCF