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  ' ]% Lazy-Lists-II:threads=2elapsed=2.476cpu=3.816gc=0.192factor=1.547zXZִF! n]ŗXf1-/6vRZǽlK[fp%ä<;9&%>%:q Kkc5];Gք$> y PdRpݭU[9 Y3IuЫp0Vl{@*|½J֭^{ޫ`roOjjF֙,T`! Sgj8X܁w3)[|s Mm? 'XL>2CI ˅JF)DZo|P HN8cK9O Ya=YWZz1#FXɓ3 G(;^= ҷo"%O后}M/%3zd(Be{2ު ^O?L|W.8Y*@FI3@{ˣIq@#*w"-a zx" Wg7U;En_7yE򧍊"}t߮۟8bngYZ0d7a9efbbd57032116fc741559fc581d9a01121079d8e835726df87c7b301a8f091eddccadfabbca a29a84bba8aa29c804c447ecf6bc83360b3be33c 402ad8d10c053d7ab99109311f4289da20bbcf70 26bcee65cc1ac7f404331f7de47d326b0c7fa708 9bf8865d84f5c0d3b40e62b4bd67d744b28d0905 ' Lazy-Lists-II