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 >>? ,4T ]/]HOLCF:threads=6elapsed=11.778cpu=33.652gc=1.824factor=2.867zXZִF! ]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVKh^̐n>VU2V20.3FaY\##~Ϋcc}Q6UÍ= +RJ*CQ΢x%7QgCʊ2ઐ _+,xM3MO|i}xuUlXJqx8<ٔz*z}_M]U$G1WhLKWq*-sMeyímBJԏGV#%{zlˣIUqVM]U=3o $0 gm Kc-uF8KCҋQhR?yG$§r(U5J]=T Ky6`q8`%6!^nU-"1/j–Gt1J1d, &lN*+NDo.O"dW1d)j~/nߤr* àX~S4-:Fl].q98y/zy?#wc(4cI3+W*F]Z0@󿕱gYZ7zXZִF! T]ŗXiɟ>Ӈɇ9S2]}cjog*@k j]M$ȌQl(cUAĚR@7&YDk7Na*,#lbih/H}?*L~Gp +qg| rMlCZS#PTTr!p75P#ۥX9Wd1nʆ\IF1tVdg`- e:wLVtᬷf9FΤo{'c ;Е#HZbs~JfZd>f^u^ bRGQbGz>H_Pw-qJD&7~gv7)-'g5dR2S k6$)J6, ɋ%w`_-[fhZJOsƌݧĭNaKrl9DT ѷ]rW#( SG/pkh7\B)zyDUsA =*f/4:FSpa #8MPy~An{7vW[qfWgYZ7zXZִF! 8!]ŗXi%92"P ak.:gKޏ(;F'@XV=D磐7~FKA(h-YԿ rjr—S,+<,L0'j7_(i0Z9rJzKR|מSzaeRAR1W nJl%e "mWF ~i~AMyP|4Xnh;aninAJIhro)=(4ޚMvymiqLga2K{Q+yHϤ"!gU=_L(d+֫lE[.) !HUZwIJ Y~d=ޜXfLF57_G(jcuքuƢS ,3tmVɎv4X+lQ@V^M`X:mM>2hxQt`1f M؝\Q{qrPs7t}Gskw6)\auTEale[JΚghuiR VX)۶&:Z|!UiF,޷1azEе9|Hes~DwF_"[Rhi wq<7`aęͤ MWKIhVS|2F/-$I-y@"Pw|@9F[ՈRg]bͫ LC yrb\mbסC0ߊ`xh1D*/qsvgYZ2c585218632b437fa60d0250ee0d0d420879bd49a46db31bb55395b3dbdfc848f24a96e1b1255d76 d3c5454b647092bc2e8b3ae36c1c54bfb48075f573d475313c351a5a1705e622473c347ae1eae299  HOLCF