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 _ ,$ s/]HOL-Word:threads=6elapsed=8.754cpu=37.816gc=1.212factor=4.327zXZִF! K]ŗXf1-q恈e*[#M?Hfaw :+/7̦yW g&VL҃p6pWDJNj_ߊĴ6 (8ѹ:^_EF ;o8F*y cjn˺D\o4$C<@%i׆1sI19BRcNEbY@ULuϣ;cjKGTUü0}5Uւos:`[/?H!~NNd!YX[;Iޤ>#fʍQc7-N\YuV]Fb-7@ S(bc"W(L]dS~wӆ61%̱8RX (g_~-$`!%E< w7z3K3 & H <;p6Ir[yv;l.ʍTF!b$AJ cV˒T vބeBρ_B[% %dI : '=R$|)G-ab,Vs9v,j ЪdwD{k^ ]웜?ʢG4UW3{ y^k ^\\%$gYZ7zXZִF! *r]ŗXi%6?WdBC4HxEJޒ]"oaޏPѡaű܏<>k4,4TӤen; Nf$I&=W-*FWr7$ 8&Xt.) ;l6'נ,i:J6f%躃:><GNxk*fY#?ILyl0c6}\Պn-18SEm~C 6J"?Z 'jOA٨ѯ+èT@!M~)5Q` ѐ+5JV^Q!lL+VծtB"n @͉.:, _;UT!u߉!pGLTRaMۣ=(U-2T$dC^lћsljn9jNqAok FT'_e}CqG0qcщ ϪaTD6R+B:Zр 94Budf x>pL7qոksf$/D6UHlX3LaGK{չՑx+͸6<^0C~U\WfYhuMWEI?[x{עt/87bƹn(6XIN$ }U{ޟVNzF&WW^zT򊉽y:>: !b }ӛ6NXÖNp|ǜ6Jk[@~K `Hgv9C:Y* |[7\dz>=g#rOnC&cWNJ.*gaMUӐk֗=CTRgYZ0bd5fca3e2a3cfd19d556a3f51c937d34f3464a1 139a3bc21788cf355fad3f6f2baa96ef139efef0 2b78c98510a8ccab9b37ec93f256b14aa15c6336 34d5357a1614100e4522bb9f8371a889135c0e1a 3fa0150ed58e22b0591fec277459309fbbcba97c 4cee7a4a8ff3a6a412156b24cb39563781feeea5 50973dbc7872bfcbe0e1d5d694168f55d2a8de1d 54bc02edd20109ec5df1f897881ac82269c23e46 59c7294f047184e24f3bfd7c63c979390d04aa33 6d48416bf9d246d3092fbb069560cf5f9ea020a4 73312d1f5683eed2f4e164177e17eae847b56d58 81f0c577e8c493e332fb1f21610088ca535dd807 8ebd2a5a70614ce4e9229427fb522b89f8c795be 98e56112c94ef1e4b2b588c91ee96072cbda4b3d a47109356e1f0d349f2a2777a5a6f25f3d257dd8 da16c92bb01abe57fbde29836cfa54e95db0bd06 db4f6314dd91199e1c763a85a44c260d29235bb4 dd12fbcc31a0b736edb5bdb2a77f705421a3f9b9 e1017a35dbe3ac17604b11f56a6cc9a3d1a8a5f0 fde422d1a14a558aa55d7291242cc3465fce467e7407bc5e422d8a419d0b388063e4c67f943c36ff 2953192c9b84ec69949efc0b47b4467e087e5b06e116e1cc1bda34b0f381806a9567e7d74601b31a   HOL-Word