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 ??>tt4$ ]/]HOLCF:threads=6elapsed=13.278cpu=42.328gc=2.3287zXZִF! ]ŗXiɟ  QLwЪ4/ۘŢwo,( l8t6wG܋~gCZmmsZ!`34ɏ" ic=.Yt}_PA|U5㜒A`k=3 Q` %(vH4kCHWODC#oU[Ф*M5kG!=u%M'rV-nM]'xӇɇ9S2]w Ps2A*1ms@N&s|Oc5<tbԱxBM's}Id20Ѻo|[˙٨\AED02b!7 8XdWTEDhR[u^\pQmbœG*gd!Jm׆ Fuнjr l ~|܇pSRZF8@ie||~;+AQcq}U;(82:-y܉he~?*Khpi5fw U ֬WGݴk3 ;݂~ҁ[ɠ_rxB:AW:Puv:B\c*D &3]#k"6'WCDx} Ӳ"_=-1.늀ʥ}͗#}5g``"Pֈ+&Zև9"n˨]>OeQI :csx9f#8`D`*`7#Tc2aPG+D<؊6NTEtC?é/wmQ!7ھu$C˞ R43 6hMr$"+ߟ%U3wLQC9[Zfin)}ud ]ďY= wGށrl 9m1A|f Oݭ_ad/|%Cctx@w9blEػR)Ʌ+[wE1HAڴgވ?*Bǒ8!9нy|ec"Bޓ;е9n%@{;>ZEmRɭ9-S&?:K 7+ 9o~-3+.ch7n.AAIz*N28nʧQ&ͱr[o3v\Zx9ڨݮn1Q I |xQz8`N S7L+5ݡ3x+DOwB㘶=W/r!^ݗX:>6Wofjmd5γƕLAixAK9<@4꿸oeᰡȥUB@,s#cIӂ/fZ5w%b}%%#t_).^3#AҵJ"Dɥ okhmU,/u:3 89l_=>quEkT2=r8&w P^+d 劆J}k!S4G+NqՃcм6?qms@:a3sL{ ^i}Q3Mچ \k'W eF|}sKa+޽a؄[{#& &+t73|~Yi"bv2azvȩ"B$F0Sw?H)n ͳr+RhΕyVJN?Gp1pkc>) I ^a&z*+8F8>Y dp #FfB83ʯW $fߦHZA/-U8n=Vd:PQ9FčS>%pT uZk`QļmU32! Bgn8+a!N!<%,V*j|Q@gYZfd6c98e50004086e0d15efe02356af87787bc4a62756139cb33ba5e4bd4cc33e5c755793ad6d44ef 87150c565a142fae9a2e19dc263f6b4daa00c26bc2ef08897469767795bc3a9dc164574ce38de2f4  HOLCF