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 4Q  ]/ CryptoBasedCompositionalProperties:threads=2elapsed=11.971cpu=19.312gc=0.688factor=1.617zXZִF! {]ŗXf1-/6vRZyiKEh[GIHa3灡U.YX.YtzqAd8Xv5[lY$%,6R&py7ET <4̯1&{#gs۠er.Ω/ ;Jjx0^+|>ykOoq{o.t<L#n~5-m8--RQ7P۷(@" }&e/;/2 WbRrXR{tVGKFoe=c3ˆ>* =y+z3xbC^B)[D/%EdUd~j$noz]܈#4|idw!C^8gYZ7zXZִF! V]ŗXiɟ}LȒ$o2CakT-|s_?K]O )4G,.E!Dݞ6--j\v2zd#G8~>׊p̥0*V{ J%`_01z_:㯼Se,ޭpWl? |.