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 a' l$ Y]List-Infinite:threads=2elapsed=26.891cpu=45.304gc=1.892factor=1.687zXZִF! -]ŗXf1-/6vRZڕ`0 lO"EuE5gv}!>\7E+]/.~yRP7xtɧ_#LgYZ7zXZִF! I]ŗXi%6鳲)z".;SE)}tmt(}:~ vq-&^ ?'&ig:'MTTkigwi CARIKClK@ =sbkInr;)?)EH0V-ٸJֱu7%Rtjtd6|io,"F]YQ+> 4' d[u|QHA18#m A'F5޳+V+E8ZkL3b2IL{#{b=%qDj]7?&7n6ZzH"F%#-kdp_fe-8Ye+ۙtYO}N9P097 c)EqUI)^Yϲ@fiL [oE 6zU ㅅ'4 9|RŴߝ лv)ñךηGbZ`47kD)k${{N򨣿pb3`-Cχ.Ĕ5LЇ~+P]\!XR zƱwM/_69(aCן4up06wun.r}Ww9 Jg+1  :Gm͓ @V!n[R8; ؊-% 9h7XxGx8nFgU`\dZ&5AqH#W=9Ze#X ۗ=]Ϧ -eA)C`.Kη4pΊ( ]B&Nu`= DeeօRz@S®rm* I {@v+w=5qL/ {-HAϱkx/ehGQtr~Wot+M+6t#t:TLДEb'KAKY gRZN!XϿ\i^:2,|J\fDt*Fn6ƂW[u?dG-ťW_G6,$ÒeǾlfw'[E&l6pB^Ƈk8+G|03>G[zCr_"}x}rB֊ -wqB}_1ԻNGB7Â!^g`/,1JU?6]N= eq1/BC'(MtEɇMFRƿ/1PەA S8A)0EDNZ6md3-T2 ([Ur>Ir.yxȅ T'S1Q wi:hYw҂ l ߴgZPm)ma&r3YYg.<0+4?g&T)a=G= 5*[J7]"l d2P_Ἶfd\~,ԩZqX2}@fzӪrU ;XV>B$ 95U^nLcL*}.ydĸʀAᄣy0 !H} /㙄{FM!y^8gE]N\*7&6~Zq i l8-XJNf<1NK`]diGJCL+Z?/?6 Q7CaVnZ-B ] pќ7괭6tcȐYN+1O$4gYZ055d4402eb355d20a482ef9514b70e9b35944132 091ef4d89f651303961b69de7d79c1d5e3449215 0e8f185d5c5a37638c3fed8946398a875d552ffc 1403df84282ee21302f7b44d0144e2fb35574d5d 2b8d9192e3645c3f213818f3c18ce41996a62c5d 3f876518738d879265f412bcc571be8ff627facf 449bd0ba17a21fb1b949a92e70477e4053f0cce4 4befa36c0da22d93675a607c9e0943c65fd95aa8 7e422e5b661e52e95cd6b234340a30b39b6dadc4 8742288f8b256afb5cc82dec75065cdc6f100a64 a566efe065e2f6a873df2dcd5781131b6854d35d c82ea78e6d5bed217a395c17afdeeefdd2387717 e17027b69b3855b2e1c5d8f085ea61fedccb40db e6ce948223bb1e19d608415df1d61947751ae584 f3f55c3ee1b3e884c71d5b59127924c7bbbeaa80e4688efe0911f3c4685119d2413b25847e9bdff2 5d7bb405983f91dc88fd3b9e15d11dfc028ed8eb d8625272701e7304f76db642b7fb0e61f9b07c0fc9fc8bd74dda31c592a68ff11917e8c063c8432c ' List-Infinite