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 X' Ta< 9[.ygYZ7zXZִF! ;]ŗXiɟ1?ߟt;9BP2CZz眭5 z I{c~:+nj=qUFZy>k 'Eϙ=vҋ)a؅\lY"΋`mnt*P~08&Kw6}(;~1Yq<@} o5[DܷٛO]*Keo-*͜څкKh=P׃벏5e+hݝx Hv)(Qߘ3- Pdy{58R,PKQJ x7IkZu+֊T,$8j=ͤ;O[=Hr-`WQiz}g8E'ύT/ z^552zR(Cn#a(!!A}uuaǮB6w}V8aE|Qr9ףxKd6jAuDYBO(BZ/=sZ{:&ytƢ \۷ByMHj\3*zk .%$4"բ19f{HudK)_Uv{Ge:(:] /OyMm*t`cҥ:(ΌX'*̖-)7Cv]UO3|s I[}`$@JM]N \^:;CyZlSbXtyR1AbBqEe$Գesǒ#SKUH옕: !!6|g%\vQ!_Lb;P5At/ɐ@Jl q>[U9h9!|&d9ۓ,6(| hb*|cV"Q=k ,cIzלj򫳓f5I?L lV6+J+G{$D [J\?<P|A^d_dƻZ+Kw"+nhK9'i%{M.Cpu8ϫ #ֱgYZ28efaa0a4a1dbea2c5a9b1189c7b6d190aa757a08ae0489170ffa4e9aeecb054da5126bd23bcab2b a42132ca83816d0082ab6b716aea896bf4d99d0a 9dcd22a721fb4d6cb69fff249fad38e4e65ea05c0e64a70c4d10419a9480e50fcc89391c82a27ca0 ' HOL-Cardinals