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 \\!  /]HOL-Word:threads=6elapsed=8.954cpu=40.344gc=1.552factor=4.517zXZִF! ]ŗXf1-q恈eO/O4Eh~$&} _ruUb`$ 5$f/ֻ^\MQpOxSM:"K:%..SSX-$rQ[a'zSԉC%;/Qړ@)qIۤ->rS%`Ȉ:~!u:`"c礖B0]ADf`vDMF2=`@+R-֎ݒ!D{Sw߼ u* (vD:F҈v!n뱂<0@S6c{dO׭;.[ :;s9* xQ ';RY2Y  "W@-nd_``(308L'HA& S43_T%Bq{Ůќx8mC1 A9+rXdȤ_Xq*hJrm!g:-ټy|ű;*fT$!!ƯKDĂJvoZ,`L]>R{*(wfEN*w*?HN֢Д1;9~HFyNm؜X`(U !˯bЮb?FaѭܫS;%|߿Zr^ưblجX#6kT>A$|2@)xѴqgYZ7zXZִF! ,]ŗXi%6&|zv3i46ՐEIP\ b[nwKg8ÍmPf-G^4?~mΔ"|;ԞeoѴ?/*g60oش4АR CB7z>J`EV/8|yPU<E<ڿ*F)6] T@[M΂5-O>K7uz)mrzĨ+j0.;25ZtW?`~ 14hu[GY0 ȡ?V ,PxK|?C\w+ErII68 ! % ㇒[\t9. RAl߈?Wb[Fs64fFOYm[gr\|=_#*Few}9T z8juAp:d6--S;n!]vŵXi&3?GNJp2V",d ~:dv/ۓ7{8%Z_6e=JB[\x;tS˯*mu NrWKo, lyW=%(-J$}-1 PQ"LbvMCݪM4\w6bf ,v qL -WrgĐ1e~bIi jN5Xa#AAW;}FDP(I4ZV 0W/1ٳ*pJ{,,4NŬ_@t]t݅ـ+ˀ[m{ꀉ( B5Ya}Pʑ&K1cҍ#x<ҞHw8OAԈgUF%˚@4'Y%d!gYZ0bd5fca3e2a3cfd19d556a3f51c937d34f3464a1 139a3bc21788cf355fad3f6f2baa96ef139efef0 2e2f9e14282bc6ad8dcc55e0a304713e80241805 3fa0150ed58e22b0591fec277459309fbbcba97c 4cee7a4a8ff3a6a412156b24cb39563781feeea5 50973dbc7872bfcbe0e1d5d694168f55d2a8de1d 531c16bed3204958eb57f2dccd6cb2660cf58639 54bc02edd20109ec5df1f897881ac82269c23e46 6d48416bf9d246d3092fbb069560cf5f9ea020a4 6dd9a2e7a3d54a8ece3e4924cbdf936448330713 81f0c577e8c493e332fb1f21610088ca535dd807 89f2de4e74802c020caa76ac7c9d2490d3cc110b 8ebd2a5a70614ce4e9229427fb522b89f8c795be 98e56112c94ef1e4b2b588c91ee96072cbda4b3d a47109356e1f0d349f2a2777a5a6f25f3d257dd8 a80de914eb3356308187a22123c8b6f8bce4b084 b8ee38dd150ea949862e2fb021ba26e4c231eff0 db4f6314dd91199e1c763a85a44c260d29235bb4 dd12fbcc31a0b736edb5bdb2a77f705421a3f9b9 e1017a35dbe3ac17604b11f56a6cc9a3d1a8a5f0 e91cabf3fc84c7150a9ab2aeae404a0f796263a2 fde422d1a14a558aa55d7291242cc3465fce467e51f2e4211bc57b80e918789840d02846789d9fb5 8906aeb92f6d23db93a287449c941fe9b2ea62249e7dcef9a59f0c7ccc32dc44d5c2fc81396b502f   HOL-Word