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  F+ T$ ]/ Binomial-Queues:threads=2elapsed=6.481cpu=11.144gc=0.568factor=1.727zXZִF! }]ŗXf1-/6vRZkc- R0vP< Y8^j߅_c< v&q&Icb$(nO"=Cƌ>-<㪧Βh@o,NU#+2GS.q&kut~@:WÍz&|{"\gHvBkhD%ˠ.Q%l3&ݎYp=G .x_<ـuE(gYZ7zXZִF! ' ]ŗXi%6q6HN NyT@u5B:= jaMSpgEu U^r-*2; `~lq&"M?0BClObfwF@y$rVq&;$ @} j]+`MpiZ٬pK\~e?Y} !()PD{]AZ ⌳(ڨ3KݓaB3 &bهs$%Ax+Q~j$njꌁL)1Y?r{ {~3k{bY򢱠ewMֲ#~]qFpLF,aj63οr ^gM"e1ǧwS2(Ig-~cE 7dՖt{4(XQة!#>WhNT| F'pmu&5ňZ:N\̳,lHy'vmUb0 UʁڔG:Hg0c5\'ꊦ~ț[Za"Hz*3jzF9Xp</)}E_6̕5y=K]ޣ^5%t T]M?Ե%[4˵thz$6I8**O ĦgYZ2ca9ec00282a42f7260d6754e08b561a3f5898fb1e0d760b8dcc7a202ccf9e071ca177b2d6e00047 82ffab2c85e2c69d04d032ee5f468652fc7921e8 + Binomial-Queues