SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 @/ | ]HOLCF-HOL-Library:threads=2elapsed=16.095cpu=31.128gc=1.480factor=1.937zXZִF! ]ŗXf1-q恈͐7ӺV d>`;Gؽ8n򭖈:)FuKȾ"1-I,@%5&k n%nYnM:]CHAI*em)Uu,:I{R sUB!bʁpʊe'`$1 7))|Pbs(3fwLSa/"G.g Rм=I9Ғ!IwoWE0ut{. g&.^nI),;cy #5H(a 48Dk%^v18 gYnt/ Q‡xXZN?3!]-j؛|wp 9I > 0Ffֻtڠ0WBz+є.[Zjuq,Ǧx'\gYZ7zXZִF! K>]ŗXi% ,'=u "guOͽ5p>zlAV>c+W_JTeV>k_r 5m!n8xdJ !QU V\<=rgmg#Aa4F5TG 0e \ժ?rQ:BTعg^g=IA1ihM152jv꫉,v:JTDY(ܒz3sǫ9JzPK앯3Id\V'c;k_T5C"d aL}=!,307Yr!WTy{{ h?>TVYL1Vs`ߪzTsu=gl["Gxz';ZmXMubp vU8SnaBdB0L"Y(Lj)DsxQ*pgLJ FLt-Y-}A$&p@t'+@'R ] "Tl)@)c服C ?)gxbV_'YTvY#Ác8tkdPVifgc")dMDUK<`:l(81̪3ŚUxƟ?~{\akxzhc-%i*?D#NcfbJd cRP hr"_iՉG h| ݮ1SN^.yuț߂{D }"&׉RWYGӜ5FU`o T` Ȥ\Ȟ: +߱QQ?VıH:at+ׂ)^&ฎS֜%?'J:2f;eNǵ[^NpӳN6o~Oys6V9VT̩͟-\?ȝ,c"'ZlD ZrX=W`hN㪍!1WEj>3 ㄰mIyb?1B;t;t n>lY(!_pc}h3AN59M!`uboKfS 諛钑uZ[ G8t  ^gYZ0f83e9379368d232af1423c3a9685e6e1cf74f88 2d0c54c119222ff4b9debfcf8cd34d5dfdf7d751 5115babcf82b51329a1890394e7d219241d1cfc9 5f3249c9a2080df051ec979e03e69f7b6c37b568 6a1b07b082500f00f6c3b1326fbbeedb536bae44 767b848e899bf51172cfcafea6b2fd397e8b0312 78759369f7db0a7b2e1ca4cd148107e261ab15f1 82fce86746f9061205d625fb926c1da3b71e3bc1 97020981c6aabcd5f9a12344194388cc00a68b45 a6d881014016ac510413e96c94577bf126ea335f ad3e0430353cf9dd719486ae796d190d5e13f04d b9c5555005d2457d66592f71382507c4831b3f89 ce168f5c6ec1725149cd64ec4a6feca6f681f8b8 d4a744693dde4b2b4dcd1b586a909e4d25f5abd6728eda92c596448850baeaf541586ad0cbd7b32f f43caa9e5e417d16de9ac31da220529d0a28b7a7 591d00950a5c8b18aa60e88b84fd28f621c9b32967d92ef42c16c292b2c1247806f0acc9385d5ab4 / HOLCF-HOL-Library