SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 ?1 |D + HOL-Metis_Examples:threads=6elapsed=11.855cpu=52.496gc=2.912factor=4.437zXZִF! X8]ŗXf1-q恈(K&Կ6l72`5!!)vE3X"<A ZX*3,)}cqk6ٯ*4ؤCe}T̳yģk"v䞜@m |!K?牘$ufuiLeb ꅖW-vP,NcLx}azzVf/3 n57Z "U&`>3ݿgE-Rۼ[$KU?M&27UQ.|x?TF;)c|ep1{-pٮ*rkpy.5inNkǠ(ZPn*3|wM{1|5rzG-zn~'-b(4Poopծ~"oi`Ǣ^e]Z0c>E'E޻M(!w)ml"I|E~.ky3&Q蘡Q뮏C;]8[&Vv. -2ql372EaѵpI3&8#/+Cʻz~)^; ZJA.ĵZeXvK(?zJ=ˢ=4-<煮M8CXkZ2?_. R vR_D D~<׮•3X"0tbfh .zZ ,$gYZ7zXZִF! 8]ŗXi%6%?P2@)e9V5]x$V-)`&OzB\jQn=b$ȃ6Kڭ[]ㅎ[J$[qρJ]sT._wdd\#6te}f.{(68ڥ*<Ϳ ̘9T Ӌ\֋iՆ]/Ce\A7[l&[ߞ; DAEi?{viJJ:#!#-8 ezEe"uu~p=bbT%We7w?Dc 1.uGP[O5dX2A-b9wSM1:EvP.53+M{C;W`duCGczN;E?` 5%f.Q|cEY-9yb;۪TeMgg2١%|KqE"mw"C_̄G|& D;[Q!B~QppPIzd5%0"dt" Yr,P+jWidrGbYƶ+?Ғ*Qr ^y ѧ\T ϰ5nMm6mHZ%/xՑyէ3ښؖ9#y9.BWS2fʆ=tPW^Je=xٰ2~=>BԗZZ5Lp8/B=_jQYPxeJS4o=l>O,"n_|# Xh7ilMlc=ޠWN-2^Tؼ)4LfC=9s?;3؆5L7`r J\WL$ g !nb2;Y4bu2(:)iUtōUGGYzs+%|ZLeQhB 怅!S1I^8ҵ5u}m_ Vm$ɉ=C)