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  [ ["' \d ]S]HOLCF-Library:threads=2elapsed=7.179cpu=14.108gc=0.616factor=1.977zXZִF! ]ŗXf1-qN ~mERT.8~"G5e\ *`L- ."TXi@;reӶs_rUZE4 eJF&Pj <3|@+ΫdH9~*kLblZݜfkښiZ)&|{c Jg9j RԤ ,/6f=1;8gYZ7zXZִF! #]ŗXi%60>\>eڭR/=o^9ĝKL\ۖ2J 8Rs˓ċ8bwШ'a P ٨?)a$qA!|,AGo "i&iQ]/7[Tc)pr݋ƊZim C_60Q fk￟ҜcV':Wᰑ*^FWhsxSj4lw۸(-usR52y7o)Meհ8yH@7Bw)I ܱ8<8|Êzm a% a9h)lYxΈZ? c|#D4UšS[ٗ 1~ QOM>7IE5f%`]#0Si UOx*JTp@ֶHo˶10ʭœkc{IynM63EAkMSHE9UBP50eqO; ;L72:QGb{q< +YS d'}Ui3VŇ#_K,ngm%xKd ݯ.'AE^ LX)r:QV'B>;S1ц>(r7MF E _n*]\Q".<٥kl[bFn gYZ73c3c849dd86bc93848a9f46367f6a68ebafe00de3d3de0c105787f07c71be3f3e76dafbe7c86cef 26af89b7d57c7a15a989446f8ee1ff99d4928d87 37a5e7d87b1de36723bc2e935ab779ac8831a48d 22fb12ef16c090cc7f2a1dc50f9e311e4c0e0ca1fd24b996f8c60b69edbcd5c09f399e1782b2ceb7 ' HOLCF-Library