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  (9,l| ]S Stuttering_Equivalence:threads=2elapsed=4.530cpu=7.060gc=0.240factor=1.567zXZִF! ]ŗXf1-/6vR[] 9*%fk^"i -n['z*%%%59!{\)F0\/I[fBR^<o95q۷?Etm>=hF(bhj_5e뭔RO &TNx>0㴂yLܽr}n)u 6$#"C+'W,㽽Z,LTv ׳ aԱnHrK-՞kv.{H769e7t魌mSPLMj)?*ώhIߡ5`xt]]͕WD p6Ðl΢+̲1| U@"GnsэO$n8|9ﭚx,!f]wnR- .&ݷmOd򞠩.[*"=q*ϒ?HJ NZP/oe3HiG)rX 8\(z1-J^h@FWp{_ 7{$Ǯ^:Mu#y{li;4+*Hzcvϯ"֓եM[s^k,sT~'k0ÚF].eoD!?ʄn'UdG"_D@wz 3?N1OLU'ιtOTl 7tC^(ppXA *gYZccd3c592f524c33bfb2d648aa2330b48882b48c7e70ee0fd938a0febc474d8a614487240593c9abf 62b865a30afb162effeec3b132b2275d92775ddc a15e9030bb829e65726be753cd6c29a0a343ef2f 6ab1d1d31247f1a7457d41d7e00338009c633ea9 9 Stuttering_Equivalence