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   g <\d ] HOLCF-IMP:threads=2elapsed=6.421cpu=12.124gc=0.716factor=1.897zXZִF! W]ŗXf1-q恈N|5` 6Hc( zE"Z<ϰJHSuQ$_J^.[W7%=C!< lO'Ⱦ UuJs>w1w2>debJTv{SF^0I?8 &aM8+s\٭Lag 3bE#QMLP>bL6d@gYZ7zXZִF! ]ŗXiɟ1,plnQBmjszٮ>S%=Djs'Eۆ1nR2F'bnb|~Eh@zZOqfIu=4]v|VnΫ?WN.jo5رgYZ7zXZִF! ,)]ŗXi%;ULmQ.#cQAcI;.L$]愛>T]`\:?G,w%*6ؔƔ:#FnmE,yӺh:ϑ߾1H?nTeĎ"/} h& ܧM1lP|+R.0*M`eAre"RBOAC*L~>Wx?-u^ !:^&u$ԓx %~=M\茬ܑݪpVʯQrrywF3D[~( 6~\1 &1y^,kk(SrO+Gt9_5hbG0o i$_t t-a\Cc bBq_ʤ&J!oDqcuǰPqSxLyFD҂bJ2)x]-2?X/t|-Ձ95ޒ9 ]H P0]Qq}3!|j/h#}xQ. j Nxħ?HHA-l<z\$PB`wBs< \TJwSEE@ Ʋp "LӏꙆYo E V~e+F&Vqks2a^~./B &~-^Wɥ 4I9CB|Nm1qDLVu ) ˛%yQO:h`i1'nƃI(-na ZޡT5v'S_Yd?;1Id r/?G酉`i"YRogYZ4bac9a5ab8dda01d81907538e34a3cba12441c76f82ad8bc3fa909b6cd7ee1a705f5df00eb58e71b 35eaa225201857107e827622fdda13b757fd8deb 99ecd7f7cfb43e2f575ac3077627e2c33001f83e   HOLCF-IMP