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 |9,l wS Stuttering_Equivalence:threads=2elapsed=3.879cpu=7.136gc=0.192factor=1.847zXZִF! ]ŗXf1-/6vR[] 9*%fk^"i -qt4ܚ~|\kn݆g6K]6L h Z"IeĖڝ L@ [Ke8t"!p K1: { O2s5\Xû?duBAJ1 ~0Ҕ2xn3Mg^aFܢl^B䒧/~UH .7F1\{~F&mZ( |˄ф]1~ۧB+Fh5EW4}+ChK`P"^1YKA=gYZ7zXZִF! F]ŗXi% EjS>K&U3jr8YzB׈2[Ǹ\u#6V"eX1-ɷh̼c3hE/|k6FY t Yuα[KN8=ߕaOrHpq3YhÏtD:G:t'pDas͞OpQ|[l٨ FƒF^lGlFNdgfI]:g$Vo(_5,>G͐(]1$HG nӋ!W80P=ņQ1QI%a!a$xM^"~5jP_|`kLȳm7LG> #Y 2EO7/bfњ -.Z|,:(e?<޹gYZ3ae1dabc7b8ab36c35cf101b3548665f4e63facd 5494a10d7bf11c4de909a12a92e487c26fb55ea1 5a68d3a472b4dc7654f34af4ba47bdd150c34706 857060ed8c59d8e65872a569304dd512a8049f5d c8fc9da4a636155d4693d0f1f85cd40cbd01b821 f41b3316ae144097e02962efacd83afaa48a6a089711977f48cd7397b3b03ce4fb09271962469dfd 41ca8b1ef880b2caab86f2e624d077e228a12ed4 a1d4e989ad1a700e9d30ddaf5afc0202077fceef 06d76778eda6d2a4d185a5ecb74da97eae61f1e5 9 Stuttering_Equivalence