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 K D ]/]HOLCF:threads=6elapsed=12.659cpu=40.468gc=2.468factor=3.207zXZִF! K;]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVJ44U2v)Z{VCȇj22rQ(B u o?L.>@678ct!_eIS.6ͽ6nr{ m$^C7ned5C_ T6VJw'+a\WH{Y'@]X?ۯj|W`9Le%qok +S},V qU3^ǥ@+}+aFaeQ׊Lh&D.]Ɣ-ś]mzLs?қ$2->+2IέNLZMR<{)8"{7w oےSz*1bampr`&Bmė4hӇɇ9S2]k3Oi*'ZYZRp`M;T2 6j5X!L@Zα~&(k 1ͺkz}'C?ʼpш"HF kxEU(3sn|_!-滺9ܥQ>E%n# h(W@yǡHCf;?2$;60wW~faPe:gbr s>s2MF\S4M0}# qNP ܼPXIxT~8‰$&t¢ =NEbR34 "c} 4_ tq0"PB9$UN.R`\1n. WMɵr0HYům/t f,VBMc㻕]._4 a_Mʼnz3ON VbcY"ZJ;pNo||(ac#*B1S5C  LA Ϊ縌6r%%P iL6z3I[m YkB]::ĺ"5gYZ7zXZִF! H]ŗXi%BҧmY&eZ|RMkl0T>B+K!]t@ ]>| y;c\óh9j ).`ROh qpN\Dgg!M Ոu;n&ssx˶xͤ{m!IQS5|qظ/p]BG,tz)2z ,(82%WBt DM#LwL\-ZA@w. F8ڦlb&)}eVIsy#l& ׉CG+yT#FH p fE7ߕ΍!Gw%6M?<>Oj;g?)grJk@=NKBҕ%}i~⟟ geZH٢*J{l?tB/<(I1@䂵>xW6ڌ#pT8azVR_Ėe<(~A`_B2>%V7*M)Ha+䗐owף8:JSBXhLcwXml  ϩ#v{vs@e}Q~@v[ŵnWu*̵%φ}Q#û?g%8ϵrUlѬ|;vߞڻ=h#|XQL:no`ԲnQM}Wךϲ _ ={*{(In'm30Mc7lS6e6vC\CCe-޷) f+]!=W;GflBxŎ 1D۱gYZ2027b97e3fb114dbf8ba84b34383413de68886a5bbebfe43e4672418dec173344261b86e1cd2663b eeb4fd45fcdf426f1467516cb214a570baab65db5ee23744ec7b719a2118a41c4e2d2f00bdcf66ac  HOLCF