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  N N/3t4 SS Descartes_Sign_Rule:threads=2elapsed=2.783cpu=4.952gc=0.116factor=1.787zXZִF! 2]ŗXf1-/6vRZ2ޝ嚮{^^)u$\Fݹ(LxktC7r]͊vys ՂB*ֵ#fu{:3OUvDyUq"@›>lVIMꄟ+R!ЗlWP 3OƠ2,weuo]bÛv~aD-v|KA`^>` K7`dڈI~ :6a[83ėVǾ7\h*k;":e=;[>)MY՜"+:67_H>I?:s$ar%0dA|';GSbb/Ե}[CB #@Vآp),E4R@ \ڳLlcNDAgEGq^TCc5\r@?̈́^T?I*8$ȱgYZ7zXZִF! S]ŗXi% .ZHiY0z<҅l)V -m OPFYݟ'&<*q+ 4!:!|f,X`%_i}q4Vp4b}>KT_ïjLyn}ܽЀ% &'Yԇd4%jI"ϰPBKеEVv$>/jk6j.=eS^g'hoc۫pb'(v .W*b-}WT1vxUtVF. ep۩ {*3Vji n-c0`t@ cEqaB*/'~Z܊xg0ٸf*#d1q :Kj0gev@D9al~9$r_͡%~2xY`6MɦhXQ#5A`~kw3=2{ǤnA]_ͧ}KvFG8I!{L7"1 Ӣ8Sk0Z*i%Uxr?3t}gYZ19d7eb25cce05ef5e3a9cabcb6442083d3b4d7fb 5cb3670927430e83609193d63018786d130d05ba 72cc4942cce77282ce20b0d84008390339bce3b9 b0a80f21b422bcacfce2958e094d48cd6356980c9711977f48cd7397b3b03ce4fb09271962469dfd 41ca8b1ef880b2caab86f2e624d077e228a12ed4 a1d4e989ad1a700e9d30ddaf5afc0202077fceef 081e2ea43e234aae88c54c36bdea8492ada09aff 3 Descartes_Sign_Rule