SQLite format 3@  - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info C <\ s/]HOL-Word:threads=2elapsed=21.207cpu=41.336gc=1.836factor=1.957zXZִF! ]ŗXf1-q恈͐7ӺV /K!W8DNA'EU`5 %α; %M ُOyN8("}Ϸ!@X|+ rkoha'DR a' EV ~Z^ʍ#V;[3NkNB&'T&~TγV؛OM%I}I0",ub=Dh%/0q?DŽk@0e$WѤTv' 0fGI~1aʫMPЃ"u] T 9>7[ _] eM&_ H^ݶDZfvnB(]]hJMBd`,.~ W4/d8 )|*g58s}`=N;@F#F!y me>d0_ѫfMPɼ[R<ݓYAO}>n`= bnĥ%7٠vwIVA9!S@c@`y O|UKD NN"xFk_AjrL1q:vYJj-ak4Hv ׷,~XN[k6Ky` >/: G~_yk-EzՇ4J@F йl2c rķX_}[5VYv0`= '{\Lڊ&W   HOL-WordN+ؕ4xpXzwxu'1~@ADnzl28RUEA9j71-g}T&FQ)KNmsRyS~ :t}j$R))D8T@_GS('"#!f~К6'ّ/bB1cꙂ5Jvt?j¡wq{7Erfi6e>ްH;._ :U7sm0Ow`c詻GMFݥΨ+;o"#FtqrM{6AlW@YV{4WU3nCP%Y=^o 8.Р}%̡H;*_rĞrC G-S_BEW ݼ0u% lUqOJ<xV[y{ { pxzRDToхۻY\ [:ymYC|zG^T[2r FNnoHC}`< H&w?>d]2],=G;ҷR_RA6HD)KkZtgN-lT1 oL6 ku1]R-(+rW(h-ML=a7ߏ2Dj$.8#y/PMYEԟ֠QD&ߨ;d˝d;Gd`xqd. kWGP5a:X [\gK+\ɞgJ)Zo41/ۢTd;=^A%ldt^=xwO@XR=VJC % 죍Ŕք>};1OuXd4rbu~N!A;][ڰڷ|0DqKSpArry 0Hh!ubTCTE7;K߽͐ un5jE!͕+Xt&iu"Fh//G[?֐VaWT#Hf/O ;\@4G:"/mfi:h_ xkؕYtscWix"Ѥ\q ZVSuA)`DZl|EZ5>5L=2K2LCCm Lcj{˒ϿmʜU,>\L  S{~82_Ь|#>'5֒q[+aqL6O?b_P WFUf^Ju%#!x1R?g~Bv1Lz &mBxr0 >@TP e50Ao{v|~lqx 9̠}M gÔ*%i$%@}/p~7'#֩28op(Ɇ'*e, Hg~QqkKYt҅=l]gGHԏ`S Uh)o`^zkOM&ڼ'T.]w7XWdAb75 n"<&^F?3>c5 jw[d@]DCAL2>3 64F͈? +kBi8@WE{4! SP [uiӮҜ/lY(`2Y. L9} }YrdIrs* ;pSTIWz`%,B{*;0\KqL `+u}mՂw99qf|Z{=#r1Vbǚyy';&yM5^j*")M xwݪl=g`f% ~TdxIoUt-aVTmo ^ RLm:,̯ kqG'.|{h\>&|:Op+T 1>j3ByQàw포SXZxשUִvB&ä4Xnj|[qڽП8#C@q:YL,I> 5$LBʥp2p#_T@b b\"-l|{m(R00}Y%pbsL99hNlۓ$=gs#6)#8G;?tpTޥ{c'yXG|zP%טu^N:O}nWf`";/]E(X]!$6e+%Xнǿ֞.Kx*]=bE!)";ͮQYހ; *bww=}.1T HB֏w ]R#1v =<T'l6Y~-ᤡ]=øcd2r 4FJWHͮK&{O ͲFVQѷO!#p5|' p]H4ݜ׽4{舆*7cDS't.L37g+h M?8]aN$[M7[KB\6,BwQZya<-Z m"\d8 v5acT1J}iFT'UkΈL$ j5(ϡXhjH' j ?2h~!rÎ0P8[.W!Ow:b9yeݼ(!XdIhh t0hOc9׈/#- ίC:E̒b9=M]k_3݅ߩp2OrMv%.笆4Na?(a8!P{a)_T~~e:PL|K_Nl҉ȷ?q@Z>3^3N֙s1a Ӣ Jivmٞ aP+6\E$"Vs(fPB{zudž 9>3 eg.܏Z' Kޚ/Gs܈Po6Y jI vaF|o-4 +30:9hl7fYۑT<BڗϦKNJ%Z(#؈uGef)ucz5(I~0Wl@yO*d?ǾDT: w۱gYZ0bd5fca3e2a3cfd19d556a3f51c937d34f3464a1 139a3bc21788cf355fad3f6f2baa96ef139efef0 2b78c98510a8ccab9b37ec93f256b14aa15c6336 34d5357a1614100e4522bb9f8371a889135c0e1a 3fa0150ed58e22b0591fec277459309fbbcba97c 4cee7a4a8ff3a6a412156b24cb39563781feeea5 50973dbc7872bfcbe0e1d5d694168f55d2a8de1d 54bc02edd20109ec5df1f897881ac82269c23e46 59c7294f047184e24f3bfd7c63c979390d04aa33 6d48416bf9d246d3092fbb069560cf5f9ea020a4 73312d1f5683eed2f4e164177e17eae847b56d58 81f0c577e8c493e332fb1f21610088ca535dd807 8ebd2a5a70614ce4e9229427fb522b89f8c795be 98e56112c94ef1e4b2b588c91ee96072cbda4b3d a47109356e1f0d349f2a2777a5a6f25f3d257dd8 da16c92bb01abe57fbde29836cfa54e95db0bd06 db4f6314dd91199e1c763a85a44c260d29235bb4 dd12fbcc31a0b736edb5bdb2a77f705421a3f9b9 e1017a35dbe3ac17604b11f56a6cc9a3d1a8a5f0 fde422d1a14a558aa55d7291242cc3465fce467e07addc2441fed9b50c84968593d4ab6a353bb724 8db62e28615d4e139a28fa3d5b23cc3a3410b988e534a9b777625967880a819323c4c374fb099a7c