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  9t ]S Stuttering_Equivalence:threads=2elapsed=3.497cpu=6.436gc=0.144factor=1.847zXZִF! o]ŗXf1-/6vR[] 9*%fk^"i -*\HvyZB^v];#Jd>\v[MԚW̾lXm B\NZ/ \7A`F\0X|sPgYZ7zXZִF! "]ŗXi%92xNtw}JQ~NYफ"FmԤF,rϋ>ɨmc9B_',7C. ӯS8m}QK P<UYǁc{õ恡m#.|fa :lcN]7Mw$4f4MpWuv K({)b/9kM~ȁ' ! 0~ˑg|9}K SժTͷ 54=L5%J qeHC @+0 $VN 1EN %PZ]`&<:AN3i}aǛg΍ʃXܨs}_s_F/@zW4KC!5Q\tqsYn(Z~jQm5Y nBXl#@@;d|i@"|rc4`݉&ލiUW[3}~2ASψdsU<RJ`bSMaIA?V!D;AiMD~|j*O!{.% j#W]m ,PJvVn@Y0!>>ܒ+F0/,InRr+,{; 2Nft"?9?wK?fsAhEgYZ41f222d19060c471660b4784c2816eca2e439ece0dc0541b39a07c11e5774461d9bd9c4bf977ffc8 70801ef29d848aa8eb383514e684c8076c0da75a 607b584e29337f48da7c2b7111a6e1bd83507c61 d3bde8192137ba3b245269ec1575f3419df66129 9 Stuttering_Equivalence