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 A1 ddT ] HOL-Metis_Examples:threads=6elapsed=12.279cpu=50.332gc=3.044factor=4.107zXZִF! X*]ŗXf1-q恈ŕ׬[p){tE7SS]%Ŝu+G˿fZfm 9D똓``vs:6 CClb۲U1V1$nDβ<|k pzTP!AMP3J2z`i~xGb4£c-tvQN è'IbO.GpLy}F2JBd i#_4OeKR-fOqؚ|u9o6āNCEy 1YпaQ:a y>4- P`mȍfZ7 " #d}KϵPc^'ʮ YϲKM,mP(6h`k4R2xk+%giS`+{V!_}%aZ.$.ʰO|ؑqmo sze3jN{oْLq?7-qUyji | 3[|0&':ѳLjiNQDy'뢋y ظ%ynL5;7ė:Z_GEU]3i0/kCŠ0A"5E9\qL7H=Ad^0 &AI晈;̍ 8w9)JA*" 󚼨وJNd LGeG- 'g1m155kz6#ή<\K `--b\IҎ[\h|Dsl;η7`mϚy*G91 эkM4@nn(Su4vԞ&^IY\JMF)S{TiIId Q{3>0Б.p bf[ $ZO÷hQ#So*goʔfñ%TH"H*&UIH%Hd4FPU`2H@:~F\cӽGHTC'sM:"k)^U$fn%+ŵ ؏`PGG'ݣ=罁4"d⶷v[c2_DɘcSkĆzQ  ZcѬ)E469"5,N3ߝw5v8fcQkIQEA3Һ *I TLTc(\ձgYZ7zXZִF! 9"]ŗXi%94:ak+<+3jim7uP>n<dE\*h S<)-TX̚korWn89 d官{(pI:׷Nlm 5r~nH4u&xFQgj1XyTIrU'>S`y*l7g-^Tp~#/-.utS)Gv u{(Cgh- 1{Lbd|[6-60i&m ջ^"l t1tnH!0FY;ZF 05gCJzzB |)( _Gklv@r7LIź g%Bs$B3_'AY:<kvs=|xBQTT< ?ĩ{N)v:J7[53wCt|Dn0iuwi9?yz@Ox@Y q,ɽX_v~nj&t9LJNF`W9kNb@Es;h_pk2cGy䞾&;0iicEAeH>&ܫeKn;fQ O8hDpdX+_W|rVn}9DQƹ뜳`BF:5+:PwNtBm=bt6Sl&AgzOn0 Q 8CX+u}Iq<_9_ cd)ל-u5tU`1D2 s"3˿ #}dzEVe3B~gaE |ϣ 0idN > oW Wix,be;mV*G[z Zs5Bii{VD nwIt[H#m Pe MY"<=`.2UPS'h{W rv31+CvuyͯT$ $5\& r+#kgYZ8d1eca7941288b30dd7bc620917d6d8944d85e2af854ea4eb03a9c8a56164c4c9f9900e0cc800a63 2dd6e587916382bba3afcf62799d4ed12fe0eb85 0b5c4fad93a63d638535e624edb4f37620e0eb93 1 HOL-Metis_Examples