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 pp  l\ ]/]HOL-Word:threads=6elapsed=8.447cpu=38.184gc=1.372factor=4.527zXZִF! n]ŗXf1-q恈͐7ӺV /K!W8DNKY>OjxiKGnC)p?z  U줾=>j ЕMEP\X*vE :XFO}.ϞyoB {"JD@Ol5GrI)WoiD<7gocr8PbGp}UXG%ec<@Y~s#n:\̒GȃX MGv1r-WcM{oT_8wiATɔx$ xi7~a;º;|2e+'Ma( UirƒgIK!?̅]";׳AȀia02r d/F5Ms_wU{rmM [ s#1/ˆ=Ia~g@ ҏR(~CBtǧ}97"̇cJ23m[v>ȉ=y[=`#z+3(soێ3"Bـk_9<!IgYZ7zXZִF! y]ŗXiɟ1}?қѱfدyQ2$2|B.A)J;:kWW玈]La5R}վ 'H>76Q)G'MI\'Ṫ,l@9j؊k6$G"RS_U>*fnYgj,m&8uk# }AlGך ~MDk͂h_:6T҉s}&iL>`mlH$/Л*S` ٸy,v(^5iSS_kڹ*Vr߻ Л-)B.S>ܠ?C,'|O g?-p cy\ZU9oNm=QPjji(κqN;2M' x L]̓|M/;1$@pUz[AiQֻ03F~}D<UH9HmaEU# V%V*d8βB=|B %YҟGjk`J^(ƕH37+epJ& !9Z0i@4!맦킰c.d()9 9̍b"zn/&dm(;Zot"v7)ccJO*jq"<_/1bGb~ڐkWI!嵨KOݰ`M9uĴ@!FCc͓?];oh_?cG`vX>~ _o9浙5mCGl( +0)z0ۊHlAUO}[nU[(Ć4t,^|/%xw0UvgYZda1f8523838a5e3ad9f055edfad0f8ea92441c5bc2d0fb3b47e8eb977e037c394badcf36d1d2c5a6 b2b478c28d6b0e47d8a42d61ccf723d668135bd81b6c331f7a21a5b6002561e775ed611713b54a5c   HOL-Word