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 22K lL ]/]HOLCF:threads=2elapsed=17.454cpu=34.652gc=2.392factor=1.997zXZִF! ]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVKh^̐n>VAI~f5k崳pAVP{Z4Grҕ&'jœy2Dn) D|MWXkй)~n0+r:<sYYɬ'eujF3 2ZrW ҏgЯ1XN zddMK2$/%~D Uo. [T&ИNht,z~ו6qt{<|:|4r)w? .ae'$ `-sܫiL;vKxJ$ ~܎6ujy>-4  Fd.j|D)v?DW\ Kߟbb6:C!C~{||p\ 58P"+W/>? ::}1LBѠtEG`'5M2ND@?A_: e>8墪* [0J8ңw:~-FtPo)ܹRҹB"Iu:_oq2TgYZ7zXZִF! l]ŗXi%;3c@`J)aZV5E)X~Yzͨ9) <_C~W:)}ٟ7+mȢ@.»Ӌѕ9JzSbM|L^^T.:~e V=E|$ty=aqImNovTnfz~kL ˼d{3DbpI ZpXMG'veЄ13 +e52h9' H>r.k`rf RcNfcG쓀C4&G(} 4i) %qiP~~_1:;-&]M|F0mЮ/R62&@WxU4+oFWJ$oܚW5r򼈒H$Q+lYǍvJc߭a+lC~iL5#= ұOH2&"6mN;qA%b[rYϗlv0te$\ɕ+>R A Ϋ8)cl 㚹_qujpUebokV3T0̎FίS.<`tb.pض VCP{ZM刣4ѮYJއ}1ٴ 8w?{P9U c{ ]V>-W/ x"*=JD*,7n#~"b*s=3%Or|\OHF6,}ϙm7ŗੂU';:% "~.ˉ59\.FOeDYEӡ7rCu ~{C%:1Bulzo$񗮾 S0WU fw{8,[q5$ :^A6ǃ-=ᾦ!N1Cu ()rEd]NӠ8~Xsw U^&sq[.\_(AuhҐhPtj H,mmo? f$V\dN鳵|Tw$Z=I?#:i;5 3-{Hѿ]P}% #(JMʔ͏tm]{1=NJNG<.F (tt1 LJy?2kF,*WXW7?&4m=SR6'wڧ8DIvxQP nVoPk˼[R}/+]U~J2ǹ1>^ '.2--2Q!KY':M}>v  "➧gYZ24da6aa735584af7db6eb11248d0ca07c2a75542665af98eb5b604629a3a80f1bd6c88145ac43a21 5144ebd7f8a7159ba53f7601bdcfe133b83a40ee0bd3304a582979c438ee4e1b126b4178b8c35f7e  HOLCF