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 !!\' TlL ]]HOLCF-Library:threads=4elapsed=10.595cpu=36.808gc=0.944factor=3.477zXZִF! Wa]ŗXf1-q恈͐7ӺV 4{ŴH}UCkAFԒG|&Bc5ݐlnIC&nm.U.zq}rPPP@kn'X0,km7DMUlҦJ{X `zۀߝy̢'t^zR>mp)o+5Å'MzvQM%͔G1n#z;{<쎪=G>rv ln ͪ]Z0?ibpa"  ϑ9_ݷ?×3d-sz#x]n5# ̧1 8 ոPD4BoU Bk= )'% /خ$SfTpq"sr݁jI.uZ߰Κn0#9|r,FU\Z|Db/% {q`7vr"c&ȴgŅhO T6:WGshAh l1|er3]s~u튺.(,*Z]VCKL2U2 LtDgYZ7zXZִF! 9p]ŗXiɟ>ӇuMwdCώ ೇO<2s Bf{ gBs;FM[eT۷֏ gqovi0;(O8Yn}U֋5 ίJ'{B 1d6G.]ΕtY,3Gy|d;@Tz$[k|&o~V.Q9Lþ[峿d롑 4&Ynou$Ț>״(R$" k~dϠ47$Ueviϱ+(j yc V[gÏ.*!tkσKBMM44ؓlOOZ~uY{)$`_ QߒgYZ7zXZִF! =P]ŗXi%Gc& vuրO~\_?}-ty?{x0P8u&=|gl7WśJ& mAjb&~eI!z $PC C#!?(%3V Pѳ ԉWD67d![4 !31E֨qd-`{@L91mNzs2]%(e@""iu,çKi(}\Vi?uJ;4gRI'숊H4?0s$g"ǵ %Cw<](@ٲJf(ٲor }j!Catt#xר΄]8x/ 4kNr)qjZ | Ys'ZPP/Qdo5=H==NL+B4OR܌F8߅m k Fk', tKMLN*3^5{Ns' Ke+0Gj'MҠ'Bkܐ> Y )HyY֏?.z2_%2{ b"ڃ%(Mn@~h-6i~3 |$7zEt _ޓ:m6Maԅs!A`Y/R:(x' A 5~ȭAvGI˚@l1^RQYM Da}@k+ Z7mq1qIFrzyO[;ctphw*O!IBi;h[7S]IfYVu<]S06ZJ-|yuɻ⬡BºԖΨ)<$:2WKKH5<ɆkZբ725^+nYs /JPgݕ3 kvt:CN=5 MA*+:IcAou A1KͰ*V} 8.ޭߞ|i@~CeC&k|i:ӵDЈJބ-zl,n9K,&hj9;ExouR ѽOAQv(1 g s(VzR@|pNX;$ŭ=oH% zsgYZ969b599803fec425679177fe5de945985ad11dc11795f3a7abed9fc1d9546e3552e224994a90ba84 ec123dce693829f016aa17c5552e2b7e72eead89 946967d0ff27c8358b9575a3ebfa35088ead3814c135c7d8db52a1a2c861adf84a2d325af0df7b20 ' HOLCF-Library