SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info j3PlgbUGG%_,/lLpEBiҹe;7͖ͥ%ɦ(e5jQ{ pK˱.'0 Ie ,s/@ulM;m ȢTEފR5)zjT[%N C uP 3$[5 ˡ>Pe^W?/]6N#x᩻WrB) 3 Descartes_Sign_Rulee9+鿭ҍq7 z 08s Cj}&{44QZgYZ7zXZִF! K,]ŗXi%S.{:_!l)uӿ4nKL%Đa4s5L?@\6ࡎz+tQz]fCS!%0O (2M S:k-ߺc3bqa[, <@znݖf$IprP I{օd/]kλ(ߕƨz6؁񓖠iɥI@*VzC̱khpz{\Vc5}9c;T)IaC-UaIIik5 ސʲ5& AG_q >u\;=| E pq&/'6Q#=).S\uE B_yyBN)-KCLor*E:UUjU @ukc>3:'I(9-Gь>*4l18lI~cU*9 %UܧW0߭t@_K =\;$rC*e ŗ{PZ?p.6 .YZڒ.&űgYZ19d7eb25cce05ef5e3a9cabcb6442083d3b4d7fb 5cb3670927430e83609193d63018786d130d05ba 72cc4942cce77282ce20b0d84008390339bce3b9 b0a80f21b422bcacfce2958e094d48cd6356980c80f4c0c8eb04f92fa9b72ba73b988fd158f20be0 2e0269c995c52ae68d15e9236e33080611f663f4 ab8b0f5e11437cc3b3ba93009ad67ac171c6a59c bb2bb54135ed42cbf9b16f494e9081c8660de074