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 ; $4T ]/]HOLCF:threads=6elapsed=11.870cpu=37.656gc=1.960factor=3.177zXZִF! ]ŗXf1-q恈͐7ӺV ༂Mb0v9?cGb 5Z;e3.i@0)-C cB3=-BC,Ѣduuqx.'pE.|u@WSA4j~F;9tפkibÚ@5ÿ/ZO#2،[ürb֕A[ hUzbK@:t|M)J*⋿+g.7% NM kuG\aw -#7w1 bPQ7a)%l4b} 9``{؟,u1<23wX*`d,1A餪r'pM!`crdQ ;di~o |\P~CCWTL~Za[aOiQ|ɩX3xCy"-2=I|هcGP3h$=Ы@ Y ;*ߊe<#0idLl9k_ye!Vʛa8vHCRCYol7+8o2͍+]IM#J߂&CR7:Uj>VX &rӇɇ9S2]X5m;CheqlX rMa>CT-zHzeb9$<9vWxl`q0Յ]6T"C,8ga+Q3Đ;aˆJqPF9l]G-5)*ԑ~2,Na@hI_5\@3B-&/^] k\2W7(h9kc5sii)ty4} 6xWoCZ~,SZ \WH%TQAj+ ^ىֱ"j.ugsF bЂ~e]Dֻn2h7[RC7gԈԁ]VwKV@sA.Xg7RQzyʅ^W'X'nx95mg nvw~^bn-nfWYzvO\ aGƠ楱gYZ7zXZִF! E]ŗXi%ES-)޳!zWZ%e5 /F>H璴ۊZvNhr@4t8%}8ҷHw=ú+nZ(o4xv ₋l┻N6q(ޜ"mf\ ^rW)X%X"gA--#ZT2f%j8CT^9Mayu)v>C_,@z;Qu$%'jgYט|\F{mǫy(sҘXX0.2:?^^9A`|9L28CLl !2nM*G grjj|.@11^HAp`1t~} "/|OOmd8l,)d͢_ųWLe+n 2MJ ^`Gw+<z *)T0#T'aBS524Ejq$WLH$MSTT~ʻ3fm-p""lf51%nH>>c:CZ[u.Ώ%[g,l։׀-JZO[j}7t9z7@?H0\C>Y;.jVs"B6xtQ':JO7[0FPN3-t"Rj%lEiN(WtX|N&a0GG`X ؗٛ;Q1;y)y4FJܨoy K/ܐ}&*˸}hHW7"sȊ @M֛DatrGR2lBay9S!?"E胢4 18Q`@,%pI#R̫7e[3ҬqּIsRC6ʵcYHۊ /Mk.=JYɃV:Ee DpI*D2أ_7=zp(%5I;o^ON0F" 8 "5. g[ЧAs arg:f~y&9MDH]d&e3!xdXnB ߋgYZ2d529d8f19af9731afee4ed9ce7ca1dfc12b6d4dd9aab2f0eb07e313f7e1d8ac809bb79600fae4cd bedc0de0e02c39d3dd892b5a6a25063c7496d4253f69be8fc9e3dde08df89abaed6adf2b51c4ffd2  HOLCF