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 B) D\ 5% Jordan_Hoelder:threads=2elapsed=19.873cpu=36.104gc=1.344factor=1.827zXZִF! /]ŗXf1-/6vR[]\Rǁ- 1<4OȱCMgWMmdE_8f t3[W;d׃..; /`[LwY L<'(+|r :_?O~0ߋͳ4wb:h\/m6)wOoN^1&i? q Q!(f(ptGVVS TτeG4'[IwAf|o5vjb&UN0b7u\EGUj]|=w)›IS؈bLAe(!{(;}58neԞ^ za{bl't+х܂u<_'5ʸ{9G{,ktҶѢzpgLCC- 'R/$U$AS5@rLl(ܵ?JX¨!g<~b:mAkzVel:9= ]PN,,WP c4iY>\:?ty0O-|5?ݩ+hZ퐐rX |ޗ|)0 (KƖ΅,u(mgYZ7zXZִF! i]ŗXi%},qp4?[9FELIf v[Njdv'#I%ʦtGŸtI-_ZT+\@ѻoKػ,QR /tHҘHU0i '(vkXsAАF>Tng{h0~s\pRBL3MV?iGfTgd'~cIRƢ,#\ <$1= ?;1:+^j`qDћ ^QmpWEq]R l<`^ ߛX5m(X ϙ_ē(|V JebGPRt\FjMGŠH/T:*OiJk0%N:S]#+4n%o{ -sTh(&k:V sՏ?'`CȥU{aNf5G<4Rwj12鞘=;~k3rNkntf&m"~< ̘K%8ӟ3oBTdrjO3!/Z̍[|dn I-t!)}ƀNۺ3J`Gfr3O(Yڣ B۠i_'_93D'x p#-/ak:lprthD1.dbjEa<uD/ô Zz.`U߅ϥd%,7Jv.$h&< c+DMSj3=_ֵp٣ tcy^RH E^Qm z FP ݾɔ0D1VS4Qf&S qmR@Pe%%9rCGYPh<2oZmq*Z$|O-Q<a!चX |FkrōKjwdhN%c ,8.I3!=c*R=VX;ȷ~JPGm6Mb|Em;d{K͢ICڨ hK71ns@m(\e{^ă栭R%:=pskM\oÁW2E+.BE0i!=QX\RVP, Ӗw;#z3#%>F$[('=nTɘ+Ͽx [HN_bz!ӻ7tUe%+,zzzOɉ>w llT] yax Ɗq}ޘ_jgT! ?MGy5 >x/V^3we V e(k8dSɬ: a'gYZ0012dfd3e886640dfcf2523b5dcff829a64d5363 0d4ca91b60be9500c90aee83710a5c32b25701d8 1a7e79d45868f2511c1360a7061092c3726fe930 4465ccd5b4a4a9c97df21605afa11aa4252017cc 707f7081877423ffbac6d7d75ee7625d5f888056 776a7603b7735c5547ce2f4f9d30bce956adf76c 7e34b8dd8242e8f3e5a2c3c8043822a752a91cb2 8d413ec5196fa7479220c95ac4f71bbac2b0d693 8ff15cf0c89f5527625eb90484af1729d9d15e0b b176700549ee0f4c8e3f968ae19d18603871de0f c0e02d76b3c21f3b457fc7b084784cf6be553187 c6d33f696908642619028f80d5d7707602192bd8 cf9dfc2a8abd1e2b7e9f07c133b17c3f9f752bf40ba1ca971c8be00bf94431f0078936b10d2759a5 0ce03196a7222f6488e31156b520bc36971a656f 839b44e946d25f579f005d34bf2b01c8c50a8382 38e9905181602a320340a0cad27ea92de6285748 f7302172cbab6776a4f4ea357d315a195daebe42 ) Jordan_Hoelder