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.585cpu=39.964gc=2.400factor=3.187zXZִF! ]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVĦu0D,D$Gjp4B=xJ<6vlo@i6c:PWQ`Ӷre~ 'Lү):%ZVo-\s#vuU ?&zYR eY FU]d|\%+<! 8DCb?W a {#/)6RZ.3Lmk-ihk*g1*!ϓ/؝gh=7!VÃ1=r&~=q0;8<-qCbQ< TTc-1QT؟\_,]ϏSm؀(gofA E!q)&OT6gYZ7zXZִF! `]ŗXiɟ>Ӈɇ9S2]hL2Ě,.lhѰЩ+&'T:htj'tiѺ0t%7x7 [~r?Vawg PSˇ6;yI`.CԆ|~tdH ~ `j}Sg$vU}IXh٢p1-wk>dVZV[9)'ԟ6tB W:ɨ)Ңe[͂!)ԇsuٿ5zݠB](~P^pz22jx^1F}a|89HÒivDe.^}EDRT~Ma$ 0~7.IQ綣)U,M;OhӺ5%4;M4p尚 =bKh>67XRZveZ4՞ ~!S& $.@"ӎ#=h/d<\ɋ1_ /p2IXUn3eo7MЌzԘBb,lv2v"HոXz*!6y& cH‰bjg\#hNФ gYZ7zXZִF! H]ŗXi%B Y@ y.BUn40:+yuۡk#Et/?K hWGe\w1Onnv&c ʏ;] `jeIBnqp"Qh A]CW1^ΐN| o%n=1s~m[B]r\nda[1͉~HS,v sۊ8VlMjL/xGT]UteXFF'|Zp߄n7%Kb([&x 7;j7b/ڎ9lckNqw@-zWHk  DO9I[5@ '4K \E^dxC//qN(,|ZV`_! *5|H&6Ȃln)p)GF\St^1AQEDo^Tc X>$Ƥ G.(Nڤۃ￟i@~ǀӮ@eEΊe2ɼ!\bS \HңXNqD4C~E.f^Zj agOž4>1JLܭu`Ǻ!PV2>ug[/nµRpv9P/WfLApoV;`r18ˡ)UOA8v-vh[/VGq+].=( ~g!g*iuT"Cw ̷GegRӖ%-{:SJ´%񀀡󨡷qxPgSuH5 :޺zKGnjkZJoT:BGW3nuz}oO 'K2nq5%ʡ1 /JBz]DQ%/`@T, >#5kVn}fSRzyb|X8"ٵ1btԈE,`F)<&ȴ| =Oo%䰯L}lIrZp6\*\ 5\i )^\"juE~+n/2]@1$W9IB,@ ')@T/p֝s4f:$#Ӌf3z~rYLz%k8X.025K(J0Zlq8YRqEmfo C Z"{tI y[.¶hcaMBcE t^<Rj2prܘ|o+tm3CU@Xl皏pKljWJOTZǔ29Ħ@~;<¦EzApTvt,'vǾ},Q i]H Ƒ?6gYZaf4d21e1260dad190d817160934f740ab98aa056b98e21abac34c1a5ad8cd46d87921a4b76a51201 57989c06cd95af4e0e65ba812990155b74c440c2afd8effa12b5327136644c123bc7ee5ebf4fb32c  HOLCF