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  (9l ]S Stuttering_Equivalence:threads=2elapsed=3.719cpu=6.892gc=0.236factor=1.857zXZִF! N]ŗXf1-/6vR[] 9*%fk^"i -mQ,T!XͲ0ݬu+3yCvٖ_U#YA~hvF‚H;I"2|8B$í-6vb䟦bFWv@l5@H<RƱ#Kۛ2k#^A~(znXL>%)?k5n$h](`d˘Ooޝ0JR0kg;SxihMQֳ{}ƐdhbH7"G0зk?$7R$Ö:1P54 KS۪`tx1HI O["t4QvX4Bd%E=π,f11*ޗj;q &Q`=&$!{ߩ>eEݥ)Q&'}Φc''Iy1 ߇;}[bT C6$``U\5T#`UԳ}{VWVThE ݚ'gYZ00b478f56641d68ad10298adb07458c9327a6e51d6ac031d3e88d65563eac5f02a097b7a1de9a7e3 ffd3c2f455ccf76046f1a522696b8fe123ec936e 168e61d6daf9a7158612b10229e94661664eac03 21557488e42db59ff39110b33e9b6e35b1820449 9 Stuttering_Equivalence