SQLite format 3@ .0:  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 W DD\ ]/]HOLCF:threads=6elapsed=11.566cpu=36.572gc=1.840factor=3.167zXZִF! ]ŗXf1-q恈͐7ӺV ༂Mb0v9?cGb 5Z;e3.i@0֕ %ߤ(Up,x/lQgU^ʛՑJrU/llXNlL;NӇR1 4CFZdNLWgMםh`w1ZΙZayAPMJ v vγRp]vp`۸Mth`4aO@D3B2<`߮[ U28DA񧯞B~.e0[67&rqC28rԾQg@ ~Ec+]( 49IR7R>PA.\EAn;4F <ӏ WoLuFԹ g*atdeĺ ^p_W^1 dDgr1AX9YnӋqXQ9].$O~rXgvDɜ0ïh$ȿB:6a^,Vk BT㕞bi;1B!%+l#e?7]Kcz.^/W%aR/ l>AYyrI$aR6MQ!3;,;BULT lgYZ7zXZִF! Z]ŗXiɟ>Ӈɇ9S2]X$3Q'֯YN)^mcU gj [+x&ؒJٕ`K@s!'b=?ݯesC'$d?'/ZVǓ%sX%Sɭ~\3[I,~,Rt xX.(p4֔3le܏֟TH8Ieïⳇ/\8Pe(IBq>8YkJ1WN c5?tĒqmbL=v`u#T9%)tW\_H_h`g:SwGrcvHȤ!/)1|R]Ϗ# TltRu;杧s66Dac8v"P _ng!iJl P!]PcGJ4E &Ʀ@C"EdLZSbG3>M]u)>uWz'96R=;`R=\Z$B_[THlM$K~J*DSdd"M~6I*Rv O }-?=(G~YnRԛL}khaUs=n~Rb)3 l2Eϻ83hOXzcs2˽=:Ka^6 Q$0>\`(6?jY&1]jJTsV_ߺ}'l s`48 %X^#O7'xauS50W܍B R"S>H#Hʻ}Nu "e|! =i8* 22o7ȥYL]dZ ջ})u`.NB6BW>Bc=ʬXd)r˵)V]l+yM.tx9р:` 뚈~75s ,|E.b[=L B@gYZ300a0733a57982aba1c90807fe50f1fc339d076c814e30963bcf64f088dbe50efa68c61f1c4bb894 580696d2cbf210263fdc3f4e561765fbd880243d29c8f2f4afe57cd0749a6b9514d78b7e106a76c1  HOLCF