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 rr  $ ]/]HOLCF:threads=6elapsed=12.469cpu=38.572gc=2.140factor=3.097zXZִF! 0]ŗXf1-q恈͐7ӺV ༂Mb0v9?cGb 5Z;e3.i@01/q>i.)ǩ/QfAt] E wM-Ǟp"Y.-;ŵ&&13?f+KpHĚL(iգSo%3&" KY$v~Ux0Ta )ftUl GzSBY0 &ۮII.5~ N˫$¾nk]^ӲNg}h8Q8<.o3#0b=+M j{Uf\f2`خ[!Zҟ33Pm7Geiס X£aDA+P7Ab&_"bEH@Nw`Hbx]c̜4I#Mh`pɒS Rk~6^xOd݀cU ʽTЦy, Li[y]Ӕ u7F SڹAM" ǎX';ӒǮmK"N"-;gYZ7zXZִF! L]ŗXiɟ>Ӈɇ9S2]m嫸Su4ቒp±0%$l*88nB@2ۈis}j!J1i路&8oH喢0y[:6ƻ= mi-PC0nG}[KK<$Nva#{'i}=^=1C(,훈EA*o<ȅ_MvY5΄wa[}s]jf&B$D]//f:>oф_Yl]j%F'э~MJbJII?:sU{&(؛ݤت3LCSf]6OCQ4ӨďԾ 7" jovb>Y#ģ%S\k+"Y,:3 7قMAkǸwJH+9bռZדL]Bt$FQk%Y盜DTUqNfyɏ;]V0EtpI~2;C,mF5Hq>Q|oz˗CX3̑MVSfL*֘~㸱gYZ7zXZִF! >]ŗXi%> 爻h[k`,öC wC~xDõ9婦ltXןmV wSkU8<@ī Ky+ڙ#1 UHd@쯶T46 :Āg5yvB(A`/z2?湰]oP3HfpŨwVWHS!1rD`;"F/J۟C %^kP\,ۏJ$9HX)WRuiB{'',\Tz V6fbyL(qETl'7p}vҷG#T8 IS˻@Yvi7!եRK=bS{'9PkRE^ϛwKO_DE;|YY۱pPKYmڞV=*duc.B(tnHVC*<`54Z=9y|:Mx32에ˊdT2ٛrlØׯwl^:V1y.fNr⦚~ڂ82 .-m.c;ts6p BK$5ү/TVlU80lӹAXɝU Öjڸ<. PJAyGџf=}#T=Xuq 7pIGwʧtlC}TBݜ(e}ѳ%AcU/yPu-JֆjaU}'sofgj|w#e$+`>W}Q]2!R@7GIEBhnVJ?1=hh1'f-({r$օːq NYZ; ;|MFOy $!};.w|j_.MkԌ[H:eU3T(ӰPF*e"xͿ%t݈6axj}gy.CX~ (Tc_ 2/rf3jYԛZC20ozz&ʢGeNu3n'>v4,qQ+T= /uQ[F*h_`3*" .bZۋ*Q+~h|MfME NzX: ךQ1rÏ|FRt~ݽf_{7R>P hM柿h]P@0\^˝ }WRgYZe04752b7bfb5e59b0c7fc02f6e344c30346019e871694b1f2d25d2d9aeaca0f1ab390c835916ace2 24112e61b571a2bcd40de8683c354fe7120c1068d3094641eb7d8f332c3944f194a4ff9a453bffd7  HOLCF