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  |Tl ]/]HOLCF:threads=6elapsed=12.862cpu=40.772gc=2.332factor=3.177zXZִF! 5]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVJ44U2v)Z{V@fM:P_g Ԯn3fA V(#IQ{F%+ BYFs=?%1]c[H#ӾE_O'E.~ 47lXqc.m~5.FyNuQS%nbvm35k>EvyǕd:1+#̽{pD <X0 Kˎ[#Vڟw[RdfBWlr6Ap˯~s5 r w 7O ԆmЄ)NƤ J[n,WwćgRȤ3ߜ:WNK^JEhٜ.|Yq{."!Q(k]z|ԫDӈ3,.pXU1Y5 n\֣(g׹Mu(.sz+:> Rx̬Dʍ@}A5cP=]G) p ͐$X+Ͳ4(cyBرgbǘ&Dt^0E0ਓ;3`e4M dž5Ӈɇ9S2]mOai_ 1f ^+< dYvg3!>"#*VT. ꪭ^5ٸJt"> XTiBeUW;,J_MQ1 ^pT fdBn:֏8׶S,"EPXU9IMg|lb|wWkNGFLrAó,by \YEG}~NZp@et_ځs-dCK>@+N 셄,;sI ?~ukʔg] z%RݼIq~ }W@gјvuS(oC"+MKn3Yׂh1{ove50҈k3 P60pH%^b 6{l'9lQqT-rTE\4KÛp.PIb5}=><%7WpĶ_T8ƏYiB8|Yw{)mR9S;`"*VYtۨb8%N\ZGVgYZ7zXZִF! >]ŗXi%@lXN:* 3FFLtc[b^"(- Gxat''tMQ$’⏧@qOz:G՗jT4hGK:e+ ,BJ`D=*Tgn@RYUB{&hHO;BѼBǬ֎l_q?OChl3̩u ̀HK02 -^G\%XK0cN>2W=qqGlwJ= ŭ;>FK؍> O|n)QߣPxJ5([HvR=30X]4 iWF]vo,uW1FFzf2bB+ֆOKdVƵ䲉!fKAMIo՚#zxFQ7݇h9?]ZGRd]3gDM<_Ծw]m-#|2s"h=JJyk&d# [ydl[ ]x])IlG|N­eVTTko^9^#CeZ1݉0jczU!3A3/  MW*MXx+3 #zwjŻgTem7TӉQү hC ΦSO["s+ѽq_ #֣82kElB}82E τ7bj'mSXVgB|‘6ζLV޽x~k 5b"ſ% f~ [0F5쁂s(挏qc;zQ@{H(3Zz"C .4%CK[(zCE㤠qW3Ga.dahKcL_{&ЇtH MN4A 7"EC~$6ߖdҌke'+) ( TmvpmgB%RKj开_&AB-^P@T|) =鈝PNT2g$|6z>擶j# O:Ys|HяU&1؊Ձ.;n 7;fI*cCFo\auh&* }wñgYZ946fc73148170de012508ce698441bba9e48a390bc95bd5c6f2da7dd6262f49bd6651dd4204f0586 4239523bb0c0e95a4fca4d2183dc9a094821a17500354075f2b53c4dec644d8c03e6afcac429a7a2  HOLCF