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 /]HOL-Word:threads=6elapsed=8.752cpu=39.764gc=1.444factor=4.547zXZִF! J]ŗXf1-q恈͐7ӺV /K!W8DNKY>OjxiKGnC)p?z>PYN+F֍ #J[V_7=[ZN_"7ƄTVOS_2PC%uǚNjSD^ OkzF|ƮV6/[}M8I{¨AK`ե 7 vB!kX/$SpHxhK<<,?ۺy0D꽔` A_˙ܷnnk3vYn>0OC*&{TO#W!L>F+L.GINeyR zCh{nw6W4Mزs]W}b=Ntϒd(ilR 1y{X:d"N}엒77fOd1)"XZbaҪ*[)uA*)`^"g;&T&?9P'y^J!ZbE@^0u]4m'P~xNֻ5#[1PYM1Pkɪ_zMn\DVl }rz&8`9bUAO@<Ү,=E`29R$sl$gYZ7zXZִF! *]ŗXi%63G[X1Jz6' F2|(lֶ!O!`,RJ!8FuNɓS_mќl:kO AHx6ς]Pg 2:mW~zSpܔ]׆lx͜\ۄ$"1dH'iӊYV8*{T~p߿I"eK~aa!.@T%A2~mOoExvoyۧq3EM[H"QX\)2D09U6,"GiS\dg!#t;Eb8a'=rUU@"cF\\ga>BWJǴIzzEL#֓sgG9lЅe뉵vj}xC إז:xH|p+ⵍF)2 oXc{ z_koL`YCχC3/}̌isVEgҫ0z,<{9ݸc9Qbf%jj;Jp\LC6ݳ̇Ց"!J+oQt;ޏ>Mhqxtq$cQ+ h pv4l䝮2Yh2T(e󯜓nt xևrP/k) X>\NmNǣEtde6 ;r͡7b6e;&C+YÔ@D(ײi+׃xa=\Eݲ6M=isJPhI?3>yg F~qDVfo٫qUCۓS1kDާ鑕%ϝm\xCc=;DSrVZFQ~4&pkwa\寥r>?BH " Af'7.aDXʉtT;э9T&`kUv gYZ0bd5fca3e2a3cfd19d556a3f51c937d34f3464a1 139a3bc21788cf355fad3f6f2baa96ef139efef0 2e2f9e14282bc6ad8dcc55e0a304713e80241805 3fa0150ed58e22b0591fec277459309fbbcba97c 4cee7a4a8ff3a6a412156b24cb39563781feeea5 50973dbc7872bfcbe0e1d5d694168f55d2a8de1d 531c16bed3204958eb57f2dccd6cb2660cf58639 54bc02edd20109ec5df1f897881ac82269c23e46 6d48416bf9d246d3092fbb069560cf5f9ea020a4 6dd9a2e7a3d54a8ece3e4924cbdf936448330713 81f0c577e8c493e332fb1f21610088ca535dd807 8ebd2a5a70614ce4e9229427fb522b89f8c795be 98e56112c94ef1e4b2b588c91ee96072cbda4b3d a47109356e1f0d349f2a2777a5a6f25f3d257dd8 a80de914eb3356308187a22123c8b6f8bce4b084 b8ee38dd150ea949862e2fb021ba26e4c231eff0 da16c92bb01abe57fbde29836cfa54e95db0bd06 db4f6314dd91199e1c763a85a44c260d29235bb4 dd12fbcc31a0b736edb5bdb2a77f705421a3f9b9 e1017a35dbe3ac17604b11f56a6cc9a3d1a8a5f0 e91cabf3fc84c7150a9ab2aeae404a0f796263a2 fde422d1a14a558aa55d7291242cc3465fce467e013f12b3a18b5832e87d70a48956a4ac101e569d 88e2f99c5920bc73d5416538298a01671c7553b60aa57dc98bdac82daaabb909664ec35c3931b30e   HOL-Word