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 W 4 ]/]HOLCF:threads=6elapsed=12.347cpu=38.976gc=2.496factor=3.167zXZִF! ]ŗXf1-q恈͐7ӺV ༂Mb0v9?cGb 5Z;e3.i@0֖;P=pz9<[ir-lam_=@hi|s?mM!Gz/8\R<[ͧ$yRU6KߧfSrN7?c WfAe7k8ʉrHEA71̍K\D`1ҨEخ"E:dd|&XI^v+#ޜgo]J8ERsK>#+sʻpu384.K}tq~"[ȣL)bO|pDdu!Tmi (33;X[Z8o&s61j Flayt֭MTNV RW.6;CYvoM׏8̚ )G'Mo7Y߭%dZqu7 Janβ#9S!Yxp4 5rF̓X9P:5f1T`dQ|HO!gU0x2qFP5LD{(* @~9x5PbVҭ/h xT=f#IURϢ2:["$%uƳ d<:im]P^NU}S1M.d#"+|4EHc|#BgYZ7zXZִF! Q]ŗXiɟ>Ӈɇ9S2]mǦizY Qve+s ;?6)ELo&?j* h o/4MHjFf2'!c页o28kc苇2JS\;4T4 u:rWgQ nm͙B4(Hƛa+W7}ouZ?KQ= =@xwqFw1ԏ4*fZ\O G!; #]⛄]ڞחy|Ez"?zkj$Ȃ6KꎖZ1 4_[X9ikϨ1!.+5 + [^ :šKqR.m,e6vio$k9ڵXC_QF BvrNGJ),t"dGR BͩGO_T6줎J ARgL6j`be˟n=$ "{{i=>O$xz߲֮.gYZ7zXZִF! <]ŗXi%>wĬgꀳ!K|%jN^8(wQq XW'FhH,.ս+S&~xz74Z.K7:4;1 lCzɵ=f7R&]nFSAy{wMV߀_@㗳Bp#%qqQ=s/S|S &Ө'sqÞPGzt6ی/6ਦnZǣY> PPXh$YϯOYǿ_tZQ՚6~ #*,fEtKP6iX\g.QƳB.^-@LΠ'4WX{DuR V2.|`ino٧M뇼I-ߩ4VnPHꚗNTڭh[owmf=:"~Lus,\fE#pj~u= ٳP4AOzd3s]X篝@q00F``s:hɽ*1pTg;Xȅ,ϼN I_@HLŦ_NľÖPv.q$uOdn4⟋ףJ~p/}U]߳g%K &RXKG:Z,qL`cO>^ M㵁8u3SIa"^"Uw[Ǹ,._̟9׍PT!#Å ;d6%%*9`VZ'b^ga_y1n1=@Nv$nL]律7΁Lsn5GymnDfJ@]DRHI0$d{'#pPG]3u=a&\dRP<aZYS=˂KzX>Ȯ._.&rL_8y) \ g3~~Ҷ^I؏b%d1OЛ+44f.wyh$lYDn6:`/ς=4醞{'eƒ?B_ Sb^Io.vJL!u/ m7BDhE_LzOeA߹VWLaDGݷ60Ū y+gYZa4c5041336c5559e72884be3c8c63550ef3eebc11a50fa50a5733030b299d3e325bb45ea88e85f95 fda138bd8b20e81f97b01273ebb208754d9551c00cee8b0371b26d90e0f013debab3075f2b5cf40c  HOLCF