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 3' |\d ]]HOLCF-Library:threads=4elapsed=9.133cpu=32.200gc=0.844factor=3.537zXZִF! 7]ŗXf1-q恈͐7ӺV 4{ŴH}UCkAFԒG|&Bc5ݐlngͤN}E0_$aקgp󡆮E-*:O. ʤ6Q$͢읓u' @tp@l">˦SJ = ˠ~?GZܶ_Ơl 5.5aeYMo"?^OD|#oos!qcde1`VW{wZeU1p]ŽҌK&6l7A~lӥ` 6-Z9NpI2=zKۗՔ ν'Gi /T8[ Ņ,}XޭN%ۉP(n=x6U"2Ķz> 4x{e!t#$` ']@ب YfUǵH@9EsrJ =B ˻e{Fshok\M P]@7߷SXoZBYzAҘ:`gYZ7zXZִF! 9h]ŗXiɟ>ӇuMwdCώ ೇO<2s Bfz!菌0`{֨7{ Wm!Q1TǘSs3_?T2vEJմSS+dz4~dO+? ^[50Q\Z1T6sϨ+,sZB1+\z{jENJ#PهBTb2;ѭjH1zFQU9 6VG&] W7Э9!d3"I;c/HrqU@IM3Rx):sV󢓜՘ȣΔ4lkj ӌ~gYZ7zXZִF! 4]ŗXi%Gh2>MhTru+Dk']tp1Ƽx7FֳQ/QwI*sb=ꄼR^=U2>L/!κzBty*ohGLr-ݼr$NȍMnFo!)v$瑸^؊D jB)iana8NKE^7Oq%~mw{>6B<QaP!FZuw6tZ`x{m(| n@K6&޼0#zf6Oa5/1P& R{-8.jo l8N1ף4G~,>(f9eQc04'X1m˜.\ |_-VN}zoRZ3,Ghaa}r`1K|Tt?Ađ٭,2 QHrD п 〈-.u_yS}uQ M(qAWb>s)^gb°{MDǒސ G8*niBq8 ;%7|Jv)q LЪ]~[ %ݣXsO֠#-~7na +._Bm\{|H Ae;1unrHfʮwKiWeJiIBsx ،P1bɤ(眴ux`}.ŬT;`ͺ#4k b o0k|)P?MAh!4ʽG?A2pPޓoSȃc,_X;xڳH`ċk2(4A\Eth+9U>>-]3f.maB 〺CoUiCMLxfxjv6jp^^9PMx&8;ɳ`vsR}-=w= ˍimbdl<{Dp^;<*.C~-%NKdןz_ TW-Z1A6b57rl}.n0E s&+ Ha[Ygo1I8=;S& 59%o9!vqhTѽMcۀ*vkm^XtcoʭۤkYJXjJ# W6%F(oV-kak]~F i?!gYZ16e0579e10ba6e2fcbd1137176fdb47cfc68b2861795f3a7abed9fc1d9546e3552e224994a90ba84 4907e731bc16daddc205b6b11f8b89eb33f47f6b 5609419a7a5ca1171bd31e39ffab9a2979ddcf68da6c817e83d2fd3d0e734e587f91f6d6342e958e ' HOLCF-Library