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  q3t ]S Descartes_Sign_Rule:threads=2elapsed=3.149cpu=5.656gc=0.144factor=1.807zXZִF! "]ŗXf1-/6vRZ2ޝ嚮{^^)u$\Fݹ(LxktC7r]͊vyܝR;eJ,@c4QiiE$P(*0*'*9^T Qċ}# ,c=P!MT\ ڠ-j뛼5TET ,-  |Ei|[jssQC*YS˂Nop^nP†unf]D3a~Pl:I3@*icMx Nx+w;M'ePjQ K46d/׫j ӛt&#|y@~^Sr`SYg? H^ku# 9159AE 1[ȺbZ>$Y:YUPXG muv5g(7Ib*j R/l'٨R w0C BBj AðgYZ186486b18fde94719efd4af8fd14b82f3885996779d8e835726df87c7b301a8f091eddccadfabbca f1715b405e31ccabbdc6fec58464e458364e7dc6 b00b49c8ed70ed453ef127711e671cb988aa3069 8d5164e5d73c9776ac23d9ac7921c2466aa7b653 3 Descartes_Sign_Rule