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 ]' T4 Y]List-Infinite:threads=2elapsed=25.991cpu=45.024gc=2.040factor=1.737zXZִF! =b]ŗXf1-/6vRZڕ`0 lO"EuWȄ93pE#-wȭ/1n@ =p^v:C A&E 3=tnl\Szt]V~r>Ķu|95NL A#%|BrD|.i-BKBČo$ nvՎ¡O%Q*ψf\mU}pZ鏧ܿ+uNçxTRJ -@PZtbasGu$E*[ڔD{y(%39˱ PU$ǎH>u*_rÙ˱/X[(]qZ—Kqye% U_j (g!9_ ЂmՊ=+ ]k@d)KN><}128릨ԏZ̢k KjhAQKn@HOQv 3v_2,}vF y R&>ZJhQ<> Pn΀]sxwZJ;L#<;q3͑aE9*BI 7sI%3Xdƨq<5*Nޓ1Z Cm:DRKj1\k'>06.b4)'9CM ZtWPOUM0+2Řn8hA4hZ]3zS5lN t"~TmkKSDI'쌄Rd*CZ7{Az/=x6&5`܏ ?Kvy[8D8Fȵ9i6XVy;( M;g]x)f0ez~ZUy%[ƳDHWY9~=JsG&D/Ð!* Ld818ButNŹWqKX.~laت1B"[)Yx޹IR3)ˢٖ8HJi͆ 6gTㆪƊKuL6(Ꭶ!N0gBq%Nt&/ RxfZ_) /|OVI;w# wETt{'A[C{]@>6n EN\6/$NQr[#Q1EZ?j0B k^):="D\F)pe#Sb;iAB1BFK59=WO:rYxv M%׆ -Ih| ?2¥0ϙ6_5wJH}]BĖD@qhQ q#6ojПZ31Q/xLM2Q'X'(8q)!, >Ui+ڃR>X5rZA9T.aaK@:^l(!0J9'{7wc,vMҚ:FgYZ055d4402eb355d20a482ef9514b70e9b35944132 091ef4d89f651303961b69de7d79c1d5e3449215 0e8f185d5c5a37638c3fed8946398a875d552ffc 1403df84282ee21302f7b44d0144e2fb35574d5d 2b8d9192e3645c3f213818f3c18ce41996a62c5d 3f876518738d879265f412bcc571be8ff627facf 449bd0ba17a21fb1b949a92e70477e4053f0cce4 4befa36c0da22d93675a607c9e0943c65fd95aa8 7e422e5b661e52e95cd6b234340a30b39b6dadc4 89fdbcdb2ae96c6ec9140224ea18ba08cd1cf4a6 a566efe065e2f6a873df2dcd5781131b6854d35d c82ea78e6d5bed217a395c17afdeeefdd2387717 e17027b69b3855b2e1c5d8f085ea61fedccb40db e6ce948223bb1e19d608415df1d61947751ae584 f3f55c3ee1b3e884c71d5b59127924c7bbbeaa80554fc66833c1e501a5e5c7ff24471873df0a1f56 d155c2ed07829a15fa84f92865e4197c8a5f1ee1 2b469e38ab065480632e9b5b8f44c208e16cab8afb65fbc7cb3dc685e260cf82594e4453b1f42435 ' List-Infinite