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.107cpu=29.836gc=1.224factor=1.857zXZִF! 7]ŗXf1-q恈͐7ӺV d>`;Gؽ8n򭖈:)FuKȾ"1-Iߨ4*$n&[x m@,Q=C7  StMKH7>qzhW&m"h7k_`r Xƨξ0؞Zl2ظHAY=@pfVBdCucyB(HӢ/+=./:~P 5h KcRh)NEID덼K8?)CQ|w w MhBA[,?mItt)Zڪ +)tCcW]+|j^ZެELD[2bjl?w|]F9XeE:` r+'MjnByΩ7n2p&_.  -D,~W\Ww/2n$2҆Um1n`v7:ɆF'#FzeEh`"W3O yp!Z4^YIuR99[+y~d ]?! gYZ7zXZִF! KJ]ŗXi%6xbɲ@~C{=34pq ~ w$r;>2R0_rYJ (m$ Ia_$1u蕂;y+."[8*$ZV[*_T>s,/vAC NCȁ_S)`Ȭi? UNHJ)~UoNIw Q¯u%yCekoC GdӻiL(0݃?/]sdH[ 0E0҈0yqRB!Nd!|jRQZ\g*Htη)51%rM^7, 3{|'tR3TDͷ&_|uRXi㺎ݡJZ=҆~kI.Dw~$ mNi2ƗP*lkeJ'6mR6ODmP[û'v0BgkҟPiUh º&z3H22 ftB`[Vx& 5vX璡 vIQ^ǡ6D}MǛ3̵d{p;HvS vZLގbw nֿ4b@vyBWD:|?E]KM4, RoBUt6 |T 9GlcPwJ\5PdmM[(m,LB^(! ׺'Hu/0 s*BɄp_cjǥ&tNyo5Ul쇤#fqUYY~'}]XH-&}bb879`3{Ƀt_zwS=/,oj镌!#c.M٥Ko6iyӧ gڏEqk3KG߽=h~4m:,A P2 5JHd|L ~c_LU (fQ F˦NsB[mo~Y2xj T ˖C\gYZ0f83e9379368d232af1423c3a9685e6e1cf74f88 2d0c54c119222ff4b9debfcf8cd34d5dfdf7d751 5115babcf82b51329a1890394e7d219241d1cfc9 5f3249c9a2080df051ec979e03e69f7b6c37b568 6a1b07b082500f00f6c3b1326fbbeedb536bae44 767b848e899bf51172cfcafea6b2fd397e8b0312 78759369f7db0a7b2e1ca4cd148107e261ab15f1 82fce86746f9061205d625fb926c1da3b71e3bc1 94865d2d1b29caa2e5f0e30e41fe9b23e6aebad2 a6d881014016ac510413e96c94577bf126ea335f ad3e0430353cf9dd719486ae796d190d5e13f04d b9c5555005d2457d66592f71382507c4831b3f89 ce168f5c6ec1725149cd64ec4a6feca6f681f8b8 d4a744693dde4b2b4dcd1b586a909e4d25f5abd6554fc66833c1e501a5e5c7ff24471873df0a1f56 d155c2ed07829a15fa84f92865e4197c8a5f1ee1 ff1d323a4c29d5f13156bf3518961b4216aab2d80a0f5afdf129464925e065aceeea69bca0f69fca / HOLCF-HOL-Library