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  u+ \ I/ Binomial-Queues:threads=2elapsed=6.576cpu=11.060gc=0.552factor=1.687zXZִF! ?]ŗXf1-/6vRZkc- R0vPP OA50is|ba RQ; Q.'dթNeXXnrȜe8-d/`F)2XxEֽ@W֝!}osG, n/ eECݹO.fWe68~h]k>M_ -M:E+ !@ 7|Ar{R6*tMy֑7 7 gYZ7zXZִF! '']ŗXi%^[M߳5 ¡YrK*'ι(8I[.7]Cy!j_`(/E,]e:Q3{Iץ+!Ԍ7gRxA`+~C{VP?}qCW})sCg~ 4uP&V#d>l~pkDS#c" =iQ66:`Rg6fwoJ# FZ~Ǔn7T>gŃG e$/ѿӲѻHk^)Ȳ4%ڧ#'6[Ri8n eha7cJ<|JЈ0CvT-?PN46Un128%K!Șe1Fil._$ֆ)x?P v'1 *~j(/j3lK4pfSVNb夷TUk`tHuȻVo$nb"=*t @GR;nt7nʲ1LLi|nnd'=C j;>ɬKjޤ7l {CO~ygYZ0ea5a344ff64d3f11a7bde39609f6be0f403880e 65c0f80769c300cd1a3da1c8badc964be8cc0ab9 7365a6d0da22d1676ac894f539799f1610b88c18 7bdabb0865258300c0a6596504bba56c7c7edc1d a97085f18e83107db9e38de7f772f74f077680a6 b33b9bd2604125086f6c35dcdbedb59ed184af59 d81829d116c813f0b97f449cc1da7b8637e9a273735820fbde580c794b275d3f360e30a6d8376dcb f7c5cec25e7da1e133019a5ddbca98ad9c7924aa + Binomial-Queues