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 XX% l ]/]HOL-Word:threads=6elapsed=8.613cpu=38.548gc=1.496factor=4.487zXZִF!  ~]ŗXf1-q恈͐7ӺV /K!W8DNKY>OjxiKGnC)p?z>PYK3F,z藄wmRh8p?W'7*7Ugh~}1Ej:3Dq}Mla54 v@ƊT9_UM W6,7v0aM7բ7)UF!]m_EȆPmzi:JjnI^G/[&BErS.f;c;<:34Roa8|hk[ "Ntۇs4p <5gk\<}vNȗ=ZG2G!}my,Y\W-Gql}ki$h-`UۜۄS L'p4WWr{%mGkFH;7B>pGrÆ(e8&ĭԾBٯt<}5Iձy!I {;D| \-Ik_М&/lk]ӭ-UT &.+SZcx->V 0H3"=gYZ7zXZִF! y]ŗXiɟ1}?қѱfدyQ2$2|B.AVdyhJ|f w&ߜSP`!~id}m\ Paq[L!V5Ԡ$cjO4_1,ik;KjP~҂>(qk]s!^l\pH2x@>0I 19Yf ) C5C43xulHGG U/\#rYz "t׽mVF,.#t2$zmJ+_?6"5}B3o h/kCD_:05 JwA#˝Q l e3xBDK7P&hO_LBϪ̃_emG-ള>[^." fJow ! b1^ egBu :ʂˈu_ׅs=%*?ךD)d{UMΡE$y{M)7/՞1,s o y?*w24\ xU o&c(p\+-Cc3V.89e.L0/25[5Wt& P/.S./ӂĜȄ(kNfHspWviR( @*Kk峔] m%k-B}9AW>g e^NgU^ѕgYZa530975957193c1bc3e2410bc3546548076357a694f51dd4e7676acedffe74ec8d2e2647f4dbdd0c 2feb435dc45c22ba19ecfa070808cd954dbee8025b9be724b4e84e82342264746cb3e0fea667b332   HOL-Word