SQLite format 3@ . BBh77otableisabelle_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 **S D ]/]HOLCF:threads=2elapsed=16.621cpu=32.500gc=1.804factor=1.967zXZִF! H]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVKh^̐n>VAU![Ys ?!4| M&xj@.̞BzV7+锟-rҁ \{ 6OHWO>5_M,y"%@A]x&XN՜\ QRmҮuLR؇Rw_RfhyՍ4 ?!/2&RrV#ԉ>I1«?v9Gbt?rD?R~NX~jjJ/=t-?r Y.~qBνuV\;bmhndDH]@x& :i2i0ٯ@W} koW0DŲtƄRs!e)e*NaW` HC8p1J5B6C %y`#~ԊI+ KK cQsi~%İDt %}h {yb52/nc0G3T(Q[ыyQ|1yUZxסTH' B>zIgQ'UXK:s::1sfpxS6CzŁ[~%m_AJ,"WgYZ7zXZִF! ?]ŗXiɟ1˦r~KunύNN{0Җ\WDɷfZ$Ʌ6!3"+W(ͽ `ue' ^2Y{Bft\2-WI5Q]D-/O:83Lc9o#\$4tB#qhޕ VH֙,xׁ/Fgvfb,.㒢DW*rL#P:_>@%3U[ 9"84J G9#3- 8B#>vT}]ҿ]5U%Y8'o.Ӗ&r'E7V\a%8v ofjl]y+tFܬszgbU`E%qw pj0gptlkWW&wp_1FnT%8MM"W6hmt'yiڡ|2$'ݨ" @Ԫ},+y S:͹¼M&,Đb$R"JRc@n]6}^rD wsC&A7ɛ:6DazﴰܷE)ӧ:f3#dcT=,`͠$QkBx K+IKHéHq*b>`Ez /@ˣ[|[eLD[_ve@ 4ιXfs4ԗݾO&aE4u1}j*ƝNuln_CnwlmO~efz^mآ8BR1B,W{'u>ʈvNSb$^[#ý!`%Țsve|OonδTRys:+ Vǘ'Pw]p̞6P@Mĺuldٝq J\Z4}GDq/,4DD* MӉ:wx0xɝV!U=MLȠ~^yKD@9kI ᖹ`- bRs 9SŴg]̣%Im̱1[z{KRayDLEv06B%J] >iil2SF@7P< h=DYlә[ KrY&qfyUlX`tc[iCXk%Xw5Toc`EL8kSUacwBXFcsETNt1; 띵oӨ)JWx:wJh;#,as훞 7PƼx;{UF1$O}6X]x桃MwbUґVo(6 " 'Z?gYZ585efb0994cb756c37281a188435f3dd8cbfed006f2ea6ab0b5842682397ebbb65f675c6588578c2 e101bd57939f33c881a2cb79f6e6b917cc005de1542a4e488b977119020a5c98f66b8e1daf96e42a  HOLCF