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 F l E]Word_Lib:threads=2elapsed=64.922cpu=127.984gc=2.576factor=1.977zXZִF! 1}]ŗXf1-q恈͐7ӺV 6 hD;V& _wҼߟ=\ 3Tջ6Ic'>V   Word_Libǁ)(˭6!z0훟@=B E BqF90A R iJf*QpFga͍F76/`d9Q(њ:;I_ַ&`eāQtwCPuˉBy_ Z+_" DŽʏ \z77wMdrYciNPLDQVuVLZ/ =cv4fFÇuLs\TLc̯'p⨼ujPI 7L](9Qg2;kD>u܎Ns)EM+-|$jzSqHE#ׄ{g1wc W&,ܡiYisuH,daC[nG'iOVX.9WMMF*q)̼D4kOhE}Z"'S_6$q4vw7-3,es̤amDW0Zd=ZƑ<_k8J ykg'ݯ><붱5;_XP-X5g! ]\YO\8dt|c<r}.2SuJ cɼKgO \TS 2`9Icc gĜ;촭lڪ-moN {츢&lo+2ؙT9MCH%&C`Q&b 6W{$%@ ٧6q&7 hcrpx4>ɱzgշ~<C+Cv?ss-G6,c4U{^H€ڻ1 Z6 D)24B;GeWlbG{SYY'3ϐs3_yw`\*ֻW&̌^pZϬn]* }XH{qTyrdQaKɿRL,H?ab#\ZW=$gI}8L,A?k5c$W1a{3ҔQOsruďpoghA&QDd :-j $ú&Nּ1h~|Ŗ7YEbyb1(4^R# %.)V5ׂCFXdEccQӫ \Ԕ o;gᔢFWPy'>X(fMDKU3%֏1oщ.iE\cV-' eJ[ZsYWU /Ἰw5BLܾ0nwZIRrWvLYtxX#Ide%um:1< uUjU;F\o@hiYvo2Nݤ+7>YnOPye"fݢgyhyu(*" RAۖtb呤lvWq~MeenX [ic٪dGmata@PFQ`;Uj`m7&ICQ ܗ"r I2뙽 r;H$;ZOl 5>=zTR=v䢕}*>26hV$؃?Sz'+掵F ;~AkLivy(3 ΧZCk5hݵx0̶1ƯhKLwK5fE5lw?M-9>ByaF3YwH{yz!&<ݮ&-Z|h vϩq-G/FZ掽$J+wH{*ƦʰÏ(lAv59ԃl%vDlY"T~mY$2WL +ebRR`?%Uѣ>v;ޢد$Z˛Amb5`;*L=Xx~>?,wMi#f^9tRȲƼ̕w R*!LQ$|Y=)JQ9Ρ[mQ;4Tߵ\%͐ikp5(b Ԗ|$]Gao[|s3{,b!B}+e}㓈oawXNGBC}uu:'+5ʍQYWAd'9YS9bzxHLXy ⴮$\Q&HQҴ{C*ɯ.s[뀺ahrEri`50zS/7mq'~:zLi+4IL@cyHc^f[+ 7HrEs=ACVYu \8ɇc7)Mt٘5ގ?YZn|`PE ʭ쁭k?IB̽k@ 0qX˱Z k0z*R,Ax$N? 5&xRxN|Un3ibxAJ 2Onmz! =&Ry*ɘo *1G.`}ɡM3d2L{H8hK}Ae55<|8'T Oֽ.i@t^/+f W+8Y7u>v (\O` cbӤi3}pUf3AIug:{;7}ssȩ]sٺe: "uTr4*_Oa3x/u^5<oaHwQU0<9+>gofv/kl W'2&ld; ҰaV!aLqRIo4#P+͙ߺb. mԨ7sk]R;L*jVrRT)xKQ+ i:SH1y Ec%S?-_0o%yd=–Y0*[%12 ׎1d WweoQn꙼|G?'!! <dag]+ s!nx,[,2 /Dn)#mgYZ7zXZִF! Ŋ Op1U~%^;r95WԮ LF?M<2`}nQAA&]@Mi?:C74_l9gZg-h־|jnF }*)A(rqְ[1,wv Sܧa.0xtpBϿ -(08mq'ʫ(Mš<#_\gs7p]־5P/Btء*&tdB&Jg F}7D\.shصDWK㴕%`v2C9*pduu >A뒨WrDDt$EMQ4jp)قT}{@-W1w1H#gl>ej3tԨ15bU6߱ ˴Oϐz4QxKmD1s-9ϧng&Ŝ-1?b89$f](hrlKFp5/f QGhvoHv2Yˌ}< h4hlZMrײQH!D˥,@hw-JcN|T6/]x5uƓ.hj@^# (WK9npRz&-cG fxȠ{f!Bc-Օa`J T@^=(cN'%){8ڳL8f؂c y1)dv 0YɌ7y(rWch,,AR]0 !5Q!F]})S\2շ!wB`kAuOI U 4RA 녰$)}WQHP{wv[e;is>/Ec MtBoqDo|}_弣KTIki.w&*YւXF'qL09cs2*9YCf9|fm04$.M?& rN%J\ ٸT縀[FC/ͮNz8q/# WciJ1(g\-MPuܦK*EgdiDglיyZ#nƆW0Q}n2(G(nQFIиFkښoOt$ zT&ax /(h[ۆ5+V}V 0!4[4O sHNhS|&RD2a# /fd>nDw\ls̉l*#TIYcpir{)9y' ~OO|Jj1h#<̐ 3]tFyeYA3Gd$hH!<IK4B2?[P~UG(f*)5^d|e"nvtByQҳ~^ ;ME:oǝwlԔSi5X|iD{6y%PЁܴ܌{Nyu򩳸B@&cd$&[)iX@Y6) |O~P;׸8 q(%LM"uP88UtOs99g(_< #6 `+,FkTScUM_ho^*qwQOǍḞ ]]/Y7;(sϴ\\ g'i2m+OEJl $zb)8c.RkS9 8uV}DL/ U_À ۨG$@^O ;+4MQ*&0} sDrS\D$>dNyհ굲߈lَb\սoZyy)`L?B^Gp/:,-qcR>Ju)R<=丽;_늄;?>+nނk[g~A"ŃdFEl2dm4kX6xg`ޟ>G`Y퐺f%Mk,؏vpJ2Q3)W"RF6Z+ A%inIE%JR@cfh\+|r2>^}Mt+T@ͷ~dU@eS2:3~QYe:GE*RDŽLҫ )7(L߿/ !j4s}&&hV1c+0̵V`&UjOvrC/YPjJk$0ʫ򰀄u|0f_1ڎnNhNą?N漎\}4zՊ΂֧x /p s9~R% f*[vaS cC\\B$.R)>;BkNBƟt ![nS>[A! @b0 e/ i!B6I8ox{I*ϊ&8dto04p'l}4Z0'nb)YS6xX.qmev[ 7݂ b`ԙ7N{W:;O:$a\=2.Pm`s =C]4K')pAOj#4gYZ00061e4601716a25cfa8f61f253481bfd5760681 026f036d1e50a5fc0a49186e01329ceef5386dff 05a3c93a72423353e3bdcc126c2d68e831008eb7 2315689993f4970a69249643212790a430eca7eb 2d4eafc74c6b9a723cabb48511a1a0822374624c 32a8f05c33f17cec15254e8a0c8d20b875d4450e 3fe5941934893b5422165e490a489238302826c5 4ed99af14d931f56a78cd23eb4da955a5dd89eb6 5d7f7b8b7fa950ca0c15b10590f3e413daf1e2dd 5f0797493503d8a4a2365f9c8eec899c63baefe7 6bca5681a757124a0e939b73d0524607ad137efa 7a2f03b67dfc8ba3ebcd7759a84aea5feadd9532 8ba9cb3e0ea3c32616db7ee2b8f0a6cfa5ba8b76 8c46585ef52f73988ec2c3c3368a203f61ad1179 9386b38d49374085e55202df2dfb8a71b2e51c30 a350dfa1bca057c78391f1e6159ffc886086be40 adfa4ad3b0342d8d3520444498df1eb0cd75dc78 b7f9df5c2e72fcaa9a6c7d24ec469bb00ddcd1e6 caaf5c421b79d41d5980c2f71cfa96bb35c6965c dc2d3f170e37c5acd80b212e16300ce24e1565a4 f48d1da742ae6b8ea680cbce305b2348388cf22bd7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0 e6067cb86581d04d2141f63fe8f84315b3b63295 d57bac779b5b488848d380f44507ec94d26f5b254bab39fedf83ad3acd2ba41ea58826b374c70ca6