SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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  Y3D ]S Descartes_Sign_Rule:threads=2elapsed=3.146cpu=5.220gc=0.108factor=1.667zXZִF! "]ŗXf1-/6vRZ2ޝ嚮{^^)u$\Fݹ(LxktC7r]͊vy&AHV l\FgM갭˶в-k`b3ogڟp~whטc2=AjK!~"u ?;G(6xU+?0Mǧ!?{_"v wdqgYZ7zXZִF! [J]ŗXiɟ}Ʌ^3rM!:iK-Iw|c:v]GU_AV̜=_ڼf\dq}YZ7zXZִF! RY]ŗXi%924iKĩyѳ&Th,~\wKnlVw4%7s]/ ~\ޝ/&d&Ax}F`\&.*Tbl2ҢÛ0F+ӈv~Dm~Bw}-%PpڇF4dg5?8Gq;qT]OsL. gTܶܠ]o`ٞ.NUF4\bVlǙ7SODZ5_ف^B !$#Y,8-7I{qqe<.Ѣ KeNQ5~pP|X||K :>AM$ /:`*dK7eT"2ʂd'^X.lbSy"vd/ph0=.d!/>\*|߱S(3"58ua*.g%(69p=?9+:_z7|8UێYIl7+idst)xHӼ_ªH'2pA;\M26+jqӯK[V-A!*A.io Uk<<4jgYZ6a072a97e12e71c33fc96d8bec9c5113d4f68a9bfa7050467ef8f63fd56cd5cc004bca4176bf5785 29f89a8c8c3de749e3d8f52dbed7d75c52623d3a 7b4e4ad0c078ab206c2a55cfc8d7c15e75b86740 70f4b946e63625a4e15d03cb5d11a4e6c8108b42 3 Descartes_Sign_Rule