SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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  9tL ]S Stuttering_Equivalence:threads=4elapsed=2.524cpu=6.984gc=0.140factor=2.777zXZִF! h]ŗXf[&R;]R#'CN_o,3jL Ѱ&qrrn>n>,cRrĴsEmuC+ KO2fTl_=y>TTiivîj&X+Gt$wZxyo\Fj/w¿MLJ*Cq#;rLw^#L BaL.N X@s2])Nח߆X{FnE\楯fM "*gYZ7zXZִF! s]ŗXiɟ#-LJ" [:]d;ȏѭ׫?KTs}1;q|uK {@ߨϺ2;iO]p]DZnPEEUgYZ7zXZִF! ]ŗXi%B4ܕjS%ݜw4]*RDi-jck&0WUO37v;"9vm>JLv"~݊JM VI D6РGfS ⎢hn.&Xx+W*OF8 *-olל-AE9;z rN0uch$6?u2GU< ypp{Ҽff#Զ^AMg%C+/){ ۶{lg30]pd6 aR~-/ Kߪc݆km?gL3ei/A!QRjWnBfyv/iٚ{B>O&;vKqX+yU-њ'Rv(`۸swbҥBqδcZݟtF/1UXۉfϒrFu2RfǗKl!E9DGV`o?%$} q"6|)vW&`=+ouB s>BQ#gYZa3c1ee688bba22008a9ea7f78aee4366fcd677ff9cd33e2f2669d2e2ef0833012528b204015b12df e5cff2820287d96832c0244f64103884811e226d 8dec91fb776e1454bcd259b128d2077a5afa959c 831614fc723c36c125b187c504e7ee1bb41a1883 9 Stuttering_Equivalence