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  '3l, SS Descartes_Sign_Rule:threads=2elapsed=2.850cpu=4.752gc=0.100factor=1.677zXZִF! ]ŗXf1-/6vRZ2ޝ嚮{^^)u$\Fݹ(LxktC7r]͊vy[&PT)I4sw?q_LH <˃fGݍ1{зJ9,:e<}# ֝xDUYǏgYZ7zXZִF! M]ŗXi%6uDFS^lyw<.\Ju%썾˟L{Сt|d'S%|xq@Wqz2W6[E3jOcvnBJr~&_X)g#ԣ&C[ G"]X]F&68OƔvӦDSoƼ+ES0.MKTK6cRɭ]5c WeO/em3Qe`!GTY̥a3$gYZ19d7eb25cce05ef5e3a9cabcb6442083d3b4d7fb 5cb3670927430e83609193d63018786d130d05ba 72cc4942cce77282ce20b0d84008390339bce3b9 b0a80f21b422bcacfce2958e094d48cd6356980ce4688efe0911f3c4685119d2413b25847e9bdff2 fd75a6d445e5afaec4d07c698e0e0aad8327d77d df6f77d3cba6fb825ee5fd35d1c789d872ff9d4b 86c7fd1199441702fd9498d93a1d3535f80efeef 3 Descartes_Sign_Rule