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 ..O \,L ]/]HOLCF:threads=6elapsed=12.637cpu=40.388gc=2.600factor=3.207zXZִF! :]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVJ44U2v)Z{Vd%0M%eQI p~C[/0ýQ Bs DjnY2Tǀ| ۻб'4;oϿD v~8vp۳n\唻cĘg$[/u45rZW 6=_*£6s?cls'֋z6/h-|֨ pfYaQUNHsԏj Z꧙-ehOOHrm'~*ↇ4W;Ti~P:W5nC.=',Ci2gI8w-Xn:SMGRswwς=)w\E֋ܰuṣCtxpZvp4ߕkYJqj) 9BܼX`=%!qΐ|SOօKA]-wj{Ok͞0Djg FdA>Le*+' bm>z_Ć٧(ҒgR~@Hv$z΅ MvoºT$G09̼%ʉ K+i}fe4&M1-^gYZ7zXZִF! M]ŗXiɟ>Ӈɇ9S2]k1{ai_%ec WI6ϝpQeT} !LBWvez$ g+,?kPu"?vn)=!"R1iJ |C:lcyUM7 pwU LyALnֽc0s}}y%!j=Du0W:1V3w/XXMt>LLͪ;\d X5Ŝ`d*qqM2`d!ZSU#| N,7BuK,d"< bk R@ax7lJ֌E!֠,L]*Qd^@a[|~uQQ׃OV{ x\ ߎ7=NzzomwG|^gv-Cڐ,Zu@_"wGΚƓE6*VGjwWV|ڎޟ7 8zdWk[%.u~..CsgYZ7zXZִF! H]ŗXi%G~~k&\hܥU ͝ ,*:oe,UaW5Q3 a uYtɴJME&1^ Qt,% 9=TB߂ׁ!<SBײDRJTN'9ewG혼 ؀=)=.ٽg.wc2t 1~S4]-mye=.f.3fuTmѰB l]&nX\F?2cx2Juc÷VSݵUgB_xc"ι*m[SsH%4o ?Ę[^NfmM`>dIpZL;i1}@U.T&G7\H-:U7͋nC Nw֣72;>o9:v\67xp}n\9bÝ(/N[ѴeT,28aNO"ssi"*g5o^Mp+"Y$at_q{Yn-942RDiAlvWM<rLs@iϗdY4Cʊb}IuWo 91G׸U kO/i_]ڈƿ[ktc&ȧ VPSP_\8E!&ې*uRHRd4W?7v>`d*~*$S'h`EC?wW 3_'rFݧ/Ya쥹dx-h9Qiᙅ+Ѷ!GI<flյ(*rхl`RIY $Ma̖ qw̟[/Ip(N,P:V@R6ϘE ;;~,O5M1&{MB ]5Gl Uo(K^Ar>igo [fClc3ƺ xӱR/:Ԡg; xMܑ*/y̛;Y{i|Cm.$DokDbrn74naB*]ce;9{ Zz< i=^9΂l\K*+nYAĊl=Vcˡz|Wk緟F1{;{z>FRcV@|%FY@u*r]w*`D7-NT+Oh;3tY6]l@t8\j}{a.dD*CxQIAx5 Kf"KC?a)[NЙ5 ޲r"W욋ayh+9mvXf .I '`gYZ0f6766a06a913d4b68860e9cf4546fbcd3ff8aa66e17447a00107a84a0d911955493ae00a345bd11 8f7c907bd2182684f053246d01bc6ec83b1af4f8a5ae92c298b1a783c1ea941a3f0ce69d254bfd78  HOLCF