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  k3 SS Descartes_Sign_Rule:threads=2elapsed=2.697cpu=4.816gc=0.112factor=1.797zXZִF! f]ŗXf1-/6vRZ2ޝ嚮{^^)u$\Fݹ(LxktC7r]͊vyB&ꢟ".g#t8 *,Dx(h΀b!.{zslI7)P,'!WYy0.~8PxEQӧ%( z4ڭ ` 'c~O~sKZYFg&>M[}QRrr6uOztWܪ [\EvaXlDpx[u@{ YH7b"fU|S%ʄ,8-*΄tutMg`6\ޣH %>;pqX%wcJ{Tc\?6 iS/g3mp2%+|>Qn!.߇* 0dzV@U8% nNIE@.aW(~pU=w*#h*+-NN%Uk'Qj>$jyBٗm)j h]u_/ZJypH63 ^t cGd&̔ySZ,A% _RT={= tdh0o69*ϰg &T5Bkm L<]*{"|u㭢8k Oy ɃgO _ =fSAaYr A6^AK7eroO{vY$ YL&?v$a# IzWbCc֎ 5Nạ+P!+ &S kt]{Vl}i52J"#QPMh'YvEYc^ЩQKq5AtCc% e֗Z \LYb̂yڂu~>C_,U%p OhXsFfo'<$*3.{gYZ19d7eb25cce05ef5e3a9cabcb6442083d3b4d7fb 5cb3670927430e83609193d63018786d130d05ba 72cc4942cce77282ce20b0d84008390339bce3b9 b0a80f21b422bcacfce2958e094d48cd6356980c9711977f48cd7397b3b03ce4fb09271962469dfd 76cc7bc16bacff3c41d173310297a26a15be33c9 0b0f6ffbe0f4770f3b2c25543ff441b61f7ff567 b62b082da1d764e713f5960b70e1b522ba49b147 3 Descartes_Sign_Rule